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-3702794-1338051995/watcher-3702794-1338051995 -o /tmp/evaluation-result-3702794-1338051995/solver-3702794-1338051995 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itdqb.sh HOME/instance-3702794-1338051995.opb 1084100242 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: 1.94 2.00 1.88 3/174 10167
/proc/meminfo: memFree=29106860/32873844 swapFree=7616/7616
[pid=10167] ppid=10165 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10167/stat : 10167 (npSolver-pbo-It) S 10165 10167 10128 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271325090 9367552 275 33554432000 4194304 5064252 140735602563696 140735602562608 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10167/statm: 2287 275 233 213 0 72 0
[startup+0.030344 s]
/proc/loadavg: 1.94 2.00 1.88 3/174 10167
/proc/meminfo: memFree=29106860/32873844 swapFree=7616/7616
[pid=10167] ppid=10165 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10167/stat : 10167 (npSolver-pbo-It) S 10165 10167 10128 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271325090 9367552 275 33554432000 4194304 5064252 140735602563696 140735602562608 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10167/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.10026 s]
/proc/loadavg: 1.94 2.00 1.88 3/174 10167
/proc/meminfo: memFree=29106860/32873844 swapFree=7616/7616
[pid=10167] ppid=10165 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10167/stat : 10167 (npSolver-pbo-It) S 10165 10167 10128 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271325090 9367552 275 33554432000 4194304 5064252 140735602563696 140735602562608 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10167/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300229 s]
/proc/loadavg: 1.94 2.00 1.88 3/174 10167
/proc/meminfo: memFree=29106860/32873844 swapFree=7616/7616
[pid=10167] ppid=10165 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10167/stat : 10167 (npSolver-pbo-It) S 10165 10167 10128 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271325090 9367552 275 33554432000 4194304 5064252 140735602563696 140735602562608 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10167/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700234 s]
/proc/loadavg: 1.94 2.00 1.88 3/174 10167
/proc/meminfo: memFree=29106860/32873844 swapFree=7616/7616
[pid=10167] ppid=10165 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10167/stat : 10167 (npSolver-pbo-It) S 10165 10167 10128 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271325090 9367552 275 33554432000 4194304 5064252 140735602563696 140735602562608 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10167/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50023 s]
/proc/loadavg: 1.94 2.00 1.88 3/181 10191
/proc/meminfo: memFree=29070604/32873844 swapFree=7616/7616
[pid=10167] ppid=10165 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10167/stat : 10167 (npSolver-pbo-It) S 10165 10167 10128 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271325090 9367552 275 33554432000 4194304 5064252 140735602563696 140735602562608 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10167/statm: 2287 275 233 213 0 72 0
[pid=10169] ppid=10167 vsize=9236 CPUtime=1.2 cores=1,3,5,7
/proc/10169/stat : 10169 (npSolver-pbo) S 10167 10167 10128 0 -1 4202496 3810 13975 0 0 42 11 61 6 20 0 1 0 271325091 9457664 1581 33554432000 4194304 5992684 140734759152336 140734759138168 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/10169/statm: 2309 1581 194 440 0 1865 0
Current children cumulated CPU time (s) 1.2
Current children cumulated vsize (KiB) 18384
[startup+3.10022 s]
/proc/loadavg: 1.94 2.00 1.88 2/181 10198
/proc/meminfo: memFree=29068804/32873844 swapFree=7616/7616
[pid=10167] ppid=10165 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10167/stat : 10167 (npSolver-pbo-It) S 10165 10167 10128 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271325090 9367552 275 33554432000 4194304 5064252 140735602563696 140735602562608 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10167/statm: 2287 275 233 213 0 72 0
[pid=10169] ppid=10167 vsize=9236 CPUtime=1.96 cores=1,3,5,7
/proc/10169/stat : 10169 (npSolver-pbo) S 10167 10167 10128 0 -1 4202496 4338 17361 0 0 43 12 134 7 20 0 1 0 271325091 9457664 1581 33554432000 4194304 5992684 140734759152336 140734759138168 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/10169/statm: 2309 1581 194 440 0 1865 0
Current children cumulated CPU time (s) 1.96
Current children cumulated vsize (KiB) 18384
heavy processes:
[startup+6.30039 s]
/proc/loadavg: 1.94 2.00 1.88 3/181 10205
/proc/meminfo: memFree=29055768/32873844 swapFree=7616/7616
[pid=10167] ppid=10165 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10167/stat : 10167 (npSolver-pbo-It) S 10165 10167 10128 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271325090 9367552 275 33554432000 4194304 5064252 140735602563696 140735602562608 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10167/statm: 2287 275 233 213 0 72 0
[pid=10169] ppid=10167 vsize=9236 CPUtime=2.84 cores=1,3,5,7
/proc/10169/stat : 10169 (npSolver-pbo) S 10167 10167 10128 0 -1 4202496 4871 20991 0 0 44 12 220 8 20 0 1 0 271325091 9457664 1581 33554432000 4194304 5992684 140734759152336 140734759138168 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/10169/statm: 2309 1581 194 440 0 1865 0
[pid=10203] ppid=10169 vsize=17176 CPUtime=3.03 cores=1,3,5,7
/proc/10203/stat : 10203 (glucosInc) R 10169 10167 10128 0 -1 4202496 3939 0 0 0 302 1 0 0 20 0 1 0 271325416 17588224 3668 33554432000 4194304 5654031 140737074364992 140737074352808 4232495 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/10203/statm: 4294 3668 142 357 0 3934 0
Current children cumulated CPU time (s) 5.87
Current children cumulated vsize (KiB) 35560
[startup+12.7004 s]
/proc/loadavg: 1.95 2.00 1.88 3/181 10211
/proc/meminfo: memFree=29054248/32873844 swapFree=7616/7616
[pid=10167] ppid=10165 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10167/stat : 10167 (npSolver-pbo-It) S 10165 10167 10128 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271325090 9367552 275 33554432000 4194304 5064252 140735602563696 140735602562608 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10167/statm: 2287 275 233 213 0 72 0
[pid=10169] ppid=10167 vsize=9236 CPUtime=7.91 cores=1,3,5,7
/proc/10169/stat : 10169 (npSolver-pbo) S 10167 10167 10128 0 -1 4202496 5405 26520 0 0 46 12 722 11 20 0 1 0 271325091 9457664 1581 33554432000 4194304 5992684 140734759152336 140734759138168 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/10169/statm: 2309 1581 194 440 0 1865 0
[pid=10209] ppid=10169 vsize=17544 CPUtime=4.37 cores=1,3,5,7
/proc/10209/stat : 10209 (glucosInc) R 10169 10167 10128 0 -1 4202496 4844 0 0 0 436 1 0 0 20 0 1 0 271325922 17965056 3730 33554432000 4194304 5654031 140734472963184 140734472961208 4234964 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/10209/statm: 4386 3730 142 357 0 4026 0
Current children cumulated CPU time (s) 12.28
Current children cumulated vsize (KiB) 35928
[startup+25.5004 s]
/proc/loadavg: 1.96 2.00 1.88 3/181 10217
/proc/meminfo: memFree=29048600/32873844 swapFree=7616/7616
[pid=10167] ppid=10165 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10167/stat : 10167 (npSolver-pbo-It) S 10165 10167 10128 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271325090 9367552 275 33554432000 4194304 5064252 140735602563696 140735602562608 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10167/statm: 2287 275 233 213 0 72 0
[pid=10169] ppid=10167 vsize=9236 CPUtime=21.94 cores=1,3,5,7
/proc/10169/stat : 10169 (npSolver-pbo) S 10167 10167 10128 0 -1 4202496 6467 38796 0 0 49 12 2118 15 20 0 1 0 271325091 9457664 1581 33554432000 4194304 5992684 140734759152336 140734759138168 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/10169/statm: 2309 1581 194 440 0 1865 0
[pid=10217] ppid=10169 vsize=17204 CPUtime=3.13 cores=1,3,5,7
/proc/10217/stat : 10217 (glucosInc) R 10169 10167 10128 0 -1 4202496 3921 0 0 0 313 0 0 0 20 0 1 0 271327326 17616896 3705 33554432000 4194304 5654031 140734717411472 140734717399288 4232453 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/10217/statm: 4301 3705 142 357 0 3941 0
Current children cumulated CPU time (s) 25.07
Current children cumulated vsize (KiB) 35588
[startup+51.1004 s]
/proc/loadavg: 1.97 2.00 1.88 3/181 10217
/proc/meminfo: memFree=28996096/32873844 swapFree=7616/7616
[pid=10167] ppid=10165 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10167/stat : 10167 (npSolver-pbo-It) S 10165 10167 10128 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271325090 9367552 275 33554432000 4194304 5064252 140735602563696 140735602562608 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10167/statm: 2287 275 233 213 0 72 0
[pid=10169] ppid=10167 vsize=9236 CPUtime=21.94 cores=1,3,5,7
/proc/10169/stat : 10169 (npSolver-pbo) S 10167 10167 10128 0 -1 4202496 6467 38796 0 0 49 12 2118 15 20 0 1 0 271325091 9457664 1581 33554432000 4194304 5992684 140734759152336 140734759138168 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/10169/statm: 2309 1581 194 440 0 1865 0
[pid=10217] ppid=10169 vsize=47524 CPUtime=28.72 cores=1,3,5,7
/proc/10217/stat : 10217 (glucosInc) R 10169 10167 10128 0 -1 4202496 6316 0 0 0 2870 2 0 0 20 0 1 0 271327326 48664576 11344 33554432000 4194304 5654031 140734717411472 140734717399288 4232752 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/10217/statm: 11881 11344 142 357 0 11521 0
Current children cumulated CPU time (s) 50.66
Current children cumulated vsize (KiB) 65908
[startup+102.307 s]
/proc/loadavg: 1.99 2.00 1.89 3/181 10217
/proc/meminfo: memFree=28951168/32873844 swapFree=7616/7616
[pid=10167] ppid=10165 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10167/stat : 10167 (npSolver-pbo-It) S 10165 10167 10128 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271325090 9367552 275 33554432000 4194304 5064252 140735602563696 140735602562608 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10167/statm: 2287 275 233 213 0 72 0
[pid=10169] ppid=10167 vsize=9236 CPUtime=21.94 cores=1,3,5,7
/proc/10169/stat : 10169 (npSolver-pbo) S 10167 10167 10128 0 -1 4202496 6467 38796 0 0 49 12 2118 15 20 0 1 0 271325091 9457664 1581 33554432000 4194304 5992684 140734759152336 140734759138168 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/10169/statm: 2309 1581 194 440 0 1865 0
[pid=10217] ppid=10169 vsize=85308 CPUtime=79.91 cores=1,3,5,7
/proc/10217/stat : 10217 (glucosInc) R 10169 10167 10128 0 -1 4202496 7544 0 0 0 7989 2 0 0 20 0 1 0 271327326 87355392 14362 33554432000 4194304 5654031 140734717411472 140734717399288 4232775 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/10217/statm: 21327 14362 142 357 0 20967 0
Current children cumulated CPU time (s) 101.85
Current children cumulated vsize (KiB) 103692
[startup+162.3 s]
/proc/loadavg: 1.99 2.00 1.89 3/181 10220
/proc/meminfo: memFree=28920628/32873844 swapFree=7616/7616
[pid=10167] ppid=10165 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10167/stat : 10167 (npSolver-pbo-It) S 10165 10167 10128 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271325090 9367552 275 33554432000 4194304 5064252 140735602563696 140735602562608 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10167/statm: 2287 275 233 213 0 72 0
[pid=10169] ppid=10167 vsize=9236 CPUtime=116.41 cores=1,3,5,7
/proc/10169/stat : 10169 (npSolver-pbo) S 10167 10167 10128 0 -1 4202496 6999 46870 0 0 49 13 11560 19 20 0 1 0 271325091 9457664 1581 33554432000 4194304 5992684 140734759152336 140734759138168 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/10169/statm: 2309 1581 194 440 0 1865 0
[pid=10219] ppid=10169 vsize=74440 CPUtime=45.41 cores=1,3,5,7
/proc/10219/stat : 10219 (glucosInc) R 10169 10167 10128 0 -1 4202496 10261 0 0 0 4538 3 0 0 20 0 1 0 271336776 76226560 15518 33554432000 4194304 5654031 140736463788336 140736463776152 4233332 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/10219/statm: 18610 15518 142 357 0 18250 0
Current children cumulated CPU time (s) 161.82
Current children cumulated vsize (KiB) 92824
[startup+222.3 s]
/proc/loadavg: 1.99 2.00 1.90 3/182 10227
/proc/meminfo: memFree=28987660/32873844 swapFree=7616/7616
[pid=10167] ppid=10165 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10167/stat : 10167 (npSolver-pbo-It) S 10165 10167 10128 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271325090 9367552 275 33554432000 4194304 5064252 140735602563696 140735602562608 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10167/statm: 2287 275 233 213 0 72 0
[pid=10169] ppid=10167 vsize=9236 CPUtime=178.86 cores=1,3,5,7
/proc/10169/stat : 10169 (npSolver-pbo) S 10167 10167 10128 0 -1 4202496 7527 57694 0 0 51 13 17799 23 20 0 1 0 271325091 9457664 1581 33554432000 4194304 5992684 140734759152336 140734759138168 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/10169/statm: 2309 1581 194 440 0 1865 0
[pid=10222] ppid=10169 vsize=24812 CPUtime=42.94 cores=1,3,5,7
/proc/10222/stat : 10222 (glucosInc) R 10169 10167 10128 0 -1 4202496 8560 0 0 0 4291 3 0 0 20 0 1 0 271343023 25407488 5656 33554432000 4194304 5654031 140734378771536 140734378759352 4233168 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/10222/statm: 6203 5656 142 357 0 5843 0
Current children cumulated CPU time (s) 221.8
Current children cumulated vsize (KiB) 43196
[startup+282.3 s]
/proc/loadavg: 1.99 2.00 1.90 3/181 10229
/proc/meminfo: memFree=28978788/32873844 swapFree=7616/7616
[pid=10167] ppid=10165 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10167/stat : 10167 (npSolver-pbo-It) S 10165 10167 10128 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271325090 9367552 275 33554432000 4194304 5064252 140735602563696 140735602562608 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10167/statm: 2287 275 233 213 0 72 0
################
# More data... #
################
/proc/meminfo: memFree=28787136/32873844 swapFree=7616/7616
[pid=10167] ppid=10165 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10167/stat : 10167 (npSolver-pbo-It) S 10165 10167 10128 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271325090 9367552 275 33554432000 4194304 5064252 140735602563696 140735602562608 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10167/statm: 2287 275 233 213 0 72 0
[pid=10169] ppid=10167 vsize=9236 CPUtime=238.42 cores=1,3,5,7
/proc/10169/stat : 10169 (npSolver-pbo) S 10167 10167 10128 0 -1 4202496 8062 67917 0 0 52 13 23748 29 20 0 1 0 271325091 9457664 1581 33554432000 4194304 5992684 140734759152336 140734759138168 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/10169/statm: 2309 1581 194 440 0 1865 0
[pid=10229] ppid=10169 vsize=141768 CPUtime=1063.15 cores=1,3,5,7
/proc/10229/stat : 10229 (glucosInc) R 10169 10167 10128 0 -1 4202496 27171 0 0 0 106252 63 0 0 20 0 1 0 271348981 145170432 30237 33554432000 4194304 5654031 140735601000432 140735600998456 4232775 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/10229/statm: 35442 30237 142 357 0 35082 0
Current children cumulated CPU time (s) 1301.57
Current children cumulated vsize (KiB) 160152
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/181 10238
/proc/meminfo: memFree=28801828/32873844 swapFree=7616/7616
[pid=10167] ppid=10165 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10167/stat : 10167 (npSolver-pbo-It) S 10165 10167 10128 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271325090 9367552 275 33554432000 4194304 5064252 140735602563696 140735602562608 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10167/statm: 2287 275 233 213 0 72 0
[pid=10169] ppid=10167 vsize=9236 CPUtime=238.42 cores=1,3,5,7
/proc/10169/stat : 10169 (npSolver-pbo) S 10167 10167 10128 0 -1 4202496 8062 67917 0 0 52 13 23748 29 20 0 1 0 271325091 9457664 1581 33554432000 4194304 5992684 140734759152336 140734759138168 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/10169/statm: 2309 1581 194 440 0 1865 0
[pid=10229] ppid=10169 vsize=191088 CPUtime=1123.13 cores=1,3,5,7
/proc/10229/stat : 10229 (glucosInc) R 10169 10167 10128 0 -1 4202496 27938 0 0 0 112248 65 0 0 20 0 1 0 271348981 195674112 41569 33554432000 4194304 5654031 140735601000432 140735600998360 4233204 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/10229/statm: 47772 41569 142 357 0 47412 0
Current children cumulated CPU time (s) 1361.55
Current children cumulated vsize (KiB) 209472
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.93 3/182 10241
/proc/meminfo: memFree=28729340/32873844 swapFree=7616/7616
[pid=10167] ppid=10165 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10167/stat : 10167 (npSolver-pbo-It) S 10165 10167 10128 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271325090 9367552 275 33554432000 4194304 5064252 140735602563696 140735602562608 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10167/statm: 2287 275 233 213 0 72 0
[pid=10169] ppid=10167 vsize=9236 CPUtime=238.42 cores=1,3,5,7
/proc/10169/stat : 10169 (npSolver-pbo) S 10167 10167 10128 0 -1 4202496 8062 67917 0 0 52 13 23748 29 20 0 1 0 271325091 9457664 1581 33554432000 4194304 5992684 140734759152336 140734759138168 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/10169/statm: 2309 1581 194 440 0 1865 0
[pid=10229] ppid=10169 vsize=221908 CPUtime=1183.13 cores=1,3,5,7
/proc/10229/stat : 10229 (glucosInc) R 10169 10167 10128 0 -1 4202496 29208 0 0 0 118244 69 0 0 20 0 1 0 271348981 227233792 43276 33554432000 4194304 5654031 140735601000432 140735600998520 4232784 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/10229/statm: 55477 43276 142 357 0 55117 0
Current children cumulated CPU time (s) 1421.55
Current children cumulated vsize (KiB) 240292
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/181 10241
/proc/meminfo: memFree=28805636/32873844 swapFree=7616/7616
[pid=10167] ppid=10165 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10167/stat : 10167 (npSolver-pbo-It) S 10165 10167 10128 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271325090 9367552 275 33554432000 4194304 5064252 140735602563696 140735602562608 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10167/statm: 2287 275 233 213 0 72 0
[pid=10169] ppid=10167 vsize=9236 CPUtime=238.42 cores=1,3,5,7
/proc/10169/stat : 10169 (npSolver-pbo) S 10167 10167 10128 0 -1 4202496 8062 67917 0 0 52 13 23748 29 20 0 1 0 271325091 9457664 1581 33554432000 4194304 5992684 140734759152336 140734759138168 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/10169/statm: 2309 1581 194 440 0 1865 0
[pid=10229] ppid=10169 vsize=141768 CPUtime=1243.11 cores=1,3,5,7
/proc/10229/stat : 10229 (glucosInc) R 10169 10167 10128 0 -1 4202496 29902 0 0 0 124240 71 0 0 20 0 1 0 271348981 145170432 30341 33554432000 4194304 5654031 140735601000432 140735600998456 4233232 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/10229/statm: 35442 30341 142 357 0 35082 0
Current children cumulated CPU time (s) 1481.53
Current children cumulated vsize (KiB) 160152
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/181 10241
/proc/meminfo: memFree=28671044/32873844 swapFree=7616/7616
[pid=10167] ppid=10165 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10167/stat : 10167 (npSolver-pbo-It) S 10165 10167 10128 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271325090 9367552 275 33554432000 4194304 5064252 140735602563696 140735602562608 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10167/statm: 2287 275 233 213 0 72 0
[pid=10169] ppid=10167 vsize=9236 CPUtime=238.42 cores=1,3,5,7
/proc/10169/stat : 10169 (npSolver-pbo) S 10167 10167 10128 0 -1 4202496 8062 67917 0 0 52 13 23748 29 20 0 1 0 271325091 9457664 1581 33554432000 4194304 5992684 140734759152336 140734759138168 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/10169/statm: 2309 1581 194 440 0 1865 0
[pid=10229] ppid=10169 vsize=191088 CPUtime=1303.1 cores=1,3,5,7
/proc/10229/stat : 10229 (glucosInc) R 10169 10167 10128 0 -1 4202496 30668 0 0 0 130236 74 0 0 20 0 1 0 271348981 195674112 39113 33554432000 4194304 5654031 140735601000432 140735600998360 4232707 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/10229/statm: 47772 39113 142 357 0 47412 0
Current children cumulated CPU time (s) 1541.52
Current children cumulated vsize (KiB) 209472
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/181 10241
/proc/meminfo: memFree=28716040/32873844 swapFree=7616/7616
[pid=10167] ppid=10165 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10167/stat : 10167 (npSolver-pbo-It) S 10165 10167 10128 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271325090 9367552 275 33554432000 4194304 5064252 140735602563696 140735602562608 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10167/statm: 2287 275 233 213 0 72 0
[pid=10169] ppid=10167 vsize=9236 CPUtime=238.42 cores=1,3,5,7
/proc/10169/stat : 10169 (npSolver-pbo) S 10167 10167 10128 0 -1 4202496 8062 67917 0 0 52 13 23748 29 20 0 1 0 271325091 9457664 1581 33554432000 4194304 5992684 140734759152336 140734759138168 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/10169/statm: 2309 1581 194 440 0 1865 0
[pid=10229] ppid=10169 vsize=191088 CPUtime=1363.09 cores=1,3,5,7
/proc/10229/stat : 10229 (glucosInc) R 10169 10167 10128 0 -1 4202496 31350 0 0 0 136233 76 0 0 20 0 1 0 271348981 195674112 40137 33554432000 4194304 5654031 140735601000432 140735600998360 4232752 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/10229/statm: 47772 40137 142 357 0 47412 0
Current children cumulated CPU time (s) 1601.51
Current children cumulated vsize (KiB) 209472
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/181 10242
/proc/meminfo: memFree=28705680/32873844 swapFree=7616/7616
[pid=10167] ppid=10165 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10167/stat : 10167 (npSolver-pbo-It) S 10165 10167 10128 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271325090 9367552 275 33554432000 4194304 5064252 140735602563696 140735602562608 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10167/statm: 2287 275 233 213 0 72 0
[pid=10169] ppid=10167 vsize=9236 CPUtime=238.42 cores=1,3,5,7
/proc/10169/stat : 10169 (npSolver-pbo) S 10167 10167 10128 0 -1 4202496 8062 67917 0 0 52 13 23748 29 20 0 1 0 271325091 9457664 1581 33554432000 4194304 5992684 140734759152336 140734759138168 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/10169/statm: 2309 1581 194 440 0 1865 0
[pid=10229] ppid=10169 vsize=191088 CPUtime=1423.08 cores=1,3,5,7
/proc/10229/stat : 10229 (glucosInc) R 10169 10167 10128 0 -1 4202496 32054 0 0 0 142230 78 0 0 20 0 1 0 271348981 195674112 42203 33554432000 4194304 5654031 140735601000432 140735600998360 4234964 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/10229/statm: 47772 42203 142 357 0 47412 0
Current children cumulated CPU time (s) 1661.5
Current children cumulated vsize (KiB) 209472
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/182 10243
/proc/meminfo: memFree=28750508/32873844 swapFree=7616/7616
[pid=10167] ppid=10165 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10167/stat : 10167 (npSolver-pbo-It) S 10165 10167 10128 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271325090 9367552 275 33554432000 4194304 5064252 140735602563696 140735602562608 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10167/statm: 2287 275 233 213 0 72 0
[pid=10169] ppid=10167 vsize=9236 CPUtime=238.42 cores=1,3,5,7
/proc/10169/stat : 10169 (npSolver-pbo) S 10167 10167 10128 0 -1 4202496 8062 67917 0 0 52 13 23748 29 20 0 1 0 271325091 9457664 1581 33554432000 4194304 5992684 140734759152336 140734759138168 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/10169/statm: 2309 1581 194 440 0 1865 0
[pid=10229] ppid=10169 vsize=221908 CPUtime=1483.07 cores=1,3,5,7
/proc/10229/stat : 10229 (glucosInc) R 10169 10167 10128 0 -1 4202496 33305 0 0 0 148226 81 0 0 20 0 1 0 271348981 227233792 43788 33554432000 4194304 5654031 140735601000432 140735600998520 4232821 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/10229/statm: 55477 43788 142 357 0 55117 0
Current children cumulated CPU time (s) 1721.49
Current children cumulated vsize (KiB) 240292
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/181 10243
/proc/meminfo: memFree=28731160/32873844 swapFree=7616/7616
[pid=10167] ppid=10165 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10167/stat : 10167 (npSolver-pbo-It) S 10165 10167 10128 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271325090 9367552 275 33554432000 4194304 5064252 140735602563696 140735602562608 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10167/statm: 2287 275 233 213 0 72 0
[pid=10169] ppid=10167 vsize=9236 CPUtime=238.42 cores=1,3,5,7
/proc/10169/stat : 10169 (npSolver-pbo) S 10167 10167 10128 0 -1 4202496 8062 67917 0 0 52 13 23748 29 20 0 1 0 271325091 9457664 1581 33554432000 4194304 5992684 140734759152336 140734759138168 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/10169/statm: 2309 1581 194 440 0 1865 0
[pid=10229] ppid=10169 vsize=221908 CPUtime=1543.06 cores=1,3,5,7
/proc/10229/stat : 10229 (glucosInc) R 10169 10167 10128 0 -1 4202496 33994 0 0 0 154223 83 0 0 20 0 1 0 271348981 227233792 44812 33554432000 4194304 5654031 140735601000432 140735600998520 4232821 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/10229/statm: 55477 44812 142 357 0 55117 0
Current children cumulated CPU time (s) 1781.48
Current children cumulated vsize (KiB) 240292
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.9 s]
/proc/loadavg: 2.00 2.00 1.93 2/174 10268
/proc/meminfo: memFree=28983276/32873844 swapFree=7616/7616
[pid=10167] ppid=10165 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10167/stat : 10167 (npSolver-pbo-It) S 10165 10167 10128 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271325090 9367552 275 33554432000 4194304 5064252 140735602563696 140735602562608 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10167/statm: 2287 275 233 213 0 72 0
[pid=10169] ppid=10167 vsize=9236 CPUtime=238.42 cores=1,3,5,7
/proc/10169/stat : 10169 (npSolver-pbo) S 10167 10167 10128 0 -1 4202496 8062 67917 0 0 52 13 23748 29 20 0 1 0 271325091 9457664 1581 33554432000 4194304 5992684 140734759152336 140734759138168 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/10169/statm: 2309 1581 194 440 0 1865 0
[pid=10229] ppid=10169 vsize=141768 CPUtime=1561.66 cores=1,3,5,7
/proc/10229/stat : 10229 (glucosInc) R 10169 10167 10128 0 -1 4202496 33995 0 0 0 156083 83 0 0 20 0 1 0 271348981 145170432 30341 33554432000 4194304 5654031 140735601000432 140735600998456 4232477 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/10229/statm: 35442 30341 142 357 0 35082 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 160152
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
[startup+1800.9 s]
/proc/loadavg: 2.00 2.00 1.93 2/174 10268
/proc/meminfo: memFree=28983276/32873844 swapFree=7616/7616
[pid=10167] ppid=10165 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10167/stat : 10167 (npSolver-pbo-It) S 10165 10167 10128 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271325090 9367552 275 33554432000 4194304 5064252 140735602563696 140735602562608 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10167/statm: 2287 275 233 213 0 72 0
[pid=10169] ppid=10167 vsize=9236 CPUtime=238.42 cores=1,3,5,7
/proc/10169/stat : 10169 (npSolver-pbo) S 10167 10167 10128 0 -1 4202496 8062 67917 0 0 52 13 23748 29 20 0 1 0 271325091 9457664 1581 33554432000 4194304 5992684 140734759152336 140734759138168 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/10169/statm: 2309 1581 194 440 0 1865 0
[pid=10229] ppid=10169 vsize=141768 CPUtime=1561.66 cores=1,3,5,7
/proc/10229/stat : 10229 (glucosInc) R 10169 10167 10128 0 -1 4202496 33995 0 0 0 156083 83 0 0 20 0 1 0 271348981 145170432 30341 33554432000 4194304 5654031 140735601000432 140735600998456 4232477 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/10229/statm: 35442 30341 142 357 0 35082 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 160152
Child status: 0
Real time (s): 1800.91
CPU time (s): 1800.12
CPU user time (s): 1798.85
CPU system time (s): 1.27281
CPU usage (%): 99.9564
Max. virtual memory (cumulated for all children) (KiB): 240424
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.85
system time used= 1.27281
maximum resident set size= 185616
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 110354
page faults= 0
swaps= 0
block input operations= 0
block output operations= 67864
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 612
involuntary context switches= 2928
runsolver used 2.88656 second user time and 8.59769 second system time
The end