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-3699485-1338049824/watcher-3699485-1338049824 -o /tmp/evaluation-result-3699485-1338049824/solver-3699485-1338049824 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-I.sh HOME/instance-3699485-1338049824.opb 800720970 HOME HOME
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.92 2.31 2.49 3/177 17922
/proc/meminfo: memFree=28060676/32873852 swapFree=6848/6848
[pid=17922] ppid=17920 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17922/stat : 17922 (npSolver-pbo-I.) S 17920 17922 14323 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 271108321 9367552 274 33554432000 4194304 5064252 140737316850496 140737316849408 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17922/statm: 2287 274 233 213 0 72 0
[startup+0.0584569 s]
/proc/loadavg: 1.92 2.31 2.49 3/177 17922
/proc/meminfo: memFree=28060676/32873852 swapFree=6848/6848
[pid=17922] ppid=17920 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17922/stat : 17922 (npSolver-pbo-I.) S 17920 17922 14323 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 271108321 9367552 274 33554432000 4194304 5064252 140737316850496 140737316849408 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17922/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100176 s]
/proc/loadavg: 1.92 2.31 2.49 3/177 17922
/proc/meminfo: memFree=28060676/32873852 swapFree=6848/6848
[pid=17922] ppid=17920 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17922/stat : 17922 (npSolver-pbo-I.) S 17920 17922 14323 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 271108321 9367552 274 33554432000 4194304 5064252 140737316850496 140737316849408 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17922/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300163 s]
/proc/loadavg: 1.92 2.31 2.49 3/177 17922
/proc/meminfo: memFree=28060676/32873852 swapFree=6848/6848
[pid=17922] ppid=17920 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17922/stat : 17922 (npSolver-pbo-I.) S 17920 17922 14323 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 271108321 9367552 274 33554432000 4194304 5064252 140737316850496 140737316849408 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17922/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700338 s]
/proc/loadavg: 1.92 2.31 2.49 3/177 17922
/proc/meminfo: memFree=28060676/32873852 swapFree=6848/6848
[pid=17922] ppid=17920 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17922/stat : 17922 (npSolver-pbo-I.) S 17920 17922 14323 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 271108321 9367552 274 33554432000 4194304 5064252 140737316850496 140737316849408 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17922/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50043 s]
/proc/loadavg: 1.92 2.31 2.49 3/180 17931
/proc/meminfo: memFree=28028968/32873852 swapFree=6848/6848
[pid=17922] ppid=17920 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17922/stat : 17922 (npSolver-pbo-I.) S 17920 17922 14323 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 271108321 9367552 274 33554432000 4194304 5064252 140737316850496 140737316849408 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17922/statm: 2287 274 233 213 0 72 0
[pid=17923] ppid=17922 vsize=8904 CPUtime=0.68 cores=0,2,4,6
/proc/17923/stat : 17923 (npSolver-pbo) S 17922 17922 14323 0 -1 4202496 4777 9945 0 0 11 9 44 4 20 0 1 0 271108321 9117696 1734 33554432000 4194304 5992684 140737108932464 140737108917368 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/17923/statm: 2226 1734 192 440 0 1782 0
[pid=17931] ppid=17923 vsize=25112 CPUtime=0.79 cores=0,2,4,6
/proc/17931/stat : 17931 (glucosInc) R 17923 17922 14323 0 -1 4202496 5697 0 0 0 78 1 0 0 20 0 1 0 271108391 25714688 5766 33554432000 4194304 5654031 140735031002048 140735030999816 4232755 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/17931/statm: 6278 5766 141 357 0 5918 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 43164
[startup+3.10032 s]
/proc/loadavg: 1.92 2.31 2.49 3/179 17931
/proc/meminfo: memFree=28022000/32873852 swapFree=6848/6848
[pid=17922] ppid=17920 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17922/stat : 17922 (npSolver-pbo-I.) S 17920 17922 14323 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 271108321 9367552 274 33554432000 4194304 5064252 140737316850496 140737316849408 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17922/statm: 2287 274 233 213 0 72 0
[pid=17923] ppid=17922 vsize=8904 CPUtime=0.68 cores=0,2,4,6
/proc/17923/stat : 17923 (npSolver-pbo) S 17922 17922 14323 0 -1 4202496 4777 9945 0 0 11 9 44 4 20 0 1 0 271108321 9117696 1734 33554432000 4194304 5992684 140737108932464 140737108917368 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/17923/statm: 2226 1734 192 440 0 1782 0
[pid=17931] ppid=17923 vsize=41000 CPUtime=2.38 cores=0,2,4,6
/proc/17931/stat : 17931 (glucosInc) R 17923 17922 14323 0 -1 4202496 6745 0 0 0 237 1 0 0 20 0 1 0 271108391 41984000 9141 33554432000 4194304 5654031 140735031002048 140735030989864 4216057 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/17931/statm: 10250 9141 141 357 0 9890 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 59052
[startup+6.30031 s]
/proc/loadavg: 1.93 2.30 2.49 3/179 17931
/proc/meminfo: memFree=28009784/32873852 swapFree=6848/6848
[pid=17922] ppid=17920 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17922/stat : 17922 (npSolver-pbo-I.) S 17920 17922 14323 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 271108321 9367552 274 33554432000 4194304 5064252 140737316850496 140737316849408 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17922/statm: 2287 274 233 213 0 72 0
[pid=17923] ppid=17922 vsize=8904 CPUtime=0.68 cores=0,2,4,6
/proc/17923/stat : 17923 (npSolver-pbo) S 17922 17922 14323 0 -1 4202496 4777 9945 0 0 11 9 44 4 20 0 1 0 271108321 9117696 1734 33554432000 4194304 5992684 140737108932464 140737108917368 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/17923/statm: 2226 1734 192 440 0 1782 0
[pid=17931] ppid=17923 vsize=29504 CPUtime=5.59 cores=0,2,4,6
/proc/17931/stat : 17931 (glucosInc) R 17923 17922 14323 0 -1 4202496 7003 0 0 0 557 2 0 0 20 0 1 0 271108391 30212096 6855 33554432000 4194304 5654031 140735031002048 140735030999976 4215360 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/17931/statm: 7376 6855 141 357 0 7016 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 47556
[startup+12.7003 s]
/proc/loadavg: 1.93 2.30 2.49 3/180 17932
/proc/meminfo: memFree=27969208/32873852 swapFree=6848/6848
[pid=17922] ppid=17920 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17922/stat : 17922 (npSolver-pbo-I.) S 17920 17922 14323 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 271108321 9367552 274 33554432000 4194304 5064252 140737316850496 140737316849408 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17922/statm: 2287 274 233 213 0 72 0
[pid=17923] ppid=17922 vsize=8904 CPUtime=0.68 cores=0,2,4,6
/proc/17923/stat : 17923 (npSolver-pbo) S 17922 17922 14323 0 -1 4202496 4777 9945 0 0 11 9 44 4 20 0 1 0 271108321 9117696 1734 33554432000 4194304 5992684 140737108932464 140737108917368 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/17923/statm: 2226 1734 192 440 0 1782 0
[pid=17931] ppid=17923 vsize=48180 CPUtime=11.98 cores=0,2,4,6
/proc/17931/stat : 17931 (glucosInc) R 17923 17922 14323 0 -1 4202496 7957 0 0 0 1196 2 0 0 20 0 1 0 271108391 49336320 10842 33554432000 4194304 5654031 140735031002048 140735030989864 4232518 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/17931/statm: 12045 10842 142 357 0 11685 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 66232
[startup+25.5003 s]
/proc/loadavg: 1.95 2.28 2.48 3/180 17932
/proc/meminfo: memFree=27954060/32873852 swapFree=6848/6848
[pid=17922] ppid=17920 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17922/stat : 17922 (npSolver-pbo-I.) S 17920 17922 14323 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 271108321 9367552 274 33554432000 4194304 5064252 140737316850496 140737316849408 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17922/statm: 2287 274 233 213 0 72 0
[pid=17923] ppid=17922 vsize=8904 CPUtime=0.68 cores=0,2,4,6
/proc/17923/stat : 17923 (npSolver-pbo) S 17922 17922 14323 0 -1 4202496 4777 9945 0 0 11 9 44 4 20 0 1 0 271108321 9117696 1734 33554432000 4194304 5992684 140737108932464 140737108917368 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/17923/statm: 2226 1734 192 440 0 1782 0
[pid=17931] ppid=17923 vsize=48180 CPUtime=24.78 cores=0,2,4,6
/proc/17931/stat : 17931 (glucosInc) R 17923 17922 14323 0 -1 4202496 8065 0 0 0 2476 2 0 0 20 0 1 0 271108391 49336320 10950 33554432000 4194304 5654031 140735031002048 140735030989864 4233457 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/17931/statm: 12045 10950 142 357 0 11685 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 66232
[startup+51.1004 s]
/proc/loadavg: 1.96 2.26 2.46 3/179 17932
/proc/meminfo: memFree=27910808/32873852 swapFree=6848/6848
[pid=17922] ppid=17920 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17922/stat : 17922 (npSolver-pbo-I.) S 17920 17922 14323 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 271108321 9367552 274 33554432000 4194304 5064252 140737316850496 140737316849408 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17922/statm: 2287 274 233 213 0 72 0
[pid=17923] ppid=17922 vsize=8904 CPUtime=0.68 cores=0,2,4,6
/proc/17923/stat : 17923 (npSolver-pbo) S 17922 17922 14323 0 -1 4202496 4777 9945 0 0 11 9 44 4 20 0 1 0 271108321 9117696 1734 33554432000 4194304 5992684 140737108932464 140737108917368 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/17923/statm: 2226 1734 192 440 0 1782 0
[pid=17931] ppid=17923 vsize=132292 CPUtime=50.36 cores=0,2,4,6
/proc/17931/stat : 17931 (glucosInc) R 17923 17922 14323 0 -1 4202496 9716 0 0 0 5032 4 0 0 20 0 1 0 271108391 135467008 23995 33554432000 4194304 5654031 140735031002048 140735030999976 4215112 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/17931/statm: 33073 23995 142 357 0 32713 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 150344
[startup+102.3 s]
/proc/loadavg: 1.98 2.22 2.44 3/179 17932
/proc/meminfo: memFree=27927808/32873852 swapFree=6848/6848
[pid=17922] ppid=17920 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17922/stat : 17922 (npSolver-pbo-I.) S 17920 17922 14323 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 271108321 9367552 274 33554432000 4194304 5064252 140737316850496 140737316849408 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17922/statm: 2287 274 233 213 0 72 0
[pid=17923] ppid=17922 vsize=8904 CPUtime=0.68 cores=0,2,4,6
/proc/17923/stat : 17923 (npSolver-pbo) S 17922 17922 14323 0 -1 4202496 4777 9945 0 0 11 9 44 4 20 0 1 0 271108321 9117696 1734 33554432000 4194304 5992684 140737108932464 140737108917368 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/17923/statm: 2226 1734 192 440 0 1782 0
[pid=17931] ppid=17923 vsize=82972 CPUtime=101.55 cores=0,2,4,6
/proc/17931/stat : 17931 (glucosInc) R 17923 17922 14323 0 -1 4202496 10217 0 0 0 10150 5 0 0 20 0 1 0 271108391 84963328 15854 33554432000 4194304 5654031 140735031002048 140735030989864 4215076 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/17931/statm: 20743 15854 142 357 0 20383 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 101024
[startup+162.3 s]
/proc/loadavg: 1.99 2.17 2.41 3/179 17932
/proc/meminfo: memFree=27899616/32873852 swapFree=6848/6848
[pid=17922] ppid=17920 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17922/stat : 17922 (npSolver-pbo-I.) S 17920 17922 14323 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 271108321 9367552 274 33554432000 4194304 5064252 140737316850496 140737316849408 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17922/statm: 2287 274 233 213 0 72 0
[pid=17923] ppid=17922 vsize=8904 CPUtime=0.68 cores=0,2,4,6
/proc/17923/stat : 17923 (npSolver-pbo) S 17922 17922 14323 0 -1 4202496 4777 9945 0 0 11 9 44 4 20 0 1 0 271108321 9117696 1734 33554432000 4194304 5992684 140737108932464 140737108917368 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/17923/statm: 2226 1734 192 440 0 1782 0
[pid=17931] ppid=17923 vsize=132292 CPUtime=161.54 cores=0,2,4,6
/proc/17931/stat : 17931 (glucosInc) R 17923 17922 14323 0 -1 4202496 12785 0 0 0 16146 8 0 0 20 0 1 0 271108391 135467008 24524 33554432000 4194304 5654031 140735031002048 140735030999976 4232821 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/17931/statm: 33073 24524 142 357 0 32713 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 150344
[startup+222.3 s]
/proc/loadavg: 1.99 2.14 2.38 3/179 17932
/proc/meminfo: memFree=27911272/32873852 swapFree=6848/6848
[pid=17922] ppid=17920 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17922/stat : 17922 (npSolver-pbo-I.) S 17920 17922 14323 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 271108321 9367552 274 33554432000 4194304 5064252 140737316850496 140737316849408 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17922/statm: 2287 274 233 213 0 72 0
[pid=17923] ppid=17922 vsize=8904 CPUtime=0.68 cores=0,2,4,6
/proc/17923/stat : 17923 (npSolver-pbo) S 17922 17922 14323 0 -1 4202496 4777 9945 0 0 11 9 44 4 20 0 1 0 271108321 9117696 1734 33554432000 4194304 5992684 140737108932464 140737108917368 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/17923/statm: 2226 1734 192 440 0 1782 0
[pid=17931] ppid=17923 vsize=82972 CPUtime=221.54 cores=0,2,4,6
/proc/17931/stat : 17931 (glucosInc) R 17923 17922 14323 0 -1 4202496 15547 0 0 0 22141 13 0 0 20 0 1 0 271108391 84963328 15854 33554432000 4194304 5654031 140735031002048 140735030989864 4215009 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/17931/statm: 20743 15854 142 357 0 20383 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 101024
[startup+282.3 s]
################
# More data... #
################
/proc/loadavg: 2.00 2.00 2.09 3/179 17942
/proc/meminfo: memFree=27778092/32873852 swapFree=6848/6848
[pid=17922] ppid=17920 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17922/stat : 17922 (npSolver-pbo-I.) S 17920 17922 14323 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 271108321 9367552 274 33554432000 4194304 5064252 140737316850496 140737316849408 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17922/statm: 2287 274 233 213 0 72 0
[pid=17923] ppid=17922 vsize=8904 CPUtime=0.68 cores=0,2,4,6
/proc/17923/stat : 17923 (npSolver-pbo) S 17922 17922 14323 0 -1 4202496 4777 9945 0 0 11 9 44 4 20 0 1 0 271108321 9117696 1734 33554432000 4194304 5992684 140737108932464 140737108917368 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/17923/statm: 2226 1734 192 440 0 1782 0
[pid=17931] ppid=17923 vsize=134228 CPUtime=1361.34 cores=0,2,4,6
/proc/17931/stat : 17931 (glucosInc) R 17923 17922 14323 0 -1 4202496 43790 0 0 0 136070 64 0 0 20 0 1 0 271108391 137449472 30913 33554432000 4194304 5654031 140735031002048 140735030989864 4232973 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/17931/statm: 33557 30913 142 357 0 33197 0
Current children cumulated CPU time (s) 1362.02
Current children cumulated vsize (KiB) 152280
[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.08 3/179 17942
/proc/meminfo: memFree=27916084/32873852 swapFree=6848/6848
[pid=17922] ppid=17920 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17922/stat : 17922 (npSolver-pbo-I.) S 17920 17922 14323 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 271108321 9367552 274 33554432000 4194304 5064252 140737316850496 140737316849408 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17922/statm: 2287 274 233 213 0 72 0
[pid=17923] ppid=17922 vsize=8904 CPUtime=0.68 cores=0,2,4,6
/proc/17923/stat : 17923 (npSolver-pbo) S 17922 17922 14323 0 -1 4202496 4777 9945 0 0 11 9 44 4 20 0 1 0 271108321 9117696 1734 33554432000 4194304 5992684 140737108932464 140737108917368 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/17923/statm: 2226 1734 192 440 0 1782 0
[pid=17931] ppid=17923 vsize=85216 CPUtime=1421.33 cores=0,2,4,6
/proc/17931/stat : 17931 (glucosInc) R 17923 17922 14323 0 -1 4202496 44708 0 0 0 142067 66 0 0 20 0 1 0 271108391 87261184 20708 33554432000 4194304 5654031 140735031002048 140735030989864 4216312 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/17931/statm: 21304 20708 142 357 0 20944 0
Current children cumulated CPU time (s) 1422.01
Current children cumulated vsize (KiB) 103268
[startup+1482.3 s]
/proc/loadavg: 2.07 2.02 2.08 3/179 17991
/proc/meminfo: memFree=27963184/32873852 swapFree=6848/6848
[pid=17922] ppid=17920 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17922/stat : 17922 (npSolver-pbo-I.) S 17920 17922 14323 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 271108321 9367552 274 33554432000 4194304 5064252 140737316850496 140737316849408 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17922/statm: 2287 274 233 213 0 72 0
[pid=17923] ppid=17922 vsize=8904 CPUtime=0.68 cores=0,2,4,6
/proc/17923/stat : 17923 (npSolver-pbo) S 17922 17922 14323 0 -1 4202496 4777 9945 0 0 11 9 44 4 20 0 1 0 271108321 9117696 1734 33554432000 4194304 5992684 140737108932464 140737108917368 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/17923/statm: 2226 1734 192 440 0 1782 0
[pid=17931] ppid=17923 vsize=215444 CPUtime=1481.32 cores=0,2,4,6
/proc/17931/stat : 17931 (glucosInc) R 17923 17922 14323 0 -1 4202496 46214 0 0 0 148063 69 0 0 20 0 1 0 271108391 220614656 46224 33554432000 4194304 5654031 140735031002048 140735030989864 4232821 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/17931/statm: 53861 46224 142 357 0 53501 0
Current children cumulated CPU time (s) 1482
Current children cumulated vsize (KiB) 233496
[startup+1542.3 s]
/proc/loadavg: 2.02 2.01 2.08 3/179 17992
/proc/meminfo: memFree=27962360/32873852 swapFree=6848/6848
[pid=17922] ppid=17920 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17922/stat : 17922 (npSolver-pbo-I.) S 17920 17922 14323 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 271108321 9367552 274 33554432000 4194304 5064252 140737316850496 140737316849408 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17922/statm: 2287 274 233 213 0 72 0
[pid=17923] ppid=17922 vsize=8904 CPUtime=0.68 cores=0,2,4,6
/proc/17923/stat : 17923 (npSolver-pbo) S 17922 17922 14323 0 -1 4202496 4777 9945 0 0 11 9 44 4 20 0 1 0 271108321 9117696 1734 33554432000 4194304 5992684 140737108932464 140737108917368 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/17923/statm: 2226 1734 192 440 0 1782 0
[pid=17931] ppid=17923 vsize=166276 CPUtime=1541.3 cores=0,2,4,6
/proc/17931/stat : 17931 (glucosInc) R 17923 17922 14323 0 -1 4202496 47541 0 0 0 154059 71 0 0 20 0 1 0 271108391 170266624 41014 33554432000 4194304 5654031 140735031002048 140735030989864 4216577 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/17931/statm: 41569 41014 142 357 0 41209 0
Current children cumulated CPU time (s) 1541.98
Current children cumulated vsize (KiB) 184328
[startup+1602.3 s]
/proc/loadavg: 2.01 2.00 2.07 3/179 17992
/proc/meminfo: memFree=27972636/32873852 swapFree=6848/6848
[pid=17922] ppid=17920 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17922/stat : 17922 (npSolver-pbo-I.) S 17920 17922 14323 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 271108321 9367552 274 33554432000 4194304 5064252 140737316850496 140737316849408 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17922/statm: 2287 274 233 213 0 72 0
[pid=17923] ppid=17922 vsize=8904 CPUtime=0.68 cores=0,2,4,6
/proc/17923/stat : 17923 (npSolver-pbo) S 17922 17922 14323 0 -1 4202496 4777 9945 0 0 11 9 44 4 20 0 1 0 271108321 9117696 1734 33554432000 4194304 5992684 140737108932464 140737108917368 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/17923/statm: 2226 1734 192 440 0 1782 0
[pid=17931] ppid=17923 vsize=166852 CPUtime=1601.29 cores=0,2,4,6
/proc/17931/stat : 17931 (glucosInc) R 17923 17922 14323 0 -1 4202496 49110 0 0 0 160056 73 0 0 20 0 1 0 271108391 170856448 35545 33554432000 4194304 5654031 140735031002048 140735030989864 4232775 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/17931/statm: 41713 35545 142 357 0 41353 0
Current children cumulated CPU time (s) 1601.97
Current children cumulated vsize (KiB) 184904
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.06 3/179 17992
/proc/meminfo: memFree=27992480/32873852 swapFree=6848/6848
[pid=17922] ppid=17920 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17922/stat : 17922 (npSolver-pbo-I.) S 17920 17922 14323 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 271108321 9367552 274 33554432000 4194304 5064252 140737316850496 140737316849408 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17922/statm: 2287 274 233 213 0 72 0
[pid=17923] ppid=17922 vsize=8904 CPUtime=0.68 cores=0,2,4,6
/proc/17923/stat : 17923 (npSolver-pbo) S 17922 17922 14323 0 -1 4202496 4777 9945 0 0 11 9 44 4 20 0 1 0 271108321 9117696 1734 33554432000 4194304 5992684 140737108932464 140737108917368 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/17923/statm: 2226 1734 192 440 0 1782 0
[pid=17931] ppid=17923 vsize=136764 CPUtime=1661.28 cores=0,2,4,6
/proc/17931/stat : 17931 (glucosInc) R 17923 17922 14323 0 -1 4202496 50143 0 0 0 166053 75 0 0 20 0 1 0 271108391 140046336 30043 33554432000 4194304 5654031 140735031002048 140735030989864 4232775 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/17931/statm: 34191 30043 142 357 0 33831 0
Current children cumulated CPU time (s) 1661.96
Current children cumulated vsize (KiB) 154816
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.06 3/179 17992
/proc/meminfo: memFree=27898152/32873852 swapFree=6848/6848
[pid=17922] ppid=17920 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17922/stat : 17922 (npSolver-pbo-I.) S 17920 17922 14323 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 271108321 9367552 274 33554432000 4194304 5064252 140737316850496 140737316849408 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17922/statm: 2287 274 233 213 0 72 0
[pid=17923] ppid=17922 vsize=8904 CPUtime=0.68 cores=0,2,4,6
/proc/17923/stat : 17923 (npSolver-pbo) S 17922 17922 14323 0 -1 4202496 4777 9945 0 0 11 9 44 4 20 0 1 0 271108321 9117696 1734 33554432000 4194304 5992684 140737108932464 140737108917368 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/17923/statm: 2226 1734 192 440 0 1782 0
[pid=17931] ppid=17923 vsize=217672 CPUtime=1721.27 cores=0,2,4,6
/proc/17931/stat : 17931 (glucosInc) R 17923 17922 14323 0 -1 4202496 51062 0 0 0 172049 78 0 0 20 0 1 0 271108391 222896128 48331 33554432000 4194304 5654031 140735031002048 140735030989864 4233194 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/17931/statm: 54418 48331 142 357 0 54058 0
Current children cumulated CPU time (s) 1721.95
Current children cumulated vsize (KiB) 235724
[startup+1782.31 s]
/proc/loadavg: 2.00 2.00 2.05 3/180 17995
/proc/meminfo: memFree=27891864/32873852 swapFree=6848/6848
[pid=17922] ppid=17920 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17922/stat : 17922 (npSolver-pbo-I.) S 17920 17922 14323 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 271108321 9367552 274 33554432000 4194304 5064252 140737316850496 140737316849408 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17922/statm: 2287 274 233 213 0 72 0
[pid=17923] ppid=17922 vsize=8904 CPUtime=0.68 cores=0,2,4,6
/proc/17923/stat : 17923 (npSolver-pbo) S 17922 17922 14323 0 -1 4202496 4777 9945 0 0 11 9 44 4 20 0 1 0 271108321 9117696 1734 33554432000 4194304 5992684 140737108932464 140737108917368 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/17923/statm: 2226 1734 192 440 0 1782 0
[pid=17931] ppid=17923 vsize=197996 CPUtime=1781.26 cores=0,2,4,6
/proc/17931/stat : 17931 (glucosInc) R 17923 17922 14323 0 -1 4202496 52604 0 0 0 178045 81 0 0 20 0 1 0 271108391 202747904 48961 33554432000 4194304 5654031 140735031002048 140735030989864 4232821 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/17931/statm: 49499 48961 142 357 0 49139 0
Current children cumulated CPU time (s) 1781.94
Current children cumulated vsize (KiB) 216048
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.05 3/180 17995
/proc/meminfo: memFree=27870328/32873852 swapFree=6848/6848
[pid=17922] ppid=17920 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17922/stat : 17922 (npSolver-pbo-I.) S 17920 17922 14323 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 271108321 9367552 274 33554432000 4194304 5064252 140737316850496 140737316849408 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17922/statm: 2287 274 233 213 0 72 0
[pid=17923] ppid=17922 vsize=8904 CPUtime=0.68 cores=0,2,4,6
/proc/17923/stat : 17923 (npSolver-pbo) S 17922 17922 14323 0 -1 4202496 4777 9945 0 0 11 9 44 4 20 0 1 0 271108321 9117696 1734 33554432000 4194304 5992684 140737108932464 140737108917368 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/17923/statm: 2226 1734 192 440 0 1782 0
[pid=17931] ppid=17923 vsize=248084 CPUtime=1799.35 cores=0,2,4,6
/proc/17931/stat : 17931 (glucosInc) R 17923 17922 14323 0 -1 4202496 52916 0 0 0 179854 81 0 0 20 0 1 0 271108391 254038016 53872 33554432000 4194304 5654031 140735031002048 140735030989864 4233144 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/17931/statm: 62021 53872 142 357 0 61661 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 266136
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.05 3/180 17995
/proc/meminfo: memFree=27870328/32873852 swapFree=6848/6848
[pid=17922] ppid=17920 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17922/stat : 17922 (npSolver-pbo-I.) S 17920 17922 14323 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 271108321 9367552 274 33554432000 4194304 5064252 140737316850496 140737316849408 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17922/statm: 2287 274 233 213 0 72 0
[pid=17923] ppid=17922 vsize=8904 CPUtime=0.68 cores=0,2,4,6
/proc/17923/stat : 17923 (npSolver-pbo) S 17922 17922 14323 0 -1 4202496 4777 9945 0 0 11 9 44 4 20 0 1 0 271108321 9117696 1734 33554432000 4194304 5992684 140737108932464 140737108917368 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/17923/statm: 2226 1734 192 440 0 1782 0
[pid=17931] ppid=17923 vsize=248084 CPUtime=1799.35 cores=0,2,4,6
/proc/17931/stat : 17931 (glucosInc) R 17923 17922 14323 0 -1 4202496 52916 0 0 0 179854 81 0 0 20 0 1 0 271108391 254038016 53872 33554432000 4194304 5654031 140735031002048 140735030989864 4233144 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/17931/statm: 62021 53872 142 357 0 61661 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 266136
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 17922 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=552915
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=149977
# CPU time returned by wait4() is 0.702892
# while last known CPU time is 1800.03
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800.41
CPU time (s): 1800.03
CPU user time (s): 1799.09
CPU system time (s): 0.94
CPU usage (%): 99.9788
Max. virtual memory (cumulated for all children) (KiB): 266136
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.552915
system time used= 0.149977
maximum resident set size= 22364
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15095
page faults= 0
swaps= 0
block input operations= 0
block output operations= 17864
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 63
involuntary context switches= 17
runsolver used 4.88626 second user time and 16.3485 second system time
The end