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-3748059-1339158931/watcher-3748059-1339158931 -o /tmp/evaluation-result-3748059-1339158931/solver-3748059-1339158931 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-I.sh HOME/instance-3748059-1339158931.opb 1258827515 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.04 1.46 1.56 3/179 25211
/proc/meminfo: memFree=28115116/32873844 swapFree=7384/7384
[pid=25211] ppid=25209 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25211/stat : 25211 (npSolver-pbo-I.) S 25209 25211 14826 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382021582 9367552 274 33554432000 4194304 5064252 140734218892192 140734218891104 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25211/statm: 2287 274 233 213 0 72 0
[startup+0.028661 s]
/proc/loadavg: 2.04 1.46 1.56 3/179 25211
/proc/meminfo: memFree=28115116/32873844 swapFree=7384/7384
[pid=25211] ppid=25209 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25211/stat : 25211 (npSolver-pbo-I.) S 25209 25211 14826 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382021582 9367552 274 33554432000 4194304 5064252 140734218892192 140734218891104 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25211/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100283 s]
/proc/loadavg: 2.04 1.46 1.56 3/179 25211
/proc/meminfo: memFree=28115116/32873844 swapFree=7384/7384
[pid=25211] ppid=25209 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25211/stat : 25211 (npSolver-pbo-I.) S 25209 25211 14826 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382021582 9367552 274 33554432000 4194304 5064252 140734218892192 140734218891104 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25211/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.30031 s]
/proc/loadavg: 2.04 1.46 1.56 3/179 25211
/proc/meminfo: memFree=28115116/32873844 swapFree=7384/7384
[pid=25211] ppid=25209 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25211/stat : 25211 (npSolver-pbo-I.) S 25209 25211 14826 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382021582 9367552 274 33554432000 4194304 5064252 140734218892192 140734218891104 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25211/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700307 s]
/proc/loadavg: 2.04 1.46 1.56 3/179 25211
/proc/meminfo: memFree=28115116/32873844 swapFree=7384/7384
[pid=25211] ppid=25209 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25211/stat : 25211 (npSolver-pbo-I.) S 25209 25211 14826 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382021582 9367552 274 33554432000 4194304 5064252 140734218892192 140734218891104 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25211/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50045 s]
/proc/loadavg: 2.04 1.46 1.56 3/183 25215
/proc/meminfo: memFree=28003640/32873844 swapFree=7384/7384
[pid=25211] ppid=25209 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25211/stat : 25211 (npSolver-pbo-I.) S 25209 25211 14826 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382021582 9367552 274 33554432000 4194304 5064252 140734218892192 140734218891104 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25211/statm: 2287 274 233 213 0 72 0
[pid=25212] ppid=25211 vsize=94716 CPUtime=0.83 cores=1,3,5,7
/proc/25212/stat : 25212 (npSolver-pbo) S 25211 25211 14826 0 -1 4202496 13145 0 0 0 77 6 0 0 20 0 1 0 382021582 96989184 20730 33554432000 4194304 6004724 140735468889216 140735468883680 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 10 0 0
/proc/25212/statm: 23679 20730 162 442 0 23233 0
[pid=25214] ppid=25212 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25214/stat : 25214 (cp2_pre.sh) S 25212 25211 14826 0 -1 4202496 609 0 0 0 0 0 0 0 20 0 1 0 382021677 9367552 277 33554432000 4194304 5064252 140734191822640 140734191821344 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25214/statm: 2287 277 234 213 0 72 0
[pid=25215] ppid=25214 vsize=160648 CPUtime=0.53 cores=1,3,5,7
/proc/25215/stat : 25215 (coprocessor) R 25214 25211 14826 0 -1 4202496 23354 0 0 0 49 4 0 0 20 0 1 0 382021677 164503552 35131 33554432000 4194304 6586260 140735721439920 140735721436680 5511711 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/25215/statm: 40162 35131 165 584 0 39574 0
Current children cumulated CPU time (s) 1.36
Current children cumulated vsize (KiB) 273660
[startup+3.10051 s]
/proc/loadavg: 2.04 1.46 1.56 3/183 25215
/proc/meminfo: memFree=27826204/32873844 swapFree=7384/7384
[pid=25211] ppid=25209 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25211/stat : 25211 (npSolver-pbo-I.) S 25209 25211 14826 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382021582 9367552 274 33554432000 4194304 5064252 140734218892192 140734218891104 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25211/statm: 2287 274 233 213 0 72 0
[pid=25212] ppid=25211 vsize=94716 CPUtime=0.83 cores=1,3,5,7
/proc/25212/stat : 25212 (npSolver-pbo) S 25211 25211 14826 0 -1 4202496 13145 0 0 0 77 6 0 0 20 0 1 0 382021582 96989184 20730 33554432000 4194304 6004724 140735468889216 140735468883680 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 10 0 0
/proc/25212/statm: 23679 20730 162 442 0 23233 0
[pid=25214] ppid=25212 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25214/stat : 25214 (cp2_pre.sh) S 25212 25211 14826 0 -1 4202496 609 0 0 0 0 0 0 0 20 0 1 0 382021677 9367552 277 33554432000 4194304 5064252 140734191822640 140734191821344 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25214/statm: 2287 277 234 213 0 72 0
[pid=25215] ppid=25214 vsize=229844 CPUtime=2.14 cores=1,3,5,7
/proc/25215/stat : 25215 (coprocessor) R 25214 25211 14826 0 -1 4202496 37317 0 0 0 207 7 0 0 20 0 1 0 382021677 235360256 56246 33554432000 4194304 6586260 140735721439920 140735721435944 5599298 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/25215/statm: 57461 56246 191 584 0 56873 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 342856
[startup+6.30043 s]
/proc/loadavg: 2.03 1.47 1.56 3/182 25217
/proc/meminfo: memFree=27948024/32873844 swapFree=7384/7384
[pid=25211] ppid=25209 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25211/stat : 25211 (npSolver-pbo-I.) S 25209 25211 14826 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382021582 9367552 274 33554432000 4194304 5064252 140734218892192 140734218891104 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25211/statm: 2287 274 233 213 0 72 0
[pid=25212] ppid=25211 vsize=94716 CPUtime=4.57 cores=1,3,5,7
/proc/25212/stat : 25212 (npSolver-pbo) S 25211 25211 14826 0 -1 4202496 13162 40281 0 0 77 6 342 32 20 0 1 0 382021582 96989184 20734 33554432000 4194304 6004724 140735468889216 140735468875496 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 10 0 0
/proc/25212/statm: 23679 20734 166 442 0 23233 0
[pid=25217] ppid=25212 vsize=89852 CPUtime=1.58 cores=1,3,5,7
/proc/25217/stat : 25217 (glucosInc) R 25212 25211 14826 0 -1 4202496 16729 0 0 0 154 4 0 0 20 0 1 0 382022053 92008448 18386 33554432000 4194304 5654031 140736395264736 140736395262504 4234964 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/25217/statm: 22463 18386 139 357 0 22103 0
Current children cumulated CPU time (s) 6.15
Current children cumulated vsize (KiB) 193716
[startup+12.7005 s]
/proc/loadavg: 2.03 1.48 1.56 3/182 25217
/proc/meminfo: memFree=27940628/32873844 swapFree=7384/7384
[pid=25211] ppid=25209 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25211/stat : 25211 (npSolver-pbo-I.) S 25209 25211 14826 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382021582 9367552 274 33554432000 4194304 5064252 140734218892192 140734218891104 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25211/statm: 2287 274 233 213 0 72 0
[pid=25212] ppid=25211 vsize=94716 CPUtime=4.57 cores=1,3,5,7
/proc/25212/stat : 25212 (npSolver-pbo) S 25211 25211 14826 0 -1 4202496 13162 40281 0 0 77 6 342 32 20 0 1 0 382021582 96989184 20734 33554432000 4194304 6004724 140735468889216 140735468875496 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 10 0 0
/proc/25212/statm: 23679 20734 166 442 0 23233 0
[pid=25217] ppid=25212 vsize=89852 CPUtime=7.98 cores=1,3,5,7
/proc/25217/stat : 25217 (glucosInc) R 25212 25211 14826 0 -1 4202496 16930 0 0 0 794 4 0 0 20 0 1 0 382022053 92008448 19098 33554432000 4194304 5654031 140736395264736 140736395252552 4232477 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/25217/statm: 22463 19098 140 357 0 22103 0
Current children cumulated CPU time (s) 12.55
Current children cumulated vsize (KiB) 193716
[startup+25.5004 s]
/proc/loadavg: 2.02 1.50 1.57 3/182 25217
/proc/meminfo: memFree=27918924/32873844 swapFree=7384/7384
[pid=25211] ppid=25209 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25211/stat : 25211 (npSolver-pbo-I.) S 25209 25211 14826 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382021582 9367552 274 33554432000 4194304 5064252 140734218892192 140734218891104 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25211/statm: 2287 274 233 213 0 72 0
[pid=25212] ppid=25211 vsize=94716 CPUtime=4.57 cores=1,3,5,7
/proc/25212/stat : 25212 (npSolver-pbo) S 25211 25211 14826 0 -1 4202496 13162 40281 0 0 77 6 342 32 20 0 1 0 382021582 96989184 20734 33554432000 4194304 6004724 140735468889216 140735468875496 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 10 0 0
/proc/25212/statm: 23679 20734 166 442 0 23233 0
[pid=25217] ppid=25212 vsize=98528 CPUtime=20.77 cores=1,3,5,7
/proc/25217/stat : 25217 (glucosInc) R 25212 25211 14826 0 -1 4202496 18520 0 0 0 2073 4 0 0 20 0 1 0 382022053 100892672 20266 33554432000 4194304 5654031 140736395264736 140736395252552 4232581 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/25217/statm: 24632 20266 141 357 0 24272 0
Current children cumulated CPU time (s) 25.34
Current children cumulated vsize (KiB) 202392
[startup+51.1004 s]
/proc/loadavg: 2.01 1.54 1.58 3/181 25217
/proc/meminfo: memFree=27892668/32873844 swapFree=7384/7384
[pid=25211] ppid=25209 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25211/stat : 25211 (npSolver-pbo-I.) S 25209 25211 14826 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382021582 9367552 274 33554432000 4194304 5064252 140734218892192 140734218891104 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25211/statm: 2287 274 233 213 0 72 0
[pid=25212] ppid=25211 vsize=94716 CPUtime=4.57 cores=1,3,5,7
/proc/25212/stat : 25212 (npSolver-pbo) S 25211 25211 14826 0 -1 4202496 13162 40281 0 0 77 6 342 32 20 0 1 0 382021582 96989184 20734 33554432000 4194304 6004724 140735468889216 140735468875496 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 10 0 0
/proc/25212/statm: 23679 20734 166 442 0 23233 0
[pid=25217] ppid=25212 vsize=120576 CPUtime=46.37 cores=1,3,5,7
/proc/25217/stat : 25217 (glucosInc) R 25212 25211 14826 0 -1 4202496 19847 0 0 0 4631 6 0 0 20 0 1 0 382022053 123469824 25638 33554432000 4194304 5654031 140736395264736 140736395252552 4216105 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/25217/statm: 30144 25638 141 357 0 29784 0
Current children cumulated CPU time (s) 50.94
Current children cumulated vsize (KiB) 224440
[startup+102.307 s]
/proc/loadavg: 2.00 1.61 1.60 3/181 25218
/proc/meminfo: memFree=27884376/32873844 swapFree=7384/7384
[pid=25211] ppid=25209 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25211/stat : 25211 (npSolver-pbo-I.) S 25209 25211 14826 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382021582 9367552 274 33554432000 4194304 5064252 140734218892192 140734218891104 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25211/statm: 2287 274 233 213 0 72 0
[pid=25212] ppid=25211 vsize=94716 CPUtime=4.57 cores=1,3,5,7
/proc/25212/stat : 25212 (npSolver-pbo) S 25211 25211 14826 0 -1 4202496 13162 40281 0 0 77 6 342 32 20 0 1 0 382021582 96989184 20734 33554432000 4194304 6004724 140735468889216 140735468875496 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 10 0 0
/proc/25212/statm: 23679 20734 166 442 0 23233 0
[pid=25217] ppid=25212 vsize=120576 CPUtime=97.57 cores=1,3,5,7
/proc/25217/stat : 25217 (glucosInc) R 25212 25211 14826 0 -1 4202496 19851 0 0 0 9751 6 0 0 20 0 1 0 382022053 123469824 26664 33554432000 4194304 5654031 140736395264736 140736395252552 4232821 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/25217/statm: 30144 26664 141 357 0 29784 0
Current children cumulated CPU time (s) 102.14
Current children cumulated vsize (KiB) 224440
[startup+162.3 s]
/proc/loadavg: 2.00 1.68 1.62 3/181 25218
/proc/meminfo: memFree=27863712/32873844 swapFree=7384/7384
[pid=25211] ppid=25209 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25211/stat : 25211 (npSolver-pbo-I.) S 25209 25211 14826 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382021582 9367552 274 33554432000 4194304 5064252 140734218892192 140734218891104 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25211/statm: 2287 274 233 213 0 72 0
[pid=25212] ppid=25211 vsize=94716 CPUtime=4.57 cores=1,3,5,7
/proc/25212/stat : 25212 (npSolver-pbo) S 25211 25211 14826 0 -1 4202496 13162 40281 0 0 77 6 342 32 20 0 1 0 382021582 96989184 20734 33554432000 4194304 6004724 140735468889216 140735468875496 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 10 0 0
/proc/25212/statm: 23679 20734 166 442 0 23233 0
[pid=25217] ppid=25212 vsize=139432 CPUtime=157.55 cores=1,3,5,7
/proc/25217/stat : 25217 (glucosInc) R 25212 25211 14826 0 -1 4202496 21378 0 0 0 15748 7 0 0 20 0 1 0 382022053 142778368 31743 33554432000 4194304 5654031 140736395264736 140736395252552 4215030 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/25217/statm: 34858 31743 141 357 0 34498 0
Current children cumulated CPU time (s) 162.12
Current children cumulated vsize (KiB) 243296
[startup+222.3 s]
/proc/loadavg: 2.00 1.73 1.64 3/181 25218
/proc/meminfo: memFree=27862932/32873844 swapFree=7384/7384
[pid=25211] ppid=25209 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25211/stat : 25211 (npSolver-pbo-I.) S 25209 25211 14826 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382021582 9367552 274 33554432000 4194304 5064252 140734218892192 140734218891104 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25211/statm: 2287 274 233 213 0 72 0
[pid=25212] ppid=25211 vsize=94716 CPUtime=4.57 cores=1,3,5,7
/proc/25212/stat : 25212 (npSolver-pbo) S 25211 25211 14826 0 -1 4202496 13162 40281 0 0 77 6 342 32 20 0 1 0 382021582 96989184 20734 33554432000 4194304 6004724 140735468889216 140735468875496 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 10 0 0
/proc/25212/statm: 23679 20734 166 442 0 23233 0
[pid=25217] ppid=25212 vsize=139432 CPUtime=217.53 cores=1,3,5,7
################
# More data... #
################
/proc/loadavg: 2.00 2.00 1.87 3/181 25228
/proc/meminfo: memFree=27745884/32873844 swapFree=7384/7384
[pid=25211] ppid=25209 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25211/stat : 25211 (npSolver-pbo-I.) S 25209 25211 14826 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382021582 9367552 274 33554432000 4194304 5064252 140734218892192 140734218891104 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25211/statm: 2287 274 233 213 0 72 0
[pid=25212] ppid=25211 vsize=94716 CPUtime=4.57 cores=1,3,5,7
/proc/25212/stat : 25212 (npSolver-pbo) S 25211 25211 14826 0 -1 4202496 13162 40281 0 0 77 6 342 32 20 0 1 0 382021582 96989184 20734 33554432000 4194304 6004724 140735468889216 140735468875496 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 10 0 0
/proc/25212/statm: 23679 20734 166 442 0 23233 0
[pid=25217] ppid=25212 vsize=201248 CPUtime=1357.36 cores=1,3,5,7
/proc/25217/stat : 25217 (glucosInc) R 25212 25211 14826 0 -1 4202496 24749 0 0 0 135715 21 0 0 20 0 1 0 382022053 206077952 43742 33554432000 4194304 5654031 140736395264736 140736395252552 4232477 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/25217/statm: 50312 43742 141 357 0 49952 0
Current children cumulated CPU time (s) 1361.93
Current children cumulated vsize (KiB) 305112
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.88 3/181 25228
/proc/meminfo: memFree=27784812/32873844 swapFree=7384/7384
[pid=25211] ppid=25209 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25211/stat : 25211 (npSolver-pbo-I.) S 25209 25211 14826 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382021582 9367552 274 33554432000 4194304 5064252 140734218892192 140734218891104 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25211/statm: 2287 274 233 213 0 72 0
[pid=25212] ppid=25211 vsize=94716 CPUtime=4.57 cores=1,3,5,7
/proc/25212/stat : 25212 (npSolver-pbo) S 25211 25211 14826 0 -1 4202496 13162 40281 0 0 77 6 342 32 20 0 1 0 382021582 96989184 20734 33554432000 4194304 6004724 140735468889216 140735468875496 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 10 0 0
/proc/25212/statm: 23679 20734 166 442 0 23233 0
[pid=25217] ppid=25212 vsize=151928 CPUtime=1417.36 cores=1,3,5,7
/proc/25217/stat : 25217 (glucosInc) R 25212 25211 14826 0 -1 4202496 25344 0 0 0 141713 23 0 0 20 0 1 0 382022053 155574272 34929 33554432000 4194304 5654031 140736395264736 140736395252552 4232477 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/25217/statm: 37982 34929 141 357 0 37622 0
Current children cumulated CPU time (s) 1421.93
Current children cumulated vsize (KiB) 255792
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.88 3/182 25231
/proc/meminfo: memFree=27765932/32873844 swapFree=7384/7384
[pid=25211] ppid=25209 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25211/stat : 25211 (npSolver-pbo-I.) S 25209 25211 14826 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382021582 9367552 274 33554432000 4194304 5064252 140734218892192 140734218891104 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25211/statm: 2287 274 233 213 0 72 0
[pid=25212] ppid=25211 vsize=94716 CPUtime=4.57 cores=1,3,5,7
/proc/25212/stat : 25212 (npSolver-pbo) S 25211 25211 14826 0 -1 4202496 13162 40281 0 0 77 6 342 32 20 0 1 0 382021582 96989184 20734 33554432000 4194304 6004724 140735468889216 140735468875496 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 10 0 0
/proc/25212/statm: 23679 20734 166 442 0 23233 0
[pid=25217] ppid=25212 vsize=232068 CPUtime=1477.34 cores=1,3,5,7
/proc/25217/stat : 25217 (glucosInc) R 25212 25211 14826 0 -1 4202496 26063 0 0 0 147709 25 0 0 20 0 1 0 382022053 237637632 48417 33554432000 4194304 5654031 140736395264736 140736395252552 4216337 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/25217/statm: 58017 48417 141 357 0 57657 0
Current children cumulated CPU time (s) 1481.91
Current children cumulated vsize (KiB) 335932
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.89 3/182 25254
/proc/meminfo: memFree=27721760/32873844 swapFree=7384/7384
[pid=25211] ppid=25209 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25211/stat : 25211 (npSolver-pbo-I.) S 25209 25211 14826 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382021582 9367552 274 33554432000 4194304 5064252 140734218892192 140734218891104 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25211/statm: 2287 274 233 213 0 72 0
[pid=25212] ppid=25211 vsize=94716 CPUtime=4.57 cores=1,3,5,7
/proc/25212/stat : 25212 (npSolver-pbo) S 25211 25211 14826 0 -1 4202496 13162 40281 0 0 77 6 342 32 20 0 1 0 382021582 96989184 20734 33554432000 4194304 6004724 140735468889216 140735468875496 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 10 0 0
/proc/25212/statm: 23679 20734 166 442 0 23233 0
[pid=25217] ppid=25212 vsize=232068 CPUtime=1537.33 cores=1,3,5,7
/proc/25217/stat : 25217 (glucosInc) R 25212 25211 14826 0 -1 4202496 26774 0 0 0 153706 27 0 0 20 0 1 0 382022053 237637632 47386 33554432000 4194304 5654031 140736395264736 140736395262824 4232601 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/25217/statm: 58017 47386 141 357 0 57657 0
Current children cumulated CPU time (s) 1541.9
Current children cumulated vsize (KiB) 335932
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.90 3/181 25255
/proc/meminfo: memFree=27735520/32873844 swapFree=7384/7384
[pid=25211] ppid=25209 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25211/stat : 25211 (npSolver-pbo-I.) S 25209 25211 14826 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382021582 9367552 274 33554432000 4194304 5064252 140734218892192 140734218891104 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25211/statm: 2287 274 233 213 0 72 0
[pid=25212] ppid=25211 vsize=94716 CPUtime=4.57 cores=1,3,5,7
/proc/25212/stat : 25212 (npSolver-pbo) S 25211 25211 14826 0 -1 4202496 13162 40281 0 0 77 6 342 32 20 0 1 0 382021582 96989184 20734 33554432000 4194304 6004724 140735468889216 140735468875496 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 10 0 0
/proc/25212/statm: 23679 20734 166 442 0 23233 0
[pid=25217] ppid=25212 vsize=201248 CPUtime=1597.32 cores=1,3,5,7
/proc/25217/stat : 25217 (glucosInc) R 25212 25211 14826 0 -1 4202496 26915 0 0 0 159703 29 0 0 20 0 1 0 382022053 206077952 44766 33554432000 4194304 5654031 140736395264736 140736395252552 4232544 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/25217/statm: 50312 44766 141 357 0 49952 0
Current children cumulated CPU time (s) 1601.89
Current children cumulated vsize (KiB) 305112
[startup+1662.3 s]
/proc/loadavg: 2.05 2.01 1.91 3/181 25255
/proc/meminfo: memFree=27754044/32873844 swapFree=7384/7384
[pid=25211] ppid=25209 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25211/stat : 25211 (npSolver-pbo-I.) S 25209 25211 14826 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382021582 9367552 274 33554432000 4194304 5064252 140734218892192 140734218891104 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25211/statm: 2287 274 233 213 0 72 0
[pid=25212] ppid=25211 vsize=94716 CPUtime=4.57 cores=1,3,5,7
/proc/25212/stat : 25212 (npSolver-pbo) S 25211 25211 14826 0 -1 4202496 13162 40281 0 0 77 6 342 32 20 0 1 0 382021582 96989184 20734 33554432000 4194304 6004724 140735468889216 140735468875496 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 10 0 0
/proc/25212/statm: 23679 20734 166 442 0 23233 0
[pid=25217] ppid=25212 vsize=201248 CPUtime=1657.31 cores=1,3,5,7
/proc/25217/stat : 25217 (glucosInc) R 25212 25211 14826 0 -1 4202496 27634 0 0 0 165700 31 0 0 20 0 1 0 382022053 206077952 43230 33554432000 4194304 5654031 140736395264736 140736395252552 4232775 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/25217/statm: 50312 43230 141 357 0 49952 0
Current children cumulated CPU time (s) 1661.88
Current children cumulated vsize (KiB) 305112
[startup+1722.3 s]
/proc/loadavg: 2.02 2.01 1.91 3/181 25255
/proc/meminfo: memFree=27762004/32873844 swapFree=7384/7384
[pid=25211] ppid=25209 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25211/stat : 25211 (npSolver-pbo-I.) S 25209 25211 14826 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382021582 9367552 274 33554432000 4194304 5064252 140734218892192 140734218891104 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25211/statm: 2287 274 233 213 0 72 0
[pid=25212] ppid=25211 vsize=94716 CPUtime=4.57 cores=1,3,5,7
/proc/25212/stat : 25212 (npSolver-pbo) S 25211 25211 14826 0 -1 4202496 13162 40281 0 0 77 6 342 32 20 0 1 0 382021582 96989184 20734 33554432000 4194304 6004724 140735468889216 140735468875496 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 10 0 0
/proc/25212/statm: 23679 20734 166 442 0 23233 0
[pid=25217] ppid=25212 vsize=232068 CPUtime=1717.3 cores=1,3,5,7
/proc/25217/stat : 25217 (glucosInc) R 25212 25211 14826 0 -1 4202496 28230 0 0 0 171698 32 0 0 20 0 1 0 382022053 237637632 49441 33554432000 4194304 5654031 140736395264736 140736395252552 4232495 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/25217/statm: 58017 49441 141 357 0 57657 0
Current children cumulated CPU time (s) 1721.87
Current children cumulated vsize (KiB) 335932
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/180 25295
/proc/meminfo: memFree=27799560/32873844 swapFree=7384/7384
[pid=25211] ppid=25209 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25211/stat : 25211 (npSolver-pbo-I.) S 25209 25211 14826 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382021582 9367552 274 33554432000 4194304 5064252 140734218892192 140734218891104 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25211/statm: 2287 274 233 213 0 72 0
[pid=25212] ppid=25211 vsize=94716 CPUtime=4.57 cores=1,3,5,7
/proc/25212/stat : 25212 (npSolver-pbo) S 25211 25211 14826 0 -1 4202496 13162 40281 0 0 77 6 342 32 20 0 1 0 382021582 96989184 20734 33554432000 4194304 6004724 140735468889216 140735468875496 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 10 0 0
/proc/25212/statm: 23679 20734 166 442 0 23233 0
[pid=25217] ppid=25212 vsize=201248 CPUtime=1777.29 cores=1,3,5,7
/proc/25217/stat : 25217 (glucosInc) R 25212 25211 14826 0 -1 4202496 28361 0 0 0 177695 34 0 0 20 0 1 0 382022053 206077952 46302 33554432000 4194304 5654031 140736395264736 140736395252552 4232477 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/25217/statm: 50312 46302 141 357 0 49952 0
Current children cumulated CPU time (s) 1781.86
Current children cumulated vsize (KiB) 305112
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 2.08 2.02 1.91 3/180 25295
/proc/meminfo: memFree=26308036/32873844 swapFree=7384/7384
[pid=25211] ppid=25209 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25211/stat : 25211 (npSolver-pbo-I.) S 25209 25211 14826 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382021582 9367552 274 33554432000 4194304 5064252 140734218892192 140734218891104 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25211/statm: 2287 274 233 213 0 72 0
[pid=25212] ppid=25211 vsize=94716 CPUtime=4.57 cores=1,3,5,7
/proc/25212/stat : 25212 (npSolver-pbo) S 25211 25211 14826 0 -1 4202496 13162 40281 0 0 77 6 342 32 20 0 1 0 382021582 96989184 20734 33554432000 4194304 6004724 140735468889216 140735468875496 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 10 0 0
/proc/25212/statm: 23679 20734 166 442 0 23233 0
[pid=25217] ppid=25212 vsize=232068 CPUtime=1795.49 cores=1,3,5,7
/proc/25217/stat : 25217 (glucosInc) R 25212 25211 14826 0 -1 4202496 28953 0 0 0 179515 34 0 0 20 0 1 0 382022053 237637632 47905 33554432000 4194304 5654031 140736395264736 140736395252552 4232775 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/25217/statm: 58017 47905 141 357 0 57657 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 335932
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.08 2.02 1.91 3/180 25295
/proc/meminfo: memFree=26308036/32873844 swapFree=7384/7384
[pid=25211] ppid=25209 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25211/stat : 25211 (npSolver-pbo-I.) S 25209 25211 14826 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382021582 9367552 274 33554432000 4194304 5064252 140734218892192 140734218891104 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25211/statm: 2287 274 233 213 0 72 0
[pid=25212] ppid=25211 vsize=94716 CPUtime=4.57 cores=1,3,5,7
/proc/25212/stat : 25212 (npSolver-pbo) S 25211 25211 14826 0 -1 4202496 13162 40281 0 0 77 6 342 32 20 0 1 0 382021582 96989184 20734 33554432000 4194304 6004724 140735468889216 140735468875496 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 10 0 0
/proc/25212/statm: 23679 20734 166 442 0 23233 0
[pid=25217] ppid=25212 vsize=232068 CPUtime=1795.49 cores=1,3,5,7
/proc/25217/stat : 25217 (glucosInc) R 25212 25211 14826 0 -1 4202496 28953 0 0 0 179515 34 0 0 20 0 1 0 382022053 237637632 47905 33554432000 4194304 5654031 140736395264736 140736395252552 4232775 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/25217/statm: 58017 47905 141 357 0 57657 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 335932
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 25211 and gives
# childrusage.ru_utime.tv_sec=4
# childrusage.ru_utime.tv_usec=206360
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=402938
# CPU time returned by wait4() is 4.6093
# while last known CPU time is 1800.06
#
# 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.06
CPU user time (s): 1799.34
CPU system time (s): 0.72
CPU usage (%): 99.9747
Max. virtual memory (cumulated for all children) (KiB): 353588
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.20636
system time used= 0.402938
maximum resident set size= 241892
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 53816
page faults= 0
swaps= 0
block input operations= 0
block output operations= 63352
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 14
involuntary context switches= 12
runsolver used 6.65499 second user time and 19.924 second system time
The end