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-3750137-1339177801/watcher-3750137-1339177801 -o /tmp/evaluation-result-3750137-1339177801/solver-3750137-1339177801 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo.sh HOME/instance-3750137-1339177801.opb 734487438 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.06 2.02 2.00 2/180 4859
/proc/meminfo: memFree=28272040/32873648 swapFree=7372/7372
[pid=4859] ppid=4857 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4859/stat : 4859 (npSolver-pbo.sh) S 4857 4859 4063 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383906510 9367552 274 33554432000 4194304 5064252 140733554830304 140733554829216 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/4859/statm: 2287 274 233 213 0 72 0
[startup+0.056524 s]
/proc/loadavg: 2.06 2.02 2.00 2/180 4859
/proc/meminfo: memFree=28272040/32873648 swapFree=7372/7372
[pid=4859] ppid=4857 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4859/stat : 4859 (npSolver-pbo.sh) S 4857 4859 4063 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383906510 9367552 274 33554432000 4194304 5064252 140733554830304 140733554829216 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/4859/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100534 s]
/proc/loadavg: 2.06 2.02 2.00 2/180 4859
/proc/meminfo: memFree=28272040/32873648 swapFree=7372/7372
[pid=4859] ppid=4857 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4859/stat : 4859 (npSolver-pbo.sh) S 4857 4859 4063 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383906510 9367552 274 33554432000 4194304 5064252 140733554830304 140733554829216 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/4859/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.301076 s]
/proc/loadavg: 2.06 2.02 2.00 2/180 4859
/proc/meminfo: memFree=28272040/32873648 swapFree=7372/7372
[pid=4859] ppid=4857 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4859/stat : 4859 (npSolver-pbo.sh) S 4857 4859 4063 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383906510 9367552 274 33554432000 4194304 5064252 140733554830304 140733554829216 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/4859/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.701075 s]
/proc/loadavg: 2.06 2.02 2.00 2/180 4859
/proc/meminfo: memFree=28272040/32873648 swapFree=7372/7372
[pid=4859] ppid=4857 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4859/stat : 4859 (npSolver-pbo.sh) S 4857 4859 4063 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383906510 9367552 274 33554432000 4194304 5064252 140733554830304 140733554829216 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/4859/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.5011 s]
/proc/loadavg: 2.06 2.02 2.00 3/182 4861
/proc/meminfo: memFree=28203072/32873648 swapFree=7372/7372
[pid=4859] ppid=4857 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4859/stat : 4859 (npSolver-pbo.sh) S 4857 4859 4063 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383906510 9367552 274 33554432000 4194304 5064252 140733554830304 140733554829216 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/4859/statm: 2287 274 233 213 0 72 0
[pid=4860] ppid=4859 vsize=146304 CPUtime=1.49 cores=1,3,5,7
/proc/4860/stat : 4860 (npSolver-pbo) R 4859 4859 4063 0 -1 4202496 16007 0 0 0 145 4 0 0 20 0 1 0 383906511 149815296 33083 33554432000 4194304 6004724 140735984456352 140735984452376 4479456 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/4860/statm: 36576 33083 130 442 0 36130 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 155452
[startup+3.10112 s]
/proc/loadavg: 2.06 2.02 2.00 3/182 4861
/proc/meminfo: memFree=28075392/32873648 swapFree=7372/7372
[pid=4859] ppid=4857 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4859/stat : 4859 (npSolver-pbo.sh) S 4857 4859 4063 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383906510 9367552 274 33554432000 4194304 5064252 140733554830304 140733554829216 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/4859/statm: 2287 274 233 213 0 72 0
[pid=4860] ppid=4859 vsize=325656 CPUtime=3.09 cores=1,3,5,7
/proc/4860/stat : 4860 (npSolver-pbo) R 4859 4859 4063 0 -1 4202496 37521 0 0 0 298 11 0 0 20 0 1 0 383906511 333471744 79586 33554432000 4194304 6004724 140735984456352 140735984452376 4968639 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/4860/statm: 81414 79586 130 442 0 80968 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 334804
[startup+6.30027 s]
/proc/loadavg: 2.13 2.04 2.01 3/182 4861
/proc/meminfo: memFree=27696364/32873648 swapFree=7372/7372
[pid=4859] ppid=4857 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4859/stat : 4859 (npSolver-pbo.sh) S 4857 4859 4063 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383906510 9367552 274 33554432000 4194304 5064252 140733554830304 140733554829216 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/4859/statm: 2287 274 233 213 0 72 0
[pid=4860] ppid=4859 vsize=896676 CPUtime=6.28 cores=1,3,5,7
/proc/4860/stat : 4860 (npSolver-pbo) R 4859 4859 4063 0 -1 4202496 82952 0 0 0 600 28 0 0 20 0 1 0 383906511 918196224 174901 33554432000 4194304 6004724 140735984456352 140735984452872 4968639 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/4860/statm: 224169 174901 130 442 0 223723 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 905824
[startup+12.7003 s]
/proc/loadavg: 2.12 2.03 2.01 3/182 4861
/proc/meminfo: memFree=27049512/32873648 swapFree=7372/7372
[pid=4859] ppid=4857 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4859/stat : 4859 (npSolver-pbo.sh) S 4857 4859 4063 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383906510 9367552 274 33554432000 4194304 5064252 140733554830304 140733554829216 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/4859/statm: 2287 274 233 213 0 72 0
[pid=4860] ppid=4859 vsize=1762844 CPUtime=12.69 cores=1,3,5,7
/proc/4860/stat : 4860 (npSolver-pbo) R 4859 4859 4063 0 -1 4202496 169306 0 0 0 1213 56 0 0 20 0 1 0 383906511 1805152256 325384 33554432000 4194304 6004724 140735984456352 140735984452376 4968639 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/4860/statm: 440711 325384 130 442 0 440265 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1771992
[startup+25.5003 s]
/proc/loadavg: 2.09 2.03 2.01 3/182 4861
/proc/meminfo: memFree=25509760/32873648 swapFree=7372/7372
[pid=4859] ppid=4857 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4859/stat : 4859 (npSolver-pbo.sh) S 4857 4859 4063 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383906510 9367552 274 33554432000 4194304 5064252 140733554830304 140733554829216 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/4859/statm: 2287 274 233 213 0 72 0
[pid=4860] ppid=4859 vsize=3045844 CPUtime=25.48 cores=1,3,5,7
/proc/4860/stat : 4860 (npSolver-pbo) R 4859 4859 4063 0 -1 4202496 341942 0 0 0 2441 107 0 0 20 0 1 0 383906511 3118944256 697282 33554432000 4194304 6004724 140735984456352 140735984450952 4534738 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/4860/statm: 761461 697282 162 442 0 761015 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 3054992
[startup+51.1003 s]
/proc/loadavg: 2.06 2.03 2.00 3/182 4861
/proc/meminfo: memFree=23510424/32873648 swapFree=7372/7372
[pid=4859] ppid=4857 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4859/stat : 4859 (npSolver-pbo.sh) S 4857 4859 4063 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383906510 9367552 274 33554432000 4194304 5064252 140733554830304 140733554829216 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/4859/statm: 2287 274 233 213 0 72 0
[pid=4860] ppid=4859 vsize=6192328 CPUtime=51.08 cores=1,3,5,7
/proc/4860/stat : 4860 (npSolver-pbo) R 4859 4859 4063 0 -1 4202496 345676 0 0 0 4924 184 0 0 20 0 1 0 383906511 6340943872 1202304 33554432000 4194304 6004724 140735984456352 140735984450952 4582601 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/4860/statm: 1548082 1202304 163 442 0 1547636 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 6201476
[startup+102.307 s]
/proc/loadavg: 2.02 2.02 2.00 3/179 4902
/proc/meminfo: memFree=15493956/32873648 swapFree=7372/7372
[pid=4859] ppid=4857 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4859/stat : 4859 (npSolver-pbo.sh) S 4857 4859 4063 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383906510 9367552 274 33554432000 4194304 5064252 140733554830304 140733554829216 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/4859/statm: 2287 274 233 213 0 72 0
[pid=4860] ppid=4859 vsize=10386632 CPUtime=102.27 cores=1,3,5,7
/proc/4860/stat : 4860 (npSolver-pbo) R 4859 4859 4063 0 -1 4202496 350319 0 0 0 9920 307 0 0 20 0 1 0 383906511 10635911168 2268882 33554432000 4194304 6004724 140735984456352 140735984450952 5055481 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/4860/statm: 2596658 2268882 163 442 0 2596212 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 10395780
[startup+162.301 s]
/proc/loadavg: 2.99 2.25 2.08 2/180 4903
/proc/meminfo: memFree=1654192/32873648 swapFree=7372/7372
[pid=4859] ppid=4857 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4859/stat : 4859 (npSolver-pbo.sh) S 4857 4859 4063 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383906510 9367552 274 33554432000 4194304 5064252 140733554830304 140733554829216 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/4859/statm: 2287 274 233 213 0 72 0
[pid=4860] ppid=4859 vsize=10452168 CPUtime=132.69 cores=1,3,5,7
/proc/4860/stat : 4860 (npSolver-pbo) S 4859 4859 4063 0 -1 4204032 352682 0 0 0 12741 528 0 0 20 0 1 0 383906511 10703020032 2600329 33554432000 4194304 6004724 140735984456352 140735984452024 5251733 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/4860/statm: 2613042 2600329 220 442 0 2612596 0
Current children cumulated CPU time (s) 132.69
Current children cumulated vsize (KiB) 10461316
[startup+222.301 s]
/proc/loadavg: 3.93 2.67 2.23 1/180 4903
/proc/meminfo: memFree=620456/32873648 swapFree=7372/7372
[pid=4859] ppid=4857 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4859/stat : 4859 (npSolver-pbo.sh) S 4857 4859 4063 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383906510 9367552 274 33554432000 4194304 5064252 140733554830304 140733554829216 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/4859/statm: 2287 274 233 213 0 72 0
[pid=4860] ppid=4859 vsize=10452168 CPUtime=133.81 cores=1,3,5,7
/proc/4860/stat : 4860 (npSolver-pbo) S 4859 4859 4063 0 -1 4204032 352682 0 0 0 12741 640 0 0 20 0 1 0 383906511 10703020032 2600329 33554432000 4194304 6004724 140735984456352 140735984452024 5251733 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/4860/statm: 2613042 2600329 220 442 0 2612596 0
Current children cumulated CPU time (s) 133.81
Current children cumulated vsize (KiB) 10461316
heavy processes:
%CPU=22 pid=4903 uid=0 cmd=
[startup+282.301 s]
/proc/loadavg: 4.99 3.19 2.43 1/181 4904
/proc/meminfo: memFree=161424/32873648 swapFree=7372/7372
[pid=4859] ppid=4857 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4859/stat : 4859 (npSolver-pbo.sh) S 4857 4859 4063 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383906510 9367552 274 33554432000 4194304 5064252 140733554830304 140733554829216 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/4859/statm: 2287 274 233 213 0 72 0
[pid=4860] ppid=4859 vsize=10452168 CPUtime=134.45 cores=1,3,5,7
/proc/4860/stat : 4860 (npSolver-pbo) S 4859 4859 4063 0 -1 4204032 352682 0 0 0 12741 704 0 0 20 0 1 0 383906511 10703020032 2600329 33554432000 4194304 6004724 140735984456352 140735984452024 5251733 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/4860/statm: 2613042 2600329 220 442 0 2612596 0
Current children cumulated CPU time (s) 134.45
Current children cumulated vsize (KiB) 10461316
heavy processes:
%CPU=16 pid=4903 uid=0 cmd=/usr/libexec/abrt-hook-ccpp /var/spool/abrt 4860 6 506 18446744073709551615
[startup+342.307 s]
/proc/loadavg: 5.09 3.57 2.61 1/181 4904
/proc/meminfo: memFree=196900/32873648 swapFree=7372/7372
[pid=4859] ppid=4857 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4859/stat : 4859 (npSolver-pbo.sh) S 4857 4859 4063 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383906510 9367552 274 33554432000 4194304 5064252 140733554830304 140733554829216 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/4859/statm: 2287 274 233 213 0 72 0
[pid=4860] ppid=4859 vsize=10452168 CPUtime=134.46 cores=1,3,5,7
/proc/4860/stat : 4860 (npSolver-pbo) S 4859 4859 4063 0 -1 4204032 352682 0 0 0 12741 705 0 0 20 0 1 0 383906511 10703020032 2600329 33554432000 4194304 6004724 140735984456352 140735984452024 5251733 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/4860/statm: 2613042 2600329 220 442 0 2612596 0
Current children cumulated CPU time (s) 134.46
Current children cumulated vsize (KiB) 10461316
heavy processes:
%CPU=11 pid=4903 uid=0 cmd=/usr/libexec/abrt-hook-ccpp /var/spool/abrt 4860 6 506 18446744073709551615
[startup+402.301 s]
/proc/loadavg: 4.62 3.71 2.71 1/181 4905
/proc/meminfo: memFree=208208/32873648 swapFree=7372/7372
[pid=4859] ppid=4857 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4859/stat : 4859 (npSolver-pbo.sh) S 4857 4859 4063 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383906510 9367552 274 33554432000 4194304 5064252 140733554830304 140733554829216 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/4859/statm: 2287 274 233 213 0 72 0
[pid=4860] ppid=4859 vsize=10452168 CPUtime=134.49 cores=1,3,5,7
/proc/4860/stat : 4860 (npSolver-pbo) S 4859 4859 4063 0 -1 4204032 352682 0 0 0 12741 708 0 0 20 0 1 0 383906511 10703020032 2600329 33554432000 4194304 6004724 140735984456352 140735984452024 5251733 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/4860/statm: 2613042 2600329 220 442 0 2612596 0
Current children cumulated CPU time (s) 134.49
Current children cumulated vsize (KiB) 10461316
heavy processes:
Solver just ended. Dumping a history of the last processes samples
[startup+411.801 s]
/proc/loadavg: 4.67 3.75 2.74 1/181 4905
/proc/meminfo: memFree=293784/32873648 swapFree=7372/7372
[pid=4859] ppid=4857 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4859/stat : 4859 (npSolver-pbo.sh) S 4857 4859 4063 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383906510 9367552 274 33554432000 4194304 5064252 140733554830304 140733554829216 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/4859/statm: 2287 274 233 213 0 72 0
[pid=4860] ppid=4859 vsize=10452168 CPUtime=134.49 cores=1,3,5,7
/proc/4860/stat : 4860 (npSolver-pbo) S 4859 4859 4063 0 -1 4204032 352682 0 0 0 12741 708 0 0 20 0 1 0 383906511 10703020032 2600329 33554432000 4194304 6004724 140735984456352 140735984452024 5251733 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/4860/statm: 2613042 2600329 220 442 0 2612596 0
Current children cumulated CPU time (s) 134.49
Current children cumulated vsize (KiB) 10461316
[startup+424.6 s]
/proc/loadavg: 4.75 3.81 2.77 1/181 4905
/proc/meminfo: memFree=295432/32873648 swapFree=7372/7372
[pid=4859] ppid=4857 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4859/stat : 4859 (npSolver-pbo.sh) S 4857 4859 4063 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383906510 9367552 274 33554432000 4194304 5064252 140733554830304 140733554829216 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/4859/statm: 2287 274 233 213 0 72 0
[pid=4860] ppid=4859 vsize=10452168 CPUtime=134.49 cores=1,3,5,7
/proc/4860/stat : 4860 (npSolver-pbo) S 4859 4859 4063 0 -1 4204032 352682 0 0 0 12741 708 0 0 20 0 1 0 383906511 10703020032 2600329 33554432000 4194304 6004724 140735984456352 140735984452024 5251733 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/4860/statm: 2613042 2600329 220 442 0 2612596 0
Current children cumulated CPU time (s) 134.49
Current children cumulated vsize (KiB) 10461316
[startup+431.001 s]
/proc/loadavg: 4.77 3.83 2.79 1/181 4905
/proc/meminfo: memFree=295320/32873648 swapFree=7372/7372
[pid=4859] ppid=4857 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4859/stat : 4859 (npSolver-pbo.sh) S 4857 4859 4063 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383906510 9367552 274 33554432000 4194304 5064252 140733554830304 140733554829216 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/4859/statm: 2287 274 233 213 0 72 0
[pid=4860] ppid=4859 vsize=10452168 CPUtime=134.49 cores=1,3,5,7
/proc/4860/stat : 4860 (npSolver-pbo) S 4859 4859 4063 0 -1 4204032 352682 0 0 0 12741 708 0 0 20 0 1 0 383906511 10703020032 2600329 33554432000 4194304 6004724 140735984456352 140735984452024 5251733 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/4860/statm: 2613042 2600329 220 442 0 2612596 0
Current children cumulated CPU time (s) 134.49
Current children cumulated vsize (KiB) 10461316
[startup+432.6 s]
/proc/loadavg: 4.77 3.83 2.79 1/181 4905
/proc/meminfo: memFree=296932/32873648 swapFree=7372/7372
[pid=4859] ppid=4857 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4859/stat : 4859 (npSolver-pbo.sh) S 4857 4859 4063 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383906510 9367552 274 33554432000 4194304 5064252 140733554830304 140733554829216 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/4859/statm: 2287 274 233 213 0 72 0
[pid=4860] ppid=4859 vsize=10452168 CPUtime=134.49 cores=1,3,5,7
/proc/4860/stat : 4860 (npSolver-pbo) S 4859 4859 4063 0 -1 4204032 352682 0 0 0 12741 708 0 0 20 0 1 0 383906511 10703020032 2600329 33554432000 4194304 6004724 140735984456352 140735984452024 5251733 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/4860/statm: 2613042 2600329 220 442 0 2612596 0
Current children cumulated CPU time (s) 134.49
Current children cumulated vsize (KiB) 10461316
[startup+433.401 s]
/proc/loadavg: 4.78 3.85 2.80 1/181 4905
/proc/meminfo: memFree=297924/32873648 swapFree=7372/7372
[pid=4859] ppid=4857 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4859/stat : 4859 (npSolver-pbo.sh) S 4857 4859 4063 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383906510 9367552 274 33554432000 4194304 5064252 140733554830304 140733554829216 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/4859/statm: 2287 274 233 213 0 72 0
[pid=4860] ppid=4859 vsize=10452168 CPUtime=134.49 cores=1,3,5,7
/proc/4860/stat : 4860 (npSolver-pbo) S 4859 4859 4063 0 -1 4204032 352682 0 0 0 12741 708 0 0 20 0 1 0 383906511 10703020032 2600329 33554432000 4194304 6004724 140735984456352 140735984452024 5251733 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/4860/statm: 2613042 2600329 220 442 0 2612596 0
Current children cumulated CPU time (s) 134.49
Current children cumulated vsize (KiB) 10461316
[startup+434.2 s]
/proc/loadavg: 4.78 3.85 2.80 1/181 4905
/proc/meminfo: memFree=297924/32873648 swapFree=7372/7372
[pid=4859] ppid=4857 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4859/stat : 4859 (npSolver-pbo.sh) S 4857 4859 4063 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383906510 9367552 274 33554432000 4194304 5064252 140733554830304 140733554829216 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/4859/statm: 2287 274 233 213 0 72 0
[pid=4860] ppid=4859 vsize=10452168 CPUtime=134.49 cores=1,3,5,7
/proc/4860/stat : 4860 (npSolver-pbo) S 4859 4859 4063 0 -1 4204032 352682 0 0 0 12741 708 0 0 20 0 1 0 383906511 10703020032 2600329 33554432000 4194304 6004724 140735984456352 140735984452024 5251733 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/4860/statm: 2613042 2600329 220 442 0 2612596 0
Current children cumulated CPU time (s) 134.49
Current children cumulated vsize (KiB) 10461316
[startup+434.4 s]
/proc/loadavg: 4.78 3.85 2.80 1/181 4905
/proc/meminfo: memFree=297924/32873648 swapFree=7372/7372
[pid=4859] ppid=4857 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4859/stat : 4859 (npSolver-pbo.sh) S 4857 4859 4063 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383906510 9367552 274 33554432000 4194304 5064252 140733554830304 140733554829216 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/4859/statm: 2287 274 233 213 0 72 0
[pid=4860] ppid=4859 vsize=10452168 CPUtime=134.49 cores=1,3,5,7
/proc/4860/stat : 4860 (npSolver-pbo) S 4859 4859 4063 0 -1 4204032 352682 0 0 0 12741 708 0 0 20 0 1 0 383906511 10703020032 2600329 33554432000 4194304 6004724 140735984456352 140735984452024 5251733 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/4860/statm: 2613042 2600329 220 442 0 2612596 0
Current children cumulated CPU time (s) 134.49
Current children cumulated vsize (KiB) 10461316
[startup+434.5 s]
/proc/loadavg: 4.78 3.85 2.80 6/182 4906
/proc/meminfo: memFree=2945332/32873648 swapFree=7372/7372
[pid=4859] ppid=4857 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4859/stat : 4859 (npSolver-pbo.sh) S 4857 4859 4063 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383906510 9367552 274 33554432000 4194304 5064252 140733554830304 140733554829216 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/4859/statm: 2287 274 233 213 0 72 0
[pid=4860] ppid=4859 vsize=0 CPUtime=134.54 cores=1,3,5,7
/proc/4860/stat : 4860 (npSolver-pbo) R 4859 4859 4063 0 -1 4204036 352682 0 0 0 12741 713 0 0 20 0 1 0 383906511 0 0 33554432000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4860/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 134.54
Current children cumulated vsize (KiB) 9148
Child status: 0
Real time (s): 434.55
CPU time (s): 134.593
CPU user time (s): 127.414
CPU system time (s): 7.17891
CPU usage (%): 30.9728
Max. virtual memory (cumulated for all children) (KiB): 14590084
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 127.414
system time used= 7.17891
maximum resident set size= 10401316
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 353056
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= 1534939
involuntary context switches= 178
runsolver used 0.817875 second user time and 2.31765 second system time
The end