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-3746953-1339108012/watcher-3746953-1339108012 -o /tmp/evaluation-result-3746953-1339108012/solver-3746953-1339108012 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itd.sh HOME/instance-3746953-1339108012.opb 173580057 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.00 3/179 13794
/proc/meminfo: memFree=27143412/32873844 swapFree=7372/7372
[pid=13794] ppid=13792 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13794/stat : 13794 (npSolver-pbo-It) S 13792 13794 11882 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 376930316 9367552 275 33554432000 4194304 5064252 140737329739024 140737329737936 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13794/statm: 2287 275 233 213 0 72 0
[startup+0.025125 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13794
/proc/meminfo: memFree=27143412/32873844 swapFree=7372/7372
[pid=13794] ppid=13792 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13794/stat : 13794 (npSolver-pbo-It) S 13792 13794 11882 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 376930316 9367552 275 33554432000 4194304 5064252 140737329739024 140737329737936 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13794/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100267 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13794
/proc/meminfo: memFree=27143412/32873844 swapFree=7372/7372
[pid=13794] ppid=13792 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13794/stat : 13794 (npSolver-pbo-It) S 13792 13794 11882 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 376930316 9367552 275 33554432000 4194304 5064252 140737329739024 140737329737936 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13794/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300266 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13794
/proc/meminfo: memFree=27143412/32873844 swapFree=7372/7372
[pid=13794] ppid=13792 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13794/stat : 13794 (npSolver-pbo-It) S 13792 13794 11882 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 376930316 9367552 275 33554432000 4194304 5064252 140737329739024 140737329737936 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13794/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700271 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13794
/proc/meminfo: memFree=27143412/32873844 swapFree=7372/7372
[pid=13794] ppid=13792 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13794/stat : 13794 (npSolver-pbo-It) S 13792 13794 11882 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 376930316 9367552 275 33554432000 4194304 5064252 140737329739024 140737329737936 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13794/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50039 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 13796
/proc/meminfo: memFree=27075280/32873844 swapFree=7372/7372
[pid=13794] ppid=13792 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13794/stat : 13794 (npSolver-pbo-It) S 13792 13794 11882 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 376930316 9367552 275 33554432000 4194304 5064252 140737329739024 140737329737936 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13794/statm: 2287 275 233 213 0 72 0
[pid=13795] ppid=13794 vsize=146308 CPUtime=1.48 cores=1,3,5,7
/proc/13795/stat : 13795 (npSolver-pbo) R 13794 13794 11882 0 -1 4202496 16110 0 0 0 143 5 0 0 20 0 1 0 376930316 149819392 32674 33554432000 4194304 6004724 140735784765664 140735784761304 5190736 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/13795/statm: 36577 32674 130 442 0 36131 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 155456
[startup+3.10033 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 13796
/proc/meminfo: memFree=26949764/32873844 swapFree=7372/7372
[pid=13794] ppid=13792 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13794/stat : 13794 (npSolver-pbo-It) S 13792 13794 11882 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 376930316 9367552 275 33554432000 4194304 5064252 140737329739024 140737329737936 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13794/statm: 2287 275 233 213 0 72 0
[pid=13795] ppid=13794 vsize=321304 CPUtime=3.09 cores=1,3,5,7
/proc/13795/stat : 13795 (npSolver-pbo) R 13794 13794 11882 0 -1 4202496 36184 0 0 0 296 13 0 0 20 0 1 0 376930316 329015296 77226 33554432000 4194304 6004724 140735784765664 140735784761688 4968639 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/13795/statm: 80326 77226 130 442 0 79880 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 330452
[startup+6.30036 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 13796
/proc/meminfo: memFree=26502816/32873844 swapFree=7372/7372
[pid=13794] ppid=13792 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13794/stat : 13794 (npSolver-pbo-It) S 13792 13794 11882 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 376930316 9367552 275 33554432000 4194304 5064252 140737329739024 140737329737936 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13794/statm: 2287 275 233 213 0 72 0
[pid=13795] ppid=13794 vsize=886648 CPUtime=6.29 cores=1,3,5,7
/proc/13795/stat : 13795 (npSolver-pbo) R 13794 13794 11882 0 -1 4202496 80533 0 0 0 595 34 0 0 20 0 1 0 376930316 907927552 169415 33554432000 4194304 6004724 140735784765664 140735784762184 4968639 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/13795/statm: 221662 169415 130 442 0 221216 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 895796
[startup+12.7069 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 13796
/proc/meminfo: memFree=25881536/32873844 swapFree=7372/7372
[pid=13794] ppid=13792 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13794/stat : 13794 (npSolver-pbo-It) S 13792 13794 11882 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 376930316 9367552 275 33554432000 4194304 5064252 140737329739024 140737329737936 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13794/statm: 2287 275 233 213 0 72 0
[pid=13795] ppid=13794 vsize=1747008 CPUtime=12.69 cores=1,3,5,7
/proc/13795/stat : 13795 (npSolver-pbo) R 13794 13794 11882 0 -1 4202496 165460 0 0 0 1206 63 0 0 20 0 1 0 376930316 1788936192 317960 33554432000 4194304 6004724 140735784765664 140735784761688 4968639 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/13795/statm: 436752 317960 130 442 0 436306 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1756156
[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 13796
/proc/meminfo: memFree=24474320/32873844 swapFree=7372/7372
[pid=13794] ppid=13792 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13794/stat : 13794 (npSolver-pbo-It) S 13792 13794 11882 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 376930316 9367552 275 33554432000 4194304 5064252 140737329739024 140737329737936 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13794/statm: 2287 275 233 213 0 72 0
[pid=13795] ppid=13794 vsize=3045848 CPUtime=25.49 cores=1,3,5,7
/proc/13795/stat : 13795 (npSolver-pbo) R 13794 13794 11882 0 -1 4202496 342123 0 0 0 2426 123 0 0 20 0 1 0 376930316 3118948352 682539 33554432000 4194304 6004724 140735784765664 140735784760264 4582618 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/13795/statm: 761462 682539 162 442 0 761016 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 3054996
[startup+51.1004 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 13797
/proc/meminfo: memFree=22450528/32873844 swapFree=7372/7372
[pid=13794] ppid=13792 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13794/stat : 13794 (npSolver-pbo-It) S 13792 13794 11882 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 376930316 9367552 275 33554432000 4194304 5064252 140737329739024 140737329737936 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13794/statm: 2287 275 233 213 0 72 0
[pid=13795] ppid=13794 vsize=6192332 CPUtime=51.08 cores=1,3,5,7
/proc/13795/stat : 13795 (npSolver-pbo) R 13794 13794 11882 0 -1 4202496 345825 0 0 0 4896 212 0 0 20 0 1 0 376930316 6340947968 1171177 33554432000 4194304 6004724 140735784765664 140735784760264 4579276 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/13795/statm: 1548083 1171177 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.00 3/180 13797
/proc/meminfo: memFree=18251524/32873844 swapFree=7372/7372
[pid=13794] ppid=13792 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13794/stat : 13794 (npSolver-pbo-It) S 13792 13794 11882 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 376930316 9367552 275 33554432000 4194304 5064252 140737329739024 140737329737936 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13794/statm: 2287 275 233 213 0 72 0
[pid=13795] ppid=13794 vsize=10386636 CPUtime=102.28 cores=1,3,5,7
/proc/13795/stat : 13795 (npSolver-pbo) R 13794 13794 11882 0 -1 4202496 350455 0 0 0 9880 348 0 0 20 0 1 0 376930316 10635915264 2231529 33554432000 4194304 6004724 140735784765664 140735784760264 4579232 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/13795/statm: 2596659 2231529 163 442 0 2596213 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 10395784
[startup+162.307 s]
/proc/loadavg: 2.92 2.22 2.07 3/181 13798
/proc/meminfo: memFree=9006912/32873844 swapFree=7372/7372
[pid=13794] ppid=13792 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13794/stat : 13794 (npSolver-pbo-It) S 13792 13794 11882 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 376930316 9367552 275 33554432000 4194304 5064252 140737329739024 140737329737936 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13794/statm: 2287 275 233 213 0 72 0
[pid=13795] ppid=13794 vsize=10452172 CPUtime=133.56 cores=1,3,5,7
/proc/13795/stat : 13795 (npSolver-pbo) S 13794 13794 11882 0 -1 4204032 352787 0 0 0 12879 477 0 0 20 0 1 0 376930316 10703024128 2600248 33554432000 4194304 6004724 140735784765664 140735784761336 5251733 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/13795/statm: 2613043 2600248 220 442 0 2612597 0
Current children cumulated CPU time (s) 133.56
Current children cumulated vsize (KiB) 10461320
[startup+222.3 s]
/proc/loadavg: 4.24 2.72 2.25 2/182 13801
/proc/meminfo: memFree=6063524/32873844 swapFree=7372/7372
[pid=13794] ppid=13792 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13794/stat : 13794 (npSolver-pbo-It) S 13792 13794 11882 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 376930316 9367552 275 33554432000 4194304 5064252 140737329739024 140737329737936 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13794/statm: 2287 275 233 213 0 72 0
[pid=13795] ppid=13794 vsize=10452172 CPUtime=134.36 cores=1,3,5,7
/proc/13795/stat : 13795 (npSolver-pbo) S 13794 13794 11882 0 -1 4204032 352787 0 0 0 12879 557 0 0 20 0 1 0 376930316 10703024128 2600330 33554432000 4194304 6004724 140735784765664 140735784761336 5251733 0 0 4096 0 18446744071580380219 0 0 17 7 0 0 0 0 0
/proc/13795/statm: 2613043 2600330 220 442 0 2612597 0
Current children cumulated CPU time (s) 134.36
Current children cumulated vsize (KiB) 10461320
heavy processes:
%CPU=21 pid=13798 uid=0 cmd=
[startup+282.307 s]
/proc/loadavg: 4.50 3.09 2.41 2/181 13801
/proc/meminfo: memFree=3380692/32873844 swapFree=7372/7372
[pid=13794] ppid=13792 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13794/stat : 13794 (npSolver-pbo-It) S 13792 13794 11882 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 376930316 9367552 275 33554432000 4194304 5064252 140737329739024 140737329737936 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13794/statm: 2287 275 233 213 0 72 0
[pid=13795] ppid=13794 vsize=10452172 CPUtime=135.23 cores=1,3,5,7
/proc/13795/stat : 13795 (npSolver-pbo) S 13794 13794 11882 0 -1 4204032 352787 0 0 0 12879 644 0 0 20 0 1 0 376930316 10703024128 2600330 33554432000 4194304 6004724 140735784765664 140735784761336 5251733 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/13795/statm: 2613043 2600330 220 442 0 2612597 0
Current children cumulated CPU time (s) 135.23
Current children cumulated vsize (KiB) 10461320
heavy processes:
%CPU=16 pid=13798 uid=0 cmd=/usr/libexec/abrt-hook-ccpp /var/spool/abrt 13795 6 506 18446744073709551615
[startup+342.3 s]
/proc/loadavg: 4.75 3.40 2.56 2/181 13802
/proc/meminfo: memFree=1458448/32873844 swapFree=7372/7372
[pid=13794] ppid=13792 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13794/stat : 13794 (npSolver-pbo-It) S 13792 13794 11882 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 376930316 9367552 275 33554432000 4194304 5064252 140737329739024 140737329737936 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13794/statm: 2287 275 233 213 0 72 0
[pid=13795] ppid=13794 vsize=10452172 CPUtime=135.92 cores=1,3,5,7
/proc/13795/stat : 13795 (npSolver-pbo) S 13794 13794 11882 0 -1 4204032 352787 0 0 0 12879 713 0 0 20 0 1 0 376930316 10703024128 2600330 33554432000 4194304 6004724 140735784765664 140735784761336 5251733 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/13795/statm: 2613043 2600330 220 442 0 2612597 0
Current children cumulated CPU time (s) 135.92
Current children cumulated vsize (KiB) 10461320
heavy processes:
%CPU=13 pid=13798 uid=0 cmd=/usr/libexec/abrt-hook-ccpp /var/spool/abrt 13795 6 506 18446744073709551615
[startup+402.3 s]
/proc/loadavg: 4.90 3.69 2.71 2/181 13802
/proc/meminfo: memFree=1506644/32873844 swapFree=7372/7372
[pid=13794] ppid=13792 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13794/stat : 13794 (npSolver-pbo-It) S 13792 13794 11882 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 376930316 9367552 275 33554432000 4194304 5064252 140737329739024 140737329737936 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13794/statm: 2287 275 233 213 0 72 0
[pid=13795] ppid=13794 vsize=10452172 CPUtime=135.92 cores=1,3,5,7
/proc/13795/stat : 13795 (npSolver-pbo) S 13794 13794 11882 0 -1 4204032 352787 0 0 0 12879 713 0 0 20 0 1 0 376930316 10703024128 2600330 33554432000 4194304 6004724 140735784765664 140735784761336 5251733 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/13795/statm: 2613043 2600330 220 442 0 2612597 0
Current children cumulated CPU time (s) 135.92
Current children cumulated vsize (KiB) 10461320
heavy processes:
%CPU=10 pid=13798 uid=0 cmd=/usr/libexec/abrt-hook-ccpp /var/spool/abrt 13795 6 506 18446744073709551615
Solver just ended. Dumping a history of the last processes samples
[startup+404.9 s]
/proc/loadavg: 4.90 3.69 2.71 2/181 13802
/proc/meminfo: memFree=1506520/32873844 swapFree=7372/7372
[pid=13794] ppid=13792 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13794/stat : 13794 (npSolver-pbo-It) S 13792 13794 11882 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 376930316 9367552 275 33554432000 4194304 5064252 140737329739024 140737329737936 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13794/statm: 2287 275 233 213 0 72 0
[pid=13795] ppid=13794 vsize=10452172 CPUtime=135.92 cores=1,3,5,7
/proc/13795/stat : 13795 (npSolver-pbo) S 13794 13794 11882 0 -1 4204032 352787 0 0 0 12879 713 0 0 20 0 1 0 376930316 10703024128 2600330 33554432000 4194304 6004724 140735784765664 140735784761336 5251733 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/13795/statm: 2613043 2600330 220 442 0 2612597 0
Current children cumulated CPU time (s) 135.92
Current children cumulated vsize (KiB) 10461320
[startup+408.1 s]
/proc/loadavg: 4.91 3.71 2.72 2/181 13802
/proc/meminfo: memFree=1506520/32873844 swapFree=7372/7372
[pid=13794] ppid=13792 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13794/stat : 13794 (npSolver-pbo-It) S 13792 13794 11882 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 376930316 9367552 275 33554432000 4194304 5064252 140737329739024 140737329737936 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13794/statm: 2287 275 233 213 0 72 0
[pid=13795] ppid=13794 vsize=10452172 CPUtime=135.92 cores=1,3,5,7
/proc/13795/stat : 13795 (npSolver-pbo) S 13794 13794 11882 0 -1 4204032 352787 0 0 0 12879 713 0 0 20 0 1 0 376930316 10703024128 2600330 33554432000 4194304 6004724 140735784765664 140735784761336 5251733 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/13795/statm: 2613043 2600330 220 442 0 2612597 0
Current children cumulated CPU time (s) 135.92
Current children cumulated vsize (KiB) 10461320
[startup+411.3 s]
/proc/loadavg: 4.84 3.72 2.72 2/181 13802
/proc/meminfo: memFree=1509248/32873844 swapFree=7372/7372
[pid=13794] ppid=13792 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13794/stat : 13794 (npSolver-pbo-It) S 13792 13794 11882 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 376930316 9367552 275 33554432000 4194304 5064252 140737329739024 140737329737936 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13794/statm: 2287 275 233 213 0 72 0
[pid=13795] ppid=13794 vsize=10452172 CPUtime=135.92 cores=1,3,5,7
/proc/13795/stat : 13795 (npSolver-pbo) S 13794 13794 11882 0 -1 4204032 352787 0 0 0 12879 713 0 0 20 0 1 0 376930316 10703024128 2600330 33554432000 4194304 6004724 140735784765664 140735784761336 5251733 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/13795/statm: 2613043 2600330 220 442 0 2612597 0
Current children cumulated CPU time (s) 135.92
Current children cumulated vsize (KiB) 10461320
[startup+412.9 s]
/proc/loadavg: 4.84 3.72 2.72 2/181 13802
/proc/meminfo: memFree=1509480/32873844 swapFree=7372/7372
[pid=13794] ppid=13792 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13794/stat : 13794 (npSolver-pbo-It) S 13792 13794 11882 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 376930316 9367552 275 33554432000 4194304 5064252 140737329739024 140737329737936 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13794/statm: 2287 275 233 213 0 72 0
[pid=13795] ppid=13794 vsize=10452172 CPUtime=135.92 cores=1,3,5,7
/proc/13795/stat : 13795 (npSolver-pbo) S 13794 13794 11882 0 -1 4204032 352787 0 0 0 12879 713 0 0 20 0 1 0 376930316 10703024128 2600330 33554432000 4194304 6004724 140735784765664 140735784761336 5251733 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/13795/statm: 2613043 2600330 220 442 0 2612597 0
Current children cumulated CPU time (s) 135.92
Current children cumulated vsize (KiB) 10461320
[startup+413.7 s]
/proc/loadavg: 4.84 3.72 2.72 2/181 13802
/proc/meminfo: memFree=1509480/32873844 swapFree=7372/7372
[pid=13794] ppid=13792 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13794/stat : 13794 (npSolver-pbo-It) S 13792 13794 11882 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 376930316 9367552 275 33554432000 4194304 5064252 140737329739024 140737329737936 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13794/statm: 2287 275 233 213 0 72 0
[pid=13795] ppid=13794 vsize=10452172 CPUtime=135.92 cores=1,3,5,7
/proc/13795/stat : 13795 (npSolver-pbo) S 13794 13794 11882 0 -1 4204032 352787 0 0 0 12879 713 0 0 20 0 1 0 376930316 10703024128 2600330 33554432000 4194304 6004724 140735784765664 140735784761336 5251733 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/13795/statm: 2613043 2600330 220 442 0 2612597 0
Current children cumulated CPU time (s) 135.92
Current children cumulated vsize (KiB) 10461320
[startup+413.9 s]
/proc/loadavg: 4.84 3.72 2.72 2/181 13802
/proc/meminfo: memFree=1509480/32873844 swapFree=7372/7372
[pid=13794] ppid=13792 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13794/stat : 13794 (npSolver-pbo-It) S 13792 13794 11882 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 376930316 9367552 275 33554432000 4194304 5064252 140737329739024 140737329737936 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13794/statm: 2287 275 233 213 0 72 0
[pid=13795] ppid=13794 vsize=10452172 CPUtime=135.92 cores=1,3,5,7
/proc/13795/stat : 13795 (npSolver-pbo) S 13794 13794 11882 0 -1 4204032 352787 0 0 0 12879 713 0 0 20 0 1 0 376930316 10703024128 2600330 33554432000 4194304 6004724 140735784765664 140735784761336 5251733 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/13795/statm: 2613043 2600330 220 442 0 2612597 0
Current children cumulated CPU time (s) 135.92
Current children cumulated vsize (KiB) 10461320
Child status: 0
Real time (s): 413.993
CPU time (s): 136.018
CPU user time (s): 128.795
CPU system time (s): 7.2229
CPU usage (%): 32.8552
Max. virtual memory (cumulated for all children) (KiB): 14590088
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 128.795
system time used= 7.2229
maximum resident set size= 10401320
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 353162
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= 1743574
involuntary context switches= 246
runsolver used 1.25481 second user time and 3.06953 second system time
The end