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-3695227-1338109234/watcher-3695227-1338109234 -o /tmp/evaluation-result-3695227-1338109234/solver-3695227-1338109234 -C 1800 -W 1900 -M 15500 HOME/runPb2satCp2.sh HOME/instance-3695227-1338109234.opb 1598238698 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.26 2.05 2.02 3/178 9123
/proc/meminfo: memFree=30043672/32873648 swapFree=7368/7368
[pid=9123] ppid=9121 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9123/stat : 9123 (runPb2satCp2.sh) S 9121 9123 3829 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 277047553 9367552 275 33554432000 4194304 5064252 140735604791360 140735604790272 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9123/statm: 2287 275 233 213 0 72 0
[startup+0.029999 s]
/proc/loadavg: 2.26 2.05 2.02 3/178 9123
/proc/meminfo: memFree=30043672/32873648 swapFree=7368/7368
[pid=9123] ppid=9121 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9123/stat : 9123 (runPb2satCp2.sh) S 9121 9123 3829 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 277047553 9367552 275 33554432000 4194304 5064252 140735604791360 140735604790272 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9123/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100263 s]
/proc/loadavg: 2.26 2.05 2.02 3/178 9123
/proc/meminfo: memFree=30043672/32873648 swapFree=7368/7368
[pid=9123] ppid=9121 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9123/stat : 9123 (runPb2satCp2.sh) S 9121 9123 3829 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 277047553 9367552 275 33554432000 4194304 5064252 140735604791360 140735604790272 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9123/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300229 s]
/proc/loadavg: 2.26 2.05 2.02 3/178 9123
/proc/meminfo: memFree=30043672/32873648 swapFree=7368/7368
[pid=9123] ppid=9121 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9123/stat : 9123 (runPb2satCp2.sh) S 9121 9123 3829 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 277047553 9367552 275 33554432000 4194304 5064252 140735604791360 140735604790272 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9123/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700242 s]
/proc/loadavg: 2.26 2.05 2.02 3/178 9123
/proc/meminfo: memFree=30043672/32873648 swapFree=7368/7368
[pid=9123] ppid=9121 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9123/stat : 9123 (runPb2satCp2.sh) S 9121 9123 3829 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 277047553 9367552 275 33554432000 4194304 5064252 140735604791360 140735604790272 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9123/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.5003 s]
/proc/loadavg: 2.26 2.05 2.02 3/181 9129
/proc/meminfo: memFree=30031136/32873648 swapFree=7368/7368
[pid=9123] ppid=9121 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9123/stat : 9123 (runPb2satCp2.sh) S 9121 9123 3829 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 277047553 9367552 275 33554432000 4194304 5064252 140735604791360 140735604790272 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9123/statm: 2287 275 233 213 0 72 0
[pid=9124] ppid=9123 vsize=115828 CPUtime=1.49 cores=0,2,4,6
/proc/9124/stat : 9124 (pb2sat) R 9123 9123 3829 0 -1 4202496 15647 0 0 0 146 3 0 0 20 0 1 0 277047553 118607872 24802 33554432000 4194304 5873084 140736212947056 140736212940360 4920028 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/9124/statm: 28957 24802 157 410 0 28539 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 124976
[startup+3.1002 s]
/proc/loadavg: 2.26 2.05 2.02 3/182 9134
/proc/meminfo: memFree=29866584/32873648 swapFree=7368/7368
[pid=9123] ppid=9121 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9123/stat : 9123 (runPb2satCp2.sh) S 9121 9123 3829 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 277047553 9367552 275 33554432000 4194304 5064252 140735604791360 140735604790272 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9123/statm: 2287 275 233 213 0 72 0
[pid=9124] ppid=9123 vsize=235464 CPUtime=2.76 cores=0,2,4,6
/proc/9124/stat : 9124 (pb2sat) S 9123 9123 3829 0 -1 4202496 30210 0 0 0 252 24 0 0 20 0 1 0 277047553 241115136 53180 33554432000 4194304 5873084 140736212947056 140736212943480 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9124/statm: 58866 53180 164 410 0 58448 0
Current children cumulated CPU time (s) 2.76
Current children cumulated vsize (KiB) 244612
[startup+6.3004 s]
/proc/loadavg: 2.32 2.07 2.02 3/182 9145
/proc/meminfo: memFree=29045800/32873648 swapFree=7368/7368
[pid=9123] ppid=9121 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9123/stat : 9123 (runPb2satCp2.sh) S 9121 9123 3829 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 277047553 9367552 275 33554432000 4194304 5064252 140735604791360 140735604790272 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9123/statm: 2287 275 233 213 0 72 0
[pid=9124] ppid=9123 vsize=235464 CPUtime=2.76 cores=0,2,4,6
/proc/9124/stat : 9124 (pb2sat) S 9123 9123 3829 0 -1 4202496 30210 0 0 0 252 24 0 0 20 0 1 0 277047553 241115136 53180 33554432000 4194304 5873084 140736212947056 140736212943480 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9124/statm: 58866 53180 164 410 0 58448 0
[pid=9136] ppid=9124 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9136/stat : 9136 (satsolver.sh) S 9124 9123 3829 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 277047830 9367552 267 33554432000 4194304 5064252 140734069767376 140734069766288 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/9136/statm: 2287 267 226 213 0 72 0
[pid=9137] ppid=9136 vsize=757140 CPUtime=3.52 cores=0,2,4,6
/proc/9137/stat : 9137 (glucose_static) R 9136 9123 3829 0 -1 4202496 98193 0 0 0 329 23 0 0 20 0 1 0 277047830 775311360 154635 33554432000 4194304 4896791 140733744763952 140733744761256 4224706 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/9137/statm: 189285 154635 76 172 0 189111 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1010900
[startup+12.7004 s]
/proc/loadavg: 2.29 2.07 2.02 3/184 9166
/proc/meminfo: memFree=29029304/32873648 swapFree=7368/7368
[pid=9123] ppid=9121 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9123/stat : 9123 (runPb2satCp2.sh) S 9121 9123 3829 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 277047553 9367552 275 33554432000 4194304 5064252 140735604791360 140735604790272 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9123/statm: 2287 275 233 213 0 72 0
[pid=9124] ppid=9123 vsize=235464 CPUtime=2.76 cores=0,2,4,6
/proc/9124/stat : 9124 (pb2sat) S 9123 9123 3829 0 -1 4202496 30210 0 0 0 252 24 0 0 20 0 1 0 277047553 241115136 53180 33554432000 4194304 5873084 140736212947056 140736212943480 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9124/statm: 58866 53180 164 410 0 58448 0
[pid=9136] ppid=9124 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9136/stat : 9136 (satsolver.sh) S 9124 9123 3829 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 277047830 9367552 267 33554432000 4194304 5064252 140734069767376 140734069766288 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/9136/statm: 2287 267 226 213 0 72 0
[pid=9137] ppid=9136 vsize=757536 CPUtime=9.92 cores=0,2,4,6
/proc/9137/stat : 9137 (glucose_static) R 9136 9123 3829 0 -1 4202496 98287 0 0 0 968 24 0 0 20 0 1 0 277047830 775716864 154729 33554432000 4194304 4896791 140733744763952 140733744761272 4224921 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/9137/statm: 189384 154729 76 172 0 189210 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1011296
[startup+25.5003 s]
/proc/loadavg: 2.22 2.06 2.02 2/181 9206
/proc/meminfo: memFree=29612280/32873648 swapFree=7368/7368
[pid=9123] ppid=9121 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9123/stat : 9123 (runPb2satCp2.sh) S 9121 9123 3829 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 277047553 9367552 275 33554432000 4194304 5064252 140735604791360 140735604790272 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9123/statm: 2287 275 233 213 0 72 0
[pid=9124] ppid=9123 vsize=295472 CPUtime=25.32 cores=0,2,4,6
/proc/9124/stat : 9124 (pb2sat) R 9123 9123 3829 0 -1 4202496 37046 101617 0 0 380 417 1704 31 20 0 1 0 277047553 302563328 68190 33554432000 4194304 5873084 140736212947056 140736212942488 5127520 0 0 4096 0 0 0 0 17 4 0 0 14 0 0
/proc/9124/statm: 73868 68190 172 410 0 73450 0
Current children cumulated CPU time (s) 25.32
Current children cumulated vsize (KiB) 304620
[startup+51.1004 s]
/proc/loadavg: 2.08 2.04 2.01 2/183 9301
/proc/meminfo: memFree=29540640/32873648 swapFree=7368/7368
[pid=9123] ppid=9121 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9123/stat : 9123 (runPb2satCp2.sh) S 9121 9123 3829 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 277047553 9367552 275 33554432000 4194304 5064252 140735604791360 140735604790272 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9123/statm: 2287 275 233 213 0 72 0
[pid=9124] ppid=9123 vsize=263748 CPUtime=49.06 cores=0,2,4,6
/proc/9124/stat : 9124 (pb2sat) S 9123 9123 3829 0 -1 4202496 44895 206754 0 0 513 781 3510 102 20 0 1 0 277047553 270077952 60062 33554432000 4194304 5873084 140736212947056 140736212940872 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 16 0 0
/proc/9124/statm: 65937 60062 173 410 0 65519 0
[pid=9299] ppid=9124 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9299/stat : 9299 (satsolver.sh) S 9124 9123 3829 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 277052479 9367552 267 33554432000 4194304 5064252 140735578662176 140735578661088 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/9299/statm: 2287 267 226 213 0 72 0
[pid=9300] ppid=9299 vsize=346692 CPUtime=0.79 cores=0,2,4,6
/proc/9300/stat : 9300 (glucose_static) R 9299 9123 3829 0 -1 4202496 58283 0 0 0 69 10 0 0 20 0 1 0 277052480 355012608 80354 33554432000 4194304 4896791 140736933177424 140736932126312 4401607 0 0 4096 0 0 0 0 17 4 0 0 102 0 0
/proc/9300/statm: 86673 80355 58 172 0 86499 0
Current children cumulated CPU time (s) 49.85
Current children cumulated vsize (KiB) 628736
[startup+102.307 s]
/proc/loadavg: 1.95 2.01 2.00 3/183 9459
/proc/meminfo: memFree=28904916/32873648 swapFree=7368/7368
[pid=9123] ppid=9121 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9123/stat : 9123 (runPb2satCp2.sh) S 9121 9123 3829 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 277047553 9367552 275 33554432000 4194304 5064252 140735604791360 140735604790272 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9123/statm: 2287 275 233 213 0 72 0
[pid=9124] ppid=9123 vsize=263744 CPUtime=89.04 cores=0,2,4,6
/proc/9124/stat : 9124 (pb2sat) S 9123 9123 3829 0 -1 4202496 59296 422693 0 0 623 789 7288 204 20 0 1 0 277047553 270073856 60049 33554432000 4194304 5873084 140736212947056 140736212940872 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 80 0 0
/proc/9124/statm: 65936 60049 173 410 0 65518 0
[pid=9422] ppid=9124 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9422/stat : 9422 (satsolver.sh) S 9124 9123 3829 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 277056646 9367552 267 33554432000 4194304 5064252 140734144239904 140734144238816 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/9422/statm: 2287 267 226 213 0 72 0
[pid=9423] ppid=9422 vsize=764248 CPUtime=11.26 cores=0,2,4,6
/proc/9423/stat : 9423 (glucose_static) R 9422 9123 3829 0 -1 4202496 101127 0 0 0 1099 27 0 0 20 0 1 0 277056646 782589952 159652 33554432000 4194304 4896791 140735408470336 140735408467544 4224706 0 0 4096 0 0 0 0 17 0 0 0 10 0 0
/proc/9423/statm: 191062 159652 76 172 0 190888 0
Current children cumulated CPU time (s) 100.3
Current children cumulated vsize (KiB) 1046288
[startup+162.3 s]
/proc/loadavg: 2.27 2.09 2.02 3/181 9708
/proc/meminfo: memFree=29102900/32873648 swapFree=7368/7368
[pid=9123] ppid=9121 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9123/stat : 9123 (runPb2satCp2.sh) S 9121 9123 3829 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 277047553 9367552 275 33554432000 4194304 5064252 140735604791360 140735604790272 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9123/statm: 2287 275 233 213 0 72 0
[pid=9124] ppid=9123 vsize=263736 CPUtime=150.11 cores=0,2,4,6
/proc/9124/stat : 9124 (pb2sat) S 9123 9123 3829 0 -1 4202496 80844 744392 0 0 787 802 13051 371 20 0 1 0 277047553 270065664 60031 33554432000 4194304 5873084 140736212947056 140736212940872 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 130 0 0
/proc/9124/statm: 65934 60031 173 410 0 65516 0
[pid=9650] ppid=9124 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9650/stat : 9650 (satsolver.sh) S 9124 9123 3829 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 277062851 9367552 266 33554432000 4194304 5064252 140734692219616 140734692218528 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/9650/statm: 2287 266 226 213 0 72 0
[pid=9652] ppid=9650 vsize=764056 CPUtime=9.27 cores=0,2,4,6
/proc/9652/stat : 9652 (glucose_static) R 9650 9123 3829 0 -1 4202496 102547 0 0 0 902 25 0 0 20 0 1 0 277062851 782393344 158659 33554432000 4194304 4896791 140734719282816 140734719280120 4224732 0 0 4096 0 0 0 0 17 2 0 0 2 0 0
/proc/9652/statm: 191014 158659 76 172 0 190840 0
Current children cumulated CPU time (s) 159.38
Current children cumulated vsize (KiB) 1046088
[startup+222.3 s]
/proc/loadavg: 2.23 2.11 2.03 3/183 9719
/proc/meminfo: memFree=27685528/32873648 swapFree=7368/7368
[pid=9123] ppid=9121 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9123/stat : 9123 (runPb2satCp2.sh) S 9121 9123 3829 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 277047553 9367552 275 33554432000 4194304 5064252 140735604791360 140735604790272 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9123/statm: 2287 275 233 213 0 72 0
[pid=9124] ppid=9123 vsize=263728 CPUtime=207.05 cores=0,2,4,6
/proc/9124/stat : 9124 (pb2sat) S 9123 9123 3829 0 -1 4202496 102330 1062584 0 0 951 814 18412 528 20 0 1 0 277047553 270057472 60013 33554432000 4194304 5873084 140736212947056 140736212940872 5124602 0 65536 4102 0 18446744071579302229 0 0 17 6 0 0 150 0 0
/proc/9124/statm: 65932 60013 173 410 0 65514 0
[pid=9718] ppid=9124 vsize=9148 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
[pid=10003] ppid=10002 vsize=764076 CPUtime=5.8 cores=0,2,4,6
/proc/10003/stat : 10003 (glucose_static) R 10002 9123 3829 0 -1 4202496 104272 0 0 0 555 25 0 0 20 0 1 0 277201202 782413824 157073 33554432000 4194304 4896791 140734033922592 140734033919896 4224706 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/10003/statm: 191019 157073 77 172 0 190845 0
Current children cumulated CPU time (s) 1536.47
Current children cumulated vsize (KiB) 1041876
[startup+1602.3 s]
/proc/loadavg: 2.04 2.10 2.08 3/184 10020
/proc/meminfo: memFree=27644052/32873648 swapFree=7368/7368
[pid=9123] ppid=9121 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9123/stat : 9123 (runPb2satCp2.sh) S 9121 9123 3829 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 277047553 9367552 275 33554432000 4194304 5064252 140735604791360 140735604790272 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9123/statm: 2287 275 233 213 0 72 0
[pid=9124] ppid=9123 vsize=259504 CPUtime=1593.05 cores=0,2,4,6
/proc/9124/stat : 9124 (pb2sat) S 9123 9123 3829 0 -1 4202496 765384 11212803 0 0 6223 1206 146387 5489 20 0 1 0 277047553 265732096 59032 33554432000 4194304 5873084 140736212947056 140736212940872 5124602 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 224 0 0
/proc/9124/statm: 64876 59032 173 410 0 64458 0
[pid=10019] ppid=9124 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10019/stat : 10019 (satsolver.sh) S 9124 9123 3829 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 277207441 9367552 266 33554432000 4194304 5064252 140736388304112 140736388303024 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/10019/statm: 2287 266 226 213 0 72 0
[pid=10020] ppid=10019 vsize=763720 CPUtime=3.41 cores=0,2,4,6
/proc/10020/stat : 10020 (glucose_static) R 10019 9123 3829 0 -1 4202496 100058 0 0 0 317 24 0 0 20 0 1 0 277207442 782049280 156939 33554432000 4194304 4896791 140733822077040 140733822074344 4223862 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/10020/statm: 190930 156939 76 172 0 190756 0
Current children cumulated CPU time (s) 1596.46
Current children cumulated vsize (KiB) 1041520
############
# WARNING:
# current cumulated CPU time (1627.35 s) is less than in the last sample (1633.24 s)
# The time of a child was probably not reported to its father.
# (see the two samples below)
# Adding the difference (5.89001 s) to the 'lost time'.
[startup+1639.1 s]
/proc/loadavg: 2.14 2.12 2.09 3/183 10029
/proc/meminfo: memFree=27620024/32873648 swapFree=7368/7368
[pid=9123] ppid=9121 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9123/stat : 9123 (runPb2satCp2.sh) S 9121 9123 3829 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 277047553 9367552 275 33554432000 4194304 5064252 140735604791360 140735604790272 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9123/statm: 2287 275 233 213 0 72 0
[pid=9124] ppid=9123 vsize=259504 CPUtime=1627.35 cores=0,2,4,6
/proc/9124/stat : 9124 (pb2sat) S 9123 9123 3829 0 -1 4202496 784465 11530797 0 0 6388 1218 149486 5643 20 0 1 0 277047553 265732096 59022 33554432000 4194304 5873084 140736212947056 140736212940872 5124602 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 224 0 0
/proc/9124/statm: 64876 59022 173 410 0 64458 0
[pid=10028] ppid=9124 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10028/stat : 10028 (satsolver.sh) S 9124 9123 3829 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 277210873 9367552 267 33554432000 4194304 5064252 140733960186336 140733960185248 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/10028/statm: 2287 267 226 213 0 72 0
[pid=10029] ppid=10028 vsize=767876 CPUtime=5.89 cores=0,2,4,6
/proc/10029/stat : 10029 (glucose_static) R 10028 9123 3829 0 -1 4202496 107791 0 0 0 561 28 0 0 20 0 1 0 277210873 786305024 159931 33554432000 4194304 4896791 140736478648000 140736478643896 4496319 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/10029/statm: 191969 159931 79 172 0 191795 0
Current children cumulated CPU time (s) 1633.24
Current children cumulated vsize (KiB) 1045676
[startup+1639.2 s]
/proc/loadavg: 2.14 2.12 2.09 3/183 10029
/proc/meminfo: memFree=27620024/32873648 swapFree=7368/7368
[pid=9123] ppid=9121 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9123/stat : 9123 (runPb2satCp2.sh) S 9121 9123 3829 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 277047553 9367552 275 33554432000 4194304 5064252 140735604791360 140735604790272 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9123/statm: 2287 275 233 213 0 72 0
[pid=9124] ppid=9123 vsize=259504 CPUtime=1627.35 cores=0,2,4,6
/proc/9124/stat : 9124 (pb2sat) S 9123 9123 3829 0 -1 4202496 784465 11530797 0 0 6388 1218 149486 5643 20 0 1 0 277047553 265732096 59022 33554432000 4194304 5873084 140736212947056 140736212940872 5124602 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 224 0 0
/proc/9124/statm: 64876 59022 173 410 0 64458 0
Current children cumulated CPU time (s) 1627.35
Current children cumulated vsize (KiB) 268652
#
############
[startup+1662.3 s]
/proc/loadavg: 2.10 2.11 2.09 3/183 10035
/proc/meminfo: memFree=27638048/32873648 swapFree=7368/7368
[pid=9123] ppid=9121 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9123/stat : 9123 (runPb2satCp2.sh) S 9121 9123 3829 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 277047553 9367552 275 33554432000 4194304 5064252 140735604791360 140735604790272 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9123/statm: 2287 275 233 213 0 72 0
[pid=9124] ppid=9123 vsize=259440 CPUtime=1651.73 cores=0,2,4,6
/proc/9124/stat : 9124 (pb2sat) S 9123 9123 3829 0 -1 4202496 797168 11745867 0 0 6492 1226 151707 5748 20 0 1 0 277047553 265666560 58999 33554432000 4194304 5873084 140736212947056 140736212940872 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 224 0 0
/proc/9124/statm: 64860 58999 173 410 0 64442 0
[pid=10034] ppid=9124 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10034/stat : 10034 (satsolver.sh) S 9124 9123 3829 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 277213311 9367552 267 33554432000 4194304 5064252 140736161912112 140736161911024 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/10034/statm: 2287 267 226 213 0 72 0
[pid=10035] ppid=10034 vsize=763440 CPUtime=4.71 cores=0,2,4,6
/proc/10035/stat : 10035 (glucose_static) R 10034 9123 3829 0 -1 4202496 100344 0 0 0 446 25 0 0 20 0 1 0 277213312 781762560 157304 33554432000 4194304 4896791 140735446865040 140735446862344 4224983 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/10035/statm: 190860 157304 76 172 0 190686 0
Current children cumulated CPU time (s) 1656.44
Current children cumulated vsize (KiB) 1041176
[startup+1722.3 s]
/proc/loadavg: 2.07 2.10 2.09 3/183 10047
/proc/meminfo: memFree=27635296/32873648 swapFree=7368/7368
[pid=9123] ppid=9121 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9123/stat : 9123 (runPb2satCp2.sh) S 9121 9123 3829 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 277047553 9367552 275 33554432000 4194304 5064252 140735604791360 140735604790272 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9123/statm: 2287 275 233 213 0 72 0
[pid=9124] ppid=9123 vsize=259440 CPUtime=1712.97 cores=0,2,4,6
/proc/9124/stat : 9124 (pb2sat) S 9123 9123 3829 0 -1 4202496 822499 12176778 0 0 6700 1240 157401 5956 20 0 1 0 277047553 265666560 58985 33554432000 4194304 5873084 140736212947056 140736212940872 5124602 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 224 0 0
/proc/9124/statm: 64860 58985 173 410 0 64442 0
[pid=10046] ppid=9124 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10046/stat : 10046 (satsolver.sh) S 9124 9123 3829 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 277219437 9367552 267 33554432000 4194304 5064252 140737185130976 140737185129888 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10046/statm: 2287 267 226 213 0 72 0
[pid=10047] ppid=10046 vsize=763324 CPUtime=3.44 cores=0,2,4,6
/proc/10047/stat : 10047 (glucose_static) R 10046 9123 3829 0 -1 4202496 101868 0 0 0 319 25 0 0 20 0 1 0 277219438 781643776 157502 33554432000 4194304 4896791 140735488346560 140735488343864 4224706 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/10047/statm: 190831 157502 76 172 0 190657 0
Current children cumulated CPU time (s) 1716.41
Current children cumulated vsize (KiB) 1041060
[startup+1782.3 s]
/proc/loadavg: 2.14 2.12 2.09 3/184 10062
/proc/meminfo: memFree=27815376/32873648 swapFree=7368/7368
[pid=9123] ppid=9121 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9123/stat : 9123 (runPb2satCp2.sh) S 9121 9123 3829 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 277047553 9367552 275 33554432000 4194304 5064252 140735604791360 140735604790272 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9123/statm: 2287 275 233 213 0 72 0
[pid=9124] ppid=9123 vsize=259440 CPUtime=1774.73 cores=0,2,4,6
/proc/9124/stat : 9124 (pb2sat) S 9123 9123 3829 0 -1 4202496 847775 12591876 0 0 6917 1256 163142 6158 20 0 1 0 277047553 265666560 58971 33554432000 4194304 5873084 140736212947056 140736212940872 5124602 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 224 0 0
/proc/9124/statm: 64860 58971 173 410 0 64442 0
[pid=10061] ppid=9124 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10061/stat : 10061 (satsolver.sh) S 9124 9123 3829 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 277225621 9367552 267 33554432000 4194304 5064252 140735256676736 140735256675648 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/10061/statm: 2287 267 226 213 0 72 0
[pid=10062] ppid=10061 vsize=771700 CPUtime=1.61 cores=0,2,4,6
/proc/10062/stat : 10062 (glucose_static) R 10061 9123 3829 0 -1 4202496 97933 0 0 0 136 25 0 0 20 0 1 0 277225621 790220800 157947 33554432000 4194304 4896791 140733642213216 140733641162104 4221070 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/10062/statm: 192925 157947 73 172 0 192751 0
Current children cumulated CPU time (s) 1776.34
Current children cumulated vsize (KiB) 1049436
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.1 s]
/proc/loadavg: 2.10 2.11 2.09 3/183 10065
/proc/meminfo: memFree=28295728/32873648 swapFree=7368/7368
[pid=9123] ppid=9121 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9123/stat : 9123 (runPb2satCp2.sh) S 9121 9123 3829 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 277047553 9367552 275 33554432000 4194304 5064252 140735604791360 140735604790272 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9123/statm: 2287 275 233 213 0 72 0
[pid=9124] ppid=9123 vsize=259440 CPUtime=1794.13 cores=0,2,4,6
/proc/9124/stat : 9124 (pb2sat) S 9123 9123 3829 0 -1 4202496 854081 12697462 0 0 6968 1260 164973 6212 20 0 1 0 277047553 265666560 58968 33554432000 4194304 5873084 140736212947056 140736212940872 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 224 0 0
/proc/9124/statm: 64860 58968 173 410 0 64442 0
[pid=10064] ppid=9124 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10064/stat : 10064 (satsolver.sh) S 9124 9123 3829 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 277227562 9367552 266 33554432000 4194304 5064252 140734412762272 140734412761184 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/10064/statm: 2287 266 226 213 0 72 0
[pid=10065] ppid=10064 vsize=10468 CPUtime=0 cores=0,2,4,6
/proc/10065/stat : 10065 (glucose_static) R 10064 9123 3829 0 -1 4202496 1527 0 0 0 0 0 0 0 20 0 1 0 277227562 10719232 1368 33554432000 4194304 4896791 140736971363136 140736970312184 4401607 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/10065/statm: 2617 1369 58 172 0 2443 0
Current children cumulated CPU time (s) 1794.13
Current children cumulated vsize (KiB) 288204
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
[startup+1800.1 s]
/proc/loadavg: 2.10 2.11 2.09 3/183 10065
/proc/meminfo: memFree=28295728/32873648 swapFree=7368/7368
[pid=9123] ppid=9121 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9123/stat : 9123 (runPb2satCp2.sh) S 9121 9123 3829 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 277047553 9367552 275 33554432000 4194304 5064252 140735604791360 140735604790272 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9123/statm: 2287 275 233 213 0 72 0
[pid=9124] ppid=9123 vsize=259440 CPUtime=1794.13 cores=0,2,4,6
/proc/9124/stat : 9124 (pb2sat) S 9123 9123 3829 0 -1 4202496 854081 12697462 0 0 6968 1260 164973 6212 20 0 1 0 277047553 265666560 58968 33554432000 4194304 5873084 140736212947056 140736212940872 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 224 0 0
/proc/9124/statm: 64860 58968 173 410 0 64442 0
[pid=10064] ppid=9124 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10064/stat : 10064 (satsolver.sh) S 9124 9123 3829 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 277227562 9367552 266 33554432000 4194304 5064252 140734412762272 140734412761184 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/10064/statm: 2287 266 226 213 0 72 0
[pid=10065] ppid=10064 vsize=10468 CPUtime=0 cores=0,2,4,6
/proc/10065/stat : 10065 (glucose_static) R 10064 9123 3829 0 -1 4202496 1527 0 0 0 0 0 0 0 20 0 1 0 277227562 10719232 1368 33554432000 4194304 4896791 140736971363136 140736970312184 4401607 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/10065/statm: 2617 1369 58 172 0 2443 0
Current children cumulated CPU time (s) 1794.13
Current children cumulated vsize (KiB) 288204
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): 5.89001
# lost CPU user time (s): 5.60999
# lost CPU system time (s): 0.279999
Real time (s): 1800.12
CPU time (s): 1800.07
CPU user time (s): 1725.04
CPU system time (s): 75.0286
CPU usage (%): 99.9975
Max. virtual memory (cumulated for all children) (KiB): 1085852
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1719.43
system time used= 74.7486
maximum resident set size= 651840
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13554076
page faults= 0
swaps= 0
block input operations= 0
block output operations= 32168696
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1334
involuntary context switches= 4094
runsolver used 5.16921 second user time and 18.9371 second system time
The end