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-3747735-1339102656/watcher-3747735-1339102656 -o /tmp/evaluation-result-3747735-1339102656/solver-3747735-1339102656 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itd.sh HOME/instance-3747735-1339102656.opb 440298620 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/176 1357
/proc/meminfo: memFree=30270924/32873844 swapFree=7124/7124
[pid=1357] ppid=1354 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1357/stat : 1357 (npSolver-pbo-It) S 1354 1357 694 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 376394004 9367552 274 33554432000 4194304 5064252 140736482361664 140736482360576 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1357/statm: 2287 274 233 213 0 72 0
[startup+0.0563809 s]
/proc/loadavg: 2.00 2.00 1.93 2/176 1357
/proc/meminfo: memFree=30270924/32873844 swapFree=7124/7124
[pid=1357] ppid=1354 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1357/stat : 1357 (npSolver-pbo-It) S 1354 1357 694 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 376394004 9367552 274 33554432000 4194304 5064252 140736482361664 140736482360576 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1357/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100276 s]
/proc/loadavg: 2.00 2.00 1.93 2/176 1357
/proc/meminfo: memFree=30270924/32873844 swapFree=7124/7124
[pid=1357] ppid=1354 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1357/stat : 1357 (npSolver-pbo-It) S 1354 1357 694 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 376394004 9367552 274 33554432000 4194304 5064252 140736482361664 140736482360576 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1357/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300284 s]
/proc/loadavg: 2.00 2.00 1.93 2/176 1357
/proc/meminfo: memFree=30270924/32873844 swapFree=7124/7124
[pid=1357] ppid=1354 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1357/stat : 1357 (npSolver-pbo-It) S 1354 1357 694 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 376394004 9367552 274 33554432000 4194304 5064252 140736482361664 140736482360576 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1357/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700253 s]
/proc/loadavg: 2.00 2.00 1.93 2/176 1357
/proc/meminfo: memFree=30270924/32873844 swapFree=7124/7124
[pid=1357] ppid=1354 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1357/stat : 1357 (npSolver-pbo-It) S 1354 1357 694 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 376394004 9367552 274 33554432000 4194304 5064252 140736482361664 140736482360576 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1357/statm: 2287 274 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/179 1366
/proc/meminfo: memFree=30245936/32873844 swapFree=7124/7124
[pid=1357] ppid=1354 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1357/stat : 1357 (npSolver-pbo-It) S 1354 1357 694 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 376394004 9367552 274 33554432000 4194304 5064252 140736482361664 140736482360576 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1357/statm: 2287 274 233 213 0 72 0
[pid=1358] ppid=1357 vsize=8452 CPUtime=0.82 cores=0,2,4,6
/proc/1358/stat : 1358 (npSolver-pbo) S 1357 1357 694 0 -1 4202496 3879 12451 0 0 10 6 44 22 20 0 1 0 376394004 8654848 1709 33554432000 4194304 6004724 140735686765488 140735686751336 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/1358/statm: 2113 1709 176 442 0 1667 0
[pid=1366] ppid=1358 vsize=19056 CPUtime=0.64 cores=0,2,4,6
/proc/1366/stat : 1366 (glucosInc) R 1358 1357 694 0 -1 4202496 3862 0 0 0 64 0 0 0 20 0 1 0 376394088 19513344 4115 33554432000 4194304 5654031 140737134261312 140735686752568 4797458 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/1366/statm: 4764 4115 131 357 0 4404 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 36656
[startup+3.10019 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 1366
/proc/meminfo: memFree=30238056/32873844 swapFree=7124/7124
[pid=1357] ppid=1354 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1357/stat : 1357 (npSolver-pbo-It) S 1354 1357 694 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 376394004 9367552 274 33554432000 4194304 5064252 140736482361664 140736482360576 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1357/statm: 2287 274 233 213 0 72 0
[pid=1358] ppid=1357 vsize=8452 CPUtime=2.87 cores=0,2,4,6
/proc/1358/stat : 1358 (npSolver-pbo) S 1357 1357 694 0 -1 4202496 4482 17768 0 0 13 6 245 23 20 0 1 0 376394004 8654848 1709 33554432000 4194304 6004724 140735686765488 140735686751336 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/1358/statm: 2113 1709 176 442 0 1667 0
Current children cumulated CPU time (s) 2.87
Current children cumulated vsize (KiB) 17600
[startup+6.30028 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 1373
/proc/meminfo: memFree=30227620/32873844 swapFree=7124/7124
[pid=1357] ppid=1354 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1357/stat : 1357 (npSolver-pbo-It) S 1354 1357 694 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 376394004 9367552 274 33554432000 4194304 5064252 140736482361664 140736482360576 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1357/statm: 2287 274 233 213 0 72 0
[pid=1358] ppid=1357 vsize=8452 CPUtime=3.9 cores=0,2,4,6
/proc/1358/stat : 1358 (npSolver-pbo) S 1357 1357 694 0 -1 4202496 5594 24748 0 0 18 6 340 26 20 0 1 0 376394004 8654848 1709 33554432000 4194304 6004724 140735686765488 140735686751336 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/1358/statm: 2113 1709 176 442 0 1667 0
[pid=1373] ppid=1358 vsize=20700 CPUtime=2.36 cores=0,2,4,6
/proc/1373/stat : 1373 (glucosInc) R 1358 1357 694 0 -1 4202496 5014 0 0 0 236 0 0 0 20 0 1 0 376394397 21196800 3995 33554432000 4194304 5654031 140735178936000 140735178933784 4216213 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/1373/statm: 5175 3995 141 357 0 4815 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 38300
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 1375
/proc/meminfo: memFree=30189608/32873844 swapFree=7124/7124
[pid=1357] ppid=1354 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1357/stat : 1357 (npSolver-pbo-It) S 1354 1357 694 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 376394004 9367552 274 33554432000 4194304 5064252 140736482361664 140736482360576 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1357/statm: 2287 274 233 213 0 72 0
[pid=1358] ppid=1357 vsize=8452 CPUtime=6.35 cores=0,2,4,6
/proc/1358/stat : 1358 (npSolver-pbo) S 1357 1357 694 0 -1 4202496 6254 30369 0 0 21 6 581 27 20 0 1 0 376394004 8654848 1709 33554432000 4194304 6004724 140735686765488 140735686751336 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/1358/statm: 2113 1709 176 442 0 1667 0
[pid=1375] ppid=1358 vsize=51180 CPUtime=6.31 cores=0,2,4,6
/proc/1375/stat : 1375 (glucosInc) R 1358 1357 694 0 -1 4202496 7199 0 0 0 629 2 0 0 20 0 1 0 376394642 52408320 9289 33554432000 4194304 5654031 140737038600384 140737038598264 4232581 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/1375/statm: 12795 9289 141 357 0 12435 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 68780
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 1375
/proc/meminfo: memFree=30171472/32873844 swapFree=7124/7124
[pid=1357] ppid=1354 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1357/stat : 1357 (npSolver-pbo-It) S 1354 1357 694 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 376394004 9367552 274 33554432000 4194304 5064252 140736482361664 140736482360576 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1357/statm: 2287 274 233 213 0 72 0
[pid=1358] ppid=1357 vsize=8452 CPUtime=6.35 cores=0,2,4,6
/proc/1358/stat : 1358 (npSolver-pbo) S 1357 1357 694 0 -1 4202496 6254 30369 0 0 21 6 581 27 20 0 1 0 376394004 8654848 1709 33554432000 4194304 6004724 140735686765488 140735686751336 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/1358/statm: 2113 1709 176 442 0 1667 0
[pid=1375] ppid=1358 vsize=70036 CPUtime=19.1 cores=0,2,4,6
/proc/1375/stat : 1375 (glucosInc) R 1358 1357 694 0 -1 4202496 9101 0 0 0 1907 3 0 0 20 0 1 0 376394642 71716864 16927 33554432000 4194304 5654031 140737038600384 140737038598312 4232960 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/1375/statm: 17509 16927 141 357 0 17149 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 87636
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 1375
/proc/meminfo: memFree=30109428/32873844 swapFree=7124/7124
[pid=1357] ppid=1354 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1357/stat : 1357 (npSolver-pbo-It) S 1354 1357 694 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 376394004 9367552 274 33554432000 4194304 5064252 140736482361664 140736482360576 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1357/statm: 2287 274 233 213 0 72 0
[pid=1358] ppid=1357 vsize=8452 CPUtime=6.35 cores=0,2,4,6
/proc/1358/stat : 1358 (npSolver-pbo) S 1357 1357 694 0 -1 4202496 6254 30369 0 0 21 6 581 27 20 0 1 0 376394004 8654848 1709 33554432000 4194304 6004724 140735686765488 140735686751336 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/1358/statm: 2113 1709 176 442 0 1667 0
[pid=1375] ppid=1358 vsize=119356 CPUtime=44.69 cores=0,2,4,6
/proc/1375/stat : 1375 (glucosInc) R 1358 1357 694 0 -1 4202496 10728 0 0 0 4463 6 0 0 20 0 1 0 376394642 122220544 27154 33554432000 4194304 5654031 140737038600384 140737038598312 4233168 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/1375/statm: 29839 27154 141 357 0 29479 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 136956
[startup+102.306 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 1375
/proc/meminfo: memFree=30148820/32873844 swapFree=7124/7124
[pid=1357] ppid=1354 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1357/stat : 1357 (npSolver-pbo-It) S 1354 1357 694 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 376394004 9367552 274 33554432000 4194304 5064252 140736482361664 140736482360576 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1357/statm: 2287 274 233 213 0 72 0
[pid=1358] ppid=1357 vsize=8452 CPUtime=6.35 cores=0,2,4,6
/proc/1358/stat : 1358 (npSolver-pbo) S 1357 1357 694 0 -1 4202496 6254 30369 0 0 21 6 581 27 20 0 1 0 376394004 8654848 1709 33554432000 4194304 6004724 140735686765488 140735686751336 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/1358/statm: 2113 1709 176 442 0 1667 0
[pid=1375] ppid=1358 vsize=150176 CPUtime=95.88 cores=0,2,4,6
/proc/1375/stat : 1375 (glucosInc) R 1358 1357 694 0 -1 4202496 12589 0 0 0 9577 11 0 0 20 0 1 0 376394642 153780224 30805 33554432000 4194304 5654031 140737038600384 140737038598472 4232960 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/1375/statm: 37544 30805 141 357 0 37184 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 167776
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/180 1378
/proc/meminfo: memFree=30070276/32873844 swapFree=7124/7124
[pid=1357] ppid=1354 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1357/stat : 1357 (npSolver-pbo-It) S 1354 1357 694 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 376394004 9367552 274 33554432000 4194304 5064252 140736482361664 140736482360576 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1357/statm: 2287 274 233 213 0 72 0
[pid=1358] ppid=1357 vsize=8452 CPUtime=6.35 cores=0,2,4,6
/proc/1358/stat : 1358 (npSolver-pbo) S 1357 1357 694 0 -1 4202496 6254 30369 0 0 21 6 581 27 20 0 1 0 376394004 8654848 1709 33554432000 4194304 6004724 140735686765488 140735686751336 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/1358/statm: 2113 1709 176 442 0 1667 0
[pid=1375] ppid=1358 vsize=162168 CPUtime=155.87 cores=0,2,4,6
/proc/1375/stat : 1375 (glucosInc) R 1358 1357 694 0 -1 4202496 15330 0 0 0 15569 18 0 0 20 0 1 0 376394642 166060032 33803 33554432000 4194304 5654031 140737038600384 140737038598472 4233467 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/1375/statm: 40542 33803 141 357 0 40182 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 179768
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/180 1403
/proc/meminfo: memFree=30073336/32873844 swapFree=7124/7124
[pid=1357] ppid=1354 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1357/stat : 1357 (npSolver-pbo-It) S 1354 1357 694 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 376394004 9367552 274 33554432000 4194304 5064252 140736482361664 140736482360576 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1357/statm: 2287 274 233 213 0 72 0
[pid=1358] ppid=1357 vsize=8452 CPUtime=6.35 cores=0,2,4,6
/proc/1358/stat : 1358 (npSolver-pbo) S 1357 1357 694 0 -1 4202496 6254 30369 0 0 21 6 581 27 20 0 1 0 376394004 8654848 1709 33554432000 4194304 6004724 140735686765488 140735686751336 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/1358/statm: 2113 1709 176 442 0 1667 0
[pid=1375] ppid=1358 vsize=212256 CPUtime=215.85 cores=0,2,4,6
/proc/1375/stat : 1375 (glucosInc) R 1358 1357 694 0 -1 4202496 17481 0 0 0 21560 25 0 0 20 0 1 0 376394642 217350144 40760 33554432000 4194304 5654031 140737038600384 140737038598472 4232968 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/1375/statm: 53064 40760 141 357 0 52704 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 229856
[startup+282.3 s]
/proc/loadavg: 2.09 2.03 1.94 3/179 1405
/proc/meminfo: memFree=30102336/32873844 swapFree=7124/7124
[pid=1357] ppid=1354 vsize=9148 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
/proc/meminfo: memFree=29954652/32873844 swapFree=7124/7124
[pid=1357] ppid=1354 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1357/stat : 1357 (npSolver-pbo-It) S 1354 1357 694 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 376394004 9367552 274 33554432000 4194304 5064252 140736482361664 140736482360576 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1357/statm: 2287 274 233 213 0 72 0
[pid=1358] ppid=1357 vsize=8452 CPUtime=296.53 cores=0,2,4,6
/proc/1358/stat : 1358 (npSolver-pbo) S 1357 1357 694 0 -1 4202496 8242 68622 0 0 28 7 29553 65 20 0 1 0 376394004 8654848 1711 33554432000 4194304 6004724 140735686765488 140735686751336 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/1358/statm: 2113 1711 178 442 0 1667 0
[pid=1409] ppid=1358 vsize=417024 CPUtime=1005.39 cores=0,2,4,6
/proc/1409/stat : 1409 (glucosInc) R 1358 1357 694 0 -1 4202496 69430 0 0 0 100353 186 0 0 20 0 1 0 376423669 427032576 95939 33554432000 4194304 5654031 140736527030864 140736527028952 4232994 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/1409/statm: 104256 95939 132 357 0 103896 0
Current children cumulated CPU time (s) 1301.92
Current children cumulated vsize (KiB) 434624
[startup+1362.3 s]
/proc/loadavg: 2.06 2.01 1.97 3/180 1780
/proc/meminfo: memFree=29895320/32873844 swapFree=7124/7124
[pid=1357] ppid=1354 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1357/stat : 1357 (npSolver-pbo-It) S 1354 1357 694 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 376394004 9367552 274 33554432000 4194304 5064252 140736482361664 140736482360576 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1357/statm: 2287 274 233 213 0 72 0
[pid=1358] ppid=1357 vsize=8452 CPUtime=296.53 cores=0,2,4,6
/proc/1358/stat : 1358 (npSolver-pbo) S 1357 1357 694 0 -1 4202496 8242 68622 0 0 28 7 29553 65 20 0 1 0 376394004 8654848 1711 33554432000 4194304 6004724 140735686765488 140735686751336 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/1358/statm: 2113 1711 178 442 0 1667 0
[pid=1409] ppid=1358 vsize=417024 CPUtime=1065.36 cores=0,2,4,6
/proc/1409/stat : 1409 (glucosInc) R 1358 1357 694 0 -1 4202496 72231 0 0 0 106342 194 0 0 20 0 1 0 376423669 427032576 94873 33554432000 4194304 5654031 140736527030864 140736527028952 4208611 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/1409/statm: 104256 94873 132 357 0 103896 0
Current children cumulated CPU time (s) 1361.89
Current children cumulated vsize (KiB) 434624
[startup+1422.31 s]
/proc/loadavg: 2.02 2.00 1.97 3/178 1780
/proc/meminfo: memFree=29891940/32873844 swapFree=7124/7124
[pid=1357] ppid=1354 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1357/stat : 1357 (npSolver-pbo-It) S 1354 1357 694 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 376394004 9367552 274 33554432000 4194304 5064252 140736482361664 140736482360576 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1357/statm: 2287 274 233 213 0 72 0
[pid=1358] ppid=1357 vsize=8452 CPUtime=296.53 cores=0,2,4,6
/proc/1358/stat : 1358 (npSolver-pbo) S 1357 1357 694 0 -1 4202496 8242 68622 0 0 28 7 29553 65 20 0 1 0 376394004 8654848 1711 33554432000 4194304 6004724 140735686765488 140735686751336 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/1358/statm: 2113 1711 178 442 0 1667 0
[pid=1409] ppid=1358 vsize=417024 CPUtime=1125.36 cores=0,2,4,6
/proc/1409/stat : 1409 (glucosInc) R 1358 1357 694 0 -1 4202496 75079 0 0 0 112334 202 0 0 20 0 1 0 376423669 427032576 99011 33554432000 4194304 5654031 140736527030864 140736527028952 4232984 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/1409/statm: 104256 99011 132 357 0 103896 0
Current children cumulated CPU time (s) 1421.89
Current children cumulated vsize (KiB) 434624
[startup+1482.3 s]
/proc/loadavg: 2.01 2.00 1.97 3/179 1781
/proc/meminfo: memFree=30036672/32873844 swapFree=7124/7124
[pid=1357] ppid=1354 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1357/stat : 1357 (npSolver-pbo-It) S 1354 1357 694 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 376394004 9367552 274 33554432000 4194304 5064252 140736482361664 140736482360576 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1357/statm: 2287 274 233 213 0 72 0
[pid=1358] ppid=1357 vsize=8452 CPUtime=296.53 cores=0,2,4,6
/proc/1358/stat : 1358 (npSolver-pbo) S 1357 1357 694 0 -1 4202496 8242 68622 0 0 28 7 29553 65 20 0 1 0 376394004 8654848 1711 33554432000 4194304 6004724 140735686765488 140735686751336 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/1358/statm: 2113 1711 178 442 0 1667 0
[pid=1409] ppid=1358 vsize=417024 CPUtime=1185.33 cores=0,2,4,6
/proc/1409/stat : 1409 (glucosInc) R 1358 1357 694 0 -1 4202496 77846 0 0 0 118324 209 0 0 20 0 1 0 376423669 427032576 75929 33554432000 4194304 5654031 140736527030864 140736527028952 4233236 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/1409/statm: 104256 75929 132 357 0 103896 0
Current children cumulated CPU time (s) 1481.86
Current children cumulated vsize (KiB) 434624
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/179 1781
/proc/meminfo: memFree=30107360/32873844 swapFree=7124/7124
[pid=1357] ppid=1354 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1357/stat : 1357 (npSolver-pbo-It) S 1354 1357 694 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 376394004 9367552 274 33554432000 4194304 5064252 140736482361664 140736482360576 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1357/statm: 2287 274 233 213 0 72 0
[pid=1358] ppid=1357 vsize=8452 CPUtime=296.53 cores=0,2,4,6
/proc/1358/stat : 1358 (npSolver-pbo) S 1357 1357 694 0 -1 4202496 8242 68622 0 0 28 7 29553 65 20 0 1 0 376394004 8654848 1711 33554432000 4194304 6004724 140735686765488 140735686751336 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/1358/statm: 2113 1711 178 442 0 1667 0
[pid=1409] ppid=1358 vsize=284764 CPUtime=1245.33 cores=0,2,4,6
/proc/1409/stat : 1409 (glucosInc) R 1358 1357 694 0 -1 4202496 80126 0 0 0 124318 215 0 0 20 0 1 0 376423669 291598336 47811 33554432000 4194304 5654031 140736527030864 140736527028952 4232984 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/1409/statm: 71191 47811 132 357 0 70831 0
Current children cumulated CPU time (s) 1541.86
Current children cumulated vsize (KiB) 302364
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/179 1781
/proc/meminfo: memFree=29819732/32873844 swapFree=7124/7124
[pid=1357] ppid=1354 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1357/stat : 1357 (npSolver-pbo-It) S 1354 1357 694 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 376394004 9367552 274 33554432000 4194304 5064252 140736482361664 140736482360576 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1357/statm: 2287 274 233 213 0 72 0
[pid=1358] ppid=1357 vsize=8452 CPUtime=296.53 cores=0,2,4,6
/proc/1358/stat : 1358 (npSolver-pbo) S 1357 1357 694 0 -1 4202496 8242 68622 0 0 28 7 29553 65 20 0 1 0 376394004 8654848 1711 33554432000 4194304 6004724 140735686765488 140735686751336 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/1358/statm: 2113 1711 178 442 0 1667 0
[pid=1409] ppid=1358 vsize=631948 CPUtime=1305.32 cores=0,2,4,6
/proc/1409/stat : 1409 (glucosInc) R 1358 1357 694 0 -1 4202496 81275 0 0 0 130313 219 0 0 20 0 1 0 376423669 647114752 112835 33554432000 4194304 5654031 140736527030864 140736527028952 4232988 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/1409/statm: 157987 112835 132 357 0 157627 0
Current children cumulated CPU time (s) 1601.85
Current children cumulated vsize (KiB) 649548
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/179 1781
/proc/meminfo: memFree=29836304/32873844 swapFree=7124/7124
[pid=1357] ppid=1354 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1357/stat : 1357 (npSolver-pbo-It) S 1354 1357 694 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 376394004 9367552 274 33554432000 4194304 5064252 140736482361664 140736482360576 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1357/statm: 2287 274 233 213 0 72 0
[pid=1358] ppid=1357 vsize=8452 CPUtime=296.53 cores=0,2,4,6
/proc/1358/stat : 1358 (npSolver-pbo) S 1357 1357 694 0 -1 4202496 8242 68622 0 0 28 7 29553 65 20 0 1 0 376394004 8654848 1711 33554432000 4194304 6004724 140735686765488 140735686751336 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/1358/statm: 2113 1711 178 442 0 1667 0
[pid=1409] ppid=1358 vsize=631948 CPUtime=1365.28 cores=0,2,4,6
/proc/1409/stat : 1409 (glucosInc) R 1358 1357 694 0 -1 4202496 84107 0 0 0 136301 227 0 0 20 0 1 0 376423669 647114752 106649 33554432000 4194304 5654031 140736527030864 140736527028952 4232984 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/1409/statm: 157987 106649 132 357 0 157627 0
Current children cumulated CPU time (s) 1661.81
Current children cumulated vsize (KiB) 649548
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/179 1781
/proc/meminfo: memFree=29318236/32873844 swapFree=7124/7124
[pid=1357] ppid=1354 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1357/stat : 1357 (npSolver-pbo-It) S 1354 1357 694 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 376394004 9367552 274 33554432000 4194304 5064252 140736482361664 140736482360576 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1357/statm: 2287 274 233 213 0 72 0
[pid=1358] ppid=1357 vsize=8452 CPUtime=296.53 cores=0,2,4,6
/proc/1358/stat : 1358 (npSolver-pbo) S 1357 1357 694 0 -1 4202496 8242 68622 0 0 28 7 29553 65 20 0 1 0 376394004 8654848 1711 33554432000 4194304 6004724 140735686765488 140735686751336 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/1358/statm: 2113 1711 178 442 0 1667 0
[pid=1409] ppid=1358 vsize=981196 CPUtime=1425.28 cores=0,2,4,6
/proc/1409/stat : 1409 (glucosInc) R 1358 1357 694 0 -1 4202496 85067 0 0 0 142290 238 0 0 20 0 1 0 376423669 1004744704 236381 33554432000 4194304 5654031 140736527030864 140736527028952 4232968 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/1409/statm: 245299 236381 132 357 0 244939 0
Current children cumulated CPU time (s) 1721.81
Current children cumulated vsize (KiB) 998796
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/179 1782
/proc/meminfo: memFree=30024240/32873844 swapFree=7124/7124
[pid=1357] ppid=1354 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1357/stat : 1357 (npSolver-pbo-It) S 1354 1357 694 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 376394004 9367552 274 33554432000 4194304 5064252 140736482361664 140736482360576 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1357/statm: 2287 274 233 213 0 72 0
[pid=1358] ppid=1357 vsize=8452 CPUtime=296.53 cores=0,2,4,6
/proc/1358/stat : 1358 (npSolver-pbo) S 1357 1357 694 0 -1 4202496 8242 68622 0 0 28 7 29553 65 20 0 1 0 376394004 8654848 1711 33554432000 4194304 6004724 140735686765488 140735686751336 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/1358/statm: 2113 1711 178 442 0 1667 0
[pid=1409] ppid=1358 vsize=284764 CPUtime=1485.27 cores=0,2,4,6
/proc/1409/stat : 1409 (glucosInc) R 1358 1357 694 0 -1 4202496 86627 0 0 0 148279 248 0 0 20 0 1 0 376423669 291598336 57248 33554432000 4194304 5654031 140736527030864 140736527028952 4232984 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/1409/statm: 71191 57248 132 357 0 70831 0
Current children cumulated CPU time (s) 1781.8
Current children cumulated vsize (KiB) 302364
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 2.00 2.00 1.97 3/179 1782
/proc/meminfo: memFree=29995244/32873844 swapFree=7124/7124
[pid=1357] ppid=1354 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1357/stat : 1357 (npSolver-pbo-It) S 1354 1357 694 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 376394004 9367552 274 33554432000 4194304 5064252 140736482361664 140736482360576 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1357/statm: 2287 274 233 213 0 72 0
[pid=1358] ppid=1357 vsize=8452 CPUtime=296.53 cores=0,2,4,6
/proc/1358/stat : 1358 (npSolver-pbo) S 1357 1357 694 0 -1 4202496 8242 68622 0 0 28 7 29553 65 20 0 1 0 376394004 8654848 1711 33554432000 4194304 6004724 140735686765488 140735686751336 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/1358/statm: 2113 1711 178 442 0 1667 0
[pid=1409] ppid=1358 vsize=417024 CPUtime=1503.47 cores=0,2,4,6
/proc/1409/stat : 1409 (glucosInc) R 1358 1357 694 0 -1 4202496 87177 0 0 0 150098 249 0 0 20 0 1 0 376423669 427032576 77216 33554432000 4194304 5654031 140736527030864 140736527028952 4232821 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/1409/statm: 104256 77216 132 357 0 103896 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 434624
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 1.97 3/179 1782
/proc/meminfo: memFree=29995244/32873844 swapFree=7124/7124
[pid=1357] ppid=1354 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1357/stat : 1357 (npSolver-pbo-It) S 1354 1357 694 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 376394004 9367552 274 33554432000 4194304 5064252 140736482361664 140736482360576 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1357/statm: 2287 274 233 213 0 72 0
[pid=1358] ppid=1357 vsize=8452 CPUtime=296.53 cores=0,2,4,6
/proc/1358/stat : 1358 (npSolver-pbo) S 1357 1357 694 0 -1 4202496 8242 68622 0 0 28 7 29553 65 20 0 1 0 376394004 8654848 1711 33554432000 4194304 6004724 140735686765488 140735686751336 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/1358/statm: 2113 1711 178 442 0 1667 0
[pid=1409] ppid=1358 vsize=417024 CPUtime=1503.47 cores=0,2,4,6
/proc/1409/stat : 1409 (glucosInc) R 1358 1357 694 0 -1 4202496 87177 0 0 0 150098 249 0 0 20 0 1 0 376423669 427032576 77216 33554432000 4194304 5654031 140736527030864 140736527028952 4232821 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/1409/statm: 104256 77216 132 357 0 103896 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 434624
Child status: 0
Real time (s): 1800.51
CPU time (s): 1800.05
CPU user time (s): 1796.81
CPU system time (s): 3.23151
CPU usage (%): 99.9742
Max. virtual memory (cumulated for all children) (KiB): 1646464
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.81
system time used= 3.23151
maximum resident set size= 1268264
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 164423
page faults= 0
swaps= 0
block input operations= 0
block output operations= 26336
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 847
involuntary context switches= 2212
runsolver used 2.70859 second user time and 7.12392 second system time
The end