runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3731866-1338701732/watcher-3731866-1338701732 -o /tmp/evaluation-result-3731866-1338701732/solver-3731866-1338701732 -C 1800 -W 1900 -M 15500 pbclasp instance-3731866-1338701732.opb HOME/temp
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 30980
/proc/meminfo: memFree=29008124/32873844 swapFree=6088/6088
[pid=30980] ppid=30978 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/30980/stat : 30980 (pbclasp) R 30978 30980 22814 0 -1 4202496 498 0 0 0 0 0 0 0 20 0 1 0 336301637 26071040 428 33554432000 4194304 4198148 140736340058032 140736340055480 226354708480 0 0 4224 0 0 0 0 17 0 0 0 0 0 0
/proc/30980/statm: 6365 428 331 1 0 160 0
[startup+0.0924431 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 30980
/proc/meminfo: memFree=29008124/32873844 swapFree=6088/6088
[pid=30980] ppid=30978 vsize=25724 CPUtime=0 cores=0,2,4,6
/proc/30980/stat : 30980 (pbclasp) S 30978 30980 22814 0 -1 4202496 615 0 0 0 0 0 0 0 20 0 1 0 336301637 26341376 529 33554432000 4194304 4198148 140736340058032 140736340056920 226333091056 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/30980/statm: 6431 529 368 1 0 226 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 25724
[startup+0.100209 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 30980
/proc/meminfo: memFree=29008124/32873844 swapFree=6088/6088
[pid=30980] ppid=30978 vsize=25724 CPUtime=0 cores=0,2,4,6
/proc/30980/stat : 30980 (pbclasp) S 30978 30980 22814 0 -1 4202496 615 0 0 0 0 0 0 0 20 0 1 0 336301637 26341376 529 33554432000 4194304 4198148 140736340058032 140736340056920 226333091056 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/30980/statm: 6431 529 368 1 0 226 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 25724
[startup+0.300175 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 30980
/proc/meminfo: memFree=29008124/32873844 swapFree=6088/6088
[pid=30980] ppid=30978 vsize=25724 CPUtime=0 cores=0,2,4,6
/proc/30980/stat : 30980 (pbclasp) S 30978 30980 22814 0 -1 4202496 615 0 0 0 0 0 0 0 20 0 1 0 336301637 26341376 529 33554432000 4194304 4198148 140736340058032 140736340056920 226333091056 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/30980/statm: 6431 529 368 1 0 226 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 25724
[startup+0.700177 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 30980
/proc/meminfo: memFree=29008124/32873844 swapFree=6088/6088
[pid=30980] ppid=30978 vsize=25724 CPUtime=0 cores=0,2,4,6
/proc/30980/stat : 30980 (pbclasp) S 30978 30980 22814 0 -1 4202496 615 0 0 0 0 0 0 0 20 0 1 0 336301637 26341376 529 33554432000 4194304 4198148 140736340058032 140736340056920 226333091056 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/30980/statm: 6431 529 368 1 0 226 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 25724
[startup+1.50021 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 30990
/proc/meminfo: memFree=28997660/32873844 swapFree=6088/6088
[pid=30980] ppid=30978 vsize=25848 CPUtime=1.29 cores=0,2,4,6
/proc/30980/stat : 30980 (pbclasp) S 30978 30980 22814 0 -1 4202496 964 12143 0 0 0 0 126 3 20 0 1 0 336301637 26468352 561 33554432000 4194304 4198148 140736340058032 140736340056960 226333093918 0 0 4230 16384 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30980/statm: 6462 561 387 1 0 257 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 25848
[startup+3.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 31014
/proc/meminfo: memFree=28991460/32873844 swapFree=6088/6088
[pid=30980] ppid=30978 vsize=25848 CPUtime=1.5 cores=0,2,4,6
/proc/30980/stat : 30980 (pbclasp) S 30978 30980 22814 0 -1 4202496 1088 17172 0 0 0 0 146 4 20 0 1 0 336301637 26468352 561 33554432000 4194304 4198148 140736340058032 140736340056960 226333093918 0 0 4230 16384 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30980/statm: 6462 561 387 1 0 257 0
[pid=31012] ppid=30980 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31012/stat : 31012 (sh) S 30980 30980 22814 0 -1 4202496 371 220 0 0 0 0 0 0 20 0 1 0 336301792 9367552 264 33554432000 4194304 5064252 140736598341152 140736598339408 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/31012/statm: 2287 264 223 213 0 72 0
[pid=31014] ppid=31012 vsize=13856 CPUtime=1.54 cores=0,2,4,6
/proc/31014/stat : 31014 (clasp-1.0) R 31012 30980 22814 0 -1 4202496 3085 0 0 0 154 0 0 0 20 0 1 0 336301792 14188544 2929 33554432000 134512640 134847168 4293512128 4293510704 134714173 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/31014/statm: 3464 2929 270 82 0 2705 0
Current children cumulated CPU time (s) 3.04
Current children cumulated vsize (KiB) 48852
[startup+6.3003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 31014
/proc/meminfo: memFree=28984896/32873844 swapFree=6088/6088
[pid=30980] ppid=30978 vsize=25848 CPUtime=1.5 cores=0,2,4,6
/proc/30980/stat : 30980 (pbclasp) S 30978 30980 22814 0 -1 4202496 1088 17172 0 0 0 0 146 4 20 0 1 0 336301637 26468352 561 33554432000 4194304 4198148 140736340058032 140736340056960 226333093918 0 0 4230 16384 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30980/statm: 6462 561 387 1 0 257 0
[pid=31012] ppid=30980 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31012/stat : 31012 (sh) S 30980 30980 22814 0 -1 4202496 371 220 0 0 0 0 0 0 20 0 1 0 336301792 9367552 264 33554432000 4194304 5064252 140736598341152 140736598339408 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/31012/statm: 2287 264 223 213 0 72 0
[pid=31014] ppid=31012 vsize=18284 CPUtime=4.74 cores=0,2,4,6
/proc/31014/stat : 31014 (clasp-1.0) R 31012 30980 22814 0 -1 4202496 4198 0 0 0 473 1 0 0 20 0 1 0 336301792 18722816 4042 33554432000 134512640 134847168 4293512128 4293510704 134714328 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/31014/statm: 4571 4042 270 82 0 3812 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 53280
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 31014
/proc/meminfo: memFree=28973008/32873844 swapFree=6088/6088
[pid=30980] ppid=30978 vsize=25848 CPUtime=1.5 cores=0,2,4,6
/proc/30980/stat : 30980 (pbclasp) S 30978 30980 22814 0 -1 4202496 1088 17172 0 0 0 0 146 4 20 0 1 0 336301637 26468352 561 33554432000 4194304 4198148 140736340058032 140736340056960 226333093918 0 0 4230 16384 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30980/statm: 6462 561 387 1 0 257 0
[pid=31012] ppid=30980 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31012/stat : 31012 (sh) S 30980 30980 22814 0 -1 4202496 371 220 0 0 0 0 0 0 20 0 1 0 336301792 9367552 264 33554432000 4194304 5064252 140736598341152 140736598339408 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/31012/statm: 2287 264 223 213 0 72 0
[pid=31014] ppid=31012 vsize=21968 CPUtime=11.14 cores=0,2,4,6
/proc/31014/stat : 31014 (clasp-1.0) R 31012 30980 22814 0 -1 4202496 5092 0 0 0 1113 1 0 0 20 0 1 0 336301792 22495232 4936 33554432000 134512640 134847168 4293512128 4293510812 134715846 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/31014/statm: 5492 4936 270 82 0 4733 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 56964
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 31014
/proc/meminfo: memFree=28963948/32873844 swapFree=6088/6088
[pid=30980] ppid=30978 vsize=25848 CPUtime=1.5 cores=0,2,4,6
/proc/30980/stat : 30980 (pbclasp) S 30978 30980 22814 0 -1 4202496 1088 17172 0 0 0 0 146 4 20 0 1 0 336301637 26468352 561 33554432000 4194304 4198148 140736340058032 140736340056960 226333093918 0 0 4230 16384 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30980/statm: 6462 561 387 1 0 257 0
[pid=31012] ppid=30980 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31012/stat : 31012 (sh) S 30980 30980 22814 0 -1 4202496 371 220 0 0 0 0 0 0 20 0 1 0 336301792 9367552 264 33554432000 4194304 5064252 140736598341152 140736598339408 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/31012/statm: 2287 264 223 213 0 72 0
[pid=31014] ppid=31012 vsize=27448 CPUtime=23.93 cores=0,2,4,6
/proc/31014/stat : 31014 (clasp-1.0) R 31012 30980 22814 0 -1 4202496 6466 0 0 0 2392 1 0 0 20 0 1 0 336301792 28106752 6310 33554432000 134512640 134847168 4293512128 4293510768 134782707 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/31014/statm: 6862 6310 270 82 0 6103 0
Current children cumulated CPU time (s) 25.43
Current children cumulated vsize (KiB) 62444
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 31014
/proc/meminfo: memFree=28947120/32873844 swapFree=6088/6088
[pid=30980] ppid=30978 vsize=25848 CPUtime=1.5 cores=0,2,4,6
/proc/30980/stat : 30980 (pbclasp) S 30978 30980 22814 0 -1 4202496 1088 17172 0 0 0 0 146 4 20 0 1 0 336301637 26468352 561 33554432000 4194304 4198148 140736340058032 140736340056960 226333093918 0 0 4230 16384 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30980/statm: 6462 561 387 1 0 257 0
[pid=31012] ppid=30980 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31012/stat : 31012 (sh) S 30980 30980 22814 0 -1 4202496 371 220 0 0 0 0 0 0 20 0 1 0 336301792 9367552 264 33554432000 4194304 5064252 140736598341152 140736598339408 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/31012/statm: 2287 264 223 213 0 72 0
[pid=31014] ppid=31012 vsize=35884 CPUtime=49.52 cores=0,2,4,6
/proc/31014/stat : 31014 (clasp-1.0) R 31012 30980 22814 0 -1 4202496 8627 0 0 0 4950 2 0 0 20 0 1 0 336301792 36745216 8461 33554432000 134512640 134847168 4293512128 4293510704 134714254 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/31014/statm: 8971 8461 270 82 0 8212 0
Current children cumulated CPU time (s) 51.02
Current children cumulated vsize (KiB) 70880
[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 31039
/proc/meminfo: memFree=28962072/32873844 swapFree=6088/6088
[pid=30980] ppid=30978 vsize=25848 CPUtime=98.41 cores=0,2,4,6
/proc/30980/stat : 30980 (pbclasp) S 30978 30980 22814 0 -1 4202496 1468 44984 0 0 1 0 9828 12 20 0 1 0 336301637 26468352 561 33554432000 4194304 4198148 140736340058032 140736340056960 226333093918 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/30980/statm: 6462 561 387 1 0 257 0
[pid=31037] ppid=30980 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31037/stat : 31037 (sh) S 30980 30980 22814 0 -1 4202496 369 219 0 0 0 0 0 0 20 0 1 0 336311486 9367552 264 33554432000 4194304 5064252 140737355156144 140737355154400 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/31037/statm: 2287 264 223 213 0 72 0
[pid=31039] ppid=31037 vsize=16332 CPUtime=3.81 cores=0,2,4,6
/proc/31039/stat : 31039 (clasp-1.0) R 31037 30980 22814 0 -1 4202496 3716 0 0 0 380 1 0 0 20 0 1 0 336311486 16723968 3561 33554432000 134512640 134847168 4289593520 4289592204 134715952 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/31039/statm: 4083 3561 270 82 0 3324 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 51328
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 31047
/proc/meminfo: memFree=28928380/32873844 swapFree=6088/6088
[pid=30980] ppid=30978 vsize=25848 CPUtime=102.72 cores=0,2,4,6
/proc/30980/stat : 30980 (pbclasp) S 30978 30980 22814 0 -1 4202496 1594 50834 0 0 1 0 10257 14 20 0 1 0 336301637 26468352 561 33554432000 4194304 4198148 140736340058032 140736340056960 226333093918 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/30980/statm: 6462 561 387 1 0 257 0
[pid=31045] ppid=30980 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31045/stat : 31045 (sh) S 30980 30980 22814 0 -1 4202496 371 221 0 0 0 0 0 0 20 0 1 0 336311917 9367552 264 33554432000 4194304 5064252 140737101714832 140737101713088 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/31045/statm: 2287 264 223 213 0 72 0
[pid=31047] ppid=31045 vsize=38848 CPUtime=59.47 cores=0,2,4,6
/proc/31047/stat : 31047 (clasp-1.0) R 31045 30980 22814 0 -1 4202496 9327 0 0 0 5946 1 0 0 20 0 1 0 336311917 39780352 9176 33554432000 134512640 134847168 4289427712 4289426396 134715962 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/31047/statm: 9712 9176 270 82 0 8953 0
Current children cumulated CPU time (s) 162.19
Current children cumulated vsize (KiB) 73844
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 31047
/proc/meminfo: memFree=28921420/32873844 swapFree=6088/6088
[pid=30980] ppid=30978 vsize=25848 CPUtime=102.72 cores=0,2,4,6
/proc/30980/stat : 30980 (pbclasp) S 30978 30980 22814 0 -1 4202496 1594 50834 0 0 1 0 10257 14 20 0 1 0 336301637 26468352 561 33554432000 4194304 4198148 140736340058032 140736340056960 226333093918 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/30980/statm: 6462 561 387 1 0 257 0
[pid=31045] ppid=30980 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31045/stat : 31045 (sh) S 30980 30980 22814 0 -1 4202496 371 221 0 0 0 0 0 0 20 0 1 0 336311917 9367552 264 33554432000 4194304 5064252 140737101714832 140737101713088 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/31045/statm: 2287 264 223 213 0 72 0
[pid=31047] ppid=31045 vsize=46104 CPUtime=119.45 cores=0,2,4,6
/proc/31047/stat : 31047 (clasp-1.0) R 31045 30980 22814 0 -1 4202496 11091 0 0 0 11944 1 0 0 20 0 1 0 336311917 47210496 10953 33554432000 134512640 134847168 4289427712 4289426396 134715964 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/31047/statm: 11526 10953 270 82 0 10767 0
Current children cumulated CPU time (s) 222.17
Current children cumulated vsize (KiB) 81100
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 31050
/proc/meminfo: memFree=28908756/32873844 swapFree=6088/6088
[pid=30980] ppid=30978 vsize=25848 CPUtime=102.72 cores=0,2,4,6
/proc/30980/stat : 30980 (pbclasp) S 30978 30980 22814 0 -1 4202496 1594 50834 0 0 1 0 10257 14 20 0 1 0 336301637 26468352 561 33554432000 4194304 4198148 140736340058032 140736340056960 226333093918 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/30980/statm: 6462 561 387 1 0 257 0
[pid=31045] ppid=30980 vsize=9148 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
/proc/31081/stat : 31081 (sh) S 30980 30980 22814 0 -1 4202496 369 220 0 0 0 0 0 0 20 0 1 0 336414832 9367552 264 33554432000 4194304 5064252 140733426036592 140733426034848 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/31081/statm: 2287 264 223 213 0 72 0
[pid=31083] ppid=31081 vsize=67384 CPUtime=350.27 cores=0,2,4,6
/proc/31083/stat : 31083 (clasp-1.0) R 31081 30980 22814 0 -1 4202496 16304 0 0 0 35024 3 0 0 20 0 1 0 336414832 69001216 16300 33554432000 134512640 134847168 4288802960 4288801424 134714064 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/31083/statm: 16846 16300 272 82 0 16087 0
Current children cumulated CPU time (s) 1481.94
Current children cumulated vsize (KiB) 102380
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 31329
/proc/meminfo: memFree=28822120/32873844 swapFree=6088/6088
[pid=30980] ppid=30978 vsize=25848 CPUtime=1131.67 cores=0,2,4,6
/proc/30980/stat : 30980 (pbclasp) S 30978 30980 22814 0 -1 4202496 1818 89350 0 0 1 1 113142 23 20 0 1 0 336301637 26468352 561 33554432000 4194304 4198148 140736340058032 140736340056960 226333093918 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/30980/statm: 6462 561 387 1 0 257 0
[pid=31081] ppid=30980 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31081/stat : 31081 (sh) S 30980 30980 22814 0 -1 4202496 369 220 0 0 0 0 0 0 20 0 1 0 336414832 9367552 264 33554432000 4194304 5064252 140733426036592 140733426034848 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/31081/statm: 2287 264 223 213 0 72 0
[pid=31083] ppid=31081 vsize=68080 CPUtime=410.25 cores=0,2,4,6
/proc/31083/stat : 31083 (clasp-1.0) R 31081 30980 22814 0 -1 4202496 16439 0 0 0 41022 3 0 0 20 0 1 0 336414832 69713920 16435 33554432000 134512640 134847168 4288802960 4288801536 134714216 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/31083/statm: 17020 16435 272 82 0 16261 0
Current children cumulated CPU time (s) 1541.92
Current children cumulated vsize (KiB) 103076
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 31330
/proc/meminfo: memFree=28808580/32873844 swapFree=6088/6088
[pid=30980] ppid=30978 vsize=25848 CPUtime=1131.67 cores=0,2,4,6
/proc/30980/stat : 30980 (pbclasp) S 30978 30980 22814 0 -1 4202496 1818 89350 0 0 1 1 113142 23 20 0 1 0 336301637 26468352 561 33554432000 4194304 4198148 140736340058032 140736340056960 226333093918 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/30980/statm: 6462 561 387 1 0 257 0
[pid=31081] ppid=30980 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31081/stat : 31081 (sh) S 30980 30980 22814 0 -1 4202496 369 220 0 0 0 0 0 0 20 0 1 0 336414832 9367552 264 33554432000 4194304 5064252 140733426036592 140733426034848 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/31081/statm: 2287 264 223 213 0 72 0
[pid=31083] ppid=31081 vsize=70144 CPUtime=470.25 cores=0,2,4,6
/proc/31083/stat : 31083 (clasp-1.0) R 31081 30980 22814 0 -1 4202496 17013 0 0 0 47021 4 0 0 20 0 1 0 336414832 71827456 16981 33554432000 134512640 134847168 4288802960 4288801684 134714084 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/31083/statm: 17536 16981 272 82 0 16777 0
Current children cumulated CPU time (s) 1601.92
Current children cumulated vsize (KiB) 105140
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 31330
/proc/meminfo: memFree=28791896/32873844 swapFree=6088/6088
[pid=30980] ppid=30978 vsize=25848 CPUtime=1131.67 cores=0,2,4,6
/proc/30980/stat : 30980 (pbclasp) S 30978 30980 22814 0 -1 4202496 1818 89350 0 0 1 1 113142 23 20 0 1 0 336301637 26468352 561 33554432000 4194304 4198148 140736340058032 140736340056960 226333093918 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/30980/statm: 6462 561 387 1 0 257 0
[pid=31081] ppid=30980 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31081/stat : 31081 (sh) S 30980 30980 22814 0 -1 4202496 369 220 0 0 0 0 0 0 20 0 1 0 336414832 9367552 264 33554432000 4194304 5064252 140733426036592 140733426034848 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/31081/statm: 2287 264 223 213 0 72 0
[pid=31083] ppid=31081 vsize=73664 CPUtime=530.24 cores=0,2,4,6
/proc/31083/stat : 31083 (clasp-1.0) R 31081 30980 22814 0 -1 4202496 17821 0 0 0 53020 4 0 0 20 0 1 0 336414832 75431936 17838 33554432000 134512640 134847168 4288802960 4288801696 134741032 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/31083/statm: 18416 17838 272 82 0 17657 0
Current children cumulated CPU time (s) 1661.91
Current children cumulated vsize (KiB) 108660
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 31330
/proc/meminfo: memFree=28774200/32873844 swapFree=6088/6088
[pid=30980] ppid=30978 vsize=25848 CPUtime=1131.67 cores=0,2,4,6
/proc/30980/stat : 30980 (pbclasp) S 30978 30980 22814 0 -1 4202496 1818 89350 0 0 1 1 113142 23 20 0 1 0 336301637 26468352 561 33554432000 4194304 4198148 140736340058032 140736340056960 226333093918 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/30980/statm: 6462 561 387 1 0 257 0
[pid=31081] ppid=30980 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31081/stat : 31081 (sh) S 30980 30980 22814 0 -1 4202496 369 220 0 0 0 0 0 0 20 0 1 0 336414832 9367552 264 33554432000 4194304 5064252 140733426036592 140733426034848 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/31081/statm: 2287 264 223 213 0 72 0
[pid=31083] ppid=31081 vsize=80748 CPUtime=590.23 cores=0,2,4,6
/proc/31083/stat : 31083 (clasp-1.0) R 31081 30980 22814 0 -1 4202496 19577 0 0 0 59019 4 0 0 20 0 1 0 336414832 82685952 19594 33554432000 134512640 134847168 4288802960 4288801488 134689320 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/31083/statm: 20187 19594 272 82 0 19428 0
Current children cumulated CPU time (s) 1721.9
Current children cumulated vsize (KiB) 115744
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 31330
/proc/meminfo: memFree=28754600/32873844 swapFree=6088/6088
[pid=30980] ppid=30978 vsize=25848 CPUtime=1131.67 cores=0,2,4,6
/proc/30980/stat : 30980 (pbclasp) S 30978 30980 22814 0 -1 4202496 1818 89350 0 0 1 1 113142 23 20 0 1 0 336301637 26468352 561 33554432000 4194304 4198148 140736340058032 140736340056960 226333093918 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/30980/statm: 6462 561 387 1 0 257 0
[pid=31081] ppid=30980 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31081/stat : 31081 (sh) S 30980 30980 22814 0 -1 4202496 369 220 0 0 0 0 0 0 20 0 1 0 336414832 9367552 264 33554432000 4194304 5064252 140733426036592 140733426034848 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/31081/statm: 2287 264 223 213 0 72 0
[pid=31083] ppid=31081 vsize=83884 CPUtime=650.22 cores=0,2,4,6
/proc/31083/stat : 31083 (clasp-1.0) R 31081 30980 22814 0 -1 4202496 20340 0 0 0 65018 4 0 0 20 0 1 0 336414832 85897216 20357 33554432000 134512640 134847168 4288802960 4288801644 134616172 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/31083/statm: 20971 20357 272 82 0 20212 0
Current children cumulated CPU time (s) 1781.89
Current children cumulated vsize (KiB) 118880
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 31330
/proc/meminfo: memFree=28747024/32873844 swapFree=6088/6088
[pid=30980] ppid=30978 vsize=25848 CPUtime=1131.67 cores=0,2,4,6
/proc/30980/stat : 30980 (pbclasp) S 30978 30980 22814 0 -1 4202496 1818 89350 0 0 1 1 113142 23 20 0 1 0 336301637 26468352 561 33554432000 4194304 4198148 140736340058032 140736340056960 226333093918 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/30980/statm: 6462 561 387 1 0 257 0
[pid=31081] ppid=30980 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31081/stat : 31081 (sh) S 30980 30980 22814 0 -1 4202496 369 220 0 0 0 0 0 0 20 0 1 0 336414832 9367552 264 33554432000 4194304 5064252 140733426036592 140733426034848 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/31081/statm: 2287 264 223 213 0 72 0
[pid=31083] ppid=31081 vsize=84152 CPUtime=668.41 cores=0,2,4,6
/proc/31083/stat : 31083 (clasp-1.0) R 31081 30980 22814 0 -1 4202496 20435 0 0 0 66837 4 0 0 20 0 1 0 336414832 86171648 20501 33554432000 134512640 134847168 4288802960 4288801728 134737595 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/31083/statm: 21038 20501 272 82 0 20279 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 119148
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -30980
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 31349
/proc/meminfo: memFree=29011136/32873844 swapFree=6088/6088
[pid=30980] ppid=30978 vsize=25848 CPUtime=1800.11 cores=0,2,4,6
/proc/30980/stat : 30980 (pbclasp) S 30978 30980 22814 0 -1 4202496 1978 112547 0 0 1 1 179980 29 20 0 1 0 336301637 26468352 561 33554432000 4194304 4198148 140736340058032 140736340056960 226333093918 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/30980/statm: 6462 561 387 1 0 257 0
[pid=31339] ppid=30980 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31339/stat : 31339 (sh) S 30980 30980 22814 0 -1 4202496 371 221 0 0 0 0 0 0 20 0 1 0 336481690 9367552 264 33554432000 4194304 5064252 140737267979696 140737267977952 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/31339/statm: 2287 264 223 213 0 72 0
[pid=31342] ppid=31339 vsize=13856 CPUtime=0.85 cores=0,2,4,6
/proc/31342/stat : 31342 (clasp-1.0) R 31339 30980 22814 0 -1 4202496 3088 0 0 0 85 0 0 0 20 0 1 0 336481690 14188544 2932 33554432000 134512640 134847168 4287868848 4287867424 134714243 0 0 4096 0 0 0 0 17 6 0 0 0 0 0
/proc/31342/statm: 3464 2932 272 82 0 2705 0
Current children cumulated CPU time (s) 1800.96
Current children cumulated vsize (KiB) 48852
[startup+1802.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 31349
/proc/meminfo: memFree=28977548/32873844 swapFree=6088/6088
[pid=30980] ppid=30978 vsize=25848 CPUtime=1800.11 cores=0,2,4,6
/proc/30980/stat : 30980 (pbclasp) S 30978 30980 22814 0 -1 4202496 1978 112547 0 0 1 1 179980 29 20 0 1 0 336301637 26468352 561 33554432000 4194304 4198148 140736340058032 140736340056960 226333093918 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/30980/statm: 6462 561 387 1 0 257 0
[pid=31339] ppid=30980 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31339/stat : 31339 (sh) S 30980 30980 22814 0 -1 4202496 371 221 0 0 0 0 0 0 20 0 1 0 336481690 9367552 264 33554432000 4194304 5064252 140737267979696 140737267977952 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/31339/statm: 2287 264 223 213 0 72 0
[pid=31342] ppid=31339 vsize=13856 CPUtime=1.65 cores=0,2,4,6
/proc/31342/stat : 31342 (clasp-1.0) R 31339 30980 22814 0 -1 4202496 3089 0 0 0 165 0 0 0 20 0 1 0 336481690 14188544 2933 33554432000 134512640 134847168 4287868848 4287867424 134714430 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/31342/statm: 3464 2933 272 82 0 2705 0
Current children cumulated CPU time (s) 1801.76
Current children cumulated vsize (KiB) 48852
[startup+1802.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 31349
/proc/meminfo: memFree=28977548/32873844 swapFree=6088/6088
[pid=30980] ppid=30978 vsize=25848 CPUtime=1800.11 cores=0,2,4,6
/proc/30980/stat : 30980 (pbclasp) S 30978 30980 22814 0 -1 4202496 1978 112547 0 0 1 1 179980 29 20 0 1 0 336301637 26468352 561 33554432000 4194304 4198148 140736340058032 140736340056960 226333093918 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/30980/statm: 6462 561 387 1 0 257 0
[pid=31339] ppid=30980 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31339/stat : 31339 (sh) S 30980 30980 22814 0 -1 4202496 371 221 0 0 0 0 0 0 20 0 1 0 336481690 9367552 264 33554432000 4194304 5064252 140737267979696 140737267977952 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/31339/statm: 2287 264 223 213 0 72 0
[pid=31342] ppid=31339 vsize=13856 CPUtime=1.85 cores=0,2,4,6
/proc/31342/stat : 31342 (clasp-1.0) R 31339 30980 22814 0 -1 4202496 3089 0 0 0 185 0 0 0 20 0 1 0 336481690 14188544 2933 33554432000 134512640 134847168 4287868848 4287867532 134715821 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/31342/statm: 3464 2933 272 82 0 2705 0
Current children cumulated CPU time (s) 1801.96
Current children cumulated vsize (KiB) 48852
[startup+1802.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 31349
/proc/meminfo: memFree=28977548/32873844 swapFree=6088/6088
[pid=30980] ppid=30978 vsize=25848 CPUtime=1800.11 cores=0,2,4,6
/proc/30980/stat : 30980 (pbclasp) S 30978 30980 22814 0 -1 4202496 1978 112547 0 0 1 1 179980 29 20 0 1 0 336301637 26468352 561 33554432000 4194304 4198148 140736340058032 140736340056960 226333093918 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/30980/statm: 6462 561 387 1 0 257 0
[pid=31339] ppid=30980 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31339/stat : 31339 (sh) S 30980 30980 22814 0 -1 4202496 371 221 0 0 0 0 0 0 20 0 1 0 336481690 9367552 264 33554432000 4194304 5064252 140737267979696 140737267977952 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/31339/statm: 2287 264 223 213 0 72 0
[pid=31342] ppid=31339 vsize=13856 CPUtime=1.95 cores=0,2,4,6
/proc/31342/stat : 31342 (clasp-1.0) R 31339 30980 22814 0 -1 4202496 3093 0 0 0 195 0 0 0 20 0 1 0 336481690 14188544 2937 33554432000 134512640 134847168 4287868848 4287867580 134740921 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/31342/statm: 3464 2937 272 82 0 2705 0
Current children cumulated CPU time (s) 1802.06
Current children cumulated vsize (KiB) 48852
Child status: 0
Real time (s): 1802.52
CPU time (s): 1802.12
CPU user time (s): 1801.8
CPU system time (s): 0.32495
CPU usage (%): 99.9779
Max. virtual memory (cumulated for all children) (KiB): 122340
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1801.8
system time used= 0.32495
maximum resident set size= 84968
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 118352
page faults= 0
swaps= 0
block input operations= 0
block output operations= 19952
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2528
involuntary context switches= 2417
runsolver used 2.86956 second user time and 6.96994 second system time
The end