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-3748545-1339172523/watcher-3748545-1339172523 -o /tmp/evaluation-result-3748545-1339172523/solver-3748545-1339172523 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-I.sh HOME/instance-3748545-1339172523.opb 220968392 HOME HOME
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 2.03 3/180 30867
/proc/meminfo: memFree=24207476/32873844 swapFree=7120/7120
[pid=30867] ppid=30865 vsize=11812 CPUtime=0 cores=0,2,4,6
/proc/30867/stat : 30867 (runsolver) D 30865 30867 30631 0 -1 4202560 42 0 0 0 0 0 0 0 20 0 1 0 27219800 12095488 50 33554432000 4194304 5436572 140733422049920 140733422046216 4883175 0 0 4096 24578 18446744071579943789 0 0 17 0 0 0 0 0 0
/proc/30867/statm: 2953 50 31 304 0 2645 0
[startup+0.022928 s]
/proc/loadavg: 2.00 2.00 2.03 3/180 30867
/proc/meminfo: memFree=24207476/32873844 swapFree=7120/7120
[pid=30867] ppid=30865 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30867/stat : 30867 (npSolver-pbo-I.) S 30865 30867 30631 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 27219800 9367552 275 33554432000 4194304 5064252 140734277670976 140734277669888 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/30867/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100143 s]
/proc/loadavg: 2.00 2.00 2.03 3/180 30867
/proc/meminfo: memFree=24207476/32873844 swapFree=7120/7120
[pid=30867] ppid=30865 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30867/stat : 30867 (npSolver-pbo-I.) S 30865 30867 30631 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 27219800 9367552 275 33554432000 4194304 5064252 140734277670976 140734277669888 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/30867/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300153 s]
/proc/loadavg: 2.00 2.00 2.03 3/180 30867
/proc/meminfo: memFree=24207476/32873844 swapFree=7120/7120
[pid=30867] ppid=30865 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30867/stat : 30867 (npSolver-pbo-I.) S 30865 30867 30631 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 27219800 9367552 275 33554432000 4194304 5064252 140734277670976 140734277669888 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/30867/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700152 s]
/proc/loadavg: 2.00 2.00 2.03 3/180 30867
/proc/meminfo: memFree=24207476/32873844 swapFree=7120/7120
[pid=30867] ppid=30865 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30867/stat : 30867 (npSolver-pbo-I.) S 30865 30867 30631 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 27219800 9367552 275 33554432000 4194304 5064252 140734277670976 140734277669888 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/30867/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.5003 s]
/proc/loadavg: 2.00 2.00 2.03 3/182 30869
/proc/meminfo: memFree=24139960/32873844 swapFree=7120/7120
[pid=30867] ppid=30865 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30867/stat : 30867 (npSolver-pbo-I.) S 30865 30867 30631 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 27219800 9367552 275 33554432000 4194304 5064252 140734277670976 140734277669888 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/30867/statm: 2287 275 233 213 0 72 0
[pid=30869] ppid=30867 vsize=146308 CPUtime=1.47 cores=0,2,4,6
/proc/30869/stat : 30869 (npSolver-pbo) R 30867 30867 30631 0 -1 4202496 13140 0 0 0 143 4 0 0 20 0 1 0 27219800 149819392 32769 33554432000 4194304 6004724 140735032433504 140735032429528 4561776 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/30869/statm: 36577 32769 130 442 0 36131 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 155456
[startup+3.10027 s]
/proc/loadavg: 2.00 2.00 2.03 3/182 30869
/proc/meminfo: memFree=24021744/32873844 swapFree=7120/7120
[pid=30867] ppid=30865 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30867/stat : 30867 (npSolver-pbo-I.) S 30865 30867 30631 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 27219800 9367552 275 33554432000 4194304 5064252 140734277670976 140734277669888 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/30867/statm: 2287 275 233 213 0 72 0
[pid=30869] ppid=30867 vsize=320512 CPUtime=3.07 cores=0,2,4,6
/proc/30869/stat : 30869 (npSolver-pbo) R 30867 30867 30631 0 -1 4202496 33048 0 0 0 296 11 0 0 20 0 1 0 27219800 328204288 77155 33554432000 4194304 6004724 140735032433504 140735032429528 5190736 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/30869/statm: 80161 77156 130 442 0 79715 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 329660
[startup+6.30027 s]
/proc/loadavg: 2.00 2.00 2.03 3/177 30898
/proc/meminfo: memFree=29712008/32873844 swapFree=7120/7120
[pid=30867] ppid=30865 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30867/stat : 30867 (npSolver-pbo-I.) S 30865 30867 30631 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 27219800 9367552 275 33554432000 4194304 5064252 140734277670976 140734277669888 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/30867/statm: 2287 275 233 213 0 72 0
[pid=30869] ppid=30867 vsize=884668 CPUtime=6.27 cores=0,2,4,6
/proc/30869/stat : 30869 (npSolver-pbo) R 30867 30867 30631 0 -1 4202496 77081 0 0 0 599 28 0 0 20 0 1 0 27219800 905900032 168517 33554432000 4194304 6004724 140735032433504 140735032429528 4968639 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/30869/statm: 221167 168517 130 442 0 220721 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 893816
[startup+12.7064 s]
/proc/loadavg: 2.00 2.00 2.03 3/181 30909
/proc/meminfo: memFree=28798008/32873844 swapFree=7120/7120
[pid=30867] ppid=30865 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30867/stat : 30867 (npSolver-pbo-I.) S 30865 30867 30631 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 27219800 9367552 275 33554432000 4194304 5064252 140734277670976 140734277669888 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/30867/statm: 2287 275 233 213 0 72 0
[pid=30869] ppid=30867 vsize=1738560 CPUtime=12.68 cores=0,2,4,6
/proc/30869/stat : 30869 (npSolver-pbo) R 30867 30867 30631 0 -1 4202496 160383 0 0 0 1212 56 0 0 20 0 1 0 27219800 1780285440 314415 33554432000 4194304 6004724 140735032433504 140735032429528 5190736 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/30869/statm: 434640 314415 130 442 0 434194 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1747708
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.02 3/181 30909
/proc/meminfo: memFree=26156956/32873844 swapFree=7120/7120
[pid=30867] ppid=30865 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30867/stat : 30867 (npSolver-pbo-I.) S 30865 30867 30631 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 27219800 9367552 275 33554432000 4194304 5064252 140734277670976 140734277669888 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/30867/statm: 2287 275 233 213 0 72 0
[pid=30869] ppid=30867 vsize=3045844 CPUtime=25.47 cores=0,2,4,6
/proc/30869/stat : 30869 (npSolver-pbo) R 30867 30867 30631 0 -1 4202496 339099 0 0 0 2436 111 0 0 20 0 1 0 27219800 3118944256 675950 33554432000 4194304 6004724 140735032433504 140735032428104 4536193 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/30869/statm: 761461 675950 162 442 0 761015 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 3054992
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.02 3/181 30909
/proc/meminfo: memFree=21632484/32873844 swapFree=7120/7120
[pid=30867] ppid=30865 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30867/stat : 30867 (npSolver-pbo-I.) S 30865 30867 30631 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 27219800 9367552 275 33554432000 4194304 5064252 140734277670976 140734277669888 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/30867/statm: 2287 275 233 213 0 72 0
[pid=30869] ppid=30867 vsize=6192332 CPUtime=51.07 cores=0,2,4,6
/proc/30869/stat : 30869 (npSolver-pbo) R 30867 30867 30631 0 -1 4202496 342823 0 0 0 4921 186 0 0 20 0 1 0 27219800 6340947968 1175341 33554432000 4194304 6004724 140735032433504 140735032428104 5055473 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/30869/statm: 1548083 1175341 163 442 0 1547637 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 6201480
[startup+102.3 s]
/proc/loadavg: 2.00 2.00 2.02 3/181 30910
/proc/meminfo: memFree=13427468/32873844 swapFree=7120/7120
[pid=30867] ppid=30865 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30867/stat : 30867 (npSolver-pbo-I.) S 30865 30867 30631 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 27219800 9367552 275 33554432000 4194304 5064252 140734277670976 140734277669888 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/30867/statm: 2287 275 233 213 0 72 0
[pid=30869] ppid=30867 vsize=10386636 CPUtime=102.25 cores=0,2,4,6
/proc/30869/stat : 30869 (npSolver-pbo) R 30867 30867 30631 0 -1 4202496 347416 0 0 0 9904 321 0 0 20 0 1 0 27219800 10635915264 2216749 33554432000 4194304 6004724 140735032433504 140735032428104 4582623 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/30869/statm: 2596659 2216749 163 442 0 2596213 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 10395784
[startup+162.306 s]
/proc/loadavg: 3.03 2.24 2.09 1/183 30912
/proc/meminfo: memFree=2524152/32873844 swapFree=7120/7120
[pid=30867] ppid=30865 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30867/stat : 30867 (npSolver-pbo-I.) S 30865 30867 30631 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 27219800 9367552 275 33554432000 4194304 5064252 140734277670976 140734277669888 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/30867/statm: 2287 275 233 213 0 72 0
[pid=30869] ppid=30867 vsize=10452172 CPUtime=135.22 cores=0,2,4,6
/proc/30869/stat : 30869 (npSolver-pbo) S 30867 30867 30631 0 -1 4204032 349791 0 0 0 12985 537 0 0 20 0 1 0 27219800 10703024128 2600330 33554432000 4194304 6004724 140735032433504 140735032429176 5251733 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/30869/statm: 2613043 2600330 220 442 0 2612597 0
Current children cumulated CPU time (s) 135.22
Current children cumulated vsize (KiB) 10461320
[startup+222.3 s]
/proc/loadavg: 3.64 2.56 2.21 1/183 30912
/proc/meminfo: memFree=1835880/32873844 swapFree=7120/7120
[pid=30867] ppid=30865 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30867/stat : 30867 (npSolver-pbo-I.) S 30865 30867 30631 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 27219800 9367552 275 33554432000 4194304 5064252 140734277670976 140734277669888 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/30867/statm: 2287 275 233 213 0 72 0
[pid=30869] ppid=30867 vsize=10452172 CPUtime=135.22 cores=0,2,4,6
/proc/30869/stat : 30869 (npSolver-pbo) S 30867 30867 30631 0 -1 4204032 349791 0 0 0 12985 537 0 0 20 0 1 0 27219800 10703024128 2600330 33554432000 4194304 6004724 140735032433504 140735032429176 5251733 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/30869/statm: 2613043 2600330 220 442 0 2612597 0
Current children cumulated CPU time (s) 135.22
Current children cumulated vsize (KiB) 10461320
heavy processes:
%CPU=11 pid=30911 uid=0 cmd=
[startup+282.3 s]
/proc/loadavg: 4.13 2.88 2.34 1/183 30912
/proc/meminfo: memFree=1457828/32873844 swapFree=7120/7120
[pid=30867] ppid=30865 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30867/stat : 30867 (npSolver-pbo-I.) S 30865 30867 30631 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 27219800 9367552 275 33554432000 4194304 5064252 140734277670976 140734277669888 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/30867/statm: 2287 275 233 213 0 72 0
[pid=30869] ppid=30867 vsize=10452172 CPUtime=135.23 cores=0,2,4,6
/proc/30869/stat : 30869 (npSolver-pbo) S 30867 30867 30631 0 -1 4204032 349791 0 0 0 12985 538 0 0 20 0 1 0 27219800 10703024128 2600330 33554432000 4194304 6004724 140735032433504 140735032429176 5251733 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/30869/statm: 2613043 2600330 220 442 0 2612597 0
Current children cumulated CPU time (s) 135.23
Current children cumulated vsize (KiB) 10461320
heavy processes:
[startup+342.3 s]
/proc/loadavg: 4.09 3.10 2.44 1/183 30912
/proc/meminfo: memFree=968568/32873844 swapFree=7120/7120
[pid=30867] ppid=30865 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30867/stat : 30867 (npSolver-pbo-I.) S 30865 30867 30631 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 27219800 9367552 275 33554432000 4194304 5064252 140734277670976 140734277669888 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/30867/statm: 2287 275 233 213 0 72 0
[pid=30869] ppid=30867 vsize=10452172 CPUtime=135.23 cores=0,2,4,6
/proc/30869/stat : 30869 (npSolver-pbo) S 30867 30867 30631 0 -1 4204032 349791 0 0 0 12985 538 0 0 20 0 1 0 27219800 10703024128 2600330 33554432000 4194304 6004724 140735032433504 140735032429176 5251733 0 0 4096 0 18446744071580380219 0 0 17 6 0 0 0 0 0
/proc/30869/statm: 2613043 2600330 220 442 0 2612597 0
Current children cumulated CPU time (s) 135.23
Current children cumulated vsize (KiB) 10461320
heavy processes:
[startup+402.306 s]
/proc/loadavg: 4.06 3.27 2.54 1/182 30912
/proc/meminfo: memFree=209184/32873844 swapFree=7132/7132
[pid=30867] ppid=30865 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30867/stat : 30867 (npSolver-pbo-I.) S 30865 30867 30631 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 27219800 9367552 275 33554432000 4194304 5064252 140734277670976 140734277669888 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/30867/statm: 2287 275 233 213 0 72 0
[pid=30869] ppid=30867 vsize=10452172 CPUtime=135.62 cores=0,2,4,6
/proc/30869/stat : 30869 (npSolver-pbo) S 30867 30867 30631 0 -1 4204032 349791 0 0 0 12985 577 0 0 20 0 1 0 27219800 10703024128 2594956 33554432000 4194304 6004724 140735032433504 140735032429176 5251733 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/30869/statm: 2613043 2594956 220 442 0 2612597 0
Current children cumulated CPU time (s) 135.62
Current children cumulated vsize (KiB) 10461320
heavy processes:
[startup+462.3 s]
/proc/loadavg: 4.75 3.63 2.71 1/183 30913
/proc/meminfo: memFree=206620/32873844 swapFree=7132/7132
[pid=30867] ppid=30865 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30867/stat : 30867 (npSolver-pbo-I.) S 30865 30867 30631 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 27219800 9367552 275 33554432000 4194304 5064252 140734277670976 140734277669888 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/30867/statm: 2287 275 233 213 0 72 0
[pid=30869] ppid=30867 vsize=10452172 CPUtime=136.42 cores=0,2,4,6
/proc/30869/stat : 30869 (npSolver-pbo) S 30867 30867 30631 0 -1 4204032 349791 0 0 0 12985 657 0 0 20 0 1 0 27219800 10703024128 2594956 33554432000 4194304 6004724 140735032433504 140735032429176 5251733 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/30869/statm: 2613043 2594956 220 442 0 2612597 0
Current children cumulated CPU time (s) 136.42
Current children cumulated vsize (KiB) 10461320
heavy processes:
[startup+522.3 s]
/proc/loadavg: 6.24 4.21 2.96 1/186 30916
/proc/meminfo: memFree=330248/32873844 swapFree=7132/7132
[pid=30867] ppid=30865 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30867/stat : 30867 (npSolver-pbo-I.) S 30865 30867 30631 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 27219800 9367552 275 33554432000 4194304 5064252 140734277670976 140734277669888 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/30867/statm: 2287 275 233 213 0 72 0
[pid=30869] ppid=30867 vsize=10452172 CPUtime=136.42 cores=0,2,4,6
/proc/30869/stat : 30869 (npSolver-pbo) S 30867 30867 30631 0 -1 4204032 349791 0 0 0 12985 657 0 0 20 0 1 0 27219800 10703024128 2594956 33554432000 4194304 6004724 140735032433504 140735032429176 5251733 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/30869/statm: 2613043 2594956 220 442 0 2612597 0
Current children cumulated CPU time (s) 136.42
Current children cumulated vsize (KiB) 10461320
heavy processes:
[startup+582.3 s]
/proc/loadavg: 7.50 4.91 3.28 1/186 30916
/proc/meminfo: memFree=329548/32873844 swapFree=7132/7132
[pid=30867] ppid=30865 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30867/stat : 30867 (npSolver-pbo-I.) S 30865 30867 30631 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 27219800 9367552 275 33554432000 4194304 5064252 140734277670976 140734277669888 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/30867/statm: 2287 275 233 213 0 72 0
[pid=30869] ppid=30867 vsize=10452172 CPUtime=136.42 cores=0,2,4,6
/proc/30869/stat : 30869 (npSolver-pbo) S 30867 30867 30631 0 -1 4204032 349791 0 0 0 12985 657 0 0 20 0 1 0 27219800 10703024128 2594956 33554432000 4194304 6004724 140735032433504 140735032429176 5251733 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/30869/statm: 2613043 2594956 220 442 0 2612597 0
Current children cumulated CPU time (s) 136.42
Current children cumulated vsize (KiB) 10461320
heavy processes:
Solver just ended. Dumping a history of the last processes samples
[startup+590.6 s]
/proc/loadavg: 7.58 5.02 3.33 1/186 30916
/proc/meminfo: memFree=329632/32873844 swapFree=7132/7132
[pid=30867] ppid=30865 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30867/stat : 30867 (npSolver-pbo-I.) S 30865 30867 30631 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 27219800 9367552 275 33554432000 4194304 5064252 140734277670976 140734277669888 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/30867/statm: 2287 275 233 213 0 72 0
[pid=30869] ppid=30867 vsize=10452172 CPUtime=136.42 cores=0,2,4,6
/proc/30869/stat : 30869 (npSolver-pbo) S 30867 30867 30631 0 -1 4204032 349791 0 0 0 12985 657 0 0 20 0 1 0 27219800 10703024128 2594956 33554432000 4194304 6004724 140735032433504 140735032429176 5251733 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/30869/statm: 2613043 2594956 220 442 0 2612597 0
Current children cumulated CPU time (s) 136.42
Current children cumulated vsize (KiB) 10461320
[startup+616.2 s]
/proc/loadavg: 7.78 5.27 3.45 1/186 30916
/proc/meminfo: memFree=444232/32873844 swapFree=7132/7132
[pid=30867] ppid=30865 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30867/stat : 30867 (npSolver-pbo-I.) S 30865 30867 30631 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 27219800 9367552 275 33554432000 4194304 5064252 140734277670976 140734277669888 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/30867/statm: 2287 275 233 213 0 72 0
[pid=30869] ppid=30867 vsize=10452172 CPUtime=136.42 cores=0,2,4,6
/proc/30869/stat : 30869 (npSolver-pbo) S 30867 30867 30631 0 -1 4204032 349791 0 0 0 12985 657 0 0 20 0 1 0 27219800 10703024128 2594956 33554432000 4194304 6004724 140735032433504 140735032429176 5251733 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/30869/statm: 2613043 2594956 220 442 0 2612597 0
Current children cumulated CPU time (s) 136.42
Current children cumulated vsize (KiB) 10461320
[startup+629 s]
/proc/loadavg: 7.75 5.39 3.52 1/186 30916
/proc/meminfo: memFree=502552/32873844 swapFree=7132/7132
[pid=30867] ppid=30865 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30867/stat : 30867 (npSolver-pbo-I.) S 30865 30867 30631 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 27219800 9367552 275 33554432000 4194304 5064252 140734277670976 140734277669888 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/30867/statm: 2287 275 233 213 0 72 0
[pid=30869] ppid=30867 vsize=10452172 CPUtime=136.42 cores=0,2,4,6
/proc/30869/stat : 30869 (npSolver-pbo) S 30867 30867 30631 0 -1 4204032 349791 0 0 0 12985 657 0 0 20 0 1 0 27219800 10703024128 2594956 33554432000 4194304 6004724 140735032433504 140735032429176 5251733 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/30869/statm: 2613043 2594956 220 442 0 2612597 0
Current children cumulated CPU time (s) 136.42
Current children cumulated vsize (KiB) 10461320
[startup+635.4 s]
/proc/loadavg: 7.77 5.43 3.54 1/186 30916
/proc/meminfo: memFree=504500/32873844 swapFree=7132/7132
[pid=30867] ppid=30865 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30867/stat : 30867 (npSolver-pbo-I.) S 30865 30867 30631 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 27219800 9367552 275 33554432000 4194304 5064252 140734277670976 140734277669888 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/30867/statm: 2287 275 233 213 0 72 0
[pid=30869] ppid=30867 vsize=10452172 CPUtime=136.42 cores=0,2,4,6
/proc/30869/stat : 30869 (npSolver-pbo) S 30867 30867 30631 0 -1 4204032 349791 0 0 0 12985 657 0 0 20 0 1 0 27219800 10703024128 2594956 33554432000 4194304 6004724 140735032433504 140735032429176 5251733 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/30869/statm: 2613043 2594956 220 442 0 2612597 0
Current children cumulated CPU time (s) 136.42
Current children cumulated vsize (KiB) 10461320
[startup+637 s]
/proc/loadavg: 7.77 5.43 3.54 1/186 30916
/proc/meminfo: memFree=504872/32873844 swapFree=7132/7132
[pid=30867] ppid=30865 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30867/stat : 30867 (npSolver-pbo-I.) S 30865 30867 30631 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 27219800 9367552 275 33554432000 4194304 5064252 140734277670976 140734277669888 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/30867/statm: 2287 275 233 213 0 72 0
[pid=30869] ppid=30867 vsize=10452172 CPUtime=136.42 cores=0,2,4,6
/proc/30869/stat : 30869 (npSolver-pbo) S 30867 30867 30631 0 -1 4204032 349791 0 0 0 12985 657 0 0 20 0 1 0 27219800 10703024128 2594956 33554432000 4194304 6004724 140735032433504 140735032429176 5251733 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/30869/statm: 2613043 2594956 220 442 0 2612597 0
Current children cumulated CPU time (s) 136.42
Current children cumulated vsize (KiB) 10461320
[startup+637.8 s]
/proc/loadavg: 7.71 5.45 3.56 1/186 30916
/proc/meminfo: memFree=504872/32873844 swapFree=7132/7132
[pid=30867] ppid=30865 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30867/stat : 30867 (npSolver-pbo-I.) S 30865 30867 30631 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 27219800 9367552 275 33554432000 4194304 5064252 140734277670976 140734277669888 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/30867/statm: 2287 275 233 213 0 72 0
[pid=30869] ppid=30867 vsize=10452172 CPUtime=136.42 cores=0,2,4,6
/proc/30869/stat : 30869 (npSolver-pbo) S 30867 30867 30631 0 -1 4204032 349791 0 0 0 12985 657 0 0 20 0 1 0 27219800 10703024128 2594956 33554432000 4194304 6004724 140735032433504 140735032429176 5251733 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/30869/statm: 2613043 2594956 220 442 0 2612597 0
Current children cumulated CPU time (s) 136.42
Current children cumulated vsize (KiB) 10461320
[startup+638.6 s]
/proc/loadavg: 7.71 5.45 3.56 1/186 30916
/proc/meminfo: memFree=504872/32873844 swapFree=7132/7132
[pid=30867] ppid=30865 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30867/stat : 30867 (npSolver-pbo-I.) S 30865 30867 30631 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 27219800 9367552 275 33554432000 4194304 5064252 140734277670976 140734277669888 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/30867/statm: 2287 275 233 213 0 72 0
[pid=30869] ppid=30867 vsize=10452172 CPUtime=136.42 cores=0,2,4,6
/proc/30869/stat : 30869 (npSolver-pbo) S 30867 30867 30631 0 -1 4204032 349791 0 0 0 12985 657 0 0 20 0 1 0 27219800 10703024128 2594956 33554432000 4194304 6004724 140735032433504 140735032429176 5251733 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/30869/statm: 2613043 2594956 220 442 0 2612597 0
Current children cumulated CPU time (s) 136.42
Current children cumulated vsize (KiB) 10461320
[startup+638.807 s]
/proc/loadavg: 7.71 5.45 3.56 5/186 30916
/proc/meminfo: memFree=642264/32873844 swapFree=7132/7132
[pid=30867] ppid=30865 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30867/stat : 30867 (npSolver-pbo-I.) S 30865 30867 30631 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 27219800 9367552 275 33554432000 4194304 5064252 140734277670976 140734277669888 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/30867/statm: 2287 275 233 213 0 72 0
[pid=30869] ppid=30867 vsize=0 CPUtime=136.52 cores=0,2,4,6
/proc/30869/stat : 30869 (npSolver-pbo) R 30867 30867 30631 0 -1 4204036 349791 0 0 0 12985 667 0 0 20 0 1 0 27219800 0 0 33554432000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/30869/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 136.52
Current children cumulated vsize (KiB) 9148
Child status: 0
Real time (s): 638.826
CPU time (s): 136.559
CPU user time (s): 129.86
CPU system time (s): 6.69898
CPU usage (%): 21.3766
Max. virtual memory (cumulated for all children) (KiB): 14590088
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 129.86
system time used= 6.69898
maximum resident set size= 10401320
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 350166
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= 1066134
involuntary context switches= 196
runsolver used 2.6266 second user time and 5.71713 second system time
The end