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-3694615-1338150146/watcher-3694615-1338150146 -o /tmp/evaluation-result-3694615-1338150146/solver-3694615-1338150146 -C 1800 -W 1900 -M 15500 HOME/runPb2satCp2.sh HOME/instance-3694615-1338150146.opb 599563575 HOME HOME
running on 4 cores: 1,3,5,7
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.01 2.00 2.00 3/179 12491
/proc/meminfo: memFree=26998904/32873844 swapFree=7384/7384
[pid=12491] ppid=12489 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12491/stat : 12491 (runPb2satCp2.sh) S 12489 12491 10638 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 281140042 9367552 275 33554432000 4194304 5064252 140734382966032 140734382964944 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12491/statm: 2287 275 233 213 0 72 0
[startup+0.065625 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 12491
/proc/meminfo: memFree=26998904/32873844 swapFree=7384/7384
[pid=12491] ppid=12489 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12491/stat : 12491 (runPb2satCp2.sh) S 12489 12491 10638 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 281140042 9367552 275 33554432000 4194304 5064252 140734382966032 140734382964944 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12491/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100306 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 12491
/proc/meminfo: memFree=26998904/32873844 swapFree=7384/7384
[pid=12491] ppid=12489 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12491/stat : 12491 (runPb2satCp2.sh) S 12489 12491 10638 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 281140042 9367552 275 33554432000 4194304 5064252 140734382966032 140734382964944 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12491/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300309 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 12491
/proc/meminfo: memFree=26998904/32873844 swapFree=7384/7384
[pid=12491] ppid=12489 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12491/stat : 12491 (runPb2satCp2.sh) S 12489 12491 10638 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 281140042 9367552 275 33554432000 4194304 5064252 140734382966032 140734382964944 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12491/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700307 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 12491
/proc/meminfo: memFree=26998904/32873844 swapFree=7384/7384
[pid=12491] ppid=12489 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12491/stat : 12491 (runPb2satCp2.sh) S 12489 12491 10638 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 281140042 9367552 275 33554432000 4194304 5064252 140734382966032 140734382964944 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12491/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50032 s]
/proc/loadavg: 2.01 2.00 2.00 3/181 12496
/proc/meminfo: memFree=26952672/32873844 swapFree=7384/7384
[pid=12491] ppid=12489 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12491/stat : 12491 (runPb2satCp2.sh) S 12489 12491 10638 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 281140042 9367552 275 33554432000 4194304 5064252 140734382966032 140734382964944 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12491/statm: 2287 275 233 213 0 72 0
[pid=12492] ppid=12491 vsize=82960 CPUtime=1.3 cores=1,3,5,7
/proc/12492/stat : 12492 (pb2sat) S 12491 12491 10638 0 -1 4202496 7915 4394 0 0 82 25 22 1 20 0 1 0 281140043 84951040 14459 33554432000 4194304 5873084 140737007270080 140737007263896 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/12492/statm: 20740 14459 183 410 0 20322 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 92108
[startup+3.10046 s]
/proc/loadavg: 2.01 2.00 2.00 3/183 12498
/proc/meminfo: memFree=26779692/32873844 swapFree=7384/7384
[pid=12491] ppid=12489 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12491/stat : 12491 (runPb2satCp2.sh) S 12489 12491 10638 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 281140042 9367552 275 33554432000 4194304 5064252 140734382966032 140734382964944 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12491/statm: 2287 275 233 213 0 72 0
[pid=12492] ppid=12491 vsize=82960 CPUtime=1.3 cores=1,3,5,7
/proc/12492/stat : 12492 (pb2sat) S 12491 12491 10638 0 -1 4202496 7915 4394 0 0 82 25 22 1 20 0 1 0 281140043 84951040 14459 33554432000 4194304 5873084 140737007270080 140737007263896 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/12492/statm: 20740 14459 183 410 0 20322 0
[pid=12497] ppid=12492 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12497/stat : 12497 (satsolver.sh) S 12492 12491 10638 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 281140176 9367552 266 33554432000 4194304 5064252 140736024330176 140736024329088 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12497/statm: 2287 266 226 213 0 72 0
[pid=12498] ppid=12497 vsize=126956 CPUtime=1.75 cores=1,3,5,7
/proc/12498/stat : 12498 (glucose_static) R 12497 12491 10638 0 -1 4202496 26163 0 0 0 169 6 0 0 20 0 1 0 281140176 130002944 29054 33554432000 4194304 4896791 140737204821696 140737204818904 4224983 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12498/statm: 31739 29054 76 172 0 31565 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 228212
[startup+6.30046 s]
/proc/loadavg: 2.01 2.00 2.00 3/183 12498
/proc/meminfo: memFree=26776840/32873844 swapFree=7384/7384
[pid=12491] ppid=12489 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12491/stat : 12491 (runPb2satCp2.sh) S 12489 12491 10638 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 281140042 9367552 275 33554432000 4194304 5064252 140734382966032 140734382964944 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12491/statm: 2287 275 233 213 0 72 0
[pid=12492] ppid=12491 vsize=82960 CPUtime=1.3 cores=1,3,5,7
/proc/12492/stat : 12492 (pb2sat) S 12491 12491 10638 0 -1 4202496 7915 4394 0 0 82 25 22 1 20 0 1 0 281140043 84951040 14459 33554432000 4194304 5873084 140737007270080 140737007263896 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/12492/statm: 20740 14459 183 410 0 20322 0
[pid=12497] ppid=12492 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12497/stat : 12497 (satsolver.sh) S 12492 12491 10638 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 281140176 9367552 266 33554432000 4194304 5064252 140736024330176 140736024329088 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12497/statm: 2287 266 226 213 0 72 0
[pid=12498] ppid=12497 vsize=127484 CPUtime=4.96 cores=1,3,5,7
/proc/12498/stat : 12498 (glucose_static) R 12497 12491 10638 0 -1 4202496 26318 0 0 0 489 7 0 0 20 0 1 0 281140176 130543616 29209 33554432000 4194304 4896791 140737204821696 140737204818904 4225029 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12498/statm: 31871 29209 78 172 0 31697 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 228740
[startup+12.7005 s]
/proc/loadavg: 2.01 2.00 2.00 3/183 12498
/proc/meminfo: memFree=26776344/32873844 swapFree=7384/7384
[pid=12491] ppid=12489 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12491/stat : 12491 (runPb2satCp2.sh) S 12489 12491 10638 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 281140042 9367552 275 33554432000 4194304 5064252 140734382966032 140734382964944 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12491/statm: 2287 275 233 213 0 72 0
[pid=12492] ppid=12491 vsize=82960 CPUtime=1.3 cores=1,3,5,7
/proc/12492/stat : 12492 (pb2sat) S 12491 12491 10638 0 -1 4202496 7915 4394 0 0 82 25 22 1 20 0 1 0 281140043 84951040 14459 33554432000 4194304 5873084 140737007270080 140737007263896 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/12492/statm: 20740 14459 183 410 0 20322 0
[pid=12497] ppid=12492 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12497/stat : 12497 (satsolver.sh) S 12492 12491 10638 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 281140176 9367552 266 33554432000 4194304 5064252 140736024330176 140736024329088 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12497/statm: 2287 266 226 213 0 72 0
[pid=12498] ppid=12497 vsize=127760 CPUtime=11.36 cores=1,3,5,7
/proc/12498/stat : 12498 (glucose_static) R 12497 12491 10638 0 -1 4202496 26363 0 0 0 1129 7 0 0 20 0 1 0 281140176 130826240 29254 33554432000 4194304 4896791 140737204821696 140737204819016 4225029 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12498/statm: 31940 29254 78 172 0 31766 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 229016
[startup+25.5005 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 12498
/proc/meminfo: memFree=26771140/32873844 swapFree=7384/7384
[pid=12491] ppid=12489 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12491/stat : 12491 (runPb2satCp2.sh) S 12489 12491 10638 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 281140042 9367552 275 33554432000 4194304 5064252 140734382966032 140734382964944 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12491/statm: 2287 275 233 213 0 72 0
[pid=12492] ppid=12491 vsize=82960 CPUtime=1.3 cores=1,3,5,7
/proc/12492/stat : 12492 (pb2sat) S 12491 12491 10638 0 -1 4202496 7915 4394 0 0 82 25 22 1 20 0 1 0 281140043 84951040 14459 33554432000 4194304 5873084 140737007270080 140737007263896 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/12492/statm: 20740 14459 183 410 0 20322 0
[pid=12497] ppid=12492 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12497/stat : 12497 (satsolver.sh) S 12492 12491 10638 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 281140176 9367552 266 33554432000 4194304 5064252 140736024330176 140736024329088 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12497/statm: 2287 266 226 213 0 72 0
[pid=12498] ppid=12497 vsize=129092 CPUtime=24.15 cores=1,3,5,7
/proc/12498/stat : 12498 (glucose_static) R 12497 12491 10638 0 -1 4202496 26817 0 0 0 2408 7 0 0 20 0 1 0 281140176 132190208 30730 33554432000 4194304 4896791 140737204821696 140737204818904 4225029 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12498/statm: 32273 30730 78 172 0 32099 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 230348
[startup+51.1005 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 12498
/proc/meminfo: memFree=26770892/32873844 swapFree=7384/7384
[pid=12491] ppid=12489 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12491/stat : 12491 (runPb2satCp2.sh) S 12489 12491 10638 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 281140042 9367552 275 33554432000 4194304 5064252 140734382966032 140734382964944 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12491/statm: 2287 275 233 213 0 72 0
[pid=12492] ppid=12491 vsize=82960 CPUtime=1.3 cores=1,3,5,7
/proc/12492/stat : 12492 (pb2sat) S 12491 12491 10638 0 -1 4202496 7915 4394 0 0 82 25 22 1 20 0 1 0 281140043 84951040 14459 33554432000 4194304 5873084 140737007270080 140737007263896 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/12492/statm: 20740 14459 183 410 0 20322 0
[pid=12497] ppid=12492 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12497/stat : 12497 (satsolver.sh) S 12492 12491 10638 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 281140176 9367552 266 33554432000 4194304 5064252 140736024330176 140736024329088 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12497/statm: 2287 266 226 213 0 72 0
[pid=12498] ppid=12497 vsize=129356 CPUtime=49.75 cores=1,3,5,7
/proc/12498/stat : 12498 (glucose_static) R 12497 12491 10638 0 -1 4202496 26874 0 0 0 4968 7 0 0 20 0 1 0 281140176 132460544 30787 33554432000 4194304 4896791 140737204821696 140737204818904 4225029 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12498/statm: 32339 30787 78 172 0 32165 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 230612
[startup+102.307 s]
/proc/loadavg: 2.01 2.00 2.00 3/183 12543
/proc/meminfo: memFree=27950916/32873844 swapFree=7384/7384
[pid=12491] ppid=12489 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12491/stat : 12491 (runPb2satCp2.sh) S 12489 12491 10638 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 281140042 9367552 275 33554432000 4194304 5064252 140734382966032 140734382964944 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12491/statm: 2287 275 233 213 0 72 0
[pid=12492] ppid=12491 vsize=82960 CPUtime=1.3 cores=1,3,5,7
/proc/12492/stat : 12492 (pb2sat) S 12491 12491 10638 0 -1 4202496 7915 4394 0 0 82 25 22 1 20 0 1 0 281140043 84951040 14459 33554432000 4194304 5873084 140737007270080 140737007263896 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/12492/statm: 20740 14459 183 410 0 20322 0
[pid=12497] ppid=12492 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12497/stat : 12497 (satsolver.sh) S 12492 12491 10638 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 281140176 9367552 266 33554432000 4194304 5064252 140736024330176 140736024329088 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12497/statm: 2287 266 226 213 0 72 0
[pid=12498] ppid=12497 vsize=148724 CPUtime=100.94 cores=1,3,5,7
/proc/12498/stat : 12498 (glucose_static) R 12497 12491 10638 0 -1 4202496 27106 0 0 0 10087 7 0 0 20 0 1 0 281140176 152293376 31526 33554432000 4194304 4896791 140737204821696 140737204818984 4224983 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12498/statm: 37181 31526 78 172 0 37007 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 249980
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 12543
/proc/meminfo: memFree=27944012/32873844 swapFree=7384/7384
[pid=12491] ppid=12489 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12491/stat : 12491 (runPb2satCp2.sh) S 12489 12491 10638 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 281140042 9367552 275 33554432000 4194304 5064252 140734382966032 140734382964944 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12491/statm: 2287 275 233 213 0 72 0
[pid=12492] ppid=12491 vsize=82960 CPUtime=1.3 cores=1,3,5,7
/proc/12492/stat : 12492 (pb2sat) S 12491 12491 10638 0 -1 4202496 7915 4394 0 0 82 25 22 1 20 0 1 0 281140043 84951040 14459 33554432000 4194304 5873084 140737007270080 140737007263896 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/12492/statm: 20740 14459 183 410 0 20322 0
[pid=12497] ppid=12492 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12497/stat : 12497 (satsolver.sh) S 12492 12491 10638 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 281140176 9367552 266 33554432000 4194304 5064252 140736024330176 140736024329088 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12497/statm: 2287 266 226 213 0 72 0
[pid=12498] ppid=12497 vsize=149136 CPUtime=160.91 cores=1,3,5,7
/proc/12498/stat : 12498 (glucose_static) R 12497 12491 10638 0 -1 4202496 27233 0 0 0 16084 7 0 0 20 0 1 0 281140176 152715264 32152 33554432000 4194304 4896791 140737204821696 140737204819016 4225029 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12498/statm: 37284 32152 78 172 0 37110 0
Current children cumulated CPU time (s) 162.21
################
# More data... #
################
/proc/12547/stat : 12547 (glucose_static) R 12546 12491 10638 0 -1 4202496 35889 0 0 0 97232 19 0 0 20 0 1 0 281185004 140881920 32778 33554432000 4194304 4896791 140735298137584 140735298135160 4203780 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12547/statm: 34395 32778 78 172 0 34221 0
Current children cumulated CPU time (s) 1421.98
Current children cumulated vsize (KiB) 235684
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 12557
/proc/meminfo: memFree=27876324/32873844 swapFree=7384/7384
[pid=12491] ppid=12489 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12491/stat : 12491 (runPb2satCp2.sh) S 12489 12491 10638 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 281140042 9367552 275 33554432000 4194304 5064252 140734382966032 140734382964944 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12491/statm: 2287 275 233 213 0 72 0
[pid=12492] ppid=12491 vsize=79808 CPUtime=449.47 cores=1,3,5,7
/proc/12492/stat : 12492 (pb2sat) S 12491 12491 10638 0 -1 4202496 14550 34966 0 0 148 35 44749 15 20 0 1 0 281140043 81723392 13703 33554432000 4194304 5873084 140737007270080 140737007263896 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/12492/statm: 19952 13703 183 410 0 19534 0
[pid=12546] ppid=12492 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12546/stat : 12546 (satsolver.sh) S 12492 12491 10638 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 281185003 9367552 266 33554432000 4194304 5064252 140735127464832 140735127463744 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12546/statm: 2287 266 226 213 0 72 0
[pid=12547] ppid=12546 vsize=157208 CPUtime=1032.48 cores=1,3,5,7
/proc/12547/stat : 12547 (glucose_static) R 12546 12491 10638 0 -1 4202496 36950 0 0 0 103229 19 0 0 20 0 1 0 281185004 160980992 35106 33554432000 4194304 4896791 140735298137584 140735298134792 4224983 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12547/statm: 39302 35106 78 172 0 39128 0
Current children cumulated CPU time (s) 1481.95
Current children cumulated vsize (KiB) 255312
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 12560
/proc/meminfo: memFree=27871980/32873844 swapFree=7384/7384
[pid=12491] ppid=12489 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12491/stat : 12491 (runPb2satCp2.sh) S 12489 12491 10638 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 281140042 9367552 275 33554432000 4194304 5064252 140734382966032 140734382964944 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12491/statm: 2287 275 233 213 0 72 0
[pid=12492] ppid=12491 vsize=79808 CPUtime=1491.55 cores=1,3,5,7
/proc/12492/stat : 12492 (pb2sat) S 12491 12491 10638 0 -1 4202496 21327 73172 0 0 216 44 148858 37 20 0 1 0 281140043 81723392 13703 33554432000 4194304 5873084 140737007270080 140737007263896 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/12492/statm: 19952 13703 183 410 0 19534 0
[pid=12559] ppid=12492 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12559/stat : 12559 (satsolver.sh) S 12492 12491 10638 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 281289232 9367552 266 33554432000 4194304 5064252 140734537232112 140734537231024 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12559/statm: 2287 266 226 213 0 72 0
[pid=12560] ppid=12559 vsize=127988 CPUtime=50.36 cores=1,3,5,7
/proc/12560/stat : 12560 (glucose_static) R 12559 12491 10638 0 -1 4202496 26652 0 0 0 5028 8 0 0 20 0 1 0 281289232 131059712 30041 33554432000 4194304 4896791 140734550962576 140734550959784 4225008 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12560/statm: 31997 30041 78 172 0 31823 0
Current children cumulated CPU time (s) 1541.91
Current children cumulated vsize (KiB) 226092
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 12560
/proc/meminfo: memFree=27895984/32873844 swapFree=7384/7384
[pid=12491] ppid=12489 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12491/stat : 12491 (runPb2satCp2.sh) S 12489 12491 10638 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 281140042 9367552 275 33554432000 4194304 5064252 140734382966032 140734382964944 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12491/statm: 2287 275 233 213 0 72 0
[pid=12492] ppid=12491 vsize=79808 CPUtime=1491.55 cores=1,3,5,7
/proc/12492/stat : 12492 (pb2sat) S 12491 12491 10638 0 -1 4202496 21327 73172 0 0 216 44 148858 37 20 0 1 0 281140043 81723392 13703 33554432000 4194304 5873084 140737007270080 140737007263896 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/12492/statm: 19952 13703 183 410 0 19534 0
[pid=12559] ppid=12492 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12559/stat : 12559 (satsolver.sh) S 12492 12491 10638 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 281289232 9367552 266 33554432000 4194304 5064252 140734537232112 140734537231024 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12559/statm: 2287 266 226 213 0 72 0
[pid=12560] ppid=12559 vsize=148080 CPUtime=110.35 cores=1,3,5,7
/proc/12560/stat : 12560 (glucose_static) R 12559 12491 10638 0 -1 4202496 27573 0 0 0 11026 9 0 0 20 0 1 0 281289232 151633920 31324 33554432000 4194304 4896791 140734550962576 140734550959784 4224983 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12560/statm: 37020 31324 78 172 0 36846 0
Current children cumulated CPU time (s) 1601.9
Current children cumulated vsize (KiB) 246184
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 12563
/proc/meminfo: memFree=27872600/32873844 swapFree=7384/7384
[pid=12491] ppid=12489 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12491/stat : 12491 (runPb2satCp2.sh) S 12489 12491 10638 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 281140042 9367552 275 33554432000 4194304 5064252 140734382966032 140734382964944 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12491/statm: 2287 275 233 213 0 72 0
[pid=12492] ppid=12491 vsize=79808 CPUtime=1491.55 cores=1,3,5,7
/proc/12492/stat : 12492 (pb2sat) S 12491 12491 10638 0 -1 4202496 21327 73172 0 0 216 44 148858 37 20 0 1 0 281140043 81723392 13703 33554432000 4194304 5873084 140737007270080 140737007263896 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/12492/statm: 19952 13703 183 410 0 19534 0
[pid=12559] ppid=12492 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12559/stat : 12559 (satsolver.sh) S 12492 12491 10638 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 281289232 9367552 266 33554432000 4194304 5064252 140734537232112 140734537231024 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12559/statm: 2287 266 226 213 0 72 0
[pid=12560] ppid=12559 vsize=148616 CPUtime=170.34 cores=1,3,5,7
/proc/12560/stat : 12560 (glucose_static) R 12559 12491 10638 0 -1 4202496 28255 0 0 0 17023 11 0 0 20 0 1 0 281289232 152182784 31068 33554432000 4194304 4896791 140734550962576 140734550960104 4225029 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12560/statm: 37154 31068 78 172 0 36980 0
Current children cumulated CPU time (s) 1661.89
Current children cumulated vsize (KiB) 246720
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 12564
/proc/meminfo: memFree=27864436/32873844 swapFree=7384/7384
[pid=12491] ppid=12489 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12491/stat : 12491 (runPb2satCp2.sh) S 12489 12491 10638 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 281140042 9367552 275 33554432000 4194304 5064252 140734382966032 140734382964944 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12491/statm: 2287 275 233 213 0 72 0
[pid=12492] ppid=12491 vsize=79808 CPUtime=1491.55 cores=1,3,5,7
/proc/12492/stat : 12492 (pb2sat) S 12491 12491 10638 0 -1 4202496 21327 73172 0 0 216 44 148858 37 20 0 1 0 281140043 81723392 13703 33554432000 4194304 5873084 140737007270080 140737007263896 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/12492/statm: 19952 13703 183 410 0 19534 0
[pid=12559] ppid=12492 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12559/stat : 12559 (satsolver.sh) S 12492 12491 10638 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 281289232 9367552 266 33554432000 4194304 5064252 140734537232112 140734537231024 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12559/statm: 2287 266 226 213 0 72 0
[pid=12560] ppid=12559 vsize=149304 CPUtime=230.34 cores=1,3,5,7
/proc/12560/stat : 12560 (glucose_static) R 12559 12491 10638 0 -1 4202496 28828 0 0 0 23022 12 0 0 20 0 1 0 281289232 152887296 33169 33554432000 4194304 4896791 140734550962576 140734550959944 4225029 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12560/statm: 37326 33169 78 172 0 37152 0
Current children cumulated CPU time (s) 1721.89
Current children cumulated vsize (KiB) 247408
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 12564
/proc/meminfo: memFree=27877936/32873844 swapFree=7384/7384
[pid=12491] ppid=12489 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12491/stat : 12491 (runPb2satCp2.sh) S 12489 12491 10638 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 281140042 9367552 275 33554432000 4194304 5064252 140734382966032 140734382964944 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12491/statm: 2287 275 233 213 0 72 0
[pid=12492] ppid=12491 vsize=79808 CPUtime=1491.55 cores=1,3,5,7
/proc/12492/stat : 12492 (pb2sat) S 12491 12491 10638 0 -1 4202496 21327 73172 0 0 216 44 148858 37 20 0 1 0 281140043 81723392 13703 33554432000 4194304 5873084 140737007270080 140737007263896 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/12492/statm: 19952 13703 183 410 0 19534 0
[pid=12559] ppid=12492 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12559/stat : 12559 (satsolver.sh) S 12492 12491 10638 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 281289232 9367552 266 33554432000 4194304 5064252 140734537232112 140734537231024 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12559/statm: 2287 266 226 213 0 72 0
[pid=12560] ppid=12559 vsize=150688 CPUtime=290.33 cores=1,3,5,7
/proc/12560/stat : 12560 (glucose_static) R 12559 12491 10638 0 -1 4202496 29907 0 0 0 29019 14 0 0 20 0 1 0 281289232 154304512 31783 33554432000 4194304 4896791 140734550962576 140734550959720 4205066 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12560/statm: 37672 31783 78 172 0 37498 0
Current children cumulated CPU time (s) 1781.88
Current children cumulated vsize (KiB) 248792
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 12564
/proc/meminfo: memFree=27857772/32873844 swapFree=7384/7384
[pid=12491] ppid=12489 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12491/stat : 12491 (runPb2satCp2.sh) S 12489 12491 10638 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 281140042 9367552 275 33554432000 4194304 5064252 140734382966032 140734382964944 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12491/statm: 2287 275 233 213 0 72 0
[pid=12492] ppid=12491 vsize=79808 CPUtime=1491.55 cores=1,3,5,7
/proc/12492/stat : 12492 (pb2sat) S 12491 12491 10638 0 -1 4202496 21327 73172 0 0 216 44 148858 37 20 0 1 0 281140043 81723392 13703 33554432000 4194304 5873084 140737007270080 140737007263896 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/12492/statm: 19952 13703 183 410 0 19534 0
[pid=12559] ppid=12492 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12559/stat : 12559 (satsolver.sh) S 12492 12491 10638 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 281289232 9367552 266 33554432000 4194304 5064252 140734537232112 140734537231024 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12559/statm: 2287 266 226 213 0 72 0
[pid=12560] ppid=12559 vsize=151880 CPUtime=308.54 cores=1,3,5,7
/proc/12560/stat : 12560 (glucose_static) R 12559 12491 10638 0 -1 4202496 30423 0 0 0 30839 15 0 0 20 0 1 0 281289232 155525120 33827 33554432000 4194304 4896791 140734550962576 140734550959784 4225029 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12560/statm: 37970 33827 78 172 0 37796 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 249984
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
[startup+1800.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 12564
/proc/meminfo: memFree=27857772/32873844 swapFree=7384/7384
[pid=12491] ppid=12489 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12491/stat : 12491 (runPb2satCp2.sh) S 12489 12491 10638 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 281140042 9367552 275 33554432000 4194304 5064252 140734382966032 140734382964944 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12491/statm: 2287 275 233 213 0 72 0
[pid=12492] ppid=12491 vsize=79808 CPUtime=1491.55 cores=1,3,5,7
/proc/12492/stat : 12492 (pb2sat) S 12491 12491 10638 0 -1 4202496 21327 73172 0 0 216 44 148858 37 20 0 1 0 281140043 81723392 13703 33554432000 4194304 5873084 140737007270080 140737007263896 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/12492/statm: 19952 13703 183 410 0 19534 0
[pid=12559] ppid=12492 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12559/stat : 12559 (satsolver.sh) S 12492 12491 10638 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 281289232 9367552 266 33554432000 4194304 5064252 140734537232112 140734537231024 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12559/statm: 2287 266 226 213 0 72 0
[pid=12560] ppid=12559 vsize=151880 CPUtime=308.54 cores=1,3,5,7
/proc/12560/stat : 12560 (glucose_static) R 12559 12491 10638 0 -1 4202496 30423 0 0 0 30839 15 0 0 20 0 1 0 281289232 155525120 33827 33554432000 4194304 4896791 140734550962576 140734550959784 4225029 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12560/statm: 37970 33827 78 172 0 37796 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 249984
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 12491 and gives
# childrusage.ru_utime.tv_sec=1490
# childrusage.ru_utime.tv_usec=749371
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=827874
# CPU time returned by wait4() is 1491.58
# while last known CPU time is 1800.09
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800.51
CPU time (s): 1800.09
CPU user time (s): 1799.13
CPU system time (s): 0.96
CPU usage (%): 99.9764
Max. virtual memory (cumulated for all children) (KiB): 285004
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1490.75
system time used= 0.827874
maximum resident set size= 168992
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 95476
page faults= 0
swaps= 0
block input operations= 0
block output operations= 276024
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 156
involuntary context switches= 1551
runsolver used 3.34649 second user time and 8.5777 second system time
The end