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-3694999-1338072783/watcher-3694999-1338072783 -o /tmp/evaluation-result-3694999-1338072783/solver-3694999-1338072783 -C 1800 -W 1900 -M 15500 HOME/runPb2satCp2.sh HOME/instance-3694999-1338072783.opb 127604703 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.10 2.03 2.00 3/179 4919
/proc/meminfo: memFree=28106152/32873648 swapFree=7372/7372
[pid=4919] ppid=4917 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4919/stat : 4919 (runPb2satCp2.sh) S 4917 4919 1501 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273404316 9367552 274 33554432000 4194304 5064252 140736946996000 140736946994912 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4919/statm: 2287 274 233 213 0 72 0
[startup+0.011359 s]
/proc/loadavg: 2.10 2.03 2.00 3/179 4919
/proc/meminfo: memFree=28106152/32873648 swapFree=7372/7372
[pid=4919] ppid=4917 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4919/stat : 4919 (runPb2satCp2.sh) S 4917 4919 1501 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273404316 9367552 274 33554432000 4194304 5064252 140736946996000 140736946994912 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4919/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100218 s]
/proc/loadavg: 2.10 2.03 2.00 3/179 4919
/proc/meminfo: memFree=28106152/32873648 swapFree=7372/7372
[pid=4919] ppid=4917 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4919/stat : 4919 (runPb2satCp2.sh) S 4917 4919 1501 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273404316 9367552 274 33554432000 4194304 5064252 140736946996000 140736946994912 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4919/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.30028 s]
/proc/loadavg: 2.10 2.03 2.00 3/179 4919
/proc/meminfo: memFree=28106152/32873648 swapFree=7372/7372
[pid=4919] ppid=4917 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4919/stat : 4919 (runPb2satCp2.sh) S 4917 4919 1501 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273404316 9367552 274 33554432000 4194304 5064252 140736946996000 140736946994912 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4919/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700261 s]
/proc/loadavg: 2.10 2.03 2.00 3/179 4919
/proc/meminfo: memFree=28106152/32873648 swapFree=7372/7372
[pid=4919] ppid=4917 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4919/stat : 4919 (runPb2satCp2.sh) S 4917 4919 1501 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273404316 9367552 274 33554432000 4194304 5064252 140736946996000 140736946994912 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4919/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50028 s]
/proc/loadavg: 2.10 2.03 2.00 3/181 4921
/proc/meminfo: memFree=28030792/32873648 swapFree=7372/7372
[pid=4919] ppid=4917 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4919/stat : 4919 (runPb2satCp2.sh) S 4917 4919 1501 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273404316 9367552 274 33554432000 4194304 5064252 140736946996000 140736946994912 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4919/statm: 2287 274 233 213 0 72 0
[pid=4920] ppid=4919 vsize=111032 CPUtime=1.07 cores=1,3,5,7
/proc/4920/stat : 4920 (pb2sat) S 4919 4919 1501 0 -1 4202496 17868 0 0 0 98 9 0 0 20 0 1 0 273404316 113696768 19855 33554432000 4194304 5873084 140734699705392 140734699701816 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/4920/statm: 27758 19855 160 410 0 27340 0
Current children cumulated CPU time (s) 1.07
Current children cumulated vsize (KiB) 120180
[startup+3.10038 s]
/proc/loadavg: 2.10 2.03 2.00 3/183 4923
/proc/meminfo: memFree=27826688/32873648 swapFree=7372/7372
[pid=4919] ppid=4917 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4919/stat : 4919 (runPb2satCp2.sh) S 4917 4919 1501 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273404316 9367552 274 33554432000 4194304 5064252 140736946996000 140736946994912 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4919/statm: 2287 274 233 213 0 72 0
[pid=4920] ppid=4919 vsize=111032 CPUtime=1.07 cores=1,3,5,7
/proc/4920/stat : 4920 (pb2sat) S 4919 4919 1501 0 -1 4202496 17868 0 0 0 98 9 0 0 20 0 1 0 273404316 113696768 19855 33554432000 4194304 5873084 140734699705392 140734699701816 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/4920/statm: 27758 19855 160 410 0 27340 0
[pid=4922] ppid=4920 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4922/stat : 4922 (satsolver.sh) S 4920 4919 1501 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 273404425 9367552 266 33554432000 4194304 5064252 140737022569712 140737022568624 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/4922/statm: 2287 266 226 213 0 72 0
[pid=4923] ppid=4922 vsize=196348 CPUtime=2.01 cores=1,3,5,7
/proc/4923/stat : 4923 (glucose_static) R 4922 4919 1501 0 -1 4202496 33844 0 0 0 194 7 0 0 20 0 1 0 273404425 201060352 41868 33554432000 4194304 4896791 140735739554496 140735739551704 4423776 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/4923/statm: 49087 41868 79 172 0 48913 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 325676
[startup+6.30027 s]
/proc/loadavg: 2.09 2.03 2.00 3/181 4923
/proc/meminfo: memFree=27947528/32873648 swapFree=7372/7372
[pid=4919] ppid=4917 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4919/stat : 4919 (runPb2satCp2.sh) S 4917 4919 1501 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273404316 9367552 274 33554432000 4194304 5064252 140736946996000 140736946994912 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4919/statm: 2287 274 233 213 0 72 0
[pid=4920] ppid=4919 vsize=119272 CPUtime=6.13 cores=1,3,5,7
/proc/4920/stat : 4920 (pb2sat) R 4919 4919 1501 0 -1 4202496 20280 34962 0 0 154 246 199 14 20 0 1 0 273404316 122134528 21709 33554432000 4194304 5873084 140734699705392 140734699700728 4995879 0 0 4096 0 0 0 0 17 3 0 0 13 0 0
/proc/4920/statm: 29818 21709 171 410 0 29400 0
Current children cumulated CPU time (s) 6.13
Current children cumulated vsize (KiB) 128420
[startup+12.7004 s]
/proc/loadavg: 2.08 2.03 2.00 3/183 4926
/proc/meminfo: memFree=27760136/32873648 swapFree=7372/7372
[pid=4919] ppid=4917 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4919/stat : 4919 (runPb2satCp2.sh) S 4917 4919 1501 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273404316 9367552 274 33554432000 4194304 5064252 140736946996000 140736946994912 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4919/statm: 2287 274 233 213 0 72 0
[pid=4920] ppid=4919 vsize=119272 CPUtime=6.16 cores=1,3,5,7
/proc/4920/stat : 4920 (pb2sat) S 4919 4919 1501 0 -1 4202496 20513 34962 0 0 156 247 199 14 20 0 1 0 273404316 122134528 21709 33554432000 4194304 5873084 140734699705392 140734699699208 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 13 0 0
/proc/4920/statm: 29818 21709 171 410 0 29400 0
[pid=4925] ppid=4920 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4925/stat : 4925 (satsolver.sh) S 4920 4919 1501 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 273404948 9367552 266 33554432000 4194304 5064252 140734352673920 140734352672832 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/4925/statm: 2287 266 226 213 0 72 0
[pid=4926] ppid=4925 vsize=200880 CPUtime=6.36 cores=1,3,5,7
/proc/4926/stat : 4926 (glucose_static) R 4925 4919 1501 0 -1 4202496 34977 0 0 0 629 7 0 0 20 0 1 0 273404949 205701120 44573 33554432000 4194304 4896791 140736989376720 140736989373928 4224992 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/4926/statm: 50220 44573 76 172 0 50046 0
Current children cumulated CPU time (s) 12.52
Current children cumulated vsize (KiB) 338448
[startup+25.5003 s]
/proc/loadavg: 2.14 2.04 2.01 3/183 4926
/proc/meminfo: memFree=27759144/32873648 swapFree=7372/7372
[pid=4919] ppid=4917 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4919/stat : 4919 (runPb2satCp2.sh) S 4917 4919 1501 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273404316 9367552 274 33554432000 4194304 5064252 140736946996000 140736946994912 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4919/statm: 2287 274 233 213 0 72 0
[pid=4920] ppid=4919 vsize=119272 CPUtime=6.16 cores=1,3,5,7
/proc/4920/stat : 4920 (pb2sat) S 4919 4919 1501 0 -1 4202496 20513 34962 0 0 156 247 199 14 20 0 1 0 273404316 122134528 21709 33554432000 4194304 5873084 140734699705392 140734699699208 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 13 0 0
/proc/4920/statm: 29818 21709 171 410 0 29400 0
[pid=4925] ppid=4920 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4925/stat : 4925 (satsolver.sh) S 4920 4919 1501 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 273404948 9367552 266 33554432000 4194304 5064252 140734352673920 140734352672832 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/4925/statm: 2287 266 226 213 0 72 0
[pid=4926] ppid=4925 vsize=201280 CPUtime=19.16 cores=1,3,5,7
/proc/4926/stat : 4926 (glucose_static) R 4925 4919 1501 0 -1 4202496 35106 0 0 0 1909 7 0 0 20 0 1 0 273404949 206110720 45213 33554432000 4194304 4896791 140736989376720 140736989373928 4224983 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/4926/statm: 50320 45213 76 172 0 50146 0
Current children cumulated CPU time (s) 25.32
Current children cumulated vsize (KiB) 338848
[startup+51.1004 s]
/proc/loadavg: 2.09 2.04 2.01 3/183 4926
/proc/meminfo: memFree=27755192/32873648 swapFree=7372/7372
[pid=4919] ppid=4917 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4919/stat : 4919 (runPb2satCp2.sh) S 4917 4919 1501 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273404316 9367552 274 33554432000 4194304 5064252 140736946996000 140736946994912 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4919/statm: 2287 274 233 213 0 72 0
[pid=4920] ppid=4919 vsize=119272 CPUtime=6.16 cores=1,3,5,7
/proc/4920/stat : 4920 (pb2sat) S 4919 4919 1501 0 -1 4202496 20513 34962 0 0 156 247 199 14 20 0 1 0 273404316 122134528 21709 33554432000 4194304 5873084 140734699705392 140734699699208 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 13 0 0
/proc/4920/statm: 29818 21709 171 410 0 29400 0
[pid=4925] ppid=4920 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4925/stat : 4925 (satsolver.sh) S 4920 4919 1501 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 273404948 9367552 266 33554432000 4194304 5064252 140734352673920 140734352672832 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/4925/statm: 2287 266 226 213 0 72 0
[pid=4926] ppid=4925 vsize=201612 CPUtime=44.76 cores=1,3,5,7
/proc/4926/stat : 4926 (glucose_static) R 4925 4919 1501 0 -1 4202496 35175 0 0 0 4469 7 0 0 20 0 1 0 273404949 206450688 45793 33554432000 4194304 4896791 140736989376720 140736989373992 4224983 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/4926/statm: 50403 45793 76 172 0 50229 0
Current children cumulated CPU time (s) 50.92
Current children cumulated vsize (KiB) 339180
[startup+102.307 s]
/proc/loadavg: 2.08 2.04 2.01 3/183 4927
/proc/meminfo: memFree=27742780/32873648 swapFree=7372/7372
[pid=4919] ppid=4917 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4919/stat : 4919 (runPb2satCp2.sh) S 4917 4919 1501 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273404316 9367552 274 33554432000 4194304 5064252 140736946996000 140736946994912 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4919/statm: 2287 274 233 213 0 72 0
[pid=4920] ppid=4919 vsize=119272 CPUtime=6.16 cores=1,3,5,7
/proc/4920/stat : 4920 (pb2sat) S 4919 4919 1501 0 -1 4202496 20513 34962 0 0 156 247 199 14 20 0 1 0 273404316 122134528 21709 33554432000 4194304 5873084 140734699705392 140734699699208 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 13 0 0
/proc/4920/statm: 29818 21709 171 410 0 29400 0
[pid=4925] ppid=4920 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4925/stat : 4925 (satsolver.sh) S 4920 4919 1501 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 273404948 9367552 266 33554432000 4194304 5064252 140734352673920 140734352672832 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/4925/statm: 2287 266 226 213 0 72 0
[pid=4926] ppid=4925 vsize=201744 CPUtime=95.95 cores=1,3,5,7
/proc/4926/stat : 4926 (glucose_static) R 4925 4919 1501 0 -1 4202496 35214 0 0 0 9588 7 0 0 20 0 1 0 273404949 206585856 46854 33554432000 4194304 4896791 140736989376720 140736989373928 4224640 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/4926/statm: 50436 46854 76 172 0 50262 0
Current children cumulated CPU time (s) 102.11
Current children cumulated vsize (KiB) 339312
[startup+162.3 s]
/proc/loadavg: 2.06 2.05 2.01 3/183 4927
/proc/meminfo: memFree=27746756/32873648 swapFree=7372/7372
[pid=4919] ppid=4917 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4919/stat : 4919 (runPb2satCp2.sh) S 4917 4919 1501 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273404316 9367552 274 33554432000 4194304 5064252 140736946996000 140736946994912 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4919/statm: 2287 274 233 213 0 72 0
[pid=4920] ppid=4919 vsize=119272 CPUtime=6.16 cores=1,3,5,7
/proc/4920/stat : 4920 (pb2sat) S 4919 4919 1501 0 -1 4202496 20513 34962 0 0 156 247 199 14 20 0 1 0 273404316 122134528 21709 33554432000 4194304 5873084 140734699705392 140734699699208 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 13 0 0
/proc/4920/statm: 29818 21709 171 410 0 29400 0
[pid=4925] ppid=4920 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4925/stat : 4925 (satsolver.sh) S 4920 4919 1501 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 273404948 9367552 266 33554432000 4194304 5064252 140734352673920 140734352672832 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/4925/statm: 2287 266 226 213 0 72 0
[pid=4926] ppid=4925 vsize=201912 CPUtime=155.95 cores=1,3,5,7
/proc/4926/stat : 4926 (glucose_static) R 4925 4919 1501 0 -1 4202496 35243 0 0 0 15587 8 0 0 20 0 1 0 273404949 206757888 47905 33554432000 4194304 4896791 140736989376720 140736989374040 4225445 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/4926/statm: 50478 47905 76 172 0 50304 0
Current children cumulated CPU time (s) 162.11
Current children cumulated vsize (KiB) 339480
[startup+222.3 s]
/proc/loadavg: 2.07 2.05 2.00 3/183 4927
/proc/meminfo: memFree=27748076/32873648 swapFree=7372/7372
[pid=4919] ppid=4917 vsize=9148 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
/proc/4926/stat : 4926 (glucose_static) R 4925 4919 1501 0 -1 4202496 41882 0 0 0 141550 21 0 0 20 0 1 0 273404949 241393664 53578 33554432000 4194304 4896791 140736989376720 140736989373976 4224684 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/4926/statm: 58934 53578 76 172 0 58760 0
Current children cumulated CPU time (s) 1421.87
Current children cumulated vsize (KiB) 373304
[startup+1482.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/183 5029
/proc/meminfo: memFree=28014780/32873648 swapFree=7372/7372
[pid=4919] ppid=4917 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4919/stat : 4919 (runPb2satCp2.sh) S 4917 4919 1501 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273404316 9367552 274 33554432000 4194304 5064252 140736946996000 140736946994912 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4919/statm: 2287 274 233 213 0 72 0
[pid=4920] ppid=4919 vsize=119272 CPUtime=6.16 cores=1,3,5,7
/proc/4920/stat : 4920 (pb2sat) S 4919 4919 1501 0 -1 4202496 20513 34962 0 0 156 247 199 14 20 0 1 0 273404316 122134528 21709 33554432000 4194304 5873084 140734699705392 140734699699208 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 13 0 0
/proc/4920/statm: 29818 21709 171 410 0 29400 0
[pid=4925] ppid=4920 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4925/stat : 4925 (satsolver.sh) S 4920 4919 1501 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 273404948 9367552 266 33554432000 4194304 5064252 140734352673920 140734352672832 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/4925/statm: 2287 266 226 213 0 72 0
[pid=4926] ppid=4925 vsize=204916 CPUtime=1475.69 cores=1,3,5,7
/proc/4926/stat : 4926 (glucose_static) R 4925 4919 1501 0 -1 4202496 42206 0 0 0 147547 22 0 0 20 0 1 0 273404949 209833984 47964 33554432000 4194304 4896791 140736989376720 140736989374296 4225029 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/4926/statm: 51229 47964 76 172 0 51055 0
Current children cumulated CPU time (s) 1481.85
Current children cumulated vsize (KiB) 342484
[startup+1542.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/183 5032
/proc/meminfo: memFree=28008680/32873648 swapFree=7372/7372
[pid=4919] ppid=4917 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4919/stat : 4919 (runPb2satCp2.sh) S 4917 4919 1501 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273404316 9367552 274 33554432000 4194304 5064252 140736946996000 140736946994912 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4919/statm: 2287 274 233 213 0 72 0
[pid=4920] ppid=4919 vsize=119272 CPUtime=6.16 cores=1,3,5,7
/proc/4920/stat : 4920 (pb2sat) S 4919 4919 1501 0 -1 4202496 20513 34962 0 0 156 247 199 14 20 0 1 0 273404316 122134528 21709 33554432000 4194304 5873084 140734699705392 140734699699208 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 13 0 0
/proc/4920/statm: 29818 21709 171 410 0 29400 0
[pid=4925] ppid=4920 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4925/stat : 4925 (satsolver.sh) S 4920 4919 1501 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 273404948 9367552 266 33554432000 4194304 5064252 140734352673920 140734352672832 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/4925/statm: 2287 266 226 213 0 72 0
[pid=4926] ppid=4925 vsize=235736 CPUtime=1535.68 cores=1,3,5,7
/proc/4926/stat : 4926 (glucose_static) R 4925 4919 1501 0 -1 4202496 42787 0 0 0 153545 23 0 0 20 0 1 0 273404949 241393664 49563 33554432000 4194304 4896791 140736989376720 140736989374248 4224921 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/4926/statm: 58934 49563 76 172 0 58760 0
Current children cumulated CPU time (s) 1541.84
Current children cumulated vsize (KiB) 373304
[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 5035
/proc/meminfo: memFree=28004484/32873648 swapFree=7372/7372
[pid=4919] ppid=4917 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4919/stat : 4919 (runPb2satCp2.sh) S 4917 4919 1501 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273404316 9367552 274 33554432000 4194304 5064252 140736946996000 140736946994912 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4919/statm: 2287 274 233 213 0 72 0
[pid=4920] ppid=4919 vsize=119272 CPUtime=6.16 cores=1,3,5,7
/proc/4920/stat : 4920 (pb2sat) S 4919 4919 1501 0 -1 4202496 20513 34962 0 0 156 247 199 14 20 0 1 0 273404316 122134528 21709 33554432000 4194304 5873084 140734699705392 140734699699208 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 13 0 0
/proc/4920/statm: 29818 21709 171 410 0 29400 0
[pid=4925] ppid=4920 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4925/stat : 4925 (satsolver.sh) S 4920 4919 1501 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 273404948 9367552 266 33554432000 4194304 5064252 140734352673920 140734352672832 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/4925/statm: 2287 266 226 213 0 72 0
[pid=4926] ppid=4925 vsize=235736 CPUtime=1595.67 cores=1,3,5,7
/proc/4926/stat : 4926 (glucose_static) R 4925 4919 1501 0 -1 4202496 42795 0 0 0 159544 23 0 0 20 0 1 0 273404949 241393664 51615 33554432000 4194304 4896791 140736989376720 140736989374248 4224983 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/4926/statm: 58934 51615 76 172 0 58760 0
Current children cumulated CPU time (s) 1601.83
Current children cumulated vsize (KiB) 373304
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/184 5039
/proc/meminfo: memFree=27987504/32873648 swapFree=7372/7372
[pid=4919] ppid=4917 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4919/stat : 4919 (runPb2satCp2.sh) S 4917 4919 1501 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273404316 9367552 274 33554432000 4194304 5064252 140736946996000 140736946994912 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4919/statm: 2287 274 233 213 0 72 0
[pid=4920] ppid=4919 vsize=119272 CPUtime=6.16 cores=1,3,5,7
/proc/4920/stat : 4920 (pb2sat) S 4919 4919 1501 0 -1 4202496 20513 34962 0 0 156 247 199 14 20 0 1 0 273404316 122134528 21709 33554432000 4194304 5873084 140734699705392 140734699699208 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 13 0 0
/proc/4920/statm: 29818 21709 171 410 0 29400 0
[pid=4925] ppid=4920 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4925/stat : 4925 (satsolver.sh) S 4920 4919 1501 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 273404948 9367552 266 33554432000 4194304 5064252 140734352673920 140734352672832 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/4925/statm: 2287 266 226 213 0 72 0
[pid=4926] ppid=4925 vsize=235988 CPUtime=1655.67 cores=1,3,5,7
/proc/4926/stat : 4926 (glucose_static) R 4925 4919 1501 0 -1 4202496 42823 0 0 0 165543 24 0 0 20 0 1 0 273404949 241651712 54198 33554432000 4194304 4896791 140736989376720 140736989374248 4224983 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/4926/statm: 58997 54198 76 172 0 58823 0
Current children cumulated CPU time (s) 1661.83
Current children cumulated vsize (KiB) 373556
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 5039
/proc/meminfo: memFree=28017828/32873648 swapFree=7372/7372
[pid=4919] ppid=4917 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4919/stat : 4919 (runPb2satCp2.sh) S 4917 4919 1501 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273404316 9367552 274 33554432000 4194304 5064252 140736946996000 140736946994912 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4919/statm: 2287 274 233 213 0 72 0
[pid=4920] ppid=4919 vsize=119272 CPUtime=6.16 cores=1,3,5,7
/proc/4920/stat : 4920 (pb2sat) S 4919 4919 1501 0 -1 4202496 20513 34962 0 0 156 247 199 14 20 0 1 0 273404316 122134528 21709 33554432000 4194304 5873084 140734699705392 140734699699208 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 13 0 0
/proc/4920/statm: 29818 21709 171 410 0 29400 0
[pid=4925] ppid=4920 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4925/stat : 4925 (satsolver.sh) S 4920 4919 1501 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 273404948 9367552 266 33554432000 4194304 5064252 140734352673920 140734352672832 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/4925/statm: 2287 266 226 213 0 72 0
[pid=4926] ppid=4925 vsize=205468 CPUtime=1715.66 cores=1,3,5,7
/proc/4926/stat : 4926 (glucose_static) R 4925 4919 1501 0 -1 4202496 43176 0 0 0 171541 25 0 0 20 0 1 0 273404949 210399232 48024 33554432000 4194304 4896791 140736989376720 140736989374296 4225002 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/4926/statm: 51367 48024 76 172 0 51193 0
Current children cumulated CPU time (s) 1721.82
Current children cumulated vsize (KiB) 343036
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 5039
/proc/meminfo: memFree=28004616/32873648 swapFree=7372/7372
[pid=4919] ppid=4917 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4919/stat : 4919 (runPb2satCp2.sh) S 4917 4919 1501 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273404316 9367552 274 33554432000 4194304 5064252 140736946996000 140736946994912 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4919/statm: 2287 274 233 213 0 72 0
[pid=4920] ppid=4919 vsize=119272 CPUtime=6.16 cores=1,3,5,7
/proc/4920/stat : 4920 (pb2sat) S 4919 4919 1501 0 -1 4202496 20513 34962 0 0 156 247 199 14 20 0 1 0 273404316 122134528 21709 33554432000 4194304 5873084 140734699705392 140734699699208 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 13 0 0
/proc/4920/statm: 29818 21709 171 410 0 29400 0
[pid=4925] ppid=4920 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4925/stat : 4925 (satsolver.sh) S 4920 4919 1501 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 273404948 9367552 266 33554432000 4194304 5064252 140734352673920 140734352672832 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/4925/statm: 2287 266 226 213 0 72 0
[pid=4926] ppid=4925 vsize=236288 CPUtime=1775.65 cores=1,3,5,7
/proc/4926/stat : 4926 (glucose_static) R 4925 4919 1501 0 -1 4202496 43764 0 0 0 177539 26 0 0 20 0 1 0 273404949 241958912 50139 33554432000 4194304 4896791 140736989376720 140736989374248 4224684 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/4926/statm: 59072 50139 76 172 0 58898 0
Current children cumulated CPU time (s) 1781.81
Current children cumulated vsize (KiB) 373856
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 2.00 2.00 2.00 4/183 5042
/proc/meminfo: memFree=28007756/32873648 swapFree=7372/7372
[pid=4919] ppid=4917 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4919/stat : 4919 (runPb2satCp2.sh) S 4917 4919 1501 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273404316 9367552 274 33554432000 4194304 5064252 140736946996000 140736946994912 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4919/statm: 2287 274 233 213 0 72 0
[pid=4920] ppid=4919 vsize=119272 CPUtime=6.16 cores=1,3,5,7
/proc/4920/stat : 4920 (pb2sat) S 4919 4919 1501 0 -1 4202496 20513 34962 0 0 156 247 199 14 20 0 1 0 273404316 122134528 21709 33554432000 4194304 5873084 140734699705392 140734699699208 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 13 0 0
/proc/4920/statm: 29818 21709 171 410 0 29400 0
[pid=4925] ppid=4920 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4925/stat : 4925 (satsolver.sh) S 4920 4919 1501 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 273404948 9367552 266 33554432000 4194304 5064252 140734352673920 140734352672832 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/4925/statm: 2287 266 226 213 0 72 0
[pid=4926] ppid=4925 vsize=236288 CPUtime=1793.85 cores=1,3,5,7
/proc/4926/stat : 4926 (glucose_static) R 4925 4919 1501 0 -1 4202496 43765 0 0 0 179359 26 0 0 20 0 1 0 273404949 241958912 50651 33554432000 4194304 4896791 140736989376720 140736989374248 4224684 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/4926/statm: 59072 50651 76 172 0 58898 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 373856
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
[startup+1800.5 s]
/proc/loadavg: 2.00 2.00 2.00 4/183 5042
/proc/meminfo: memFree=28007756/32873648 swapFree=7372/7372
[pid=4919] ppid=4917 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4919/stat : 4919 (runPb2satCp2.sh) S 4917 4919 1501 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273404316 9367552 274 33554432000 4194304 5064252 140736946996000 140736946994912 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4919/statm: 2287 274 233 213 0 72 0
[pid=4920] ppid=4919 vsize=119272 CPUtime=6.16 cores=1,3,5,7
/proc/4920/stat : 4920 (pb2sat) S 4919 4919 1501 0 -1 4202496 20513 34962 0 0 156 247 199 14 20 0 1 0 273404316 122134528 21709 33554432000 4194304 5873084 140734699705392 140734699699208 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 13 0 0
/proc/4920/statm: 29818 21709 171 410 0 29400 0
[pid=4925] ppid=4920 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4925/stat : 4925 (satsolver.sh) S 4920 4919 1501 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 273404948 9367552 266 33554432000 4194304 5064252 140734352673920 140734352672832 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/4925/statm: 2287 266 226 213 0 72 0
[pid=4926] ppid=4925 vsize=236288 CPUtime=1793.85 cores=1,3,5,7
/proc/4926/stat : 4926 (glucose_static) R 4925 4919 1501 0 -1 4202496 43765 0 0 0 179359 26 0 0 20 0 1 0 273404949 241958912 50651 33554432000 4194304 4896791 140736989376720 140736989374248 4224684 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/4926/statm: 59072 50651 76 172 0 58898 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 373856
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 4919 and gives
# childrusage.ru_utime.tv_sec=3
# childrusage.ru_utime.tv_usec=559458
# childrusage.ru_stime.tv_sec=2
# childrusage.ru_stime.tv_usec=627600
# CPU time returned by wait4() is 6.18706
# while last known CPU time is 1800.01
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800.79
CPU time (s): 1800.01
CPU user time (s): 1797.14
CPU system time (s): 2.87
CPU usage (%): 99.9564
Max. virtual memory (cumulated for all children) (KiB): 423176
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.55946
system time used= 2.6276
maximum resident set size= 167476
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 56449
page faults= 0
swaps= 0
block input operations= 0
block output operations= 227920
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 15
involuntary context switches= 15
runsolver used 2.6366 second user time and 7.2159 second system time
The end