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-3694883-1338063729/watcher-3694883-1338063729 -o /tmp/evaluation-result-3694883-1338063729/solver-3694883-1338063729 -C 1800 -W 1900 -M 15500 HOME/runPb2satCp2.sh HOME/instance-3694883-1338063729.opb 1997504498 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.06 2.08 2.02 3/179 8211
/proc/meminfo: memFree=28864904/32873844 swapFree=7116/7116
[pid=8211] ppid=8209 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8211/stat : 8211 (runPb2satCp2.sh) S 8209 8211 6780 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272497830 9367552 274 33554432000 4194304 5064252 140734728413648 140734728412560 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8211/statm: 2287 274 233 213 0 72 0
[startup+0.105463 s]
/proc/loadavg: 2.06 2.08 2.02 3/179 8211
/proc/meminfo: memFree=28864904/32873844 swapFree=7116/7116
[pid=8211] ppid=8209 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8211/stat : 8211 (runPb2satCp2.sh) S 8209 8211 6780 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272497830 9367552 274 33554432000 4194304 5064252 140734728413648 140734728412560 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8211/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.200222 s]
/proc/loadavg: 2.06 2.08 2.02 3/179 8211
/proc/meminfo: memFree=28864904/32873844 swapFree=7116/7116
[pid=8211] ppid=8209 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8211/stat : 8211 (runPb2satCp2.sh) S 8209 8211 6780 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272497830 9367552 274 33554432000 4194304 5064252 140734728413648 140734728412560 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8211/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.30022 s]
/proc/loadavg: 2.06 2.08 2.02 3/179 8211
/proc/meminfo: memFree=28864904/32873844 swapFree=7116/7116
[pid=8211] ppid=8209 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8211/stat : 8211 (runPb2satCp2.sh) S 8209 8211 6780 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272497830 9367552 274 33554432000 4194304 5064252 140734728413648 140734728412560 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8211/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.70019 s]
/proc/loadavg: 2.06 2.08 2.02 3/179 8211
/proc/meminfo: memFree=28864904/32873844 swapFree=7116/7116
[pid=8211] ppid=8209 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8211/stat : 8211 (runPb2satCp2.sh) S 8209 8211 6780 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272497830 9367552 274 33554432000 4194304 5064252 140734728413648 140734728412560 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8211/statm: 2287 274 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.06 2.08 2.02 3/183 8218
/proc/meminfo: memFree=28817392/32873844 swapFree=7116/7116
[pid=8211] ppid=8209 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8211/stat : 8211 (runPb2satCp2.sh) S 8209 8211 6780 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272497830 9367552 274 33554432000 4194304 5064252 140734728413648 140734728412560 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8211/statm: 2287 274 233 213 0 72 0
[pid=8212] ppid=8211 vsize=13896 CPUtime=1.3 cores=1,3,5,7
/proc/8212/stat : 8212 (pb2sat) S 8211 8211 6780 0 -1 4202496 5357 12605 0 0 64 18 45 3 20 0 1 0 272497830 14229504 2766 33554432000 4194304 5873084 140735209842976 140735209836792 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/8212/statm: 3474 2766 172 410 0 3056 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 23044
[startup+3.10044 s]
/proc/loadavg: 2.06 2.08 2.02 3/183 8221
/proc/meminfo: memFree=28812040/32873844 swapFree=7116/7116
[pid=8211] ppid=8209 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8211/stat : 8211 (runPb2satCp2.sh) S 8209 8211 6780 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272497830 9367552 274 33554432000 4194304 5064252 140734728413648 140734728412560 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8211/statm: 2287 274 233 213 0 72 0
[pid=8212] ppid=8211 vsize=13896 CPUtime=1.3 cores=1,3,5,7
/proc/8212/stat : 8212 (pb2sat) S 8211 8211 6780 0 -1 4202496 5357 12605 0 0 64 18 45 3 20 0 1 0 272497830 14229504 2766 33554432000 4194304 5873084 140735209842976 140735209836792 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/8212/statm: 3474 2766 172 410 0 3056 0
[pid=8220] ppid=8212 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8220/stat : 8220 (satsolver.sh) S 8212 8211 6780 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 272497963 9367552 266 33554432000 4194304 5064252 140737314206656 140737314205568 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8220/statm: 2287 266 226 213 0 72 0
[pid=8221] ppid=8220 vsize=37948 CPUtime=1.76 cores=1,3,5,7
/proc/8221/stat : 8221 (glucose_static) R 8220 8211 6780 0 -1 4202496 10174 0 0 0 175 1 0 0 20 0 1 0 272497963 38858752 8377 33554432000 4194304 4896791 140733542817952 140733542815464 4224706 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8221/statm: 9487 8377 76 172 0 9313 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 70140
[startup+6.30042 s]
/proc/loadavg: 2.06 2.08 2.02 3/183 8224
/proc/meminfo: memFree=28809368/32873844 swapFree=7116/7116
[pid=8211] ppid=8209 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8211/stat : 8211 (runPb2satCp2.sh) S 8209 8211 6780 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272497830 9367552 274 33554432000 4194304 5064252 140734728413648 140734728412560 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8211/statm: 2287 274 233 213 0 72 0
[pid=8212] ppid=8211 vsize=13896 CPUtime=4.74 cores=1,3,5,7
/proc/8212/stat : 8212 (pb2sat) S 8211 8211 6780 0 -1 4202496 7508 25129 0 0 83 19 366 6 20 0 1 0 272497830 14229504 2766 33554432000 4194304 5873084 140735209842976 140735209836792 5124602 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8212/statm: 3474 2766 172 410 0 3056 0
[pid=8223] ppid=8212 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8223/stat : 8223 (satsolver.sh) S 8212 8211 6780 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 272498331 9367552 267 33554432000 4194304 5064252 140735610405904 140735610404816 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/8223/statm: 2287 267 226 213 0 72 0
[pid=8224] ppid=8223 vsize=37900 CPUtime=1.28 cores=1,3,5,7
/proc/8224/stat : 8224 (glucose_static) R 8223 8211 6780 0 -1 4202496 8688 0 0 0 127 1 0 0 20 0 1 0 272498331 38809600 8355 33554432000 4194304 4896791 140734097157584 140734097155096 4223862 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/8224/statm: 9475 8355 76 172 0 9301 0
Current children cumulated CPU time (s) 6.02
Current children cumulated vsize (KiB) 70092
[startup+12.7004 s]
/proc/loadavg: 2.05 2.08 2.02 3/183 8227
/proc/meminfo: memFree=28798832/32873844 swapFree=7116/7116
[pid=8211] ppid=8209 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8211/stat : 8211 (runPb2satCp2.sh) S 8209 8211 6780 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272497830 9367552 274 33554432000 4194304 5064252 140734728413648 140734728412560 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8211/statm: 2287 274 233 213 0 72 0
[pid=8212] ppid=8211 vsize=13896 CPUtime=10.19 cores=1,3,5,7
/proc/8212/stat : 8212 (pb2sat) S 8211 8211 6780 0 -1 4202496 9659 38257 0 0 102 20 888 9 20 0 1 0 272497830 14229504 2766 33554432000 4194304 5873084 140735209842976 140735209836792 5124602 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8212/statm: 3474 2766 172 410 0 3056 0
[pid=8226] ppid=8212 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8226/stat : 8226 (satsolver.sh) S 8212 8211 6780 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 272498876 9367552 267 33554432000 4194304 5064252 140736206779824 140736206778736 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/8226/statm: 2287 267 226 213 0 72 0
[pid=8227] ppid=8226 vsize=37944 CPUtime=2.22 cores=1,3,5,7
/proc/8227/stat : 8227 (glucose_static) R 8226 8211 6780 0 -1 4202496 10484 0 0 0 221 1 0 0 20 0 1 0 272498877 38854656 8868 33554432000 4194304 4896791 140735609759360 140735609756872 4224983 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8227/statm: 9486 8868 76 172 0 9312 0
Current children cumulated CPU time (s) 12.41
Current children cumulated vsize (KiB) 70136
[startup+25.5005 s]
/proc/loadavg: 2.04 2.08 2.02 3/183 8230
/proc/meminfo: memFree=28790532/32873844 swapFree=7116/7116
[pid=8211] ppid=8209 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8211/stat : 8211 (runPb2satCp2.sh) S 8209 8211 6780 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272497830 9367552 274 33554432000 4194304 5064252 140734728413648 140734728412560 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8211/statm: 2287 274 233 213 0 72 0
[pid=8212] ppid=8211 vsize=13896 CPUtime=23.39 cores=1,3,5,7
/proc/8212/stat : 8212 (pb2sat) S 8211 8211 6780 0 -1 4202496 11811 57939 0 0 121 20 2184 14 20 0 1 0 272497830 14229504 2766 33554432000 4194304 5873084 140735209842976 140735209836792 5124602 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8212/statm: 3474 2766 172 410 0 3056 0
[pid=8229] ppid=8212 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8229/stat : 8229 (satsolver.sh) S 8212 8211 6780 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 272500197 9367552 266 33554432000 4194304 5064252 140733366780336 140733366779248 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/8229/statm: 2287 266 226 213 0 72 0
[pid=8230] ppid=8229 vsize=37940 CPUtime=1.81 cores=1,3,5,7
/proc/8230/stat : 8230 (glucose_static) R 8229 8211 6780 0 -1 4202496 9896 0 0 0 180 1 0 0 20 0 1 0 272500197 38850560 8374 33554432000 4194304 4896791 140734754792688 140734754790200 4224844 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/8230/statm: 9485 8374 76 172 0 9311 0
Current children cumulated CPU time (s) 25.2
Current children cumulated vsize (KiB) 70132
[startup+51.1006 s]
/proc/loadavg: 2.09 2.08 2.02 3/183 8303
/proc/meminfo: memFree=28894156/32873844 swapFree=7116/7116
[pid=8211] ppid=8209 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8211/stat : 8211 (runPb2satCp2.sh) S 8209 8211 6780 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272497830 9367552 274 33554432000 4194304 5064252 140734728413648 140734728412560 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8211/statm: 2287 274 233 213 0 72 0
[pid=8212] ppid=8211 vsize=13896 CPUtime=39.48 cores=1,3,5,7
/proc/8212/stat : 8212 (pb2sat) S 8211 8211 6780 0 -1 4202496 13778 79820 0 0 140 21 3767 20 20 0 1 0 272497830 14229504 2766 33554432000 4194304 5873084 140735209842976 140735209836792 5124602 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8212/statm: 3474 2766 172 410 0 3056 0
[pid=8295] ppid=8212 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8295/stat : 8295 (satsolver.sh) S 8212 8211 6780 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 272501806 9367552 267 33554432000 4194304 5064252 140735072042704 140735072041616 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/8295/statm: 2287 267 226 213 0 72 0
[pid=8296] ppid=8295 vsize=38576 CPUtime=11.32 cores=1,3,5,7
/proc/8296/stat : 8296 (glucose_static) R 8295 8211 6780 0 -1 4202496 17556 0 0 0 1128 4 0 0 20 0 1 0 272501806 39501824 8746 33554432000 4194304 4896791 140733827362144 140733827359656 4203058 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/8296/statm: 9644 8746 78 172 0 9470 0
Current children cumulated CPU time (s) 50.8
Current children cumulated vsize (KiB) 70768
[startup+102.301 s]
/proc/loadavg: 2.13 2.10 2.02 3/183 8318
/proc/meminfo: memFree=28894912/32873844 swapFree=7116/7116
[pid=8211] ppid=8209 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8211/stat : 8211 (runPb2satCp2.sh) S 8209 8211 6780 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272497830 9367552 274 33554432000 4194304 5064252 140734728413648 140734728412560 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8211/statm: 2287 274 233 213 0 72 0
[pid=8212] ppid=8211 vsize=13896 CPUtime=91.4 cores=1,3,5,7
/proc/8212/stat : 8212 (pb2sat) S 8211 8211 6780 0 -1 4202496 20051 147467 0 0 197 23 8882 38 20 0 1 0 272497830 14229504 2766 33554432000 4194304 5873084 140735209842976 140735209836792 5124602 0 65536 4102 0 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/8212/statm: 3474 2766 172 410 0 3056 0
[pid=8314] ppid=8212 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8314/stat : 8314 (satsolver.sh) S 8212 8211 6780 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 272507002 9367552 265 33554432000 4194304 5064252 140735370703744 140735370702656 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8314/statm: 2287 265 226 213 0 72 0
[pid=8315] ppid=8314 vsize=38504 CPUtime=10.56 cores=1,3,5,7
/proc/8315/stat : 8315 (glucose_static) R 8314 8211 6780 0 -1 4202496 17021 0 0 0 1053 3 0 0 20 0 1 0 272507002 39428096 8697 33554432000 4194304 4896791 140736930615104 140736930612616 4224706 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/8315/statm: 9626 8697 78 172 0 9452 0
Current children cumulated CPU time (s) 101.96
Current children cumulated vsize (KiB) 70696
[startup+162.3 s]
/proc/loadavg: 2.09 2.09 2.02 3/183 8370
/proc/meminfo: memFree=27512372/32873844 swapFree=7116/7116
[pid=8211] ppid=8209 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8211/stat : 8211 (runPb2satCp2.sh) S 8209 8211 6780 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272497830 9367552 274 33554432000 4194304 5064252 140734728413648 140734728412560 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8211/statm: 2287 274 233 213 0 72 0
[pid=8212] ppid=8211 vsize=13896 CPUtime=131.73 cores=1,3,5,7
/proc/8212/stat : 8212 (pb2sat) S 8211 8211 6780 0 -1 4202496 23989 195006 0 0 235 25 12862 51 20 0 1 0 272497830 14229504 2766 33554432000 4194304 5873084 140735209842976 140735209836792 5124602 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8212/statm: 3474 2766 172 410 0 3056 0
[pid=8369] ppid=8212 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8369/stat : 8369 (satsolver.sh) S 8212 8211 6780 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 272511036 9367552 266 33554432000 4194304 5064252 140736216998304 140736216997216 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/8369/statm: 2287 266 226 213 0 72 0
[pid=8370] ppid=8369 vsize=45176 CPUtime=30.22 cores=1,3,5,7
/proc/8370/stat : 8370 (glucose_static) R 8369 8211 6780 0 -1 4202496 27193 0 0 0 3015 7 0 0 20 0 1 0 272511037 46260224 10480 33554432000 4194304 4896791 140737463720352 140737463717880 4224703 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/8370/statm: 11294 10480 78 172 0 11120 0
Current children cumulated CPU time (s) 161.95
################
# More data... #
################
[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 8395
/proc/meminfo: memFree=27365068/32873844 swapFree=7116/7116
[pid=8211] ppid=8209 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8211/stat : 8211 (runPb2satCp2.sh) S 8209 8211 6780 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272497830 9367552 274 33554432000 4194304 5064252 140734728413648 140734728412560 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8211/statm: 2287 274 233 213 0 72 0
[pid=8212] ppid=8211 vsize=13896 CPUtime=1017.96 cores=1,3,5,7
/proc/8212/stat : 8212 (pb2sat) S 8211 8211 6780 0 -1 4202496 34199 400098 0 0 330 28 101288 150 20 0 1 0 272497830 14229504 2766 33554432000 4194304 5873084 140735209842976 140735209836792 5124602 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8212/statm: 3474 2766 172 410 0 3056 0
[pid=8390] ppid=8212 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8390/stat : 8390 (satsolver.sh) S 8212 8211 6780 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 272599681 9367552 267 33554432000 4194304 5064252 140734057048512 140734057047424 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/8390/statm: 2287 267 226 213 0 72 0
[pid=8391] ppid=8390 vsize=87124 CPUtime=403.73 cores=1,3,5,7
/proc/8391/stat : 8391 (glucose_static) R 8390 8211 6780 0 -1 4202496 64432 0 0 0 40334 39 0 0 20 0 1 0 272599681 89214976 19546 33554432000 4194304 4896791 140736611058688 140736611055896 4204939 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/8391/statm: 21781 19546 78 172 0 21607 0
Current children cumulated CPU time (s) 1421.69
Current children cumulated vsize (KiB) 119316
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 8395
/proc/meminfo: memFree=27363656/32873844 swapFree=7116/7116
[pid=8211] ppid=8209 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8211/stat : 8211 (runPb2satCp2.sh) S 8209 8211 6780 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272497830 9367552 274 33554432000 4194304 5064252 140734728413648 140734728412560 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8211/statm: 2287 274 233 213 0 72 0
[pid=8212] ppid=8211 vsize=13896 CPUtime=1017.96 cores=1,3,5,7
/proc/8212/stat : 8212 (pb2sat) S 8211 8211 6780 0 -1 4202496 34199 400098 0 0 330 28 101288 150 20 0 1 0 272497830 14229504 2766 33554432000 4194304 5873084 140735209842976 140735209836792 5124602 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8212/statm: 3474 2766 172 410 0 3056 0
[pid=8390] ppid=8212 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8390/stat : 8390 (satsolver.sh) S 8212 8211 6780 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 272599681 9367552 267 33554432000 4194304 5064252 140734057048512 140734057047424 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/8390/statm: 2287 267 226 213 0 72 0
[pid=8391] ppid=8390 vsize=89644 CPUtime=463.72 cores=1,3,5,7
/proc/8391/stat : 8391 (glucose_static) R 8390 8211 6780 0 -1 4202496 67788 0 0 0 46330 42 0 0 20 0 1 0 272599681 91795456 19739 33554432000 4194304 4896791 140736611058688 140736611056216 4223809 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/8391/statm: 22411 19739 78 172 0 22237 0
Current children cumulated CPU time (s) 1481.68
Current children cumulated vsize (KiB) 121836
[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 8395
/proc/meminfo: memFree=27361000/32873844 swapFree=7116/7116
[pid=8211] ppid=8209 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8211/stat : 8211 (runPb2satCp2.sh) S 8209 8211 6780 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272497830 9367552 274 33554432000 4194304 5064252 140734728413648 140734728412560 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8211/statm: 2287 274 233 213 0 72 0
[pid=8212] ppid=8211 vsize=13896 CPUtime=1017.96 cores=1,3,5,7
/proc/8212/stat : 8212 (pb2sat) S 8211 8211 6780 0 -1 4202496 34199 400098 0 0 330 28 101288 150 20 0 1 0 272497830 14229504 2766 33554432000 4194304 5873084 140735209842976 140735209836792 5124602 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8212/statm: 3474 2766 172 410 0 3056 0
[pid=8390] ppid=8212 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8390/stat : 8390 (satsolver.sh) S 8212 8211 6780 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 272599681 9367552 267 33554432000 4194304 5064252 140734057048512 140734057047424 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/8390/statm: 2287 267 226 213 0 72 0
[pid=8391] ppid=8390 vsize=92032 CPUtime=523.71 cores=1,3,5,7
/proc/8391/stat : 8391 (glucose_static) R 8390 8211 6780 0 -1 4202496 70837 0 0 0 52326 45 0 0 20 0 1 0 272599681 94240768 19809 33554432000 4194304 4896791 140736611058688 140736611056216 4204520 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/8391/statm: 23008 19809 78 172 0 22834 0
Current children cumulated CPU time (s) 1541.67
Current children cumulated vsize (KiB) 124224
[startup+1602.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/183 8396
/proc/meminfo: memFree=27359960/32873844 swapFree=7116/7116
[pid=8211] ppid=8209 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8211/stat : 8211 (runPb2satCp2.sh) S 8209 8211 6780 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272497830 9367552 274 33554432000 4194304 5064252 140734728413648 140734728412560 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8211/statm: 2287 274 233 213 0 72 0
[pid=8212] ppid=8211 vsize=13896 CPUtime=1017.96 cores=1,3,5,7
/proc/8212/stat : 8212 (pb2sat) S 8211 8211 6780 0 -1 4202496 34199 400098 0 0 330 28 101288 150 20 0 1 0 272497830 14229504 2766 33554432000 4194304 5873084 140735209842976 140735209836792 5124602 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8212/statm: 3474 2766 172 410 0 3056 0
[pid=8390] ppid=8212 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8390/stat : 8390 (satsolver.sh) S 8212 8211 6780 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 272599681 9367552 267 33554432000 4194304 5064252 140734057048512 140734057047424 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/8390/statm: 2287 267 226 213 0 72 0
[pid=8391] ppid=8390 vsize=82484 CPUtime=583.68 cores=1,3,5,7
/proc/8391/stat : 8391 (glucose_static) R 8390 8211 6780 0 -1 4202496 73803 0 0 0 58321 47 0 0 20 0 1 0 272599681 84463616 18907 33554432000 4194304 4896791 140736611058688 140736611056264 4224640 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/8391/statm: 20621 18907 78 172 0 20447 0
Current children cumulated CPU time (s) 1601.64
Current children cumulated vsize (KiB) 114676
[startup+1662.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/183 8396
/proc/meminfo: memFree=27339916/32873844 swapFree=7116/7116
[pid=8211] ppid=8209 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8211/stat : 8211 (runPb2satCp2.sh) S 8209 8211 6780 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272497830 9367552 274 33554432000 4194304 5064252 140734728413648 140734728412560 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8211/statm: 2287 274 233 213 0 72 0
[pid=8212] ppid=8211 vsize=13896 CPUtime=1017.96 cores=1,3,5,7
/proc/8212/stat : 8212 (pb2sat) S 8211 8211 6780 0 -1 4202496 34199 400098 0 0 330 28 101288 150 20 0 1 0 272497830 14229504 2766 33554432000 4194304 5873084 140735209842976 140735209836792 5124602 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8212/statm: 3474 2766 172 410 0 3056 0
[pid=8390] ppid=8212 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8390/stat : 8390 (satsolver.sh) S 8212 8211 6780 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 272599681 9367552 267 33554432000 4194304 5064252 140734057048512 140734057047424 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/8390/statm: 2287 267 226 213 0 72 0
[pid=8391] ppid=8390 vsize=114732 CPUtime=643.66 cores=1,3,5,7
/proc/8391/stat : 8391 (glucose_static) R 8390 8211 6780 0 -1 4202496 76404 0 0 0 64316 50 0 0 20 0 1 0 272599681 117485568 24301 33554432000 4194304 4896791 140736611058688 140736611055896 4225029 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/8391/statm: 28683 24301 78 172 0 28509 0
Current children cumulated CPU time (s) 1661.62
Current children cumulated vsize (KiB) 146924
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 8399
/proc/meminfo: memFree=27292444/32873844 swapFree=7116/7116
[pid=8211] ppid=8209 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8211/stat : 8211 (runPb2satCp2.sh) S 8209 8211 6780 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272497830 9367552 274 33554432000 4194304 5064252 140734728413648 140734728412560 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8211/statm: 2287 274 233 213 0 72 0
[pid=8212] ppid=8211 vsize=13896 CPUtime=1017.96 cores=1,3,5,7
/proc/8212/stat : 8212 (pb2sat) S 8211 8211 6780 0 -1 4202496 34199 400098 0 0 330 28 101288 150 20 0 1 0 272497830 14229504 2766 33554432000 4194304 5873084 140735209842976 140735209836792 5124602 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8212/statm: 3474 2766 172 410 0 3056 0
[pid=8390] ppid=8212 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8390/stat : 8390 (satsolver.sh) S 8212 8211 6780 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 272599681 9367552 267 33554432000 4194304 5064252 140734057048512 140734057047424 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/8390/statm: 2287 267 226 213 0 72 0
[pid=8391] ppid=8390 vsize=96672 CPUtime=703.64 cores=1,3,5,7
/proc/8391/stat : 8391 (glucose_static) R 8390 8211 6780 0 -1 4202496 78621 0 0 0 70312 52 0 0 20 0 1 0 272599681 98992128 22496 33554432000 4194304 4896791 140736611058688 140736611055896 4224684 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/8391/statm: 24168 22496 78 172 0 23994 0
Current children cumulated CPU time (s) 1721.6
Current children cumulated vsize (KiB) 128864
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 8399
/proc/meminfo: memFree=27283164/32873844 swapFree=7116/7116
[pid=8211] ppid=8209 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8211/stat : 8211 (runPb2satCp2.sh) S 8209 8211 6780 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272497830 9367552 274 33554432000 4194304 5064252 140734728413648 140734728412560 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8211/statm: 2287 274 233 213 0 72 0
[pid=8212] ppid=8211 vsize=13896 CPUtime=1017.96 cores=1,3,5,7
/proc/8212/stat : 8212 (pb2sat) S 8211 8211 6780 0 -1 4202496 34199 400098 0 0 330 28 101288 150 20 0 1 0 272497830 14229504 2766 33554432000 4194304 5873084 140735209842976 140735209836792 5124602 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8212/statm: 3474 2766 172 410 0 3056 0
[pid=8390] ppid=8212 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8390/stat : 8390 (satsolver.sh) S 8212 8211 6780 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 272599681 9367552 267 33554432000 4194304 5064252 140734057048512 140734057047424 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/8390/statm: 2287 267 226 213 0 72 0
[pid=8391] ppid=8390 vsize=117404 CPUtime=763.64 cores=1,3,5,7
/proc/8391/stat : 8391 (glucose_static) R 8390 8211 6780 0 -1 4202496 80924 0 0 0 76309 55 0 0 20 0 1 0 272599681 120221696 26519 33554432000 4194304 4896791 140736611058688 140736611055896 4225168 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/8391/statm: 29351 26519 78 172 0 29177 0
Current children cumulated CPU time (s) 1781.6
Current children cumulated vsize (KiB) 149596
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.81 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 8399
/proc/meminfo: memFree=27333632/32873844 swapFree=7116/7116
[pid=8211] ppid=8209 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8211/stat : 8211 (runPb2satCp2.sh) S 8209 8211 6780 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272497830 9367552 274 33554432000 4194304 5064252 140734728413648 140734728412560 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8211/statm: 2287 274 233 213 0 72 0
[pid=8212] ppid=8211 vsize=13896 CPUtime=1017.96 cores=1,3,5,7
/proc/8212/stat : 8212 (pb2sat) S 8211 8211 6780 0 -1 4202496 34199 400098 0 0 330 28 101288 150 20 0 1 0 272497830 14229504 2766 33554432000 4194304 5873084 140735209842976 140735209836792 5124602 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8212/statm: 3474 2766 172 410 0 3056 0
[pid=8390] ppid=8212 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8390/stat : 8390 (satsolver.sh) S 8212 8211 6780 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 272599681 9367552 267 33554432000 4194304 5064252 140734057048512 140734057047424 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/8390/statm: 2287 267 226 213 0 72 0
[pid=8391] ppid=8390 vsize=98852 CPUtime=782.15 cores=1,3,5,7
/proc/8391/stat : 8391 (glucose_static) R 8390 8211 6780 0 -1 4202496 81790 0 0 0 78159 56 0 0 20 0 1 0 272599681 101224448 22968 33554432000 4194304 4896791 140736611058688 140736611056216 4225029 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/8391/statm: 24713 22968 78 172 0 24539 0
Current children cumulated CPU time (s) 1800.11
Current children cumulated vsize (KiB) 131044
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
[startup+1800.81 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 8399
/proc/meminfo: memFree=27333632/32873844 swapFree=7116/7116
[pid=8211] ppid=8209 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8211/stat : 8211 (runPb2satCp2.sh) S 8209 8211 6780 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272497830 9367552 274 33554432000 4194304 5064252 140734728413648 140734728412560 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8211/statm: 2287 274 233 213 0 72 0
[pid=8212] ppid=8211 vsize=13896 CPUtime=1017.96 cores=1,3,5,7
/proc/8212/stat : 8212 (pb2sat) S 8211 8211 6780 0 -1 4202496 34199 400098 0 0 330 28 101288 150 20 0 1 0 272497830 14229504 2766 33554432000 4194304 5873084 140735209842976 140735209836792 5124602 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8212/statm: 3474 2766 172 410 0 3056 0
[pid=8390] ppid=8212 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8390/stat : 8390 (satsolver.sh) S 8212 8211 6780 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 272599681 9367552 267 33554432000 4194304 5064252 140734057048512 140734057047424 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/8390/statm: 2287 267 226 213 0 72 0
[pid=8391] ppid=8390 vsize=98852 CPUtime=782.15 cores=1,3,5,7
/proc/8391/stat : 8391 (glucose_static) R 8390 8211 6780 0 -1 4202496 81790 0 0 0 78159 56 0 0 20 0 1 0 272599681 101224448 22968 33554432000 4194304 4896791 140736611058688 140736611056216 4225029 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/8391/statm: 24713 22968 78 172 0 24539 0
Current children cumulated CPU time (s) 1800.11
Current children cumulated vsize (KiB) 131044
Child status: 0
Real time (s): 1800.82
CPU time (s): 1800.15
CPU user time (s): 1797.79
CPU system time (s): 2.35864
CPU usage (%): 99.9629
Max. virtual memory (cumulated for all children) (KiB): 170688
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.79
system time used= 2.35864
maximum resident set size= 130940
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 517078
page faults= 0
swaps= 0
block input operations= 0
block output operations= 175040
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 278
involuntary context switches= 2453
runsolver used 7.38788 second user time and 19.516 second system time
The end