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-3694423-1338107233/watcher-3694423-1338107233 -o /tmp/evaluation-result-3694423-1338107233/solver-3694423-1338107233 -C 1800 -W 1900 -M 15500 HOME/runPb2satCp2.sh HOME/instance-3694423-1338107233.opb 1890574036 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.00 2.00 2.00 2/172 7868
/proc/meminfo: memFree=30194540/32873648 swapFree=7368/7368
[pid=7868] ppid=7866 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7868/stat : 7868 (runPb2satCp2.sh) S 7866 7868 3829 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 276847418 9367552 275 33554432000 4194304 5064252 140734135064720 140734135063632 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7868/statm: 2287 275 233 213 0 72 0
[startup+0.0737321 s]
/proc/loadavg: 2.00 2.00 2.00 2/172 7868
/proc/meminfo: memFree=30194540/32873648 swapFree=7368/7368
[pid=7868] ppid=7866 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7868/stat : 7868 (runPb2satCp2.sh) S 7866 7868 3829 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 276847418 9367552 275 33554432000 4194304 5064252 140734135064720 140734135063632 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7868/statm: 2287 275 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.00 2.00 2.00 2/172 7868
/proc/meminfo: memFree=30194540/32873648 swapFree=7368/7368
[pid=7868] ppid=7866 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7868/stat : 7868 (runPb2satCp2.sh) S 7866 7868 3829 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 276847418 9367552 275 33554432000 4194304 5064252 140734135064720 140734135063632 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7868/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300223 s]
/proc/loadavg: 2.00 2.00 2.00 2/172 7868
/proc/meminfo: memFree=30194540/32873648 swapFree=7368/7368
[pid=7868] ppid=7866 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7868/stat : 7868 (runPb2satCp2.sh) S 7866 7868 3829 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 276847418 9367552 275 33554432000 4194304 5064252 140734135064720 140734135063632 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7868/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700143 s]
/proc/loadavg: 2.00 2.00 2.00 2/172 7868
/proc/meminfo: memFree=30194540/32873648 swapFree=7368/7368
[pid=7868] ppid=7866 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7868/stat : 7868 (runPb2satCp2.sh) S 7866 7868 3829 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 276847418 9367552 275 33554432000 4194304 5064252 140734135064720 140734135063632 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7868/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50028 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 7891
/proc/meminfo: memFree=30208144/32873648 swapFree=7368/7368
[pid=7868] ppid=7866 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7868/stat : 7868 (runPb2satCp2.sh) S 7866 7868 3829 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 276847418 9367552 275 33554432000 4194304 5064252 140734135064720 140734135063632 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7868/statm: 2287 275 233 213 0 72 0
[pid=7870] ppid=7868 vsize=9956 CPUtime=1.32 cores=0,2,4,6
/proc/7870/stat : 7870 (pb2sat) S 7868 7868 3829 0 -1 4202496 2966 4051 0 0 79 28 24 1 20 0 1 0 276847418 10194944 2007 33554432000 4194304 5873084 140734602006880 140734602002216 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 10 0 0
/proc/7870/statm: 2489 2007 173 410 0 2071 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 19104
[startup+3.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 7893
/proc/meminfo: memFree=30120984/32873648 swapFree=7368/7368
[pid=7868] ppid=7866 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7868/stat : 7868 (runPb2satCp2.sh) S 7866 7868 3829 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 276847418 9367552 275 33554432000 4194304 5064252 140734135064720 140734135063632 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7868/statm: 2287 275 233 213 0 72 0
[pid=7870] ppid=7868 vsize=159812 CPUtime=2.6 cores=0,2,4,6
/proc/7870/stat : 7870 (pb2sat) R 7868 7868 3829 0 -1 4202496 10971 4565 0 0 203 32 24 1 20 0 1 0 276847418 163647488 28550 33554432000 4194304 5873084 140734602006880 140734602001272 4278402 0 0 4096 0 0 0 0 17 4 0 0 10 0 0
/proc/7870/statm: 39953 28550 180 410 0 39535 0
Current children cumulated CPU time (s) 2.6
Current children cumulated vsize (KiB) 168960
[startup+6.30036 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 7897
/proc/meminfo: memFree=29077472/32873648 swapFree=7368/7368
[pid=7868] ppid=7866 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7868/stat : 7868 (runPb2satCp2.sh) S 7866 7868 3829 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 276847418 9367552 275 33554432000 4194304 5064252 140734135064720 140734135063632 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7868/statm: 2287 275 233 213 0 72 0
[pid=7870] ppid=7868 vsize=290884 CPUtime=3.82 cores=0,2,4,6
/proc/7870/stat : 7870 (pb2sat) S 7868 7868 3829 0 -1 4202496 12046 4565 0 0 298 59 24 1 20 0 1 0 276847418 297865216 44934 33554432000 4194304 5873084 140734602006880 140734602000696 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 10 0 0
/proc/7870/statm: 72721 44934 180 410 0 72303 0
[pid=7896] ppid=7870 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7896/stat : 7896 (satsolver.sh) S 7870 7868 3829 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 276847849 9367552 267 33554432000 4194304 5064252 140734916108432 140734916107344 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/7896/statm: 2287 267 226 213 0 72 0
[pid=7897] ppid=7896 vsize=411840 CPUtime=1.97 cores=0,2,4,6
/proc/7897/stat : 7897 (glucose_static) R 7896 7868 3829 0 -1 4202496 56323 0 0 0 181 16 0 0 20 0 1 0 276847850 421724160 94061 33554432000 4194304 4896791 140736891839568 140736890788360 4401607 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/7897/statm: 102960 94061 58 172 0 102786 0
Current children cumulated CPU time (s) 5.79
Current children cumulated vsize (KiB) 721020
[startup+12.7004 s]
/proc/loadavg: 2.08 2.02 2.01 3/184 7897
/proc/meminfo: memFree=28838040/32873648 swapFree=7368/7368
[pid=7868] ppid=7866 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7868/stat : 7868 (runPb2satCp2.sh) S 7866 7868 3829 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 276847418 9367552 275 33554432000 4194304 5064252 140734135064720 140734135063632 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7868/statm: 2287 275 233 213 0 72 0
[pid=7870] ppid=7868 vsize=290884 CPUtime=3.82 cores=0,2,4,6
/proc/7870/stat : 7870 (pb2sat) S 7868 7868 3829 0 -1 4202496 12046 4565 0 0 298 59 24 1 20 0 1 0 276847418 297865216 44934 33554432000 4194304 5873084 140734602006880 140734602000696 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 10 0 0
/proc/7870/statm: 72721 44934 180 410 0 72303 0
[pid=7896] ppid=7870 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7896/stat : 7896 (satsolver.sh) S 7870 7868 3829 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 276847849 9367552 267 33554432000 4194304 5064252 140734916108432 140734916107344 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/7896/statm: 2287 267 226 213 0 72 0
[pid=7897] ppid=7896 vsize=445456 CPUtime=8.37 cores=0,2,4,6
/proc/7897/stat : 7897 (glucose_static) R 7896 7868 3829 0 -1 4202496 66044 0 0 0 818 19 0 0 20 0 1 0 276847850 456146944 91477 33554432000 4194304 4896791 140736891839568 140736891836776 4230751 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/7897/statm: 111364 91478 78 172 0 111190 0
Current children cumulated CPU time (s) 12.19
Current children cumulated vsize (KiB) 754636
[startup+25.5005 s]
/proc/loadavg: 2.06 2.02 2.00 3/184 7897
/proc/meminfo: memFree=28807964/32873648 swapFree=7368/7368
[pid=7868] ppid=7866 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7868/stat : 7868 (runPb2satCp2.sh) S 7866 7868 3829 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 276847418 9367552 275 33554432000 4194304 5064252 140734135064720 140734135063632 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7868/statm: 2287 275 233 213 0 72 0
[pid=7870] ppid=7868 vsize=290884 CPUtime=3.82 cores=0,2,4,6
/proc/7870/stat : 7870 (pb2sat) S 7868 7868 3829 0 -1 4202496 12046 4565 0 0 298 59 24 1 20 0 1 0 276847418 297865216 44934 33554432000 4194304 5873084 140734602006880 140734602000696 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 10 0 0
/proc/7870/statm: 72721 44934 180 410 0 72303 0
[pid=7896] ppid=7870 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7896/stat : 7896 (satsolver.sh) S 7870 7868 3829 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 276847849 9367552 267 33554432000 4194304 5064252 140734916108432 140734916107344 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/7896/statm: 2287 267 226 213 0 72 0
[pid=7897] ppid=7896 vsize=451112 CPUtime=21.16 cores=0,2,4,6
/proc/7897/stat : 7897 (glucose_static) R 7896 7868 3829 0 -1 4202496 68384 0 0 0 2096 20 0 0 20 0 1 0 276847850 461938688 96093 33554432000 4194304 4896791 140736891839568 140736891836776 4223846 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/7897/statm: 112778 96093 78 172 0 112604 0
Current children cumulated CPU time (s) 24.98
Current children cumulated vsize (KiB) 760292
[startup+51.1005 s]
/proc/loadavg: 2.04 2.01 2.00 3/183 7897
/proc/meminfo: memFree=28796908/32873648 swapFree=7368/7368
[pid=7868] ppid=7866 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7868/stat : 7868 (runPb2satCp2.sh) S 7866 7868 3829 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 276847418 9367552 275 33554432000 4194304 5064252 140734135064720 140734135063632 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7868/statm: 2287 275 233 213 0 72 0
[pid=7870] ppid=7868 vsize=290884 CPUtime=3.82 cores=0,2,4,6
/proc/7870/stat : 7870 (pb2sat) S 7868 7868 3829 0 -1 4202496 12046 4565 0 0 298 59 24 1 20 0 1 0 276847418 297865216 44934 33554432000 4194304 5873084 140734602006880 140734602000696 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 10 0 0
/proc/7870/statm: 72721 44934 180 410 0 72303 0
[pid=7896] ppid=7870 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7896/stat : 7896 (satsolver.sh) S 7870 7868 3829 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 276847849 9367552 267 33554432000 4194304 5064252 140734916108432 140734916107344 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/7896/statm: 2287 267 226 213 0 72 0
[pid=7897] ppid=7896 vsize=457484 CPUtime=46.76 cores=0,2,4,6
/proc/7897/stat : 7897 (glucose_static) R 7896 7868 3829 0 -1 4202496 73140 0 0 0 4653 23 0 0 20 0 1 0 276847850 468463616 95430 33554432000 4194304 4896791 140736891839568 140736891836776 4225002 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/7897/statm: 114371 95430 78 172 0 114197 0
Current children cumulated CPU time (s) 50.58
Current children cumulated vsize (KiB) 766664
[startup+102.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/183 7897
/proc/meminfo: memFree=28758828/32873648 swapFree=7368/7368
[pid=7868] ppid=7866 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7868/stat : 7868 (runPb2satCp2.sh) S 7866 7868 3829 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 276847418 9367552 275 33554432000 4194304 5064252 140734135064720 140734135063632 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7868/statm: 2287 275 233 213 0 72 0
[pid=7870] ppid=7868 vsize=290884 CPUtime=3.82 cores=0,2,4,6
/proc/7870/stat : 7870 (pb2sat) S 7868 7868 3829 0 -1 4202496 12046 4565 0 0 298 59 24 1 20 0 1 0 276847418 297865216 44934 33554432000 4194304 5873084 140734602006880 140734602000696 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 10 0 0
/proc/7870/statm: 72721 44934 180 410 0 72303 0
[pid=7896] ppid=7870 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7896/stat : 7896 (satsolver.sh) S 7870 7868 3829 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 276847849 9367552 267 33554432000 4194304 5064252 140734916108432 140734916107344 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/7896/statm: 2287 267 226 213 0 72 0
[pid=7897] ppid=7896 vsize=465752 CPUtime=97.96 cores=0,2,4,6
/proc/7897/stat : 7897 (glucose_static) R 7896 7868 3829 0 -1 4202496 75251 0 0 0 9770 26 0 0 20 0 1 0 276847850 476930048 103072 33554432000 4194304 4896791 140736891839568 140736891836776 4202992 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/7897/statm: 116438 103072 78 172 0 116264 0
Current children cumulated CPU time (s) 101.78
Current children cumulated vsize (KiB) 774932
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 7898
/proc/meminfo: memFree=28727484/32873648 swapFree=7368/7368
[pid=7868] ppid=7866 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7868/stat : 7868 (runPb2satCp2.sh) S 7866 7868 3829 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 276847418 9367552 275 33554432000 4194304 5064252 140734135064720 140734135063632 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7868/statm: 2287 275 233 213 0 72 0
[pid=7870] ppid=7868 vsize=290884 CPUtime=3.82 cores=0,2,4,6
/proc/7870/stat : 7870 (pb2sat) S 7868 7868 3829 0 -1 4202496 12046 4565 0 0 298 59 24 1 20 0 1 0 276847418 297865216 44934 33554432000 4194304 5873084 140734602006880 140734602000696 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 10 0 0
/proc/7870/statm: 72721 44934 180 410 0 72303 0
[pid=7896] ppid=7870 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7896/stat : 7896 (satsolver.sh) S 7870 7868 3829 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 276847849 9367552 267 33554432000 4194304 5064252 140734916108432 140734916107344 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/7896/statm: 2287 267 226 213 0 72 0
[pid=7897] ppid=7896 vsize=474916 CPUtime=157.94 cores=0,2,4,6
/proc/7897/stat : 7897 (glucose_static) R 7896 7868 3829 0 -1 4202496 79955 0 0 0 15762 32 0 0 20 0 1 0 276847850 486313984 105616 33554432000 4194304 4896791 140736891839568 140736891836776 4224975 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/7897/statm: 118729 105616 78 172 0 118555 0
Current children cumulated CPU time (s) 161.76
Current children cumulated vsize (KiB) 784096
[startup+222.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 7901
/proc/meminfo: memFree=28729856/32873648 swapFree=7368/7368
[pid=7868] ppid=7866 vsize=9148 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
/proc/7897/stat : 7897 (glucose_static) R 7896 7868 3829 0 -1 4202496 123287 0 0 0 135612 155 0 0 20 0 1 0 276847850 647733248 131990 33554432000 4194304 4896791 140736891839568 140736891836776 4225445 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/7897/statm: 158138 131990 78 172 0 157964 0
Current children cumulated CPU time (s) 1361.49
Current children cumulated vsize (KiB) 941732
[startup+1422.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/184 7911
/proc/meminfo: memFree=28468648/32873648 swapFree=7368/7368
[pid=7868] ppid=7866 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7868/stat : 7868 (runPb2satCp2.sh) S 7866 7868 3829 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 276847418 9367552 275 33554432000 4194304 5064252 140734135064720 140734135063632 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7868/statm: 2287 275 233 213 0 72 0
[pid=7870] ppid=7868 vsize=290884 CPUtime=3.82 cores=0,2,4,6
/proc/7870/stat : 7870 (pb2sat) S 7868 7868 3829 0 -1 4202496 12046 4565 0 0 298 59 24 1 20 0 1 0 276847418 297865216 44934 33554432000 4194304 5873084 140734602006880 140734602000696 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 10 0 0
/proc/7870/statm: 72721 44934 180 410 0 72303 0
[pid=7896] ppid=7870 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7896/stat : 7896 (satsolver.sh) S 7870 7868 3829 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 276847849 9367552 267 33554432000 4194304 5064252 140734916108432 140734916107344 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/7896/statm: 2287 267 226 213 0 72 0
[pid=7897] ppid=7896 vsize=634508 CPUtime=1417.68 cores=0,2,4,6
/proc/7897/stat : 7897 (glucose_static) R 7896 7868 3829 0 -1 4202496 124610 0 0 0 141607 161 0 0 20 0 1 0 276847850 649736192 135065 33554432000 4194304 4896791 140736891839568 140736891836776 4225029 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/7897/statm: 158627 135065 78 172 0 158453 0
Current children cumulated CPU time (s) 1421.5
Current children cumulated vsize (KiB) 943688
[startup+1482.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/183 7911
/proc/meminfo: memFree=28480672/32873648 swapFree=7368/7368
[pid=7868] ppid=7866 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7868/stat : 7868 (runPb2satCp2.sh) S 7866 7868 3829 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 276847418 9367552 275 33554432000 4194304 5064252 140734135064720 140734135063632 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7868/statm: 2287 275 233 213 0 72 0
[pid=7870] ppid=7868 vsize=290884 CPUtime=3.82 cores=0,2,4,6
/proc/7870/stat : 7870 (pb2sat) S 7868 7868 3829 0 -1 4202496 12046 4565 0 0 298 59 24 1 20 0 1 0 276847418 297865216 44934 33554432000 4194304 5873084 140734602006880 140734602000696 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 10 0 0
/proc/7870/statm: 72721 44934 180 410 0 72303 0
[pid=7896] ppid=7870 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7896/stat : 7896 (satsolver.sh) S 7870 7868 3829 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 276847849 9367552 267 33554432000 4194304 5064252 140734916108432 140734916107344 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/7896/statm: 2287 267 226 213 0 72 0
[pid=7897] ppid=7896 vsize=637668 CPUtime=1477.66 cores=0,2,4,6
/proc/7897/stat : 7897 (glucose_static) R 7896 7868 3829 0 -1 4202496 126237 0 0 0 147600 166 0 0 20 0 1 0 276847850 652972032 139461 33554432000 4194304 4896791 140736891839568 140736891836776 4238455 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/7897/statm: 159417 139461 78 172 0 159243 0
Current children cumulated CPU time (s) 1481.48
Current children cumulated vsize (KiB) 946848
[startup+1542.31 s]
/proc/loadavg: 2.02 2.02 2.00 3/183 7911
/proc/meminfo: memFree=28486276/32873648 swapFree=7368/7368
[pid=7868] ppid=7866 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7868/stat : 7868 (runPb2satCp2.sh) S 7866 7868 3829 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 276847418 9367552 275 33554432000 4194304 5064252 140734135064720 140734135063632 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7868/statm: 2287 275 233 213 0 72 0
[pid=7870] ppid=7868 vsize=290884 CPUtime=3.82 cores=0,2,4,6
/proc/7870/stat : 7870 (pb2sat) S 7868 7868 3829 0 -1 4202496 12046 4565 0 0 298 59 24 1 20 0 1 0 276847418 297865216 44934 33554432000 4194304 5873084 140734602006880 140734602000696 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 10 0 0
/proc/7870/statm: 72721 44934 180 410 0 72303 0
[pid=7896] ppid=7870 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7896/stat : 7896 (satsolver.sh) S 7870 7868 3829 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 276847849 9367552 267 33554432000 4194304 5064252 140734916108432 140734916107344 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/7896/statm: 2287 267 226 213 0 72 0
[pid=7897] ppid=7896 vsize=639572 CPUtime=1537.65 cores=0,2,4,6
/proc/7897/stat : 7897 (glucose_static) R 7896 7868 3829 0 -1 4202496 128312 0 0 0 153590 175 0 0 20 0 1 0 276847850 654921728 134309 33554432000 4194304 4896791 140736891839568 140736891835304 4225029 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/7897/statm: 159893 134309 78 172 0 159719 0
Current children cumulated CPU time (s) 1541.47
Current children cumulated vsize (KiB) 948752
[startup+1602.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/183 7911
/proc/meminfo: memFree=28457284/32873648 swapFree=7368/7368
[pid=7868] ppid=7866 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7868/stat : 7868 (runPb2satCp2.sh) S 7866 7868 3829 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 276847418 9367552 275 33554432000 4194304 5064252 140734135064720 140734135063632 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7868/statm: 2287 275 233 213 0 72 0
[pid=7870] ppid=7868 vsize=290884 CPUtime=3.82 cores=0,2,4,6
/proc/7870/stat : 7870 (pb2sat) S 7868 7868 3829 0 -1 4202496 12046 4565 0 0 298 59 24 1 20 0 1 0 276847418 297865216 44934 33554432000 4194304 5873084 140734602006880 140734602000696 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 10 0 0
/proc/7870/statm: 72721 44934 180 410 0 72303 0
[pid=7896] ppid=7870 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7896/stat : 7896 (satsolver.sh) S 7870 7868 3829 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 276847849 9367552 267 33554432000 4194304 5064252 140734916108432 140734916107344 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/7896/statm: 2287 267 226 213 0 72 0
[pid=7897] ppid=7896 vsize=641876 CPUtime=1597.63 cores=0,2,4,6
/proc/7897/stat : 7897 (glucose_static) R 7896 7868 3829 0 -1 4202496 129715 0 0 0 159583 180 0 0 20 0 1 0 276847850 657281024 137804 33554432000 4194304 4896791 140736891839568 140736891834648 4225148 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/7897/statm: 160469 137804 78 172 0 160295 0
Current children cumulated CPU time (s) 1601.45
Current children cumulated vsize (KiB) 951056
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 7911
/proc/meminfo: memFree=28427260/32873648 swapFree=7368/7368
[pid=7868] ppid=7866 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7868/stat : 7868 (runPb2satCp2.sh) S 7866 7868 3829 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 276847418 9367552 275 33554432000 4194304 5064252 140734135064720 140734135063632 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7868/statm: 2287 275 233 213 0 72 0
[pid=7870] ppid=7868 vsize=290884 CPUtime=3.82 cores=0,2,4,6
/proc/7870/stat : 7870 (pb2sat) S 7868 7868 3829 0 -1 4202496 12046 4565 0 0 298 59 24 1 20 0 1 0 276847418 297865216 44934 33554432000 4194304 5873084 140734602006880 140734602000696 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 10 0 0
/proc/7870/statm: 72721 44934 180 410 0 72303 0
[pid=7896] ppid=7870 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7896/stat : 7896 (satsolver.sh) S 7870 7868 3829 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 276847849 9367552 267 33554432000 4194304 5064252 140734916108432 140734916107344 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/7896/statm: 2287 267 226 213 0 72 0
[pid=7897] ppid=7896 vsize=643900 CPUtime=1657.61 cores=0,2,4,6
/proc/7897/stat : 7897 (glucose_static) R 7896 7868 3829 0 -1 4202496 131011 0 0 0 165577 184 0 0 20 0 1 0 276847850 659353600 141872 33554432000 4194304 4896791 140736891839568 140736891836776 4225445 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/7897/statm: 160975 141872 78 172 0 160801 0
Current children cumulated CPU time (s) 1661.43
Current children cumulated vsize (KiB) 953080
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 7912
/proc/meminfo: memFree=28450516/32873648 swapFree=7368/7368
[pid=7868] ppid=7866 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7868/stat : 7868 (runPb2satCp2.sh) S 7866 7868 3829 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 276847418 9367552 275 33554432000 4194304 5064252 140734135064720 140734135063632 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7868/statm: 2287 275 233 213 0 72 0
[pid=7870] ppid=7868 vsize=290884 CPUtime=3.82 cores=0,2,4,6
/proc/7870/stat : 7870 (pb2sat) S 7868 7868 3829 0 -1 4202496 12046 4565 0 0 298 59 24 1 20 0 1 0 276847418 297865216 44934 33554432000 4194304 5873084 140734602006880 140734602000696 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 10 0 0
/proc/7870/statm: 72721 44934 180 410 0 72303 0
[pid=7896] ppid=7870 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7896/stat : 7896 (satsolver.sh) S 7870 7868 3829 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 276847849 9367552 267 33554432000 4194304 5064252 140734916108432 140734916107344 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/7896/statm: 2287 267 226 213 0 72 0
[pid=7897] ppid=7896 vsize=776256 CPUtime=1717.61 cores=0,2,4,6
/proc/7897/stat : 7897 (glucose_static) R 7896 7868 3829 0 -1 4202496 132394 0 0 0 171571 190 0 0 20 0 1 0 276847850 794886144 162374 33554432000 4194304 4896791 140736891839568 140736891835304 4217137 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/7897/statm: 194064 162374 78 172 0 193890 0
Current children cumulated CPU time (s) 1721.43
Current children cumulated vsize (KiB) 1085436
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 7912
/proc/meminfo: memFree=28476424/32873648 swapFree=7368/7368
[pid=7868] ppid=7866 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7868/stat : 7868 (runPb2satCp2.sh) S 7866 7868 3829 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 276847418 9367552 275 33554432000 4194304 5064252 140734135064720 140734135063632 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7868/statm: 2287 275 233 213 0 72 0
[pid=7870] ppid=7868 vsize=290884 CPUtime=3.82 cores=0,2,4,6
/proc/7870/stat : 7870 (pb2sat) S 7868 7868 3829 0 -1 4202496 12046 4565 0 0 298 59 24 1 20 0 1 0 276847418 297865216 44934 33554432000 4194304 5873084 140734602006880 140734602000696 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 10 0 0
/proc/7870/statm: 72721 44934 180 410 0 72303 0
[pid=7896] ppid=7870 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7896/stat : 7896 (satsolver.sh) S 7870 7868 3829 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 276847849 9367552 267 33554432000 4194304 5064252 140734916108432 140734916107344 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/7896/statm: 2287 267 226 213 0 72 0
[pid=7897] ppid=7896 vsize=647332 CPUtime=1777.6 cores=0,2,4,6
/proc/7897/stat : 7897 (glucose_static) R 7896 7868 3829 0 -1 4202496 134054 0 0 0 177563 197 0 0 20 0 1 0 276847850 662867968 134315 33554432000 4194304 4896791 140736891839568 140736891835304 4225151 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/7897/statm: 161833 134315 78 172 0 161659 0
Current children cumulated CPU time (s) 1781.42
Current children cumulated vsize (KiB) 956512
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.9 s]
/proc/loadavg: 2.00 2.00 2.00 5/182 7912
/proc/meminfo: memFree=28788308/32873648 swapFree=7368/7368
[pid=7868] ppid=7866 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7868/stat : 7868 (runPb2satCp2.sh) S 7866 7868 3829 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 276847418 9367552 275 33554432000 4194304 5064252 140734135064720 140734135063632 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7868/statm: 2287 275 233 213 0 72 0
[pid=7870] ppid=7868 vsize=290884 CPUtime=3.82 cores=0,2,4,6
/proc/7870/stat : 7870 (pb2sat) S 7868 7868 3829 0 -1 4202496 12046 4565 0 0 298 59 24 1 20 0 1 0 276847418 297865216 44934 33554432000 4194304 5873084 140734602006880 140734602000696 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 10 0 0
/proc/7870/statm: 72721 44934 180 410 0 72303 0
[pid=7896] ppid=7870 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7896/stat : 7896 (satsolver.sh) S 7870 7868 3829 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 276847849 9367552 267 33554432000 4194304 5064252 140734916108432 140734916107344 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/7896/statm: 2287 267 226 213 0 72 0
[pid=7897] ppid=7896 vsize=648012 CPUtime=1796.2 cores=0,2,4,6
/proc/7897/stat : 7897 (glucose_static) R 7896 7868 3829 0 -1 4202496 134422 0 0 0 179423 197 0 0 20 0 1 0 276847850 663564288 139277 33554432000 4194304 4896791 140736891839568 140736891835240 4224983 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/7897/statm: 162003 139277 78 172 0 161829 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 957192
Sending SIGTERM to process tree (bottom up)
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 7868 and gives
# childrusage.ru_utime.tv_sec=3
# childrusage.ru_utime.tv_usec=229509
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=616906
# CPU time returned by wait4() is 3.84642
# while last known CPU time is 1800.02
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800.91
CPU time (s): 1800.02
CPU user time (s): 1797.45
CPU system time (s): 2.57
CPU usage (%): 99.9503
Max. virtual memory (cumulated for all children) (KiB): 1086740
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.22951
system time used= 0.616906
maximum resident set size= 330812
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17589
page faults= 0
swaps= 0
block input operations= 0
block output operations= 320128
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 15
involuntary context switches= 30
runsolver used 3.32649 second user time and 8.78566 second system time
The end