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-3700114-1338124514/watcher-3700114-1338124514 -o /tmp/evaluation-result-3700114-1338124514/solver-3700114-1338124514 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-I.sh HOME/instance-3700114-1338124514.opb 1798828022 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.84 1.97 1.99 4/175 15512
/proc/meminfo: memFree=31892948/32873844 swapFree=7372/7372
[pid=15512] ppid=15508 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15512/stat : 15512 (npSolver-pbo-I.) S 15508 15512 15469 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 278580107 9367552 275 33554432000 4194304 5064252 140734320162336 140734320161248 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15512/statm: 2287 275 233 213 0 72 0
[startup+0.042427 s]
/proc/loadavg: 1.84 1.97 1.99 4/175 15512
/proc/meminfo: memFree=31892948/32873844 swapFree=7372/7372
[pid=15512] ppid=15508 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15512/stat : 15512 (npSolver-pbo-I.) S 15508 15512 15469 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 278580107 9367552 275 33554432000 4194304 5064252 140734320162336 140734320161248 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15512/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100274 s]
/proc/loadavg: 1.84 1.97 1.99 4/175 15512
/proc/meminfo: memFree=31892948/32873844 swapFree=7372/7372
[pid=15512] ppid=15508 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15512/stat : 15512 (npSolver-pbo-I.) S 15508 15512 15469 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 278580107 9367552 275 33554432000 4194304 5064252 140734320162336 140734320161248 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15512/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300236 s]
/proc/loadavg: 1.84 1.97 1.99 4/175 15512
/proc/meminfo: memFree=31892948/32873844 swapFree=7372/7372
[pid=15512] ppid=15508 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15512/stat : 15512 (npSolver-pbo-I.) S 15508 15512 15469 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 278580107 9367552 275 33554432000 4194304 5064252 140734320162336 140734320161248 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15512/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700236 s]
/proc/loadavg: 1.84 1.97 1.99 4/175 15512
/proc/meminfo: memFree=31892948/32873844 swapFree=7372/7372
[pid=15512] ppid=15508 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15512/stat : 15512 (npSolver-pbo-I.) S 15508 15512 15469 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 278580107 9367552 275 33554432000 4194304 5064252 140734320162336 140734320161248 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15512/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+2.12795 s]
/proc/loadavg: 1.84 1.97 1.99 4/175 15512
/proc/meminfo: memFree=31892948/32873844 swapFree=7372/7372
[pid=15512] ppid=15508 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15512/stat : 15512 (npSolver-pbo-I.) S 15508 15512 15469 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 278580107 9367552 275 33554432000 4194304 5064252 140734320162336 140734320161248 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15512/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
heavy processes:
[startup+3.10029 s]
/proc/loadavg: 2.33 2.07 2.02 4/179 15516
/proc/meminfo: memFree=31862924/32873844 swapFree=7372/7372
[pid=15512] ppid=15508 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15512/stat : 15512 (npSolver-pbo-I.) S 15508 15512 15469 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 278580107 9367552 275 33554432000 4194304 5064252 140734320162336 140734320161248 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15512/statm: 2287 275 233 213 0 72 0
[pid=15514] ppid=15512 vsize=49768 CPUtime=3.09 cores=0,2,4,6
/proc/15514/stat : 15514 (npSolver-pbo) R 15512 15512 15469 0 -1 4202496 9603 0 0 0 306 3 0 0 20 0 1 0 278580108 50962432 11537 33554432000 4194304 5992684 140737410698368 140737410694488 4378044 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/15514/statm: 12442 11537 159 440 0 11998 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 58916
[startup+6.30037 s]
/proc/loadavg: 2.33 2.07 2.02 4/179 15516
/proc/meminfo: memFree=31200320/32873844 swapFree=7372/7372
[pid=15512] ppid=15508 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15512/stat : 15512 (npSolver-pbo-I.) S 15508 15512 15469 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 278580107 9367552 275 33554432000 4194304 5064252 140734320162336 140734320161248 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15512/statm: 2287 275 233 213 0 72 0
[pid=15514] ppid=15512 vsize=565568 CPUtime=6.25 cores=0,2,4,6
/proc/15514/stat : 15514 (npSolver-pbo) D 15512 15512 15469 0 -1 4202496 29495 0 0 0 588 37 0 0 20 0 1 0 278580108 579141632 126355 33554432000 4194304 5992684 140737410698368 140737410694224 5182699 0 0 4096 0 18446744071580543392 0 0 17 4 0 0 0 0 0
/proc/15514/statm: 141392 126355 168 440 0 140948 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 574716
[startup+12.7004 s]
/proc/loadavg: 2.43 2.10 2.03 4/183 15520
/proc/meminfo: memFree=29142828/32873844 swapFree=7372/7372
[pid=15512] ppid=15508 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15512/stat : 15512 (npSolver-pbo-I.) S 15508 15512 15469 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 278580107 9367552 275 33554432000 4194304 5064252 140734320162336 140734320161248 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15512/statm: 2287 275 233 213 0 72 0
[pid=15514] ppid=15512 vsize=362852 CPUtime=6.28 cores=0,2,4,6
/proc/15514/stat : 15514 (npSolver-pbo) S 15512 15512 15469 0 -1 4202496 29502 0 0 0 588 40 0 0 20 0 1 0 278580108 371560448 75682 33554432000 4194304 5992684 140737410698368 140737410692816 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 24 0 0
/proc/15514/statm: 90713 75682 174 440 0 90269 0
[pid=15519] ppid=15514 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15519/stat : 15519 (cp2_pre.sh) S 15514 15512 15469 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 278580761 9367552 277 33554432000 4194304 5064252 140734986074720 140734986073424 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/15519/statm: 2287 277 234 213 0 72 0
[pid=15520] ppid=15519 vsize=1054160 CPUtime=6.14 cores=0,2,4,6
/proc/15520/stat : 15520 (coprocessor) R 15519 15512 15469 0 -1 4202496 86876 0 0 0 586 28 0 0 20 0 1 0 278580762 1079459840 237721 33554432000 4194304 6586260 140736086886512 140736086882664 4496502 0 0 4096 8404994 0 0 0 17 0 0 0 0 0 0
/proc/15520/statm: 263540 237721 168 584 0 262952 0
Current children cumulated CPU time (s) 12.42
Current children cumulated vsize (KiB) 1435308
[startup+25.5003 s]
/proc/loadavg: 2.36 2.09 2.03 4/181 15524
/proc/meminfo: memFree=30305368/32873844 swapFree=7372/7372
[pid=15512] ppid=15508 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15512/stat : 15512 (npSolver-pbo-I.) S 15508 15512 15469 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 278580107 9367552 275 33554432000 4194304 5064252 140734320162336 140734320161248 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15512/statm: 2287 275 233 213 0 72 0
[pid=15514] ppid=15512 vsize=362852 CPUtime=21.61 cores=0,2,4,6
/proc/15514/stat : 15514 (npSolver-pbo) S 15512 15512 15469 0 -1 4202496 29518 106188 0 0 588 41 1469 63 20 0 1 0 278580108 371560448 75684 33554432000 4194304 5992684 140737410698368 140737410684632 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 24 0 0
/proc/15514/statm: 90713 75684 176 440 0 90269 0
[pid=15524] ppid=15514 vsize=516176 CPUtime=3.44 cores=0,2,4,6
/proc/15524/stat : 15524 (glucosInc) R 15514 15512 15469 0 -1 4202496 78323 0 0 0 327 17 0 0 20 0 1 0 278582312 528564224 114664 33554432000 4194304 5654031 140736503702000 140736503699608 4215040 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/15524/statm: 129044 114664 130 357 0 128684 0
Current children cumulated CPU time (s) 25.05
Current children cumulated vsize (KiB) 888176
[startup+51.1003 s]
/proc/loadavg: 2.30 2.10 2.03 4/181 15524
/proc/meminfo: memFree=30242172/32873844 swapFree=7372/7372
[pid=15512] ppid=15508 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15512/stat : 15512 (npSolver-pbo-I.) S 15508 15512 15469 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 278580107 9367552 275 33554432000 4194304 5064252 140734320162336 140734320161248 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15512/statm: 2287 275 233 213 0 72 0
[pid=15514] ppid=15512 vsize=398760 CPUtime=24.3 cores=0,2,4,6
/proc/15514/stat : 15514 (npSolver-pbo) R 15512 15512 15469 0 -1 4202496 35345 106188 0 0 719 179 1469 63 20 0 1 0 278580108 408330240 84650 33554432000 4194304 5992684 140737410698368 140737410692552 5179696 0 0 4096 0 0 0 0 17 4 0 0 24 0 0
/proc/15514/statm: 99690 84650 182 440 0 99246 0
[pid=15524] ppid=15514 vsize=530944 CPUtime=26.38 cores=0,2,4,6
/proc/15524/stat : 15524 (glucosInc) S 15514 15512 15469 0 -1 4202496 82490 0 0 0 2620 18 0 0 20 0 1 0 278582312 543686656 118811 33554432000 4194304 5654031 140736503702000 140736503700312 4976656 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/15524/statm: 132736 118811 146 357 0 132376 0
Current children cumulated CPU time (s) 50.68
Current children cumulated vsize (KiB) 938852
[startup+102.3 s]
/proc/loadavg: 2.12 2.08 2.03 4/181 15527
/proc/meminfo: memFree=30126260/32873844 swapFree=7372/7372
[pid=15512] ppid=15508 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15512/stat : 15512 (npSolver-pbo-I.) S 15508 15512 15469 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 278580107 9367552 275 33554432000 4194304 5064252 140734320162336 140734320161248 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15512/statm: 2287 275 233 213 0 72 0
[pid=15514] ppid=15512 vsize=398760 CPUtime=56.22 cores=0,2,4,6
/proc/15514/stat : 15514 (npSolver-pbo) S 15512 15512 15469 0 -1 4202496 37819 189718 0 0 805 611 4090 116 20 0 1 0 278580108 408330240 84654 33554432000 4194304 5992684 140737410698368 140737410683272 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 24 0 0
/proc/15514/statm: 99690 84654 186 440 0 99246 0
[pid=15527] ppid=15514 vsize=583364 CPUtime=45.63 cores=0,2,4,6
/proc/15527/stat : 15527 (glucosInc) R 15514 15512 15469 0 -1 4202496 77289 0 0 0 4545 18 0 0 20 0 1 0 278585772 597364736 124011 33554432000 4194304 5654031 140733380161344 140733380149160 4232775 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/15527/statm: 145841 124011 141 357 0 145481 0
Current children cumulated CPU time (s) 101.85
Current children cumulated vsize (KiB) 991272
[startup+162.3 s]
/proc/loadavg: 2.04 2.06 2.02 4/181 15527
/proc/meminfo: memFree=30128792/32873844 swapFree=7372/7372
[pid=15512] ppid=15508 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15512/stat : 15512 (npSolver-pbo-I.) S 15508 15512 15469 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 278580107 9367552 275 33554432000 4194304 5064252 140734320162336 140734320161248 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15512/statm: 2287 275 233 213 0 72 0
[pid=15514] ppid=15512 vsize=398760 CPUtime=56.22 cores=0,2,4,6
/proc/15514/stat : 15514 (npSolver-pbo) S 15512 15512 15469 0 -1 4202496 37819 189718 0 0 805 611 4090 116 20 0 1 0 278580108 408330240 84654 33554432000 4194304 5992684 140737410698368 140737410683272 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 24 0 0
/proc/15514/statm: 99690 84654 186 440 0 99246 0
[pid=15527] ppid=15514 vsize=583364 CPUtime=105.62 cores=0,2,4,6
/proc/15527/stat : 15527 (glucosInc) R 15514 15512 15469 0 -1 4202496 77987 0 0 0 10542 20 0 0 20 0 1 0 278585772 597364736 122341 33554432000 4194304 5654031 140733380161344 140733380149160 4232775 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/15527/statm: 145841 122341 142 357 0 145481 0
Current children cumulated CPU time (s) 161.84
Current children cumulated vsize (KiB) 991272
[startup+222.3 s]
/proc/loadavg: 2.01 2.05 2.02 4/181 15527
/proc/meminfo: memFree=30112036/32873844 swapFree=7372/7372
[pid=15512] ppid=15508 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15512/stat : 15512 (npSolver-pbo-I.) S 15508 15512 15469 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 278580107 9367552 275 33554432000 4194304 5064252 140734320162336 140734320161248 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15512/statm: 2287 275 233 213 0 72 0
[pid=15514] ppid=15512 vsize=398760 CPUtime=56.22 cores=0,2,4,6
/proc/15514/stat : 15514 (npSolver-pbo) S 15512 15512 15469 0 -1 4202496 37819 189718 0 0 805 611 4090 116 20 0 1 0 278580108 408330240 84654 33554432000 4194304 5992684 140737410698368 140737410683272 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 24 0 0
/proc/15514/statm: 99690 84654 186 440 0 99246 0
[pid=15527] ppid=15514 vsize=583364 CPUtime=165.61 cores=0,2,4,6
/proc/15527/stat : 15527 (glucosInc) R 15514 15512 15469 0 -1 4202496 77994 0 0 0 16541 20 0 0 20 0 1 0 278585772 597364736 125925 33554432000 4194304 5654031 140733380161344 140733380149160 4232563 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/15527/statm: 145841 125925 142 357 0 145481 0
Current children cumulated CPU time (s) 221.83
Current children cumulated vsize (KiB) 991272
[startup+282.3 s]
/proc/loadavg: 2.00 2.04 2.01 4/181 15528
/proc/meminfo: memFree=30097576/32873844 swapFree=7372/7372
[pid=15512] ppid=15508 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15512/stat : 15512 (npSolver-pbo-I.) S 15508 15512 15469 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 278580107 9367552 275 33554432000 4194304 5064252 140734320162336 140734320161248 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15512/statm: 2287 275 233 213 0 72 0
[pid=15514] ppid=15512 vsize=398760 CPUtime=56.22 cores=0,2,4,6
/proc/15514/stat : 15514 (npSolver-pbo) S 15512 15512 15469 0 -1 4202496 37819 189718 0 0 805 611 4090 116 20 0 1 0 278580108 408330240 84654 33554432000 4194304 5992684 140737410698368 140737410683272 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 24 0 0
/proc/15514/statm: 99690 84654 186 440 0 99246 0
################
# More data... #
################
/proc/meminfo: memFree=30054736/32873844 swapFree=7372/7372
[pid=15512] ppid=15508 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15512/stat : 15512 (npSolver-pbo-I.) S 15508 15512 15469 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 278580107 9367552 275 33554432000 4194304 5064252 140734320162336 140734320161248 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15512/statm: 2287 275 233 213 0 72 0
[pid=15514] ppid=15512 vsize=398760 CPUtime=56.22 cores=0,2,4,6
/proc/15514/stat : 15514 (npSolver-pbo) S 15512 15512 15469 0 -1 4202496 37819 189718 0 0 805 611 4090 116 20 0 1 0 278580108 408330240 84654 33554432000 4194304 5992684 140737410698368 140737410683272 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 24 0 0
/proc/15514/statm: 99690 84654 186 440 0 99246 0
[pid=15527] ppid=15514 vsize=598684 CPUtime=1305.41 cores=0,2,4,6
/proc/15527/stat : 15527 (glucosInc) R 15514 15512 15469 0 -1 4202496 84989 0 0 0 130490 51 0 0 20 0 1 0 278585772 613052416 136926 33554432000 4194304 5654031 140733380161344 140733380149160 4232700 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/15527/statm: 149671 136926 142 357 0 149311 0
Current children cumulated CPU time (s) 1361.63
Current children cumulated vsize (KiB) 1006592
[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/181 15538
/proc/meminfo: memFree=30062864/32873844 swapFree=7372/7372
[pid=15512] ppid=15508 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15512/stat : 15512 (npSolver-pbo-I.) S 15508 15512 15469 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 278580107 9367552 275 33554432000 4194304 5064252 140734320162336 140734320161248 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15512/statm: 2287 275 233 213 0 72 0
[pid=15514] ppid=15512 vsize=398760 CPUtime=56.22 cores=0,2,4,6
/proc/15514/stat : 15514 (npSolver-pbo) S 15512 15512 15469 0 -1 4202496 37819 189718 0 0 805 611 4090 116 20 0 1 0 278580108 408330240 84654 33554432000 4194304 5992684 140737410698368 140737410683272 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 24 0 0
/proc/15514/statm: 99690 84654 186 440 0 99246 0
[pid=15527] ppid=15514 vsize=598684 CPUtime=1365.4 cores=0,2,4,6
/proc/15527/stat : 15527 (glucosInc) R 15514 15512 15469 0 -1 4202496 85461 0 0 0 136485 55 0 0 20 0 1 0 278585772 613052416 134894 33554432000 4194304 5654031 140733380161344 140733380149160 4232477 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/15527/statm: 149671 134894 142 357 0 149311 0
Current children cumulated CPU time (s) 1421.62
Current children cumulated vsize (KiB) 1006592
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/181 15539
/proc/meminfo: memFree=30074220/32873844 swapFree=7372/7372
[pid=15512] ppid=15508 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15512/stat : 15512 (npSolver-pbo-I.) S 15508 15512 15469 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 278580107 9367552 275 33554432000 4194304 5064252 140734320162336 140734320161248 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15512/statm: 2287 275 233 213 0 72 0
[pid=15514] ppid=15512 vsize=398760 CPUtime=56.22 cores=0,2,4,6
/proc/15514/stat : 15514 (npSolver-pbo) S 15512 15512 15469 0 -1 4202496 37819 189718 0 0 805 611 4090 116 20 0 1 0 278580108 408330240 84654 33554432000 4194304 5992684 140737410698368 140737410683272 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 24 0 0
/proc/15514/statm: 99690 84654 186 440 0 99246 0
[pid=15527] ppid=15514 vsize=599508 CPUtime=1425.39 cores=0,2,4,6
/proc/15527/stat : 15527 (glucosInc) R 15514 15512 15469 0 -1 4202496 86131 0 0 0 142480 59 0 0 20 0 1 0 278585772 613896192 132040 33554432000 4194304 5654031 140733380161344 140733380149160 4233232 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/15527/statm: 149877 132040 142 357 0 149517 0
Current children cumulated CPU time (s) 1481.61
Current children cumulated vsize (KiB) 1007416
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/182 15545
/proc/meminfo: memFree=29948424/32873844 swapFree=7372/7372
[pid=15512] ppid=15508 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15512/stat : 15512 (npSolver-pbo-I.) S 15508 15512 15469 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 278580107 9367552 275 33554432000 4194304 5064252 140734320162336 140734320161248 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15512/statm: 2287 275 233 213 0 72 0
[pid=15514] ppid=15512 vsize=398760 CPUtime=56.22 cores=0,2,4,6
/proc/15514/stat : 15514 (npSolver-pbo) S 15512 15512 15469 0 -1 4202496 37819 189718 0 0 805 611 4090 116 20 0 1 0 278580108 408330240 84654 33554432000 4194304 5992684 140737410698368 140737410683272 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 24 0 0
/proc/15514/statm: 99690 84654 186 440 0 99246 0
[pid=15527] ppid=15514 vsize=681160 CPUtime=1485.38 cores=0,2,4,6
/proc/15527/stat : 15527 (glucosInc) R 15514 15512 15469 0 -1 4202496 86385 0 0 0 148477 61 0 0 20 0 1 0 278585772 697507840 137912 33554432000 4194304 5654031 140733380161344 140733380149160 4232707 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/15527/statm: 170290 137912 142 357 0 169930 0
Current children cumulated CPU time (s) 1541.6
Current children cumulated vsize (KiB) 1089068
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/181 15545
/proc/meminfo: memFree=29946512/32873844 swapFree=7372/7372
[pid=15512] ppid=15508 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15512/stat : 15512 (npSolver-pbo-I.) S 15508 15512 15469 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 278580107 9367552 275 33554432000 4194304 5064252 140734320162336 140734320161248 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15512/statm: 2287 275 233 213 0 72 0
[pid=15514] ppid=15512 vsize=398760 CPUtime=56.22 cores=0,2,4,6
/proc/15514/stat : 15514 (npSolver-pbo) S 15512 15512 15469 0 -1 4202496 37819 189718 0 0 805 611 4090 116 20 0 1 0 278580108 408330240 84654 33554432000 4194304 5992684 140737410698368 140737410683272 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 24 0 0
/proc/15514/statm: 99690 84654 186 440 0 99246 0
[pid=15527] ppid=15514 vsize=600436 CPUtime=1545.38 cores=0,2,4,6
/proc/15527/stat : 15527 (glucosInc) R 15514 15512 15469 0 -1 4202496 86857 0 0 0 154474 64 0 0 20 0 1 0 278585772 614846464 134859 33554432000 4194304 5654031 140733380161344 140733380149160 4232408 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/15527/statm: 150109 134859 142 357 0 149749 0
Current children cumulated CPU time (s) 1601.6
Current children cumulated vsize (KiB) 1008344
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/181 15545
/proc/meminfo: memFree=29918312/32873844 swapFree=7372/7372
[pid=15512] ppid=15508 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15512/stat : 15512 (npSolver-pbo-I.) S 15508 15512 15469 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 278580107 9367552 275 33554432000 4194304 5064252 140734320162336 140734320161248 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15512/statm: 2287 275 233 213 0 72 0
[pid=15514] ppid=15512 vsize=398760 CPUtime=56.22 cores=0,2,4,6
/proc/15514/stat : 15514 (npSolver-pbo) S 15512 15512 15469 0 -1 4202496 37819 189718 0 0 805 611 4090 116 20 0 1 0 278580108 408330240 84654 33554432000 4194304 5992684 140737410698368 140737410683272 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 24 0 0
/proc/15514/statm: 99690 84654 186 440 0 99246 0
[pid=15527] ppid=15514 vsize=682384 CPUtime=1605.36 cores=0,2,4,6
/proc/15527/stat : 15527 (glucosInc) R 15514 15512 15469 0 -1 4202496 87176 0 0 0 160471 65 0 0 20 0 1 0 278585772 698761216 140445 33554432000 4194304 5654031 140733380161344 140733380149160 4232775 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/15527/statm: 170596 140445 142 357 0 170236 0
Current children cumulated CPU time (s) 1661.58
Current children cumulated vsize (KiB) 1090292
[startup+1722.31 s]
/proc/loadavg: 2.00 2.00 2.00 4/181 15545
/proc/meminfo: memFree=29951892/32873844 swapFree=7372/7372
[pid=15512] ppid=15508 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15512/stat : 15512 (npSolver-pbo-I.) S 15508 15512 15469 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 278580107 9367552 275 33554432000 4194304 5064252 140734320162336 140734320161248 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15512/statm: 2287 275 233 213 0 72 0
[pid=15514] ppid=15512 vsize=398760 CPUtime=56.22 cores=0,2,4,6
/proc/15514/stat : 15514 (npSolver-pbo) S 15512 15512 15469 0 -1 4202496 37819 189718 0 0 805 611 4090 116 20 0 1 0 278580108 408330240 84654 33554432000 4194304 5992684 140737410698368 140737410683272 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 24 0 0
/proc/15514/statm: 99690 84654 186 440 0 99246 0
[pid=15527] ppid=15514 vsize=601412 CPUtime=1665.36 cores=0,2,4,6
/proc/15527/stat : 15527 (glucosInc) R 15514 15512 15469 0 -1 4202496 87585 0 0 0 166468 68 0 0 20 0 1 0 278585772 615845888 135791 33554432000 4194304 5654031 140733380161344 140733380149160 4215017 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/15527/statm: 150353 135791 142 357 0 149993 0
Current children cumulated CPU time (s) 1721.58
Current children cumulated vsize (KiB) 1009320
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/181 15546
/proc/meminfo: memFree=29923284/32873844 swapFree=7372/7372
[pid=15512] ppid=15508 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15512/stat : 15512 (npSolver-pbo-I.) S 15508 15512 15469 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 278580107 9367552 275 33554432000 4194304 5064252 140734320162336 140734320161248 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15512/statm: 2287 275 233 213 0 72 0
[pid=15514] ppid=15512 vsize=398760 CPUtime=56.22 cores=0,2,4,6
/proc/15514/stat : 15514 (npSolver-pbo) S 15512 15512 15469 0 -1 4202496 37819 189718 0 0 805 611 4090 116 20 0 1 0 278580108 408330240 84654 33554432000 4194304 5992684 140737410698368 140737410683272 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 24 0 0
/proc/15514/statm: 99690 84654 186 440 0 99246 0
[pid=15527] ppid=15514 vsize=683476 CPUtime=1725.34 cores=0,2,4,6
/proc/15527/stat : 15527 (glucosInc) R 15514 15512 15469 0 -1 4202496 87898 0 0 0 172465 69 0 0 20 0 1 0 278585772 699879424 141214 33554432000 4194304 5654031 140733380161344 140733380149160 4232821 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/15527/statm: 170869 141214 142 357 0 170509 0
Current children cumulated CPU time (s) 1781.56
Current children cumulated vsize (KiB) 1091384
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.8 s]
/proc/loadavg: 2.00 2.00 2.00 2/178 15547
/proc/meminfo: memFree=30658436/32873844 swapFree=7372/7372
[pid=15512] ppid=15508 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15512/stat : 15512 (npSolver-pbo-I.) S 15508 15512 15469 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 278580107 9367552 275 33554432000 4194304 5064252 140734320162336 140734320161248 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15512/statm: 2287 275 233 213 0 72 0
[pid=15514] ppid=15512 vsize=398760 CPUtime=56.22 cores=0,2,4,6
/proc/15514/stat : 15514 (npSolver-pbo) S 15512 15512 15469 0 -1 4202496 37819 189718 0 0 805 611 4090 116 20 0 1 0 278580108 408330240 84654 33554432000 4194304 5992684 140737410698368 140737410683272 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 24 0 0
/proc/15514/statm: 99690 84654 186 440 0 99246 0
[pid=15527] ppid=15514 vsize=602220 CPUtime=1743.84 cores=0,2,4,6
/proc/15527/stat : 15527 (glucosInc) R 15514 15512 15469 0 -1 4202496 88239 0 0 0 174312 72 0 0 20 0 1 0 278585772 616673280 133940 33554432000 4194304 5654031 140733380161344 140733380149160 4232707 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/15527/statm: 150555 133940 142 357 0 150195 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 1010128
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.8 s]
/proc/loadavg: 2.00 2.00 2.00 2/178 15547
/proc/meminfo: memFree=30658436/32873844 swapFree=7372/7372
[pid=15512] ppid=15508 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15512/stat : 15512 (npSolver-pbo-I.) S 15508 15512 15469 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 278580107 9367552 275 33554432000 4194304 5064252 140734320162336 140734320161248 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15512/statm: 2287 275 233 213 0 72 0
[pid=15514] ppid=15512 vsize=398760 CPUtime=56.22 cores=0,2,4,6
/proc/15514/stat : 15514 (npSolver-pbo) S 15512 15512 15469 0 -1 4202496 37819 189718 0 0 805 611 4090 116 20 0 1 0 278580108 408330240 84654 33554432000 4194304 5992684 140737410698368 140737410683272 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 24 0 0
/proc/15514/statm: 99690 84654 186 440 0 99246 0
[pid=15527] ppid=15514 vsize=602220 CPUtime=1743.84 cores=0,2,4,6
/proc/15527/stat : 15527 (glucosInc) R 15514 15512 15469 0 -1 4202496 88239 0 0 0 174312 72 0 0 20 0 1 0 278585772 616673280 133940 33554432000 4194304 5654031 140733380161344 140733380149160 4232707 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/15527/statm: 150555 133940 142 357 0 150195 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 1010128
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 15512 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=999
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=0
# CPU time returned by wait4() is 0.000999
# 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.82
CPU time (s): 1800.06
CPU user time (s): 1792.07
CPU system time (s): 7.99
CPU usage (%): 99.958
Max. virtual memory (cumulated for all children) (KiB): 1602972
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.000999
system time used= 0
maximum resident set size= 1100
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 359
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4
involuntary context switches= 1
runsolver used 6.51101 second user time and 7.99378 second system time
The end