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-3700141-1338082519/watcher-3700141-1338082519 -o /tmp/evaluation-result-3700141-1338082519/solver-3700141-1338082519 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-I.sh HOME/instance-3700141-1338082519.opb 223637937 HOME HOME
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 22784
/proc/meminfo: memFree=28740416/32873852 swapFree=6848/6848
[pid=22784] ppid=22782 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22784/stat : 22784 (npSolver-pbo-I.) S 22782 22784 18146 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274377408 9367552 275 33554432000 4194304 5064252 140736625750960 140736625749872 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22784/statm: 2287 275 233 213 0 72 0
[startup+0.0258769 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 22784
/proc/meminfo: memFree=28740416/32873852 swapFree=6848/6848
[pid=22784] ppid=22782 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22784/stat : 22784 (npSolver-pbo-I.) S 22782 22784 18146 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274377408 9367552 275 33554432000 4194304 5064252 140736625750960 140736625749872 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22784/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100233 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 22784
/proc/meminfo: memFree=28740416/32873852 swapFree=6848/6848
[pid=22784] ppid=22782 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22784/stat : 22784 (npSolver-pbo-I.) S 22782 22784 18146 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274377408 9367552 275 33554432000 4194304 5064252 140736625750960 140736625749872 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22784/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300287 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 22784
/proc/meminfo: memFree=28740416/32873852 swapFree=6848/6848
[pid=22784] ppid=22782 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22784/stat : 22784 (npSolver-pbo-I.) S 22782 22784 18146 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274377408 9367552 275 33554432000 4194304 5064252 140736625750960 140736625749872 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22784/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: 1.92 1.98 1.99 3/176 22784
/proc/meminfo: memFree=28740416/32873852 swapFree=6848/6848
[pid=22784] ppid=22782 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22784/stat : 22784 (npSolver-pbo-I.) S 22782 22784 18146 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274377408 9367552 275 33554432000 4194304 5064252 140736625750960 140736625749872 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22784/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50045 s]
/proc/loadavg: 1.92 1.98 1.99 3/180 22788
/proc/meminfo: memFree=28611012/32873852 swapFree=6848/6848
[pid=22784] ppid=22782 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22784/stat : 22784 (npSolver-pbo-I.) S 22782 22784 18146 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274377408 9367552 275 33554432000 4194304 5064252 140736625750960 140736625749872 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22784/statm: 2287 275 233 213 0 72 0
[pid=22785] ppid=22784 vsize=25052 CPUtime=0.28 cores=1,3,5,7
/proc/22785/stat : 22785 (npSolver-pbo) S 22784 22784 18146 0 -1 4202496 4671 0 0 0 26 2 0 0 20 0 1 0 274377408 25653248 4435 33554432000 4194304 5992684 140733925554064 140733925548512 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/22785/statm: 6263 4435 169 440 0 5819 0
[pid=22787] ppid=22785 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22787/stat : 22787 (cp2_pre.sh) S 22785 22784 18146 0 -1 4202496 607 0 0 0 0 0 0 0 20 0 1 0 274377436 9367552 276 33554432000 4194304 5064252 140733742443296 140733742442000 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/22787/statm: 2287 276 234 213 0 72 0
[pid=22788] ppid=22787 vsize=129104 CPUtime=1.21 cores=1,3,5,7
/proc/22788/stat : 22788 (coprocessor) R 22787 22784 18146 0 -1 4202496 24205 0 0 0 116 5 0 0 20 0 1 0 274377436 132202496 30744 33554432000 4194304 6586260 140734373892448 140734373888712 4560627 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/22788/statm: 32276 30744 196 584 0 31688 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 172452
[startup+3.10038 s]
/proc/loadavg: 1.92 1.98 1.99 3/180 22788
/proc/meminfo: memFree=28582916/32873852 swapFree=6848/6848
[pid=22784] ppid=22782 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22784/stat : 22784 (npSolver-pbo-I.) S 22782 22784 18146 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274377408 9367552 275 33554432000 4194304 5064252 140736625750960 140736625749872 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22784/statm: 2287 275 233 213 0 72 0
[pid=22785] ppid=22784 vsize=25052 CPUtime=2.15 cores=1,3,5,7
/proc/22785/stat : 22785 (npSolver-pbo) S 22784 22784 18146 0 -1 4202496 4687 25545 0 0 26 2 167 20 20 0 1 0 274377408 25653248 4437 33554432000 4194304 5992684 140733925554064 140733925540328 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/22785/statm: 6263 4437 171 440 0 5819 0
Current children cumulated CPU time (s) 2.15
Current children cumulated vsize (KiB) 34200
heavy processes:
[startup+6.30026 s]
/proc/loadavg: 2.01 2.00 2.00 3/180 22791
/proc/meminfo: memFree=28656980/32873852 swapFree=6848/6848
[pid=22784] ppid=22782 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22784/stat : 22784 (npSolver-pbo-I.) S 22782 22784 18146 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274377408 9367552 275 33554432000 4194304 5064252 140736625750960 140736625749872 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22784/statm: 2287 275 233 213 0 72 0
[pid=22785] ppid=22784 vsize=31000 CPUtime=5.31 cores=1,3,5,7
/proc/22785/stat : 22785 (npSolver-pbo) S 22784 22784 18146 0 -1 4202496 6937 39016 0 0 46 76 382 27 20 0 1 0 274377408 31744000 5934 33554432000 4194304 5992684 140733925554064 140733925538968 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 11 0 0
/proc/22785/statm: 7750 5934 181 440 0 7306 0
Current children cumulated CPU time (s) 5.31
Current children cumulated vsize (KiB) 40148
[startup+12.7004 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 22793
/proc/meminfo: memFree=28644176/32873852 swapFree=6848/6848
[pid=22784] ppid=22782 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22784/stat : 22784 (npSolver-pbo-I.) S 22782 22784 18146 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274377408 9367552 275 33554432000 4194304 5064252 140736625750960 140736625749872 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22784/statm: 2287 275 233 213 0 72 0
[pid=22785] ppid=22784 vsize=31000 CPUtime=5.31 cores=1,3,5,7
/proc/22785/stat : 22785 (npSolver-pbo) S 22784 22784 18146 0 -1 4202496 6937 39016 0 0 46 76 382 27 20 0 1 0 274377408 31744000 5934 33554432000 4194304 5992684 140733925554064 140733925538968 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 11 0 0
/proc/22785/statm: 7750 5934 181 440 0 7306 0
[pid=22793] ppid=22785 vsize=58544 CPUtime=7.24 cores=1,3,5,7
/proc/22793/stat : 22793 (glucosInc) R 22785 22784 18146 0 -1 4202496 13286 0 0 0 721 3 0 0 20 0 1 0 274377952 59949056 13644 33554432000 4194304 5654031 140735647053200 140735647041016 4232477 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22793/statm: 14636 13644 139 357 0 14276 0
Current children cumulated CPU time (s) 12.55
Current children cumulated vsize (KiB) 98692
[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22793
/proc/meminfo: memFree=28643680/32873852 swapFree=6848/6848
[pid=22784] ppid=22782 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22784/stat : 22784 (npSolver-pbo-I.) S 22782 22784 18146 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274377408 9367552 275 33554432000 4194304 5064252 140736625750960 140736625749872 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22784/statm: 2287 275 233 213 0 72 0
[pid=22785] ppid=22784 vsize=31000 CPUtime=5.31 cores=1,3,5,7
/proc/22785/stat : 22785 (npSolver-pbo) S 22784 22784 18146 0 -1 4202496 6937 39016 0 0 46 76 382 27 20 0 1 0 274377408 31744000 5934 33554432000 4194304 5992684 140733925554064 140733925538968 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 11 0 0
/proc/22785/statm: 7750 5934 181 440 0 7306 0
[pid=22793] ppid=22785 vsize=66576 CPUtime=20.03 cores=1,3,5,7
/proc/22793/stat : 22793 (glucosInc) R 22785 22784 18146 0 -1 4202496 13666 0 0 0 2000 3 0 0 20 0 1 0 274377952 68173824 14020 33554432000 4194304 5654031 140735647053200 140735647041016 4208676 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22793/statm: 16644 14020 140 357 0 16284 0
Current children cumulated CPU time (s) 25.34
Current children cumulated vsize (KiB) 106724
[startup+51.1004 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22793
/proc/meminfo: memFree=28640328/32873852 swapFree=6848/6848
[pid=22784] ppid=22782 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22784/stat : 22784 (npSolver-pbo-I.) S 22782 22784 18146 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274377408 9367552 275 33554432000 4194304 5064252 140736625750960 140736625749872 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22784/statm: 2287 275 233 213 0 72 0
[pid=22785] ppid=22784 vsize=31000 CPUtime=5.31 cores=1,3,5,7
/proc/22785/stat : 22785 (npSolver-pbo) S 22784 22784 18146 0 -1 4202496 6937 39016 0 0 46 76 382 27 20 0 1 0 274377408 31744000 5934 33554432000 4194304 5992684 140733925554064 140733925538968 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 11 0 0
/proc/22785/statm: 7750 5934 181 440 0 7306 0
[pid=22793] ppid=22785 vsize=67628 CPUtime=45.63 cores=1,3,5,7
/proc/22793/stat : 22793 (glucosInc) R 22785 22784 18146 0 -1 4202496 15163 0 0 0 4558 5 0 0 20 0 1 0 274377952 69251072 14834 33554432000 4194304 5654031 140735647053200 140735647041016 4232540 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22793/statm: 16907 14834 141 357 0 16547 0
Current children cumulated CPU time (s) 50.94
Current children cumulated vsize (KiB) 107776
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22793
/proc/meminfo: memFree=28571424/32873852 swapFree=6848/6848
[pid=22784] ppid=22782 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22784/stat : 22784 (npSolver-pbo-I.) S 22782 22784 18146 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274377408 9367552 275 33554432000 4194304 5064252 140736625750960 140736625749872 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22784/statm: 2287 275 233 213 0 72 0
[pid=22785] ppid=22784 vsize=31000 CPUtime=5.31 cores=1,3,5,7
/proc/22785/stat : 22785 (npSolver-pbo) S 22784 22784 18146 0 -1 4202496 6937 39016 0 0 46 76 382 27 20 0 1 0 274377408 31744000 5934 33554432000 4194304 5992684 140733925554064 140733925538968 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 11 0 0
/proc/22785/statm: 7750 5934 181 440 0 7306 0
[pid=22793] ppid=22785 vsize=91532 CPUtime=96.82 cores=1,3,5,7
/proc/22793/stat : 22793 (glucosInc) R 22785 22784 18146 0 -1 4202496 16461 0 0 0 9676 6 0 0 20 0 1 0 274377952 93728768 21951 33554432000 4194304 5654031 140735647053200 140735647041016 4232707 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22793/statm: 22883 21951 141 357 0 22523 0
Current children cumulated CPU time (s) 102.13
Current children cumulated vsize (KiB) 131680
[startup+162.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/179 22891
/proc/meminfo: memFree=28664812/32873852 swapFree=6848/6848
[pid=22784] ppid=22782 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22784/stat : 22784 (npSolver-pbo-I.) S 22782 22784 18146 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274377408 9367552 275 33554432000 4194304 5064252 140736625750960 140736625749872 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22784/statm: 2287 275 233 213 0 72 0
[pid=22785] ppid=22784 vsize=31000 CPUtime=5.31 cores=1,3,5,7
/proc/22785/stat : 22785 (npSolver-pbo) S 22784 22784 18146 0 -1 4202496 6937 39016 0 0 46 76 382 27 20 0 1 0 274377408 31744000 5934 33554432000 4194304 5992684 140733925554064 140733925538968 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 11 0 0
/proc/22785/statm: 7750 5934 181 440 0 7306 0
[pid=22793] ppid=22785 vsize=91532 CPUtime=156.8 cores=1,3,5,7
/proc/22793/stat : 22793 (glucosInc) R 22785 22784 18146 0 -1 4202496 16465 0 0 0 15674 6 0 0 20 0 1 0 274377952 93728768 22160 33554432000 4194304 5654031 140735647053200 140735647041016 4232607 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22793/statm: 22883 22160 141 357 0 22523 0
Current children cumulated CPU time (s) 162.11
Current children cumulated vsize (KiB) 131680
[startup+222.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 22893
/proc/meminfo: memFree=28669476/32873852 swapFree=6848/6848
[pid=22784] ppid=22782 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22784/stat : 22784 (npSolver-pbo-I.) S 22782 22784 18146 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274377408 9367552 275 33554432000 4194304 5064252 140736625750960 140736625749872 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22784/statm: 2287 275 233 213 0 72 0
[pid=22785] ppid=22784 vsize=31000 CPUtime=5.31 cores=1,3,5,7
/proc/22785/stat : 22785 (npSolver-pbo) S 22784 22784 18146 0 -1 4202496 6937 39016 0 0 46 76 382 27 20 0 1 0 274377408 31744000 5934 33554432000 4194304 5992684 140733925554064 140733925538968 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 11 0 0
/proc/22785/statm: 7750 5934 181 440 0 7306 0
[pid=22793] ppid=22785 vsize=80040 CPUtime=216.79 cores=1,3,5,7
/proc/22793/stat : 22793 (glucosInc) R 22785 22784 18146 0 -1 4202496 18120 0 0 0 21671 8 0 0 20 0 1 0 274377952 81960960 19036 33554432000 4194304 5654031 140735647053200 140735647041016 4208595 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22793/statm: 20010 19036 141 357 0 19650 0
Current children cumulated CPU time (s) 222.1
Current children cumulated vsize (KiB) 120188
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22894
/proc/meminfo: memFree=28611256/32873852 swapFree=6848/6848
################
# More data... #
################
/proc/meminfo: memFree=28434376/32873852 swapFree=6848/6848
[pid=22784] ppid=22782 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22784/stat : 22784 (npSolver-pbo-I.) S 22782 22784 18146 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274377408 9367552 275 33554432000 4194304 5064252 140736625750960 140736625749872 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22784/statm: 2287 275 233 213 0 72 0
[pid=22785] ppid=22784 vsize=31000 CPUtime=5.31 cores=1,3,5,7
/proc/22785/stat : 22785 (npSolver-pbo) S 22784 22784 18146 0 -1 4202496 6937 39016 0 0 46 76 382 27 20 0 1 0 274377408 31744000 5934 33554432000 4194304 5992684 140733925554064 140733925538968 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 11 0 0
/proc/22785/statm: 7750 5934 181 440 0 7306 0
[pid=22793] ppid=22785 vsize=159708 CPUtime=1296.62 cores=1,3,5,7
/proc/22793/stat : 22793 (glucosInc) R 22785 22784 18146 0 -1 4202496 21412 0 0 0 129644 18 0 0 20 0 1 0 274377952 163540992 35718 33554432000 4194304 5654031 140735647053200 140735647041016 4232775 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22793/statm: 39927 35718 141 357 0 39567 0
Current children cumulated CPU time (s) 1301.93
Current children cumulated vsize (KiB) 199856
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22903
/proc/meminfo: memFree=28428464/32873852 swapFree=6848/6848
[pid=22784] ppid=22782 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22784/stat : 22784 (npSolver-pbo-I.) S 22782 22784 18146 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274377408 9367552 275 33554432000 4194304 5064252 140736625750960 140736625749872 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22784/statm: 2287 275 233 213 0 72 0
[pid=22785] ppid=22784 vsize=31000 CPUtime=5.31 cores=1,3,5,7
/proc/22785/stat : 22785 (npSolver-pbo) S 22784 22784 18146 0 -1 4202496 6937 39016 0 0 46 76 382 27 20 0 1 0 274377408 31744000 5934 33554432000 4194304 5992684 140733925554064 140733925538968 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 11 0 0
/proc/22785/statm: 7750 5934 181 440 0 7306 0
[pid=22793] ppid=22785 vsize=190528 CPUtime=1356.61 cores=1,3,5,7
/proc/22793/stat : 22793 (glucosInc) R 22785 22784 18146 0 -1 4202496 21886 0 0 0 135642 19 0 0 20 0 1 0 274377952 195100672 39254 33554432000 4194304 5654031 140735647053200 140735647051288 4232707 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22793/statm: 47632 39254 141 357 0 47272 0
Current children cumulated CPU time (s) 1361.92
Current children cumulated vsize (KiB) 230676
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22903
/proc/meminfo: memFree=28483948/32873852 swapFree=6848/6848
[pid=22784] ppid=22782 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22784/stat : 22784 (npSolver-pbo-I.) S 22782 22784 18146 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274377408 9367552 275 33554432000 4194304 5064252 140736625750960 140736625749872 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22784/statm: 2287 275 233 213 0 72 0
[pid=22785] ppid=22784 vsize=31000 CPUtime=5.31 cores=1,3,5,7
/proc/22785/stat : 22785 (npSolver-pbo) S 22784 22784 18146 0 -1 4202496 6937 39016 0 0 46 76 382 27 20 0 1 0 274377408 31744000 5934 33554432000 4194304 5992684 140733925554064 140733925538968 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 11 0 0
/proc/22785/statm: 7750 5934 181 440 0 7306 0
[pid=22793] ppid=22785 vsize=110388 CPUtime=1416.61 cores=1,3,5,7
/proc/22793/stat : 22793 (glucosInc) R 22785 22784 18146 0 -1 4202496 22008 0 0 0 141641 20 0 0 20 0 1 0 274377952 113037312 26894 33554432000 4194304 5654031 140735647053200 140735647041016 4232775 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22793/statm: 27597 26894 141 357 0 27237 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 150536
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 22907
/proc/meminfo: memFree=28464236/32873852 swapFree=6848/6848
[pid=22784] ppid=22782 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22784/stat : 22784 (npSolver-pbo-I.) S 22782 22784 18146 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274377408 9367552 275 33554432000 4194304 5064252 140736625750960 140736625749872 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22784/statm: 2287 275 233 213 0 72 0
[pid=22785] ppid=22784 vsize=31000 CPUtime=5.31 cores=1,3,5,7
/proc/22785/stat : 22785 (npSolver-pbo) S 22784 22784 18146 0 -1 4202496 6937 39016 0 0 46 76 382 27 20 0 1 0 274377408 31744000 5934 33554432000 4194304 5992684 140733925554064 140733925538968 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 11 0 0
/proc/22785/statm: 7750 5934 181 440 0 7306 0
[pid=22793] ppid=22785 vsize=159708 CPUtime=1476.59 cores=1,3,5,7
/proc/22793/stat : 22793 (glucosInc) R 22785 22784 18146 0 -1 4202496 22148 0 0 0 147639 20 0 0 20 0 1 0 274377952 163540992 37254 33554432000 4194304 5654031 140735647053200 140735647041016 4232453 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22793/statm: 39927 37254 141 357 0 39567 0
Current children cumulated CPU time (s) 1481.9
Current children cumulated vsize (KiB) 199856
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 22930
/proc/meminfo: memFree=28471940/32873852 swapFree=6848/6848
[pid=22784] ppid=22782 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22784/stat : 22784 (npSolver-pbo-I.) S 22782 22784 18146 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274377408 9367552 275 33554432000 4194304 5064252 140736625750960 140736625749872 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22784/statm: 2287 275 233 213 0 72 0
[pid=22785] ppid=22784 vsize=31000 CPUtime=5.31 cores=1,3,5,7
/proc/22785/stat : 22785 (npSolver-pbo) S 22784 22784 18146 0 -1 4202496 6937 39016 0 0 46 76 382 27 20 0 1 0 274377408 31744000 5934 33554432000 4194304 5992684 140733925554064 140733925538968 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 11 0 0
/proc/22785/statm: 7750 5934 181 440 0 7306 0
[pid=22793] ppid=22785 vsize=190528 CPUtime=1536.58 cores=1,3,5,7
/proc/22793/stat : 22793 (glucosInc) R 22785 22784 18146 0 -1 4202496 22738 0 0 0 153637 21 0 0 20 0 1 0 274377952 195100672 39881 33554432000 4194304 5654031 140735647053200 140735647041016 4215076 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22793/statm: 47632 39881 141 357 0 47272 0
Current children cumulated CPU time (s) 1541.89
Current children cumulated vsize (KiB) 230676
[startup+1602.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/180 22930
/proc/meminfo: memFree=28426340/32873852 swapFree=6848/6848
[pid=22784] ppid=22782 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22784/stat : 22784 (npSolver-pbo-I.) S 22782 22784 18146 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274377408 9367552 275 33554432000 4194304 5064252 140736625750960 140736625749872 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22784/statm: 2287 275 233 213 0 72 0
[pid=22785] ppid=22784 vsize=31000 CPUtime=5.31 cores=1,3,5,7
/proc/22785/stat : 22785 (npSolver-pbo) S 22784 22784 18146 0 -1 4202496 6937 39016 0 0 46 76 382 27 20 0 1 0 274377408 31744000 5934 33554432000 4194304 5992684 140733925554064 140733925538968 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 11 0 0
/proc/22785/statm: 7750 5934 181 440 0 7306 0
[pid=22793] ppid=22785 vsize=159708 CPUtime=1596.57 cores=1,3,5,7
/proc/22793/stat : 22793 (glucosInc) R 22785 22784 18146 0 -1 4202496 22875 0 0 0 159635 22 0 0 20 0 1 0 274377952 163540992 35206 33554432000 4194304 5654031 140735647053200 140735647041016 4232821 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22793/statm: 39927 35206 141 357 0 39567 0
Current children cumulated CPU time (s) 1601.88
Current children cumulated vsize (KiB) 199856
[startup+1662.3 s]
/proc/loadavg: 2.08 2.02 2.00 3/179 22930
/proc/meminfo: memFree=28430432/32873852 swapFree=6848/6848
[pid=22784] ppid=22782 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22784/stat : 22784 (npSolver-pbo-I.) S 22782 22784 18146 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274377408 9367552 275 33554432000 4194304 5064252 140736625750960 140736625749872 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22784/statm: 2287 275 233 213 0 72 0
[pid=22785] ppid=22784 vsize=31000 CPUtime=5.31 cores=1,3,5,7
/proc/22785/stat : 22785 (npSolver-pbo) S 22784 22784 18146 0 -1 4202496 6937 39016 0 0 46 76 382 27 20 0 1 0 274377408 31744000 5934 33554432000 4194304 5992684 140733925554064 140733925538968 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 11 0 0
/proc/22785/statm: 7750 5934 181 440 0 7306 0
[pid=22793] ppid=22785 vsize=159708 CPUtime=1656.56 cores=1,3,5,7
/proc/22793/stat : 22793 (glucosInc) R 22785 22784 18146 0 -1 4202496 22880 0 0 0 165634 22 0 0 20 0 1 0 274377952 163540992 37766 33554432000 4194304 5654031 140735647053200 140735647041016 4232775 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22793/statm: 39927 37766 141 357 0 39567 0
Current children cumulated CPU time (s) 1661.87
Current children cumulated vsize (KiB) 199856
[startup+1722.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/179 22930
/proc/meminfo: memFree=28490980/32873852 swapFree=6848/6848
[pid=22784] ppid=22782 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22784/stat : 22784 (npSolver-pbo-I.) S 22782 22784 18146 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274377408 9367552 275 33554432000 4194304 5064252 140736625750960 140736625749872 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22784/statm: 2287 275 233 213 0 72 0
[pid=22785] ppid=22784 vsize=31000 CPUtime=5.31 cores=1,3,5,7
/proc/22785/stat : 22785 (npSolver-pbo) S 22784 22784 18146 0 -1 4202496 6937 39016 0 0 46 76 382 27 20 0 1 0 274377408 31744000 5934 33554432000 4194304 5992684 140733925554064 140733925538968 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 11 0 0
/proc/22785/statm: 7750 5934 181 440 0 7306 0
[pid=22793] ppid=22785 vsize=110388 CPUtime=1716.56 cores=1,3,5,7
/proc/22793/stat : 22793 (glucosInc) R 22785 22784 18146 0 -1 4202496 23470 0 0 0 171632 24 0 0 20 0 1 0 274377952 113037312 26894 33554432000 4194304 5654031 140735647053200 140735647041016 4232477 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22793/statm: 27597 26894 141 357 0 27237 0
Current children cumulated CPU time (s) 1721.87
Current children cumulated vsize (KiB) 150536
[startup+1782.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 22931
/proc/meminfo: memFree=28461924/32873852 swapFree=6848/6848
[pid=22784] ppid=22782 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22784/stat : 22784 (npSolver-pbo-I.) S 22782 22784 18146 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274377408 9367552 275 33554432000 4194304 5064252 140736625750960 140736625749872 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22784/statm: 2287 275 233 213 0 72 0
[pid=22785] ppid=22784 vsize=31000 CPUtime=5.31 cores=1,3,5,7
/proc/22785/stat : 22785 (npSolver-pbo) S 22784 22784 18146 0 -1 4202496 6937 39016 0 0 46 76 382 27 20 0 1 0 274377408 31744000 5934 33554432000 4194304 5992684 140733925554064 140733925538968 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 11 0 0
/proc/22785/statm: 7750 5934 181 440 0 7306 0
[pid=22793] ppid=22785 vsize=159708 CPUtime=1776.55 cores=1,3,5,7
/proc/22793/stat : 22793 (glucosInc) R 22785 22784 18146 0 -1 4202496 23609 0 0 0 177630 25 0 0 20 0 1 0 274377952 163540992 36742 33554432000 4194304 5654031 140735647053200 140735647041016 4232916 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22793/statm: 39927 36742 141 357 0 39567 0
Current children cumulated CPU time (s) 1781.86
Current children cumulated vsize (KiB) 199856
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 22931
/proc/meminfo: memFree=28442192/32873852 swapFree=6848/6848
[pid=22784] ppid=22782 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22784/stat : 22784 (npSolver-pbo-I.) S 22782 22784 18146 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274377408 9367552 275 33554432000 4194304 5064252 140736625750960 140736625749872 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22784/statm: 2287 275 233 213 0 72 0
[pid=22785] ppid=22784 vsize=31000 CPUtime=5.31 cores=1,3,5,7
/proc/22785/stat : 22785 (npSolver-pbo) S 22784 22784 18146 0 -1 4202496 6937 39016 0 0 46 76 382 27 20 0 1 0 274377408 31744000 5934 33554432000 4194304 5992684 140733925554064 140733925538968 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 11 0 0
/proc/22785/statm: 7750 5934 181 440 0 7306 0
[pid=22793] ppid=22785 vsize=159708 CPUtime=1794.75 cores=1,3,5,7
/proc/22793/stat : 22793 (glucosInc) R 22785 22784 18146 0 -1 4202496 23611 0 0 0 179450 25 0 0 20 0 1 0 274377952 163540992 37766 33554432000 4194304 5654031 140735647053200 140735647041016 4232821 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22793/statm: 39927 37766 141 357 0 39567 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 199856
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.01 2.00 3/179 22931
/proc/meminfo: memFree=28442192/32873852 swapFree=6848/6848
[pid=22784] ppid=22782 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22784/stat : 22784 (npSolver-pbo-I.) S 22782 22784 18146 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274377408 9367552 275 33554432000 4194304 5064252 140736625750960 140736625749872 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22784/statm: 2287 275 233 213 0 72 0
[pid=22785] ppid=22784 vsize=31000 CPUtime=5.31 cores=1,3,5,7
/proc/22785/stat : 22785 (npSolver-pbo) S 22784 22784 18146 0 -1 4202496 6937 39016 0 0 46 76 382 27 20 0 1 0 274377408 31744000 5934 33554432000 4194304 5992684 140733925554064 140733925538968 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 11 0 0
/proc/22785/statm: 7750 5934 181 440 0 7306 0
[pid=22793] ppid=22785 vsize=159708 CPUtime=1794.75 cores=1,3,5,7
/proc/22793/stat : 22793 (glucosInc) R 22785 22784 18146 0 -1 4202496 23611 0 0 0 179450 25 0 0 20 0 1 0 274377952 163540992 37766 33554432000 4194304 5654031 140735647053200 140735647041016 4232821 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22793/statm: 39927 37766 141 357 0 39567 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 199856
Child status: 0
Real time (s): 1800.51
CPU time (s): 1800.1
CPU user time (s): 1798.8
CPU system time (s): 1.2958
CPU usage (%): 99.9769
Max. virtual memory (cumulated for all children) (KiB): 230676
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.8
system time used= 1.2958
maximum resident set size= 169764
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 69948
page faults= 0
swaps= 0
block input operations= 0
block output operations= 87352
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 309
involuntary context switches= 2247
runsolver used 3.60045 second user time and 8.5237 second system time
The end