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-3697814-1338125365/watcher-3697814-1338125365 -o /tmp/evaluation-result-3697814-1338125365/solver-3697814-1338125365 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itd.sh HOME/instance-3697814-1338125365.opb 1126983780 HOME HOME
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.79 2.26 2.08 3/176 1729
/proc/meminfo: memFree=29029748/32873852 swapFree=6856/6856
[pid=1729] ppid=1727 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1729/stat : 1729 (npSolver-pbo-It) S 1727 1729 1566 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278662406 9367552 275 33554432000 4194304 5064252 140735411822704 140735411821616 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1729/statm: 2287 275 233 213 0 72 0
[startup+0.0098519 s]
/proc/loadavg: 2.79 2.26 2.08 3/176 1729
/proc/meminfo: memFree=29029748/32873852 swapFree=6856/6856
[pid=1729] ppid=1727 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1729/stat : 1729 (npSolver-pbo-It) S 1727 1729 1566 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278662406 9367552 275 33554432000 4194304 5064252 140735411822704 140735411821616 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1729/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100246 s]
/proc/loadavg: 2.79 2.26 2.08 3/176 1729
/proc/meminfo: memFree=29029748/32873852 swapFree=6856/6856
[pid=1729] ppid=1727 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1729/stat : 1729 (npSolver-pbo-It) S 1727 1729 1566 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278662406 9367552 275 33554432000 4194304 5064252 140735411822704 140735411821616 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1729/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300233 s]
/proc/loadavg: 2.79 2.26 2.08 3/176 1729
/proc/meminfo: memFree=29029748/32873852 swapFree=6856/6856
[pid=1729] ppid=1727 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1729/stat : 1729 (npSolver-pbo-It) S 1727 1729 1566 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278662406 9367552 275 33554432000 4194304 5064252 140735411822704 140735411821616 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1729/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700281 s]
/proc/loadavg: 2.79 2.26 2.08 3/176 1729
/proc/meminfo: memFree=29029748/32873852 swapFree=6856/6856
[pid=1729] ppid=1727 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1729/stat : 1729 (npSolver-pbo-It) S 1727 1729 1566 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278662406 9367552 275 33554432000 4194304 5064252 140735411822704 140735411821616 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1729/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50033 s]
/proc/loadavg: 2.79 2.26 2.08 3/178 1731
/proc/meminfo: memFree=28962000/32873852 swapFree=6856/6856
[pid=1729] ppid=1727 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1729/stat : 1729 (npSolver-pbo-It) S 1727 1729 1566 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278662406 9367552 275 33554432000 4194304 5064252 140735411822704 140735411821616 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1729/statm: 2287 275 233 213 0 72 0
[pid=1730] ppid=1729 vsize=99816 CPUtime=1.1 cores=1,3,5,7
/proc/1730/stat : 1730 (npSolver-pbo) S 1729 1729 1566 0 -1 4202496 12230 0 0 0 99 11 0 0 20 0 1 0 278662406 102211584 17515 33554432000 4194304 5992684 140737003036496 140737003030944 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/1730/statm: 24954 17515 171 440 0 24510 0
Current children cumulated CPU time (s) 1.1
Current children cumulated vsize (KiB) 108964
[startup+3.10043 s]
/proc/loadavg: 2.79 2.26 2.08 3/180 1733
/proc/meminfo: memFree=28677632/32873852 swapFree=6856/6856
[pid=1729] ppid=1727 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1729/stat : 1729 (npSolver-pbo-It) S 1727 1729 1566 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278662406 9367552 275 33554432000 4194304 5064252 140735411822704 140735411821616 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1729/statm: 2287 275 233 213 0 72 0
[pid=1730] ppid=1729 vsize=99816 CPUtime=1.1 cores=1,3,5,7
/proc/1730/stat : 1730 (npSolver-pbo) S 1729 1729 1566 0 -1 4202496 12230 0 0 0 99 11 0 0 20 0 1 0 278662406 102211584 17515 33554432000 4194304 5992684 140737003036496 140737003030944 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/1730/statm: 24954 17515 171 440 0 24510 0
[pid=1732] ppid=1730 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1732/stat : 1732 (cp2_pre.sh) S 1730 1729 1566 0 -1 4202496 607 0 0 0 0 0 0 0 20 0 1 0 278662517 9367552 276 33554432000 4194304 5064252 140736253640720 140736253639424 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1732/statm: 2287 276 234 213 0 72 0
[pid=1733] ppid=1732 vsize=318160 CPUtime=1.98 cores=1,3,5,7
/proc/1733/stat : 1733 (coprocessor) R 1732 1729 1566 0 -1 4202496 41106 0 0 0 187 11 0 0 20 0 1 0 278662518 325795840 71299 33554432000 4194304 6586260 140735008864256 140735008860584 5512150 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/1733/statm: 79540 71299 166 584 0 78952 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 436272
[startup+6.30036 s]
/proc/loadavg: 2.72 2.26 2.08 3/180 1733
/proc/meminfo: memFree=28536844/32873852 swapFree=6856/6856
[pid=1729] ppid=1727 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1729/stat : 1729 (npSolver-pbo-It) S 1727 1729 1566 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278662406 9367552 275 33554432000 4194304 5064252 140735411822704 140735411821616 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1729/statm: 2287 275 233 213 0 72 0
[pid=1730] ppid=1729 vsize=99816 CPUtime=6.12 cores=1,3,5,7
/proc/1730/stat : 1730 (npSolver-pbo) S 1729 1729 1566 0 -1 4202496 12248 51246 0 0 99 11 476 26 20 0 1 0 278662406 102211584 17517 33554432000 4194304 5992684 140737003036496 140737003022760 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/1730/statm: 24954 17517 173 440 0 24510 0
Current children cumulated CPU time (s) 6.12
Current children cumulated vsize (KiB) 108964
[startup+12.7004 s]
/proc/loadavg: 2.66 2.25 2.08 3/179 1735
/proc/meminfo: memFree=28770860/32873852 swapFree=6856/6856
[pid=1729] ppid=1727 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1729/stat : 1729 (npSolver-pbo-It) S 1727 1729 1566 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278662406 9367552 275 33554432000 4194304 5064252 140735411822704 140735411821616 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1729/statm: 2287 275 233 213 0 72 0
[pid=1730] ppid=1729 vsize=99816 CPUtime=6.12 cores=1,3,5,7
/proc/1730/stat : 1730 (npSolver-pbo) S 1729 1729 1566 0 -1 4202496 12248 51246 0 0 99 11 476 26 20 0 1 0 278662406 102211584 17517 33554432000 4194304 5992684 140737003036496 140737003022760 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/1730/statm: 24954 17517 173 440 0 24510 0
[pid=1735] ppid=1730 vsize=174528 CPUtime=6.54 cores=1,3,5,7
/proc/1735/stat : 1735 (glucosInc) R 1730 1729 1566 0 -1 4202496 32884 0 0 0 644 10 0 0 20 0 1 0 278663021 178716672 39705 33554432000 4194304 5654031 140734209755664 140734209753448 4232821 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/1735/statm: 43632 39705 140 357 0 43272 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 283492
[startup+25.5004 s]
/proc/loadavg: 2.52 2.24 2.08 3/179 1738
/proc/meminfo: memFree=28083696/32873852 swapFree=6856/6856
[pid=1729] ppid=1727 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1729/stat : 1729 (npSolver-pbo-It) S 1727 1729 1566 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278662406 9367552 275 33554432000 4194304 5064252 140735411822704 140735411821616 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1729/statm: 2287 275 233 213 0 72 0
[pid=1730] ppid=1729 vsize=125764 CPUtime=20.32 cores=1,3,5,7
/proc/1730/stat : 1730 (npSolver-pbo) S 1729 1729 1566 0 -1 4202496 24099 85449 0 0 441 248 1293 50 20 0 1 0 278662406 128782336 24053 33554432000 4194304 5992684 140737003036496 140737003022328 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/1730/statm: 31441 24053 190 440 0 30997 0
[pid=1738] ppid=1730 vsize=622232 CPUtime=5.13 cores=1,3,5,7
/proc/1738/stat : 1738 (glucosInc) R 1730 1729 1566 0 -1 4202496 94643 0 0 0 483 30 0 0 20 0 1 0 278664442 637165568 144397 33554432000 4194304 5654031 140735375267056 140735375264664 4232821 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/1738/statm: 155558 144397 131 357 0 155198 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 757144
[startup+51.1004 s]
/proc/loadavg: 2.40 2.23 2.08 3/180 1742
/proc/meminfo: memFree=28086048/32873852 swapFree=6856/6856
[pid=1729] ppid=1727 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1729/stat : 1729 (npSolver-pbo-It) S 1727 1729 1566 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278662406 9367552 275 33554432000 4194304 5064252 140735411822704 140735411821616 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1729/statm: 2287 275 233 213 0 72 0
[pid=1730] ppid=1729 vsize=125764 CPUtime=20.32 cores=1,3,5,7
/proc/1730/stat : 1730 (npSolver-pbo) S 1729 1729 1566 0 -1 4202496 24099 85449 0 0 441 248 1293 50 20 0 1 0 278662406 128782336 24053 33554432000 4194304 5992684 140737003036496 140737003022328 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/1730/statm: 31441 24053 190 440 0 30997 0
[pid=1738] ppid=1730 vsize=637156 CPUtime=30.72 cores=1,3,5,7
/proc/1738/stat : 1738 (glucosInc) R 1730 1729 1566 0 -1 4202496 96429 0 0 0 3037 35 0 0 20 0 1 0 278664442 652447744 147716 33554432000 4194304 5654031 140735375267056 140735375254872 4232707 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/1738/statm: 159289 147716 142 357 0 158929 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 772068
[startup+102.307 s]
/proc/loadavg: 2.17 2.20 2.08 3/179 1742
/proc/meminfo: memFree=28075508/32873852 swapFree=6856/6856
[pid=1729] ppid=1727 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1729/stat : 1729 (npSolver-pbo-It) S 1727 1729 1566 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278662406 9367552 275 33554432000 4194304 5064252 140735411822704 140735411821616 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1729/statm: 2287 275 233 213 0 72 0
[pid=1730] ppid=1729 vsize=125764 CPUtime=20.32 cores=1,3,5,7
/proc/1730/stat : 1730 (npSolver-pbo) S 1729 1729 1566 0 -1 4202496 24099 85449 0 0 441 248 1293 50 20 0 1 0 278662406 128782336 24053 33554432000 4194304 5992684 140737003036496 140737003022328 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/1730/statm: 31441 24053 190 440 0 30997 0
[pid=1738] ppid=1730 vsize=637156 CPUtime=81.93 cores=1,3,5,7
/proc/1738/stat : 1738 (glucosInc) R 1730 1729 1566 0 -1 4202496 96942 0 0 0 8157 36 0 0 20 0 1 0 278664442 652447744 149251 33554432000 4194304 5654031 140735375267056 140735375254872 4232775 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/1738/statm: 159289 149251 142 357 0 158929 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 772068
[startup+162.3 s]
/proc/loadavg: 2.06 2.16 2.07 3/179 1742
/proc/meminfo: memFree=28073132/32873852 swapFree=6856/6856
[pid=1729] ppid=1727 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1729/stat : 1729 (npSolver-pbo-It) S 1727 1729 1566 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278662406 9367552 275 33554432000 4194304 5064252 140735411822704 140735411821616 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1729/statm: 2287 275 233 213 0 72 0
[pid=1730] ppid=1729 vsize=125764 CPUtime=20.32 cores=1,3,5,7
/proc/1730/stat : 1730 (npSolver-pbo) S 1729 1729 1566 0 -1 4202496 24099 85449 0 0 441 248 1293 50 20 0 1 0 278662406 128782336 24053 33554432000 4194304 5992684 140737003036496 140737003022328 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/1730/statm: 31441 24053 190 440 0 30997 0
[pid=1738] ppid=1730 vsize=637156 CPUtime=141.91 cores=1,3,5,7
/proc/1738/stat : 1738 (glucosInc) R 1730 1729 1566 0 -1 4202496 96951 0 0 0 14155 36 0 0 20 0 1 0 278664442 652447744 149251 33554432000 4194304 5654031 140735375267056 140735375254872 4232453 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/1738/statm: 159289 149251 142 357 0 158929 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 772068
[startup+222.3 s]
/proc/loadavg: 2.08 2.14 2.07 3/179 1793
/proc/meminfo: memFree=28254448/32873852 swapFree=6856/6856
[pid=1729] ppid=1727 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1729/stat : 1729 (npSolver-pbo-It) S 1727 1729 1566 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278662406 9367552 275 33554432000 4194304 5064252 140735411822704 140735411821616 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1729/statm: 2287 275 233 213 0 72 0
[pid=1730] ppid=1729 vsize=125764 CPUtime=20.32 cores=1,3,5,7
/proc/1730/stat : 1730 (npSolver-pbo) S 1729 1729 1566 0 -1 4202496 24099 85449 0 0 441 248 1293 50 20 0 1 0 278662406 128782336 24053 33554432000 4194304 5992684 140737003036496 140737003022328 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/1730/statm: 31441 24053 190 440 0 30997 0
[pid=1738] ppid=1730 vsize=637156 CPUtime=201.88 cores=1,3,5,7
/proc/1738/stat : 1738 (glucosInc) R 1730 1729 1566 0 -1 4202496 97090 0 0 0 20151 37 0 0 20 0 1 0 278664442 652447744 149352 33554432000 4194304 5654031 140735375267056 140735375254872 4232403 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/1738/statm: 159289 149352 142 357 0 158929 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 772068
[startup+282.3 s]
/proc/loadavg: 2.06 2.13 2.07 3/179 1793
/proc/meminfo: memFree=28240644/32873852 swapFree=6856/6856
[pid=1729] ppid=1727 vsize=9148 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
/proc/meminfo: memFree=28210536/32873852 swapFree=6856/6856
[pid=1729] ppid=1727 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1729/stat : 1729 (npSolver-pbo-It) S 1727 1729 1566 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278662406 9367552 275 33554432000 4194304 5064252 140735411822704 140735411821616 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1729/statm: 2287 275 233 213 0 72 0
[pid=1730] ppid=1729 vsize=125764 CPUtime=20.32 cores=1,3,5,7
/proc/1730/stat : 1730 (npSolver-pbo) S 1729 1729 1566 0 -1 4202496 24099 85449 0 0 441 248 1293 50 20 0 1 0 278662406 128782336 24053 33554432000 4194304 5992684 140737003036496 140737003022328 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/1730/statm: 31441 24053 190 440 0 30997 0
[pid=1738] ppid=1730 vsize=723032 CPUtime=1341.64 cores=1,3,5,7
/proc/1738/stat : 1738 (glucosInc) R 1730 1729 1566 0 -1 4202496 100199 0 0 0 134117 47 0 0 20 0 1 0 278664442 740384768 155669 33554432000 4194304 5654031 140735375267056 140735375264840 4232821 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/1738/statm: 180758 155669 142 357 0 180398 0
Current children cumulated CPU time (s) 1361.96
Current children cumulated vsize (KiB) 857944
[startup+1422.31 s]
/proc/loadavg: 2.02 2.02 2.00 3/179 1804
/proc/meminfo: memFree=28194836/32873852 swapFree=6856/6856
[pid=1729] ppid=1727 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1729/stat : 1729 (npSolver-pbo-It) S 1727 1729 1566 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278662406 9367552 275 33554432000 4194304 5064252 140735411822704 140735411821616 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1729/statm: 2287 275 233 213 0 72 0
[pid=1730] ppid=1729 vsize=125764 CPUtime=20.32 cores=1,3,5,7
/proc/1730/stat : 1730 (npSolver-pbo) S 1729 1729 1566 0 -1 4202496 24099 85449 0 0 441 248 1293 50 20 0 1 0 278662406 128782336 24053 33554432000 4194304 5992684 140737003036496 140737003022328 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/1730/statm: 31441 24053 190 440 0 30997 0
[pid=1738] ppid=1730 vsize=723656 CPUtime=1401.63 cores=1,3,5,7
/proc/1738/stat : 1738 (glucosInc) R 1730 1729 1566 0 -1 4202496 100328 0 0 0 140116 47 0 0 20 0 1 0 278664442 741023744 156309 33554432000 4194304 5654031 140735375267056 140735375254872 4232775 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/1738/statm: 180914 156309 142 357 0 180554 0
Current children cumulated CPU time (s) 1421.95
Current children cumulated vsize (KiB) 858568
[startup+1482.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 1804
/proc/meminfo: memFree=28198596/32873852 swapFree=6856/6856
[pid=1729] ppid=1727 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1729/stat : 1729 (npSolver-pbo-It) S 1727 1729 1566 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278662406 9367552 275 33554432000 4194304 5064252 140735411822704 140735411821616 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1729/statm: 2287 275 233 213 0 72 0
[pid=1730] ppid=1729 vsize=125764 CPUtime=20.32 cores=1,3,5,7
/proc/1730/stat : 1730 (npSolver-pbo) S 1729 1729 1566 0 -1 4202496 24099 85449 0 0 441 248 1293 50 20 0 1 0 278662406 128782336 24053 33554432000 4194304 5992684 140737003036496 140737003022328 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/1730/statm: 31441 24053 190 440 0 30997 0
[pid=1738] ppid=1730 vsize=723788 CPUtime=1461.61 cores=1,3,5,7
/proc/1738/stat : 1738 (glucosInc) R 1730 1729 1566 0 -1 4202496 100395 0 0 0 146114 47 0 0 20 0 1 0 278664442 741158912 156887 33554432000 4194304 5654031 140735375267056 140735375254872 4232707 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/1738/statm: 180947 156887 142 357 0 180587 0
Current children cumulated CPU time (s) 1481.93
Current children cumulated vsize (KiB) 858700
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 1804
/proc/meminfo: memFree=28191832/32873852 swapFree=6856/6856
[pid=1729] ppid=1727 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1729/stat : 1729 (npSolver-pbo-It) S 1727 1729 1566 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278662406 9367552 275 33554432000 4194304 5064252 140735411822704 140735411821616 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1729/statm: 2287 275 233 213 0 72 0
[pid=1730] ppid=1729 vsize=125764 CPUtime=20.32 cores=1,3,5,7
/proc/1730/stat : 1730 (npSolver-pbo) S 1729 1729 1566 0 -1 4202496 24099 85449 0 0 441 248 1293 50 20 0 1 0 278662406 128782336 24053 33554432000 4194304 5992684 140737003036496 140737003022328 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/1730/statm: 31441 24053 190 440 0 30997 0
[pid=1738] ppid=1730 vsize=724052 CPUtime=1521.61 cores=1,3,5,7
/proc/1738/stat : 1738 (glucosInc) R 1730 1729 1566 0 -1 4202496 100455 0 0 0 152113 48 0 0 20 0 1 0 278664442 741429248 157458 33554432000 4194304 5654031 140735375267056 140735375254872 4232775 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/1738/statm: 181013 157458 142 357 0 180653 0
Current children cumulated CPU time (s) 1541.93
Current children cumulated vsize (KiB) 858964
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 1807
/proc/meminfo: memFree=28221640/32873852 swapFree=6856/6856
[pid=1729] ppid=1727 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1729/stat : 1729 (npSolver-pbo-It) S 1727 1729 1566 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278662406 9367552 275 33554432000 4194304 5064252 140735411822704 140735411821616 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1729/statm: 2287 275 233 213 0 72 0
[pid=1730] ppid=1729 vsize=125764 CPUtime=20.32 cores=1,3,5,7
/proc/1730/stat : 1730 (npSolver-pbo) S 1729 1729 1566 0 -1 4202496 24099 85449 0 0 441 248 1293 50 20 0 1 0 278662406 128782336 24053 33554432000 4194304 5992684 140737003036496 140737003022328 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/1730/statm: 31441 24053 190 440 0 30997 0
[pid=1738] ppid=1730 vsize=724184 CPUtime=1581.59 cores=1,3,5,7
/proc/1738/stat : 1738 (glucosInc) R 1730 1729 1566 0 -1 4202496 100495 0 0 0 158111 48 0 0 20 0 1 0 278664442 741564416 157492 33554432000 4194304 5654031 140735375267056 140735375264840 4232775 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/1738/statm: 181046 157492 142 357 0 180686 0
Current children cumulated CPU time (s) 1601.91
Current children cumulated vsize (KiB) 859096
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 1807
/proc/meminfo: memFree=28215572/32873852 swapFree=6856/6856
[pid=1729] ppid=1727 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1729/stat : 1729 (npSolver-pbo-It) S 1727 1729 1566 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278662406 9367552 275 33554432000 4194304 5064252 140735411822704 140735411821616 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1729/statm: 2287 275 233 213 0 72 0
[pid=1730] ppid=1729 vsize=125764 CPUtime=20.32 cores=1,3,5,7
/proc/1730/stat : 1730 (npSolver-pbo) S 1729 1729 1566 0 -1 4202496 24099 85449 0 0 441 248 1293 50 20 0 1 0 278662406 128782336 24053 33554432000 4194304 5992684 140737003036496 140737003022328 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/1730/statm: 31441 24053 190 440 0 30997 0
[pid=1738] ppid=1730 vsize=724184 CPUtime=1641.57 cores=1,3,5,7
/proc/1738/stat : 1738 (glucosInc) R 1730 1729 1566 0 -1 4202496 100540 0 0 0 164109 48 0 0 20 0 1 0 278664442 741564416 157503 33554432000 4194304 5654031 140735375267056 140735375264840 4232775 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/1738/statm: 181046 157503 142 357 0 180686 0
Current children cumulated CPU time (s) 1661.89
Current children cumulated vsize (KiB) 859096
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 1807
/proc/meminfo: memFree=28217840/32873852 swapFree=6856/6856
[pid=1729] ppid=1727 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1729/stat : 1729 (npSolver-pbo-It) S 1727 1729 1566 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278662406 9367552 275 33554432000 4194304 5064252 140735411822704 140735411821616 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1729/statm: 2287 275 233 213 0 72 0
[pid=1730] ppid=1729 vsize=125764 CPUtime=20.32 cores=1,3,5,7
/proc/1730/stat : 1730 (npSolver-pbo) S 1729 1729 1566 0 -1 4202496 24099 85449 0 0 441 248 1293 50 20 0 1 0 278662406 128782336 24053 33554432000 4194304 5992684 140737003036496 140737003022328 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/1730/statm: 31441 24053 190 440 0 30997 0
[pid=1738] ppid=1730 vsize=724316 CPUtime=1701.56 cores=1,3,5,7
/proc/1738/stat : 1738 (glucosInc) R 1730 1729 1566 0 -1 4202496 100569 0 0 0 170108 48 0 0 20 0 1 0 278664442 741699584 157532 33554432000 4194304 5654031 140735375267056 140735375264840 4232453 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/1738/statm: 181079 157532 142 357 0 180719 0
Current children cumulated CPU time (s) 1721.88
Current children cumulated vsize (KiB) 859228
[startup+1782.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 1807
/proc/meminfo: memFree=28211076/32873852 swapFree=6856/6856
[pid=1729] ppid=1727 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1729/stat : 1729 (npSolver-pbo-It) S 1727 1729 1566 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278662406 9367552 275 33554432000 4194304 5064252 140735411822704 140735411821616 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1729/statm: 2287 275 233 213 0 72 0
[pid=1730] ppid=1729 vsize=125764 CPUtime=20.32 cores=1,3,5,7
/proc/1730/stat : 1730 (npSolver-pbo) S 1729 1729 1566 0 -1 4202496 24099 85449 0 0 441 248 1293 50 20 0 1 0 278662406 128782336 24053 33554432000 4194304 5992684 140737003036496 140737003022328 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/1730/statm: 31441 24053 190 440 0 30997 0
[pid=1738] ppid=1730 vsize=724456 CPUtime=1761.55 cores=1,3,5,7
/proc/1738/stat : 1738 (glucosInc) R 1730 1729 1566 0 -1 4202496 100607 0 0 0 176107 48 0 0 20 0 1 0 278664442 741842944 158081 33554432000 4194304 5654031 140735375267056 140735375254872 4232775 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/1738/statm: 181114 158081 142 357 0 180754 0
Current children cumulated CPU time (s) 1781.87
Current children cumulated vsize (KiB) 859368
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 1807
/proc/meminfo: memFree=28208904/32873852 swapFree=6856/6856
[pid=1729] ppid=1727 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1729/stat : 1729 (npSolver-pbo-It) S 1727 1729 1566 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278662406 9367552 275 33554432000 4194304 5064252 140735411822704 140735411821616 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1729/statm: 2287 275 233 213 0 72 0
[pid=1730] ppid=1729 vsize=125764 CPUtime=20.32 cores=1,3,5,7
/proc/1730/stat : 1730 (npSolver-pbo) S 1729 1729 1566 0 -1 4202496 24099 85449 0 0 441 248 1293 50 20 0 1 0 278662406 128782336 24053 33554432000 4194304 5992684 140737003036496 140737003022328 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/1730/statm: 31441 24053 190 440 0 30997 0
[pid=1738] ppid=1730 vsize=724592 CPUtime=1779.75 cores=1,3,5,7
/proc/1738/stat : 1738 (glucosInc) R 1730 1729 1566 0 -1 4202496 100635 0 0 0 177927 48 0 0 20 0 1 0 278664442 741982208 158620 33554432000 4194304 5654031 140735375267056 140735375254872 4232707 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/1738/statm: 181148 158620 142 357 0 180788 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 859504
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.5 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 1807
/proc/meminfo: memFree=28208904/32873852 swapFree=6856/6856
[pid=1729] ppid=1727 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1729/stat : 1729 (npSolver-pbo-It) S 1727 1729 1566 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278662406 9367552 275 33554432000 4194304 5064252 140735411822704 140735411821616 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1729/statm: 2287 275 233 213 0 72 0
[pid=1730] ppid=1729 vsize=125764 CPUtime=20.32 cores=1,3,5,7
/proc/1730/stat : 1730 (npSolver-pbo) S 1729 1729 1566 0 -1 4202496 24099 85449 0 0 441 248 1293 50 20 0 1 0 278662406 128782336 24053 33554432000 4194304 5992684 140737003036496 140737003022328 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/1730/statm: 31441 24053 190 440 0 30997 0
[pid=1738] ppid=1730 vsize=724592 CPUtime=1779.75 cores=1,3,5,7
/proc/1738/stat : 1738 (glucosInc) R 1730 1729 1566 0 -1 4202496 100635 0 0 0 177927 48 0 0 20 0 1 0 278664442 741982208 158620 33554432000 4194304 5654031 140735375267056 140735375254872 4232707 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/1738/statm: 181148 158620 142 357 0 180788 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 859504
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 1729 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=0
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=999
# CPU time returned by wait4() is 0.000999
# while last known CPU time is 1800.07
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800.52
CPU time (s): 1800.07
CPU user time (s): 1796.61
CPU system time (s): 3.46
CPU usage (%): 99.9752
Max. virtual memory (cumulated for all children) (KiB): 985192
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0
system time used= 0.000999
maximum resident set size= 1100
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 358
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= 4
involuntary context switches= 2
runsolver used 4.29135 second user time and 10.9033 second system time
The end