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-3748549-1339172534/watcher-3748549-1339172534 -o /tmp/evaluation-result-3748549-1339172534/solver-3748549-1339172534 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-I.sh HOME/instance-3748549-1339172534.opb 220968392 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.00 2.00 2.03 3/179 30907
/proc/meminfo: memFree=28428200/32873844 swapFree=7120/7120
[pid=30907] ppid=30905 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30907/stat : 30907 (npSolver-pbo-I.) S 30905 30907 30631 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 27220967 9367552 275 33554432000 4194304 5064252 140733886461504 140733886460416 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30907/statm: 2287 275 233 213 0 72 0
[startup+0.0985579 s]
/proc/loadavg: 2.00 2.00 2.03 3/179 30907
/proc/meminfo: memFree=28428200/32873844 swapFree=7120/7120
[pid=30907] ppid=30905 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30907/stat : 30907 (npSolver-pbo-I.) S 30905 30907 30631 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 27220967 9367552 275 33554432000 4194304 5064252 140733886461504 140733886460416 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30907/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100217 s]
/proc/loadavg: 2.00 2.00 2.03 3/179 30907
/proc/meminfo: memFree=28428200/32873844 swapFree=7120/7120
[pid=30907] ppid=30905 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30907/stat : 30907 (npSolver-pbo-I.) S 30905 30907 30631 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 27220967 9367552 275 33554432000 4194304 5064252 140733886461504 140733886460416 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30907/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300234 s]
/proc/loadavg: 2.00 2.00 2.03 3/179 30907
/proc/meminfo: memFree=28428200/32873844 swapFree=7120/7120
[pid=30907] ppid=30905 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30907/stat : 30907 (npSolver-pbo-I.) S 30905 30907 30631 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 27220967 9367552 275 33554432000 4194304 5064252 140733886461504 140733886460416 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30907/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700244 s]
/proc/loadavg: 2.00 2.00 2.03 3/179 30907
/proc/meminfo: memFree=28428200/32873844 swapFree=7120/7120
[pid=30907] ppid=30905 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30907/stat : 30907 (npSolver-pbo-I.) S 30905 30907 30631 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 27220967 9367552 275 33554432000 4194304 5064252 140733886461504 140733886460416 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30907/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50036 s]
/proc/loadavg: 2.00 2.00 2.03 3/181 30909
/proc/meminfo: memFree=28787092/32873844 swapFree=7120/7120
[pid=30907] ppid=30905 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30907/stat : 30907 (npSolver-pbo-I.) S 30905 30907 30631 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 27220967 9367552 275 33554432000 4194304 5064252 140733886461504 140733886460416 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30907/statm: 2287 275 233 213 0 72 0
[pid=30908] ppid=30907 vsize=146308 CPUtime=1.49 cores=1,3,5,7
/proc/30908/stat : 30908 (npSolver-pbo) R 30907 30907 30631 0 -1 4202496 16061 0 0 0 143 6 0 0 20 0 1 0 27220967 149819392 32623 33554432000 4194304 6004724 140737292417280 140737292413304 5190736 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30908/statm: 36577 32623 130 442 0 36131 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 155456
[startup+3.10029 s]
/proc/loadavg: 2.00 2.00 2.03 3/181 30909
/proc/meminfo: memFree=28220864/32873844 swapFree=7120/7120
[pid=30907] ppid=30905 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30907/stat : 30907 (npSolver-pbo-I.) S 30905 30907 30631 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 27220967 9367552 275 33554432000 4194304 5064252 140733886461504 140733886460416 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30907/statm: 2287 275 233 213 0 72 0
[pid=30908] ppid=30907 vsize=322492 CPUtime=3.08 cores=1,3,5,7
/proc/30908/stat : 30908 (npSolver-pbo) R 30907 30907 30631 0 -1 4202496 36435 0 0 0 292 16 0 0 20 0 1 0 27220967 330231808 77986 33554432000 4194304 6004724 140737292417280 140737292413304 4968639 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30908/statm: 80623 77986 130 442 0 80177 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 331640
[startup+6.30031 s]
/proc/loadavg: 2.00 2.00 2.03 3/181 30909
/proc/meminfo: memFree=27537892/32873844 swapFree=7120/7120
[pid=30907] ppid=30905 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30907/stat : 30907 (npSolver-pbo-I.) S 30905 30907 30631 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 27220967 9367552 275 33554432000 4194304 5064252 140733886461504 140733886460416 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30907/statm: 2287 275 233 213 0 72 0
[pid=30908] ppid=30907 vsize=887044 CPUtime=6.29 cores=1,3,5,7
/proc/30908/stat : 30908 (npSolver-pbo) R 30907 30907 30631 0 -1 4202496 80581 0 0 0 592 37 0 0 20 0 1 0 27220967 908333056 169972 33554432000 4194304 6004724 140737292417280 140737292413304 4968639 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30908/statm: 221761 169973 130 442 0 221315 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 896192
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.02 3/181 30909
/proc/meminfo: memFree=26322608/32873844 swapFree=7120/7120
[pid=30907] ppid=30905 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30907/stat : 30907 (npSolver-pbo-I.) S 30905 30907 30631 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 27220967 9367552 275 33554432000 4194304 5064252 140733886461504 140733886460416 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30907/statm: 2287 275 233 213 0 72 0
[pid=30908] ppid=30907 vsize=1746612 CPUtime=12.69 cores=1,3,5,7
/proc/30908/stat : 30908 (npSolver-pbo) R 30907 30907 30631 0 -1 4202496 165309 0 0 0 1200 69 0 0 20 0 1 0 27220967 1788530688 317807 33554432000 4194304 6004724 140737292417280 140737292412920 4968639 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30908/statm: 436653 317808 130 442 0 436207 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1755760
[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 2.02 3/181 30909
/proc/meminfo: memFree=23836884/32873844 swapFree=7120/7120
[pid=30907] ppid=30905 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30907/stat : 30907 (npSolver-pbo-I.) S 30905 30907 30631 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 27220967 9367552 275 33554432000 4194304 5064252 140733886461504 140733886460416 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30907/statm: 2287 275 233 213 0 72 0
[pid=30908] ppid=30907 vsize=3045848 CPUtime=25.48 cores=1,3,5,7
/proc/30908/stat : 30908 (npSolver-pbo) R 30907 30907 30631 0 -1 4202496 342018 0 0 0 2421 127 0 0 20 0 1 0 27220967 3118948352 679928 33554432000 4194304 6004724 140737292417280 140737292411880 4535989 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30908/statm: 761462 679928 162 442 0 761016 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 3054996
[startup+51.1004 s]
/proc/loadavg: 2.00 2.00 2.02 3/181 30909
/proc/meminfo: memFree=19802132/32873844 swapFree=7120/7120
[pid=30907] ppid=30905 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30907/stat : 30907 (npSolver-pbo-I.) S 30905 30907 30631 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 27220967 9367552 275 33554432000 4194304 5064252 140733886461504 140733886460416 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30907/statm: 2287 275 233 213 0 72 0
[pid=30908] ppid=30907 vsize=6192332 CPUtime=51.08 cores=1,3,5,7
/proc/30908/stat : 30908 (npSolver-pbo) R 30907 30907 30631 0 -1 4202496 345724 0 0 0 4894 214 0 0 20 0 1 0 27220967 6340947968 1170614 33554432000 4194304 6004724 140737292417280 140737292411880 5055579 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30908/statm: 1548083 1170614 163 442 0 1547637 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 6201480
[startup+102.3 s]
/proc/loadavg: 2.00 2.00 2.02 3/181 30910
/proc/meminfo: memFree=11354988/32873844 swapFree=7120/7120
[pid=30907] ppid=30905 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30907/stat : 30907 (npSolver-pbo-I.) S 30905 30907 30631 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 27220967 9367552 275 33554432000 4194304 5064252 140733886461504 140733886460416 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30907/statm: 2287 275 233 213 0 72 0
[pid=30908] ppid=30907 vsize=10386636 CPUtime=102.28 cores=1,3,5,7
/proc/30908/stat : 30908 (npSolver-pbo) R 30907 30907 30631 0 -1 4202496 350335 0 0 0 9873 355 0 0 20 0 1 0 27220967 10635915264 2221238 33554432000 4194304 6004724 140737292417280 140737292411880 4582618 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30908/statm: 2596659 2221238 163 442 0 2596213 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 10395784
[startup+162.3 s]
/proc/loadavg: 3.18 2.30 2.11 1/183 30912
/proc/meminfo: memFree=2295440/32873844 swapFree=7120/7120
[pid=30907] ppid=30905 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30907/stat : 30907 (npSolver-pbo-I.) S 30905 30907 30631 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 27220967 9367552 275 33554432000 4194304 5064252 140733886461504 140733886460416 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30907/statm: 2287 275 233 213 0 72 0
[pid=30908] ppid=30907 vsize=10452172 CPUtime=133.38 cores=1,3,5,7
/proc/30908/stat : 30908 (npSolver-pbo) S 30907 30907 30631 0 -1 4204032 352738 0 0 0 12925 413 0 0 20 0 1 0 27220967 10703024128 2600248 33554432000 4194304 6004724 140737292417280 140737292412952 5251733 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/30908/statm: 2613043 2600248 220 442 0 2612597 0
Current children cumulated CPU time (s) 133.38
Current children cumulated vsize (KiB) 10461320
[startup+222.307 s]
/proc/loadavg: 3.70 2.60 2.23 1/183 30912
/proc/meminfo: memFree=1743592/32873844 swapFree=7120/7120
[pid=30907] ppid=30905 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30907/stat : 30907 (npSolver-pbo-I.) S 30905 30907 30631 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 27220967 9367552 275 33554432000 4194304 5064252 140733886461504 140733886460416 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30907/statm: 2287 275 233 213 0 72 0
[pid=30908] ppid=30907 vsize=10452172 CPUtime=133.52 cores=1,3,5,7
/proc/30908/stat : 30908 (npSolver-pbo) S 30907 30907 30631 0 -1 4204032 352738 0 0 0 12925 427 0 0 20 0 1 0 27220967 10703024128 2600248 33554432000 4194304 6004724 140737292417280 140737292412952 5251733 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/30908/statm: 2613043 2600248 220 442 0 2612597 0
Current children cumulated CPU time (s) 133.52
Current children cumulated vsize (KiB) 10461320
heavy processes:
[startup+282.3 s]
/proc/loadavg: 4.11 2.92 2.36 1/183 30912
/proc/meminfo: memFree=1377848/32873844 swapFree=7120/7120
[pid=30907] ppid=30905 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30907/stat : 30907 (npSolver-pbo-I.) S 30905 30907 30631 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 27220967 9367552 275 33554432000 4194304 5064252 140733886461504 140733886460416 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30907/statm: 2287 275 233 213 0 72 0
[pid=30908] ppid=30907 vsize=10452172 CPUtime=133.9 cores=1,3,5,7
/proc/30908/stat : 30908 (npSolver-pbo) S 30907 30907 30631 0 -1 4204032 352738 0 0 0 12925 465 0 0 20 0 1 0 27220967 10703024128 2600248 33554432000 4194304 6004724 140737292417280 140737292412952 5251733 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/30908/statm: 2613043 2600248 220 442 0 2612597 0
Current children cumulated CPU time (s) 133.9
Current children cumulated vsize (KiB) 10461320
heavy processes:
[startup+342.3 s]
/proc/loadavg: 4.08 3.13 2.46 1/183 30912
/proc/meminfo: memFree=468212/32873844 swapFree=7120/7120
[pid=30907] ppid=30905 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30907/stat : 30907 (npSolver-pbo-I.) S 30905 30907 30631 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 27220967 9367552 275 33554432000 4194304 5064252 140733886461504 140733886460416 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30907/statm: 2287 275 233 213 0 72 0
[pid=30908] ppid=30907 vsize=10452172 CPUtime=135.1 cores=1,3,5,7
/proc/30908/stat : 30908 (npSolver-pbo) S 30907 30907 30631 0 -1 4204032 352738 0 0 0 12925 585 0 0 20 0 1 0 27220967 10703024128 2600248 33554432000 4194304 6004724 140737292417280 140737292412952 5251733 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/30908/statm: 2613043 2600248 220 442 0 2612597 0
Current children cumulated CPU time (s) 135.1
Current children cumulated vsize (KiB) 10461320
heavy processes:
[startup+402.3 s]
/proc/loadavg: 4.28 3.35 2.58 1/183 30913
/proc/meminfo: memFree=322572/32873844 swapFree=7132/7132
[pid=30907] ppid=30905 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30907/stat : 30907 (npSolver-pbo-I.) S 30905 30907 30631 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 27220967 9367552 275 33554432000 4194304 5064252 140733886461504 140733886460416 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30907/statm: 2287 275 233 213 0 72 0
[pid=30908] ppid=30907 vsize=10452172 CPUtime=136.05 cores=1,3,5,7
/proc/30908/stat : 30908 (npSolver-pbo) S 30907 30907 30631 0 -1 4204032 352738 0 0 0 12925 680 0 0 20 0 1 0 27220967 10703024128 2600248 33554432000 4194304 6004724 140737292417280 140737292412952 5251733 0 0 4096 0 18446744071580380219 0 0 17 7 0 0 0 0 0
/proc/30908/statm: 2613043 2600248 220 442 0 2612597 0
Current children cumulated CPU time (s) 136.05
Current children cumulated vsize (KiB) 10461320
heavy processes:
[startup+462.3 s]
/proc/loadavg: 4.79 3.67 2.74 1/184 30914
/proc/meminfo: memFree=235780/32873844 swapFree=7132/7132
[pid=30907] ppid=30905 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30907/stat : 30907 (npSolver-pbo-I.) S 30905 30907 30631 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 27220967 9367552 275 33554432000 4194304 5064252 140733886461504 140733886460416 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30907/statm: 2287 275 233 213 0 72 0
[pid=30908] ppid=30907 vsize=10452172 CPUtime=136.76 cores=1,3,5,7
/proc/30908/stat : 30908 (npSolver-pbo) S 30907 30907 30631 0 -1 4204032 352738 0 0 0 12925 751 0 0 20 0 1 0 27220967 10703024128 2600248 33554432000 4194304 6004724 140737292417280 140737292412952 5251733 0 0 4096 0 18446744071580380219 0 0 17 7 0 0 0 0 0
/proc/30908/statm: 2613043 2600248 220 442 0 2612597 0
Current children cumulated CPU time (s) 136.76
Current children cumulated vsize (KiB) 10461320
heavy processes:
[startup+522.3 s]
/proc/loadavg: 6.66 4.36 3.03 1/186 30916
/proc/meminfo: memFree=330968/32873844 swapFree=7132/7132
[pid=30907] ppid=30905 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30907/stat : 30907 (npSolver-pbo-I.) S 30905 30907 30631 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 27220967 9367552 275 33554432000 4194304 5064252 140733886461504 140733886460416 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30907/statm: 2287 275 233 213 0 72 0
[pid=30908] ppid=30907 vsize=10452172 CPUtime=136.76 cores=1,3,5,7
/proc/30908/stat : 30908 (npSolver-pbo) S 30907 30907 30631 0 -1 4204032 352738 0 0 0 12925 751 0 0 20 0 1 0 27220967 10703024128 2600248 33554432000 4194304 6004724 140737292417280 140737292412952 5251733 0 0 4096 0 18446744071580380219 0 0 17 7 0 0 0 0 0
/proc/30908/statm: 2613043 2600248 220 442 0 2612597 0
Current children cumulated CPU time (s) 136.76
Current children cumulated vsize (KiB) 10461320
heavy processes:
[startup+582.3 s]
/proc/loadavg: 7.61 5.06 3.35 1/186 30916
/proc/meminfo: memFree=330376/32873844 swapFree=7132/7132
[pid=30907] ppid=30905 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30907/stat : 30907 (npSolver-pbo-I.) S 30905 30907 30631 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 27220967 9367552 275 33554432000 4194304 5064252 140733886461504 140733886460416 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30907/statm: 2287 275 233 213 0 72 0
[pid=30908] ppid=30907 vsize=10452172 CPUtime=136.76 cores=1,3,5,7
/proc/30908/stat : 30908 (npSolver-pbo) S 30907 30907 30631 0 -1 4204032 352738 0 0 0 12925 751 0 0 20 0 1 0 27220967 10703024128 2600248 33554432000 4194304 6004724 140737292417280 140737292412952 5251733 0 0 4096 0 18446744071580380219 0 0 17 7 0 0 0 0 0
/proc/30908/statm: 2613043 2600248 220 442 0 2612597 0
Current children cumulated CPU time (s) 136.76
Current children cumulated vsize (KiB) 10461320
heavy processes:
Solver just ended. Dumping a history of the last processes samples
[startup+590.5 s]
/proc/loadavg: 7.74 5.18 3.40 1/186 30916
/proc/meminfo: memFree=359564/32873844 swapFree=7132/7132
[pid=30907] ppid=30905 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30907/stat : 30907 (npSolver-pbo-I.) S 30905 30907 30631 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 27220967 9367552 275 33554432000 4194304 5064252 140733886461504 140733886460416 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30907/statm: 2287 275 233 213 0 72 0
[pid=30908] ppid=30907 vsize=10452172 CPUtime=136.76 cores=1,3,5,7
/proc/30908/stat : 30908 (npSolver-pbo) S 30907 30907 30631 0 -1 4204032 352738 0 0 0 12925 751 0 0 20 0 1 0 27220967 10703024128 2600248 33554432000 4194304 6004724 140737292417280 140737292412952 5251733 0 0 4096 0 18446744071580380219 0 0 17 7 0 0 0 0 0
/proc/30908/statm: 2613043 2600248 220 442 0 2612597 0
Current children cumulated CPU time (s) 136.76
Current children cumulated vsize (KiB) 10461320
[startup+603.3 s]
/proc/loadavg: 7.78 5.27 3.45 1/186 30916
/proc/meminfo: memFree=444108/32873844 swapFree=7132/7132
[pid=30907] ppid=30905 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30907/stat : 30907 (npSolver-pbo-I.) S 30905 30907 30631 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 27220967 9367552 275 33554432000 4194304 5064252 140733886461504 140733886460416 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30907/statm: 2287 275 233 213 0 72 0
[pid=30908] ppid=30907 vsize=10452172 CPUtime=136.76 cores=1,3,5,7
/proc/30908/stat : 30908 (npSolver-pbo) S 30907 30907 30631 0 -1 4204032 352738 0 0 0 12925 751 0 0 20 0 1 0 27220967 10703024128 2600248 33554432000 4194304 6004724 140737292417280 140737292412952 5251733 0 0 4096 0 18446744071580380219 0 0 17 7 0 0 0 0 0
/proc/30908/statm: 2613043 2600248 220 442 0 2612597 0
Current children cumulated CPU time (s) 136.76
Current children cumulated vsize (KiB) 10461320
[startup+616.1 s]
/proc/loadavg: 7.75 5.39 3.52 1/186 30916
/proc/meminfo: memFree=503048/32873844 swapFree=7132/7132
[pid=30907] ppid=30905 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30907/stat : 30907 (npSolver-pbo-I.) S 30905 30907 30631 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 27220967 9367552 275 33554432000 4194304 5064252 140733886461504 140733886460416 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30907/statm: 2287 275 233 213 0 72 0
[pid=30908] ppid=30907 vsize=10452172 CPUtime=136.76 cores=1,3,5,7
/proc/30908/stat : 30908 (npSolver-pbo) S 30907 30907 30631 0 -1 4204032 352738 0 0 0 12925 751 0 0 20 0 1 0 27220967 10703024128 2600248 33554432000 4194304 6004724 140737292417280 140737292412952 5251733 0 0 4096 0 18446744071580380219 0 0 17 7 0 0 0 0 0
/proc/30908/statm: 2613043 2600248 220 442 0 2612597 0
Current children cumulated CPU time (s) 136.76
Current children cumulated vsize (KiB) 10461320
[startup+622.5 s]
/proc/loadavg: 7.77 5.43 3.54 1/186 30916
/proc/meminfo: memFree=503756/32873844 swapFree=7132/7132
[pid=30907] ppid=30905 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30907/stat : 30907 (npSolver-pbo-I.) S 30905 30907 30631 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 27220967 9367552 275 33554432000 4194304 5064252 140733886461504 140733886460416 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30907/statm: 2287 275 233 213 0 72 0
[pid=30908] ppid=30907 vsize=10452172 CPUtime=136.76 cores=1,3,5,7
/proc/30908/stat : 30908 (npSolver-pbo) S 30907 30907 30631 0 -1 4204032 352738 0 0 0 12925 751 0 0 20 0 1 0 27220967 10703024128 2600248 33554432000 4194304 6004724 140737292417280 140737292412952 5251733 0 0 4096 0 18446744071580380219 0 0 17 7 0 0 0 0 0
/proc/30908/statm: 2613043 2600248 220 442 0 2612597 0
Current children cumulated CPU time (s) 136.76
Current children cumulated vsize (KiB) 10461320
[startup+625.7 s]
/proc/loadavg: 7.71 5.45 3.56 1/186 30916
/proc/meminfo: memFree=504872/32873844 swapFree=7132/7132
[pid=30907] ppid=30905 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30907/stat : 30907 (npSolver-pbo-I.) S 30905 30907 30631 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 27220967 9367552 275 33554432000 4194304 5064252 140733886461504 140733886460416 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30907/statm: 2287 275 233 213 0 72 0
[pid=30908] ppid=30907 vsize=10452172 CPUtime=136.76 cores=1,3,5,7
/proc/30908/stat : 30908 (npSolver-pbo) S 30907 30907 30631 0 -1 4204032 352738 0 0 0 12925 751 0 0 20 0 1 0 27220967 10703024128 2600248 33554432000 4194304 6004724 140737292417280 140737292412952 5251733 0 0 4096 0 18446744071580380219 0 0 17 7 0 0 0 0 0
/proc/30908/statm: 2613043 2600248 220 442 0 2612597 0
Current children cumulated CPU time (s) 136.76
Current children cumulated vsize (KiB) 10461320
[startup+626.5 s]
/proc/loadavg: 7.71 5.45 3.56 1/186 30916
/proc/meminfo: memFree=637676/32873844 swapFree=7132/7132
[pid=30907] ppid=30905 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30907/stat : 30907 (npSolver-pbo-I.) S 30905 30907 30631 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 27220967 9367552 275 33554432000 4194304 5064252 140733886461504 140733886460416 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30907/statm: 2287 275 233 213 0 72 0
[pid=30908] ppid=30907 vsize=10452172 CPUtime=136.76 cores=1,3,5,7
/proc/30908/stat : 30908 (npSolver-pbo) S 30907 30907 30631 0 -1 4204032 352738 0 0 0 12925 751 0 0 20 0 1 0 27220967 10703024128 2600248 33554432000 4194304 6004724 140737292417280 140737292412952 5251733 0 0 4096 0 18446744071580380219 0 0 17 7 0 0 0 0 0
/proc/30908/statm: 2613043 2600248 220 442 0 2612597 0
Current children cumulated CPU time (s) 136.76
Current children cumulated vsize (KiB) 10461320
[startup+626.9 s]
/proc/loadavg: 7.71 5.45 3.56 1/186 30916
/proc/meminfo: memFree=637676/32873844 swapFree=7132/7132
[pid=30907] ppid=30905 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30907/stat : 30907 (npSolver-pbo-I.) S 30905 30907 30631 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 27220967 9367552 275 33554432000 4194304 5064252 140733886461504 140733886460416 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30907/statm: 2287 275 233 213 0 72 0
[pid=30908] ppid=30907 vsize=10452172 CPUtime=136.76 cores=1,3,5,7
/proc/30908/stat : 30908 (npSolver-pbo) S 30907 30907 30631 0 -1 4204032 352738 0 0 0 12925 751 0 0 20 0 1 0 27220967 10703024128 2600248 33554432000 4194304 6004724 140737292417280 140737292412952 5251733 0 0 4096 0 18446744071580380219 0 0 17 7 0 0 0 0 0
/proc/30908/statm: 2613043 2600248 220 442 0 2612597 0
Current children cumulated CPU time (s) 136.76
Current children cumulated vsize (KiB) 10461320
[startup+627.1 s]
/proc/loadavg: 7.71 5.45 3.56 1/186 30916
/proc/meminfo: memFree=637676/32873844 swapFree=7132/7132
[pid=30907] ppid=30905 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30907/stat : 30907 (npSolver-pbo-I.) S 30905 30907 30631 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 27220967 9367552 275 33554432000 4194304 5064252 140733886461504 140733886460416 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30907/statm: 2287 275 233 213 0 72 0
[pid=30908] ppid=30907 vsize=0 CPUtime=136.84 cores=1,3,5,7
/proc/30908/stat : 30908 (npSolver-pbo) R 30907 30907 30631 0 -1 4204036 352738 0 0 0 12925 759 0 0 20 0 1 0 27220967 0 0 33554432000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/30908/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 136.84
Current children cumulated vsize (KiB) 9148
Child status: 0
Real time (s): 627.151
CPU time (s): 136.9
CPU user time (s): 129.255
CPU system time (s): 7.64484
CPU usage (%): 21.8289
Max. virtual memory (cumulated for all children) (KiB): 14590088
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 129.255
system time used= 7.64484
maximum resident set size= 10400992
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 353112
page faults= 0
swaps= 0
block input operations= 0
block output operations= 8
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 716729
involuntary context switches= 181
runsolver used 1.23981 second user time and 3.3175 second system time
The end