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-3695273-1338126703/watcher-3695273-1338126703 -o /tmp/evaluation-result-3695273-1338126703/solver-3695273-1338126703 -C 1800 -W 1900 -M 15500 HOME/runPb2satCp2.sh HOME/instance-3695273-1338126703.opb 1112750528 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.00 2.00 1.93 3/179 10909
/proc/meminfo: memFree=28878116/32873844 swapFree=7384/7384
[pid=10909] ppid=10907 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10909/stat : 10909 (runPb2satCp2.sh) S 10907 10909 10638 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278795800 9367552 275 33554432000 4194304 5064252 140734874497504 140734874496416 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10909/statm: 2287 275 233 213 0 72 0
[startup+0.0432861 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 10909
/proc/meminfo: memFree=28878116/32873844 swapFree=7384/7384
[pid=10909] ppid=10907 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10909/stat : 10909 (runPb2satCp2.sh) S 10907 10909 10638 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278795800 9367552 275 33554432000 4194304 5064252 140734874497504 140734874496416 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10909/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100279 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 10909
/proc/meminfo: memFree=28878116/32873844 swapFree=7384/7384
[pid=10909] ppid=10907 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10909/stat : 10909 (runPb2satCp2.sh) S 10907 10909 10638 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278795800 9367552 275 33554432000 4194304 5064252 140734874497504 140734874496416 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10909/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300289 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 10909
/proc/meminfo: memFree=28878116/32873844 swapFree=7384/7384
[pid=10909] ppid=10907 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10909/stat : 10909 (runPb2satCp2.sh) S 10907 10909 10638 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278795800 9367552 275 33554432000 4194304 5064252 140734874497504 140734874496416 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10909/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700238 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 10909
/proc/meminfo: memFree=28878116/32873844 swapFree=7384/7384
[pid=10909] ppid=10907 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10909/stat : 10909 (runPb2satCp2.sh) S 10907 10909 10638 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278795800 9367552 275 33554432000 4194304 5064252 140734874497504 140734874496416 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10909/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50024 s]
/proc/loadavg: 2.00 2.00 1.93 3/181 10913
/proc/meminfo: memFree=28834360/32873844 swapFree=7384/7384
[pid=10909] ppid=10907 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10909/stat : 10909 (runPb2satCp2.sh) S 10907 10909 10638 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278795800 9367552 275 33554432000 4194304 5064252 140734874497504 140734874496416 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10909/statm: 2287 275 233 213 0 72 0
[pid=10910] ppid=10909 vsize=37724 CPUtime=1.48 cores=1,3,5,7
/proc/10910/stat : 10910 (pb2sat) R 10909 10909 10638 0 -1 4202496 8022 15059 0 0 64 50 30 4 20 0 1 0 278795800 38629376 7705 33554432000 4194304 5873084 140733798101968 140733798098392 5127520 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/10910/statm: 9431 7705 174 410 0 9013 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 46872
[startup+3.10045 s]
/proc/loadavg: 2.00 2.00 1.93 3/183 10916
/proc/meminfo: memFree=28752948/32873844 swapFree=7384/7384
[pid=10909] ppid=10907 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10909/stat : 10909 (runPb2satCp2.sh) S 10907 10909 10638 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278795800 9367552 275 33554432000 4194304 5064252 140734874497504 140734874496416 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10909/statm: 2287 275 233 213 0 72 0
[pid=10910] ppid=10909 vsize=43868 CPUtime=1.87 cores=1,3,5,7
/proc/10910/stat : 10910 (pb2sat) S 10909 10909 10638 0 -1 4202496 9747 15573 0 0 74 77 30 6 20 0 1 0 278795800 44920832 9073 33554432000 4194304 5873084 140733798101968 140733798095784 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/10910/statm: 10967 9073 181 410 0 10549 0
[pid=10915] ppid=10910 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10915/stat : 10915 (satsolver.sh) S 10910 10909 10638 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 278795989 9367552 266 33554432000 4194304 5064252 140736796517232 140736796516144 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10915/statm: 2287 266 226 213 0 72 0
[pid=10916] ppid=10915 vsize=76268 CPUtime=1.2 cores=1,3,5,7
/proc/10916/stat : 10916 (glucose_static) R 10915 10909 10638 0 -1 4202496 16953 0 0 0 116 4 0 0 20 0 1 0 278795990 78098432 16961 33554432000 4194304 4896791 140733839357200 140733839354504 4225029 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10916/statm: 19067 16961 76 172 0 18893 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 138432
[startup+6.30045 s]
/proc/loadavg: 2.00 2.00 1.93 3/183 10916
/proc/meminfo: memFree=28746604/32873844 swapFree=7384/7384
[pid=10909] ppid=10907 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10909/stat : 10909 (runPb2satCp2.sh) S 10907 10909 10638 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278795800 9367552 275 33554432000 4194304 5064252 140734874497504 140734874496416 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10909/statm: 2287 275 233 213 0 72 0
[pid=10910] ppid=10909 vsize=43868 CPUtime=1.87 cores=1,3,5,7
/proc/10910/stat : 10910 (pb2sat) S 10909 10909 10638 0 -1 4202496 9747 15573 0 0 74 77 30 6 20 0 1 0 278795800 44920832 9073 33554432000 4194304 5873084 140733798101968 140733798095784 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/10910/statm: 10967 9073 181 410 0 10549 0
[pid=10915] ppid=10910 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10915/stat : 10915 (satsolver.sh) S 10910 10909 10638 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 278795989 9367552 266 33554432000 4194304 5064252 140736796517232 140736796516144 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10915/statm: 2287 266 226 213 0 72 0
[pid=10916] ppid=10915 vsize=77704 CPUtime=4.39 cores=1,3,5,7
/proc/10916/stat : 10916 (glucose_static) R 10915 10909 10638 0 -1 4202496 18062 0 0 0 435 4 0 0 20 0 1 0 278795990 79568896 17363 33554432000 4194304 4896791 140733839357200 140733839354712 4225134 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10916/statm: 19426 17363 78 172 0 19252 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 139868
[startup+12.7004 s]
/proc/loadavg: 2.00 2.00 1.93 3/183 10916
/proc/meminfo: memFree=28745628/32873844 swapFree=7384/7384
[pid=10909] ppid=10907 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10909/stat : 10909 (runPb2satCp2.sh) S 10907 10909 10638 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278795800 9367552 275 33554432000 4194304 5064252 140734874497504 140734874496416 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10909/statm: 2287 275 233 213 0 72 0
[pid=10910] ppid=10909 vsize=43868 CPUtime=1.87 cores=1,3,5,7
/proc/10910/stat : 10910 (pb2sat) S 10909 10909 10638 0 -1 4202496 9747 15573 0 0 74 77 30 6 20 0 1 0 278795800 44920832 9073 33554432000 4194304 5873084 140733798101968 140733798095784 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/10910/statm: 10967 9073 181 410 0 10549 0
[pid=10915] ppid=10910 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10915/stat : 10915 (satsolver.sh) S 10910 10909 10638 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 278795989 9367552 266 33554432000 4194304 5064252 140736796517232 140736796516144 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10915/statm: 2287 266 226 213 0 72 0
[pid=10916] ppid=10915 vsize=78232 CPUtime=10.79 cores=1,3,5,7
/proc/10916/stat : 10916 (glucose_static) R 10915 10909 10638 0 -1 4202496 18168 0 0 0 1075 4 0 0 20 0 1 0 278795990 80109568 17469 33554432000 4194304 4896791 140733839357200 140733839354408 4205488 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10916/statm: 19558 17469 78 172 0 19384 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 140396
[startup+25.5004 s]
/proc/loadavg: 2.07 2.02 1.94 3/183 10916
/proc/meminfo: memFree=28743952/32873844 swapFree=7384/7384
[pid=10909] ppid=10907 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10909/stat : 10909 (runPb2satCp2.sh) S 10907 10909 10638 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278795800 9367552 275 33554432000 4194304 5064252 140734874497504 140734874496416 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10909/statm: 2287 275 233 213 0 72 0
[pid=10910] ppid=10909 vsize=43868 CPUtime=1.87 cores=1,3,5,7
/proc/10910/stat : 10910 (pb2sat) S 10909 10909 10638 0 -1 4202496 9747 15573 0 0 74 77 30 6 20 0 1 0 278795800 44920832 9073 33554432000 4194304 5873084 140733798101968 140733798095784 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/10910/statm: 10967 9073 181 410 0 10549 0
[pid=10915] ppid=10910 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10915/stat : 10915 (satsolver.sh) S 10910 10909 10638 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 278795989 9367552 266 33554432000 4194304 5064252 140736796517232 140736796516144 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10915/statm: 2287 266 226 213 0 72 0
[pid=10916] ppid=10915 vsize=78512 CPUtime=23.59 cores=1,3,5,7
/proc/10916/stat : 10916 (glucose_static) R 10915 10909 10638 0 -1 4202496 18249 0 0 0 2355 4 0 0 20 0 1 0 278795990 80396288 17550 33554432000 4194304 4896791 140733839357200 140733839354408 4225417 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10916/statm: 19628 17550 78 172 0 19454 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 140676
[startup+51.1004 s]
/proc/loadavg: 2.04 2.01 1.94 3/183 10922
/proc/meminfo: memFree=28775912/32873844 swapFree=7384/7384
[pid=10909] ppid=10907 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10909/stat : 10909 (runPb2satCp2.sh) S 10907 10909 10638 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278795800 9367552 275 33554432000 4194304 5064252 140734874497504 140734874496416 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10909/statm: 2287 275 233 213 0 72 0
[pid=10910] ppid=10909 vsize=43868 CPUtime=32.33 cores=1,3,5,7
/proc/10910/stat : 10910 (pb2sat) S 10909 10909 10638 0 -1 4202496 16620 52641 0 0 102 79 3031 21 20 0 1 0 278795800 44920832 9073 33554432000 4194304 5873084 140733798101968 140733798095784 5124602 0 65536 4102 0 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/10910/statm: 10967 9073 181 410 0 10549 0
[pid=10921] ppid=10910 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10921/stat : 10921 (satsolver.sh) S 10910 10909 10638 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 278799036 9367552 267 33554432000 4194304 5064252 140735174902096 140735174901008 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10921/statm: 2287 267 226 213 0 72 0
[pid=10922] ppid=10921 vsize=78620 CPUtime=18.72 cores=1,3,5,7
/proc/10922/stat : 10922 (glucose_static) R 10921 10909 10638 0 -1 4202496 17766 0 0 0 1869 3 0 0 20 0 1 0 278799037 80506880 18045 33554432000 4194304 4896791 140736145808544 140736145805752 4224798 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/10922/statm: 19655 18045 78 172 0 19481 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 140784
[startup+102.307 s]
/proc/loadavg: 2.02 2.01 1.94 3/183 10970
/proc/meminfo: memFree=28619032/32873844 swapFree=7384/7384
[pid=10909] ppid=10907 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10909/stat : 10909 (runPb2satCp2.sh) S 10907 10909 10638 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278795800 9367552 275 33554432000 4194304 5064252 140734874497504 140734874496416 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10909/statm: 2287 275 233 213 0 72 0
[pid=10910] ppid=10909 vsize=43868 CPUtime=86.9 cores=1,3,5,7
/proc/10910/stat : 10910 (pb2sat) S 10909 10909 10638 0 -1 4202496 23478 91636 0 0 131 81 8442 36 20 0 1 0 278795800 44920832 9073 33554432000 4194304 5873084 140733798101968 140733798095784 5124602 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10910/statm: 10967 9073 181 410 0 10549 0
[pid=10927] ppid=10910 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10927/stat : 10927 (satsolver.sh) S 10910 10909 10638 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 278804494 9367552 267 33554432000 4194304 5064252 140736920189152 140736920188064 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/10927/statm: 2287 267 226 213 0 72 0
[pid=10928] ppid=10927 vsize=78016 CPUtime=15.34 cores=1,3,5,7
/proc/10928/stat : 10928 (glucose_static) R 10927 10909 10638 0 -1 4202496 16851 0 0 0 1529 5 0 0 20 0 1 0 278804495 79888384 17588 33554432000 4194304 4896791 140735226578320 140735226575528 4224623 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/10928/statm: 19504 17588 78 172 0 19330 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 140180
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/183 10977
/proc/meminfo: memFree=28615336/32873844 swapFree=7384/7384
[pid=10909] ppid=10907 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10909/stat : 10909 (runPb2satCp2.sh) S 10907 10909 10638 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278795800 9367552 275 33554432000 4194304 5064252 140734874497504 140734874496416 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10909/statm: 2287 275 233 213 0 72 0
[pid=10910] ppid=10909 vsize=43868 CPUtime=127.03 cores=1,3,5,7
/proc/10910/stat : 10910 (pb2sat) S 10909 10909 10638 0 -1 4202496 30338 129286 0 0 161 83 12406 53 20 0 1 0 278795800 44920832 9073 33554432000 4194304 5873084 140733798101968 140733798095784 5124602 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10910/statm: 10967 9073 181 410 0 10549 0
[pid=10975] ppid=10910 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10975/stat : 10975 (satsolver.sh) S 10910 10909 10638 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 278808508 9367552 267 33554432000 4194304 5064252 140735484945024 140735484943936 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/10975/statm: 2287 267 226 213 0 72 0
[pid=10976] ppid=10975 vsize=85744 CPUtime=35.2 cores=1,3,5,7
/proc/10976/stat : 10976 (glucose_static) R 10975 10909 10638 0 -1 4202496 17631 0 0 0 3516 4 0 0 20 0 1 0 278808509 87801856 18690 33554432000 4194304 4896791 140735631196992 140735631194520 4225029 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/10976/statm: 21436 18690 78 172 0 21262 0
Current children cumulated CPU time (s) 162.23
################
# More data... #
################
[startup+1362.3 s]
/proc/loadavg: 2.03 2.04 1.99 3/183 11043
/proc/meminfo: memFree=27639360/32873844 swapFree=7384/7384
[pid=10909] ppid=10907 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10909/stat : 10909 (runPb2satCp2.sh) S 10907 10909 10638 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278795800 9367552 275 33554432000 4194304 5064252 140734874497504 140734874496416 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10909/statm: 2287 275 233 213 0 72 0
[pid=10910] ppid=10909 vsize=46940 CPUtime=1259.85 cores=1,3,5,7
/proc/10910/stat : 10910 (pb2sat) S 10909 10909 10638 0 -1 4202496 61485 334095 0 0 292 91 125465 137 20 0 1 0 278795800 48066560 9496 33554432000 4194304 5873084 140733798101968 140733798095784 5124602 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10910/statm: 11735 9496 181 410 0 11317 0
[pid=11041] ppid=10910 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11041/stat : 11041 (satsolver.sh) S 10910 10909 10638 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 278921812 9367552 266 33554432000 4194304 5064252 140735850130224 140735850129136 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/11041/statm: 2287 266 226 213 0 72 0
[pid=11042] ppid=11041 vsize=79304 CPUtime=102.16 cores=1,3,5,7
/proc/11042/stat : 11042 (glucose_static) R 11041 10909 10638 0 -1 4202496 21067 0 0 0 10210 6 0 0 20 0 1 0 278921812 81207296 17824 33554432000 4194304 4896791 140733201729072 140733201726584 4224684 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/11042/statm: 19826 17824 78 172 0 19652 0
Current children cumulated CPU time (s) 1362.01
Current children cumulated vsize (KiB) 144540
[startup+1422.31 s]
/proc/loadavg: 2.01 2.03 1.99 3/183 11043
/proc/meminfo: memFree=27633208/32873844 swapFree=7384/7384
[pid=10909] ppid=10907 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10909/stat : 10909 (runPb2satCp2.sh) S 10907 10909 10638 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278795800 9367552 275 33554432000 4194304 5064252 140734874497504 140734874496416 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10909/statm: 2287 275 233 213 0 72 0
[pid=10910] ppid=10909 vsize=46940 CPUtime=1259.85 cores=1,3,5,7
/proc/10910/stat : 10910 (pb2sat) S 10909 10909 10638 0 -1 4202496 61485 334095 0 0 292 91 125465 137 20 0 1 0 278795800 48066560 9496 33554432000 4194304 5873084 140733798101968 140733798095784 5124602 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10910/statm: 11735 9496 181 410 0 11317 0
[pid=11041] ppid=10910 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11041/stat : 11041 (satsolver.sh) S 10910 10909 10638 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 278921812 9367552 266 33554432000 4194304 5064252 140735850130224 140735850129136 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/11041/statm: 2287 266 226 213 0 72 0
[pid=11042] ppid=11041 vsize=87004 CPUtime=162.15 cores=1,3,5,7
/proc/11042/stat : 11042 (glucose_static) R 11041 10909 10638 0 -1 4202496 24445 0 0 0 16208 7 0 0 20 0 1 0 278921812 89092096 18476 33554432000 4194304 4896791 140733201729072 140733201726584 4204816 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/11042/statm: 21751 18476 78 172 0 21577 0
Current children cumulated CPU time (s) 1422
Current children cumulated vsize (KiB) 152240
[startup+1482.3 s]
/proc/loadavg: 2.00 2.02 1.99 3/183 11043
/proc/meminfo: memFree=27629164/32873844 swapFree=7384/7384
[pid=10909] ppid=10907 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10909/stat : 10909 (runPb2satCp2.sh) S 10907 10909 10638 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278795800 9367552 275 33554432000 4194304 5064252 140734874497504 140734874496416 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10909/statm: 2287 275 233 213 0 72 0
[pid=10910] ppid=10909 vsize=46940 CPUtime=1259.85 cores=1,3,5,7
/proc/10910/stat : 10910 (pb2sat) S 10909 10909 10638 0 -1 4202496 61485 334095 0 0 292 91 125465 137 20 0 1 0 278795800 48066560 9496 33554432000 4194304 5873084 140733798101968 140733798095784 5124602 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10910/statm: 11735 9496 181 410 0 11317 0
[pid=11041] ppid=10910 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11041/stat : 11041 (satsolver.sh) S 10910 10909 10638 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 278921812 9367552 266 33554432000 4194304 5064252 140735850130224 140735850129136 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/11041/statm: 2287 266 226 213 0 72 0
[pid=11042] ppid=11041 vsize=87408 CPUtime=222.14 cores=1,3,5,7
/proc/11042/stat : 11042 (glucose_static) R 11041 10909 10638 0 -1 4202496 26406 0 0 0 22205 9 0 0 20 0 1 0 278921812 89505792 18382 33554432000 4194304 4896791 140733201729072 140733201726584 4224722 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/11042/statm: 21852 18382 78 172 0 21678 0
Current children cumulated CPU time (s) 1481.99
Current children cumulated vsize (KiB) 152644
[startup+1542.3 s]
/proc/loadavg: 2.00 2.02 1.99 3/183 11046
/proc/meminfo: memFree=27623928/32873844 swapFree=7384/7384
[pid=10909] ppid=10907 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10909/stat : 10909 (runPb2satCp2.sh) S 10907 10909 10638 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278795800 9367552 275 33554432000 4194304 5064252 140734874497504 140734874496416 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10909/statm: 2287 275 233 213 0 72 0
[pid=10910] ppid=10909 vsize=46940 CPUtime=1540.32 cores=1,3,5,7
/proc/10910/stat : 10910 (pb2sat) S 10909 10909 10638 0 -1 4202496 64914 363458 0 0 306 92 153484 150 20 0 1 0 278795800 48066560 9496 33554432000 4194304 5873084 140733798101968 140733798095784 5124602 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10910/statm: 11735 9496 181 410 0 11317 0
[pid=11045] ppid=10910 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11045/stat : 11045 (satsolver.sh) S 10910 10909 10638 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 278949865 9367552 266 33554432000 4194304 5064252 140736368041536 140736368040448 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/11045/statm: 2287 266 226 213 0 72 0
[pid=11046] ppid=11045 vsize=76024 CPUtime=1.65 cores=1,3,5,7
/proc/11046/stat : 11046 (glucose_static) R 11045 10909 10638 0 -1 4202496 16919 0 0 0 161 4 0 0 20 0 1 0 278949865 77848576 16874 33554432000 4194304 4896791 140737123749968 140737123747272 4224684 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/11046/statm: 19006 16874 76 172 0 18832 0
Current children cumulated CPU time (s) 1541.97
Current children cumulated vsize (KiB) 141260
[startup+1602.3 s]
/proc/loadavg: 2.09 2.04 2.00 3/183 11046
/proc/meminfo: memFree=27611916/32873844 swapFree=7384/7384
[pid=10909] ppid=10907 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10909/stat : 10909 (runPb2satCp2.sh) S 10907 10909 10638 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278795800 9367552 275 33554432000 4194304 5064252 140734874497504 140734874496416 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10909/statm: 2287 275 233 213 0 72 0
[pid=10910] ppid=10909 vsize=46940 CPUtime=1540.32 cores=1,3,5,7
/proc/10910/stat : 10910 (pb2sat) S 10909 10909 10638 0 -1 4202496 64914 363458 0 0 306 92 153484 150 20 0 1 0 278795800 48066560 9496 33554432000 4194304 5873084 140733798101968 140733798095784 5124602 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10910/statm: 11735 9496 181 410 0 11317 0
[pid=11045] ppid=10910 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11045/stat : 11045 (satsolver.sh) S 10910 10909 10638 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 278949865 9367552 266 33554432000 4194304 5064252 140736368041536 140736368040448 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/11045/statm: 2287 266 226 213 0 72 0
[pid=11046] ppid=11045 vsize=85780 CPUtime=61.62 cores=1,3,5,7
/proc/11046/stat : 11046 (glucose_static) R 11045 10909 10638 0 -1 4202496 20381 0 0 0 6158 4 0 0 20 0 1 0 278949865 87838720 19144 33554432000 4194304 4896791 140737123749968 140737123747480 4224706 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/11046/statm: 21445 19144 78 172 0 21271 0
Current children cumulated CPU time (s) 1601.94
Current children cumulated vsize (KiB) 151016
[startup+1662.3 s]
/proc/loadavg: 2.06 2.04 2.00 3/183 11047
/proc/meminfo: memFree=27605640/32873844 swapFree=7384/7384
[pid=10909] ppid=10907 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10909/stat : 10909 (runPb2satCp2.sh) S 10907 10909 10638 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278795800 9367552 275 33554432000 4194304 5064252 140734874497504 140734874496416 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10909/statm: 2287 275 233 213 0 72 0
[pid=10910] ppid=10909 vsize=46940 CPUtime=1540.32 cores=1,3,5,7
/proc/10910/stat : 10910 (pb2sat) S 10909 10909 10638 0 -1 4202496 64914 363458 0 0 306 92 153484 150 20 0 1 0 278795800 48066560 9496 33554432000 4194304 5873084 140733798101968 140733798095784 5124602 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10910/statm: 11735 9496 181 410 0 11317 0
[pid=11045] ppid=10910 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11045/stat : 11045 (satsolver.sh) S 10910 10909 10638 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 278949865 9367552 266 33554432000 4194304 5064252 140736368041536 140736368040448 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/11045/statm: 2287 266 226 213 0 72 0
[pid=11046] ppid=11045 vsize=86440 CPUtime=121.62 cores=1,3,5,7
/proc/11046/stat : 11046 (glucose_static) R 11045 10909 10638 0 -1 4202496 22293 0 0 0 12156 6 0 0 20 0 1 0 278949865 88514560 19281 33554432000 4194304 4896791 140737123749968 140737123747240 4203796 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/11046/statm: 21610 19281 78 172 0 21436 0
Current children cumulated CPU time (s) 1661.94
Current children cumulated vsize (KiB) 151676
[startup+1722.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/184 11050
/proc/meminfo: memFree=27597992/32873844 swapFree=7384/7384
[pid=10909] ppid=10907 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10909/stat : 10909 (runPb2satCp2.sh) S 10907 10909 10638 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278795800 9367552 275 33554432000 4194304 5064252 140734874497504 140734874496416 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10909/statm: 2287 275 233 213 0 72 0
[pid=10910] ppid=10909 vsize=46940 CPUtime=1540.32 cores=1,3,5,7
/proc/10910/stat : 10910 (pb2sat) S 10909 10909 10638 0 -1 4202496 64914 363458 0 0 306 92 153484 150 20 0 1 0 278795800 48066560 9496 33554432000 4194304 5873084 140733798101968 140733798095784 5124602 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10910/statm: 11735 9496 181 410 0 11317 0
[pid=11045] ppid=10910 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11045/stat : 11045 (satsolver.sh) S 10910 10909 10638 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 278949865 9367552 266 33554432000 4194304 5064252 140736368041536 140736368040448 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/11045/statm: 2287 266 226 213 0 72 0
[pid=11046] ppid=11045 vsize=87040 CPUtime=181.61 cores=1,3,5,7
/proc/11046/stat : 11046 (glucose_static) R 11045 10909 10638 0 -1 4202496 24236 0 0 0 18154 7 0 0 20 0 1 0 278949865 89128960 19947 33554432000 4194304 4896791 140737123749968 140737123747480 4203775 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/11046/statm: 21760 19947 78 172 0 21586 0
Current children cumulated CPU time (s) 1721.93
Current children cumulated vsize (KiB) 152276
[startup+1782.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/183 11050
/proc/meminfo: memFree=27593024/32873844 swapFree=7384/7384
[pid=10909] ppid=10907 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10909/stat : 10909 (runPb2satCp2.sh) S 10907 10909 10638 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278795800 9367552 275 33554432000 4194304 5064252 140734874497504 140734874496416 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10909/statm: 2287 275 233 213 0 72 0
[pid=10910] ppid=10909 vsize=46940 CPUtime=1540.32 cores=1,3,5,7
/proc/10910/stat : 10910 (pb2sat) S 10909 10909 10638 0 -1 4202496 64914 363458 0 0 306 92 153484 150 20 0 1 0 278795800 48066560 9496 33554432000 4194304 5873084 140733798101968 140733798095784 5124602 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10910/statm: 11735 9496 181 410 0 11317 0
[pid=11045] ppid=10910 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11045/stat : 11045 (satsolver.sh) S 10910 10909 10638 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 278949865 9367552 266 33554432000 4194304 5064252 140736368041536 140736368040448 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/11045/statm: 2287 266 226 213 0 72 0
[pid=11046] ppid=11045 vsize=87560 CPUtime=241.6 cores=1,3,5,7
/proc/11046/stat : 11046 (glucose_static) R 11045 10909 10638 0 -1 4202496 25318 0 0 0 24153 7 0 0 20 0 1 0 278949865 89661440 19629 33554432000 4194304 4896791 140737123749968 140737123747480 4224706 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/11046/statm: 21890 19629 78 172 0 21716 0
Current children cumulated CPU time (s) 1781.92
Current children cumulated vsize (KiB) 152796
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 11050
/proc/meminfo: memFree=27587688/32873844 swapFree=7384/7384
[pid=10909] ppid=10907 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10909/stat : 10909 (runPb2satCp2.sh) S 10907 10909 10638 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278795800 9367552 275 33554432000 4194304 5064252 140734874497504 140734874496416 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10909/statm: 2287 275 233 213 0 72 0
[pid=10910] ppid=10909 vsize=46940 CPUtime=1540.32 cores=1,3,5,7
/proc/10910/stat : 10910 (pb2sat) S 10909 10909 10638 0 -1 4202496 64914 363458 0 0 306 92 153484 150 20 0 1 0 278795800 48066560 9496 33554432000 4194304 5873084 140733798101968 140733798095784 5124602 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10910/statm: 11735 9496 181 410 0 11317 0
[pid=11045] ppid=10910 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11045/stat : 11045 (satsolver.sh) S 10910 10909 10638 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 278949865 9367552 266 33554432000 4194304 5064252 140736368041536 140736368040448 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/11045/statm: 2287 266 226 213 0 72 0
[pid=11046] ppid=11045 vsize=87684 CPUtime=259.7 cores=1,3,5,7
/proc/11046/stat : 11046 (glucose_static) R 11045 10909 10638 0 -1 4202496 25572 0 0 0 25963 7 0 0 20 0 1 0 278949865 89788416 20166 33554432000 4194304 4896791 140737123749968 140737123747480 4203709 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/11046/statm: 21921 20166 78 172 0 21747 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 152920
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
Child status: 0
Real time (s): 1800.41
CPU time (s): 1800.06
CPU user time (s): 1797.55
CPU system time (s): 2.51262
CPU usage (%): 99.9806
Max. virtual memory (cumulated for all children) (KiB): 184092
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.55
system time used= 2.51262
maximum resident set size= 99080
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 454934
page faults= 0
swaps= 0
block input operations= 0
block output operations= 549384
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 294
involuntary context switches= 2072
runsolver used 3.48847 second user time and 8.07777 second system time
The end