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-3731635-1338699193/watcher-3731635-1338699193 -o /tmp/evaluation-result-3731635-1338699193/solver-3731635-1338699193 -C 1800 -W 1900 -M 15500 pbclasp instance-3731635-1338699193.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: 1.88 1.99 2.19 3/173 7916
/proc/meminfo: memFree=29219800/32873648 swapFree=7116/7116
[pid=7916] ppid=7914 vsize=25592 CPUtime=0 cores=0,2,4,6
/proc/7916/stat : 7916 (pbclasp) R 7914 7916 621 0 -1 4202496 552 0 0 0 0 0 0 0 20 0 1 0 336044827 26206208 482 33554432000 4194304 4198148 140735165305168 140735165302616 260189994427 0 0 4224 16384 0 0 0 17 0 0 0 0 0 0
/proc/7916/statm: 6398 482 355 1 0 193 0
[startup+0.044621 s]
/proc/loadavg: 1.88 1.99 2.19 3/173 7916
/proc/meminfo: memFree=29219800/32873648 swapFree=7116/7116
[pid=7916] ppid=7914 vsize=26616 CPUtime=0.04 cores=0,2,4,6
/proc/7916/stat : 7916 (pbclasp) R 7914 7916 621 0 -1 4202496 805 0 0 0 4 0 0 0 20 0 1 0 336044827 27254784 735 33554432000 4194304 4198148 140735165305168 140735165302616 260215667984 0 0 4224 16384 0 0 0 17 0 0 0 0 0 0
/proc/7916/statm: 6654 735 362 1 0 449 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 26616
[startup+0.100142 s]
/proc/loadavg: 1.88 1.99 2.19 3/173 7916
/proc/meminfo: memFree=29219800/32873648 swapFree=7116/7116
[pid=7916] ppid=7914 vsize=26616 CPUtime=0.09 cores=0,2,4,6
/proc/7916/stat : 7916 (pbclasp) R 7914 7916 621 0 -1 4202496 824 0 0 0 9 0 0 0 20 0 1 0 336044827 27254784 754 33554432000 4194304 4198148 140735165305168 140735165302616 260189949844 0 0 4224 16384 0 0 0 17 0 0 0 0 0 0
/proc/7916/statm: 6654 754 362 1 0 449 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 26616
[startup+0.30012 s]
/proc/loadavg: 1.88 1.99 2.19 3/173 7916
/proc/meminfo: memFree=29219800/32873648 swapFree=7116/7116
[pid=7916] ppid=7914 vsize=27012 CPUtime=0.29 cores=0,2,4,6
/proc/7916/stat : 7916 (pbclasp) R 7914 7916 621 0 -1 4202496 921 0 0 0 29 0 0 0 20 0 1 0 336044827 27660288 851 33554432000 4194304 4198148 140735165305168 140735165303944 260215667968 0 0 4224 16384 0 0 0 17 0 0 0 0 0 0
/proc/7916/statm: 6753 851 362 1 0 548 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 27012
[startup+0.700122 s]
/proc/loadavg: 1.88 1.99 2.19 3/173 7916
/proc/meminfo: memFree=29219800/32873648 swapFree=7116/7116
[pid=7916] ppid=7914 vsize=28344 CPUtime=0.58 cores=0,2,4,6
/proc/7916/stat : 7916 (pbclasp) S 7914 7916 621 0 -1 4202496 1268 0 0 0 58 0 0 0 20 0 1 0 336044827 29024256 1181 33554432000 4194304 4198148 140735165305168 140735165304056 260193707248 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/7916/statm: 7086 1181 369 1 0 881 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 28344
[startup+1.50017 s]
/proc/loadavg: 1.88 1.99 2.19 3/181 7938
/proc/meminfo: memFree=29212664/32873648 swapFree=7116/7116
[pid=7916] ppid=7914 vsize=28344 CPUtime=0.58 cores=0,2,4,6
/proc/7916/stat : 7916 (pbclasp) S 7914 7916 621 0 -1 4202496 1268 0 0 0 58 0 0 0 20 0 1 0 336044827 29024256 1181 33554432000 4194304 4198148 140735165305168 140735165304056 260193707248 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/7916/statm: 7086 1181 369 1 0 881 0
[pid=7935] ppid=7916 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7935/stat : 7935 (sh) S 7916 7916 621 0 -1 4202496 350 0 0 0 0 0 0 0 20 0 1 0 336044886 9367552 267 33554432000 4194304 5064252 140737382712704 140737382711584 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/7935/statm: 2287 267 226 213 0 72 0
[pid=7936] ppid=7935 vsize=25724 CPUtime=0.9 cores=0,2,4,6
/proc/7936/stat : 7936 (pb2clasp1) R 7935 7916 621 0 -1 4202496 621 0 0 0 90 0 0 0 20 0 1 0 336044886 26341376 530 33554432000 4194304 4198148 140736273613088 140736273603624 260215370205 0 0 4224 0 0 0 0 17 0 0 0 0 0 0
/proc/7936/statm: 6431 530 378 1 0 226 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 63216
[startup+3.10017 s]
/proc/loadavg: 1.88 1.99 2.19 3/181 7938
/proc/meminfo: memFree=29210120/32873648 swapFree=7116/7116
[pid=7916] ppid=7914 vsize=28344 CPUtime=0.58 cores=0,2,4,6
/proc/7916/stat : 7916 (pbclasp) S 7914 7916 621 0 -1 4202496 1268 0 0 0 58 0 0 0 20 0 1 0 336044827 29024256 1181 33554432000 4194304 4198148 140735165305168 140735165304056 260193707248 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/7916/statm: 7086 1181 369 1 0 881 0
[pid=7935] ppid=7916 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7935/stat : 7935 (sh) S 7916 7916 621 0 -1 4202496 350 0 0 0 0 0 0 0 20 0 1 0 336044886 9367552 267 33554432000 4194304 5064252 140737382712704 140737382711584 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/7935/statm: 2287 267 226 213 0 72 0
[pid=7936] ppid=7935 vsize=25724 CPUtime=2.49 cores=0,2,4,6
/proc/7936/stat : 7936 (pb2clasp1) R 7935 7916 621 0 -1 4202496 621 0 0 0 249 0 0 0 20 0 1 0 336044886 26341376 530 33554432000 4194304 4198148 140736273613088 140736273603624 260215371062 0 0 4224 0 0 0 0 17 2 0 0 0 0 0
/proc/7936/statm: 6431 530 378 1 0 226 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 63216
[startup+6.30017 s]
/proc/loadavg: 1.89 1.99 2.19 3/181 7938
/proc/meminfo: memFree=29203584/32873648 swapFree=7116/7116
[pid=7916] ppid=7914 vsize=28344 CPUtime=0.58 cores=0,2,4,6
/proc/7916/stat : 7916 (pbclasp) S 7914 7916 621 0 -1 4202496 1268 0 0 0 58 0 0 0 20 0 1 0 336044827 29024256 1181 33554432000 4194304 4198148 140735165305168 140735165304056 260193707248 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/7916/statm: 7086 1181 369 1 0 881 0
[pid=7935] ppid=7916 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7935/stat : 7935 (sh) S 7916 7916 621 0 -1 4202496 350 0 0 0 0 0 0 0 20 0 1 0 336044886 9367552 267 33554432000 4194304 5064252 140737382712704 140737382711584 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/7935/statm: 2287 267 226 213 0 72 0
[pid=7936] ppid=7935 vsize=25724 CPUtime=5.7 cores=0,2,4,6
/proc/7936/stat : 7936 (pb2clasp1) R 7935 7916 621 0 -1 4202496 621 0 0 0 568 2 0 0 20 0 1 0 336044886 26341376 530 33554432000 4194304 4198148 140736273613088 140736273603624 260193707248 0 0 4224 0 0 0 0 17 2 0 0 0 0 0
/proc/7936/statm: 6431 530 378 1 0 226 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 63216
[startup+12.7003 s]
/proc/loadavg: 1.90 1.99 2.19 3/181 7938
/proc/meminfo: memFree=29191900/32873648 swapFree=7116/7116
[pid=7916] ppid=7914 vsize=28344 CPUtime=0.58 cores=0,2,4,6
/proc/7916/stat : 7916 (pbclasp) S 7914 7916 621 0 -1 4202496 1268 0 0 0 58 0 0 0 20 0 1 0 336044827 29024256 1181 33554432000 4194304 4198148 140735165305168 140735165304056 260193707248 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/7916/statm: 7086 1181 369 1 0 881 0
[pid=7935] ppid=7916 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7935/stat : 7935 (sh) S 7916 7916 621 0 -1 4202496 350 0 0 0 0 0 0 0 20 0 1 0 336044886 9367552 267 33554432000 4194304 5064252 140737382712704 140737382711584 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/7935/statm: 2287 267 226 213 0 72 0
[pid=7936] ppid=7935 vsize=25724 CPUtime=12.1 cores=0,2,4,6
/proc/7936/stat : 7936 (pb2clasp1) R 7935 7916 621 0 -1 4202496 621 0 0 0 1206 4 0 0 20 0 1 0 336044886 26341376 530 33554432000 4194304 4198148 140736273613088 140736273612072 260215294805 0 0 4224 0 0 0 0 17 2 0 0 0 0 0
/proc/7936/statm: 6431 530 378 1 0 226 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 63216
[startup+25.5003 s]
/proc/loadavg: 1.92 1.99 2.18 3/181 7952
/proc/meminfo: memFree=28655980/32873648 swapFree=7116/7116
[pid=7916] ppid=7914 vsize=29136 CPUtime=20.14 cores=0,2,4,6
/proc/7916/stat : 7916 (pbclasp) S 7914 7916 621 0 -1 4202496 1766 2129 0 0 59 0 1946 9 20 0 1 0 336044827 29835264 1396 33554432000 4194304 4198148 140735165305168 140735165304096 260193710110 0 0 4230 16384 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7916/statm: 7284 1396 387 1 0 1079 0
[pid=7950] ppid=7916 vsize=9148 CPUtime=0.01 cores=0,2,4,6
/proc/7950/stat : 7950 (sh) S 7916 7916 621 0 -1 4202496 371 221 0 0 0 0 0 1 20 0 1 0 336046844 9367552 264 33554432000 4194304 5064252 140733641255024 140733641253280 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7950/statm: 2287 264 223 213 0 72 0
[pid=7952] ppid=7950 vsize=247872 CPUtime=5.32 cores=0,2,4,6
/proc/7952/stat : 7952 (clasp-1.0) R 7950 7916 621 0 -1 4202496 51166 0 0 0 523 9 0 0 20 0 1 0 336046844 253820928 60839 33554432000 134512640 134847168 4287309728 4287308496 134617549 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/7952/statm: 61968 60839 266 82 0 61209 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 286156
[startup+51.1003 s]
/proc/loadavg: 1.95 1.99 2.18 3/181 7952
/proc/meminfo: memFree=27919780/32873648 swapFree=7116/7116
[pid=7916] ppid=7914 vsize=29136 CPUtime=20.14 cores=0,2,4,6
/proc/7916/stat : 7916 (pbclasp) S 7914 7916 621 0 -1 4202496 1766 2129 0 0 59 0 1946 9 20 0 1 0 336044827 29835264 1396 33554432000 4194304 4198148 140735165305168 140735165304096 260193710110 0 0 4230 16384 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7916/statm: 7284 1396 387 1 0 1079 0
[pid=7950] ppid=7916 vsize=9148 CPUtime=0.01 cores=0,2,4,6
/proc/7950/stat : 7950 (sh) S 7916 7916 621 0 -1 4202496 371 221 0 0 0 0 0 1 20 0 1 0 336046844 9367552 264 33554432000 4194304 5064252 140733641255024 140733641253280 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7950/statm: 2287 264 223 213 0 72 0
[pid=7952] ppid=7950 vsize=624352 CPUtime=30.92 cores=0,2,4,6
/proc/7952/stat : 7952 (clasp-1.0) R 7950 7916 621 0 -1 4202496 144996 0 0 0 3067 25 0 0 20 0 1 0 336046844 639336448 154669 33554432000 134512640 134847168 4287309728 4287308484 134737608 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/7952/statm: 156088 154669 266 82 0 155329 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 662636
[startup+102.307 s]
/proc/loadavg: 1.98 1.99 2.17 3/181 7952
/proc/meminfo: memFree=26643476/32873648 swapFree=7116/7116
[pid=7916] ppid=7914 vsize=29136 CPUtime=20.14 cores=0,2,4,6
/proc/7916/stat : 7916 (pbclasp) S 7914 7916 621 0 -1 4202496 1766 2129 0 0 59 0 1946 9 20 0 1 0 336044827 29835264 1396 33554432000 4194304 4198148 140735165305168 140735165304096 260193710110 0 0 4230 16384 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7916/statm: 7284 1396 387 1 0 1079 0
[pid=7950] ppid=7916 vsize=9148 CPUtime=0.01 cores=0,2,4,6
/proc/7950/stat : 7950 (sh) S 7916 7916 621 0 -1 4202496 371 221 0 0 0 0 0 1 20 0 1 0 336046844 9367552 264 33554432000 4194304 5064252 140733641255024 140733641253280 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7950/statm: 2287 264 223 213 0 72 0
[pid=7952] ppid=7950 vsize=1251440 CPUtime=82.12 cores=0,2,4,6
/proc/7952/stat : 7952 (clasp-1.0) R 7950 7916 621 0 -1 4202496 301938 0 0 0 8162 50 0 0 20 0 1 0 336046844 1281474560 310739 33554432000 134512640 134847168 4287309728 4287308004 134792688 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/7952/statm: 312860 310739 266 82 0 312101 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1289724
[startup+162.3 s]
/proc/loadavg: 1.99 1.99 2.16 3/181 7953
/proc/meminfo: memFree=25434336/32873648 swapFree=7116/7116
[pid=7916] ppid=7914 vsize=29136 CPUtime=20.14 cores=0,2,4,6
/proc/7916/stat : 7916 (pbclasp) S 7914 7916 621 0 -1 4202496 1766 2129 0 0 59 0 1946 9 20 0 1 0 336044827 29835264 1396 33554432000 4194304 4198148 140735165305168 140735165304096 260193710110 0 0 4230 16384 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7916/statm: 7284 1396 387 1 0 1079 0
[pid=7950] ppid=7916 vsize=9148 CPUtime=0.01 cores=0,2,4,6
/proc/7950/stat : 7950 (sh) S 7916 7916 621 0 -1 4202496 371 221 0 0 0 0 0 1 20 0 1 0 336046844 9367552 264 33554432000 4194304 5064252 140733641255024 140733641253280 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7950/statm: 2287 264 223 213 0 72 0
[pid=7952] ppid=7950 vsize=1864020 CPUtime=142.1 cores=0,2,4,6
/proc/7952/stat : 7952 (clasp-1.0) R 7950 7916 621 0 -1 4202496 461837 0 0 0 14133 77 0 0 20 0 1 0 336046844 1908756480 463133 33554432000 134512640 134847168 4287309728 4287308004 134792553 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/7952/statm: 466005 463133 266 82 0 465246 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 1902304
[startup+222.3 s]
/proc/loadavg: 1.99 1.99 2.14 3/181 7953
/proc/meminfo: memFree=24417272/32873648 swapFree=7116/7116
[pid=7916] ppid=7914 vsize=29136 CPUtime=20.14 cores=0,2,4,6
/proc/7916/stat : 7916 (pbclasp) S 7914 7916 621 0 -1 4202496 1766 2129 0 0 59 0 1946 9 20 0 1 0 336044827 29835264 1396 33554432000 4194304 4198148 140735165305168 140735165304096 260193710110 0 0 4230 16384 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7916/statm: 7284 1396 387 1 0 1079 0
[pid=7950] ppid=7916 vsize=9148 CPUtime=0.01 cores=0,2,4,6
/proc/7950/stat : 7950 (sh) S 7916 7916 621 0 -1 4202496 371 221 0 0 0 0 0 1 20 0 1 0 336046844 9367552 264 33554432000 4194304 5064252 140733641255024 140733641253280 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7950/statm: 2287 264 223 213 0 72 0
[pid=7952] ppid=7950 vsize=2368764 CPUtime=202.09 cores=0,2,4,6
/proc/7952/stat : 7952 (clasp-1.0) R 7950 7916 621 0 -1 4202496 587435 0 0 0 20111 98 0 0 20 0 1 0 336046844 2425614336 588731 33554432000 134512640 134847168 4287309728 4287308368 134782432 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/7952/statm: 592191 588731 266 82 0 591432 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 2407048
[startup+282.3 s]
################
# More data... #
################
/proc/8032/stat : 8032 (sh) S 7916 7916 621 0 -1 4202496 370 219 0 0 0 0 0 0 20 0 1 0 336194294 9367552 264 33554432000 4194304 5064252 140736213479232 140736213477488 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/8032/statm: 2287 264 223 213 0 72 0
[pid=8034] ppid=8032 vsize=867256 CPUtime=47.61 cores=0,2,4,6
/proc/8034/stat : 8034 (clasp-1.0) R 8032 7916 621 0 -1 4202496 205805 0 0 0 4726 35 0 0 20 0 1 0 336194294 888070144 215189 33554432000 134512640 134847168 4294493504 4294492224 134741346 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/8034/statm: 216814 215189 266 82 0 216055 0
Current children cumulated CPU time (s) 1542.06
Current children cumulated vsize (KiB) 905540
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.01 3/181 8034
/proc/meminfo: memFree=26069916/32873648 swapFree=7116/7116
[pid=7916] ppid=7914 vsize=29136 CPUtime=1494.45 cores=0,2,4,6
/proc/7916/stat : 7916 (pbclasp) S 7914 7916 621 0 -1 4202496 2051 3361145 0 0 60 0 148665 720 20 0 1 0 336044827 29835264 1396 33554432000 4194304 4198148 140735165305168 140735165304096 260193710110 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/7916/statm: 7284 1396 387 1 0 1079 0
[pid=8032] ppid=7916 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8032/stat : 8032 (sh) S 7916 7916 621 0 -1 4202496 370 219 0 0 0 0 0 0 20 0 1 0 336194294 9367552 264 33554432000 4194304 5064252 140736213479232 140736213477488 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/8032/statm: 2287 264 223 213 0 72 0
[pid=8034] ppid=8032 vsize=1524712 CPUtime=107.6 cores=0,2,4,6
/proc/8034/stat : 8034 (clasp-1.0) R 8032 7916 621 0 -1 4202496 369954 0 0 0 10695 65 0 0 20 0 1 0 336194294 1561305088 378756 33554432000 134512640 134847168 4294493504 4294492244 134737633 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/8034/statm: 381178 378756 266 82 0 380419 0
Current children cumulated CPU time (s) 1602.05
Current children cumulated vsize (KiB) 1562996
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 8037
/proc/meminfo: memFree=24993480/32873648 swapFree=7116/7116
[pid=7916] ppid=7914 vsize=29136 CPUtime=1494.45 cores=0,2,4,6
/proc/7916/stat : 7916 (pbclasp) S 7914 7916 621 0 -1 4202496 2051 3361145 0 0 60 0 148665 720 20 0 1 0 336044827 29835264 1396 33554432000 4194304 4198148 140735165305168 140735165304096 260193710110 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/7916/statm: 7284 1396 387 1 0 1079 0
[pid=8032] ppid=7916 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8032/stat : 8032 (sh) S 7916 7916 621 0 -1 4202496 370 219 0 0 0 0 0 0 20 0 1 0 336194294 9367552 264 33554432000 4194304 5064252 140736213479232 140736213477488 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/8032/statm: 2287 264 223 213 0 72 0
[pid=8034] ppid=8032 vsize=2054588 CPUtime=167.59 cores=0,2,4,6
/proc/8034/stat : 8034 (clasp-1.0) R 8032 7916 621 0 -1 4202496 509180 0 0 0 16671 88 0 0 20 0 1 0 336194294 2103898112 510477 33554432000 134512640 134847168 4294493504 4294492260 134737608 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/8034/statm: 513647 510477 266 82 0 512888 0
Current children cumulated CPU time (s) 1662.04
Current children cumulated vsize (KiB) 2092872
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 8038
/proc/meminfo: memFree=24053400/32873648 swapFree=7116/7116
[pid=7916] ppid=7914 vsize=29136 CPUtime=1494.45 cores=0,2,4,6
/proc/7916/stat : 7916 (pbclasp) S 7914 7916 621 0 -1 4202496 2051 3361145 0 0 60 0 148665 720 20 0 1 0 336044827 29835264 1396 33554432000 4194304 4198148 140735165305168 140735165304096 260193710110 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/7916/statm: 7284 1396 387 1 0 1079 0
[pid=8032] ppid=7916 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8032/stat : 8032 (sh) S 7916 7916 621 0 -1 4202496 370 219 0 0 0 0 0 0 20 0 1 0 336194294 9367552 264 33554432000 4194304 5064252 140736213479232 140736213477488 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/8032/statm: 2287 264 223 213 0 72 0
[pid=8034] ppid=8032 vsize=2544248 CPUtime=227.59 cores=0,2,4,6
/proc/8034/stat : 8034 (clasp-1.0) R 8032 7916 621 0 -1 4202496 654468 0 0 0 22644 115 0 0 20 0 1 0 336194294 2605309952 632011 33554432000 134512640 134847168 4294493504 4294492144 134782463 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/8034/statm: 636062 632011 266 82 0 635303 0
Current children cumulated CPU time (s) 1722.04
Current children cumulated vsize (KiB) 2582532
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 8038
/proc/meminfo: memFree=23049524/32873648 swapFree=7116/7116
[pid=7916] ppid=7914 vsize=29136 CPUtime=1494.45 cores=0,2,4,6
/proc/7916/stat : 7916 (pbclasp) S 7914 7916 621 0 -1 4202496 2051 3361145 0 0 60 0 148665 720 20 0 1 0 336044827 29835264 1396 33554432000 4194304 4198148 140735165305168 140735165304096 260193710110 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/7916/statm: 7284 1396 387 1 0 1079 0
[pid=8032] ppid=7916 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8032/stat : 8032 (sh) S 7916 7916 621 0 -1 4202496 370 219 0 0 0 0 0 0 20 0 1 0 336194294 9367552 264 33554432000 4194304 5064252 140736213479232 140736213477488 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/8032/statm: 2287 264 223 213 0 72 0
[pid=8034] ppid=8032 vsize=3041764 CPUtime=287.58 cores=0,2,4,6
/proc/8034/stat : 8034 (clasp-1.0) R 8032 7916 621 0 -1 4202496 778151 0 0 0 28621 137 0 0 20 0 1 0 336194294 3114766336 755694 33554432000 134512640 134847168 4294493504 4294492016 134780669 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/8034/statm: 760441 755694 266 82 0 759682 0
Current children cumulated CPU time (s) 1782.03
Current children cumulated vsize (KiB) 3080048
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 8038
/proc/meminfo: memFree=22835224/32873648 swapFree=7116/7116
[pid=7916] ppid=7914 vsize=29136 CPUtime=1494.45 cores=0,2,4,6
/proc/7916/stat : 7916 (pbclasp) S 7914 7916 621 0 -1 4202496 2051 3361145 0 0 60 0 148665 720 20 0 1 0 336044827 29835264 1396 33554432000 4194304 4198148 140735165305168 140735165304096 260193710110 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/7916/statm: 7284 1396 387 1 0 1079 0
[pid=8032] ppid=7916 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8032/stat : 8032 (sh) S 7916 7916 621 0 -1 4202496 370 219 0 0 0 0 0 0 20 0 1 0 336194294 9367552 264 33554432000 4194304 5064252 140736213479232 140736213477488 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/8032/statm: 2287 264 223 213 0 72 0
[pid=8034] ppid=8032 vsize=3147076 CPUtime=305.58 cores=0,2,4,6
/proc/8034/stat : 8034 (clasp-1.0) R 8032 7916 621 0 -1 4202496 804371 0 0 0 30416 142 0 0 20 0 1 0 336194294 3222605824 781793 33554432000 134512640 134847168 4294493504 4294492144 134782432 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/8034/statm: 786769 781793 266 82 0 786010 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 3185360
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
############
# WARNING:
# current cumulated CPU time (1494.5 s) is less than in the last sample (1800.03 s)
# The time of a child was probably not reported to its father.
# (see the two samples below)
# Adding the difference (305.53 s) to the 'lost time'.
[startup+1800.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 8038
/proc/meminfo: memFree=22835224/32873648 swapFree=7116/7116
[pid=7916] ppid=7914 vsize=29136 CPUtime=1494.45 cores=0,2,4,6
/proc/7916/stat : 7916 (pbclasp) S 7914 7916 621 0 -1 4202496 2051 3361145 0 0 60 0 148665 720 20 0 1 0 336044827 29835264 1396 33554432000 4194304 4198148 140735165305168 140735165304096 260193710110 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/7916/statm: 7284 1396 387 1 0 1079 0
[pid=8032] ppid=7916 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8032/stat : 8032 (sh) S 7916 7916 621 0 -1 4202496 370 219 0 0 0 0 0 0 20 0 1 0 336194294 9367552 264 33554432000 4194304 5064252 140736213479232 140736213477488 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/8032/statm: 2287 264 223 213 0 72 0
[pid=8034] ppid=8032 vsize=3147076 CPUtime=305.58 cores=0,2,4,6
/proc/8034/stat : 8034 (clasp-1.0) R 8032 7916 621 0 -1 4202496 804371 0 0 0 30416 142 0 0 20 0 1 0 336194294 3222605824 781793 33554432000 134512640 134847168 4294493504 4294492144 134782432 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/8034/statm: 786769 781793 266 82 0 786010 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 3185360
[startup+1800.42 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 8038
/proc/meminfo: memFree=22835224/32873648 swapFree=7116/7116
[pid=7916] ppid=7914 vsize=29136 CPUtime=1494.5 cores=0,2,4,6
/proc/7916/stat : 7916 (pbclasp) S 7914 7916 621 0 -1 4202496 2207 3363906 0 0 61 0 148665 724 20 0 1 0 336044827 29835264 1398 33554432000 4194304 4198148 140735165305168 140735165304096 260193710110 0 0 4230 16384 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7916/statm: 7284 1398 387 1 0 1079 0
Current children cumulated CPU time (s) 1494.5
Current children cumulated vsize (KiB) 29136
#
############
Solver just ended. Dumping a history of the last processes samples
[startup+1800.6 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 8057
/proc/meminfo: memFree=29124156/32873648 swapFree=7116/7116
[pid=7916] ppid=7914 vsize=29136 CPUtime=1494.5 cores=0,2,4,6
/proc/7916/stat : 7916 (pbclasp) S 7914 7916 621 0 -1 4202496 2207 3363906 0 0 61 0 148665 724 20 0 1 0 336044827 29835264 1398 33554432000 4194304 4198148 140735165305168 140735165304096 260193710110 0 0 4230 16384 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7916/statm: 7284 1398 387 1 0 1079 0
[pid=8047] ppid=7916 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8047/stat : 8047 (sh) S 7916 7916 621 0 -1 4202496 369 0 0 0 0 0 0 0 20 0 1 0 336224863 9367552 263 33554432000 4194304 5064252 140736646700048 140736646698304 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/8047/statm: 2287 263 223 213 0 72 0
[pid=8048] ppid=8047 vsize=4004 CPUtime=0 cores=0,2,4,6
/proc/8048/stat : 8048 (cat) S 8047 7916 621 0 -1 4202496 211 0 0 0 0 0 0 0 20 0 1 0 336224864 4100096 123 33554432000 4194304 4236627 140733689466160 140733689465256 260190324192 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/8048/statm: 1001 123 97 11 0 67 0
[pid=8049] ppid=8047 vsize=16400 CPUtime=0.23 cores=0,2,4,6
/proc/8049/stat : 8049 (clasp-1.0) R 8047 7916 621 0 -1 4202496 3581 0 0 0 23 0 0 0 20 0 1 0 336224864 16793600 3479 33554432000 134512640 134847168 4291239328 4291235488 4889079 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/8049/statm: 4100 3480 249 82 0 3341 0
Current children cumulated CPU time (s) 1494.73
Current children cumulated vsize (KiB) 58688
[startup+1801 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 8057
/proc/meminfo: memFree=29124156/32873648 swapFree=7116/7116
[pid=7916] ppid=7914 vsize=29136 CPUtime=1494.5 cores=0,2,4,6
/proc/7916/stat : 7916 (pbclasp) S 7914 7916 621 0 -1 4202496 2207 3363906 0 0 61 0 148665 724 20 0 1 0 336044827 29835264 1398 33554432000 4194304 4198148 140735165305168 140735165304096 260193710110 0 0 4230 16384 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7916/statm: 7284 1398 387 1 0 1079 0
[pid=8047] ppid=7916 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8047/stat : 8047 (sh) S 7916 7916 621 0 -1 4202496 369 0 0 0 0 0 0 0 20 0 1 0 336224863 9367552 263 33554432000 4194304 5064252 140736646700048 140736646698304 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/8047/statm: 2287 263 223 213 0 72 0
[pid=8048] ppid=8047 vsize=4004 CPUtime=0 cores=0,2,4,6
/proc/8048/stat : 8048 (cat) S 8047 7916 621 0 -1 4202496 211 0 0 0 0 0 0 0 20 0 1 0 336224864 4100096 123 33554432000 4194304 4236627 140733689466160 140733689465256 260190324192 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/8048/statm: 1001 123 97 11 0 67 0
[pid=8049] ppid=8047 vsize=36848 CPUtime=0.63 cores=0,2,4,6
/proc/8049/stat : 8049 (clasp-1.0) R 8047 7916 621 0 -1 4202496 8654 0 0 0 62 1 0 0 20 0 1 0 336224864 37732352 8552 33554432000 134512640 134847168 4291239328 4291235048 5829680 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/8049/statm: 9212 8552 249 82 0 8453 0
Current children cumulated CPU time (s) 1495.13
Current children cumulated vsize (KiB) 79136
Child status: 0
# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
# lost CPU time (s): 305.53
# lost CPU user time (s): 304.15
# lost CPU system time (s): 1.38
Real time (s): 1801.06
CPU time (s): 1800.74
CPU user time (s): 1792.09
CPU system time (s): 8.65089
CPU usage (%): 99.9826
Max. virtual memory (cumulated for all children) (KiB): 4224204
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1487.94
system time used= 7.27089
maximum resident set size= 4158196
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3376784
page faults= 0
swaps= 0
block input operations= 0
block output operations= 204904
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 18310
involuntary context switches= 1785
runsolver used 4.5723 second user time and 9.41157 second system time
The end