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-3749965-1339162799/watcher-3749965-1339162799 -o /tmp/evaluation-result-3749965-1339162799/solver-3749965-1339162799 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo.sh HOME/instance-3749965-1339162799.opb 603268322 HOME HOME
running on 4 cores: 0,2,4,6
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 2/180 20329
/proc/meminfo: memFree=30019248/32873844 swapFree=7636/7636
[pid=20329] ppid=20327 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20329/stat : 20329 (npSolver-pbo.sh) S 20327 20329 14797 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382408450 9367552 275 33554432000 4194304 5064252 140736456750784 140736456749696 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20329/statm: 2287 275 233 213 0 72 0
[startup+0.0707579 s]
/proc/loadavg: 2.00 2.00 1.93 2/180 20329
/proc/meminfo: memFree=30019248/32873844 swapFree=7636/7636
[pid=20329] ppid=20327 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20329/stat : 20329 (npSolver-pbo.sh) S 20327 20329 14797 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382408450 9367552 275 33554432000 4194304 5064252 140736456750784 140736456749696 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20329/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100303 s]
/proc/loadavg: 2.00 2.00 1.93 2/180 20329
/proc/meminfo: memFree=30019248/32873844 swapFree=7636/7636
[pid=20329] ppid=20327 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20329/stat : 20329 (npSolver-pbo.sh) S 20327 20329 14797 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382408450 9367552 275 33554432000 4194304 5064252 140736456750784 140736456749696 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20329/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.30031 s]
/proc/loadavg: 2.00 2.00 1.93 2/180 20329
/proc/meminfo: memFree=30019248/32873844 swapFree=7636/7636
[pid=20329] ppid=20327 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20329/stat : 20329 (npSolver-pbo.sh) S 20327 20329 14797 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382408450 9367552 275 33554432000 4194304 5064252 140736456750784 140736456749696 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20329/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700153 s]
/proc/loadavg: 2.00 2.00 1.93 2/180 20329
/proc/meminfo: memFree=30019248/32873844 swapFree=7636/7636
[pid=20329] ppid=20327 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20329/stat : 20329 (npSolver-pbo.sh) S 20327 20329 14797 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382408450 9367552 275 33554432000 4194304 5064252 140736456750784 140736456749696 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20329/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50031 s]
/proc/loadavg: 2.00 2.00 1.93 3/182 20340
/proc/meminfo: memFree=29954152/32873844 swapFree=7636/7636
[pid=20329] ppid=20327 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20329/stat : 20329 (npSolver-pbo.sh) S 20327 20329 14797 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382408450 9367552 275 33554432000 4194304 5064252 140736456750784 140736456749696 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20329/statm: 2287 275 233 213 0 72 0
[pid=20330] ppid=20329 vsize=86776 CPUtime=1.48 cores=0,2,4,6
/proc/20330/stat : 20330 (npSolver-pbo) R 20329 20329 14797 0 -1 4202496 16416 12303 0 0 78 16 48 6 20 0 1 0 382408450 88858624 20641 33554432000 4194304 6004724 140733971181648 140733971175696 4582601 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/20330/statm: 21694 20641 173 442 0 21248 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 95924
[startup+3.10031 s]
/proc/loadavg: 2.00 2.00 1.93 3/182 20341
/proc/meminfo: memFree=29868220/32873844 swapFree=7636/7636
[pid=20329] ppid=20327 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20329/stat : 20329 (npSolver-pbo.sh) S 20327 20329 14797 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382408450 9367552 275 33554432000 4194304 5064252 140736456750784 140736456749696 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20329/statm: 2287 275 233 213 0 72 0
[pid=20330] ppid=20329 vsize=217848 CPUtime=3.08 cores=0,2,4,6
/proc/20330/stat : 20330 (npSolver-pbo) R 20329 20329 14797 0 -1 4202496 17776 12303 0 0 235 19 48 6 20 0 1 0 382408450 223076352 53635 33554432000 4194304 6004724 140733971181648 140733971174952 4582448 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/20330/statm: 54462 53635 173 442 0 54016 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 226996
[startup+6.30034 s]
/proc/loadavg: 2.00 2.00 1.93 3/184 20345
/proc/meminfo: memFree=29264200/32873844 swapFree=7636/7636
[pid=20329] ppid=20327 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20329/stat : 20329 (npSolver-pbo.sh) S 20327 20329 14797 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382408450 9367552 275 33554432000 4194304 5064252 140736456750784 140736456749696 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20329/statm: 2287 275 233 213 0 72 0
[pid=20330] ppid=20329 vsize=348920 CPUtime=3.69 cores=0,2,4,6
/proc/20330/stat : 20330 (npSolver-pbo) S 20329 20329 14797 0 -1 4202496 19263 12303 0 0 271 44 48 6 20 0 1 0 382408450 357294080 59269 33554432000 4194304 6004724 140733971181648 140733971174000 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20330/statm: 87230 59269 175 442 0 86784 0
[pid=20344] ppid=20330 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20344/stat : 20344 (satsolver.sh) S 20330 20329 14797 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 382408820 9367552 267 33554432000 4194304 5064252 140733632883120 140733632882032 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/20344/statm: 2287 267 226 213 0 72 0
[pid=20345] ppid=20344 vsize=389412 CPUtime=2.57 cores=0,2,4,6
/proc/20345/stat : 20345 (glucose) R 20344 20329 14797 0 -1 4202496 62401 0 0 0 237 20 0 0 20 0 1 0 382408821 398757888 89805 33554432000 4194304 5208918 140735066928224 140735066926072 4205238 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/20345/statm: 97353 89805 103 248 0 97102 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 756628
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 1.93 3/184 20345
/proc/meminfo: memFree=29245124/32873844 swapFree=7636/7636
[pid=20329] ppid=20327 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20329/stat : 20329 (npSolver-pbo.sh) S 20327 20329 14797 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382408450 9367552 275 33554432000 4194304 5064252 140736456750784 140736456749696 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20329/statm: 2287 275 233 213 0 72 0
[pid=20330] ppid=20329 vsize=348920 CPUtime=3.69 cores=0,2,4,6
/proc/20330/stat : 20330 (npSolver-pbo) S 20329 20329 14797 0 -1 4202496 19263 12303 0 0 271 44 48 6 20 0 1 0 382408450 357294080 59269 33554432000 4194304 6004724 140733971181648 140733971174000 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20330/statm: 87230 59269 175 442 0 86784 0
[pid=20344] ppid=20330 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20344/stat : 20344 (satsolver.sh) S 20330 20329 14797 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 382408820 9367552 267 33554432000 4194304 5064252 140733632883120 140733632882032 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/20344/statm: 2287 267 226 213 0 72 0
[pid=20345] ppid=20344 vsize=392596 CPUtime=8.96 cores=0,2,4,6
/proc/20345/stat : 20345 (glucose) R 20344 20329 14797 0 -1 4202496 63169 0 0 0 876 20 0 0 20 0 1 0 382408821 402018304 91084 33554432000 4194304 5208918 140735066928224 140735066926072 4210976 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/20345/statm: 98149 91084 105 248 0 97898 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 759812
[startup+25.5068 s]
/proc/loadavg: 2.00 2.00 1.93 3/184 20345
/proc/meminfo: memFree=29242672/32873844 swapFree=7636/7636
[pid=20329] ppid=20327 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20329/stat : 20329 (npSolver-pbo.sh) S 20327 20329 14797 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382408450 9367552 275 33554432000 4194304 5064252 140736456750784 140736456749696 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20329/statm: 2287 275 233 213 0 72 0
[pid=20330] ppid=20329 vsize=348920 CPUtime=3.69 cores=0,2,4,6
/proc/20330/stat : 20330 (npSolver-pbo) S 20329 20329 14797 0 -1 4202496 19263 12303 0 0 271 44 48 6 20 0 1 0 382408450 357294080 59269 33554432000 4194304 6004724 140733971181648 140733971174000 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20330/statm: 87230 59269 175 442 0 86784 0
[pid=20344] ppid=20330 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20344/stat : 20344 (satsolver.sh) S 20330 20329 14797 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 382408820 9367552 267 33554432000 4194304 5064252 140733632883120 140733632882032 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/20344/statm: 2287 267 226 213 0 72 0
[pid=20345] ppid=20344 vsize=447596 CPUtime=21.77 cores=0,2,4,6
/proc/20345/stat : 20345 (glucose) R 20344 20329 14797 0 -1 4202496 64953 0 0 0 2156 21 0 0 20 0 1 0 382408821 458338304 93856 33554432000 4194304 5208918 140735066928224 140735066926072 4210737 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/20345/statm: 111899 93856 105 248 0 111648 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 814812
[startup+51.1004 s]
/proc/loadavg: 2.00 2.00 1.93 3/184 20345
/proc/meminfo: memFree=29218800/32873844 swapFree=7636/7636
[pid=20329] ppid=20327 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20329/stat : 20329 (npSolver-pbo.sh) S 20327 20329 14797 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382408450 9367552 275 33554432000 4194304 5064252 140736456750784 140736456749696 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20329/statm: 2287 275 233 213 0 72 0
[pid=20330] ppid=20329 vsize=348920 CPUtime=3.69 cores=0,2,4,6
/proc/20330/stat : 20330 (npSolver-pbo) S 20329 20329 14797 0 -1 4202496 19263 12303 0 0 271 44 48 6 20 0 1 0 382408450 357294080 59269 33554432000 4194304 6004724 140733971181648 140733971174000 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20330/statm: 87230 59269 175 442 0 86784 0
[pid=20344] ppid=20330 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20344/stat : 20344 (satsolver.sh) S 20330 20329 14797 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 382408820 9367552 267 33554432000 4194304 5064252 140733632883120 140733632882032 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/20344/statm: 2287 267 226 213 0 72 0
[pid=20345] ppid=20344 vsize=454260 CPUtime=47.36 cores=0,2,4,6
/proc/20345/stat : 20345 (glucose) R 20344 20329 14797 0 -1 4202496 66345 0 0 0 4714 22 0 0 20 0 1 0 382408821 465162240 98314 33554432000 4194304 5208918 140735066928224 140735066924600 4229151 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/20345/statm: 113565 98314 105 248 0 113314 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 821476
[startup+102.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/183 20345
/proc/meminfo: memFree=29229208/32873844 swapFree=7636/7636
[pid=20329] ppid=20327 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20329/stat : 20329 (npSolver-pbo.sh) S 20327 20329 14797 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382408450 9367552 275 33554432000 4194304 5064252 140736456750784 140736456749696 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20329/statm: 2287 275 233 213 0 72 0
[pid=20330] ppid=20329 vsize=348920 CPUtime=3.69 cores=0,2,4,6
/proc/20330/stat : 20330 (npSolver-pbo) S 20329 20329 14797 0 -1 4202496 19263 12303 0 0 271 44 48 6 20 0 1 0 382408450 357294080 59269 33554432000 4194304 6004724 140733971181648 140733971174000 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20330/statm: 87230 59269 175 442 0 86784 0
[pid=20344] ppid=20330 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20344/stat : 20344 (satsolver.sh) S 20330 20329 14797 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 382408820 9367552 267 33554432000 4194304 5064252 140733632883120 140733632882032 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/20344/statm: 2287 267 226 213 0 72 0
[pid=20345] ppid=20344 vsize=461820 CPUtime=98.54 cores=0,2,4,6
/proc/20345/stat : 20345 (glucose) R 20344 20329 14797 0 -1 4202496 69828 0 0 0 9827 27 0 0 20 0 1 0 382408821 472903680 100313 33554432000 4194304 5208918 140735066928224 140735066926072 4465602 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/20345/statm: 115455 100313 105 248 0 115204 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 829036
[startup+162.3 s]
/proc/loadavg: 2.07 2.02 1.93 3/183 20346
/proc/meminfo: memFree=29197452/32873844 swapFree=7636/7636
[pid=20329] ppid=20327 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20329/stat : 20329 (npSolver-pbo.sh) S 20327 20329 14797 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382408450 9367552 275 33554432000 4194304 5064252 140736456750784 140736456749696 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20329/statm: 2287 275 233 213 0 72 0
[pid=20330] ppid=20329 vsize=348920 CPUtime=3.69 cores=0,2,4,6
/proc/20330/stat : 20330 (npSolver-pbo) S 20329 20329 14797 0 -1 4202496 19263 12303 0 0 271 44 48 6 20 0 1 0 382408450 357294080 59269 33554432000 4194304 6004724 140733971181648 140733971174000 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20330/statm: 87230 59269 175 442 0 86784 0
[pid=20344] ppid=20330 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20344/stat : 20344 (satsolver.sh) S 20330 20329 14797 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 382408820 9367552 267 33554432000 4194304 5064252 140733632883120 140733632882032 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/20344/statm: 2287 267 226 213 0 72 0
[pid=20345] ppid=20344 vsize=472632 CPUtime=158.54 cores=0,2,4,6
/proc/20345/stat : 20345 (glucose) R 20344 20329 14797 0 -1 4202496 73657 0 0 0 15820 34 0 0 20 0 1 0 382408821 483975168 103002 33554432000 4194304 5208918 140735066928224 140735066926184 4229365 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/20345/statm: 118158 103002 105 248 0 117907 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 839848
[startup+222.3 s]
/proc/loadavg: 2.23 2.06 1.95 3/183 20346
/proc/meminfo: memFree=29164748/32873844 swapFree=7636/7636
[pid=20329] ppid=20327 vsize=9148 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
/proc/20345/stat : 20345 (glucose) R 20344 20329 14797 0 -1 4202496 126545 0 0 0 135670 158 0 0 20 0 1 0 382408821 647995392 137936 33554432000 4194304 5208918 140735066928224 140735066926072 4228997 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/20345/statm: 158202 137936 105 248 0 157951 0
Current children cumulated CPU time (s) 1361.97
Current children cumulated vsize (KiB) 1000024
[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/183 20424
/proc/meminfo: memFree=29301632/32873844 swapFree=7636/7636
[pid=20329] ppid=20327 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20329/stat : 20329 (npSolver-pbo.sh) S 20327 20329 14797 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382408450 9367552 275 33554432000 4194304 5064252 140736456750784 140736456749696 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20329/statm: 2287 275 233 213 0 72 0
[pid=20330] ppid=20329 vsize=348920 CPUtime=3.69 cores=0,2,4,6
/proc/20330/stat : 20330 (npSolver-pbo) S 20329 20329 14797 0 -1 4202496 19263 12303 0 0 271 44 48 6 20 0 1 0 382408450 357294080 59269 33554432000 4194304 6004724 140733971181648 140733971174000 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20330/statm: 87230 59269 175 442 0 86784 0
[pid=20344] ppid=20330 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20344/stat : 20344 (satsolver.sh) S 20330 20329 14797 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 382408820 9367552 267 33554432000 4194304 5064252 140733632883120 140733632882032 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/20344/statm: 2287 267 226 213 0 72 0
[pid=20345] ppid=20344 vsize=634924 CPUtime=1418.28 cores=0,2,4,6
/proc/20345/stat : 20345 (glucose) R 20344 20329 14797 0 -1 4202496 129524 0 0 0 141659 169 0 0 20 0 1 0 382408821 650162176 133331 33554432000 4194304 5208918 140735066928224 140735066926072 4229296 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/20345/statm: 158731 133331 105 248 0 158480 0
Current children cumulated CPU time (s) 1421.97
Current children cumulated vsize (KiB) 1002140
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/183 20424
/proc/meminfo: memFree=29262292/32873844 swapFree=7636/7636
[pid=20329] ppid=20327 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20329/stat : 20329 (npSolver-pbo.sh) S 20327 20329 14797 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382408450 9367552 275 33554432000 4194304 5064252 140736456750784 140736456749696 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20329/statm: 2287 275 233 213 0 72 0
[pid=20330] ppid=20329 vsize=348920 CPUtime=3.69 cores=0,2,4,6
/proc/20330/stat : 20330 (npSolver-pbo) S 20329 20329 14797 0 -1 4202496 19263 12303 0 0 271 44 48 6 20 0 1 0 382408450 357294080 59269 33554432000 4194304 6004724 140733971181648 140733971174000 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20330/statm: 87230 59269 175 442 0 86784 0
[pid=20344] ppid=20330 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20344/stat : 20344 (satsolver.sh) S 20330 20329 14797 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 382408820 9367552 267 33554432000 4194304 5064252 140733632883120 140733632882032 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/20344/statm: 2287 267 226 213 0 72 0
[pid=20345] ppid=20344 vsize=637144 CPUtime=1478.27 cores=0,2,4,6
/proc/20345/stat : 20345 (glucose) R 20344 20329 14797 0 -1 4202496 131295 0 0 0 147653 174 0 0 20 0 1 0 382408821 652435456 137945 33554432000 4194304 5208918 140735066928224 140735066926072 4212371 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/20345/statm: 159286 137945 105 248 0 159035 0
Current children cumulated CPU time (s) 1481.96
Current children cumulated vsize (KiB) 1004360
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/183 20424
/proc/meminfo: memFree=29244980/32873844 swapFree=7636/7636
[pid=20329] ppid=20327 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20329/stat : 20329 (npSolver-pbo.sh) S 20327 20329 14797 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382408450 9367552 275 33554432000 4194304 5064252 140736456750784 140736456749696 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20329/statm: 2287 275 233 213 0 72 0
[pid=20330] ppid=20329 vsize=348920 CPUtime=3.69 cores=0,2,4,6
/proc/20330/stat : 20330 (npSolver-pbo) S 20329 20329 14797 0 -1 4202496 19263 12303 0 0 271 44 48 6 20 0 1 0 382408450 357294080 59269 33554432000 4194304 6004724 140733971181648 140733971174000 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20330/statm: 87230 59269 175 442 0 86784 0
[pid=20344] ppid=20330 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20344/stat : 20344 (satsolver.sh) S 20330 20329 14797 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 382408820 9367552 267 33554432000 4194304 5064252 140733632883120 140733632882032 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/20344/statm: 2287 267 226 213 0 72 0
[pid=20345] ppid=20344 vsize=639552 CPUtime=1538.27 cores=0,2,4,6
/proc/20345/stat : 20345 (glucose) R 20344 20329 14797 0 -1 4202496 133175 0 0 0 153648 179 0 0 20 0 1 0 382408821 654901248 142151 33554432000 4194304 5208918 140735066928224 140735066926072 4240143 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/20345/statm: 159888 142151 105 248 0 159637 0
Current children cumulated CPU time (s) 1541.96
Current children cumulated vsize (KiB) 1006768
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/183 21062
/proc/meminfo: memFree=29041112/32873844 swapFree=7636/7636
[pid=20329] ppid=20327 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20329/stat : 20329 (npSolver-pbo.sh) S 20327 20329 14797 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382408450 9367552 275 33554432000 4194304 5064252 140736456750784 140736456749696 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20329/statm: 2287 275 233 213 0 72 0
[pid=20330] ppid=20329 vsize=348920 CPUtime=3.69 cores=0,2,4,6
/proc/20330/stat : 20330 (npSolver-pbo) S 20329 20329 14797 0 -1 4202496 19263 12303 0 0 271 44 48 6 20 0 1 0 382408450 357294080 59269 33554432000 4194304 6004724 140733971181648 140733971174000 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20330/statm: 87230 59269 175 442 0 86784 0
[pid=20344] ppid=20330 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20344/stat : 20344 (satsolver.sh) S 20330 20329 14797 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 382408820 9367552 267 33554432000 4194304 5064252 140733632883120 140733632882032 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/20344/statm: 2287 267 226 213 0 72 0
[pid=20345] ppid=20344 vsize=641092 CPUtime=1598.25 cores=0,2,4,6
/proc/20345/stat : 20345 (glucose) R 20344 20329 14797 0 -1 4202496 135994 0 0 0 159637 188 0 0 20 0 1 0 382408821 656478208 134331 33554432000 4194304 5208918 140735066928224 140735066926376 4229720 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/20345/statm: 160273 134331 105 248 0 160022 0
Current children cumulated CPU time (s) 1601.94
Current children cumulated vsize (KiB) 1008308
[startup+1662.31 s]
/proc/loadavg: 2.00 2.00 1.97 3/183 21258
/proc/meminfo: memFree=28979116/32873844 swapFree=7636/7636
[pid=20329] ppid=20327 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20329/stat : 20329 (npSolver-pbo.sh) S 20327 20329 14797 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382408450 9367552 275 33554432000 4194304 5064252 140736456750784 140736456749696 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20329/statm: 2287 275 233 213 0 72 0
[pid=20330] ppid=20329 vsize=348920 CPUtime=3.69 cores=0,2,4,6
/proc/20330/stat : 20330 (npSolver-pbo) S 20329 20329 14797 0 -1 4202496 19263 12303 0 0 271 44 48 6 20 0 1 0 382408450 357294080 59269 33554432000 4194304 6004724 140733971181648 140733971174000 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20330/statm: 87230 59269 175 442 0 86784 0
[pid=20344] ppid=20330 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20344/stat : 20344 (satsolver.sh) S 20330 20329 14797 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 382408820 9367552 267 33554432000 4194304 5064252 140733632883120 140733632882032 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/20344/statm: 2287 267 226 213 0 72 0
[pid=20345] ppid=20344 vsize=642792 CPUtime=1658.25 cores=0,2,4,6
/proc/20345/stat : 20345 (glucose) R 20344 20329 14797 0 -1 4202496 137673 0 0 0 165632 193 0 0 20 0 1 0 382408821 658219008 137848 33554432000 4194304 5208918 140735066928224 140735066926072 4211910 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/20345/statm: 160698 137848 105 248 0 160447 0
Current children cumulated CPU time (s) 1661.94
Current children cumulated vsize (KiB) 1010008
[startup+1722.3 s]
/proc/loadavg: 2.07 2.03 1.98 3/183 21266
/proc/meminfo: memFree=28941744/32873844 swapFree=7636/7636
[pid=20329] ppid=20327 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20329/stat : 20329 (npSolver-pbo.sh) S 20327 20329 14797 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382408450 9367552 275 33554432000 4194304 5064252 140736456750784 140736456749696 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20329/statm: 2287 275 233 213 0 72 0
[pid=20330] ppid=20329 vsize=348920 CPUtime=3.69 cores=0,2,4,6
/proc/20330/stat : 20330 (npSolver-pbo) S 20329 20329 14797 0 -1 4202496 19263 12303 0 0 271 44 48 6 20 0 1 0 382408450 357294080 59269 33554432000 4194304 6004724 140733971181648 140733971174000 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20330/statm: 87230 59269 175 442 0 86784 0
[pid=20344] ppid=20330 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20344/stat : 20344 (satsolver.sh) S 20330 20329 14797 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 382408820 9367552 267 33554432000 4194304 5064252 140733632883120 140733632882032 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/20344/statm: 2287 267 226 213 0 72 0
[pid=20345] ppid=20344 vsize=644588 CPUtime=1718.23 cores=0,2,4,6
/proc/20345/stat : 20345 (glucose) R 20344 20329 14797 0 -1 4202496 139323 0 0 0 171625 198 0 0 20 0 1 0 382408821 660058112 141852 33554432000 4194304 5208918 140735066928224 140735066926072 4205261 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/20345/statm: 161147 141852 105 248 0 160896 0
Current children cumulated CPU time (s) 1721.92
Current children cumulated vsize (KiB) 1011804
[startup+1782.3 s]
/proc/loadavg: 2.02 2.02 1.98 3/183 21266
/proc/meminfo: memFree=28902948/32873844 swapFree=7636/7636
[pid=20329] ppid=20327 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20329/stat : 20329 (npSolver-pbo.sh) S 20327 20329 14797 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382408450 9367552 275 33554432000 4194304 5064252 140736456750784 140736456749696 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20329/statm: 2287 275 233 213 0 72 0
[pid=20330] ppid=20329 vsize=348920 CPUtime=3.69 cores=0,2,4,6
/proc/20330/stat : 20330 (npSolver-pbo) S 20329 20329 14797 0 -1 4202496 19263 12303 0 0 271 44 48 6 20 0 1 0 382408450 357294080 59269 33554432000 4194304 6004724 140733971181648 140733971174000 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20330/statm: 87230 59269 175 442 0 86784 0
[pid=20344] ppid=20330 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20344/stat : 20344 (satsolver.sh) S 20330 20329 14797 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 382408820 9367552 267 33554432000 4194304 5064252 140733632883120 140733632882032 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/20344/statm: 2287 267 226 213 0 72 0
[pid=20345] ppid=20344 vsize=646720 CPUtime=1778.22 cores=0,2,4,6
/proc/20345/stat : 20345 (glucose) R 20344 20329 14797 0 -1 4202496 141096 0 0 0 177619 203 0 0 20 0 1 0 382408821 662241280 145761 33554432000 4194304 5208918 140735066928224 140735066926072 4229717 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/20345/statm: 161680 145761 105 248 0 161429 0
Current children cumulated CPU time (s) 1781.91
Current children cumulated vsize (KiB) 1013936
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.02 2.02 1.98 3/183 21266
/proc/meminfo: memFree=28933276/32873844 swapFree=7636/7636
[pid=20329] ppid=20327 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20329/stat : 20329 (npSolver-pbo.sh) S 20327 20329 14797 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382408450 9367552 275 33554432000 4194304 5064252 140736456750784 140736456749696 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20329/statm: 2287 275 233 213 0 72 0
[pid=20330] ppid=20329 vsize=348920 CPUtime=3.69 cores=0,2,4,6
/proc/20330/stat : 20330 (npSolver-pbo) S 20329 20329 14797 0 -1 4202496 19263 12303 0 0 271 44 48 6 20 0 1 0 382408450 357294080 59269 33554432000 4194304 6004724 140733971181648 140733971174000 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20330/statm: 87230 59269 175 442 0 86784 0
[pid=20344] ppid=20330 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20344/stat : 20344 (satsolver.sh) S 20330 20329 14797 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 382408820 9367552 267 33554432000 4194304 5064252 140733632883120 140733632882032 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/20344/statm: 2287 267 226 213 0 72 0
[pid=20345] ppid=20344 vsize=647060 CPUtime=1796.32 cores=0,2,4,6
/proc/20345/stat : 20345 (glucose) R 20344 20329 14797 0 -1 4202496 142415 0 0 0 179426 206 0 0 20 0 1 0 382408821 662589440 138179 33554432000 4194304 5208918 140735066928224 140735066924600 4229319 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/20345/statm: 161765 138179 105 248 0 161514 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1014276
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 20329 and gives
# childrusage.ru_utime.tv_sec=3
# childrusage.ru_utime.tv_usec=195514
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=514921
# CPU time returned by wait4() is 3.71044
# 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.42
CPU time (s): 1800.01
CPU user time (s): 1797.45
CPU system time (s): 2.56
CPU usage (%): 99.9774
Max. virtual memory (cumulated for all children) (KiB): 1144504
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.19551
system time used= 0.514921
maximum resident set size= 387832
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32543
page faults= 0
swaps= 0
block input operations= 0
block output operations= 315712
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 45
involuntary context switches= 30
runsolver used 2.74658 second user time and 7.27689 second system time
The end