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-3702269-1338065566/watcher-3702269-1338065566 -o /tmp/evaluation-result-3702269-1338065566/solver-3702269-1338065566 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itdqb.sh HOME/instance-3702269-1338065566.opb 1005447877 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: 1.84 1.97 1.99 3/177 5368
/proc/meminfo: memFree=29945208/32873648 swapFree=6860/6860
[pid=5368] ppid=5366 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5368/stat : 5368 (npSolver-pbo-It) S 5366 5368 4103 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272682654 9367552 275 33554432000 4194304 5064252 140734459641792 140734459640704 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/5368/statm: 2287 275 233 213 0 72 0
[startup+0.053519 s]
/proc/loadavg: 1.84 1.97 1.99 3/177 5368
/proc/meminfo: memFree=29945208/32873648 swapFree=6860/6860
[pid=5368] ppid=5366 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5368/stat : 5368 (npSolver-pbo-It) S 5366 5368 4103 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272682654 9367552 275 33554432000 4194304 5064252 140734459641792 140734459640704 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/5368/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100213 s]
/proc/loadavg: 1.84 1.97 1.99 3/177 5368
/proc/meminfo: memFree=29945208/32873648 swapFree=6860/6860
[pid=5368] ppid=5366 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5368/stat : 5368 (npSolver-pbo-It) S 5366 5368 4103 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272682654 9367552 275 33554432000 4194304 5064252 140734459641792 140734459640704 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/5368/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300176 s]
/proc/loadavg: 1.84 1.97 1.99 3/177 5368
/proc/meminfo: memFree=29945208/32873648 swapFree=6860/6860
[pid=5368] ppid=5366 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5368/stat : 5368 (npSolver-pbo-It) S 5366 5368 4103 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272682654 9367552 275 33554432000 4194304 5064252 140734459641792 140734459640704 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/5368/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700109 s]
/proc/loadavg: 1.84 1.97 1.99 3/177 5368
/proc/meminfo: memFree=29945208/32873648 swapFree=6860/6860
[pid=5368] ppid=5366 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5368/stat : 5368 (npSolver-pbo-It) S 5366 5368 4103 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272682654 9367552 275 33554432000 4194304 5064252 140734459641792 140734459640704 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/5368/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50015 s]
/proc/loadavg: 1.84 1.97 1.99 3/179 5370
/proc/meminfo: memFree=29915892/32873648 swapFree=6860/6860
[pid=5368] ppid=5366 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5368/stat : 5368 (npSolver-pbo-It) S 5366 5368 4103 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272682654 9367552 275 33554432000 4194304 5064252 140734459641792 140734459640704 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/5368/statm: 2287 275 233 213 0 72 0
[pid=5369] ppid=5368 vsize=18548 CPUtime=1.48 cores=0,2,4,6
/proc/5369/stat : 5369 (npSolver-pbo) R 5368 5368 4103 0 -1 4202496 2558 0 0 0 148 0 0 0 20 0 1 0 272682654 18993152 3562 33554432000 4194304 5992684 140734091166304 140734091161704 4767675 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/5369/statm: 4637 3562 145 440 0 4193 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 27696
[startup+3.10013 s]
/proc/loadavg: 1.84 1.97 1.99 3/179 5370
/proc/meminfo: memFree=29880084/32873648 swapFree=6860/6860
[pid=5368] ppid=5366 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5368/stat : 5368 (npSolver-pbo-It) S 5366 5368 4103 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272682654 9367552 275 33554432000 4194304 5064252 140734459641792 140734459640704 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/5368/statm: 2287 275 233 213 0 72 0
[pid=5369] ppid=5368 vsize=34932 CPUtime=3.09 cores=0,2,4,6
/proc/5369/stat : 5369 (npSolver-pbo) R 5368 5368 4103 0 -1 4202496 3085 0 0 0 308 1 0 0 20 0 1 0 272682654 35770368 7658 33554432000 4194304 5992684 140734091166304 140734091161288 4571359 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/5369/statm: 8733 7658 145 440 0 8289 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 44080
[startup+6.30013 s]
/proc/loadavg: 1.85 1.97 1.99 3/179 5370
/proc/meminfo: memFree=29788200/32873648 swapFree=6860/6860
[pid=5368] ppid=5366 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5368/stat : 5368 (npSolver-pbo-It) S 5366 5368 4103 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272682654 9367552 275 33554432000 4194304 5064252 140734459641792 140734459640704 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/5368/statm: 2287 275 233 213 0 72 0
[pid=5369] ppid=5368 vsize=67700 CPUtime=6.29 cores=0,2,4,6
/proc/5369/stat : 5369 (npSolver-pbo) R 5368 5368 4103 0 -1 4202496 3626 0 0 0 627 2 0 0 20 0 1 0 272682654 69324800 14826 33554432000 4194304 5992684 140734091166304 140734091162424 4375116 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/5369/statm: 16925 14826 145 440 0 16481 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 76848
[startup+12.7003 s]
/proc/loadavg: 1.86 1.97 1.99 3/179 5370
/proc/meminfo: memFree=29508060/32873648 swapFree=6860/6860
[pid=5368] ppid=5366 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5368/stat : 5368 (npSolver-pbo-It) S 5366 5368 4103 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272682654 9367552 275 33554432000 4194304 5064252 140734459641792 140734459640704 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/5368/statm: 2287 275 233 213 0 72 0
[pid=5369] ppid=5368 vsize=251908 CPUtime=12.69 cores=0,2,4,6
/proc/5369/stat : 5369 (npSolver-pbo) R 5368 5368 4103 0 -1 4202496 33868 0 0 0 1261 8 0 0 20 0 1 0 272682654 257953792 62410 33554432000 4194304 5992684 140734091166304 140734091136920 4957503 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/5369/statm: 62977 62411 166 440 0 62533 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 261056
[startup+25.5003 s]
/proc/loadavg: 1.97 1.99 1.99 3/181 5372
/proc/meminfo: memFree=28347792/32873648 swapFree=6860/6860
[pid=5368] ppid=5366 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5368/stat : 5368 (npSolver-pbo-It) S 5366 5368 4103 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272682654 9367552 275 33554432000 4194304 5064252 140734459641792 140734459640704 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/5368/statm: 2287 275 233 213 0 72 0
[pid=5369] ppid=5368 vsize=501780 CPUtime=15.5 cores=0,2,4,6
/proc/5369/stat : 5369 (npSolver-pbo) S 5368 5368 4103 0 -1 4202496 64625 0 0 0 1511 39 0 0 20 0 1 0 272682654 513822720 100327 33554432000 4194304 5992684 140734091166304 140734091160752 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/5369/statm: 125445 100327 173 440 0 125001 0
[pid=5371] ppid=5369 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5371/stat : 5371 (cp2_pre.sh) S 5369 5368 4103 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 272684205 9367552 276 33554432000 4194304 5064252 140735300505680 140735300504384 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5371/statm: 2287 276 234 213 0 72 0
[pid=5372] ppid=5371 vsize=547888 CPUtime=9.97 cores=0,2,4,6
/proc/5372/stat : 5372 (coprocessor) R 5371 5368 4103 0 -1 4202496 92047 0 0 0 964 33 0 0 20 0 1 0 272684205 561037312 131967 33554432000 4194304 6586260 140735716663792 140735716659544 5732496 0 0 4096 8404994 0 0 0 17 4 0 0 0 0 0
/proc/5372/statm: 136972 131967 201 584 0 136384 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 1067964
[startup+51.1003 s]
/proc/loadavg: 1.98 1.99 1.99 3/180 5374
/proc/meminfo: memFree=28186124/32873648 swapFree=6860/6860
[pid=5368] ppid=5366 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5368/stat : 5368 (npSolver-pbo-It) S 5366 5368 4103 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272682654 9367552 275 33554432000 4194304 5064252 140734459641792 140734459640704 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/5368/statm: 2287 275 233 213 0 72 0
[pid=5369] ppid=5368 vsize=501780 CPUtime=28.83 cores=0,2,4,6
/proc/5369/stat : 5369 (npSolver-pbo) S 5368 5368 4103 0 -1 4202496 64641 92950 0 0 1511 39 1277 56 20 0 1 0 272682654 513822720 100329 33554432000 4194304 5992684 140734091166304 140734091152568 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/5369/statm: 125445 100329 175 440 0 125001 0
[pid=5374] ppid=5369 vsize=369876 CPUtime=22.23 cores=0,2,4,6
/proc/5374/stat : 5374 (glucosInc) R 5369 5368 4103 0 -1 4202496 38488 0 0 0 2213 10 0 0 20 0 1 0 272685539 378753024 68863 33554432000 4194304 5654031 140735694378880 140735694376664 4232800 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/5374/statm: 92469 68863 141 357 0 92109 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 880804
[startup+102.306 s]
/proc/loadavg: 1.99 1.99 1.99 3/180 5374
/proc/meminfo: memFree=27211164/32873648 swapFree=6860/6860
[pid=5368] ppid=5366 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5368/stat : 5368 (npSolver-pbo-It) S 5366 5368 4103 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272682654 9367552 275 33554432000 4194304 5064252 140734459641792 140734459640704 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/5368/statm: 2287 275 233 213 0 72 0
[pid=5369] ppid=5368 vsize=501780 CPUtime=28.83 cores=0,2,4,6
/proc/5369/stat : 5369 (npSolver-pbo) S 5368 5368 4103 0 -1 4202496 64641 92950 0 0 1511 39 1277 56 20 0 1 0 272682654 513822720 100329 33554432000 4194304 5992684 140734091166304 140734091152568 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/5369/statm: 125445 100329 175 440 0 125001 0
[pid=5374] ppid=5369 vsize=319640 CPUtime=73.43 cores=0,2,4,6
/proc/5374/stat : 5374 (glucosInc) R 5369 5368 4103 0 -1 4202496 46395 0 0 0 7325 18 0 0 20 0 1 0 272685539 327311360 72866 33554432000 4194304 5654031 140735694378880 140735694366696 4232775 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/5374/statm: 79910 72866 142 357 0 79550 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 830568
[startup+162.3 s]
/proc/loadavg: 2.04 2.00 2.00 3/180 5374
/proc/meminfo: memFree=26091356/32873648 swapFree=6860/6860
[pid=5368] ppid=5366 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5368/stat : 5368 (npSolver-pbo-It) S 5366 5368 4103 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272682654 9367552 275 33554432000 4194304 5064252 140734459641792 140734459640704 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/5368/statm: 2287 275 233 213 0 72 0
[pid=5369] ppid=5368 vsize=501780 CPUtime=28.83 cores=0,2,4,6
/proc/5369/stat : 5369 (npSolver-pbo) S 5368 5368 4103 0 -1 4202496 64641 92950 0 0 1511 39 1277 56 20 0 1 0 272682654 513822720 100329 33554432000 4194304 5992684 140734091166304 140734091152568 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/5369/statm: 125445 100329 175 440 0 125001 0
[pid=5374] ppid=5369 vsize=414416 CPUtime=133.42 cores=0,2,4,6
/proc/5374/stat : 5374 (glucosInc) R 5369 5368 4103 0 -1 4202496 50252 0 0 0 13317 25 0 0 20 0 1 0 272685539 424361984 81387 33554432000 4194304 5654031 140735694378880 140735694366696 4232821 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/5374/statm: 103604 81387 142 357 0 103244 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 925344
[startup+222.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/180 5374
/proc/meminfo: memFree=24953936/32873648 swapFree=6860/6860
[pid=5368] ppid=5366 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5368/stat : 5368 (npSolver-pbo-It) S 5366 5368 4103 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272682654 9367552 275 33554432000 4194304 5064252 140734459641792 140734459640704 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/5368/statm: 2287 275 233 213 0 72 0
[pid=5369] ppid=5368 vsize=501780 CPUtime=28.83 cores=0,2,4,6
/proc/5369/stat : 5369 (npSolver-pbo) S 5368 5368 4103 0 -1 4202496 64641 92950 0 0 1511 39 1277 56 20 0 1 0 272682654 513822720 100329 33554432000 4194304 5992684 140734091166304 140734091152568 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/5369/statm: 125445 100329 175 440 0 125001 0
[pid=5374] ppid=5369 vsize=444996 CPUtime=193.41 cores=0,2,4,6
/proc/5374/stat : 5374 (glucosInc) R 5369 5368 4103 0 -1 4202496 58408 0 0 0 19307 34 0 0 20 0 1 0 272685539 455675904 85582 33554432000 4194304 5654031 140735694378880 140735694366696 4232821 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/5374/statm: 111249 85582 142 357 0 110889 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 955924
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 5374
/proc/meminfo: memFree=23873664/32873648 swapFree=6860/6860
[pid=5368] ppid=5366 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5368/stat : 5368 (npSolver-pbo-It) S 5366 5368 4103 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272682654 9367552 275 33554432000 4194304 5064252 140734459641792 140734459640704 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/5368/statm: 2287 275 233 213 0 72 0
[pid=5369] ppid=5368 vsize=501780 CPUtime=28.83 cores=0,2,4,6
/proc/5369/stat : 5369 (npSolver-pbo) S 5368 5368 4103 0 -1 4202496 64641 92950 0 0 1511 39 1277 56 20 0 1 0 272682654 513822720 100329 33554432000 4194304 5992684 140734091166304 140734091152568 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/5369/statm: 125445 100329 175 440 0 125001 0
[pid=5374] ppid=5369 vsize=455112 CPUtime=253.4 cores=0,2,4,6
################
# More data... #
################
/proc/meminfo: memFree=20550084/32873648 swapFree=6860/6860
[pid=5368] ppid=5366 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5368/stat : 5368 (npSolver-pbo-It) S 5366 5368 4103 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272682654 9367552 275 33554432000 4194304 5064252 140734459641792 140734459640704 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/5368/statm: 2287 275 233 213 0 72 0
[pid=5369] ppid=5368 vsize=501780 CPUtime=28.83 cores=0,2,4,6
/proc/5369/stat : 5369 (npSolver-pbo) S 5368 5368 4103 0 -1 4202496 64641 92950 0 0 1511 39 1277 56 20 0 1 0 272682654 513822720 100329 33554432000 4194304 5992684 140734091166304 140734091152568 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/5369/statm: 125445 100329 175 440 0 125001 0
[pid=5374] ppid=5369 vsize=547136 CPUtime=1273.2 cores=0,2,4,6
/proc/5374/stat : 5374 (glucosInc) R 5369 5368 4103 0 -1 4202496 88666 0 0 0 127214 106 0 0 20 0 1 0 272685539 560267264 119364 33554432000 4194304 5654031 140735694378880 140735694366696 4232453 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/5374/statm: 136784 119364 142 357 0 136424 0
Current children cumulated CPU time (s) 1302.03
Current children cumulated vsize (KiB) 1058064
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 5407
/proc/meminfo: memFree=20544624/32873648 swapFree=6860/6860
[pid=5368] ppid=5366 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5368/stat : 5368 (npSolver-pbo-It) S 5366 5368 4103 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272682654 9367552 275 33554432000 4194304 5064252 140734459641792 140734459640704 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/5368/statm: 2287 275 233 213 0 72 0
[pid=5369] ppid=5368 vsize=501780 CPUtime=28.83 cores=0,2,4,6
/proc/5369/stat : 5369 (npSolver-pbo) S 5368 5368 4103 0 -1 4202496 64641 92950 0 0 1511 39 1277 56 20 0 1 0 272682654 513822720 100329 33554432000 4194304 5992684 140734091166304 140734091152568 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/5369/statm: 125445 100329 175 440 0 125001 0
[pid=5374] ppid=5369 vsize=549716 CPUtime=1333.18 cores=0,2,4,6
/proc/5374/stat : 5374 (glucosInc) R 5369 5368 4103 0 -1 4202496 89297 0 0 0 133209 109 0 0 20 0 1 0 272685539 562909184 120706 33554432000 4194304 5654031 140735694378880 140735694366696 4233204 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/5374/statm: 137429 120706 142 357 0 137069 0
Current children cumulated CPU time (s) 1362.01
Current children cumulated vsize (KiB) 1060644
[startup+1422.31 s]
/proc/loadavg: 2.07 2.02 2.00 3/180 5407
/proc/meminfo: memFree=20535380/32873648 swapFree=6860/6860
[pid=5368] ppid=5366 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5368/stat : 5368 (npSolver-pbo-It) S 5366 5368 4103 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272682654 9367552 275 33554432000 4194304 5064252 140734459641792 140734459640704 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/5368/statm: 2287 275 233 213 0 72 0
[pid=5369] ppid=5368 vsize=501780 CPUtime=28.83 cores=0,2,4,6
/proc/5369/stat : 5369 (npSolver-pbo) S 5368 5368 4103 0 -1 4202496 64641 92950 0 0 1511 39 1277 56 20 0 1 0 272682654 513822720 100329 33554432000 4194304 5992684 140734091166304 140734091152568 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/5369/statm: 125445 100329 175 440 0 125001 0
[pid=5374] ppid=5369 vsize=551920 CPUtime=1393.18 cores=0,2,4,6
/proc/5374/stat : 5374 (glucosInc) R 5369 5368 4103 0 -1 4202496 90284 0 0 0 139206 112 0 0 20 0 1 0 272685539 565166080 123077 33554432000 4194304 5654031 140735694378880 140735694366696 4232380 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/5374/statm: 137980 123077 142 357 0 137620 0
Current children cumulated CPU time (s) 1422.01
Current children cumulated vsize (KiB) 1062848
[startup+1482.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/180 5407
/proc/meminfo: memFree=20530292/32873648 swapFree=6860/6860
[pid=5368] ppid=5366 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5368/stat : 5368 (npSolver-pbo-It) S 5366 5368 4103 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272682654 9367552 275 33554432000 4194304 5064252 140734459641792 140734459640704 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/5368/statm: 2287 275 233 213 0 72 0
[pid=5369] ppid=5368 vsize=501780 CPUtime=28.83 cores=0,2,4,6
/proc/5369/stat : 5369 (npSolver-pbo) S 5368 5368 4103 0 -1 4202496 64641 92950 0 0 1511 39 1277 56 20 0 1 0 272682654 513822720 100329 33554432000 4194304 5992684 140734091166304 140734091152568 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/5369/statm: 125445 100329 175 440 0 125001 0
[pid=5374] ppid=5369 vsize=553368 CPUtime=1453.16 cores=0,2,4,6
/proc/5374/stat : 5374 (glucosInc) R 5369 5368 4103 0 -1 4202496 90864 0 0 0 145201 115 0 0 20 0 1 0 272685539 566648832 124375 33554432000 4194304 5654031 140735694378880 140735694366696 4232477 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/5374/statm: 138342 124375 142 357 0 137982 0
Current children cumulated CPU time (s) 1481.99
Current children cumulated vsize (KiB) 1064296
[startup+1542.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/180 5408
/proc/meminfo: memFree=20517200/32873648 swapFree=6860/6860
[pid=5368] ppid=5366 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5368/stat : 5368 (npSolver-pbo-It) S 5366 5368 4103 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272682654 9367552 275 33554432000 4194304 5064252 140734459641792 140734459640704 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/5368/statm: 2287 275 233 213 0 72 0
[pid=5369] ppid=5368 vsize=501780 CPUtime=28.83 cores=0,2,4,6
/proc/5369/stat : 5369 (npSolver-pbo) S 5368 5368 4103 0 -1 4202496 64641 92950 0 0 1511 39 1277 56 20 0 1 0 272682654 513822720 100329 33554432000 4194304 5992684 140734091166304 140734091152568 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/5369/statm: 125445 100329 175 440 0 125001 0
[pid=5374] ppid=5369 vsize=555016 CPUtime=1513.15 cores=0,2,4,6
/proc/5374/stat : 5374 (glucosInc) R 5369 5368 4103 0 -1 4202496 91752 0 0 0 151197 118 0 0 20 0 1 0 272685539 568336384 127668 33554432000 4194304 5654031 140735694378880 140735694366696 4232803 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/5374/statm: 138754 127668 142 357 0 138394 0
Current children cumulated CPU time (s) 1541.98
Current children cumulated vsize (KiB) 1065944
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 5408
/proc/meminfo: memFree=20517328/32873648 swapFree=6860/6860
[pid=5368] ppid=5366 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5368/stat : 5368 (npSolver-pbo-It) S 5366 5368 4103 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272682654 9367552 275 33554432000 4194304 5064252 140734459641792 140734459640704 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/5368/statm: 2287 275 233 213 0 72 0
[pid=5369] ppid=5368 vsize=501780 CPUtime=28.83 cores=0,2,4,6
/proc/5369/stat : 5369 (npSolver-pbo) S 5368 5368 4103 0 -1 4202496 64641 92950 0 0 1511 39 1277 56 20 0 1 0 272682654 513822720 100329 33554432000 4194304 5992684 140734091166304 140734091152568 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/5369/statm: 125445 100329 175 440 0 125001 0
[pid=5374] ppid=5369 vsize=560308 CPUtime=1573.14 cores=0,2,4,6
/proc/5374/stat : 5374 (glucosInc) R 5369 5368 4103 0 -1 4202496 93139 0 0 0 157193 121 0 0 20 0 1 0 272685539 573755392 127679 33554432000 4194304 5654031 140735694378880 140735694366696 4233232 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/5374/statm: 140077 127679 142 357 0 139717 0
Current children cumulated CPU time (s) 1601.97
Current children cumulated vsize (KiB) 1071236
[startup+1662.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/181 5411
/proc/meminfo: memFree=20507708/32873648 swapFree=6860/6860
[pid=5368] ppid=5366 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5368/stat : 5368 (npSolver-pbo-It) S 5366 5368 4103 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272682654 9367552 275 33554432000 4194304 5064252 140734459641792 140734459640704 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/5368/statm: 2287 275 233 213 0 72 0
[pid=5369] ppid=5368 vsize=501780 CPUtime=28.83 cores=0,2,4,6
/proc/5369/stat : 5369 (npSolver-pbo) S 5368 5368 4103 0 -1 4202496 64641 92950 0 0 1511 39 1277 56 20 0 1 0 272682654 513822720 100329 33554432000 4194304 5992684 140734091166304 140734091152568 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/5369/statm: 125445 100329 175 440 0 125001 0
[pid=5374] ppid=5369 vsize=563712 CPUtime=1633.13 cores=0,2,4,6
/proc/5374/stat : 5374 (glucosInc) R 5369 5368 4103 0 -1 4202496 94164 0 0 0 163189 124 0 0 20 0 1 0 272685539 577241088 130077 33554432000 4194304 5654031 140735694378880 140735694366696 4232821 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/5374/statm: 140928 130077 142 357 0 140568 0
Current children cumulated CPU time (s) 1661.96
Current children cumulated vsize (KiB) 1074640
[startup+1722.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/180 5411
/proc/meminfo: memFree=20498040/32873648 swapFree=6860/6860
[pid=5368] ppid=5366 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5368/stat : 5368 (npSolver-pbo-It) S 5366 5368 4103 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272682654 9367552 275 33554432000 4194304 5064252 140734459641792 140734459640704 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/5368/statm: 2287 275 233 213 0 72 0
[pid=5369] ppid=5368 vsize=501780 CPUtime=28.83 cores=0,2,4,6
/proc/5369/stat : 5369 (npSolver-pbo) S 5368 5368 4103 0 -1 4202496 64641 92950 0 0 1511 39 1277 56 20 0 1 0 272682654 513822720 100329 33554432000 4194304 5992684 140734091166304 140734091152568 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/5369/statm: 125445 100329 175 440 0 125001 0
[pid=5374] ppid=5369 vsize=570400 CPUtime=1693.13 cores=0,2,4,6
/proc/5374/stat : 5374 (glucosInc) R 5369 5368 4103 0 -1 4202496 95892 0 0 0 169185 128 0 0 20 0 1 0 272685539 584089600 133034 33554432000 4194304 5654031 140735694378880 140735694366696 4233232 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/5374/statm: 142600 133034 142 357 0 142240 0
Current children cumulated CPU time (s) 1721.96
Current children cumulated vsize (KiB) 1081328
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 5411
/proc/meminfo: memFree=20487368/32873648 swapFree=6860/6860
[pid=5368] ppid=5366 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5368/stat : 5368 (npSolver-pbo-It) S 5366 5368 4103 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272682654 9367552 275 33554432000 4194304 5064252 140734459641792 140734459640704 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/5368/statm: 2287 275 233 213 0 72 0
[pid=5369] ppid=5368 vsize=501780 CPUtime=28.83 cores=0,2,4,6
/proc/5369/stat : 5369 (npSolver-pbo) S 5368 5368 4103 0 -1 4202496 64641 92950 0 0 1511 39 1277 56 20 0 1 0 272682654 513822720 100329 33554432000 4194304 5992684 140734091166304 140734091152568 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/5369/statm: 125445 100329 175 440 0 125001 0
[pid=5374] ppid=5369 vsize=570400 CPUtime=1753.12 cores=0,2,4,6
/proc/5374/stat : 5374 (glucosInc) R 5369 5368 4103 0 -1 4202496 96536 0 0 0 175181 131 0 0 20 0 1 0 272685539 584089600 135564 33554432000 4194304 5654031 140735694378880 140735694366696 4232755 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/5374/statm: 142600 135564 142 357 0 142240 0
Current children cumulated CPU time (s) 1781.95
Current children cumulated vsize (KiB) 1081328
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 2/177 5412
/proc/meminfo: memFree=28922388/32873648 swapFree=6860/6860
[pid=5368] ppid=5366 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5368/stat : 5368 (npSolver-pbo-It) S 5366 5368 4103 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272682654 9367552 275 33554432000 4194304 5064252 140734459641792 140734459640704 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/5368/statm: 2287 275 233 213 0 72 0
[pid=5369] ppid=5368 vsize=501780 CPUtime=28.83 cores=0,2,4,6
/proc/5369/stat : 5369 (npSolver-pbo) S 5368 5368 4103 0 -1 4202496 64641 92950 0 0 1511 39 1277 56 20 0 1 0 272682654 513822720 100329 33554432000 4194304 5992684 140734091166304 140734091152568 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/5369/statm: 125445 100329 175 440 0 125001 0
[pid=5374] ppid=5369 vsize=573308 CPUtime=1771.22 cores=0,2,4,6
/proc/5374/stat : 5374 (glucosInc) R 5369 5368 4103 0 -1 4202496 97108 0 0 0 176988 134 0 0 20 0 1 0 272685539 587067392 127652 33554432000 4194304 5654031 140735694378880 140735694366696 4233232 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/5374/statm: 143327 127652 142 357 0 142967 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1084236
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 5368 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=999
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=0
# CPU time returned by wait4() is 0.000999
# while last known CPU time is 1800.05
#
# 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.05
CPU user time (s): 1797.76
CPU system time (s): 2.29
CPU usage (%): 99.9797
Max. virtual memory (cumulated for all children) (KiB): 1388788
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.000999
system time used= 0
maximum resident set size= 1100
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 357
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 1
runsolver used 3.74143 second user time and 10.1735 second system time
The end