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-3702690-1338050630/watcher-3702690-1338050630 -o /tmp/evaluation-result-3702690-1338050630/solver-3702690-1338050630 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itdqb.sh HOME/instance-3702690-1338050630.opb 679141285 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: 1.00 1.00 1.16 3/172 3425
/proc/meminfo: memFree=29804268/32873844 swapFree=7112/7112
[pid=3425] ppid=3423 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3425/stat : 3425 (npSolver-pbo-It) S 3423 3425 3390 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271188690 9367552 275 33554432000 4194304 5064252 140737411479328 140737411478240 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3425/statm: 2287 275 233 213 0 72 0
[startup+0.0793121 s]
/proc/loadavg: 1.00 1.00 1.16 3/172 3425
/proc/meminfo: memFree=29804268/32873844 swapFree=7112/7112
[pid=3425] ppid=3423 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3425/stat : 3425 (npSolver-pbo-It) S 3423 3425 3390 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271188690 9367552 275 33554432000 4194304 5064252 140737411479328 140737411478240 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3425/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100261 s]
/proc/loadavg: 1.00 1.00 1.16 3/172 3425
/proc/meminfo: memFree=29804268/32873844 swapFree=7112/7112
[pid=3425] ppid=3423 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3425/stat : 3425 (npSolver-pbo-It) S 3423 3425 3390 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271188690 9367552 275 33554432000 4194304 5064252 140737411479328 140737411478240 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3425/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300228 s]
/proc/loadavg: 1.00 1.00 1.16 3/172 3425
/proc/meminfo: memFree=29804268/32873844 swapFree=7112/7112
[pid=3425] ppid=3423 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3425/stat : 3425 (npSolver-pbo-It) S 3423 3425 3390 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271188690 9367552 275 33554432000 4194304 5064252 140737411479328 140737411478240 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3425/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700234 s]
/proc/loadavg: 1.00 1.00 1.16 3/172 3425
/proc/meminfo: memFree=29804268/32873844 swapFree=7112/7112
[pid=3425] ppid=3423 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3425/stat : 3425 (npSolver-pbo-It) S 3423 3425 3390 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271188690 9367552 275 33554432000 4194304 5064252 140737411479328 140737411478240 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3425/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50028 s]
/proc/loadavg: 1.08 1.02 1.16 3/181 3439
/proc/meminfo: memFree=29664328/32873844 swapFree=7112/7112
[pid=3425] ppid=3423 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3425/stat : 3425 (npSolver-pbo-It) S 3423 3425 3390 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271188690 9367552 275 33554432000 4194304 5064252 140737411479328 140737411478240 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3425/statm: 2287 275 233 213 0 72 0
[pid=3426] ppid=3425 vsize=67676 CPUtime=1.49 cores=1,3,5,7
/proc/3426/stat : 3426 (npSolver-pbo) R 3425 3425 3390 0 -1 4202496 3414 0 0 0 148 1 0 0 20 0 1 0 271188691 69300224 8991 33554432000 4194304 5992684 140734289359936 140734289352936 4809207 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/3426/statm: 16919 8991 146 440 0 16475 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 76824
[startup+3.10028 s]
/proc/loadavg: 1.08 1.02 1.16 3/181 3439
/proc/meminfo: memFree=29416364/32873844 swapFree=7112/7112
[pid=3425] ppid=3423 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3425/stat : 3425 (npSolver-pbo-It) S 3423 3425 3390 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271188690 9367552 275 33554432000 4194304 5064252 140737411479328 140737411478240 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3425/statm: 2287 275 233 213 0 72 0
[pid=3426] ppid=3425 vsize=133428 CPUtime=3.09 cores=1,3,5,7
/proc/3426/stat : 3426 (npSolver-pbo) R 3425 3425 3390 0 -1 4202496 4010 0 0 0 306 3 0 0 20 0 1 0 271188691 136630272 20286 33554432000 4194304 5992684 140734289359936 140734289356056 4767715 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/3426/statm: 33357 20286 146 440 0 32913 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 142576
[startup+6.30026 s]
/proc/loadavg: 1.15 1.03 1.17 3/181 3439
/proc/meminfo: memFree=29251876/32873844 swapFree=7112/7112
[pid=3425] ppid=3423 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3425/stat : 3425 (npSolver-pbo-It) S 3423 3425 3390 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271188690 9367552 275 33554432000 4194304 5064252 140737411479328 140737411478240 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3425/statm: 2287 275 233 213 0 72 0
[pid=3426] ppid=3425 vsize=266428 CPUtime=6.28 cores=1,3,5,7
/proc/3426/stat : 3426 (npSolver-pbo) R 3425 3425 3390 0 -1 4202496 5048 0 0 0 621 7 0 0 20 0 1 0 271188691 272822272 42211 33554432000 4194304 5992684 140734289359936 140734289356056 4374760 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/3426/statm: 66607 42211 146 440 0 66163 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 275576
[startup+12.7005 s]
/proc/loadavg: 1.22 1.05 1.17 3/183 3441
/proc/meminfo: memFree=28488216/32873844 swapFree=7112/7112
[pid=3425] ppid=3423 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3425/stat : 3425 (npSolver-pbo-It) S 3423 3425 3390 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271188690 9367552 275 33554432000 4194304 5064252 140737411479328 140737411478240 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3425/statm: 2287 275 233 213 0 72 0
[pid=3426] ppid=3425 vsize=279616 CPUtime=8.16 cores=1,3,5,7
/proc/3426/stat : 3426 (npSolver-pbo) S 3425 3425 3390 0 -1 4202496 9107 0 0 0 772 44 0 0 20 0 1 0 271188691 286326784 57857 33554432000 4194304 5992684 140734289359936 140734289354384 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/3426/statm: 69904 57857 170 440 0 69460 0
[pid=3440] ppid=3426 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3440/stat : 3440 (cp2_pre.sh) S 3426 3425 3390 0 -1 4202496 609 0 0 0 0 0 0 0 20 0 1 0 271189507 9367552 276 33554432000 4194304 5064252 140734471544112 140734471542816 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/3440/statm: 2287 276 234 213 0 72 0
[pid=3441] ppid=3440 vsize=588868 CPUtime=4.51 cores=1,3,5,7
/proc/3441/stat : 3441 (coprocessor) R 3440 3425 3390 0 -1 4202496 99058 0 0 0 427 24 0 0 20 0 1 0 271189508 603000832 133868 33554432000 4194304 6586260 140733475800464 140733475796728 4249082 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/3441/statm: 147217 133875 166 584 0 146629 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 886780
[startup+25.5003 s]
/proc/loadavg: 1.41 1.10 1.19 3/182 3446
/proc/meminfo: memFree=27793564/32873844 swapFree=7112/7112
[pid=3425] ppid=3423 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3425/stat : 3425 (npSolver-pbo-It) S 3423 3425 3390 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271188690 9367552 275 33554432000 4194304 5064252 140737411479328 140737411478240 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3425/statm: 2287 275 233 213 0 72 0
[pid=3426] ppid=3425 vsize=279616 CPUtime=8.16 cores=1,3,5,7
/proc/3426/stat : 3426 (npSolver-pbo) S 3425 3425 3390 0 -1 4202496 9107 0 0 0 772 44 0 0 20 0 1 0 271188691 286326784 57857 33554432000 4194304 5992684 140734289359936 140734289354384 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/3426/statm: 69904 57857 170 440 0 69460 0
[pid=3440] ppid=3426 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3440/stat : 3440 (cp2_pre.sh) S 3426 3425 3390 0 -1 4202496 609 0 0 0 0 0 0 0 20 0 1 0 271189507 9367552 276 33554432000 4194304 5064252 140734471544112 140734471542816 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/3440/statm: 2287 276 234 213 0 72 0
[pid=3441] ppid=3440 vsize=650280 CPUtime=17.31 cores=1,3,5,7
/proc/3441/stat : 3441 (coprocessor) R 3440 3425 3390 0 -1 4202496 113299 0 0 0 1704 27 0 0 20 0 1 0 271189508 665886720 150664 33554432000 4194304 6586260 140733475800464 140733475796488 4758304 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/3441/statm: 162570 150664 182 584 0 161982 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 948192
[startup+51.1004 s]
/proc/loadavg: 1.72 1.20 1.21 2/182 3446
/proc/meminfo: memFree=27585348/32873844 swapFree=7112/7112
[pid=3425] ppid=3423 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3425/stat : 3425 (npSolver-pbo-It) S 3423 3425 3390 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271188690 9367552 275 33554432000 4194304 5064252 140737411479328 140737411478240 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3425/statm: 2287 275 233 213 0 72 0
[pid=3426] ppid=3425 vsize=279616 CPUtime=8.16 cores=1,3,5,7
/proc/3426/stat : 3426 (npSolver-pbo) S 3425 3425 3390 0 -1 4202496 9107 0 0 0 772 44 0 0 20 0 1 0 271188691 286326784 57857 33554432000 4194304 5992684 140734289359936 140734289354384 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/3426/statm: 69904 57857 170 440 0 69460 0
[pid=3440] ppid=3426 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3440/stat : 3440 (cp2_pre.sh) S 3426 3425 3390 0 -1 4202496 609 0 0 0 0 0 0 0 20 0 1 0 271189507 9367552 276 33554432000 4194304 5064252 140734471544112 140734471542816 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/3440/statm: 2287 276 234 213 0 72 0
[pid=3441] ppid=3440 vsize=688656 CPUtime=42.48 cores=1,3,5,7
/proc/3441/stat : 3441 (coprocessor) R 3440 3425 3390 0 -1 4202496 118454 0 0 0 4180 68 0 0 20 0 1 0 271189508 705183744 159907 33554432000 4194304 6586260 140733475800464 140733475796216 5732496 0 0 4096 8404994 0 0 0 17 5 0 0 42 0 0
/proc/3441/statm: 172164 159907 195 584 0 171576 0
Current children cumulated CPU time (s) 50.64
Current children cumulated vsize (KiB) 986568
[startup+102.307 s]
/proc/loadavg: 2.02 1.36 1.27 3/183 3451
/proc/meminfo: memFree=27543972/32873844 swapFree=7112/7112
[pid=3425] ppid=3423 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3425/stat : 3425 (npSolver-pbo-It) S 3423 3425 3390 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271188690 9367552 275 33554432000 4194304 5064252 140737411479328 140737411478240 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3425/statm: 2287 275 233 213 0 72 0
[pid=3426] ppid=3425 vsize=297356 CPUtime=57.04 cores=1,3,5,7
/proc/3426/stat : 3426 (npSolver-pbo) S 3425 3425 3390 0 -1 4202496 12343 119874 0 0 881 458 4254 111 20 0 1 0 271188691 304492544 62357 33554432000 4194304 5992684 140734289359936 140734289352224 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 12 0 0
/proc/3426/statm: 74339 62357 194 440 0 73895 0
[pid=3448] ppid=3426 vsize=368640 CPUtime=6.81 cores=1,3,5,7
/proc/3448/stat : 3448 (glucosInc) S 3426 3425 3390 0 -1 4202496 41895 0 0 0 666 15 0 0 20 0 1 0 271193884 377487360 75459 33554432000 4194304 5654031 140736613238480 140736613236792 4976656 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/3448/statm: 92160 75459 146 357 0 91800 0
[pid=3450] ppid=3426 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3450/stat : 3450 (satsolver.sh) S 3426 3425 3390 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 271195191 9367552 267 33554432000 4194304 5064252 140734769622640 140734769621552 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/3450/statm: 2287 267 226 213 0 72 0
[pid=3451] ppid=3450 vsize=441760 CPUtime=37.28 cores=1,3,5,7
/proc/3451/stat : 3451 (glucose) R 3450 3425 3390 0 -1 4202496 54477 0 0 0 3712 16 0 0 20 0 1 0 271195191 452362240 92038 33554432000 4194304 5208918 140736235227024 140736235224856 4211156 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/3451/statm: 110440 92038 104 248 0 110189 0
Current children cumulated CPU time (s) 101.13
Current children cumulated vsize (KiB) 1126052
[startup+162.301 s]
/proc/loadavg: 2.05 1.49 1.32 3/182 3458
/proc/meminfo: memFree=27542568/32873844 swapFree=7112/7112
[pid=3425] ppid=3423 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3425/stat : 3425 (npSolver-pbo-It) S 3423 3425 3390 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271188690 9367552 275 33554432000 4194304 5064252 140737411479328 140737411478240 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3425/statm: 2287 275 233 213 0 72 0
[pid=3426] ppid=3425 vsize=297356 CPUtime=117.34 cores=1,3,5,7
/proc/3426/stat : 3426 (npSolver-pbo) S 3425 3425 3390 0 -1 4202496 15420 183312 0 0 895 459 10208 172 20 0 1 0 271188691 304492544 62357 33554432000 4194304 5992684 140734289359936 140734289352224 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 12 0 0
/proc/3426/statm: 74339 62357 194 440 0 73895 0
[pid=3448] ppid=3426 vsize=368640 CPUtime=6.81 cores=1,3,5,7
/proc/3448/stat : 3448 (glucosInc) S 3426 3425 3390 0 -1 4202496 41895 0 0 0 666 15 0 0 20 0 1 0 271193884 377487360 75459 33554432000 4194304 5654031 140736613238480 140736613236792 4976656 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/3448/statm: 92160 75459 146 357 0 91800 0
[pid=3457] ppid=3426 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3457/stat : 3457 (satsolver.sh) S 3426 3425 3390 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 271201223 9367552 267 33554432000 4194304 5064252 140735401947872 140735401946784 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/3457/statm: 2287 267 226 213 0 72 0
[pid=3458] ppid=3457 vsize=441760 CPUtime=36.96 cores=1,3,5,7
/proc/3458/stat : 3458 (glucose) R 3457 3425 3390 0 -1 4202496 55437 0 0 0 3677 19 0 0 20 0 1 0 271201223 452362240 92422 33554432000 4194304 5208918 140735275633408 140735275631240 4229251 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/3458/statm: 110440 92422 104 248 0 110189 0
Current children cumulated CPU time (s) 161.11
Current children cumulated vsize (KiB) 1126052
[startup+222.301 s]
/proc/loadavg: 2.10 1.61 1.37 3/183 3467
/proc/meminfo: memFree=27542508/32873844 swapFree=7112/7112
[pid=3425] ppid=3423 vsize=9148 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
/proc/3638/stat : 3638 (satsolver.sh) S 3426 3425 3390 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 271327056 9367552 266 33554432000 4194304 5064252 140734393973808 140734393972720 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3638/statm: 2287 266 226 213 0 72 0
[pid=3639] ppid=3638 vsize=441760 CPUtime=38.63 cores=1,3,5,7
/proc/3639/stat : 3639 (glucose) R 3638 3425 3390 0 -1 4202496 53898 0 0 0 3848 15 0 0 20 0 1 0 271327056 452362240 92499 33554432000 4194304 5208918 140734434741952 140734434739784 4229021 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/3639/statm: 110440 92499 104 248 0 110189 0
Current children cumulated CPU time (s) 1420.91
Current children cumulated vsize (KiB) 1126052
[startup+1482.3 s]
/proc/loadavg: 2.07 2.06 1.85 3/183 3647
/proc/meminfo: memFree=27520616/32873844 swapFree=7112/7112
[pid=3425] ppid=3423 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3425/stat : 3425 (npSolver-pbo-It) S 3423 3425 3390 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271188690 9367552 275 33554432000 4194304 5064252 140737411479328 140737411478240 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3425/statm: 2287 275 233 213 0 72 0
[pid=3426] ppid=3425 vsize=297356 CPUtime=1435.54 cores=1,3,5,7
/proc/3426/stat : 3426 (npSolver-pbo) S 3425 3425 3390 0 -1 4202496 83195 1574666 0 0 1209 486 140262 1597 20 0 1 0 271188691 304492544 62357 33554432000 4194304 5992684 140734289359936 140734289352224 5175646 0 65536 4102 0 18446744071579302229 0 0 17 7 0 0 12 0 0
/proc/3426/statm: 74339 62357 194 440 0 73895 0
[pid=3448] ppid=3426 vsize=368640 CPUtime=6.81 cores=1,3,5,7
/proc/3448/stat : 3448 (glucosInc) S 3426 3425 3390 0 -1 4202496 41895 0 0 0 666 15 0 0 20 0 1 0 271193884 377487360 76342 33554432000 4194304 5654031 140736613238480 140736613236792 4976656 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/3448/statm: 92160 76342 146 357 0 91800 0
[pid=3646] ppid=3426 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3646/stat : 3646 (satsolver.sh) S 3426 3425 3390 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 271333065 9367552 267 33554432000 4194304 5064252 140737458287840 140737458286752 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3646/statm: 2287 267 226 213 0 72 0
[pid=3647] ppid=3646 vsize=441764 CPUtime=38.54 cores=1,3,5,7
/proc/3647/stat : 3647 (glucose) R 3646 3425 3390 0 -1 4202496 54686 0 0 0 3835 19 0 0 20 0 1 0 271333065 452366336 92698 33554432000 4194304 5208918 140734354646480 140734354644312 4228997 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/3647/statm: 110441 92698 104 248 0 110190 0
Current children cumulated CPU time (s) 1480.89
Current children cumulated vsize (KiB) 1126056
[startup+1543.8 s]
/proc/loadavg: 2.08 2.06 1.86 3/183 3654
/proc/meminfo: memFree=27526208/32873844 swapFree=7112/7112
[pid=3425] ppid=3423 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3425/stat : 3425 (npSolver-pbo-It) S 3423 3425 3390 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271188690 9367552 275 33554432000 4194304 5064252 140737411479328 140737411478240 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3425/statm: 2287 275 233 213 0 72 0
[pid=3426] ppid=3425 vsize=297356 CPUtime=1495.77 cores=1,3,5,7
/proc/3426/stat : 3426 (npSolver-pbo) S 3425 3425 3390 0 -1 4202496 86277 1637948 0 0 1224 488 146203 1662 20 0 1 0 271188691 304492544 62357 33554432000 4194304 5992684 140734289359936 140734289352224 5175646 0 65536 4102 0 18446744071579302229 0 0 17 7 0 0 12 0 0
/proc/3426/statm: 74339 62357 194 440 0 73895 0
[pid=3448] ppid=3426 vsize=368640 CPUtime=6.81 cores=1,3,5,7
/proc/3448/stat : 3448 (glucosInc) S 3426 3425 3390 0 -1 4202496 41895 0 0 0 666 15 0 0 20 0 1 0 271193884 377487360 76342 33554432000 4194304 5654031 140736613238480 140736613236792 4976656 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/3448/statm: 92160 76342 146 357 0 91800 0
[pid=3653] ppid=3426 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3653/stat : 3653 (satsolver.sh) S 3426 3425 3390 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 271339088 9367552 266 33554432000 4194304 5064252 140733579115488 140733579114400 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3653/statm: 2287 266 226 213 0 72 0
[pid=3654] ppid=3653 vsize=441756 CPUtime=39.8 cores=1,3,5,7
/proc/3654/stat : 3654 (glucose) R 3653 3425 3390 0 -1 4202496 53702 0 0 0 3960 20 0 0 20 0 1 0 271339088 452358144 92303 33554432000 4194304 5208918 140737032993072 140737032990904 4212869 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/3654/statm: 110439 92303 104 248 0 110188 0
Current children cumulated CPU time (s) 1542.38
Current children cumulated vsize (KiB) 1126048
[startup+1607.79 s]
/proc/loadavg: 2.08 2.06 1.87 3/184 3664
/proc/meminfo: memFree=27520940/32873844 swapFree=7112/7112
[pid=3425] ppid=3423 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3425/stat : 3425 (npSolver-pbo-It) S 3423 3425 3390 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271188690 9367552 275 33554432000 4194304 5064252 140737411479328 140737411478240 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3425/statm: 2287 275 233 213 0 72 0
[pid=3426] ppid=3425 vsize=297356 CPUtime=1555.79 cores=1,3,5,7
/proc/3426/stat : 3426 (npSolver-pbo) S 3425 3425 3390 0 -1 4202496 89359 1700357 0 0 1238 489 152117 1735 20 0 1 0 271188691 304492544 62357 33554432000 4194304 5992684 140734289359936 140734289352224 5175646 0 65536 4102 0 18446744071579302229 0 0 17 7 0 0 12 0 0
/proc/3426/statm: 74339 62357 194 440 0 73895 0
[pid=3448] ppid=3426 vsize=368640 CPUtime=6.81 cores=1,3,5,7
/proc/3448/stat : 3448 (glucosInc) S 3426 3425 3390 0 -1 4202496 41895 0 0 0 666 15 0 0 20 0 1 0 271193884 377487360 76342 33554432000 4194304 5654031 140736613238480 140736613236792 4976656 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/3448/statm: 92160 76342 146 357 0 91800 0
[pid=3660] ppid=3426 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3660/stat : 3660 (satsolver.sh) S 3426 3425 3390 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 271345085 9367552 267 33554432000 4194304 5064252 140733470119536 140733470118448 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3660/statm: 2287 267 226 213 0 72 0
[pid=3661] ppid=3660 vsize=442804 CPUtime=43.82 cores=1,3,5,7
/proc/3661/stat : 3661 (glucose) R 3660 3425 3390 0 -1 4202496 54867 0 0 0 4363 19 0 0 20 0 1 0 271345086 453431296 93433 33554432000 4194304 5208918 140734862523008 140734862520840 4228997 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/3661/statm: 110701 93433 104 248 0 110450 0
Current children cumulated CPU time (s) 1606.42
Current children cumulated vsize (KiB) 1127096
[startup+1663.8 s]
/proc/loadavg: 2.08 2.06 1.89 3/183 3671
/proc/meminfo: memFree=27518480/32873844 swapFree=7112/7112
[pid=3425] ppid=3423 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3425/stat : 3425 (npSolver-pbo-It) S 3423 3425 3390 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271188690 9367552 275 33554432000 4194304 5064252 140737411479328 140737411478240 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3425/statm: 2287 275 233 213 0 72 0
[pid=3426] ppid=3425 vsize=297356 CPUtime=1615.22 cores=1,3,5,7
/proc/3426/stat : 3426 (npSolver-pbo) S 3425 3425 3390 0 -1 4202496 92440 1764193 0 0 1253 490 157974 1805 20 0 1 0 271188691 304492544 62357 33554432000 4194304 5992684 140734289359936 140734289352224 5175646 0 65536 4102 0 18446744071579302229 0 0 17 7 0 0 12 0 0
/proc/3426/statm: 74339 62357 194 440 0 73895 0
[pid=3448] ppid=3426 vsize=368640 CPUtime=6.81 cores=1,3,5,7
/proc/3448/stat : 3448 (glucosInc) S 3426 3425 3390 0 -1 4202496 41895 0 0 0 666 15 0 0 20 0 1 0 271193884 377487360 76342 33554432000 4194304 5654031 140736613238480 140736613236792 4976656 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/3448/statm: 92160 76342 146 357 0 91800 0
[pid=3670] ppid=3426 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3670/stat : 3670 (satsolver.sh) S 3426 3425 3390 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 271351022 9367552 267 33554432000 4194304 5064252 140737021106112 140737021105024 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3670/statm: 2287 267 226 213 0 72 0
[pid=3671] ppid=3670 vsize=441756 CPUtime=40.46 cores=1,3,5,7
/proc/3671/stat : 3671 (glucose) R 3670 3425 3390 0 -1 4202496 55062 0 0 0 4026 20 0 0 20 0 1 0 271351023 452358144 92576 33554432000 4194304 5208918 140734284180896 140734284178728 4211182 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/3671/statm: 110439 92576 104 248 0 110188 0
Current children cumulated CPU time (s) 1662.49
Current children cumulated vsize (KiB) 1126048
[startup+1742 s]
/proc/loadavg: 2.05 2.06 1.89 5/183 3678
/proc/meminfo: memFree=27585388/32873844 swapFree=7112/7112
[pid=3425] ppid=3423 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3425/stat : 3425 (npSolver-pbo-It) S 3423 3425 3390 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271188690 9367552 275 33554432000 4194304 5064252 140737411479328 140737411478240 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3425/statm: 2287 275 233 213 0 72 0
[pid=3426] ppid=3425 vsize=297356 CPUtime=1674.6 cores=1,3,5,7
/proc/3426/stat : 3426 (npSolver-pbo) S 3425 3425 3390 0 -1 4202496 95521 1828041 0 0 1267 492 163822 1879 20 0 1 0 271188691 304492544 62357 33554432000 4194304 5992684 140734289359936 140734289352224 5175646 0 65536 4102 0 18446744071579302229 0 0 17 7 0 0 12 0 0
/proc/3426/statm: 74339 62357 194 440 0 73895 0
[pid=3448] ppid=3426 vsize=368640 CPUtime=6.81 cores=1,3,5,7
/proc/3448/stat : 3448 (glucosInc) S 3426 3425 3390 0 -1 4202496 41895 0 0 0 666 15 0 0 20 0 1 0 271193884 377487360 76342 33554432000 4194304 5654031 140736613238480 140736613236792 4976656 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/3448/statm: 92160 76342 146 357 0 91800 0
[pid=3677] ppid=3426 vsize=0 CPUtime=59.33 cores=1,3,5,7
/proc/3677/stat : 3677 (satsolver.sh) R 3426 3425 3390 0 -1 4202500 605 56239 0 0 0 0 5913 20 20 0 1 0 271356955 0 0 33554432000 0 0 0 0 0 0 0 4100 65536 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3677/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1740.74
Current children cumulated vsize (KiB) 675144
[startup+1789.8 s]
/proc/loadavg: 2.07 2.06 1.90 3/183 3686
/proc/meminfo: memFree=27523336/32873844 swapFree=7112/7112
[pid=3425] ppid=3423 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3425/stat : 3425 (npSolver-pbo-It) S 3423 3425 3390 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271188690 9367552 275 33554432000 4194304 5064252 140737411479328 140737411478240 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3425/statm: 2287 275 233 213 0 72 0
[pid=3426] ppid=3425 vsize=297356 CPUtime=1734.86 cores=1,3,5,7
/proc/3426/stat : 3426 (npSolver-pbo) S 3425 3425 3390 0 -1 4202496 98600 1890901 0 0 1282 493 169761 1950 20 0 1 0 271188691 304492544 62357 33554432000 4194304 5992684 140734289359936 140734289352224 5175646 0 65536 4102 0 18446744071579302229 0 0 17 7 0 0 12 0 0
/proc/3426/statm: 74339 62357 194 440 0 73895 0
[pid=3448] ppid=3426 vsize=368640 CPUtime=6.81 cores=1,3,5,7
/proc/3448/stat : 3448 (glucosInc) S 3426 3425 3390 0 -1 4202496 41895 0 0 0 666 15 0 0 20 0 1 0 271193884 377487360 76342 33554432000 4194304 5654031 140736613238480 140736613236792 4976656 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/3448/statm: 92160 76342 146 357 0 91800 0
[pid=3685] ppid=3426 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3685/stat : 3685 (satsolver.sh) S 3426 3425 3390 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 271362975 9367552 266 33554432000 4194304 5064252 140734931274512 140734931273424 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3685/statm: 2287 266 226 213 0 72 0
[pid=3686] ppid=3685 vsize=442812 CPUtime=46.93 cores=1,3,5,7
/proc/3686/stat : 3686 (glucose) R 3685 3425 3390 0 -1 4202496 54034 0 0 0 4675 18 0 0 20 0 1 0 271362975 453439488 93133 33554432000 4194304 5208918 140733848204336 140733848202168 4211064 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/3686/statm: 110703 93133 104 248 0 110452 0
Current children cumulated CPU time (s) 1788.6
Current children cumulated vsize (KiB) 1127104
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1801.54 s]
/proc/loadavg: 2.04 2.05 1.91 4/182 3687
/proc/meminfo: memFree=27883780/32873844 swapFree=7112/7112
[pid=3425] ppid=3423 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3425/stat : 3425 (npSolver-pbo-It) S 3423 3425 3390 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271188690 9367552 275 33554432000 4194304 5064252 140737411479328 140737411478240 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3425/statm: 2287 275 233 213 0 72 0
[pid=3426] ppid=3425 vsize=297356 CPUtime=1793.55 cores=1,3,5,7
/proc/3426/stat : 3426 (npSolver-pbo) S 3425 3425 3390 0 -1 4202496 98606 1947378 0 0 1282 493 175608 1972 20 0 1 0 271188691 304492544 62357 33554432000 4194304 5992684 140734289359936 140734289351712 5175646 0 65536 4102 0 18446744071579302229 0 0 17 7 0 0 12 0 0
/proc/3426/statm: 74339 62357 194 440 0 73895 0
[pid=3448] ppid=3426 vsize=368640 CPUtime=6.81 cores=1,3,5,7
/proc/3448/stat : 3448 (glucosInc) S 3426 3425 3390 0 -1 4202496 41895 0 0 0 666 15 0 0 20 0 1 0 271193884 377487360 76342 33554432000 4194304 5654031 140736613238480 140736613236792 4976656 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/3448/statm: 92160 76342 146 357 0 91800 0
[pid=3687] ppid=3426 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3687/stat : 3687 (cp2_post.sh) S 3426 3425 3390 0 -1 4202496 613 0 0 0 0 0 0 0 20 0 1 0 271368845 9367552 266 33554432000 4194304 5064252 140736246249040 140736246247328 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3687/statm: 2287 266 225 213 0 72 0
Current children cumulated CPU time (s) 1800.36
Current children cumulated vsize (KiB) 684292
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 3425 and gives
# childrusage.ru_utime.tv_sec=1768
# childrusage.ru_utime.tv_usec=917083
# childrusage.ru_stime.tv_sec=24
# childrusage.ru_stime.tv_usec=664250
# CPU time returned by wait4() is 1793.58
# while last known CPU time is 1800.36
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1801.57
CPU time (s): 1800.36
CPU user time (s): 1775.56
CPU system time (s): 24.8
CPU usage (%): 99.933
Max. virtual memory (cumulated for all children) (KiB): 1134752
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1768.92
system time used= 24.6642
maximum resident set size= 639636
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2048185
page faults= 0
swaps= 0
block input operations= 24
block output operations= 12549600
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 21903
involuntary context switches= 2546
runsolver used 5.76112 second user time and 15.7176 second system time
The end