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-3748500-1339177201/watcher-3748500-1339177201 -o /tmp/evaluation-result-3748500-1339177201/solver-3748500-1339177201 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-I.sh HOME/instance-3748500-1339177201.opb 1883735707 HOME HOME
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.08 2.02 2.01 3/178 27095
/proc/meminfo: memFree=24438944/32873844 swapFree=7628/7628
[pid=27095] ppid=27093 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27095/stat : 27095 (npSolver-pbo-I.) S 27093 27095 26543 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383844470 9367552 274 33554432000 4194304 5064252 140736599379072 140736599377984 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27095/statm: 2287 274 233 213 0 72 0
[startup+0.0787219 s]
/proc/loadavg: 2.08 2.02 2.01 3/178 27095
/proc/meminfo: memFree=24438944/32873844 swapFree=7628/7628
[pid=27095] ppid=27093 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27095/stat : 27095 (npSolver-pbo-I.) S 27093 27095 26543 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383844470 9367552 274 33554432000 4194304 5064252 140736599379072 140736599377984 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27095/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100311 s]
/proc/loadavg: 2.08 2.02 2.01 3/178 27095
/proc/meminfo: memFree=24438944/32873844 swapFree=7628/7628
[pid=27095] ppid=27093 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27095/stat : 27095 (npSolver-pbo-I.) S 27093 27095 26543 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383844470 9367552 274 33554432000 4194304 5064252 140736599379072 140736599377984 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27095/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300262 s]
/proc/loadavg: 2.08 2.02 2.01 3/178 27095
/proc/meminfo: memFree=24438944/32873844 swapFree=7628/7628
[pid=27095] ppid=27093 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27095/stat : 27095 (npSolver-pbo-I.) S 27093 27095 26543 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383844470 9367552 274 33554432000 4194304 5064252 140736599379072 140736599377984 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27095/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.70029 s]
/proc/loadavg: 2.08 2.02 2.01 3/178 27095
/proc/meminfo: memFree=24438944/32873844 swapFree=7628/7628
[pid=27095] ppid=27093 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27095/stat : 27095 (npSolver-pbo-I.) S 27093 27095 26543 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383844470 9367552 274 33554432000 4194304 5064252 140736599379072 140736599377984 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27095/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50042 s]
/proc/loadavg: 2.08 2.02 2.01 3/183 27102
/proc/meminfo: memFree=24266308/32873844 swapFree=7628/7628
[pid=27095] ppid=27093 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27095/stat : 27095 (npSolver-pbo-I.) S 27093 27095 26543 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383844470 9367552 274 33554432000 4194304 5064252 140736599379072 140736599377984 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27095/statm: 2287 274 233 213 0 72 0
[pid=27096] ppid=27095 vsize=37596 CPUtime=0.5 cores=0,2,4,6
/proc/27096/stat : 27096 (npSolver-pbo) S 27095 27095 26543 0 -1 4202496 9038 0 0 0 46 4 0 0 20 0 1 0 383844470 38498304 7935 33554432000 4194304 6004724 140736141104160 140736141098624 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/27096/statm: 9399 7935 164 442 0 8953 0
[pid=27101] ppid=27096 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27101/stat : 27101 (cp2_pre.sh) S 27096 27095 26543 0 -1 4202496 607 0 0 0 0 0 0 0 20 0 1 0 383844521 9367552 276 33554432000 4194304 5064252 140734925934656 140734925933360 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27101/statm: 2287 276 234 213 0 72 0
[pid=27102] ppid=27101 vsize=163544 CPUtime=0.98 cores=0,2,4,6
/proc/27102/stat : 27102 (coprocessor) R 27101 27095 26543 0 -1 4202496 30395 0 0 0 92 6 0 0 20 0 1 0 383844521 167469056 39618 33554432000 4194304 6586260 140736416854256 140736416850520 5432706 0 0 4096 8404994 0 0 0 17 4 0 0 0 0 0
/proc/27102/statm: 40886 39618 182 584 0 40298 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 219436
[startup+3.1004 s]
/proc/loadavg: 2.08 2.02 2.01 3/182 27142
/proc/meminfo: memFree=24468452/32873844 swapFree=7628/7628
[pid=27095] ppid=27093 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27095/stat : 27095 (npSolver-pbo-I.) S 27093 27095 26543 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383844470 9367552 274 33554432000 4194304 5064252 140736599379072 140736599377984 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27095/statm: 2287 274 233 213 0 72 0
[pid=27096] ppid=27095 vsize=37596 CPUtime=0.5 cores=0,2,4,6
/proc/27096/stat : 27096 (npSolver-pbo) S 27095 27095 26543 0 -1 4202496 9038 0 0 0 46 4 0 0 20 0 1 0 383844470 38498304 7935 33554432000 4194304 6004724 140736141104160 140736141098624 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/27096/statm: 9399 7935 164 442 0 8953 0
[pid=27101] ppid=27096 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27101/stat : 27101 (cp2_pre.sh) S 27096 27095 26543 0 -1 4202496 607 0 0 0 0 0 0 0 20 0 1 0 383844521 9367552 276 33554432000 4194304 5064252 140734925934656 140734925933360 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27101/statm: 2287 276 234 213 0 72 0
[pid=27102] ppid=27101 vsize=188960 CPUtime=2.57 cores=0,2,4,6
/proc/27102/stat : 27102 (coprocessor) R 27101 27095 26543 0 -1 4202496 33912 0 0 0 251 6 0 0 20 0 1 0 383844521 193495040 46201 33554432000 4194304 6586260 140736416854256 140736416849624 4683293 0 0 4096 8404994 0 0 0 17 4 0 0 0 0 0
/proc/27102/statm: 47240 46201 192 584 0 46652 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 244852
[startup+6.30035 s]
/proc/loadavg: 2.07 2.02 2.00 3/183 27146
/proc/meminfo: memFree=24099224/32873844 swapFree=7628/7628
[pid=27095] ppid=27093 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27095/stat : 27095 (npSolver-pbo-I.) S 27093 27095 26543 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383844470 9367552 274 33554432000 4194304 5064252 140736599379072 140736599377984 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27095/statm: 2287 274 233 213 0 72 0
[pid=27096] ppid=27095 vsize=37596 CPUtime=5.31 cores=0,2,4,6
/proc/27096/stat : 27096 (npSolver-pbo) S 27095 27095 26543 0 -1 4202496 10828 36095 0 0 67 75 373 16 20 0 1 0 383844470 38498304 7944 33554432000 4194304 6004724 140736141104160 140736141098208 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/27096/statm: 9399 7944 173 442 0 8953 0
[pid=27146] ppid=27096 vsize=84512 CPUtime=0.7 cores=0,2,4,6
/proc/27146/stat : 27146 (glucosInc) S 27096 27095 26543 0 -1 4202496 17541 0 0 0 67 3 0 0 20 0 1 0 383844911 86540288 19428 33554432000 4194304 5654031 140734112479280 140734112477592 4976656 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/27146/statm: 21128 19428 146 357 0 20768 0
Current children cumulated CPU time (s) 6.01
Current children cumulated vsize (KiB) 131256
[startup+12.7003 s]
/proc/loadavg: 2.07 2.02 2.00 3/182 27151
/proc/meminfo: memFree=24028276/32873844 swapFree=7628/7628
[pid=27095] ppid=27093 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27095/stat : 27095 (npSolver-pbo-I.) S 27093 27095 26543 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383844470 9367552 274 33554432000 4194304 5064252 140736599379072 140736599377984 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27095/statm: 2287 274 233 213 0 72 0
[pid=27096] ppid=27095 vsize=51352 CPUtime=7.34 cores=0,2,4,6
/proc/27096/stat : 27096 (npSolver-pbo) S 27095 27095 26543 0 -1 4202496 17427 54672 0 0 179 91 440 24 20 0 1 0 383844470 52584448 11393 33554432000 4194304 6004724 140736141104160 140736141089080 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/27096/statm: 12838 11393 183 442 0 12392 0
[pid=27149] ppid=27096 vsize=301804 CPUtime=5 cores=0,2,4,6
/proc/27149/stat : 27149 (glucosInc) R 27096 27095 26543 0 -1 4202496 50204 0 0 0 487 13 0 0 20 0 1 0 383845238 309047296 63800 33554432000 4194304 5654031 140734299709424 140734299707208 4232453 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/27149/statm: 75451 63800 140 357 0 75091 0
Current children cumulated CPU time (s) 12.34
Current children cumulated vsize (KiB) 362304
[startup+25.5004 s]
/proc/loadavg: 2.05 2.01 2.00 3/182 27154
/proc/meminfo: memFree=23613884/32873844 swapFree=7628/7628
[pid=27095] ppid=27093 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27095/stat : 27095 (npSolver-pbo-I.) S 27093 27095 26543 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383844470 9367552 274 33554432000 4194304 5064252 140736599379072 140736599377984 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27095/statm: 2287 274 233 213 0 72 0
[pid=27096] ppid=27095 vsize=51352 CPUtime=7.34 cores=0,2,4,6
/proc/27096/stat : 27096 (npSolver-pbo) S 27095 27095 26543 0 -1 4202496 17427 54672 0 0 179 91 440 24 20 0 1 0 383844470 52584448 11393 33554432000 4194304 6004724 140736141104160 140736141089080 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/27096/statm: 12838 11393 183 442 0 12392 0
[pid=27149] ppid=27096 vsize=304788 CPUtime=17.79 cores=0,2,4,6
/proc/27149/stat : 27149 (glucosInc) R 27096 27095 26543 0 -1 4202496 50880 0 0 0 1766 13 0 0 20 0 1 0 383845238 312102912 65493 33554432000 4194304 5654031 140734299709424 140734299697240 4232495 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/27149/statm: 76197 65493 141 357 0 75837 0
Current children cumulated CPU time (s) 25.13
Current children cumulated vsize (KiB) 365288
[startup+51.1004 s]
/proc/loadavg: 2.03 2.01 2.00 3/182 27154
/proc/meminfo: memFree=23579880/32873844 swapFree=7628/7628
[pid=27095] ppid=27093 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27095/stat : 27095 (npSolver-pbo-I.) S 27093 27095 26543 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383844470 9367552 274 33554432000 4194304 5064252 140736599379072 140736599377984 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27095/statm: 2287 274 233 213 0 72 0
[pid=27096] ppid=27095 vsize=51352 CPUtime=7.34 cores=0,2,4,6
/proc/27096/stat : 27096 (npSolver-pbo) S 27095 27095 26543 0 -1 4202496 17427 54672 0 0 179 91 440 24 20 0 1 0 383844470 52584448 11393 33554432000 4194304 6004724 140736141104160 140736141089080 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/27096/statm: 12838 11393 183 442 0 12392 0
[pid=27149] ppid=27096 vsize=305052 CPUtime=43.39 cores=0,2,4,6
/proc/27149/stat : 27149 (glucosInc) R 27096 27095 26543 0 -1 4202496 51609 0 0 0 4323 16 0 0 20 0 1 0 383845238 312373248 70881 33554432000 4194304 5654031 140734299709424 140734299707208 4232821 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/27149/statm: 76263 70881 141 357 0 75903 0
Current children cumulated CPU time (s) 50.73
Current children cumulated vsize (KiB) 365552
[startup+102.307 s]
/proc/loadavg: 2.01 2.01 2.00 3/181 27155
/proc/meminfo: memFree=23549756/32873844 swapFree=7628/7628
[pid=27095] ppid=27093 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27095/stat : 27095 (npSolver-pbo-I.) S 27093 27095 26543 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383844470 9367552 274 33554432000 4194304 5064252 140736599379072 140736599377984 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27095/statm: 2287 274 233 213 0 72 0
[pid=27096] ppid=27095 vsize=51352 CPUtime=7.34 cores=0,2,4,6
/proc/27096/stat : 27096 (npSolver-pbo) S 27095 27095 26543 0 -1 4202496 17427 54672 0 0 179 91 440 24 20 0 1 0 383844470 52584448 11393 33554432000 4194304 6004724 140736141104160 140736141089080 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/27096/statm: 12838 11393 183 442 0 12392 0
[pid=27149] ppid=27096 vsize=356480 CPUtime=94.58 cores=0,2,4,6
/proc/27149/stat : 27149 (glucosInc) R 27096 27095 26543 0 -1 4202496 55199 0 0 0 9435 23 0 0 20 0 1 0 383845238 365035520 76563 33554432000 4194304 5654031 140734299709424 140734299707512 4215307 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/27149/statm: 89120 76563 141 357 0 88760 0
Current children cumulated CPU time (s) 101.92
Current children cumulated vsize (KiB) 416980
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 27155
/proc/meminfo: memFree=23515000/32873844 swapFree=7628/7628
[pid=27095] ppid=27093 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27095/stat : 27095 (npSolver-pbo-I.) S 27093 27095 26543 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383844470 9367552 274 33554432000 4194304 5064252 140736599379072 140736599377984 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27095/statm: 2287 274 233 213 0 72 0
[pid=27096] ppid=27095 vsize=51352 CPUtime=7.34 cores=0,2,4,6
/proc/27096/stat : 27096 (npSolver-pbo) S 27095 27095 26543 0 -1 4202496 17427 54672 0 0 179 91 440 24 20 0 1 0 383844470 52584448 11393 33554432000 4194304 6004724 140736141104160 140736141089080 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/27096/statm: 12838 11393 183 442 0 12392 0
[pid=27149] ppid=27096 vsize=357428 CPUtime=154.55 cores=0,2,4,6
/proc/27149/stat : 27149 (glucosInc) R 27096 27095 26543 0 -1 4202496 56692 0 0 0 15422 33 0 0 20 0 1 0 383845238 366006272 82867 33554432000 4194304 5654031 140734299709424 140734299707448 4215188 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/27149/statm: 89357 82867 141 357 0 88997 0
Current children cumulated CPU time (s) 161.89
Current children cumulated vsize (KiB) 417928
[startup+222.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/181 27159
/proc/meminfo: memFree=23654652/32873844 swapFree=7628/7628
[pid=27095] ppid=27093 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27095/stat : 27095 (npSolver-pbo-I.) S 27093 27095 26543 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383844470 9367552 274 33554432000 4194304 5064252 140736599379072 140736599377984 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27095/statm: 2287 274 233 213 0 72 0
[pid=27096] ppid=27095 vsize=40716 CPUtime=174.13 cores=0,2,4,6
/proc/27096/stat : 27096 (npSolver-pbo) S 27095 27095 26543 0 -1 4202496 25051 113410 0 0 281 105 16963 64 20 0 1 0 383844470 41693184 8768 33554432000 4194304 6004724 140736141104160 140736141089080 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/27096/statm: 10179 8768 185 442 0 9733 0
[pid=27159] ppid=27096 vsize=274812 CPUtime=47.75 cores=0,2,4,6
################
# More data... #
################
/proc/loadavg: 2.02 2.02 2.00 3/182 27194
/proc/meminfo: memFree=23387700/32873844 swapFree=7628/7628
[pid=27095] ppid=27093 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27095/stat : 27095 (npSolver-pbo-I.) S 27093 27095 26543 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383844470 9367552 274 33554432000 4194304 5064252 140736599379072 140736599377984 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27095/statm: 2287 274 233 213 0 72 0
[pid=27096] ppid=27095 vsize=71920 CPUtime=486.48 cores=0,2,4,6
/proc/27096/stat : 27096 (npSolver-pbo) S 27095 27095 26543 0 -1 4202496 32160 176477 0 0 367 116 48026 139 20 0 1 0 383844470 73646080 16537 33554432000 4194304 6004724 140736141104160 140736141089080 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/27096/statm: 17980 16537 185 442 0 17534 0
[pid=27162] ppid=27096 vsize=543472 CPUtime=815.16 cores=0,2,4,6
/proc/27162/stat : 27162 (glucosInc) R 27096 27095 26543 0 -1 4202496 62620 0 0 0 81451 65 0 0 20 0 1 0 383893166 556515328 110427 33554432000 4194304 5654031 140735280348448 140735280346232 4232775 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/27162/statm: 135868 110427 141 357 0 135508 0
Current children cumulated CPU time (s) 1301.64
Current children cumulated vsize (KiB) 624540
[startup+1362.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/181 27194
/proc/meminfo: memFree=23532128/32873844 swapFree=7628/7628
[pid=27095] ppid=27093 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27095/stat : 27095 (npSolver-pbo-I.) S 27093 27095 26543 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383844470 9367552 274 33554432000 4194304 5064252 140736599379072 140736599377984 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27095/statm: 2287 274 233 213 0 72 0
[pid=27096] ppid=27095 vsize=71920 CPUtime=486.48 cores=0,2,4,6
/proc/27096/stat : 27096 (npSolver-pbo) S 27095 27095 26543 0 -1 4202496 32160 176477 0 0 367 116 48026 139 20 0 1 0 383844470 73646080 16537 33554432000 4194304 6004724 140736141104160 140736141089080 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/27096/statm: 17980 16537 185 442 0 17534 0
[pid=27162] ppid=27096 vsize=331572 CPUtime=875.13 cores=0,2,4,6
/proc/27162/stat : 27162 (glucosInc) R 27096 27095 26543 0 -1 4202496 63368 0 0 0 87444 69 0 0 20 0 1 0 383893166 339529728 73903 33554432000 4194304 5654031 140735280348448 140735280336264 4232453 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/27162/statm: 82893 73903 141 357 0 82533 0
Current children cumulated CPU time (s) 1361.61
Current children cumulated vsize (KiB) 412640
[startup+1422.31 s]
/proc/loadavg: 2.00 2.01 2.00 3/181 27194
/proc/meminfo: memFree=23573708/32873844 swapFree=7628/7628
[pid=27095] ppid=27093 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27095/stat : 27095 (npSolver-pbo-I.) S 27093 27095 26543 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383844470 9367552 274 33554432000 4194304 5064252 140736599379072 140736599377984 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27095/statm: 2287 274 233 213 0 72 0
[pid=27096] ppid=27095 vsize=71920 CPUtime=486.48 cores=0,2,4,6
/proc/27096/stat : 27096 (npSolver-pbo) S 27095 27095 26543 0 -1 4202496 32160 176477 0 0 367 116 48026 139 20 0 1 0 383844470 73646080 16537 33554432000 4194304 6004724 140736141104160 140736141089080 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/27096/statm: 17980 16537 185 442 0 17534 0
[pid=27162] ppid=27096 vsize=285316 CPUtime=935.14 cores=0,2,4,6
/proc/27162/stat : 27162 (glucosInc) R 27096 27095 26543 0 -1 4202496 64116 0 0 0 93442 72 0 0 20 0 1 0 383893166 292163584 62425 33554432000 4194304 5654031 140735280348448 140735280336264 4216315 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/27162/statm: 71329 62425 141 357 0 70969 0
Current children cumulated CPU time (s) 1421.62
Current children cumulated vsize (KiB) 366384
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/181 27194
/proc/meminfo: memFree=23474600/32873844 swapFree=7628/7628
[pid=27095] ppid=27093 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27095/stat : 27095 (npSolver-pbo-I.) S 27093 27095 26543 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383844470 9367552 274 33554432000 4194304 5064252 140736599379072 140736599377984 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27095/statm: 2287 274 233 213 0 72 0
[pid=27096] ppid=27095 vsize=71920 CPUtime=486.48 cores=0,2,4,6
/proc/27096/stat : 27096 (npSolver-pbo) S 27095 27095 26543 0 -1 4202496 32160 176477 0 0 367 116 48026 139 20 0 1 0 383844470 73646080 16537 33554432000 4194304 6004724 140736141104160 140736141089080 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/27096/statm: 17980 16537 185 442 0 17534 0
[pid=27162] ppid=27096 vsize=337384 CPUtime=995.12 cores=0,2,4,6
/proc/27162/stat : 27162 (glucosInc) R 27096 27095 26543 0 -1 4202496 64878 0 0 0 99439 73 0 0 20 0 1 0 383893166 345481216 76473 33554432000 4194304 5654031 140735280348448 140735280336264 4216456 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/27162/statm: 84346 76473 141 357 0 83986 0
Current children cumulated CPU time (s) 1481.6
Current children cumulated vsize (KiB) 418452
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 27194
/proc/meminfo: memFree=23540180/32873844 swapFree=7628/7628
[pid=27095] ppid=27093 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27095/stat : 27095 (npSolver-pbo-I.) S 27093 27095 26543 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383844470 9367552 274 33554432000 4194304 5064252 140736599379072 140736599377984 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27095/statm: 2287 274 233 213 0 72 0
[pid=27096] ppid=27095 vsize=71920 CPUtime=486.48 cores=0,2,4,6
/proc/27096/stat : 27096 (npSolver-pbo) S 27095 27095 26543 0 -1 4202496 32160 176477 0 0 367 116 48026 139 20 0 1 0 383844470 73646080 16537 33554432000 4194304 6004724 140736141104160 140736141089080 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/27096/statm: 17980 16537 185 442 0 17534 0
[pid=27162] ppid=27096 vsize=337384 CPUtime=1055.11 cores=0,2,4,6
/proc/27162/stat : 27162 (glucosInc) R 27096 27095 26543 0 -1 4202496 65235 0 0 0 105436 75 0 0 20 0 1 0 383893166 345481216 70337 33554432000 4194304 5654031 140735280348448 140735280336264 4232821 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/27162/statm: 84346 70337 141 357 0 83986 0
Current children cumulated CPU time (s) 1541.59
Current children cumulated vsize (KiB) 418452
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 27194
/proc/meminfo: memFree=23474524/32873844 swapFree=7628/7628
[pid=27095] ppid=27093 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27095/stat : 27095 (npSolver-pbo-I.) S 27093 27095 26543 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383844470 9367552 274 33554432000 4194304 5064252 140736599379072 140736599377984 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27095/statm: 2287 274 233 213 0 72 0
[pid=27096] ppid=27095 vsize=71920 CPUtime=486.48 cores=0,2,4,6
/proc/27096/stat : 27096 (npSolver-pbo) S 27095 27095 26543 0 -1 4202496 32160 176477 0 0 367 116 48026 139 20 0 1 0 383844470 73646080 16537 33554432000 4194304 6004724 140736141104160 140736141089080 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/27096/statm: 17980 16537 185 442 0 17534 0
[pid=27162] ppid=27096 vsize=341456 CPUtime=1115.07 cores=0,2,4,6
/proc/27162/stat : 27162 (glucosInc) R 27096 27095 26543 0 -1 4202496 65840 0 0 0 111431 76 0 0 20 0 1 0 383893166 349650944 77513 33554432000 4194304 5654031 140735280348448 140735280346216 4214944 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/27162/statm: 85364 77513 141 357 0 85004 0
Current children cumulated CPU time (s) 1601.55
Current children cumulated vsize (KiB) 422524
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 27195
/proc/meminfo: memFree=23467292/32873844 swapFree=7628/7628
[pid=27095] ppid=27093 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27095/stat : 27095 (npSolver-pbo-I.) S 27093 27095 26543 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383844470 9367552 274 33554432000 4194304 5064252 140736599379072 140736599377984 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27095/statm: 2287 274 233 213 0 72 0
[pid=27096] ppid=27095 vsize=71920 CPUtime=486.48 cores=0,2,4,6
/proc/27096/stat : 27096 (npSolver-pbo) S 27095 27095 26543 0 -1 4202496 32160 176477 0 0 367 116 48026 139 20 0 1 0 383844470 73646080 16537 33554432000 4194304 6004724 140736141104160 140736141089080 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/27096/statm: 17980 16537 185 442 0 17534 0
[pid=27162] ppid=27096 vsize=341456 CPUtime=1175.07 cores=0,2,4,6
/proc/27162/stat : 27162 (glucosInc) R 27096 27095 26543 0 -1 4202496 66471 0 0 0 117429 78 0 0 20 0 1 0 383893166 349650944 71138 33554432000 4194304 5654031 140735280348448 140735280336264 4232916 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/27162/statm: 85364 71138 141 357 0 85004 0
Current children cumulated CPU time (s) 1661.55
Current children cumulated vsize (KiB) 422524
[startup+1722.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/181 27195
/proc/meminfo: memFree=23456976/32873844 swapFree=7628/7628
[pid=27095] ppid=27093 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27095/stat : 27095 (npSolver-pbo-I.) S 27093 27095 26543 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383844470 9367552 274 33554432000 4194304 5064252 140736599379072 140736599377984 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27095/statm: 2287 274 233 213 0 72 0
[pid=27096] ppid=27095 vsize=71920 CPUtime=486.48 cores=0,2,4,6
/proc/27096/stat : 27096 (npSolver-pbo) S 27095 27095 26543 0 -1 4202496 32160 176477 0 0 367 116 48026 139 20 0 1 0 383844470 73646080 16537 33554432000 4194304 6004724 140736141104160 140736141089080 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/27096/statm: 17980 16537 185 442 0 17534 0
[pid=27162] ppid=27096 vsize=293200 CPUtime=1235.06 cores=0,2,4,6
/proc/27162/stat : 27162 (glucosInc) R 27096 27095 26543 0 -1 4202496 66741 0 0 0 123426 80 0 0 20 0 1 0 383893166 300236800 64917 33554432000 4194304 5654031 140735280348448 140735280336264 4232453 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/27162/statm: 73300 64917 141 357 0 72940 0
Current children cumulated CPU time (s) 1721.54
Current children cumulated vsize (KiB) 374268
[startup+1782.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/181 27195
/proc/meminfo: memFree=23391008/32873844 swapFree=7628/7628
[pid=27095] ppid=27093 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27095/stat : 27095 (npSolver-pbo-I.) S 27093 27095 26543 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383844470 9367552 274 33554432000 4194304 5064252 140736599379072 140736599377984 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27095/statm: 2287 274 233 213 0 72 0
[pid=27096] ppid=27095 vsize=71920 CPUtime=486.48 cores=0,2,4,6
/proc/27096/stat : 27096 (npSolver-pbo) S 27095 27095 26543 0 -1 4202496 32160 176477 0 0 367 116 48026 139 20 0 1 0 383844470 73646080 16537 33554432000 4194304 6004724 140736141104160 140736141089080 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/27096/statm: 17980 16537 185 442 0 17534 0
[pid=27162] ppid=27096 vsize=343288 CPUtime=1295.04 cores=0,2,4,6
/proc/27162/stat : 27162 (glucosInc) R 27096 27095 26543 0 -1 4202496 67388 0 0 0 129423 81 0 0 20 0 1 0 383893166 351526912 73738 33554432000 4194304 5654031 140735280348448 140735280336264 4216312 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/27162/statm: 85822 73738 141 357 0 85462 0
Current children cumulated CPU time (s) 1781.52
Current children cumulated vsize (KiB) 424356
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.8 s]
/proc/loadavg: 2.02 2.01 2.00 3/182 27198
/proc/meminfo: memFree=23374096/32873844 swapFree=7628/7628
[pid=27095] ppid=27093 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27095/stat : 27095 (npSolver-pbo-I.) S 27093 27095 26543 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383844470 9367552 274 33554432000 4194304 5064252 140736599379072 140736599377984 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27095/statm: 2287 274 233 213 0 72 0
[pid=27096] ppid=27095 vsize=71920 CPUtime=486.48 cores=0,2,4,6
/proc/27096/stat : 27096 (npSolver-pbo) S 27095 27095 26543 0 -1 4202496 32160 176477 0 0 367 116 48026 139 20 0 1 0 383844470 73646080 16537 33554432000 4194304 6004724 140736141104160 140736141089080 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/27096/statm: 17980 16537 185 442 0 17534 0
[pid=27162] ppid=27096 vsize=343288 CPUtime=1313.54 cores=0,2,4,6
/proc/27162/stat : 27162 (glucosInc) R 27096 27095 26543 0 -1 4202496 67408 0 0 0 131273 81 0 0 20 0 1 0 383893166 351526912 74780 33554432000 4194304 5654031 140735280348448 140735280336264 4219792 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/27162/statm: 85822 74780 141 357 0 85462 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 424356
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 27095 and gives
# childrusage.ru_utime.tv_sec=483
# childrusage.ru_utime.tv_usec=937430
# childrusage.ru_stime.tv_sec=2
# childrusage.ru_stime.tv_usec=564610
# CPU time returned by wait4() is 486.502
# while last known CPU time is 1800.02
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800.82
CPU time (s): 1800.02
CPU user time (s): 1796.66
CPU system time (s): 3.36
CPU usage (%): 99.9558
Max. virtual memory (cumulated for all children) (KiB): 753164
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 483.937
system time used= 2.56461
maximum resident set size= 584924
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 209011
page faults= 0
swaps= 0
block input operations= 0
block output operations= 551432
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3009
involuntary context switches= 2923
runsolver used 2.76558 second user time and 8.82466 second system time
The end