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-3748428-1339172029/watcher-3748428-1339172029 -o /tmp/evaluation-result-3748428-1339172029/solver-3748428-1339172029 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-I.sh HOME/instance-3748428-1339172029.opb 984719056 HOME HOME
running on 4 cores: 1,3,5,7
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.17 2.03 2.01 3/181 17379
/proc/meminfo: memFree=31453324/32873844 swapFree=7124/7124
[pid=17379] ppid=17377 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17379/stat : 17379 (npSolver-pbo-I.) S 17377 17379 17075 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 27169886 9367552 275 33554432000 4194304 5064252 140733525186016 140733525184928 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/17379/statm: 2287 275 233 213 0 72 0
[startup+0.104076 s]
/proc/loadavg: 2.17 2.03 2.01 3/181 17379
/proc/meminfo: memFree=31453324/32873844 swapFree=7124/7124
[pid=17379] ppid=17377 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17379/stat : 17379 (npSolver-pbo-I.) S 17377 17379 17075 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 27169886 9367552 275 33554432000 4194304 5064252 140733525186016 140733525184928 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/17379/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.200324 s]
/proc/loadavg: 2.17 2.03 2.01 3/181 17379
/proc/meminfo: memFree=31453324/32873844 swapFree=7124/7124
[pid=17379] ppid=17377 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17379/stat : 17379 (npSolver-pbo-I.) S 17377 17379 17075 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 27169886 9367552 275 33554432000 4194304 5064252 140733525186016 140733525184928 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/17379/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300344 s]
/proc/loadavg: 2.17 2.03 2.01 3/181 17379
/proc/meminfo: memFree=31453324/32873844 swapFree=7124/7124
[pid=17379] ppid=17377 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17379/stat : 17379 (npSolver-pbo-I.) S 17377 17379 17075 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 27169886 9367552 275 33554432000 4194304 5064252 140733525186016 140733525184928 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/17379/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700327 s]
/proc/loadavg: 2.17 2.03 2.01 3/181 17379
/proc/meminfo: memFree=31453324/32873844 swapFree=7124/7124
[pid=17379] ppid=17377 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17379/stat : 17379 (npSolver-pbo-I.) S 17377 17379 17075 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 27169886 9367552 275 33554432000 4194304 5064252 140733525186016 140733525184928 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/17379/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50031 s]
/proc/loadavg: 2.16 2.03 2.01 3/184 17382
/proc/meminfo: memFree=31237904/32873844 swapFree=7124/7124
[pid=17379] ppid=17377 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17379/stat : 17379 (npSolver-pbo-I.) S 17377 17379 17075 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 27169886 9367552 275 33554432000 4194304 5064252 140733525186016 140733525184928 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/17379/statm: 2287 275 233 213 0 72 0
[pid=17380] ppid=17379 vsize=101872 CPUtime=1.43 cores=1,3,5,7
/proc/17380/stat : 17380 (npSolver-pbo) S 17379 17379 17075 0 -1 4202496 20776 0 0 0 125 18 0 0 20 0 1 0 27169886 104316928 22712 33554432000 4194304 6004724 140733543546016 140733543540480 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/17380/statm: 25468 22712 163 442 0 25022 0
Current children cumulated CPU time (s) 1.43
Current children cumulated vsize (KiB) 111020
[startup+3.10038 s]
/proc/loadavg: 2.16 2.03 2.01 2/186 17384
/proc/meminfo: memFree=30930132/32873844 swapFree=7124/7124
[pid=17379] ppid=17377 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17379/stat : 17379 (npSolver-pbo-I.) S 17377 17379 17075 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 27169886 9367552 275 33554432000 4194304 5064252 140733525186016 140733525184928 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/17379/statm: 2287 275 233 213 0 72 0
[pid=17380] ppid=17379 vsize=101872 CPUtime=1.43 cores=1,3,5,7
/proc/17380/stat : 17380 (npSolver-pbo) S 17379 17379 17075 0 -1 4202496 20776 0 0 0 125 18 0 0 20 0 1 0 27169886 104316928 22712 33554432000 4194304 6004724 140733543546016 140733543540480 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/17380/statm: 25468 22712 163 442 0 25022 0
[pid=17383] ppid=17380 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17383/stat : 17383 (cp2_pre.sh) S 17380 17379 17075 0 -1 4202496 607 0 0 0 0 0 0 0 20 0 1 0 27170029 9367552 276 33554432000 4194304 5064252 140736086069856 140736086068560 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/17383/statm: 2287 276 234 213 0 72 0
[pid=17384] ppid=17383 vsize=242504 CPUtime=1.64 cores=1,3,5,7
/proc/17384/stat : 17384 (coprocessor) R 17383 17379 17075 0 -1 4202496 31556 0 0 0 158 6 0 0 20 0 1 0 27170030 248324096 55365 33554432000 4194304 6586260 140733450197600 140733450193864 5511711 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/17384/statm: 60626 55365 166 584 0 60038 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 362672
[startup+6.30034 s]
/proc/loadavg: 2.22 2.05 2.01 3/184 17423
/proc/meminfo: memFree=31225424/32873844 swapFree=7124/7124
[pid=17379] ppid=17377 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17379/stat : 17379 (npSolver-pbo-I.) S 17377 17379 17075 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 27169886 9367552 275 33554432000 4194304 5064252 140733525186016 140733525184928 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/17379/statm: 2287 275 233 213 0 72 0
[pid=17380] ppid=17379 vsize=101872 CPUtime=1.43 cores=1,3,5,7
/proc/17380/stat : 17380 (npSolver-pbo) S 17379 17379 17075 0 -1 4202496 20776 0 0 0 125 18 0 0 20 0 1 0 27169886 104316928 22712 33554432000 4194304 6004724 140733543546016 140733543540480 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/17380/statm: 25468 22712 163 442 0 25022 0
[pid=17383] ppid=17380 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17383/stat : 17383 (cp2_pre.sh) S 17380 17379 17075 0 -1 4202496 607 0 0 0 0 0 0 0 20 0 1 0 27170029 9367552 276 33554432000 4194304 5064252 140736086069856 140736086068560 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/17383/statm: 2287 276 234 213 0 72 0
[pid=17384] ppid=17383 vsize=322700 CPUtime=4.84 cores=1,3,5,7
/proc/17384/stat : 17384 (coprocessor) R 17383 17379 17075 0 -1 4202496 44970 0 0 0 458 26 0 0 20 0 1 0 27170030 330444800 78536 33554432000 4194304 6586260 140733450197600 140733450193224 5732496 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/17384/statm: 80675 78536 204 584 0 80087 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 442868
[startup+12.7004 s]
/proc/loadavg: 2.21 2.05 2.01 3/185 17427
/proc/meminfo: memFree=30948364/32873844 swapFree=7124/7124
[pid=17379] ppid=17377 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17379/stat : 17379 (npSolver-pbo-I.) S 17377 17379 17075 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 27169886 9367552 275 33554432000 4194304 5064252 140733525186016 140733525184928 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/17379/statm: 2287 275 233 213 0 72 0
[pid=17380] ppid=17379 vsize=101872 CPUtime=6.99 cores=1,3,5,7
/proc/17380/stat : 17380 (npSolver-pbo) S 17379 17379 17075 0 -1 4202496 20794 45873 0 0 125 18 525 31 20 0 1 0 27169886 104316928 22716 33554432000 4194304 6004724 140733543546016 140733543532296 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/17380/statm: 25468 22716 167 442 0 25022 0
[pid=17427] ppid=17380 vsize=112552 CPUtime=5.67 cores=1,3,5,7
/proc/17427/stat : 17427 (glucosInc) R 17380 17379 17075 0 -1 4202496 22055 0 0 0 563 4 0 0 20 0 1 0 27170587 115253248 24758 33554432000 4194304 5654031 140733698678960 140733698676568 4215076 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/17427/statm: 28138 24758 131 357 0 27778 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 223572
[startup+25.5005 s]
/proc/loadavg: 2.17 2.04 2.01 3/184 17429
/proc/meminfo: memFree=31300556/32873844 swapFree=7124/7124
[pid=17379] ppid=17377 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17379/stat : 17379 (npSolver-pbo-I.) S 17377 17379 17075 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 27169886 9367552 275 33554432000 4194304 5064252 140733525186016 140733525184928 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/17379/statm: 2287 275 233 213 0 72 0
[pid=17380] ppid=17379 vsize=101872 CPUtime=6.99 cores=1,3,5,7
/proc/17380/stat : 17380 (npSolver-pbo) S 17379 17379 17075 0 -1 4202496 20794 45873 0 0 125 18 525 31 20 0 1 0 27169886 104316928 22716 33554432000 4194304 6004724 140733543546016 140733543532296 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/17380/statm: 25468 22716 167 442 0 25022 0
[pid=17427] ppid=17380 vsize=112552 CPUtime=18.47 cores=1,3,5,7
/proc/17427/stat : 17427 (glucosInc) R 17380 17379 17075 0 -1 4202496 22087 0 0 0 1843 4 0 0 20 0 1 0 27170587 115253248 24789 33554432000 4194304 5654031 140733698678960 140733698676568 4215009 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/17427/statm: 28138 24789 131 357 0 27778 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 223572
[startup+51.1005 s]
/proc/loadavg: 2.10 2.04 2.01 3/184 17429
/proc/meminfo: memFree=31298632/32873844 swapFree=7124/7124
[pid=17379] ppid=17377 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17379/stat : 17379 (npSolver-pbo-I.) S 17377 17379 17075 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 27169886 9367552 275 33554432000 4194304 5064252 140733525186016 140733525184928 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/17379/statm: 2287 275 233 213 0 72 0
[pid=17380] ppid=17379 vsize=101872 CPUtime=6.99 cores=1,3,5,7
/proc/17380/stat : 17380 (npSolver-pbo) S 17379 17379 17075 0 -1 4202496 20794 45873 0 0 125 18 525 31 20 0 1 0 27169886 104316928 22716 33554432000 4194304 6004724 140733543546016 140733543532296 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/17380/statm: 25468 22716 167 442 0 25022 0
[pid=17427] ppid=17380 vsize=112552 CPUtime=44.07 cores=1,3,5,7
/proc/17427/stat : 17427 (glucosInc) R 17380 17379 17075 0 -1 4202496 22116 0 0 0 4403 4 0 0 20 0 1 0 27170587 115253248 24818 33554432000 4194304 5654031 140733698678960 140733698676568 4215009 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/17427/statm: 28138 24818 131 357 0 27778 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 223572
[startup+102.3 s]
/proc/loadavg: 2.04 2.03 2.01 3/183 17429
/proc/meminfo: memFree=31293688/32873844 swapFree=7124/7124
[pid=17379] ppid=17377 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17379/stat : 17379 (npSolver-pbo-I.) S 17377 17379 17075 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 27169886 9367552 275 33554432000 4194304 5064252 140733525186016 140733525184928 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/17379/statm: 2287 275 233 213 0 72 0
[pid=17380] ppid=17379 vsize=101872 CPUtime=6.99 cores=1,3,5,7
/proc/17380/stat : 17380 (npSolver-pbo) S 17379 17379 17075 0 -1 4202496 20794 45873 0 0 125 18 525 31 20 0 1 0 27169886 104316928 22716 33554432000 4194304 6004724 140733543546016 140733543532296 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/17380/statm: 25468 22716 167 442 0 25022 0
[pid=17427] ppid=17380 vsize=112684 CPUtime=95.27 cores=1,3,5,7
/proc/17427/stat : 17427 (glucosInc) R 17380 17379 17075 0 -1 4202496 22153 0 0 0 9523 4 0 0 20 0 1 0 27170587 115388416 24854 33554432000 4194304 5654031 140733698678960 140733698676744 4215009 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/17427/statm: 28171 24854 131 357 0 27811 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 223704
[startup+162.3 s]
/proc/loadavg: 2.05 2.04 2.00 3/183 17429
/proc/meminfo: memFree=31288708/32873844 swapFree=7124/7124
[pid=17379] ppid=17377 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17379/stat : 17379 (npSolver-pbo-I.) S 17377 17379 17075 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 27169886 9367552 275 33554432000 4194304 5064252 140733525186016 140733525184928 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/17379/statm: 2287 275 233 213 0 72 0
[pid=17380] ppid=17379 vsize=101872 CPUtime=6.99 cores=1,3,5,7
/proc/17380/stat : 17380 (npSolver-pbo) S 17379 17379 17075 0 -1 4202496 20794 45873 0 0 125 18 525 31 20 0 1 0 27169886 104316928 22716 33554432000 4194304 6004724 140733543546016 140733543532296 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/17380/statm: 25468 22716 167 442 0 25022 0
[pid=17427] ppid=17380 vsize=112684 CPUtime=155.25 cores=1,3,5,7
/proc/17427/stat : 17427 (glucosInc) R 17380 17379 17075 0 -1 4202496 22190 0 0 0 15521 4 0 0 20 0 1 0 27170587 115388416 24891 33554432000 4194304 5654031 140733698678960 140733698676744 4215009 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/17427/statm: 28171 24891 131 357 0 27811 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 223704
[startup+222.308 s]
/proc/loadavg: 2.02 2.03 2.00 3/182 17429
/proc/meminfo: memFree=31281380/32873844 swapFree=7124/7124
[pid=17379] ppid=17377 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17379/stat : 17379 (npSolver-pbo-I.) S 17377 17379 17075 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 27169886 9367552 275 33554432000 4194304 5064252 140733525186016 140733525184928 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/17379/statm: 2287 275 233 213 0 72 0
[pid=17380] ppid=17379 vsize=101872 CPUtime=6.99 cores=1,3,5,7
/proc/17380/stat : 17380 (npSolver-pbo) S 17379 17379 17075 0 -1 4202496 20794 45873 0 0 125 18 525 31 20 0 1 0 27169886 104316928 22716 33554432000 4194304 6004724 140733543546016 140733543532296 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/17380/statm: 25468 22716 167 442 0 25022 0
[pid=17427] ppid=17380 vsize=112684 CPUtime=215.24 cores=1,3,5,7
/proc/17427/stat : 17427 (glucosInc) R 17380 17379 17075 0 -1 4202496 22230 0 0 0 21520 4 0 0 20 0 1 0 27170587 115388416 25573 33554432000 4194304 5654031 140733698678960 140733698676744 4215009 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/17427/statm: 28171 25573 131 357 0 27811 0
Current children cumulated CPU time (s) 222.23
################
# More data... #
################
/proc/loadavg: 2.00 2.01 2.00 3/183 17439
/proc/meminfo: memFree=31259260/32873844 swapFree=7124/7124
[pid=17379] ppid=17377 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17379/stat : 17379 (npSolver-pbo-I.) S 17377 17379 17075 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 27169886 9367552 275 33554432000 4194304 5064252 140733525186016 140733525184928 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/17379/statm: 2287 275 233 213 0 72 0
[pid=17380] ppid=17379 vsize=101872 CPUtime=6.99 cores=1,3,5,7
/proc/17380/stat : 17380 (npSolver-pbo) S 17379 17379 17075 0 -1 4202496 20794 45873 0 0 125 18 525 31 20 0 1 0 27169886 104316928 22716 33554432000 4194304 6004724 140733543546016 140733543532296 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/17380/statm: 25468 22716 167 442 0 25022 0
[pid=17427] ppid=17380 vsize=124624 CPUtime=1355.07 cores=1,3,5,7
/proc/17427/stat : 17427 (glucosInc) R 17380 17379 17075 0 -1 4202496 22649 0 0 0 135502 5 0 0 20 0 1 0 27170587 127614976 26499 33554432000 4194304 5654031 140733698678960 140733698676744 4215009 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/17427/statm: 31156 26499 131 357 0 30796 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 235644
[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 17439
/proc/meminfo: memFree=31254792/32873844 swapFree=7124/7124
[pid=17379] ppid=17377 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17379/stat : 17379 (npSolver-pbo-I.) S 17377 17379 17075 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 27169886 9367552 275 33554432000 4194304 5064252 140733525186016 140733525184928 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/17379/statm: 2287 275 233 213 0 72 0
[pid=17380] ppid=17379 vsize=101872 CPUtime=6.99 cores=1,3,5,7
/proc/17380/stat : 17380 (npSolver-pbo) S 17379 17379 17075 0 -1 4202496 20794 45873 0 0 125 18 525 31 20 0 1 0 27169886 104316928 22716 33554432000 4194304 6004724 140733543546016 140733543532296 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/17380/statm: 25468 22716 167 442 0 25022 0
[pid=17427] ppid=17380 vsize=124624 CPUtime=1415.06 cores=1,3,5,7
/proc/17427/stat : 17427 (glucosInc) R 17380 17379 17075 0 -1 4202496 22651 0 0 0 141501 5 0 0 20 0 1 0 27170587 127614976 26501 33554432000 4194304 5654031 140733698678960 140733698676744 4215009 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/17427/statm: 31156 26501 131 357 0 30796 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 235644
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 17440
/proc/meminfo: memFree=31252372/32873844 swapFree=7124/7124
[pid=17379] ppid=17377 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17379/stat : 17379 (npSolver-pbo-I.) S 17377 17379 17075 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 27169886 9367552 275 33554432000 4194304 5064252 140733525186016 140733525184928 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/17379/statm: 2287 275 233 213 0 72 0
[pid=17380] ppid=17379 vsize=101872 CPUtime=6.99 cores=1,3,5,7
/proc/17380/stat : 17380 (npSolver-pbo) S 17379 17379 17075 0 -1 4202496 20794 45873 0 0 125 18 525 31 20 0 1 0 27169886 104316928 22716 33554432000 4194304 6004724 140733543546016 140733543532296 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/17380/statm: 25468 22716 167 442 0 25022 0
[pid=17427] ppid=17380 vsize=124624 CPUtime=1475.05 cores=1,3,5,7
/proc/17427/stat : 17427 (glucosInc) R 17380 17379 17075 0 -1 4202496 22655 0 0 0 147500 5 0 0 20 0 1 0 27170587 127614976 26505 33554432000 4194304 5654031 140733698678960 140733698676744 4215009 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/17427/statm: 31156 26505 131 357 0 30796 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 235644
[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 17440
/proc/meminfo: memFree=31248212/32873844 swapFree=7124/7124
[pid=17379] ppid=17377 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17379/stat : 17379 (npSolver-pbo-I.) S 17377 17379 17075 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 27169886 9367552 275 33554432000 4194304 5064252 140733525186016 140733525184928 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/17379/statm: 2287 275 233 213 0 72 0
[pid=17380] ppid=17379 vsize=101872 CPUtime=6.99 cores=1,3,5,7
/proc/17380/stat : 17380 (npSolver-pbo) S 17379 17379 17075 0 -1 4202496 20794 45873 0 0 125 18 525 31 20 0 1 0 27169886 104316928 22716 33554432000 4194304 6004724 140733543546016 140733543532296 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/17380/statm: 25468 22716 167 442 0 25022 0
[pid=17427] ppid=17380 vsize=124624 CPUtime=1535.05 cores=1,3,5,7
/proc/17427/stat : 17427 (glucosInc) R 17380 17379 17075 0 -1 4202496 22656 0 0 0 153500 5 0 0 20 0 1 0 27170587 127614976 26506 33554432000 4194304 5654031 140733698678960 140733698676744 4215009 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/17427/statm: 31156 26506 131 357 0 30796 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 235644
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 17443
/proc/meminfo: memFree=31245784/32873844 swapFree=7124/7124
[pid=17379] ppid=17377 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17379/stat : 17379 (npSolver-pbo-I.) S 17377 17379 17075 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 27169886 9367552 275 33554432000 4194304 5064252 140733525186016 140733525184928 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/17379/statm: 2287 275 233 213 0 72 0
[pid=17380] ppid=17379 vsize=101872 CPUtime=6.99 cores=1,3,5,7
/proc/17380/stat : 17380 (npSolver-pbo) S 17379 17379 17075 0 -1 4202496 20794 45873 0 0 125 18 525 31 20 0 1 0 27169886 104316928 22716 33554432000 4194304 6004724 140733543546016 140733543532296 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/17380/statm: 25468 22716 167 442 0 25022 0
[pid=17427] ppid=17380 vsize=124624 CPUtime=1595.03 cores=1,3,5,7
/proc/17427/stat : 17427 (glucosInc) R 17380 17379 17075 0 -1 4202496 22660 0 0 0 159498 5 0 0 20 0 1 0 27170587 127614976 26510 33554432000 4194304 5654031 140733698678960 140733698676744 4215009 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/17427/statm: 31156 26510 131 357 0 30796 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 235644
[startup+1662.3 s]
/proc/loadavg: 2.08 2.03 2.01 3/183 17443
/proc/meminfo: memFree=31243620/32873844 swapFree=7124/7124
[pid=17379] ppid=17377 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17379/stat : 17379 (npSolver-pbo-I.) S 17377 17379 17075 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 27169886 9367552 275 33554432000 4194304 5064252 140733525186016 140733525184928 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/17379/statm: 2287 275 233 213 0 72 0
[pid=17380] ppid=17379 vsize=101872 CPUtime=6.99 cores=1,3,5,7
/proc/17380/stat : 17380 (npSolver-pbo) S 17379 17379 17075 0 -1 4202496 20794 45873 0 0 125 18 525 31 20 0 1 0 27169886 104316928 22716 33554432000 4194304 6004724 140733543546016 140733543532296 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/17380/statm: 25468 22716 167 442 0 25022 0
[pid=17427] ppid=17380 vsize=124760 CPUtime=1655.02 cores=1,3,5,7
/proc/17427/stat : 17427 (glucosInc) R 17380 17379 17075 0 -1 4202496 22670 0 0 0 165497 5 0 0 20 0 1 0 27170587 127754240 26520 33554432000 4194304 5654031 140733698678960 140733698676760 4215009 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/17427/statm: 31190 26520 131 357 0 30830 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 235780
[startup+1722.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/183 17443
/proc/meminfo: memFree=31239028/32873844 swapFree=7124/7124
[pid=17379] ppid=17377 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17379/stat : 17379 (npSolver-pbo-I.) S 17377 17379 17075 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 27169886 9367552 275 33554432000 4194304 5064252 140733525186016 140733525184928 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/17379/statm: 2287 275 233 213 0 72 0
[pid=17380] ppid=17379 vsize=101872 CPUtime=6.99 cores=1,3,5,7
/proc/17380/stat : 17380 (npSolver-pbo) S 17379 17379 17075 0 -1 4202496 20794 45873 0 0 125 18 525 31 20 0 1 0 27169886 104316928 22716 33554432000 4194304 6004724 140733543546016 140733543532296 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/17380/statm: 25468 22716 167 442 0 25022 0
[pid=17427] ppid=17380 vsize=124892 CPUtime=1715.01 cores=1,3,5,7
/proc/17427/stat : 17427 (glucosInc) R 17380 17379 17075 0 -1 4202496 22722 0 0 0 171496 5 0 0 20 0 1 0 27170587 127889408 26572 33554432000 4194304 5654031 140733698678960 140733698676792 4215009 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/17427/statm: 31223 26572 131 357 0 30863 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 235912
[startup+1782.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/183 17444
/proc/meminfo: memFree=31238780/32873844 swapFree=7124/7124
[pid=17379] ppid=17377 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17379/stat : 17379 (npSolver-pbo-I.) S 17377 17379 17075 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 27169886 9367552 275 33554432000 4194304 5064252 140733525186016 140733525184928 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/17379/statm: 2287 275 233 213 0 72 0
[pid=17380] ppid=17379 vsize=101872 CPUtime=6.99 cores=1,3,5,7
/proc/17380/stat : 17380 (npSolver-pbo) S 17379 17379 17075 0 -1 4202496 20794 45873 0 0 125 18 525 31 20 0 1 0 27169886 104316928 22716 33554432000 4194304 6004724 140733543546016 140733543532296 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/17380/statm: 25468 22716 167 442 0 25022 0
[pid=17427] ppid=17380 vsize=125024 CPUtime=1775 cores=1,3,5,7
/proc/17427/stat : 17427 (glucosInc) R 17380 17379 17075 0 -1 4202496 22733 0 0 0 177495 5 0 0 20 0 1 0 27170587 128024576 26583 33554432000 4194304 5654031 140733698678960 140733698676744 4215088 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/17427/statm: 31256 26583 131 357 0 30896 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 236044
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.01 2.01 2.00 3/183 17444
/proc/meminfo: memFree=31236856/32873844 swapFree=7124/7124
[pid=17379] ppid=17377 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17379/stat : 17379 (npSolver-pbo-I.) S 17377 17379 17075 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 27169886 9367552 275 33554432000 4194304 5064252 140733525186016 140733525184928 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/17379/statm: 2287 275 233 213 0 72 0
[pid=17380] ppid=17379 vsize=101872 CPUtime=6.99 cores=1,3,5,7
/proc/17380/stat : 17380 (npSolver-pbo) S 17379 17379 17075 0 -1 4202496 20794 45873 0 0 125 18 525 31 20 0 1 0 27169886 104316928 22716 33554432000 4194304 6004724 140733543546016 140733543532296 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/17380/statm: 25468 22716 167 442 0 25022 0
[pid=17427] ppid=17380 vsize=125024 CPUtime=1793.11 cores=1,3,5,7
/proc/17427/stat : 17427 (glucosInc) R 17380 17379 17075 0 -1 4202496 22733 0 0 0 179306 5 0 0 20 0 1 0 27170587 128024576 26583 33554432000 4194304 5654031 140733698678960 140733698676744 4215009 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/17427/statm: 31256 26583 131 357 0 30896 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 236044
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
[startup+1800.4 s]
/proc/loadavg: 2.01 2.01 2.00 3/183 17444
/proc/meminfo: memFree=31236856/32873844 swapFree=7124/7124
[pid=17379] ppid=17377 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17379/stat : 17379 (npSolver-pbo-I.) S 17377 17379 17075 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 27169886 9367552 275 33554432000 4194304 5064252 140733525186016 140733525184928 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/17379/statm: 2287 275 233 213 0 72 0
[pid=17380] ppid=17379 vsize=101872 CPUtime=6.99 cores=1,3,5,7
/proc/17380/stat : 17380 (npSolver-pbo) S 17379 17379 17075 0 -1 4202496 20794 45873 0 0 125 18 525 31 20 0 1 0 27169886 104316928 22716 33554432000 4194304 6004724 140733543546016 140733543532296 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/17380/statm: 25468 22716 167 442 0 25022 0
[pid=17427] ppid=17380 vsize=125024 CPUtime=1793.11 cores=1,3,5,7
/proc/17427/stat : 17427 (glucosInc) R 17380 17379 17075 0 -1 4202496 22733 0 0 0 179306 5 0 0 20 0 1 0 27170587 128024576 26583 33554432000 4194304 5654031 140733698678960 140733698676744 4215009 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/17427/statm: 31256 26583 131 357 0 30896 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 236044
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 17379 and gives
# childrusage.ru_utime.tv_sec=6
# childrusage.ru_utime.tv_usec=508010
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=509922
# CPU time returned by wait4() is 7.01793
# while last known CPU time is 1800.1
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800.41
CPU time (s): 1800.1
CPU user time (s): 1799.56
CPU system time (s): 0.54
CPU usage (%): 99.9826
Max. virtual memory (cumulated for all children) (KiB): 442868
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 6.50801
system time used= 0.509922
maximum resident set size= 322116
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 67043
page faults= 0
swaps= 0
block input operations= 0
block output operations= 152456
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12
involuntary context switches= 19
runsolver used 2.87856 second user time and 8.58769 second system time
The end