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-3695314-1338131682/watcher-3695314-1338131682 -o /tmp/evaluation-result-3695314-1338131682/solver-3695314-1338131682 -C 1800 -W 1900 -M 15500 HOME/runPb2satCp2.sh HOME/instance-3695314-1338131682.opb 1912113807 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: 1.93 1.99 1.99 3/172 26935
/proc/meminfo: memFree=26988496/32873648 swapFree=6336/6336
[pid=26935] ppid=26933 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26935/stat : 26935 (runPb2satCp2.sh) S 26933 26935 26234 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279295552 9367552 275 33554432000 4194304 5064252 140737420687952 140737420686864 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26935/statm: 2287 275 233 213 0 72 0
[startup+0.02459 s]
/proc/loadavg: 1.93 1.99 1.99 3/172 26935
/proc/meminfo: memFree=26988496/32873648 swapFree=6336/6336
[pid=26935] ppid=26933 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26935/stat : 26935 (runPb2satCp2.sh) S 26933 26935 26234 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279295552 9367552 275 33554432000 4194304 5064252 140737420687952 140737420686864 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26935/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100255 s]
/proc/loadavg: 1.93 1.99 1.99 3/172 26935
/proc/meminfo: memFree=26988496/32873648 swapFree=6336/6336
[pid=26935] ppid=26933 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26935/stat : 26935 (runPb2satCp2.sh) S 26933 26935 26234 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279295552 9367552 275 33554432000 4194304 5064252 140737420687952 140737420686864 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26935/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300226 s]
/proc/loadavg: 1.93 1.99 1.99 3/172 26935
/proc/meminfo: memFree=26988496/32873648 swapFree=6336/6336
[pid=26935] ppid=26933 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26935/stat : 26935 (runPb2satCp2.sh) S 26933 26935 26234 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279295552 9367552 275 33554432000 4194304 5064252 140737420687952 140737420686864 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26935/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700237 s]
/proc/loadavg: 1.93 1.99 1.99 3/172 26935
/proc/meminfo: memFree=26988496/32873648 swapFree=6336/6336
[pid=26935] ppid=26933 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26935/stat : 26935 (runPb2satCp2.sh) S 26933 26935 26234 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279295552 9367552 275 33554432000 4194304 5064252 140737420687952 140737420686864 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26935/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50026 s]
/proc/loadavg: 1.93 1.99 1.99 3/179 26953
/proc/meminfo: memFree=27440124/32873648 swapFree=6336/6336
[pid=26935] ppid=26933 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26935/stat : 26935 (runPb2satCp2.sh) S 26933 26935 26234 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279295552 9367552 275 33554432000 4194304 5064252 140737420687952 140737420686864 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26935/statm: 2287 275 233 213 0 72 0
[pid=26936] ppid=26935 vsize=15132 CPUtime=1.48 cores=0,2,4,6
/proc/26936/stat : 26936 (pb2sat) R 26935 26935 26234 0 -1 4202496 3032 0 0 0 148 0 0 0 20 0 1 0 279295553 15495168 3047 33554432000 4194304 5873084 140734767189408 140734767186776 5127424 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/26936/statm: 3783 3047 146 410 0 3365 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 24280
[startup+3.10032 s]
/proc/loadavg: 1.93 1.99 1.99 3/179 26953
/proc/meminfo: memFree=27418968/32873648 swapFree=6336/6336
[pid=26935] ppid=26933 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26935/stat : 26935 (runPb2satCp2.sh) S 26933 26935 26234 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279295552 9367552 275 33554432000 4194304 5064252 140737420687952 140737420686864 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26935/statm: 2287 275 233 213 0 72 0
[pid=26936] ppid=26935 vsize=66040 CPUtime=3.09 cores=0,2,4,6
/proc/26936/stat : 26936 (pb2sat) R 26935 26935 26234 0 -1 4202496 10671 0 0 0 307 2 0 0 20 0 1 0 279295553 67624960 14251 33554432000 4194304 5873084 140734767189408 140734767186360 4329859 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/26936/statm: 16510 14251 157 410 0 16092 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 75188
[startup+6.3002 s]
/proc/loadavg: 1.93 1.99 1.99 3/179 26953
/proc/meminfo: memFree=26969636/32873648 swapFree=6336/6336
[pid=26935] ppid=26933 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26935/stat : 26935 (runPb2satCp2.sh) S 26933 26935 26234 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279295552 9367552 275 33554432000 4194304 5064252 140737420687952 140737420686864 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26935/statm: 2287 275 233 213 0 72 0
[pid=26936] ppid=26935 vsize=371152 CPUtime=6.28 cores=0,2,4,6
/proc/26936/stat : 26936 (pb2sat) R 26935 26935 26234 0 -1 4202496 31393 0 0 0 617 11 0 0 20 0 1 0 279295553 380059648 88004 33554432000 4194304 5873084 140734767189408 140734767185464 4664180 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/26936/statm: 92788 88004 164 410 0 92370 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 380300
[startup+12.7005 s]
/proc/loadavg: 1.94 1.99 1.99 3/183 26957
/proc/meminfo: memFree=25124892/32873648 swapFree=6336/6336
[pid=26935] ppid=26933 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26935/stat : 26935 (runPb2satCp2.sh) S 26933 26935 26234 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279295552 9367552 275 33554432000 4194304 5064252 140737420687952 140737420686864 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26935/statm: 2287 275 233 213 0 72 0
[pid=26936] ppid=26935 vsize=371152 CPUtime=6.86 cores=0,2,4,6
/proc/26936/stat : 26936 (pb2sat) S 26935 26935 26234 0 -1 4202496 32109 0 0 0 637 49 0 0 20 0 1 0 279295553 380059648 90613 33554432000 4194304 5873084 140734767189408 140734767185832 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26936/statm: 92788 90613 171 410 0 92370 0
[pid=26954] ppid=26936 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26954/stat : 26954 (satsolver.sh) S 26936 26935 26234 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 279296240 9367552 267 33554432000 4194304 5064252 140733473736240 140733473735152 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/26954/statm: 2287 267 226 213 0 72 0
[pid=26955] ppid=26954 vsize=703428 CPUtime=5.8 cores=0,2,4,6
/proc/26955/stat : 26955 (glucose_static) R 26954 26935 26234 0 -1 4202496 103323 0 0 0 549 31 0 0 20 0 1 0 279296241 720310272 159703 33554432000 4194304 4896791 140734832324624 140734832321672 4203877 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/26955/statm: 175857 159703 78 172 0 175683 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 1092876
[startup+25.5004 s]
/proc/loadavg: 2.09 2.02 2.00 3/183 26957
/proc/meminfo: memFree=25130940/32873648 swapFree=6336/6336
[pid=26935] ppid=26933 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26935/stat : 26935 (runPb2satCp2.sh) S 26933 26935 26234 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279295552 9367552 275 33554432000 4194304 5064252 140737420687952 140737420686864 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26935/statm: 2287 275 233 213 0 72 0
[pid=26936] ppid=26935 vsize=371152 CPUtime=6.86 cores=0,2,4,6
/proc/26936/stat : 26936 (pb2sat) S 26935 26935 26234 0 -1 4202496 32109 0 0 0 637 49 0 0 20 0 1 0 279295553 380059648 90613 33554432000 4194304 5873084 140734767189408 140734767185832 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26936/statm: 92788 90613 171 410 0 92370 0
[pid=26954] ppid=26936 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26954/stat : 26954 (satsolver.sh) S 26936 26935 26234 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 279296240 9367552 267 33554432000 4194304 5064252 140733473736240 140733473735152 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/26954/statm: 2287 267 226 213 0 72 0
[pid=26955] ppid=26954 vsize=703540 CPUtime=18.6 cores=0,2,4,6
/proc/26955/stat : 26955 (glucose_static) R 26954 26935 26234 0 -1 4202496 103354 0 0 0 1826 34 0 0 20 0 1 0 279296241 720424960 160751 33554432000 4194304 4896791 140734832324624 140734832321912 4204129 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/26955/statm: 175885 160751 78 172 0 175711 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 1092988
[startup+51.1005 s]
/proc/loadavg: 2.06 2.02 2.00 3/183 26957
/proc/meminfo: memFree=25128844/32873648 swapFree=6336/6336
[pid=26935] ppid=26933 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26935/stat : 26935 (runPb2satCp2.sh) S 26933 26935 26234 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279295552 9367552 275 33554432000 4194304 5064252 140737420687952 140737420686864 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26935/statm: 2287 275 233 213 0 72 0
[pid=26936] ppid=26935 vsize=371152 CPUtime=6.86 cores=0,2,4,6
/proc/26936/stat : 26936 (pb2sat) S 26935 26935 26234 0 -1 4202496 32109 0 0 0 637 49 0 0 20 0 1 0 279295553 380059648 90613 33554432000 4194304 5873084 140734767189408 140734767185832 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26936/statm: 92788 90613 171 410 0 92370 0
[pid=26954] ppid=26936 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26954/stat : 26954 (satsolver.sh) S 26936 26935 26234 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 279296240 9367552 267 33554432000 4194304 5064252 140733473736240 140733473735152 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/26954/statm: 2287 267 226 213 0 72 0
[pid=26955] ppid=26954 vsize=703672 CPUtime=44.19 cores=0,2,4,6
/proc/26955/stat : 26955 (glucose_static) R 26954 26935 26234 0 -1 4202496 103392 0 0 0 4385 34 0 0 20 0 1 0 279296241 720560128 161300 33554432000 4194304 4896791 140734832324624 140734832321832 4224921 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/26955/statm: 175918 161300 78 172 0 175744 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 1093120
[startup+102.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/183 26957
/proc/meminfo: memFree=25128348/32873648 swapFree=6336/6336
[pid=26935] ppid=26933 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26935/stat : 26935 (runPb2satCp2.sh) S 26933 26935 26234 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279295552 9367552 275 33554432000 4194304 5064252 140737420687952 140737420686864 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26935/statm: 2287 275 233 213 0 72 0
[pid=26936] ppid=26935 vsize=371152 CPUtime=6.86 cores=0,2,4,6
/proc/26936/stat : 26936 (pb2sat) S 26935 26935 26234 0 -1 4202496 32109 0 0 0 637 49 0 0 20 0 1 0 279295553 380059648 90613 33554432000 4194304 5873084 140734767189408 140734767185832 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26936/statm: 92788 90613 171 410 0 92370 0
[pid=26954] ppid=26936 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26954/stat : 26954 (satsolver.sh) S 26936 26935 26234 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 279296240 9367552 267 33554432000 4194304 5064252 140733473736240 140733473735152 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/26954/statm: 2287 267 226 213 0 72 0
[pid=26955] ppid=26954 vsize=703992 CPUtime=95.38 cores=0,2,4,6
/proc/26955/stat : 26955 (glucose_static) R 26954 26935 26234 0 -1 4202496 103439 0 0 0 9504 34 0 0 20 0 1 0 279296241 720887808 161347 33554432000 4194304 4896791 140734832324624 140734832321944 4224653 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/26955/statm: 175998 161347 78 172 0 175824 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 1093440
[startup+162.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/183 26957
/proc/meminfo: memFree=25125436/32873648 swapFree=6336/6336
[pid=26935] ppid=26933 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26935/stat : 26935 (runPb2satCp2.sh) S 26933 26935 26234 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279295552 9367552 275 33554432000 4194304 5064252 140737420687952 140737420686864 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26935/statm: 2287 275 233 213 0 72 0
[pid=26936] ppid=26935 vsize=371152 CPUtime=6.86 cores=0,2,4,6
/proc/26936/stat : 26936 (pb2sat) S 26935 26935 26234 0 -1 4202496 32109 0 0 0 637 49 0 0 20 0 1 0 279295553 380059648 90613 33554432000 4194304 5873084 140734767189408 140734767185832 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26936/statm: 92788 90613 171 410 0 92370 0
[pid=26954] ppid=26936 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26954/stat : 26954 (satsolver.sh) S 26936 26935 26234 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 279296240 9367552 267 33554432000 4194304 5064252 140733473736240 140733473735152 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/26954/statm: 2287 267 226 213 0 72 0
[pid=26955] ppid=26954 vsize=704124 CPUtime=155.37 cores=0,2,4,6
/proc/26955/stat : 26955 (glucose_static) R 26954 26935 26234 0 -1 4202496 103484 0 0 0 15503 34 0 0 20 0 1 0 279296241 721022976 161392 33554432000 4194304 4896791 140734832324624 140734832321976 4224983 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/26955/statm: 176031 161392 78 172 0 175857 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 1093572
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 26958
/proc/meminfo: memFree=25123948/32873648 swapFree=6336/6336
[pid=26935] ppid=26933 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26935/stat : 26935 (runPb2satCp2.sh) S 26933 26935 26234 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279295552 9367552 275 33554432000 4194304 5064252 140737420687952 140737420686864 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26935/statm: 2287 275 233 213 0 72 0
[pid=26936] ppid=26935 vsize=371152 CPUtime=6.86 cores=0,2,4,6
/proc/26936/stat : 26936 (pb2sat) S 26935 26935 26234 0 -1 4202496 32109 0 0 0 637 49 0 0 20 0 1 0 279295553 380059648 90613 33554432000 4194304 5873084 140734767189408 140734767185832 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26936/statm: 92788 90613 171 410 0 92370 0
[pid=26954] ppid=26936 vsize=9148 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
/proc/26955/statm: 177344 163426 78 172 0 177170 0
Current children cumulated CPU time (s) 1362.01
Current children cumulated vsize (KiB) 1098824
[startup+1422.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/183 26968
/proc/meminfo: memFree=25106456/32873648 swapFree=6336/6336
[pid=26935] ppid=26933 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26935/stat : 26935 (runPb2satCp2.sh) S 26933 26935 26234 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279295552 9367552 275 33554432000 4194304 5064252 140737420687952 140737420686864 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26935/statm: 2287 275 233 213 0 72 0
[pid=26936] ppid=26935 vsize=371152 CPUtime=6.86 cores=0,2,4,6
/proc/26936/stat : 26936 (pb2sat) S 26935 26935 26234 0 -1 4202496 32109 0 0 0 637 49 0 0 20 0 1 0 279295553 380059648 90613 33554432000 4194304 5873084 140734767189408 140734767185832 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26936/statm: 92788 90613 171 410 0 92370 0
[pid=26954] ppid=26936 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26954/stat : 26954 (satsolver.sh) S 26936 26935 26234 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 279296240 9367552 267 33554432000 4194304 5064252 140733473736240 140733473735152 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/26954/statm: 2287 267 226 213 0 72 0
[pid=26955] ppid=26954 vsize=709508 CPUtime=1415.14 cores=0,2,4,6
/proc/26955/stat : 26955 (glucose_static) R 26954 26935 26234 0 -1 4202496 105011 0 0 0 141479 35 0 0 20 0 1 0 279296241 726536192 163439 33554432000 4194304 4896791 140734832324624 140734832321976 4224983 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/26955/statm: 177377 163439 78 172 0 177203 0
Current children cumulated CPU time (s) 1422
Current children cumulated vsize (KiB) 1098956
[startup+1482.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/183 26968
/proc/meminfo: memFree=25105716/32873648 swapFree=6336/6336
[pid=26935] ppid=26933 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26935/stat : 26935 (runPb2satCp2.sh) S 26933 26935 26234 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279295552 9367552 275 33554432000 4194304 5064252 140737420687952 140737420686864 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26935/statm: 2287 275 233 213 0 72 0
[pid=26936] ppid=26935 vsize=371152 CPUtime=6.86 cores=0,2,4,6
/proc/26936/stat : 26936 (pb2sat) S 26935 26935 26234 0 -1 4202496 32109 0 0 0 637 49 0 0 20 0 1 0 279295553 380059648 90613 33554432000 4194304 5873084 140734767189408 140734767185832 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26936/statm: 92788 90613 171 410 0 92370 0
[pid=26954] ppid=26936 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26954/stat : 26954 (satsolver.sh) S 26936 26935 26234 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 279296240 9367552 267 33554432000 4194304 5064252 140733473736240 140733473735152 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/26954/statm: 2287 267 226 213 0 72 0
[pid=26955] ppid=26954 vsize=709924 CPUtime=1475.13 cores=0,2,4,6
/proc/26955/stat : 26955 (glucose_static) R 26954 26935 26234 0 -1 4202496 105109 0 0 0 147478 35 0 0 20 0 1 0 279296241 726962176 163537 33554432000 4194304 4896791 140734832324624 140734832322168 4224225 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/26955/statm: 177481 163537 78 172 0 177307 0
Current children cumulated CPU time (s) 1481.99
Current children cumulated vsize (KiB) 1099372
[startup+1542.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/184 26971
/proc/meminfo: memFree=25105844/32873648 swapFree=6336/6336
[pid=26935] ppid=26933 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26935/stat : 26935 (runPb2satCp2.sh) S 26933 26935 26234 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279295552 9367552 275 33554432000 4194304 5064252 140737420687952 140737420686864 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26935/statm: 2287 275 233 213 0 72 0
[pid=26936] ppid=26935 vsize=371152 CPUtime=6.86 cores=0,2,4,6
/proc/26936/stat : 26936 (pb2sat) S 26935 26935 26234 0 -1 4202496 32109 0 0 0 637 49 0 0 20 0 1 0 279295553 380059648 90613 33554432000 4194304 5873084 140734767189408 140734767185832 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26936/statm: 92788 90613 171 410 0 92370 0
[pid=26954] ppid=26936 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26954/stat : 26954 (satsolver.sh) S 26936 26935 26234 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 279296240 9367552 267 33554432000 4194304 5064252 140733473736240 140733473735152 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/26954/statm: 2287 267 226 213 0 72 0
[pid=26955] ppid=26954 vsize=709924 CPUtime=1535.13 cores=0,2,4,6
/proc/26955/stat : 26955 (glucose_static) R 26954 26935 26234 0 -1 4202496 105109 0 0 0 153478 35 0 0 20 0 1 0 279296241 726962176 163537 33554432000 4194304 4896791 140734832324624 140734832322168 4224983 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/26955/statm: 177481 163537 78 172 0 177307 0
Current children cumulated CPU time (s) 1541.99
Current children cumulated vsize (KiB) 1099372
[startup+1602.3 s]
/proc/loadavg: 2.15 2.05 2.01 3/183 26974
/proc/meminfo: memFree=24826764/32873648 swapFree=6336/6336
[pid=26935] ppid=26933 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26935/stat : 26935 (runPb2satCp2.sh) S 26933 26935 26234 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279295552 9367552 275 33554432000 4194304 5064252 140737420687952 140737420686864 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26935/statm: 2287 275 233 213 0 72 0
[pid=26936] ppid=26935 vsize=392924 CPUtime=1589.2 cores=0,2,4,6
/proc/26936/stat : 26936 (pb2sat) S 26935 26935 26234 0 -1 4202496 45774 107074 0 0 1037 1364 156438 81 20 0 1 0 279295553 402354176 96042 33554432000 4194304 5873084 140734767189408 140734767183224 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 195 0 0
/proc/26936/statm: 98231 96042 180 410 0 97813 0
[pid=26973] ppid=26936 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26973/stat : 26973 (satsolver.sh) S 26936 26935 26234 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 279454699 9367552 267 33554432000 4194304 5064252 140735232755552 140735232754464 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/26973/statm: 2287 267 226 213 0 72 0
[pid=26974] ppid=26973 vsize=704812 CPUtime=10.82 cores=0,2,4,6
/proc/26974/stat : 26974 (glucose_static) R 26973 26935 26234 0 -1 4202496 103813 0 0 0 1050 32 0 0 20 0 1 0 279454699 721727488 161314 33554432000 4194304 4896791 140737267785712 140737267782920 4225011 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/26974/statm: 176203 161314 77 172 0 176029 0
Current children cumulated CPU time (s) 1600.02
Current children cumulated vsize (KiB) 1116032
[startup+1662.3 s]
/proc/loadavg: 2.05 2.04 2.00 3/182 26974
/proc/meminfo: memFree=24817536/32873648 swapFree=6336/6336
[pid=26935] ppid=26933 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26935/stat : 26935 (runPb2satCp2.sh) S 26933 26935 26234 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279295552 9367552 275 33554432000 4194304 5064252 140737420687952 140737420686864 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26935/statm: 2287 275 233 213 0 72 0
[pid=26936] ppid=26935 vsize=392924 CPUtime=1589.2 cores=0,2,4,6
/proc/26936/stat : 26936 (pb2sat) S 26935 26935 26234 0 -1 4202496 45774 107074 0 0 1037 1364 156438 81 20 0 1 0 279295553 402354176 96042 33554432000 4194304 5873084 140734767189408 140734767183224 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 195 0 0
/proc/26936/statm: 98231 96042 180 410 0 97813 0
[pid=26973] ppid=26936 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26973/stat : 26973 (satsolver.sh) S 26936 26935 26234 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 279454699 9367552 267 33554432000 4194304 5064252 140735232755552 140735232754464 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/26973/statm: 2287 267 226 213 0 72 0
[pid=26974] ppid=26973 vsize=709684 CPUtime=70.8 cores=0,2,4,6
/proc/26974/stat : 26974 (glucose_static) R 26973 26935 26234 0 -1 4202496 107540 0 0 0 7047 33 0 0 20 0 1 0 279454699 726716416 163621 33554432000 4194304 4896791 140737267785712 140737267782920 4225029 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/26974/statm: 177421 163621 77 172 0 177247 0
Current children cumulated CPU time (s) 1660
Current children cumulated vsize (KiB) 1120904
[startup+1722.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/182 26975
/proc/meminfo: memFree=24816936/32873648 swapFree=6336/6336
[pid=26935] ppid=26933 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26935/stat : 26935 (runPb2satCp2.sh) S 26933 26935 26234 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279295552 9367552 275 33554432000 4194304 5064252 140737420687952 140737420686864 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26935/statm: 2287 275 233 213 0 72 0
[pid=26936] ppid=26935 vsize=392924 CPUtime=1589.2 cores=0,2,4,6
/proc/26936/stat : 26936 (pb2sat) S 26935 26935 26234 0 -1 4202496 45774 107074 0 0 1037 1364 156438 81 20 0 1 0 279295553 402354176 96042 33554432000 4194304 5873084 140734767189408 140734767183224 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 195 0 0
/proc/26936/statm: 98231 96042 180 410 0 97813 0
[pid=26973] ppid=26936 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26973/stat : 26973 (satsolver.sh) S 26936 26935 26234 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 279454699 9367552 267 33554432000 4194304 5064252 140735232755552 140735232754464 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/26973/statm: 2287 267 226 213 0 72 0
[pid=26974] ppid=26973 vsize=709948 CPUtime=130.79 cores=0,2,4,6
/proc/26974/stat : 26974 (glucose_static) R 26973 26935 26234 0 -1 4202496 107590 0 0 0 13046 33 0 0 20 0 1 0 279454699 726986752 163671 33554432000 4194304 4896791 140737267785712 140737267783064 4225029 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/26974/statm: 177487 163671 77 172 0 177313 0
Current children cumulated CPU time (s) 1719.99
Current children cumulated vsize (KiB) 1121168
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 26976
/proc/meminfo: memFree=24815940/32873648 swapFree=6336/6336
[pid=26935] ppid=26933 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26935/stat : 26935 (runPb2satCp2.sh) S 26933 26935 26234 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279295552 9367552 275 33554432000 4194304 5064252 140737420687952 140737420686864 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26935/statm: 2287 275 233 213 0 72 0
[pid=26936] ppid=26935 vsize=392924 CPUtime=1589.2 cores=0,2,4,6
/proc/26936/stat : 26936 (pb2sat) S 26935 26935 26234 0 -1 4202496 45774 107074 0 0 1037 1364 156438 81 20 0 1 0 279295553 402354176 96042 33554432000 4194304 5873084 140734767189408 140734767183224 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 195 0 0
/proc/26936/statm: 98231 96042 180 410 0 97813 0
[pid=26973] ppid=26936 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26973/stat : 26973 (satsolver.sh) S 26936 26935 26234 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 279454699 9367552 267 33554432000 4194304 5064252 140735232755552 140735232754464 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/26973/statm: 2287 267 226 213 0 72 0
[pid=26974] ppid=26973 vsize=710416 CPUtime=190.78 cores=0,2,4,6
/proc/26974/stat : 26974 (glucose_static) R 26973 26935 26234 0 -1 4202496 107720 0 0 0 19045 33 0 0 20 0 1 0 279454699 727465984 163801 33554432000 4194304 4896791 140737267785712 140737267782920 4224983 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/26974/statm: 177604 163801 77 172 0 177430 0
Current children cumulated CPU time (s) 1779.98
Current children cumulated vsize (KiB) 1121636
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1802.4 s]
/proc/loadavg: 2.00 2.02 2.00 3/181 27016
/proc/meminfo: memFree=25877984/32873648 swapFree=6336/6336
[pid=26935] ppid=26933 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26935/stat : 26935 (runPb2satCp2.sh) S 26933 26935 26234 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279295552 9367552 275 33554432000 4194304 5064252 140737420687952 140737420686864 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26935/statm: 2287 275 233 213 0 72 0
[pid=26936] ppid=26935 vsize=392924 CPUtime=1589.2 cores=0,2,4,6
/proc/26936/stat : 26936 (pb2sat) S 26935 26935 26234 0 -1 4202496 45774 107074 0 0 1037 1364 156438 81 20 0 1 0 279295553 402354176 96042 33554432000 4194304 5873084 140734767189408 140734767183224 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 195 0 0
/proc/26936/statm: 98231 96042 180 410 0 97813 0
[pid=26973] ppid=26936 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26973/stat : 26973 (satsolver.sh) S 26936 26935 26234 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 279454699 9367552 267 33554432000 4194304 5064252 140735232755552 140735232754464 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/26973/statm: 2287 267 226 213 0 72 0
[pid=26974] ppid=26973 vsize=712172 CPUtime=210.88 cores=0,2,4,6
/proc/26974/stat : 26974 (glucose_static) R 26973 26935 26234 0 -1 4202496 110180 0 0 0 21055 33 0 0 20 0 1 0 279454699 729264128 164333 33554432000 4194304 4896791 140737267785712 140737267783000 4225191 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/26974/statm: 178043 164333 77 172 0 177869 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 1123392
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 26935 and gives
# childrusage.ru_utime.tv_sec=1574
# childrusage.ru_utime.tv_usec=762599
# childrusage.ru_stime.tv_sec=14
# childrusage.ru_stime.tv_usec=462801
# CPU time returned by wait4() is 1589.23
# while last known CPU time is 1800.08
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1802.42
CPU time (s): 1800.08
CPU user time (s): 1785.3
CPU system time (s): 14.78
CPU usage (%): 99.8702
Max. virtual memory (cumulated for all children) (KiB): 1324408
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1574.76
system time used= 14.4628
maximum resident set size= 805700
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 153826
page faults= 0
swaps= 0
block input operations= 8
block output operations= 1570952
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 97
involuntary context switches= 1887
runsolver used 7.36988 second user time and 7.62384 second system time
The end