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-3702479-1338118707/watcher-3702479-1338118707 -o /tmp/evaluation-result-3702479-1338118707/solver-3702479-1338118707 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itdqb.sh HOME/instance-3702479-1338118707.opb 1694663472 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.09 2.07 2.03 3/180 3611
/proc/meminfo: memFree=30778816/32873844 swapFree=7112/7112
[pid=3611] ppid=3609 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3611/stat : 3611 (npSolver-pbo-It) S 3609 3611 23606 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 277996040 9367552 275 33554432000 4194304 5064252 140735009073296 140735009072208 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3611/statm: 2287 275 233 213 0 72 0
[startup+0.049064 s]
/proc/loadavg: 2.09 2.07 2.03 3/180 3611
/proc/meminfo: memFree=30778816/32873844 swapFree=7112/7112
[pid=3611] ppid=3609 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3611/stat : 3611 (npSolver-pbo-It) S 3609 3611 23606 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 277996040 9367552 275 33554432000 4194304 5064252 140735009073296 140735009072208 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3611/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100252 s]
/proc/loadavg: 2.09 2.07 2.03 3/180 3611
/proc/meminfo: memFree=30778816/32873844 swapFree=7112/7112
[pid=3611] ppid=3609 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3611/stat : 3611 (npSolver-pbo-It) S 3609 3611 23606 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 277996040 9367552 275 33554432000 4194304 5064252 140735009073296 140735009072208 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3611/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300222 s]
/proc/loadavg: 2.09 2.07 2.03 3/180 3611
/proc/meminfo: memFree=30778816/32873844 swapFree=7112/7112
[pid=3611] ppid=3609 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3611/stat : 3611 (npSolver-pbo-It) S 3609 3611 23606 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 277996040 9367552 275 33554432000 4194304 5064252 140735009073296 140735009072208 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3611/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700274 s]
/proc/loadavg: 2.09 2.07 2.03 3/180 3611
/proc/meminfo: memFree=30778816/32873844 swapFree=7112/7112
[pid=3611] ppid=3609 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3611/stat : 3611 (npSolver-pbo-It) S 3609 3611 23606 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 277996040 9367552 275 33554432000 4194304 5064252 140735009073296 140735009072208 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3611/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.5003 s]
/proc/loadavg: 2.08 2.07 2.02 3/182 3613
/proc/meminfo: memFree=30697656/32873844 swapFree=7112/7112
[pid=3611] ppid=3609 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3611/stat : 3611 (npSolver-pbo-It) S 3609 3611 23606 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 277996040 9367552 275 33554432000 4194304 5064252 140735009073296 140735009072208 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3611/statm: 2287 275 233 213 0 72 0
[pid=3612] ppid=3611 vsize=171884 CPUtime=1.49 cores=0,2,4,6
/proc/3612/stat : 3612 (npSolver-pbo) R 3611 3611 23606 0 -1 4202496 13732 0 0 0 144 5 0 0 20 0 1 0 277996040 176009216 28983 33554432000 4194304 5992684 140734861415328 140734861410648 4524725 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/3612/statm: 42971 28983 167 440 0 42527 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 181032
[startup+3.10037 s]
/proc/loadavg: 2.08 2.07 2.02 3/184 3615
/proc/meminfo: memFree=30531232/32873844 swapFree=7112/7112
[pid=3611] ppid=3609 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3611/stat : 3611 (npSolver-pbo-It) S 3609 3611 23606 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 277996040 9367552 275 33554432000 4194304 5064252 140735009073296 140735009072208 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3611/statm: 2287 275 233 213 0 72 0
[pid=3612] ppid=3611 vsize=171884 CPUtime=1.81 cores=0,2,4,6
/proc/3612/stat : 3612 (npSolver-pbo) S 3611 3611 23606 0 -1 4202496 14197 0 0 0 160 21 0 0 20 0 1 0 277996040 176009216 31550 33554432000 4194304 5992684 140734861415328 140734861409776 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3612/statm: 42971 31550 174 440 0 42527 0
[pid=3614] ppid=3612 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3614/stat : 3614 (cp2_pre.sh) S 3612 3611 23606 0 -1 4202496 609 0 0 0 0 0 0 0 20 0 1 0 277996222 9367552 276 33554432000 4194304 5064252 140735970083744 140735970082448 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/3614/statm: 2287 276 234 213 0 72 0
[pid=3615] ppid=3614 vsize=294972 CPUtime=1.26 cores=0,2,4,6
/proc/3615/stat : 3615 (coprocessor) R 3614 3611 23606 0 -1 4202496 24417 0 0 0 118 8 0 0 20 0 1 0 277996222 302051328 65643 33554432000 4194304 6586260 140737451316848 140737451312760 5511711 0 0 4096 8404994 0 0 0 17 2 0 0 0 0 0
/proc/3615/statm: 73743 65643 166 584 0 73155 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 485152
[startup+6.30038 s]
/proc/loadavg: 2.08 2.07 2.02 3/184 3615
/proc/meminfo: memFree=30167400/32873844 swapFree=7112/7112
[pid=3611] ppid=3609 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3611/stat : 3611 (npSolver-pbo-It) S 3609 3611 23606 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 277996040 9367552 275 33554432000 4194304 5064252 140735009073296 140735009072208 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3611/statm: 2287 275 233 213 0 72 0
[pid=3612] ppid=3611 vsize=171884 CPUtime=1.81 cores=0,2,4,6
/proc/3612/stat : 3612 (npSolver-pbo) S 3611 3611 23606 0 -1 4202496 14197 0 0 0 160 21 0 0 20 0 1 0 277996040 176009216 31550 33554432000 4194304 5992684 140734861415328 140734861409776 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3612/statm: 42971 31550 174 440 0 42527 0
[pid=3614] ppid=3612 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3614/stat : 3614 (cp2_pre.sh) S 3612 3611 23606 0 -1 4202496 609 0 0 0 0 0 0 0 20 0 1 0 277996222 9367552 276 33554432000 4194304 5064252 140735970083744 140735970082448 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/3614/statm: 2287 276 234 213 0 72 0
[pid=3615] ppid=3614 vsize=408860 CPUtime=4.46 cores=0,2,4,6
/proc/3615/stat : 3615 (coprocessor) R 3614 3611 23606 0 -1 4202496 51112 0 0 0 432 14 0 0 20 0 1 0 277996222 418672640 99492 33554432000 4194304 6586260 140737451316848 140737451312872 4752976 0 0 4096 8404994 0 0 0 17 2 0 0 0 0 0
/proc/3615/statm: 102215 99492 182 584 0 101627 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 599040
[startup+12.7003 s]
/proc/loadavg: 2.14 2.09 2.03 3/183 3617
/proc/meminfo: memFree=30462772/32873844 swapFree=7112/7112
[pid=3611] ppid=3609 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3611/stat : 3611 (npSolver-pbo-It) S 3609 3611 23606 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 277996040 9367552 275 33554432000 4194304 5064252 140735009073296 140735009072208 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3611/statm: 2287 275 233 213 0 72 0
[pid=3612] ppid=3611 vsize=171884 CPUtime=8.78 cores=0,2,4,6
/proc/3612/stat : 3612 (npSolver-pbo) S 3611 3611 23606 0 -1 4202496 14212 59085 0 0 160 21 666 31 20 0 1 0 277996040 176009216 31552 33554432000 4194304 5992684 140734861415328 140734861401592 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/3612/statm: 42971 31552 176 440 0 42527 0
[pid=3617] ppid=3612 vsize=174556 CPUtime=3.77 cores=0,2,4,6
/proc/3617/stat : 3617 (glucosInc) R 3612 3611 23606 0 -1 4202496 32179 0 0 0 370 7 0 0 20 0 1 0 277996932 178745344 39174 33554432000 4194304 5654031 140734799899968 140734799887784 4232927 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/3617/statm: 43639 39174 140 357 0 43279 0
Current children cumulated CPU time (s) 12.55
Current children cumulated vsize (KiB) 355588
[startup+25.5003 s]
/proc/loadavg: 2.12 2.08 2.03 3/183 3617
/proc/meminfo: memFree=30462400/32873844 swapFree=7112/7112
[pid=3611] ppid=3609 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3611/stat : 3611 (npSolver-pbo-It) S 3609 3611 23606 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 277996040 9367552 275 33554432000 4194304 5064252 140735009073296 140735009072208 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3611/statm: 2287 275 233 213 0 72 0
[pid=3612] ppid=3611 vsize=171884 CPUtime=8.78 cores=0,2,4,6
/proc/3612/stat : 3612 (npSolver-pbo) S 3611 3611 23606 0 -1 4202496 14212 59085 0 0 160 21 666 31 20 0 1 0 277996040 176009216 31552 33554432000 4194304 5992684 140734861415328 140734861401592 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/3612/statm: 42971 31552 176 440 0 42527 0
[pid=3617] ppid=3612 vsize=174556 CPUtime=16.57 cores=0,2,4,6
/proc/3617/stat : 3617 (glucosInc) R 3612 3611 23606 0 -1 4202496 32409 0 0 0 1650 7 0 0 20 0 1 0 277996932 178745344 39404 33554432000 4194304 5654031 140734799899968 140734799887784 4215009 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/3617/statm: 43639 39404 140 357 0 43279 0
Current children cumulated CPU time (s) 25.35
Current children cumulated vsize (KiB) 355588
[startup+51.1002 s]
/proc/loadavg: 2.08 2.08 2.03 3/183 3617
/proc/meminfo: memFree=30459360/32873844 swapFree=7112/7112
[pid=3611] ppid=3609 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3611/stat : 3611 (npSolver-pbo-It) S 3609 3611 23606 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 277996040 9367552 275 33554432000 4194304 5064252 140735009073296 140735009072208 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3611/statm: 2287 275 233 213 0 72 0
[pid=3612] ppid=3611 vsize=171884 CPUtime=8.78 cores=0,2,4,6
/proc/3612/stat : 3612 (npSolver-pbo) S 3611 3611 23606 0 -1 4202496 14212 59085 0 0 160 21 666 31 20 0 1 0 277996040 176009216 31552 33554432000 4194304 5992684 140734861415328 140734861401592 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/3612/statm: 42971 31552 176 440 0 42527 0
[pid=3617] ppid=3612 vsize=195032 CPUtime=42.16 cores=0,2,4,6
/proc/3617/stat : 3617 (glucosInc) R 3612 3611 23606 0 -1 4202496 33157 0 0 0 4209 7 0 0 20 0 1 0 277996932 199712768 40148 33554432000 4194304 5654031 140734799899968 140734799887784 4215327 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/3617/statm: 48758 40148 140 357 0 48398 0
Current children cumulated CPU time (s) 50.94
Current children cumulated vsize (KiB) 376064
[startup+102.3 s]
/proc/loadavg: 2.03 2.06 2.02 3/184 3621
/proc/meminfo: memFree=30451392/32873844 swapFree=7112/7112
[pid=3611] ppid=3609 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3611/stat : 3611 (npSolver-pbo-It) S 3609 3611 23606 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 277996040 9367552 275 33554432000 4194304 5064252 140735009073296 140735009072208 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3611/statm: 2287 275 233 213 0 72 0
[pid=3612] ppid=3611 vsize=171884 CPUtime=8.78 cores=0,2,4,6
/proc/3612/stat : 3612 (npSolver-pbo) S 3611 3611 23606 0 -1 4202496 14212 59085 0 0 160 21 666 31 20 0 1 0 277996040 176009216 31552 33554432000 4194304 5992684 140734861415328 140734861401592 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/3612/statm: 42971 31552 176 440 0 42527 0
[pid=3617] ppid=3612 vsize=196932 CPUtime=93.35 cores=0,2,4,6
/proc/3617/stat : 3617 (glucosInc) R 3612 3611 23606 0 -1 4202496 33740 0 0 0 9328 7 0 0 20 0 1 0 277996932 201658368 41751 33554432000 4194304 5654031 140734799899968 140734799887784 4215009 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/3617/statm: 49233 41751 140 357 0 48873 0
Current children cumulated CPU time (s) 102.13
Current children cumulated vsize (KiB) 377964
[startup+162.3 s]
/proc/loadavg: 2.01 2.05 2.01 3/183 3621
/proc/meminfo: memFree=30451476/32873844 swapFree=7112/7112
[pid=3611] ppid=3609 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3611/stat : 3611 (npSolver-pbo-It) S 3609 3611 23606 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 277996040 9367552 275 33554432000 4194304 5064252 140735009073296 140735009072208 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3611/statm: 2287 275 233 213 0 72 0
[pid=3612] ppid=3611 vsize=171884 CPUtime=8.78 cores=0,2,4,6
/proc/3612/stat : 3612 (npSolver-pbo) S 3611 3611 23606 0 -1 4202496 14212 59085 0 0 160 21 666 31 20 0 1 0 277996040 176009216 31552 33554432000 4194304 5992684 140734861415328 140734861401592 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/3612/statm: 42971 31552 176 440 0 42527 0
[pid=3617] ppid=3612 vsize=196932 CPUtime=153.34 cores=0,2,4,6
/proc/3617/stat : 3617 (glucosInc) R 3612 3611 23606 0 -1 4202496 33740 0 0 0 15327 7 0 0 20 0 1 0 277996932 201658368 41751 33554432000 4194304 5654031 140734799899968 140734799887784 4215009 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/3617/statm: 49233 41751 140 357 0 48873 0
Current children cumulated CPU time (s) 162.12
Current children cumulated vsize (KiB) 377964
[startup+222.3 s]
/proc/loadavg: 2.00 2.04 2.01 3/183 3621
/proc/meminfo: memFree=30453188/32873844 swapFree=7112/7112
[pid=3611] ppid=3609 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3611/stat : 3611 (npSolver-pbo-It) S 3609 3611 23606 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 277996040 9367552 275 33554432000 4194304 5064252 140735009073296 140735009072208 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3611/statm: 2287 275 233 213 0 72 0
[pid=3612] ppid=3611 vsize=171884 CPUtime=8.78 cores=0,2,4,6
/proc/3612/stat : 3612 (npSolver-pbo) S 3611 3611 23606 0 -1 4202496 14212 59085 0 0 160 21 666 31 20 0 1 0 277996040 176009216 31552 33554432000 4194304 5992684 140734861415328 140734861401592 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/3612/statm: 42971 31552 176 440 0 42527 0
[pid=3617] ppid=3612 vsize=180284 CPUtime=213.33 cores=0,2,4,6
/proc/3617/stat : 3617 (glucosInc) R 3612 3611 23606 0 -1 4202496 34465 0 0 0 21325 8 0 0 20 0 1 0 277996932 184610816 41131 33554432000 4194304 5654031 140734799899968 140734799887784 4215124 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/3617/statm: 45071 41131 141 357 0 44711 0
Current children cumulated CPU time (s) 222.11
################
# More data... #
################
/proc/loadavg: 2.00 2.00 2.00 3/184 3742
/proc/meminfo: memFree=30305480/32873844 swapFree=7112/7112
[pid=3611] ppid=3609 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3611/stat : 3611 (npSolver-pbo-It) S 3609 3611 23606 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 277996040 9367552 275 33554432000 4194304 5064252 140735009073296 140735009072208 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3611/statm: 2287 275 233 213 0 72 0
[pid=3612] ppid=3611 vsize=171884 CPUtime=8.78 cores=0,2,4,6
/proc/3612/stat : 3612 (npSolver-pbo) S 3611 3611 23606 0 -1 4202496 14212 59085 0 0 160 21 666 31 20 0 1 0 277996040 176009216 31552 33554432000 4194304 5992684 140734861415328 140734861401592 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/3612/statm: 42971 31552 176 440 0 42527 0
[pid=3617] ppid=3612 vsize=233440 CPUtime=1353.12 cores=0,2,4,6
/proc/3617/stat : 3617 (glucosInc) R 3612 3611 23606 0 -1 4202496 36741 0 0 0 135300 12 0 0 20 0 1 0 277996932 239042560 49667 33554432000 4194304 5654031 140734799899968 140734799887784 4232477 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/3617/statm: 58360 49667 141 357 0 58000 0
Current children cumulated CPU time (s) 1361.9
Current children cumulated vsize (KiB) 414472
[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 3742
/proc/meminfo: memFree=30325752/32873844 swapFree=7112/7112
[pid=3611] ppid=3609 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3611/stat : 3611 (npSolver-pbo-It) S 3609 3611 23606 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 277996040 9367552 275 33554432000 4194304 5064252 140735009073296 140735009072208 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3611/statm: 2287 275 233 213 0 72 0
[pid=3612] ppid=3611 vsize=171884 CPUtime=8.78 cores=0,2,4,6
/proc/3612/stat : 3612 (npSolver-pbo) S 3611 3611 23606 0 -1 4202496 14212 59085 0 0 160 21 666 31 20 0 1 0 277996040 176009216 31552 33554432000 4194304 5992684 140734861415328 140734861401592 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/3612/statm: 42971 31552 176 440 0 42527 0
[pid=3617] ppid=3612 vsize=202772 CPUtime=1413.12 cores=0,2,4,6
/proc/3617/stat : 3617 (glucosInc) R 3612 3611 23606 0 -1 4202496 37128 0 0 0 141299 13 0 0 20 0 1 0 277996932 207638528 44032 33554432000 4194304 5654031 140734799899968 140734799887784 4215307 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/3617/statm: 50693 44032 141 357 0 50333 0
Current children cumulated CPU time (s) 1421.9
Current children cumulated vsize (KiB) 383804
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 3742
/proc/meminfo: memFree=30319112/32873844 swapFree=7112/7112
[pid=3611] ppid=3609 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3611/stat : 3611 (npSolver-pbo-It) S 3609 3611 23606 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 277996040 9367552 275 33554432000 4194304 5064252 140735009073296 140735009072208 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3611/statm: 2287 275 233 213 0 72 0
[pid=3612] ppid=3611 vsize=171884 CPUtime=8.78 cores=0,2,4,6
/proc/3612/stat : 3612 (npSolver-pbo) S 3611 3611 23606 0 -1 4202496 14212 59085 0 0 160 21 666 31 20 0 1 0 277996040 176009216 31552 33554432000 4194304 5992684 140734861415328 140734861401592 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/3612/statm: 42971 31552 176 440 0 42527 0
[pid=3617] ppid=3612 vsize=203096 CPUtime=1473.11 cores=0,2,4,6
/proc/3617/stat : 3617 (glucosInc) R 3612 3611 23606 0 -1 4202496 37211 0 0 0 147298 13 0 0 20 0 1 0 277996932 207970304 45137 33554432000 4194304 5654031 140734799899968 140734799887784 4214977 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/3617/statm: 50774 45137 141 357 0 50414 0
Current children cumulated CPU time (s) 1481.89
Current children cumulated vsize (KiB) 384128
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 3742
/proc/meminfo: memFree=30314396/32873844 swapFree=7112/7112
[pid=3611] ppid=3609 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3611/stat : 3611 (npSolver-pbo-It) S 3609 3611 23606 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 277996040 9367552 275 33554432000 4194304 5064252 140735009073296 140735009072208 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3611/statm: 2287 275 233 213 0 72 0
[pid=3612] ppid=3611 vsize=171884 CPUtime=8.78 cores=0,2,4,6
/proc/3612/stat : 3612 (npSolver-pbo) S 3611 3611 23606 0 -1 4202496 14212 59085 0 0 160 21 666 31 20 0 1 0 277996040 176009216 31552 33554432000 4194304 5992684 140734861415328 140734861401592 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/3612/statm: 42971 31552 176 440 0 42527 0
[pid=3617] ppid=3612 vsize=203228 CPUtime=1533.1 cores=0,2,4,6
/proc/3617/stat : 3617 (glucosInc) R 3612 3611 23606 0 -1 4202496 37248 0 0 0 153297 13 0 0 20 0 1 0 277996932 208105472 45685 33554432000 4194304 5654031 140734799899968 140734799887784 4215344 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/3617/statm: 50807 45685 141 357 0 50447 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 384260
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 3742
/proc/meminfo: memFree=30312348/32873844 swapFree=7112/7112
[pid=3611] ppid=3609 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3611/stat : 3611 (npSolver-pbo-It) S 3609 3611 23606 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 277996040 9367552 275 33554432000 4194304 5064252 140735009073296 140735009072208 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3611/statm: 2287 275 233 213 0 72 0
[pid=3612] ppid=3611 vsize=171884 CPUtime=8.78 cores=0,2,4,6
/proc/3612/stat : 3612 (npSolver-pbo) S 3611 3611 23606 0 -1 4202496 14212 59085 0 0 160 21 666 31 20 0 1 0 277996040 176009216 31552 33554432000 4194304 5992684 140734861415328 140734861401592 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/3612/statm: 42971 31552 176 440 0 42527 0
[pid=3617] ppid=3612 vsize=203440 CPUtime=1593.09 cores=0,2,4,6
/proc/3617/stat : 3617 (glucosInc) R 3612 3611 23606 0 -1 4202496 37257 0 0 0 159296 13 0 0 20 0 1 0 277996932 208322560 46716 33554432000 4194304 5654031 140734799899968 140734799887784 4215009 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/3617/statm: 50860 46716 141 357 0 50500 0
Current children cumulated CPU time (s) 1601.87
Current children cumulated vsize (KiB) 384472
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 3743
/proc/meminfo: memFree=30307064/32873844 swapFree=7112/7112
[pid=3611] ppid=3609 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3611/stat : 3611 (npSolver-pbo-It) S 3609 3611 23606 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 277996040 9367552 275 33554432000 4194304 5064252 140735009073296 140735009072208 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3611/statm: 2287 275 233 213 0 72 0
[pid=3612] ppid=3611 vsize=171884 CPUtime=8.78 cores=0,2,4,6
/proc/3612/stat : 3612 (npSolver-pbo) S 3611 3611 23606 0 -1 4202496 14212 59085 0 0 160 21 666 31 20 0 1 0 277996040 176009216 31552 33554432000 4194304 5992684 140734861415328 140734861401592 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/3612/statm: 42971 31552 176 440 0 42527 0
[pid=3617] ppid=3612 vsize=234508 CPUtime=1653.08 cores=0,2,4,6
/proc/3617/stat : 3617 (glucosInc) R 3612 3611 23606 0 -1 4202496 37874 0 0 0 165294 14 0 0 20 0 1 0 277996932 240136192 47388 33554432000 4194304 5654031 140734799899968 140734799887784 4215079 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/3617/statm: 58627 47388 141 357 0 58267 0
Current children cumulated CPU time (s) 1661.86
Current children cumulated vsize (KiB) 415540
[startup+1722.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/183 3743
/proc/meminfo: memFree=30301380/32873844 swapFree=7112/7112
[pid=3611] ppid=3609 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3611/stat : 3611 (npSolver-pbo-It) S 3609 3611 23606 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 277996040 9367552 275 33554432000 4194304 5064252 140735009073296 140735009072208 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3611/statm: 2287 275 233 213 0 72 0
[pid=3612] ppid=3611 vsize=171884 CPUtime=8.78 cores=0,2,4,6
/proc/3612/stat : 3612 (npSolver-pbo) S 3611 3611 23606 0 -1 4202496 14212 59085 0 0 160 21 666 31 20 0 1 0 277996040 176009216 31552 33554432000 4194304 5992684 140734861415328 140734861401592 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/3612/statm: 42971 31552 176 440 0 42527 0
[pid=3617] ppid=3612 vsize=234680 CPUtime=1713.07 cores=0,2,4,6
/proc/3617/stat : 3617 (glucosInc) R 3612 3611 23606 0 -1 4202496 37974 0 0 0 171293 14 0 0 20 0 1 0 277996932 240312320 48506 33554432000 4194304 5654031 140734799899968 140734799887784 4215248 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/3617/statm: 58670 48506 141 357 0 58310 0
Current children cumulated CPU time (s) 1721.85
Current children cumulated vsize (KiB) 415712
[startup+1782.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/183 3743
/proc/meminfo: memFree=30294244/32873844 swapFree=7112/7112
[pid=3611] ppid=3609 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3611/stat : 3611 (npSolver-pbo-It) S 3609 3611 23606 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 277996040 9367552 275 33554432000 4194304 5064252 140735009073296 140735009072208 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3611/statm: 2287 275 233 213 0 72 0
[pid=3612] ppid=3611 vsize=171884 CPUtime=8.78 cores=0,2,4,6
/proc/3612/stat : 3612 (npSolver-pbo) S 3611 3611 23606 0 -1 4202496 14212 59085 0 0 160 21 666 31 20 0 1 0 277996040 176009216 31552 33554432000 4194304 5992684 140734861415328 140734861401592 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/3612/statm: 42971 31552 176 440 0 42527 0
[pid=3617] ppid=3612 vsize=234852 CPUtime=1773.06 cores=0,2,4,6
/proc/3617/stat : 3617 (glucosInc) R 3612 3611 23606 0 -1 4202496 38005 0 0 0 177292 14 0 0 20 0 1 0 277996932 240488448 49559 33554432000 4194304 5654031 140734799899968 140734799897656 4215009 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/3617/statm: 58713 49559 141 357 0 58353 0
Current children cumulated CPU time (s) 1781.84
Current children cumulated vsize (KiB) 415884
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 2.02 2.01 2.00 3/183 3743
/proc/meminfo: memFree=30294244/32873844 swapFree=7112/7112
[pid=3611] ppid=3609 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3611/stat : 3611 (npSolver-pbo-It) S 3609 3611 23606 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 277996040 9367552 275 33554432000 4194304 5064252 140735009073296 140735009072208 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3611/statm: 2287 275 233 213 0 72 0
[pid=3612] ppid=3611 vsize=171884 CPUtime=8.78 cores=0,2,4,6
/proc/3612/stat : 3612 (npSolver-pbo) S 3611 3611 23606 0 -1 4202496 14212 59085 0 0 160 21 666 31 20 0 1 0 277996040 176009216 31552 33554432000 4194304 5992684 140734861415328 140734861401592 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/3612/statm: 42971 31552 176 440 0 42527 0
[pid=3617] ppid=3612 vsize=234852 CPUtime=1791.27 cores=0,2,4,6
/proc/3617/stat : 3617 (glucosInc) R 3612 3611 23606 0 -1 4202496 38015 0 0 0 179113 14 0 0 20 0 1 0 277996932 240488448 49569 33554432000 4194304 5654031 140734799899968 140734799887784 4215009 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/3617/statm: 58713 49569 141 357 0 58353 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 415884
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
[startup+1800.5 s]
/proc/loadavg: 2.02 2.01 2.00 3/183 3743
/proc/meminfo: memFree=30294244/32873844 swapFree=7112/7112
[pid=3611] ppid=3609 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3611/stat : 3611 (npSolver-pbo-It) S 3609 3611 23606 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 277996040 9367552 275 33554432000 4194304 5064252 140735009073296 140735009072208 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3611/statm: 2287 275 233 213 0 72 0
[pid=3612] ppid=3611 vsize=171884 CPUtime=8.78 cores=0,2,4,6
/proc/3612/stat : 3612 (npSolver-pbo) S 3611 3611 23606 0 -1 4202496 14212 59085 0 0 160 21 666 31 20 0 1 0 277996040 176009216 31552 33554432000 4194304 5992684 140734861415328 140734861401592 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/3612/statm: 42971 31552 176 440 0 42527 0
[pid=3617] ppid=3612 vsize=234852 CPUtime=1791.27 cores=0,2,4,6
/proc/3617/stat : 3617 (glucosInc) R 3612 3611 23606 0 -1 4202496 38015 0 0 0 179113 14 0 0 20 0 1 0 277996932 240488448 49569 33554432000 4194304 5654031 140734799899968 140734799887784 4215009 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/3617/statm: 58713 49569 141 357 0 58353 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 415884
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 3611 and gives
# childrusage.ru_utime.tv_sec=8
# childrusage.ru_utime.tv_usec=267743
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=538918
# CPU time returned by wait4() is 8.80666
# while last known CPU time is 1800.05
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800.52
CPU time (s): 1800.05
CPU user time (s): 1799.39
CPU system time (s): 0.66
CPU usage (%): 99.9739
Max. virtual memory (cumulated for all children) (KiB): 647956
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8.26774
system time used= 0.538918
maximum resident set size= 460988
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 73673
page faults= 0
swaps= 0
block input operations= 0
block output operations= 236304
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 13
involuntary context switches= 29
runsolver used 3.51147 second user time and 8.5407 second system time
The end