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-3751439-1339123179/watcher-3751439-1339123179 -o /tmp/evaluation-result-3751439-1339123179/solver-3751439-1339123179 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itdqb.sh HOME/instance-3751439-1339123179.opb 1594276079 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.00 2.02 2.00 3/179 7261
/proc/meminfo: memFree=30213988/32873648 swapFree=7376/7376
[pid=7261] ppid=7259 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7261/stat : 7261 (npSolver-pbo-It) S 7259 7261 2890 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 378444791 9367552 275 33554432000 4194304 5064252 140734388188224 140734388187136 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7261/statm: 2287 275 233 213 0 72 0
[startup+0.0100961 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 7261
/proc/meminfo: memFree=30213988/32873648 swapFree=7376/7376
[pid=7261] ppid=7259 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7261/stat : 7261 (npSolver-pbo-It) S 7259 7261 2890 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 378444791 9367552 275 33554432000 4194304 5064252 140734388188224 140734388187136 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7261/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100297 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 7261
/proc/meminfo: memFree=30213988/32873648 swapFree=7376/7376
[pid=7261] ppid=7259 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7261/stat : 7261 (npSolver-pbo-It) S 7259 7261 2890 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 378444791 9367552 275 33554432000 4194304 5064252 140734388188224 140734388187136 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7261/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300299 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 7261
/proc/meminfo: memFree=30213988/32873648 swapFree=7376/7376
[pid=7261] ppid=7259 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7261/stat : 7261 (npSolver-pbo-It) S 7259 7261 2890 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 378444791 9367552 275 33554432000 4194304 5064252 140734388188224 140734388187136 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7261/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700314 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 7261
/proc/meminfo: memFree=30213988/32873648 swapFree=7376/7376
[pid=7261] ppid=7259 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7261/stat : 7261 (npSolver-pbo-It) S 7259 7261 2890 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 378444791 9367552 275 33554432000 4194304 5064252 140734388188224 140734388187136 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7261/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50037 s]
/proc/loadavg: 2.00 2.02 2.00 3/181 7263
/proc/meminfo: memFree=30125504/32873648 swapFree=7376/7376
[pid=7261] ppid=7259 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7261/stat : 7261 (npSolver-pbo-It) S 7259 7261 2890 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 378444791 9367552 275 33554432000 4194304 5064252 140734388188224 140734388187136 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7261/statm: 2287 275 233 213 0 72 0
[pid=7262] ppid=7261 vsize=170012 CPUtime=1.48 cores=0,2,4,6
/proc/7262/stat : 7262 (npSolver-pbo) R 7261 7261 2890 0 -1 4202496 7715 0 0 0 145 3 0 0 20 0 1 0 378444791 174092288 30664 33554432000 4194304 6004724 140735841187312 140735841182264 4582597 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/7262/statm: 42503 30664 154 442 0 42057 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 179160
[startup+3.10036 s]
/proc/loadavg: 2.00 2.02 2.00 3/181 7263
/proc/meminfo: memFree=30110996/32873648 swapFree=7376/7376
[pid=7261] ppid=7259 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7261/stat : 7261 (npSolver-pbo-It) S 7259 7261 2890 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 378444791 9367552 275 33554432000 4194304 5064252 140734388188224 140734388187136 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7261/statm: 2287 275 233 213 0 72 0
[pid=7262] ppid=7261 vsize=301084 CPUtime=3.09 cores=0,2,4,6
/proc/7262/stat : 7262 (npSolver-pbo) R 7261 7261 2890 0 -1 4202496 8349 0 0 0 301 8 0 0 20 0 1 0 378444791 308310016 60872 33554432000 4194304 6004724 140735841187312 140735841181912 4534749 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/7262/statm: 75271 60872 154 442 0 74825 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 310232
[startup+6.3003 s]
/proc/loadavg: 2.00 2.02 2.00 3/181 7263
/proc/meminfo: memFree=29856300/32873648 swapFree=7376/7376
[pid=7261] ppid=7259 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7261/stat : 7261 (npSolver-pbo-It) S 7259 7261 2890 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 378444791 9367552 275 33554432000 4194304 5064252 140734388188224 140734388187136 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7261/statm: 2287 275 233 213 0 72 0
[pid=7262] ppid=7261 vsize=563228 CPUtime=6.29 cores=0,2,4,6
/proc/7262/stat : 7262 (npSolver-pbo) R 7261 7261 2890 0 -1 4202496 9110 0 0 0 614 15 0 0 20 0 1 0 378444791 576745472 123336 33554432000 4194304 6004724 140735841187312 140735841181928 4534752 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/7262/statm: 140807 123336 154 442 0 140361 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 572376
[startup+12.7003 s]
/proc/loadavg: 2.00 2.02 2.00 3/181 7263
/proc/meminfo: memFree=29305036/32873648 swapFree=7376/7376
[pid=7261] ppid=7259 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7261/stat : 7261 (npSolver-pbo-It) S 7259 7261 2890 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 378444791 9367552 275 33554432000 4194304 5064252 140734388188224 140734388187136 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7261/statm: 2287 275 233 213 0 72 0
[pid=7262] ppid=7261 vsize=1087520 CPUtime=12.69 cores=0,2,4,6
/proc/7262/stat : 7262 (npSolver-pbo) R 7261 7261 2890 0 -1 4202496 10124 0 0 0 1239 30 0 0 20 0 1 0 378444791 1113620480 248265 33554432000 4194304 6004724 140735841187312 140735841182264 4534728 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/7262/statm: 271880 248265 154 442 0 271434 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1096668
[startup+25.5004 s]
/proc/loadavg: 2.00 2.01 2.00 3/181 7265
/proc/meminfo: memFree=28256776/32873648 swapFree=7376/7376
[pid=7261] ppid=7259 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7261/stat : 7261 (npSolver-pbo-It) S 7259 7261 2890 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 378444791 9367552 275 33554432000 4194304 5064252 140734388188224 140734388187136 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7261/statm: 2287 275 233 213 0 72 0
[pid=7262] ppid=7261 vsize=2136096 CPUtime=25.49 cores=0,2,4,6
/proc/7262/stat : 7262 (npSolver-pbo) R 7261 7261 2890 0 -1 4202496 11637 0 0 0 2489 60 0 0 20 0 1 0 378444791 2187362304 499145 33554432000 4194304 6004724 140735841187312 140735841181912 4617922 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/7262/statm: 534024 499145 154 442 0 533578 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 2145244
[startup+51.1004 s]
/proc/loadavg: 2.16 2.04 2.01 3/184 7309
/proc/meminfo: memFree=22177036/32873648 swapFree=7376/7376
[pid=7261] ppid=7259 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7261/stat : 7261 (npSolver-pbo-It) S 7259 7261 2890 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 378444791 9367552 275 33554432000 4194304 5064252 140734388188224 140734388187136 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7261/statm: 2287 275 233 213 0 72 0
[pid=7262] ppid=7261 vsize=4204732 CPUtime=47.05 cores=0,2,4,6
/proc/7262/stat : 7262 (npSolver-pbo) S 7261 7261 2890 0 -1 4202496 15443 0 0 0 4064 641 0 0 20 0 1 0 378444791 4305645568 801785 33554432000 4194304 6004724 140735841187312 140735841181776 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 126 0 0
/proc/7262/statm: 1051183 801785 163 442 0 1050737 0
[pid=7308] ppid=7262 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7308/stat : 7308 (cp2_pre.sh) S 7262 7261 2890 0 -1 4202496 607 0 0 0 0 0 0 0 20 0 1 0 378449626 9367552 276 33554432000 4194304 5064252 140736872463376 140736872462080 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7308/statm: 2287 276 234 213 0 72 0
[pid=7309] ppid=7308 vsize=314252 CPUtime=2.74 cores=0,2,4,6
/proc/7309/stat : 7309 (coprocessor) R 7308 7261 2890 0 -1 4202496 15206 0 0 0 262 12 0 0 20 0 1 0 378449626 321794048 77719 33554432000 4194304 6586260 140735486964496 140735486961256 5732400 0 0 4096 8404994 0 0 0 17 4 0 0 0 0 0
/proc/7309/statm: 78563 77719 137 584 0 77975 0
Current children cumulated CPU time (s) 49.79
Current children cumulated vsize (KiB) 4537280
[startup+102.307 s]
/proc/loadavg: 2.97 2.28 2.09 3/181 7350
/proc/meminfo: memFree=15344612/32873648 swapFree=7376/7376
[pid=7261] ppid=7259 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7261/stat : 7261 (npSolver-pbo-It) S 7259 7261 2890 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 378444791 9367552 275 33554432000 4194304 5064252 140734388188224 140734388187136 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7261/statm: 2287 275 233 213 0 72 0
[pid=7262] ppid=7261 vsize=4204732 CPUtime=47.05 cores=0,2,4,6
/proc/7262/stat : 7262 (npSolver-pbo) S 7261 7261 2890 0 -1 4202496 15443 0 0 0 4064 641 0 0 20 0 1 0 378444791 4305645568 801785 33554432000 4194304 6004724 140735841187312 140735841181776 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 126 0 0
/proc/7262/statm: 1051183 801785 163 442 0 1050737 0
[pid=7308] ppid=7262 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7308/stat : 7308 (cp2_pre.sh) S 7262 7261 2890 0 -1 4202496 607 0 0 0 0 0 0 0 20 0 1 0 378449626 9367552 276 33554432000 4194304 5064252 140736872463376 140736872462080 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7308/statm: 2287 276 234 213 0 72 0
[pid=7309] ppid=7308 vsize=5431300 CPUtime=53.79 cores=0,2,4,6
/proc/7309/stat : 7309 (coprocessor) R 7308 7261 2890 0 -1 4202496 30167 0 0 0 5140 239 0 0 20 0 1 0 378449626 5561651200 1154091 33554432000 4194304 6586260 140735486964496 140735486960248 5732496 0 0 4096 8404994 0 0 0 17 0 0 0 14 0 0
/proc/7309/statm: 1357825 1154091 158 584 0 1357237 0
Current children cumulated CPU time (s) 100.84
Current children cumulated vsize (KiB) 9654328
[startup+162.3 s]
/proc/loadavg: 3.15 2.44 2.16 3/181 7351
/proc/meminfo: memFree=10000540/32873648 swapFree=7376/7376
[pid=7261] ppid=7259 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7261/stat : 7261 (npSolver-pbo-It) S 7259 7261 2890 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 378444791 9367552 275 33554432000 4194304 5064252 140734388188224 140734388187136 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7261/statm: 2287 275 233 213 0 72 0
[pid=7262] ppid=7261 vsize=4204732 CPUtime=47.05 cores=0,2,4,6
/proc/7262/stat : 7262 (npSolver-pbo) S 7261 7261 2890 0 -1 4202496 15443 0 0 0 4064 641 0 0 20 0 1 0 378444791 4305645568 801785 33554432000 4194304 6004724 140735841187312 140735841181776 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 126 0 0
/proc/7262/statm: 1051183 801785 163 442 0 1050737 0
[pid=7308] ppid=7262 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7308/stat : 7308 (cp2_pre.sh) S 7262 7261 2890 0 -1 4202496 607 0 0 0 0 0 0 0 20 0 1 0 378449626 9367552 276 33554432000 4194304 5064252 140736872463376 140736872462080 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7308/statm: 2287 276 234 213 0 72 0
[pid=7309] ppid=7308 vsize=5431300 CPUtime=112.25 cores=0,2,4,6
/proc/7309/stat : 7309 (coprocessor) R 7308 7261 2890 0 -1 4202496 30167 0 0 0 10704 521 0 0 20 0 1 0 378449626 5561651200 1154091 33554432000 4194304 6586260 140735486964496 140735486960248 5732496 0 0 4096 8404994 0 0 0 17 2 0 0 165 0 0
/proc/7309/statm: 1357825 1154091 158 584 0 1357237 0
Current children cumulated CPU time (s) 159.3
Current children cumulated vsize (KiB) 9654328
[startup+222.3 s]
/proc/loadavg: 3.05 2.54 2.21 3/180 7353
/proc/meminfo: memFree=13901108/32873648 swapFree=7376/7376
[pid=7261] ppid=7259 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7261/stat : 7261 (npSolver-pbo-It) S 7259 7261 2890 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 378444791 9367552 275 33554432000 4194304 5064252 140734388188224 140734388187136 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7261/statm: 2287 275 233 213 0 72 0
[pid=7262] ppid=7261 vsize=4204732 CPUtime=210.55 cores=0,2,4,6
/proc/7262/stat : 7262 (npSolver-pbo) S 7261 7261 2890 0 -1 4202496 15460 31069 0 0 4064 641 15501 849 20 0 1 0 378444791 4305645568 801789 33554432000 4194304 6004724 140735841187312 140735841173592 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 126 0 0
/proc/7262/statm: 1051183 801789 167 442 0 1050737 0
[pid=7353] ppid=7262 vsize=1780868 CPUtime=7.05 cores=0,2,4,6
/proc/7353/stat : 7353 (glucosInc) R 7262 7261 2890 0 -1 4202496 182785 0 0 0 642 63 0 0 20 0 1 0 378466286 1823608832 386547 33554432000 4194304 5654031 140736838519088 140736837468680 4225056 0 0 4096 0 0 0 0 17 0 0 0 27 0 0
/proc/7353/statm: 445217 386547 108 357 0 444857 0
Current children cumulated CPU time (s) 217.6
Current children cumulated vsize (KiB) 5994748
[startup+282.3 s]
/proc/loadavg: 3.05 2.59 2.24 3/181 7354
/proc/meminfo: memFree=2045820/32873648 swapFree=7376/7376
[pid=7261] ppid=7259 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7261/stat : 7261 (npSolver-pbo-It) S 7259 7261 2890 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 378444791 9367552 275 33554432000 4194304 5064252 140734388188224 140734388187136 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7261/statm: 2287 275 233 213 0 72 0
[pid=7262] ppid=7261 vsize=4204732 CPUtime=210.55 cores=0,2,4,6
################
# More data... #
################
/proc/meminfo: memFree=17880004/32873648 swapFree=7376/7376
[pid=7261] ppid=7259 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7261/stat : 7261 (npSolver-pbo-It) S 7259 7261 2890 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 378444791 9367552 238 33554432000 4194304 5064252 140734388188224 140734388187136 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7261/statm: 2287 238 233 213 0 72 0
[pid=7262] ppid=7261 vsize=4204732 CPUtime=210.55 cores=0,2,4,6
/proc/7262/stat : 7262 (npSolver-pbo) S 7261 7261 2890 0 -1 4202496 15461 31069 0 0 4064 641 15501 849 20 0 1 0 378444791 4305645568 801614 33554432000 4194304 6004724 140735841187312 140735841173592 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 126 0 0
/proc/7262/statm: 1051183 801614 167 442 0 1050737 0
[pid=7353] ppid=7262 vsize=8723168 CPUtime=1071.16 cores=0,2,4,6
/proc/7353/stat : 7353 (glucosInc) R 7262 7261 2890 0 -1 4202496 735530 0 0 0 106695 421 0 0 20 0 1 0 378466286 8932524032 1685016 33554432000 4194304 5654031 140736838519088 140736838506904 4232821 0 0 4096 0 0 0 0 17 2 0 0 1553 0 0
/proc/7353/statm: 2180792 1685016 141 357 0 2180432 0
Current children cumulated CPU time (s) 1281.71
Current children cumulated vsize (KiB) 12937048
[startup+1362.3 s]
/proc/loadavg: 2.00 2.10 2.33 3/181 7430
/proc/meminfo: memFree=17821284/32873648 swapFree=7376/7376
[pid=7261] ppid=7259 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7261/stat : 7261 (npSolver-pbo-It) S 7259 7261 2890 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 378444791 9367552 238 33554432000 4194304 5064252 140734388188224 140734388187136 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7261/statm: 2287 238 233 213 0 72 0
[pid=7262] ppid=7261 vsize=4204732 CPUtime=210.55 cores=0,2,4,6
/proc/7262/stat : 7262 (npSolver-pbo) S 7261 7261 2890 0 -1 4202496 15461 31069 0 0 4064 641 15501 849 20 0 1 0 378444791 4305645568 801614 33554432000 4194304 6004724 140735841187312 140735841173592 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 126 0 0
/proc/7262/statm: 1051183 801614 167 442 0 1050737 0
[pid=7353] ppid=7262 vsize=8725536 CPUtime=1131.14 cores=0,2,4,6
/proc/7353/stat : 7353 (glucosInc) R 7262 7261 2890 0 -1 4202496 740672 0 0 0 112691 423 0 0 20 0 1 0 378466286 8934948864 1690226 33554432000 4194304 5654031 140736838519088 140736838506904 4232775 0 0 4096 0 0 0 0 17 2 0 0 1553 0 0
/proc/7353/statm: 2181384 1690226 141 357 0 2181024 0
Current children cumulated CPU time (s) 1341.69
Current children cumulated vsize (KiB) 12939416
[startup+1422.3 s]
/proc/loadavg: 2.00 2.08 2.30 3/181 7431
/proc/meminfo: memFree=17795920/32873648 swapFree=7376/7376
[pid=7261] ppid=7259 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7261/stat : 7261 (npSolver-pbo-It) S 7259 7261 2890 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 378444791 9367552 238 33554432000 4194304 5064252 140734388188224 140734388187136 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7261/statm: 2287 238 233 213 0 72 0
[pid=7262] ppid=7261 vsize=4204732 CPUtime=210.55 cores=0,2,4,6
/proc/7262/stat : 7262 (npSolver-pbo) S 7261 7261 2890 0 -1 4202496 15461 31069 0 0 4064 641 15501 849 20 0 1 0 378444791 4305645568 801614 33554432000 4194304 6004724 140735841187312 140735841173592 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 126 0 0
/proc/7262/statm: 1051183 801614 167 442 0 1050737 0
[pid=7353] ppid=7262 vsize=8728336 CPUtime=1191.14 cores=0,2,4,6
/proc/7353/stat : 7353 (glucosInc) R 7262 7261 2890 0 -1 4202496 741435 0 0 0 118690 424 0 0 20 0 1 0 378466286 8937816064 1695077 33554432000 4194304 5654031 140736838519088 140736838506904 4232916 0 0 4096 0 0 0 0 17 2 0 0 1553 0 0
/proc/7353/statm: 2182084 1695077 141 357 0 2181724 0
Current children cumulated CPU time (s) 1401.69
Current children cumulated vsize (KiB) 12942216
[startup+1482.3 s]
/proc/loadavg: 2.00 2.06 2.28 3/181 7431
/proc/meminfo: memFree=17820160/32873648 swapFree=7376/7376
[pid=7261] ppid=7259 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7261/stat : 7261 (npSolver-pbo-It) S 7259 7261 2890 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 378444791 9367552 238 33554432000 4194304 5064252 140734388188224 140734388187136 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7261/statm: 2287 238 233 213 0 72 0
[pid=7262] ppid=7261 vsize=4204732 CPUtime=210.55 cores=0,2,4,6
/proc/7262/stat : 7262 (npSolver-pbo) S 7261 7261 2890 0 -1 4202496 15461 31069 0 0 4064 641 15501 849 20 0 1 0 378444791 4305645568 801614 33554432000 4194304 6004724 140735841187312 140735841173592 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 126 0 0
/proc/7262/statm: 1051183 801614 167 442 0 1050737 0
[pid=7353] ppid=7262 vsize=8730228 CPUtime=1251.13 cores=0,2,4,6
/proc/7353/stat : 7353 (glucosInc) R 7262 7261 2890 0 -1 4202496 746453 0 0 0 124687 426 0 0 20 0 1 0 378466286 8939753472 1700142 33554432000 4194304 5654031 140736838519088 140736838506904 4215357 0 0 4096 0 0 0 0 17 2 0 0 1553 0 0
/proc/7353/statm: 2182557 1700142 141 357 0 2182197 0
Current children cumulated CPU time (s) 1461.68
Current children cumulated vsize (KiB) 12944108
[startup+1542.31 s]
/proc/loadavg: 2.00 2.05 2.26 3/181 7431
/proc/meminfo: memFree=17796720/32873648 swapFree=7376/7376
[pid=7261] ppid=7259 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7261/stat : 7261 (npSolver-pbo-It) S 7259 7261 2890 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 378444791 9367552 238 33554432000 4194304 5064252 140734388188224 140734388187136 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7261/statm: 2287 238 233 213 0 72 0
[pid=7262] ppid=7261 vsize=4204732 CPUtime=210.55 cores=0,2,4,6
/proc/7262/stat : 7262 (npSolver-pbo) S 7261 7261 2890 0 -1 4202496 15461 31069 0 0 4064 641 15501 849 20 0 1 0 378444791 4305645568 801614 33554432000 4194304 6004724 140735841187312 140735841173592 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 126 0 0
/proc/7262/statm: 1051183 801614 167 442 0 1050737 0
[pid=7353] ppid=7262 vsize=8732496 CPUtime=1311.12 cores=0,2,4,6
/proc/7353/stat : 7353 (glucosInc) R 7262 7261 2890 0 -1 4202496 751624 0 0 0 130685 427 0 0 20 0 1 0 378466286 8942075904 1705871 33554432000 4194304 5654031 140736838519088 140736838506904 4232752 0 0 4096 0 0 0 0 17 2 0 0 1553 0 0
/proc/7353/statm: 2183124 1705871 141 357 0 2182764 0
Current children cumulated CPU time (s) 1521.67
Current children cumulated vsize (KiB) 12946376
[startup+1602.3 s]
/proc/loadavg: 2.00 2.04 2.24 3/181 7431
/proc/meminfo: memFree=17778616/32873648 swapFree=7376/7376
[pid=7261] ppid=7259 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7261/stat : 7261 (npSolver-pbo-It) S 7259 7261 2890 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 378444791 9367552 238 33554432000 4194304 5064252 140734388188224 140734388187136 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7261/statm: 2287 238 233 213 0 72 0
[pid=7262] ppid=7261 vsize=4204732 CPUtime=210.55 cores=0,2,4,6
/proc/7262/stat : 7262 (npSolver-pbo) S 7261 7261 2890 0 -1 4202496 15461 31069 0 0 4064 641 15501 849 20 0 1 0 378444791 4305645568 801614 33554432000 4194304 6004724 140735841187312 140735841173592 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 126 0 0
/proc/7262/statm: 1051183 801614 167 442 0 1050737 0
[pid=7353] ppid=7262 vsize=8735540 CPUtime=1371.11 cores=0,2,4,6
/proc/7353/stat : 7353 (glucosInc) R 7262 7261 2890 0 -1 4202496 752093 0 0 0 136683 428 0 0 20 0 1 0 378466286 8945192960 1710428 33554432000 4194304 5654031 140736838519088 140736838506904 4232659 0 0 4096 0 0 0 0 17 2 0 0 1553 0 0
/proc/7353/statm: 2183885 1710428 141 357 0 2183525 0
Current children cumulated CPU time (s) 1581.66
Current children cumulated vsize (KiB) 12949420
[startup+1662.3 s]
/proc/loadavg: 2.00 2.03 2.23 3/181 7431
/proc/meminfo: memFree=17761944/32873648 swapFree=7376/7376
[pid=7261] ppid=7259 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7261/stat : 7261 (npSolver-pbo-It) S 7259 7261 2890 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 378444791 9367552 238 33554432000 4194304 5064252 140734388188224 140734388187136 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7261/statm: 2287 238 233 213 0 72 0
[pid=7262] ppid=7261 vsize=4204732 CPUtime=210.55 cores=0,2,4,6
/proc/7262/stat : 7262 (npSolver-pbo) S 7261 7261 2890 0 -1 4202496 15461 31069 0 0 4064 641 15501 849 20 0 1 0 378444791 4305645568 801614 33554432000 4194304 6004724 140735841187312 140735841173592 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 126 0 0
/proc/7262/statm: 1051183 801614 167 442 0 1050737 0
[pid=7353] ppid=7262 vsize=8737680 CPUtime=1431.1 cores=0,2,4,6
/proc/7353/stat : 7353 (glucosInc) R 7262 7261 2890 0 -1 4202496 756614 0 0 0 142679 431 0 0 20 0 1 0 378466286 8947384320 1714620 33554432000 4194304 5654031 140736838519088 140736838506904 4208619 0 0 4096 0 0 0 0 17 2 0 0 1553 0 0
/proc/7353/statm: 2184420 1714620 141 357 0 2184060 0
Current children cumulated CPU time (s) 1641.65
Current children cumulated vsize (KiB) 12951560
[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.21 3/181 7432
/proc/meminfo: memFree=17705596/32873648 swapFree=7376/7376
[pid=7261] ppid=7259 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7261/stat : 7261 (npSolver-pbo-It) S 7259 7261 2890 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 378444791 9367552 238 33554432000 4194304 5064252 140734388188224 140734388187136 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7261/statm: 2287 238 233 213 0 72 0
[pid=7262] ppid=7261 vsize=4204732 CPUtime=210.55 cores=0,2,4,6
/proc/7262/stat : 7262 (npSolver-pbo) S 7261 7261 2890 0 -1 4202496 15461 31069 0 0 4064 641 15501 849 20 0 1 0 378444791 4305645568 801614 33554432000 4194304 6004724 140735841187312 140735841173592 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 126 0 0
/proc/7262/statm: 1051183 801614 167 442 0 1050737 0
[pid=7353] ppid=7262 vsize=8739048 CPUtime=1491.09 cores=0,2,4,6
/proc/7353/stat : 7353 (glucosInc) R 7262 7261 2890 0 -1 4202496 760895 0 0 0 148676 433 0 0 20 0 1 0 378466286 8948785152 1719062 33554432000 4194304 5654031 140736838519088 140736838506904 4232659 0 0 4096 0 0 0 0 17 2 0 0 1553 0 0
/proc/7353/statm: 2184762 1719062 141 357 0 2184402 0
Current children cumulated CPU time (s) 1701.64
Current children cumulated vsize (KiB) 12952928
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.19 3/181 7432
/proc/meminfo: memFree=17691092/32873648 swapFree=7376/7376
[pid=7261] ppid=7259 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7261/stat : 7261 (npSolver-pbo-It) S 7259 7261 2890 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 378444791 9367552 238 33554432000 4194304 5064252 140734388188224 140734388187136 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7261/statm: 2287 238 233 213 0 72 0
[pid=7262] ppid=7261 vsize=4204732 CPUtime=210.55 cores=0,2,4,6
/proc/7262/stat : 7262 (npSolver-pbo) S 7261 7261 2890 0 -1 4202496 15461 31069 0 0 4064 641 15501 849 20 0 1 0 378444791 4305645568 801614 33554432000 4194304 6004724 140735841187312 140735841173592 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 126 0 0
/proc/7262/statm: 1051183 801614 167 442 0 1050737 0
[pid=7353] ppid=7262 vsize=8741008 CPUtime=1551.08 cores=0,2,4,6
/proc/7353/stat : 7353 (glucosInc) R 7262 7261 2890 0 -1 4202496 761480 0 0 0 154674 434 0 0 20 0 1 0 378466286 8950792192 1723224 33554432000 4194304 5654031 140736838519088 140736838506904 4215064 0 0 4096 0 0 0 0 17 2 0 0 1553 0 0
/proc/7353/statm: 2185252 1723224 141 357 0 2184892 0
Current children cumulated CPU time (s) 1761.63
Current children cumulated vsize (KiB) 12954888
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1820.7 s]
/proc/loadavg: 2.07 2.03 2.18 4/181 7432
/proc/meminfo: memFree=17718352/32873648 swapFree=7376/7376
[pid=7261] ppid=7259 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7261/stat : 7261 (npSolver-pbo-It) S 7259 7261 2890 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 378444791 9367552 238 33554432000 4194304 5064252 140734388188224 140734388187136 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7261/statm: 2287 238 233 213 0 72 0
[pid=7262] ppid=7261 vsize=4204732 CPUtime=210.55 cores=0,2,4,6
/proc/7262/stat : 7262 (npSolver-pbo) S 7261 7261 2890 0 -1 4202496 15461 31069 0 0 4064 641 15501 849 20 0 1 0 378444791 4305645568 801614 33554432000 4194304 6004724 140735841187312 140735841173592 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 126 0 0
/proc/7262/statm: 1051183 801614 167 442 0 1050737 0
[pid=7353] ppid=7262 vsize=8741728 CPUtime=1589.49 cores=0,2,4,6
/proc/7353/stat : 7353 (glucosInc) R 7262 7261 2890 0 -1 4202496 765590 0 0 0 158512 437 0 0 20 0 1 0 378466286 8951529472 1725469 33554432000 4194304 5654031 140736838519088 140736838506904 4232821 0 0 4096 0 0 0 0 17 2 0 0 1553 0 0
/proc/7353/statm: 2185432 1725469 141 357 0 2185072 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 12955608
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 7261 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=0
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=1999
# CPU time returned by wait4() is 0.001999
# while last known CPU time is 1800.04
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1820.8
CPU time (s): 1800.04
CPU user time (s): 1780.77
CPU system time (s): 19.27
CPU usage (%): 98.8601
Max. virtual memory (cumulated for all children) (KiB): 13017252
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0
system time used= 0.001999
maximum resident set size= 1100
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 360
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= 3
involuntary context switches= 1
runsolver used 4.16137 second user time and 8.17376 second system time
The end