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-3694657-1338165704/watcher-3694657-1338165704 -o /tmp/evaluation-result-3694657-1338165704/solver-3694657-1338165704 -C 1800 -W 1900 -M 15500 HOME/runPb2satCp2.sh HOME/instance-3694657-1338165704.opb 528356666 HOME HOME
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.06 2.02 2.00 3/177 17983
/proc/meminfo: memFree=31138640/32873844 swapFree=6080/6080
[pid=17983] ppid=17981 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17983/stat : 17983 (runPb2satCp2.sh) S 17981 17983 17405 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 282695007 9367552 274 33554432000 4194304 5064252 140734203023984 140734203022896 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17983/statm: 2287 274 233 213 0 72 0
[startup+0.0557889 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 17983
/proc/meminfo: memFree=31138640/32873844 swapFree=6080/6080
[pid=17983] ppid=17981 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17983/stat : 17983 (runPb2satCp2.sh) S 17981 17983 17405 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 282695007 9367552 274 33554432000 4194304 5064252 140734203023984 140734203022896 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17983/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100264 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 17983
/proc/meminfo: memFree=31138640/32873844 swapFree=6080/6080
[pid=17983] ppid=17981 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17983/stat : 17983 (runPb2satCp2.sh) S 17981 17983 17405 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 282695007 9367552 274 33554432000 4194304 5064252 140734203023984 140734203022896 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17983/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300233 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 17983
/proc/meminfo: memFree=31138640/32873844 swapFree=6080/6080
[pid=17983] ppid=17981 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17983/stat : 17983 (runPb2satCp2.sh) S 17981 17983 17405 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 282695007 9367552 274 33554432000 4194304 5064252 140734203023984 140734203022896 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17983/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700275 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 17983
/proc/meminfo: memFree=31138640/32873844 swapFree=6080/6080
[pid=17983] ppid=17981 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17983/stat : 17983 (runPb2satCp2.sh) S 17981 17983 17405 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 282695007 9367552 274 33554432000 4194304 5064252 140734203023984 140734203022896 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17983/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50022 s]
/proc/loadavg: 2.05 2.02 2.00 3/179 17987
/proc/meminfo: memFree=31090264/32873844 swapFree=6080/6080
[pid=17983] ppid=17981 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17983/stat : 17983 (runPb2satCp2.sh) S 17981 17983 17405 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 282695007 9367552 274 33554432000 4194304 5064252 140734203023984 140734203022896 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17983/statm: 2287 274 233 213 0 72 0
[pid=17984] ppid=17983 vsize=22388 CPUtime=1.48 cores=0,2,4,6
/proc/17984/stat : 17984 (pb2sat) R 17983 17983 17405 0 -1 4202496 5608 11360 0 0 52 37 57 2 20 0 1 0 282695007 22925312 5030 33554432000 4194304 5873084 140736117636512 140736117632120 5127520 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/17984/statm: 5597 5030 176 410 0 5179 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 31536
[startup+3.10024 s]
/proc/loadavg: 2.05 2.02 2.00 3/179 17988
/proc/meminfo: memFree=30941204/32873844 swapFree=6080/6080
[pid=17983] ppid=17981 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17983/stat : 17983 (runPb2satCp2.sh) S 17981 17983 17405 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 282695007 9367552 274 33554432000 4194304 5064252 140734203023984 140734203022896 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17983/statm: 2287 274 233 213 0 72 0
[pid=17984] ppid=17983 vsize=177020 CPUtime=3.08 cores=0,2,4,6
/proc/17984/stat : 17984 (pb2sat) R 17983 17983 17405 0 -1 4202496 14330 11875 0 0 179 68 57 4 20 0 1 0 282695007 181268480 31529 33554432000 4194304 5873084 140736117636512 140736117630904 4420322 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/17984/statm: 44255 31529 183 410 0 43837 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 186168
[startup+6.30027 s]
/proc/loadavg: 2.21 2.05 2.01 2/181 17990
/proc/meminfo: memFree=30153332/32873844 swapFree=6080/6080
[pid=17983] ppid=17981 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17983/stat : 17983 (runPb2satCp2.sh) S 17981 17983 17405 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 282695007 9367552 274 33554432000 4194304 5064252 140734203023984 140734203022896 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17983/statm: 2287 274 233 213 0 72 0
[pid=17984] ppid=17983 vsize=488640 CPUtime=4.88 cores=0,2,4,6
/proc/17984/stat : 17984 (pb2sat) R 17983 17983 17405 0 -1 4202496 15633 11875 0 0 327 100 57 4 20 0 1 0 282695007 500367360 101752 33554432000 4194304 5873084 140736117636512 140736117630968 5129975 0 0 4096 0 0 0 0 17 0 0 0 140 0 0
/proc/17984/statm: 122160 101752 183 410 0 121742 0
Current children cumulated CPU time (s) 4.88
Current children cumulated vsize (KiB) 497788
heavy processes:
[startup+12.7004 s]
/proc/loadavg: 2.27 2.07 2.02 3/183 17992
/proc/meminfo: memFree=29506592/32873844 swapFree=6080/6080
[pid=17983] ppid=17981 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17983/stat : 17983 (runPb2satCp2.sh) S 17981 17983 17405 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 282695007 9367552 274 33554432000 4194304 5064252 140734203023984 140734203022896 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17983/statm: 2287 274 233 213 0 72 0
[pid=17984] ppid=17983 vsize=308092 CPUtime=4.89 cores=0,2,4,6
/proc/17984/stat : 17984 (pb2sat) S 17983 17983 17405 0 -1 4202496 15634 11875 0 0 327 101 57 4 20 0 1 0 282695007 315486208 56617 33554432000 4194304 5873084 140736117636512 140736117630328 5124602 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 140 0 0
/proc/17984/statm: 77023 56617 183 410 0 76605 0
[pid=17991] ppid=17984 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17991/stat : 17991 (satsolver.sh) S 17984 17983 17405 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 282695638 9367552 266 33554432000 4194304 5064252 140737429520224 140737429519136 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/17991/statm: 2287 266 226 213 0 72 0
[pid=17992] ppid=17991 vsize=532152 CPUtime=6.38 cores=0,2,4,6
/proc/17992/stat : 17992 (glucose_static) R 17991 17983 17405 0 -1 4202496 76443 0 0 0 616 22 0 0 20 0 1 0 282695638 544923648 114428 33554432000 4194304 4896791 140734699833664 140734699830872 4224983 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/17992/statm: 133038 114428 78 172 0 132864 0
Current children cumulated CPU time (s) 11.27
Current children cumulated vsize (KiB) 858540
[startup+25.5005 s]
/proc/loadavg: 2.21 2.07 2.02 3/183 17992
/proc/meminfo: memFree=29487116/32873844 swapFree=6080/6080
[pid=17983] ppid=17981 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17983/stat : 17983 (runPb2satCp2.sh) S 17981 17983 17405 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 282695007 9367552 274 33554432000 4194304 5064252 140734203023984 140734203022896 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17983/statm: 2287 274 233 213 0 72 0
[pid=17984] ppid=17983 vsize=308092 CPUtime=4.89 cores=0,2,4,6
/proc/17984/stat : 17984 (pb2sat) S 17983 17983 17405 0 -1 4202496 15634 11875 0 0 327 101 57 4 20 0 1 0 282695007 315486208 56617 33554432000 4194304 5873084 140736117636512 140736117630328 5124602 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 140 0 0
/proc/17984/statm: 77023 56617 183 410 0 76605 0
[pid=17991] ppid=17984 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17991/stat : 17991 (satsolver.sh) S 17984 17983 17405 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 282695638 9367552 266 33554432000 4194304 5064252 140737429520224 140737429519136 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/17991/statm: 2287 266 226 213 0 72 0
[pid=17992] ppid=17991 vsize=536112 CPUtime=19.18 cores=0,2,4,6
/proc/17992/stat : 17992 (glucose_static) R 17991 17983 17405 0 -1 4202496 78222 0 0 0 1895 23 0 0 20 0 1 0 282695638 548978688 116718 33554432000 4194304 4896791 140734699833664 140734699830872 4224983 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/17992/statm: 134028 116718 78 172 0 133854 0
Current children cumulated CPU time (s) 24.07
Current children cumulated vsize (KiB) 862500
[startup+51.1005 s]
/proc/loadavg: 2.14 2.06 2.01 3/183 17992
/proc/meminfo: memFree=29487052/32873844 swapFree=6080/6080
[pid=17983] ppid=17981 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17983/stat : 17983 (runPb2satCp2.sh) S 17981 17983 17405 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 282695007 9367552 274 33554432000 4194304 5064252 140734203023984 140734203022896 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17983/statm: 2287 274 233 213 0 72 0
[pid=17984] ppid=17983 vsize=308092 CPUtime=4.89 cores=0,2,4,6
/proc/17984/stat : 17984 (pb2sat) S 17983 17983 17405 0 -1 4202496 15634 11875 0 0 327 101 57 4 20 0 1 0 282695007 315486208 56617 33554432000 4194304 5873084 140736117636512 140736117630328 5124602 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 140 0 0
/proc/17984/statm: 77023 56617 183 410 0 76605 0
[pid=17991] ppid=17984 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17991/stat : 17991 (satsolver.sh) S 17984 17983 17405 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 282695638 9367552 266 33554432000 4194304 5064252 140737429520224 140737429519136 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/17991/statm: 2287 266 226 213 0 72 0
[pid=17992] ppid=17991 vsize=538224 CPUtime=44.77 cores=0,2,4,6
/proc/17992/stat : 17992 (glucose_static) R 17991 17983 17405 0 -1 4202496 78729 0 0 0 4454 23 0 0 20 0 1 0 282695638 551141376 117736 33554432000 4194304 4896791 140734699833664 140734699830872 4224983 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/17992/statm: 134556 117736 78 172 0 134382 0
Current children cumulated CPU time (s) 49.66
Current children cumulated vsize (KiB) 864612
[startup+102.3 s]
/proc/loadavg: 2.06 2.05 2.01 3/183 17992
/proc/meminfo: memFree=29476632/32873844 swapFree=6080/6080
[pid=17983] ppid=17981 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17983/stat : 17983 (runPb2satCp2.sh) S 17981 17983 17405 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 282695007 9367552 274 33554432000 4194304 5064252 140734203023984 140734203022896 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17983/statm: 2287 274 233 213 0 72 0
[pid=17984] ppid=17983 vsize=308092 CPUtime=4.89 cores=0,2,4,6
/proc/17984/stat : 17984 (pb2sat) S 17983 17983 17405 0 -1 4202496 15634 11875 0 0 327 101 57 4 20 0 1 0 282695007 315486208 56617 33554432000 4194304 5873084 140736117636512 140736117630328 5124602 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 140 0 0
/proc/17984/statm: 77023 56617 183 410 0 76605 0
[pid=17991] ppid=17984 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17991/stat : 17991 (satsolver.sh) S 17984 17983 17405 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 282695638 9367552 266 33554432000 4194304 5064252 140737429520224 140737429519136 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/17991/statm: 2287 266 226 213 0 72 0
[pid=17992] ppid=17991 vsize=540296 CPUtime=95.96 cores=0,2,4,6
/proc/17992/stat : 17992 (glucose_static) R 17991 17983 17405 0 -1 4202496 80349 0 0 0 9572 24 0 0 20 0 1 0 282695638 553263104 118770 33554432000 4194304 4896791 140734699833664 140734699830872 4225029 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/17992/statm: 135074 118770 78 172 0 134900 0
Current children cumulated CPU time (s) 100.85
Current children cumulated vsize (KiB) 866684
[startup+162.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/183 17992
/proc/meminfo: memFree=29469188/32873844 swapFree=6080/6080
[pid=17983] ppid=17981 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17983/stat : 17983 (runPb2satCp2.sh) S 17981 17983 17405 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 282695007 9367552 274 33554432000 4194304 5064252 140734203023984 140734203022896 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17983/statm: 2287 274 233 213 0 72 0
[pid=17984] ppid=17983 vsize=308092 CPUtime=4.89 cores=0,2,4,6
/proc/17984/stat : 17984 (pb2sat) S 17983 17983 17405 0 -1 4202496 15634 11875 0 0 327 101 57 4 20 0 1 0 282695007 315486208 56617 33554432000 4194304 5873084 140736117636512 140736117630328 5124602 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 140 0 0
/proc/17984/statm: 77023 56617 183 410 0 76605 0
[pid=17991] ppid=17984 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17991/stat : 17991 (satsolver.sh) S 17984 17983 17405 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 282695638 9367552 266 33554432000 4194304 5064252 140737429520224 140737429519136 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/17991/statm: 2287 266 226 213 0 72 0
[pid=17992] ppid=17991 vsize=542580 CPUtime=155.93 cores=0,2,4,6
/proc/17992/stat : 17992 (glucose_static) R 17991 17983 17405 0 -1 4202496 84039 0 0 0 15568 25 0 0 20 0 1 0 282695638 555601920 120364 33554432000 4194304 4896791 140734699833664 140734699830872 4225029 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/17992/statm: 135645 120364 78 172 0 135471 0
Current children cumulated CPU time (s) 160.82
Current children cumulated vsize (KiB) 868968
[startup+222.307 s]
/proc/loadavg: 2.00 2.03 2.00 3/183 17992
/proc/meminfo: memFree=29461804/32873844 swapFree=6080/6080
[pid=17983] ppid=17981 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17983/stat : 17983 (runPb2satCp2.sh) S 17981 17983 17405 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 282695007 9367552 274 33554432000 4194304 5064252 140734203023984 140734203022896 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17983/statm: 2287 274 233 213 0 72 0
[pid=17984] ppid=17983 vsize=308092 CPUtime=4.89 cores=0,2,4,6
/proc/17984/stat : 17984 (pb2sat) S 17983 17983 17405 0 -1 4202496 15634 11875 0 0 327 101 57 4 20 0 1 0 282695007 315486208 56617 33554432000 4194304 5873084 140736117636512 140736117630328 5124602 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 140 0 0
/proc/17984/statm: 77023 56617 183 410 0 76605 0
################
# More data... #
################
/proc/17992/stat : 17992 (glucose_static) R 17991 17983 17405 0 -1 4202496 107615 0 0 0 141511 43 0 0 20 0 1 0 282695638 574291968 127922 33554432000 4194304 4896791 140734699833664 140734699830872 4224921 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/17992/statm: 140208 127922 78 172 0 140034 0
Current children cumulated CPU time (s) 1420.43
Current children cumulated vsize (KiB) 887220
[startup+1482.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/184 18025
/proc/meminfo: memFree=29409296/32873844 swapFree=6080/6080
[pid=17983] ppid=17981 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17983/stat : 17983 (runPb2satCp2.sh) S 17981 17983 17405 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 282695007 9367552 274 33554432000 4194304 5064252 140734203023984 140734203022896 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17983/statm: 2287 274 233 213 0 72 0
[pid=17984] ppid=17983 vsize=308092 CPUtime=4.89 cores=0,2,4,6
/proc/17984/stat : 17984 (pb2sat) S 17983 17983 17405 0 -1 4202496 15634 11875 0 0 327 101 57 4 20 0 1 0 282695007 315486208 56617 33554432000 4194304 5873084 140736117636512 140736117630328 5124602 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 140 0 0
/proc/17984/statm: 77023 56617 183 410 0 76605 0
[pid=17991] ppid=17984 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17991/stat : 17991 (satsolver.sh) S 17984 17983 17405 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 282695638 9367552 266 33554432000 4194304 5064252 140737429520224 140737429519136 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/17991/statm: 2287 266 226 213 0 72 0
[pid=17992] ppid=17991 vsize=561344 CPUtime=1475.52 cores=0,2,4,6
/proc/17992/stat : 17992 (glucose_static) R 17991 17983 17405 0 -1 4202496 107707 0 0 0 147509 43 0 0 20 0 1 0 282695638 574816256 128525 33554432000 4194304 4896791 140734699833664 140734699831208 4224983 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/17992/statm: 140336 128525 78 172 0 140162 0
Current children cumulated CPU time (s) 1480.41
Current children cumulated vsize (KiB) 887732
[startup+1542.31 s]
/proc/loadavg: 2.01 2.01 2.00 3/184 18026
/proc/meminfo: memFree=29409420/32873844 swapFree=6080/6080
[pid=17983] ppid=17981 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17983/stat : 17983 (runPb2satCp2.sh) S 17981 17983 17405 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 282695007 9367552 274 33554432000 4194304 5064252 140734203023984 140734203022896 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17983/statm: 2287 274 233 213 0 72 0
[pid=17984] ppid=17983 vsize=308092 CPUtime=4.89 cores=0,2,4,6
/proc/17984/stat : 17984 (pb2sat) S 17983 17983 17405 0 -1 4202496 15634 11875 0 0 327 101 57 4 20 0 1 0 282695007 315486208 56617 33554432000 4194304 5873084 140736117636512 140736117630328 5124602 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 140 0 0
/proc/17984/statm: 77023 56617 183 410 0 76605 0
[pid=17991] ppid=17984 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17991/stat : 17991 (satsolver.sh) S 17984 17983 17405 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 282695638 9367552 266 33554432000 4194304 5064252 140737429520224 140737429519136 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/17991/statm: 2287 266 226 213 0 72 0
[pid=17992] ppid=17991 vsize=561496 CPUtime=1535.51 cores=0,2,4,6
/proc/17992/stat : 17992 (glucose_static) R 17991 17983 17405 0 -1 4202496 107720 0 0 0 153508 43 0 0 20 0 1 0 282695638 574971904 128538 33554432000 4194304 4896791 140734699833664 140734699830872 4223888 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/17992/statm: 140374 128538 78 172 0 140200 0
Current children cumulated CPU time (s) 1540.4
Current children cumulated vsize (KiB) 887884
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 18026
/proc/meminfo: memFree=29408924/32873844 swapFree=6080/6080
[pid=17983] ppid=17981 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17983/stat : 17983 (runPb2satCp2.sh) S 17981 17983 17405 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 282695007 9367552 274 33554432000 4194304 5064252 140734203023984 140734203022896 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17983/statm: 2287 274 233 213 0 72 0
[pid=17984] ppid=17983 vsize=308092 CPUtime=4.89 cores=0,2,4,6
/proc/17984/stat : 17984 (pb2sat) S 17983 17983 17405 0 -1 4202496 15634 11875 0 0 327 101 57 4 20 0 1 0 282695007 315486208 56617 33554432000 4194304 5873084 140736117636512 140736117630328 5124602 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 140 0 0
/proc/17984/statm: 77023 56617 183 410 0 76605 0
[pid=17991] ppid=17984 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17991/stat : 17991 (satsolver.sh) S 17984 17983 17405 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 282695638 9367552 266 33554432000 4194304 5064252 140737429520224 140737429519136 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/17991/statm: 2287 266 226 213 0 72 0
[pid=17992] ppid=17991 vsize=561776 CPUtime=1595.49 cores=0,2,4,6
/proc/17992/stat : 17992 (glucose_static) R 17991 17983 17405 0 -1 4202496 107810 0 0 0 159505 44 0 0 20 0 1 0 282695638 575258624 128628 33554432000 4194304 4896791 140734699833664 140734699830872 4224684 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/17992/statm: 140444 128628 78 172 0 140270 0
Current children cumulated CPU time (s) 1600.38
Current children cumulated vsize (KiB) 888164
[startup+1662.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/184 18026
/proc/meminfo: memFree=29406008/32873844 swapFree=6080/6080
[pid=17983] ppid=17981 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17983/stat : 17983 (runPb2satCp2.sh) S 17981 17983 17405 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 282695007 9367552 274 33554432000 4194304 5064252 140734203023984 140734203022896 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17983/statm: 2287 274 233 213 0 72 0
[pid=17984] ppid=17983 vsize=308092 CPUtime=4.89 cores=0,2,4,6
/proc/17984/stat : 17984 (pb2sat) S 17983 17983 17405 0 -1 4202496 15634 11875 0 0 327 101 57 4 20 0 1 0 282695007 315486208 56617 33554432000 4194304 5873084 140736117636512 140736117630328 5124602 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 140 0 0
/proc/17984/statm: 77023 56617 183 410 0 76605 0
[pid=17991] ppid=17984 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17991/stat : 17991 (satsolver.sh) S 17984 17983 17405 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 282695638 9367552 266 33554432000 4194304 5064252 140737429520224 140737429519136 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/17991/statm: 2287 266 226 213 0 72 0
[pid=17992] ppid=17991 vsize=562624 CPUtime=1655.48 cores=0,2,4,6
/proc/17992/stat : 17992 (glucose_static) R 17991 17983 17405 0 -1 4202496 107988 0 0 0 165504 44 0 0 20 0 1 0 282695638 576126976 129317 33554432000 4194304 4896791 140734699833664 140734699830872 4225029 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/17992/statm: 140656 129317 78 172 0 140482 0
Current children cumulated CPU time (s) 1660.37
Current children cumulated vsize (KiB) 889012
[startup+1722.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/185 18029
/proc/meminfo: memFree=29400476/32873844 swapFree=6080/6080
[pid=17983] ppid=17981 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17983/stat : 17983 (runPb2satCp2.sh) S 17981 17983 17405 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 282695007 9367552 274 33554432000 4194304 5064252 140734203023984 140734203022896 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17983/statm: 2287 274 233 213 0 72 0
[pid=17984] ppid=17983 vsize=308092 CPUtime=4.89 cores=0,2,4,6
/proc/17984/stat : 17984 (pb2sat) S 17983 17983 17405 0 -1 4202496 15634 11875 0 0 327 101 57 4 20 0 1 0 282695007 315486208 56617 33554432000 4194304 5873084 140736117636512 140736117630328 5124602 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 140 0 0
/proc/17984/statm: 77023 56617 183 410 0 76605 0
[pid=17991] ppid=17984 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17991/stat : 17991 (satsolver.sh) S 17984 17983 17405 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 282695638 9367552 266 33554432000 4194304 5064252 140737429520224 140737429519136 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/17991/statm: 2287 266 226 213 0 72 0
[pid=17992] ppid=17991 vsize=563684 CPUtime=1715.46 cores=0,2,4,6
/proc/17992/stat : 17992 (glucose_static) R 17991 17983 17405 0 -1 4202496 108242 0 0 0 171502 44 0 0 20 0 1 0 282695638 577212416 130089 33554432000 4194304 4896791 140734699833664 140734699830872 4225103 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/17992/statm: 140921 130089 78 172 0 140747 0
Current children cumulated CPU time (s) 1720.35
Current children cumulated vsize (KiB) 890072
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 18029
/proc/meminfo: memFree=29394832/32873844 swapFree=6080/6080
[pid=17983] ppid=17981 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17983/stat : 17983 (runPb2satCp2.sh) S 17981 17983 17405 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 282695007 9367552 274 33554432000 4194304 5064252 140734203023984 140734203022896 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17983/statm: 2287 274 233 213 0 72 0
[pid=17984] ppid=17983 vsize=308092 CPUtime=4.89 cores=0,2,4,6
/proc/17984/stat : 17984 (pb2sat) S 17983 17983 17405 0 -1 4202496 15634 11875 0 0 327 101 57 4 20 0 1 0 282695007 315486208 56617 33554432000 4194304 5873084 140736117636512 140736117630328 5124602 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 140 0 0
/proc/17984/statm: 77023 56617 183 410 0 76605 0
[pid=17991] ppid=17984 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17991/stat : 17991 (satsolver.sh) S 17984 17983 17405 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 282695638 9367552 266 33554432000 4194304 5064252 140737429520224 140737429519136 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/17991/statm: 2287 266 226 213 0 72 0
[pid=17992] ppid=17991 vsize=645204 CPUtime=1775.44 cores=0,2,4,6
/proc/17992/stat : 17992 (glucose_static) R 17991 17983 17405 0 -1 4202496 110007 0 0 0 177498 46 0 0 20 0 1 0 282695638 660688896 131376 33554432000 4194304 4896791 140734699833664 140734699830872 4224983 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/17992/statm: 161301 131376 78 172 0 161127 0
Current children cumulated CPU time (s) 1780.33
Current children cumulated vsize (KiB) 971592
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1802 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 18069
/proc/meminfo: memFree=30171660/32873844 swapFree=6080/6080
[pid=17983] ppid=17981 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17983/stat : 17983 (runPb2satCp2.sh) S 17981 17983 17405 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 282695007 9367552 274 33554432000 4194304 5064252 140734203023984 140734203022896 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17983/statm: 2287 274 233 213 0 72 0
[pid=17984] ppid=17983 vsize=308092 CPUtime=4.89 cores=0,2,4,6
/proc/17984/stat : 17984 (pb2sat) S 17983 17983 17405 0 -1 4202496 15634 11875 0 0 327 101 57 4 20 0 1 0 282695007 315486208 56617 33554432000 4194304 5873084 140736117636512 140736117630328 5124602 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 140 0 0
/proc/17984/statm: 77023 56617 183 410 0 76605 0
[pid=17991] ppid=17984 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17991/stat : 17991 (satsolver.sh) S 17984 17983 17405 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 282695638 9367552 266 33554432000 4194304 5064252 140737429520224 140737429519136 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/17991/statm: 2287 266 226 213 0 72 0
[pid=17992] ppid=17991 vsize=645204 CPUtime=1795.14 cores=0,2,4,6
/proc/17992/stat : 17992 (glucose_static) R 17991 17983 17405 0 -1 4202496 110033 0 0 0 179468 46 0 0 20 0 1 0 282695638 660688896 131402 33554432000 4194304 4896791 140734699833664 140734699830872 4224983 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/17992/statm: 161301 131402 78 172 0 161127 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 971592
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
[startup+1802 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 18069
/proc/meminfo: memFree=30171660/32873844 swapFree=6080/6080
[pid=17983] ppid=17981 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17983/stat : 17983 (runPb2satCp2.sh) S 17981 17983 17405 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 282695007 9367552 274 33554432000 4194304 5064252 140734203023984 140734203022896 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17983/statm: 2287 274 233 213 0 72 0
[pid=17984] ppid=17983 vsize=308092 CPUtime=4.89 cores=0,2,4,6
/proc/17984/stat : 17984 (pb2sat) S 17983 17983 17405 0 -1 4202496 15634 11875 0 0 327 101 57 4 20 0 1 0 282695007 315486208 56617 33554432000 4194304 5873084 140736117636512 140736117630328 5124602 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 140 0 0
/proc/17984/statm: 77023 56617 183 410 0 76605 0
[pid=17991] ppid=17984 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17991/stat : 17991 (satsolver.sh) S 17984 17983 17405 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 282695638 9367552 266 33554432000 4194304 5064252 140737429520224 140737429519136 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/17991/statm: 2287 266 226 213 0 72 0
[pid=17992] ppid=17991 vsize=645204 CPUtime=1795.14 cores=0,2,4,6
/proc/17992/stat : 17992 (glucose_static) R 17991 17983 17405 0 -1 4202496 110033 0 0 0 179468 46 0 0 20 0 1 0 282695638 660688896 131402 33554432000 4194304 4896791 140734699833664 140734699830872 4224983 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/17992/statm: 161301 131402 78 172 0 161127 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 971592
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 17983 and gives
# childrusage.ru_utime.tv_sec=3
# childrusage.ru_utime.tv_usec=848414
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=59838
# CPU time returned by wait4() is 4.90825
# while last known CPU time is 1800.03
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1802.02
CPU time (s): 1800.03
CPU user time (s): 1798.52
CPU system time (s): 1.51
CPU usage (%): 99.8898
Max. virtual memory (cumulated for all children) (KiB): 1097412
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.84841
system time used= 1.05984
maximum resident set size= 407008
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28486
page faults= 0
swaps= 0
block input operations= 0
block output operations= 411624
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 18
involuntary context switches= 16
runsolver used 3.76843 second user time and 9.26259 second system time
The end