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-3699356-1338137180/watcher-3699356-1338137180 -o /tmp/evaluation-result-3699356-1338137180/solver-3699356-1338137180 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-I.sh HOME/instance-3699356-1338137180.opb 930403491 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.96 2.00 2.00 3/178 20247
/proc/meminfo: memFree=30931820/32873844 swapFree=7900/7900
[pid=20247] ppid=20245 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20247/stat : 20247 (npSolver-pbo-I.) S 20245 20247 18146 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279842572 9367552 275 33554432000 4194304 5064252 140737289368608 140737289367520 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/20247/statm: 2287 275 233 213 0 72 0
[startup+0.084128 s]
/proc/loadavg: 1.96 2.00 2.00 3/178 20247
/proc/meminfo: memFree=30931820/32873844 swapFree=7900/7900
[pid=20247] ppid=20245 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20247/stat : 20247 (npSolver-pbo-I.) S 20245 20247 18146 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279842572 9367552 275 33554432000 4194304 5064252 140737289368608 140737289367520 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/20247/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100246 s]
/proc/loadavg: 1.96 2.00 2.00 3/178 20247
/proc/meminfo: memFree=30931820/32873844 swapFree=7900/7900
[pid=20247] ppid=20245 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20247/stat : 20247 (npSolver-pbo-I.) S 20245 20247 18146 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279842572 9367552 275 33554432000 4194304 5064252 140737289368608 140737289367520 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/20247/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.30026 s]
/proc/loadavg: 1.96 2.00 2.00 3/178 20247
/proc/meminfo: memFree=30931820/32873844 swapFree=7900/7900
[pid=20247] ppid=20245 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20247/stat : 20247 (npSolver-pbo-I.) S 20245 20247 18146 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279842572 9367552 275 33554432000 4194304 5064252 140737289368608 140737289367520 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/20247/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700195 s]
/proc/loadavg: 1.96 2.00 2.00 3/178 20247
/proc/meminfo: memFree=30931820/32873844 swapFree=7900/7900
[pid=20247] ppid=20245 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20247/stat : 20247 (npSolver-pbo-I.) S 20245 20247 18146 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279842572 9367552 275 33554432000 4194304 5064252 140737289368608 140737289367520 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/20247/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50028 s]
/proc/loadavg: 1.96 2.00 2.00 3/181 20253
/proc/meminfo: memFree=30914628/32873844 swapFree=7900/7900
[pid=20247] ppid=20245 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20247/stat : 20247 (npSolver-pbo-I.) S 20245 20247 18146 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279842572 9367552 275 33554432000 4194304 5064252 140737289368608 140737289367520 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/20247/statm: 2287 275 233 213 0 72 0
[pid=20248] ppid=20247 vsize=6244 CPUtime=0.35 cores=1,3,5,7
/proc/20248/stat : 20248 (npSolver-pbo) S 20247 20247 18146 0 -1 4202496 2257 6778 0 0 6 0 27 2 20 0 1 0 279842572 6393856 1231 33554432000 4194304 5992684 140735311430944 140735311417208 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/20248/statm: 1561 1231 168 440 0 1117 0
[pid=20253] ppid=20248 vsize=14888 CPUtime=1.11 cores=1,3,5,7
/proc/20253/stat : 20253 (glucosInc) R 20248 20247 18146 0 -1 4202496 2430 0 0 0 111 0 0 0 20 0 1 0 279842609 15245312 2847 33554432000 4194304 5654031 140733944223968 140733944221752 4233173 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/20253/statm: 3722 2847 140 357 0 3362 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 30280
[startup+3.10037 s]
/proc/loadavg: 1.96 2.00 2.00 3/181 20256
/proc/meminfo: memFree=30900836/32873844 swapFree=7900/7900
[pid=20247] ppid=20245 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20247/stat : 20247 (npSolver-pbo-I.) S 20245 20247 18146 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279842572 9367552 275 33554432000 4194304 5064252 140737289368608 140737289367520 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/20247/statm: 2287 275 233 213 0 72 0
[pid=20248] ppid=20247 vsize=9468 CPUtime=1.77 cores=1,3,5,7
/proc/20248/stat : 20248 (npSolver-pbo) S 20247 20247 18146 0 -1 4202496 4945 10271 0 0 19 12 142 4 20 0 1 0 279842572 9695232 2024 33554432000 4194304 5992684 140735311430944 140735311415848 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/20248/statm: 2367 2024 185 440 0 1923 0
[pid=20256] ppid=20248 vsize=31644 CPUtime=1.3 cores=1,3,5,7
/proc/20256/stat : 20256 (glucosInc) R 20248 20247 18146 0 -1 4202496 6759 0 0 0 129 1 0 0 20 0 1 0 279842750 32403456 6712 33554432000 4194304 5654031 140733691465360 140733691463144 4232821 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/20256/statm: 7911 6712 132 357 0 7551 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 50260
[startup+6.30037 s]
/proc/loadavg: 2.05 2.01 2.00 3/181 20256
/proc/meminfo: memFree=30900092/32873844 swapFree=7900/7900
[pid=20247] ppid=20245 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20247/stat : 20247 (npSolver-pbo-I.) S 20245 20247 18146 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279842572 9367552 275 33554432000 4194304 5064252 140737289368608 140737289367520 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/20247/statm: 2287 275 233 213 0 72 0
[pid=20248] ppid=20247 vsize=9468 CPUtime=1.77 cores=1,3,5,7
/proc/20248/stat : 20248 (npSolver-pbo) S 20247 20247 18146 0 -1 4202496 4945 10271 0 0 19 12 142 4 20 0 1 0 279842572 9695232 2024 33554432000 4194304 5992684 140735311430944 140735311415848 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/20248/statm: 2367 2024 185 440 0 1923 0
[pid=20256] ppid=20248 vsize=31908 CPUtime=4.5 cores=1,3,5,7
/proc/20256/stat : 20256 (glucosInc) R 20248 20247 18146 0 -1 4202496 6970 0 0 0 449 1 0 0 20 0 1 0 279842750 32673792 6922 33554432000 4194304 5654031 140733691465360 140733691463144 4232775 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/20256/statm: 7977 6922 132 357 0 7617 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 50524
[startup+12.7003 s]
/proc/loadavg: 2.04 2.01 2.00 3/181 20256
/proc/meminfo: memFree=30886256/32873844 swapFree=7900/7900
[pid=20247] ppid=20245 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20247/stat : 20247 (npSolver-pbo-I.) S 20245 20247 18146 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279842572 9367552 275 33554432000 4194304 5064252 140737289368608 140737289367520 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/20247/statm: 2287 275 233 213 0 72 0
[pid=20248] ppid=20247 vsize=7392 CPUtime=12.38 cores=1,3,5,7
/proc/20248/stat : 20248 (npSolver-pbo) S 20247 20247 18146 0 -1 4202496 8305 18841 0 0 29 13 1189 7 20 0 1 0 279842572 7569408 1537 33554432000 4194304 5992684 140735311430944 140735311415848 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/20248/statm: 1848 1537 185 440 0 1404 0
Current children cumulated CPU time (s) 12.38
Current children cumulated vsize (KiB) 16540
[startup+25.5005 s]
/proc/loadavg: 2.03 2.01 2.00 3/181 20264
/proc/meminfo: memFree=30894140/32873844 swapFree=7900/7900
[pid=20247] ppid=20245 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20247/stat : 20247 (npSolver-pbo-I.) S 20245 20247 18146 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279842572 9367552 275 33554432000 4194304 5064252 140737289368608 140737289367520 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/20247/statm: 2287 275 233 213 0 72 0
[pid=20248] ppid=20247 vsize=15772 CPUtime=19.99 cores=1,3,5,7
/proc/20248/stat : 20248 (npSolver-pbo) S 20247 20247 18146 0 -1 4202496 17229 39467 0 0 53 17 1915 14 20 0 1 0 279842572 16150528 3601 33554432000 4194304 5992684 140735311430944 140735311415848 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/20248/statm: 3943 3601 186 440 0 3499 0
[pid=20264] ppid=20248 vsize=23432 CPUtime=5.48 cores=1,3,5,7
/proc/20264/stat : 20264 (glucosInc) R 20248 20247 18146 0 -1 4202496 5760 0 0 0 547 1 0 0 20 0 1 0 279844572 23994368 5267 33554432000 4194304 5654031 140733247308704 140733247306472 4232453 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/20264/statm: 5858 5267 141 357 0 5498 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 48352
[startup+51.1005 s]
/proc/loadavg: 2.02 2.01 2.00 3/181 20264
/proc/meminfo: memFree=30892004/32873844 swapFree=7900/7900
[pid=20247] ppid=20245 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20247/stat : 20247 (npSolver-pbo-I.) S 20245 20247 18146 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279842572 9367552 275 33554432000 4194304 5064252 140737289368608 140737289367520 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/20247/statm: 2287 275 233 213 0 72 0
[pid=20248] ppid=20247 vsize=15772 CPUtime=19.99 cores=1,3,5,7
/proc/20248/stat : 20248 (npSolver-pbo) S 20247 20247 18146 0 -1 4202496 17229 39467 0 0 53 17 1915 14 20 0 1 0 279842572 16150528 3601 33554432000 4194304 5992684 140735311430944 140735311415848 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/20248/statm: 3943 3601 186 440 0 3499 0
[pid=20264] ppid=20248 vsize=30544 CPUtime=31.08 cores=1,3,5,7
/proc/20264/stat : 20264 (glucosInc) R 20248 20247 18146 0 -1 4202496 7172 0 0 0 3106 2 0 0 20 0 1 0 279844572 31277056 6770 33554432000 4194304 5654031 140733247308704 140733247296520 4232775 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/20264/statm: 7636 6770 142 357 0 7276 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 55464
[startup+102.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/181 20264
/proc/meminfo: memFree=30876092/32873844 swapFree=7900/7900
[pid=20247] ppid=20245 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20247/stat : 20247 (npSolver-pbo-I.) S 20245 20247 18146 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279842572 9367552 275 33554432000 4194304 5064252 140737289368608 140737289367520 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/20247/statm: 2287 275 233 213 0 72 0
[pid=20248] ppid=20247 vsize=15772 CPUtime=19.99 cores=1,3,5,7
/proc/20248/stat : 20248 (npSolver-pbo) S 20247 20247 18146 0 -1 4202496 17229 39467 0 0 53 17 1915 14 20 0 1 0 279842572 16150528 3601 33554432000 4194304 5992684 140735311430944 140735311415848 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/20248/statm: 3943 3601 186 440 0 3499 0
[pid=20264] ppid=20248 vsize=42036 CPUtime=82.28 cores=1,3,5,7
/proc/20264/stat : 20264 (glucosInc) R 20248 20247 18146 0 -1 4202496 8357 0 0 0 8225 3 0 0 20 0 1 0 279844572 43044864 9367 33554432000 4194304 5654031 140733247308704 140733247306504 4234964 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/20264/statm: 10509 9367 142 357 0 10149 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 66956
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 20265
/proc/meminfo: memFree=30878384/32873844 swapFree=7900/7900
[pid=20247] ppid=20245 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20247/stat : 20247 (npSolver-pbo-I.) S 20245 20247 18146 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279842572 9367552 275 33554432000 4194304 5064252 140737289368608 140737289367520 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/20247/statm: 2287 275 233 213 0 72 0
[pid=20248] ppid=20247 vsize=15772 CPUtime=19.99 cores=1,3,5,7
/proc/20248/stat : 20248 (npSolver-pbo) S 20247 20247 18146 0 -1 4202496 17229 39467 0 0 53 17 1915 14 20 0 1 0 279842572 16150528 3601 33554432000 4194304 5992684 140735311430944 140735311415848 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/20248/statm: 3943 3601 186 440 0 3499 0
[pid=20264] ppid=20248 vsize=42036 CPUtime=142.26 cores=1,3,5,7
/proc/20264/stat : 20264 (glucosInc) R 20248 20247 18146 0 -1 4202496 8961 0 0 0 14223 3 0 0 20 0 1 0 279844572 43044864 9989 33554432000 4194304 5654031 140733247308704 140733247296520 4232775 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/20264/statm: 10509 9989 142 357 0 10149 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 66956
[startup+222.307 s]
/proc/loadavg: 2.08 2.02 2.01 3/182 20268
/proc/meminfo: memFree=30870252/32873844 swapFree=7900/7900
[pid=20247] ppid=20245 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20247/stat : 20247 (npSolver-pbo-I.) S 20245 20247 18146 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279842572 9367552 275 33554432000 4194304 5064252 140737289368608 140737289367520 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/20247/statm: 2287 275 233 213 0 72 0
[pid=20248] ppid=20247 vsize=15772 CPUtime=19.99 cores=1,3,5,7
/proc/20248/stat : 20248 (npSolver-pbo) S 20247 20247 18146 0 -1 4202496 17229 39467 0 0 53 17 1915 14 20 0 1 0 279842572 16150528 3601 33554432000 4194304 5992684 140735311430944 140735311415848 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/20248/statm: 3943 3601 186 440 0 3499 0
[pid=20264] ppid=20248 vsize=42036 CPUtime=202.26 cores=1,3,5,7
/proc/20264/stat : 20264 (glucosInc) R 20248 20247 18146 0 -1 4202496 8961 0 0 0 20223 3 0 0 20 0 1 0 279844572 43044864 9989 33554432000 4194304 5654031 140733247308704 140733247296520 4215009 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/20264/statm: 10509 9989 142 357 0 10149 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 66956
[startup+282.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/180 20272
/proc/meminfo: memFree=30891912/32873844 swapFree=7900/7900
[pid=20247] ppid=20245 vsize=9148 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
/proc/meminfo: memFree=30868232/32873844 swapFree=7900/7900
[pid=20247] ppid=20245 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20247/stat : 20247 (npSolver-pbo-I.) S 20245 20247 18146 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279842572 9367552 275 33554432000 4194304 5064252 140737289368608 140737289367520 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/20247/statm: 2287 275 233 213 0 72 0
[pid=20248] ppid=20247 vsize=15772 CPUtime=1070.37 cores=1,3,5,7
/proc/20248/stat : 20248 (npSolver-pbo) S 20247 20247 18146 0 -1 4202496 37063 108707 0 0 98 23 106875 41 20 0 1 0 279842572 16150528 3601 33554432000 4194304 5992684 140735311430944 140735311415848 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/20248/statm: 3943 3601 186 440 0 3499 0
[pid=20314] ppid=20248 vsize=44808 CPUtime=171.64 cores=1,3,5,7
/proc/20314/stat : 20314 (glucosInc) R 20248 20247 18146 0 -1 4202496 8358 0 0 0 17161 3 0 0 20 0 1 0 279949633 45883392 10635 33554432000 4194304 5654031 140733802794496 140733802782312 4232752 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/20314/statm: 11202 10635 142 357 0 10842 0
Current children cumulated CPU time (s) 1242.01
Current children cumulated vsize (KiB) 69728
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 20369
/proc/meminfo: memFree=30991868/32873844 swapFree=7900/7900
[pid=20247] ppid=20245 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20247/stat : 20247 (npSolver-pbo-I.) S 20245 20247 18146 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279842572 9367552 275 33554432000 4194304 5064252 140737289368608 140737289367520 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/20247/statm: 2287 275 233 213 0 72 0
[pid=20248] ppid=20247 vsize=15772 CPUtime=1070.37 cores=1,3,5,7
/proc/20248/stat : 20248 (npSolver-pbo) S 20247 20247 18146 0 -1 4202496 37063 108707 0 0 98 23 106875 41 20 0 1 0 279842572 16150528 3601 33554432000 4194304 5992684 140735311430944 140735311415848 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/20248/statm: 3943 3601 186 440 0 3499 0
[pid=20314] ppid=20248 vsize=44808 CPUtime=231.63 cores=1,3,5,7
/proc/20314/stat : 20314 (glucosInc) R 20248 20247 18146 0 -1 4202496 8359 0 0 0 23160 3 0 0 20 0 1 0 279949633 45883392 10636 33554432000 4194304 5654031 140733802794496 140733802782312 4232821 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/20314/statm: 11202 10636 142 357 0 10842 0
Current children cumulated CPU time (s) 1302
Current children cumulated vsize (KiB) 69728
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 20372
/proc/meminfo: memFree=30996956/32873844 swapFree=7900/7900
[pid=20247] ppid=20245 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20247/stat : 20247 (npSolver-pbo-I.) S 20245 20247 18146 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279842572 9367552 275 33554432000 4194304 5064252 140737289368608 140737289367520 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/20247/statm: 2287 275 233 213 0 72 0
[pid=20248] ppid=20247 vsize=15772 CPUtime=1315.57 cores=1,3,5,7
/proc/20248/stat : 20248 (npSolver-pbo) S 20247 20247 18146 0 -1 4202496 39516 117587 0 0 103 24 131385 45 20 0 1 0 279842572 16150528 3601 33554432000 4194304 5992684 140735311430944 140735311415848 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/20248/statm: 3943 3601 186 440 0 3499 0
[pid=20371] ppid=20248 vsize=34736 CPUtime=46.41 cores=1,3,5,7
/proc/20371/stat : 20371 (glucosInc) R 20248 20247 18146 0 -1 4202496 7932 0 0 0 4639 2 0 0 20 0 1 0 279974158 35569664 7064 33554432000 4194304 5654031 140734167606608 140734167594424 4216075 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/20371/statm: 8684 7064 139 357 0 8324 0
Current children cumulated CPU time (s) 1361.98
Current children cumulated vsize (KiB) 59656
[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 20377
/proc/meminfo: memFree=31000212/32873844 swapFree=7900/7900
[pid=20247] ppid=20245 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20247/stat : 20247 (npSolver-pbo-I.) S 20245 20247 18146 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279842572 9367552 275 33554432000 4194304 5064252 140737289368608 140737289367520 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/20247/statm: 2287 275 233 213 0 72 0
[pid=20248] ppid=20247 vsize=15772 CPUtime=1412.83 cores=1,3,5,7
/proc/20248/stat : 20248 (npSolver-pbo) S 20247 20247 18146 0 -1 4202496 42134 126932 0 0 110 25 141099 49 20 0 1 0 279842572 16150528 3601 33554432000 4194304 5992684 140735311430944 140735311415848 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/20248/statm: 3943 3601 186 440 0 3499 0
[pid=20374] ppid=20248 vsize=26008 CPUtime=9.16 cores=1,3,5,7
/proc/20374/stat : 20374 (glucosInc) R 20248 20247 18146 0 -1 4202496 5936 0 0 0 915 1 0 0 20 0 1 0 279983885 26632192 5494 33554432000 4194304 5654031 140733943720784 140733943708600 4233344 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/20374/statm: 6502 5494 139 357 0 6142 0
Current children cumulated CPU time (s) 1421.99
Current children cumulated vsize (KiB) 50928
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 20385
/proc/meminfo: memFree=30995088/32873844 swapFree=7900/7900
[pid=20247] ppid=20245 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20247/stat : 20247 (npSolver-pbo-I.) S 20245 20247 18146 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279842572 9367552 275 33554432000 4194304 5064252 140737289368608 140737289367520 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/20247/statm: 2287 275 233 213 0 72 0
[pid=20248] ppid=20247 vsize=15772 CPUtime=1412.83 cores=1,3,5,7
/proc/20248/stat : 20248 (npSolver-pbo) S 20247 20247 18146 0 -1 4202496 42134 126932 0 0 110 25 141099 49 20 0 1 0 279842572 16150528 3601 33554432000 4194304 5992684 140735311430944 140735311415848 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/20248/statm: 3943 3601 186 440 0 3499 0
[pid=20374] ppid=20248 vsize=41872 CPUtime=69.14 cores=1,3,5,7
/proc/20374/stat : 20374 (glucosInc) R 20248 20247 18146 0 -1 4202496 8184 0 0 0 6912 2 0 0 20 0 1 0 279983885 42876928 9912 33554432000 4194304 5654031 140733943720784 140733943708600 4232775 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/20374/statm: 10468 9912 139 357 0 10108 0
Current children cumulated CPU time (s) 1481.97
Current children cumulated vsize (KiB) 66792
[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 20385
/proc/meminfo: memFree=30991848/32873844 swapFree=7900/7900
[pid=20247] ppid=20245 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20247/stat : 20247 (npSolver-pbo-I.) S 20245 20247 18146 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279842572 9367552 275 33554432000 4194304 5064252 140737289368608 140737289367520 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/20247/statm: 2287 275 233 213 0 72 0
[pid=20248] ppid=20247 vsize=15772 CPUtime=1412.83 cores=1,3,5,7
/proc/20248/stat : 20248 (npSolver-pbo) S 20247 20247 18146 0 -1 4202496 42134 126932 0 0 110 25 141099 49 20 0 1 0 279842572 16150528 3601 33554432000 4194304 5992684 140735311430944 140735311415848 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/20248/statm: 3943 3601 186 440 0 3499 0
[pid=20374] ppid=20248 vsize=41872 CPUtime=129.13 cores=1,3,5,7
/proc/20374/stat : 20374 (glucosInc) R 20248 20247 18146 0 -1 4202496 8184 0 0 0 12911 2 0 0 20 0 1 0 279983885 42876928 9912 33554432000 4194304 5654031 140733943720784 140733943708600 4215091 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/20374/statm: 10468 9912 139 357 0 10108 0
Current children cumulated CPU time (s) 1541.96
Current children cumulated vsize (KiB) 66792
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 20387
/proc/meminfo: memFree=30987196/32873844 swapFree=7900/7900
[pid=20247] ppid=20245 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20247/stat : 20247 (npSolver-pbo-I.) S 20245 20247 18146 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279842572 9367552 275 33554432000 4194304 5064252 140737289368608 140737289367520 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/20247/statm: 2287 275 233 213 0 72 0
[pid=20248] ppid=20247 vsize=15772 CPUtime=1412.83 cores=1,3,5,7
/proc/20248/stat : 20248 (npSolver-pbo) S 20247 20247 18146 0 -1 4202496 42134 126932 0 0 110 25 141099 49 20 0 1 0 279842572 16150528 3601 33554432000 4194304 5992684 140735311430944 140735311415848 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/20248/statm: 3943 3601 186 440 0 3499 0
[pid=20374] ppid=20248 vsize=49056 CPUtime=189.12 cores=1,3,5,7
/proc/20374/stat : 20374 (glucosInc) R 20248 20247 18146 0 -1 4202496 8686 0 0 0 18910 2 0 0 20 0 1 0 279983885 50233344 11399 33554432000 4194304 5654031 140733943720784 140733943718584 4232775 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/20374/statm: 12264 11399 142 357 0 11904 0
Current children cumulated CPU time (s) 1601.95
Current children cumulated vsize (KiB) 73976
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 20390
/proc/meminfo: memFree=31000220/32873844 swapFree=7900/7900
[pid=20247] ppid=20245 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20247/stat : 20247 (npSolver-pbo-I.) S 20245 20247 18146 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279842572 9367552 275 33554432000 4194304 5064252 140737289368608 140737289367520 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/20247/statm: 2287 275 233 213 0 72 0
[pid=20248] ppid=20247 vsize=15772 CPUtime=1632.68 cores=1,3,5,7
/proc/20248/stat : 20248 (npSolver-pbo) S 20247 20247 18146 0 -1 4202496 44588 137888 0 0 115 26 163073 54 20 0 1 0 279842572 16150528 3601 33554432000 4194304 5992684 140735311430944 140735311415848 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/20248/statm: 3943 3601 186 440 0 3499 0
[pid=20389] ppid=20248 vsize=34972 CPUtime=29.25 cores=1,3,5,7
/proc/20389/stat : 20389 (glucosInc) R 20248 20247 18146 0 -1 4202496 7736 0 0 0 2923 2 0 0 20 0 1 0 280005874 35811328 8188 33554432000 4194304 5654031 140734483938800 140734483926616 4208621 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/20389/statm: 8743 8188 142 357 0 8383 0
Current children cumulated CPU time (s) 1661.93
Current children cumulated vsize (KiB) 59892
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 20390
/proc/meminfo: memFree=30983652/32873844 swapFree=7900/7900
[pid=20247] ppid=20245 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20247/stat : 20247 (npSolver-pbo-I.) S 20245 20247 18146 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279842572 9367552 275 33554432000 4194304 5064252 140737289368608 140737289367520 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/20247/statm: 2287 275 233 213 0 72 0
[pid=20248] ppid=20247 vsize=15772 CPUtime=1632.68 cores=1,3,5,7
/proc/20248/stat : 20248 (npSolver-pbo) S 20247 20247 18146 0 -1 4202496 44588 137888 0 0 115 26 163073 54 20 0 1 0 279842572 16150528 3601 33554432000 4194304 5992684 140735311430944 140735311415848 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/20248/statm: 3943 3601 186 440 0 3499 0
[pid=20389] ppid=20248 vsize=42112 CPUtime=89.24 cores=1,3,5,7
/proc/20389/stat : 20389 (glucosInc) R 20248 20247 18146 0 -1 4202496 9085 0 0 0 8921 3 0 0 20 0 1 0 280005874 43122688 9975 33554432000 4194304 5654031 140734483938800 140734483936600 4215009 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/20389/statm: 10528 9975 142 357 0 10168 0
Current children cumulated CPU time (s) 1721.92
Current children cumulated vsize (KiB) 67032
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 20392
/proc/meminfo: memFree=30991220/32873844 swapFree=7900/7900
[pid=20247] ppid=20245 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20247/stat : 20247 (npSolver-pbo-I.) S 20245 20247 18146 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279842572 9367552 275 33554432000 4194304 5064252 140737289368608 140737289367520 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/20247/statm: 2287 275 233 213 0 72 0
[pid=20248] ppid=20247 vsize=15772 CPUtime=1725.24 cores=1,3,5,7
/proc/20248/stat : 20248 (npSolver-pbo) S 20247 20247 18146 0 -1 4202496 47042 147497 0 0 121 26 172319 58 20 0 1 0 279842572 16150528 3601 33554432000 4194304 5992684 140735311430944 140735311415848 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/20248/statm: 3943 3601 186 440 0 3499 0
[pid=20392] ppid=20248 vsize=34728 CPUtime=56.64 cores=1,3,5,7
/proc/20392/stat : 20392 (glucosInc) R 20248 20247 18146 0 -1 4202496 8299 0 0 0 5662 2 0 0 20 0 1 0 280015134 35561472 7503 33554432000 4194304 5654031 140737190736160 140737190723976 4232821 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/20392/statm: 8682 7503 142 357 0 8322 0
Current children cumulated CPU time (s) 1781.88
Current children cumulated vsize (KiB) 59648
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 20392
/proc/meminfo: memFree=30988864/32873844 swapFree=7900/7900
[pid=20247] ppid=20245 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20247/stat : 20247 (npSolver-pbo-I.) S 20245 20247 18146 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279842572 9367552 275 33554432000 4194304 5064252 140737289368608 140737289367520 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/20247/statm: 2287 275 233 213 0 72 0
[pid=20248] ppid=20247 vsize=15772 CPUtime=1725.24 cores=1,3,5,7
/proc/20248/stat : 20248 (npSolver-pbo) S 20247 20247 18146 0 -1 4202496 47042 147497 0 0 121 26 172319 58 20 0 1 0 279842572 16150528 3601 33554432000 4194304 5992684 140735311430944 140735311415848 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/20248/statm: 3943 3601 186 440 0 3499 0
[pid=20392] ppid=20248 vsize=41800 CPUtime=74.85 cores=1,3,5,7
/proc/20392/stat : 20392 (glucosInc) R 20248 20247 18146 0 -1 4202496 9242 0 0 0 7482 3 0 0 20 0 1 0 280015134 42803200 8222 33554432000 4194304 5654031 140737190736160 140737190723976 4232707 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/20392/statm: 10450 8222 142 357 0 10090 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 66720
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
Child status: 0
Real time (s): 1800.51
CPU time (s): 1800.13
CPU user time (s): 1799.24
CPU system time (s): 0.889864
CPU usage (%): 99.979
Max. virtual memory (cumulated for all children) (KiB): 78384
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.24
system time used= 0.889864
maximum resident set size= 51272
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 204159
page faults= 0
swaps= 0
block input operations= 0
block output operations= 197856
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1002
involuntary context switches= 1898
runsolver used 7.9068 second user time and 18.2672 second system time
The end