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-3694927-1338067350/watcher-3694927-1338067350 -o /tmp/evaluation-result-3694927-1338067350/solver-3694927-1338067350 -C 1800 -W 1900 -M 15500 HOME/runPb2satCp2.sh HOME/instance-3694927-1338067350.opb 1733967421 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.03 2.01 2.00 3/179 8621
/proc/meminfo: memFree=27989208/32873844 swapFree=7116/7116
[pid=8621] ppid=8619 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8621/stat : 8621 (runPb2satCp2.sh) S 8619 8621 6780 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272859947 9367552 274 33554432000 4194304 5064252 140735200459920 140735200458832 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8621/statm: 2287 274 233 213 0 72 0
[startup+0.0747611 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 8621
/proc/meminfo: memFree=27989208/32873844 swapFree=7116/7116
[pid=8621] ppid=8619 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8621/stat : 8621 (runPb2satCp2.sh) S 8619 8621 6780 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272859947 9367552 274 33554432000 4194304 5064252 140735200459920 140735200458832 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8621/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100275 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 8621
/proc/meminfo: memFree=27989208/32873844 swapFree=7116/7116
[pid=8621] ppid=8619 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8621/stat : 8621 (runPb2satCp2.sh) S 8619 8621 6780 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272859947 9367552 274 33554432000 4194304 5064252 140735200459920 140735200458832 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8621/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300286 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 8621
/proc/meminfo: memFree=27989208/32873844 swapFree=7116/7116
[pid=8621] ppid=8619 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8621/stat : 8621 (runPb2satCp2.sh) S 8619 8621 6780 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272859947 9367552 274 33554432000 4194304 5064252 140735200459920 140735200458832 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8621/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700274 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 8621
/proc/meminfo: memFree=27989208/32873844 swapFree=7116/7116
[pid=8621] ppid=8619 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8621/stat : 8621 (runPb2satCp2.sh) S 8619 8621 6780 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272859947 9367552 274 33554432000 4194304 5064252 140735200459920 140735200458832 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8621/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50029 s]
/proc/loadavg: 2.03 2.01 2.00 3/181 8623
/proc/meminfo: memFree=27915624/32873844 swapFree=7116/7116
[pid=8621] ppid=8619 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8621/stat : 8621 (runPb2satCp2.sh) S 8619 8621 6780 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272859947 9367552 274 33554432000 4194304 5064252 140735200459920 140735200458832 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8621/statm: 2287 274 233 213 0 72 0
[pid=8622] ppid=8621 vsize=138032 CPUtime=1.49 cores=1,3,5,7
/proc/8622/stat : 8622 (pb2sat) R 8621 8621 6780 0 -1 4202496 20501 0 0 0 145 4 0 0 20 0 1 0 272859947 141344768 30883 33554432000 4194304 5873084 140735572903872 140735572898072 4920028 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/8622/statm: 34508 30883 153 410 0 34090 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 147180
[startup+3.10031 s]
/proc/loadavg: 2.03 2.01 2.00 3/181 8623
/proc/meminfo: memFree=27804592/32873844 swapFree=7116/7116
[pid=8621] ppid=8619 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8621/stat : 8621 (runPb2satCp2.sh) S 8619 8621 6780 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272859947 9367552 274 33554432000 4194304 5064252 140735200459920 140735200458832 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8621/statm: 2287 274 233 213 0 72 0
[pid=8622] ppid=8621 vsize=547392 CPUtime=3.09 cores=1,3,5,7
/proc/8622/stat : 8622 (pb2sat) R 8621 8621 6780 0 -1 4202496 42064 0 0 0 297 12 0 0 20 0 1 0 272859947 560529408 89206 33554432000 4194304 5873084 140735572903872 140735572897816 4996870 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/8622/statm: 136848 89206 153 410 0 136430 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 556540
[startup+6.30028 s]
/proc/loadavg: 2.03 2.01 2.00 3/181 8623
/proc/meminfo: memFree=27462248/32873844 swapFree=7116/7116
[pid=8621] ppid=8619 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8621/stat : 8621 (runPb2satCp2.sh) S 8619 8621 6780 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272859947 9367552 274 33554432000 4194304 5064252 140735200459920 140735200458832 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8621/statm: 2287 274 233 213 0 72 0
[pid=8622] ppid=8621 vsize=839548 CPUtime=6.28 cores=1,3,5,7
/proc/8622/stat : 8622 (pb2sat) R 8621 8621 6780 0 -1 4202496 83065 0 0 0 602 26 0 0 20 0 1 0 272859947 859697152 150966 33554432000 4194304 5873084 140735572903872 140735572898200 4274619 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/8622/statm: 209887 150966 153 410 0 209469 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 848696
[startup+12.7004 s]
/proc/loadavg: 2.02 2.01 2.00 3/183 8625
/proc/meminfo: memFree=25913804/32873844 swapFree=7116/7116
[pid=8621] ppid=8619 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8621/stat : 8621 (runPb2satCp2.sh) S 8619 8621 6780 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272859947 9367552 274 33554432000 4194304 5064252 140735200459920 140735200458832 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8621/statm: 2287 274 233 213 0 72 0
[pid=8622] ppid=8621 vsize=935060 CPUtime=8.72 cores=1,3,5,7
/proc/8622/stat : 8622 (pb2sat) S 8621 8621 6780 0 -1 4202496 107694 0 0 0 782 90 0 0 20 0 1 0 272859947 957501440 197403 33554432000 4194304 5873084 140735572903872 140735572900296 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 1 0 0
/proc/8622/statm: 233765 197403 160 410 0 233347 0
[pid=8624] ppid=8622 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8624/stat : 8624 (satsolver.sh) S 8622 8621 6780 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 272860822 9367552 267 33554432000 4194304 5064252 140735940580112 140735940579024 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8624/statm: 2287 267 226 213 0 72 0
[pid=8625] ppid=8624 vsize=1300984 CPUtime=3.93 cores=1,3,5,7
/proc/8625/stat : 8625 (glucose_static) R 8624 8621 6780 0 -1 4202496 128580 0 0 0 352 41 0 0 20 0 1 0 272860823 1332207616 263596 33554432000 4194304 4896791 140733405798928 140733404747816 4401607 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8625/statm: 325246 263596 58 172 0 325072 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 2254340
[startup+25.5004 s]
/proc/loadavg: 2.09 2.02 2.00 3/183 8625
/proc/meminfo: memFree=25278792/32873844 swapFree=7116/7116
[pid=8621] ppid=8619 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8621/stat : 8621 (runPb2satCp2.sh) S 8619 8621 6780 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272859947 9367552 274 33554432000 4194304 5064252 140735200459920 140735200458832 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8621/statm: 2287 274 233 213 0 72 0
[pid=8622] ppid=8621 vsize=935060 CPUtime=8.72 cores=1,3,5,7
/proc/8622/stat : 8622 (pb2sat) S 8621 8621 6780 0 -1 4202496 107694 0 0 0 782 90 0 0 20 0 1 0 272859947 957501440 197403 33554432000 4194304 5873084 140735572903872 140735572900296 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 1 0 0
/proc/8622/statm: 233765 197403 160 410 0 233347 0
[pid=8624] ppid=8622 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8624/stat : 8624 (satsolver.sh) S 8622 8621 6780 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 272860822 9367552 267 33554432000 4194304 5064252 140735940580112 140735940579024 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8624/statm: 2287 267 226 213 0 72 0
[pid=8625] ppid=8624 vsize=1832944 CPUtime=16.72 cores=1,3,5,7
/proc/8625/stat : 8625 (glucose_static) R 8624 8621 6780 0 -1 4202496 196540 0 0 0 1610 62 0 0 20 0 1 0 272860823 1876934656 378421 33554432000 4194304 4896791 140733405798928 140733405796136 4224983 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8625/statm: 458236 378421 76 172 0 458062 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 2786300
[startup+51.1073 s]
/proc/loadavg: 2.06 2.02 2.00 3/183 8625
/proc/meminfo: memFree=25240960/32873844 swapFree=7116/7116
[pid=8621] ppid=8619 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8621/stat : 8621 (runPb2satCp2.sh) S 8619 8621 6780 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272859947 9367552 274 33554432000 4194304 5064252 140735200459920 140735200458832 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8621/statm: 2287 274 233 213 0 72 0
[pid=8622] ppid=8621 vsize=935060 CPUtime=8.72 cores=1,3,5,7
/proc/8622/stat : 8622 (pb2sat) S 8621 8621 6780 0 -1 4202496 107694 0 0 0 782 90 0 0 20 0 1 0 272859947 957501440 197403 33554432000 4194304 5873084 140735572903872 140735572900296 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 1 0 0
/proc/8622/statm: 233765 197403 160 410 0 233347 0
[pid=8624] ppid=8622 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8624/stat : 8624 (satsolver.sh) S 8622 8621 6780 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 272860822 9367552 267 33554432000 4194304 5064252 140735940580112 140735940579024 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8624/statm: 2287 267 226 213 0 72 0
[pid=8625] ppid=8624 vsize=1857496 CPUtime=42.33 cores=1,3,5,7
/proc/8625/stat : 8625 (glucose_static) R 8624 8621 6780 0 -1 4202496 202829 0 0 0 4168 65 0 0 20 0 1 0 272860823 1902075904 384710 33554432000 4194304 4896791 140733405798928 140733405796136 4224684 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8625/statm: 464374 384710 77 172 0 464200 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 2810852
[startup+102.3 s]
/proc/loadavg: 2.16 2.05 2.01 3/183 8731
/proc/meminfo: memFree=23691788/32873844 swapFree=7116/7116
[pid=8621] ppid=8619 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8621/stat : 8621 (runPb2satCp2.sh) S 8619 8621 6780 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272859947 9367552 274 33554432000 4194304 5064252 140735200459920 140735200458832 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8621/statm: 2287 274 233 213 0 72 0
[pid=8622] ppid=8621 vsize=935060 CPUtime=8.72 cores=1,3,5,7
/proc/8622/stat : 8622 (pb2sat) S 8621 8621 6780 0 -1 4202496 107694 0 0 0 782 90 0 0 20 0 1 0 272859947 957501440 197403 33554432000 4194304 5873084 140735572903872 140735572900296 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 1 0 0
/proc/8622/statm: 233765 197403 160 410 0 233347 0
[pid=8624] ppid=8622 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8624/stat : 8624 (satsolver.sh) S 8622 8621 6780 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 272860822 9367552 267 33554432000 4194304 5064252 140735940580112 140735940579024 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8624/statm: 2287 267 226 213 0 72 0
[pid=8625] ppid=8624 vsize=1887724 CPUtime=93.51 cores=1,3,5,7
/proc/8625/stat : 8625 (glucose_static) R 8624 8621 6780 0 -1 4202496 211168 0 0 0 9284 67 0 0 20 0 1 0 272860823 1933029376 393049 33554432000 4194304 4896791 140733405798928 140733405796136 4224983 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8625/statm: 471931 393049 78 172 0 471757 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 2841080
[startup+162.301 s]
/proc/loadavg: 2.06 2.04 2.00 3/183 8732
/proc/meminfo: memFree=23650372/32873844 swapFree=7116/7116
[pid=8621] ppid=8619 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8621/stat : 8621 (runPb2satCp2.sh) S 8619 8621 6780 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272859947 9367552 274 33554432000 4194304 5064252 140735200459920 140735200458832 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8621/statm: 2287 274 233 213 0 72 0
[pid=8622] ppid=8621 vsize=935060 CPUtime=8.72 cores=1,3,5,7
/proc/8622/stat : 8622 (pb2sat) S 8621 8621 6780 0 -1 4202496 107694 0 0 0 782 90 0 0 20 0 1 0 272859947 957501440 197403 33554432000 4194304 5873084 140735572903872 140735572900296 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 1 0 0
/proc/8622/statm: 233765 197403 160 410 0 233347 0
[pid=8624] ppid=8622 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8624/stat : 8624 (satsolver.sh) S 8622 8621 6780 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 272860822 9367552 267 33554432000 4194304 5064252 140735940580112 140735940579024 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8624/statm: 2287 267 226 213 0 72 0
[pid=8625] ppid=8624 vsize=1888272 CPUtime=153.5 cores=1,3,5,7
/proc/8625/stat : 8625 (glucose_static) R 8624 8621 6780 0 -1 4202496 211300 0 0 0 15283 67 0 0 20 0 1 0 272860823 1933590528 393181 33554432000 4194304 4896791 140733405798928 140733405796248 4224684 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8625/statm: 472068 393181 78 172 0 471894 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 2841628
[startup+222.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/183 8732
/proc/meminfo: memFree=23645164/32873844 swapFree=7116/7116
[pid=8621] ppid=8619 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8621/stat : 8621 (runPb2satCp2.sh) S 8619 8621 6780 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272859947 9367552 274 33554432000 4194304 5064252 140735200459920 140735200458832 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8621/statm: 2287 274 233 213 0 72 0
[pid=8622] ppid=8621 vsize=935060 CPUtime=8.72 cores=1,3,5,7
/proc/8622/stat : 8622 (pb2sat) S 8621 8621 6780 0 -1 4202496 107694 0 0 0 782 90 0 0 20 0 1 0 272859947 957501440 197403 33554432000 4194304 5873084 140735572903872 140735572900296 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 1 0 0
/proc/8622/statm: 233765 197403 160 410 0 233347 0
[pid=8624] ppid=8622 vsize=9148 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
/proc/8625/statm: 473670 396002 78 172 0 473496 0
Current children cumulated CPU time (s) 1361.79
Current children cumulated vsize (KiB) 2848036
[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 8744
/proc/meminfo: memFree=23618664/32873844 swapFree=7116/7116
[pid=8621] ppid=8619 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8621/stat : 8621 (runPb2satCp2.sh) S 8619 8621 6780 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272859947 9367552 274 33554432000 4194304 5064252 140735200459920 140735200458832 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8621/statm: 2287 274 233 213 0 72 0
[pid=8622] ppid=8621 vsize=935060 CPUtime=8.72 cores=1,3,5,7
/proc/8622/stat : 8622 (pb2sat) S 8621 8621 6780 0 -1 4202496 107694 0 0 0 782 90 0 0 20 0 1 0 272859947 957501440 197403 33554432000 4194304 5873084 140735572903872 140735572900296 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 1 0 0
/proc/8622/statm: 233765 197403 160 410 0 233347 0
[pid=8624] ppid=8622 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8624/stat : 8624 (satsolver.sh) S 8622 8621 6780 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 272860822 9367552 267 33554432000 4194304 5064252 140735940580112 140735940579024 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8624/statm: 2287 267 226 213 0 72 0
[pid=8625] ppid=8624 vsize=1894680 CPUtime=1413.02 cores=1,3,5,7
/proc/8625/stat : 8625 (glucose_static) R 8624 8621 6780 0 -1 4202496 213313 0 0 0 141233 69 0 0 20 0 1 0 272860823 1940152320 396525 33554432000 4194304 4896791 140733405798928 140733405796136 4224684 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8625/statm: 473670 396525 78 172 0 473496 0
Current children cumulated CPU time (s) 1421.74
Current children cumulated vsize (KiB) 2848036
[startup+1482.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/183 8744
/proc/meminfo: memFree=23618972/32873844 swapFree=7116/7116
[pid=8621] ppid=8619 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8621/stat : 8621 (runPb2satCp2.sh) S 8619 8621 6780 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272859947 9367552 274 33554432000 4194304 5064252 140735200459920 140735200458832 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8621/statm: 2287 274 233 213 0 72 0
[pid=8622] ppid=8621 vsize=935060 CPUtime=8.72 cores=1,3,5,7
/proc/8622/stat : 8622 (pb2sat) S 8621 8621 6780 0 -1 4202496 107694 0 0 0 782 90 0 0 20 0 1 0 272859947 957501440 197403 33554432000 4194304 5873084 140735572903872 140735572900296 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 1 0 0
/proc/8622/statm: 233765 197403 160 410 0 233347 0
[pid=8624] ppid=8622 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8624/stat : 8624 (satsolver.sh) S 8622 8621 6780 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 272860822 9367552 267 33554432000 4194304 5064252 140735940580112 140735940579024 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8624/statm: 2287 267 226 213 0 72 0
[pid=8625] ppid=8624 vsize=1894812 CPUtime=1473.01 cores=1,3,5,7
/proc/8625/stat : 8625 (glucose_static) R 8624 8621 6780 0 -1 4202496 213332 0 0 0 147232 69 0 0 20 0 1 0 272860823 1940287488 396543 33554432000 4194304 4896791 140733405798928 140733405796136 4225201 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8625/statm: 473703 396543 78 172 0 473529 0
Current children cumulated CPU time (s) 1481.73
Current children cumulated vsize (KiB) 2848168
[startup+1542.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/183 8744
/proc/meminfo: memFree=23615808/32873844 swapFree=7116/7116
[pid=8621] ppid=8619 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8621/stat : 8621 (runPb2satCp2.sh) S 8619 8621 6780 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272859947 9367552 274 33554432000 4194304 5064252 140735200459920 140735200458832 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8621/statm: 2287 274 233 213 0 72 0
[pid=8622] ppid=8621 vsize=935060 CPUtime=8.72 cores=1,3,5,7
/proc/8622/stat : 8622 (pb2sat) S 8621 8621 6780 0 -1 4202496 107694 0 0 0 782 90 0 0 20 0 1 0 272859947 957501440 197403 33554432000 4194304 5873084 140735572903872 140735572900296 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 1 0 0
/proc/8622/statm: 233765 197403 160 410 0 233347 0
[pid=8624] ppid=8622 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8624/stat : 8624 (satsolver.sh) S 8622 8621 6780 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 272860822 9367552 267 33554432000 4194304 5064252 140735940580112 140735940579024 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8624/statm: 2287 267 226 213 0 72 0
[pid=8625] ppid=8624 vsize=1894812 CPUtime=1533.01 cores=1,3,5,7
/proc/8625/stat : 8625 (glucose_static) R 8624 8621 6780 0 -1 4202496 213337 0 0 0 153232 69 0 0 20 0 1 0 272860823 1940287488 396791 33554432000 4194304 4896791 140733405798928 140733405796136 4225029 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8625/statm: 473703 396791 78 172 0 473529 0
Current children cumulated CPU time (s) 1541.73
Current children cumulated vsize (KiB) 2848168
[startup+1602.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/183 8744
/proc/meminfo: memFree=23615692/32873844 swapFree=7116/7116
[pid=8621] ppid=8619 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8621/stat : 8621 (runPb2satCp2.sh) S 8619 8621 6780 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272859947 9367552 274 33554432000 4194304 5064252 140735200459920 140735200458832 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8621/statm: 2287 274 233 213 0 72 0
[pid=8622] ppid=8621 vsize=935060 CPUtime=8.72 cores=1,3,5,7
/proc/8622/stat : 8622 (pb2sat) S 8621 8621 6780 0 -1 4202496 107694 0 0 0 782 90 0 0 20 0 1 0 272859947 957501440 197403 33554432000 4194304 5873084 140735572903872 140735572900296 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 1 0 0
/proc/8622/statm: 233765 197403 160 410 0 233347 0
[pid=8624] ppid=8622 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8624/stat : 8624 (satsolver.sh) S 8622 8621 6780 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 272860822 9367552 267 33554432000 4194304 5064252 140735940580112 140735940579024 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8624/statm: 2287 267 226 213 0 72 0
[pid=8625] ppid=8624 vsize=1894956 CPUtime=1593 cores=1,3,5,7
/proc/8625/stat : 8625 (glucose_static) R 8624 8621 6780 0 -1 4202496 213361 0 0 0 159231 69 0 0 20 0 1 0 272860823 1940434944 396815 33554432000 4194304 4896791 140733405798928 140733405796248 4225124 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8625/statm: 473739 396815 78 172 0 473565 0
Current children cumulated CPU time (s) 1601.72
Current children cumulated vsize (KiB) 2848312
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 8748
/proc/meminfo: memFree=23615064/32873844 swapFree=7116/7116
[pid=8621] ppid=8619 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8621/stat : 8621 (runPb2satCp2.sh) S 8619 8621 6780 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272859947 9367552 274 33554432000 4194304 5064252 140735200459920 140735200458832 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8621/statm: 2287 274 233 213 0 72 0
[pid=8622] ppid=8621 vsize=935060 CPUtime=8.72 cores=1,3,5,7
/proc/8622/stat : 8622 (pb2sat) S 8621 8621 6780 0 -1 4202496 107694 0 0 0 782 90 0 0 20 0 1 0 272859947 957501440 197403 33554432000 4194304 5873084 140735572903872 140735572900296 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 1 0 0
/proc/8622/statm: 233765 197403 160 410 0 233347 0
[pid=8624] ppid=8622 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8624/stat : 8624 (satsolver.sh) S 8622 8621 6780 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 272860822 9367552 267 33554432000 4194304 5064252 140735940580112 140735940579024 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8624/statm: 2287 267 226 213 0 72 0
[pid=8625] ppid=8624 vsize=1894956 CPUtime=1652.97 cores=1,3,5,7
/proc/8625/stat : 8625 (glucose_static) R 8624 8621 6780 0 -1 4202496 213378 0 0 0 165228 69 0 0 20 0 1 0 272860823 1940434944 396816 33554432000 4194304 4896791 140733405798928 140733405796248 4225008 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8625/statm: 473739 396816 78 172 0 473565 0
Current children cumulated CPU time (s) 1661.69
Current children cumulated vsize (KiB) 2848312
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 8748
/proc/meminfo: memFree=23612544/32873844 swapFree=7116/7116
[pid=8621] ppid=8619 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8621/stat : 8621 (runPb2satCp2.sh) S 8619 8621 6780 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272859947 9367552 274 33554432000 4194304 5064252 140735200459920 140735200458832 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8621/statm: 2287 274 233 213 0 72 0
[pid=8622] ppid=8621 vsize=935060 CPUtime=8.72 cores=1,3,5,7
/proc/8622/stat : 8622 (pb2sat) S 8621 8621 6780 0 -1 4202496 107694 0 0 0 782 90 0 0 20 0 1 0 272859947 957501440 197403 33554432000 4194304 5873084 140735572903872 140735572900296 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 1 0 0
/proc/8622/statm: 233765 197403 160 410 0 233347 0
[pid=8624] ppid=8622 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8624/stat : 8624 (satsolver.sh) S 8622 8621 6780 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 272860822 9367552 267 33554432000 4194304 5064252 140735940580112 140735940579024 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8624/statm: 2287 267 226 213 0 72 0
[pid=8625] ppid=8624 vsize=1894956 CPUtime=1712.96 cores=1,3,5,7
/proc/8625/stat : 8625 (glucose_static) R 8624 8621 6780 0 -1 4202496 213381 0 0 0 171227 69 0 0 20 0 1 0 272860823 1940434944 397504 33554432000 4194304 4896791 140733405798928 140733405796248 4224983 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8625/statm: 473739 397504 78 172 0 473565 0
Current children cumulated CPU time (s) 1721.68
Current children cumulated vsize (KiB) 2848312
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 8748
/proc/meminfo: memFree=23610552/32873844 swapFree=7116/7116
[pid=8621] ppid=8619 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8621/stat : 8621 (runPb2satCp2.sh) S 8619 8621 6780 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272859947 9367552 274 33554432000 4194304 5064252 140735200459920 140735200458832 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8621/statm: 2287 274 233 213 0 72 0
[pid=8622] ppid=8621 vsize=935060 CPUtime=8.72 cores=1,3,5,7
/proc/8622/stat : 8622 (pb2sat) S 8621 8621 6780 0 -1 4202496 107694 0 0 0 782 90 0 0 20 0 1 0 272859947 957501440 197403 33554432000 4194304 5873084 140735572903872 140735572900296 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 1 0 0
/proc/8622/statm: 233765 197403 160 410 0 233347 0
[pid=8624] ppid=8622 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8624/stat : 8624 (satsolver.sh) S 8622 8621 6780 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 272860822 9367552 267 33554432000 4194304 5064252 140735940580112 140735940579024 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8624/statm: 2287 267 226 213 0 72 0
[pid=8625] ppid=8624 vsize=1894956 CPUtime=1772.95 cores=1,3,5,7
/proc/8625/stat : 8625 (glucose_static) R 8624 8621 6780 0 -1 4202496 213382 0 0 0 177226 69 0 0 20 0 1 0 272860823 1940434944 398554 33554432000 4194304 4896791 140733405798928 140733405796248 4223862 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8625/statm: 473739 398554 78 172 0 473565 0
Current children cumulated CPU time (s) 1781.67
Current children cumulated vsize (KiB) 2848312
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 8748
/proc/meminfo: memFree=23608504/32873844 swapFree=7116/7116
[pid=8621] ppid=8619 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8621/stat : 8621 (runPb2satCp2.sh) S 8619 8621 6780 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272859947 9367552 274 33554432000 4194304 5064252 140735200459920 140735200458832 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8621/statm: 2287 274 233 213 0 72 0
[pid=8622] ppid=8621 vsize=935060 CPUtime=8.72 cores=1,3,5,7
/proc/8622/stat : 8622 (pb2sat) S 8621 8621 6780 0 -1 4202496 107694 0 0 0 782 90 0 0 20 0 1 0 272859947 957501440 197403 33554432000 4194304 5873084 140735572903872 140735572900296 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 1 0 0
/proc/8622/statm: 233765 197403 160 410 0 233347 0
[pid=8624] ppid=8622 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8624/stat : 8624 (satsolver.sh) S 8622 8621 6780 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 272860822 9367552 267 33554432000 4194304 5064252 140735940580112 140735940579024 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8624/statm: 2287 267 226 213 0 72 0
[pid=8625] ppid=8624 vsize=1894956 CPUtime=1791.35 cores=1,3,5,7
/proc/8625/stat : 8625 (glucose_static) R 8624 8621 6780 0 -1 4202496 213382 0 0 0 179066 69 0 0 20 0 1 0 272860823 1940434944 398554 33554432000 4194304 4896791 140733405798928 140733405796248 4224684 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8625/statm: 473739 398554 78 172 0 473565 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 2848312
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 8621 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=999
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=999
# CPU time returned by wait4() is 0.001998
# while last known CPU time is 1800.07
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800.72
CPU time (s): 1800.07
CPU user time (s): 1798.48
CPU system time (s): 1.59
CPU usage (%): 99.9638
Max. virtual memory (cumulated for all children) (KiB): 2848312
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.000999
system time used= 0.000999
maximum resident set size= 1096
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 357
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4
involuntary context switches= 2
runsolver used 5.05123 second user time and 11.6442 second system time
The end