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-3749848-1339121689/watcher-3749848-1339121689 -o /tmp/evaluation-result-3749848-1339121689/solver-3749848-1339121689 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo.sh HOME/instance-3749848-1339121689.opb 151196320 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 27518
/proc/meminfo: memFree=31515784/32873648 swapFree=7376/7376
[pid=27518] ppid=27516 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27518/stat : 27518 (npSolver-pbo.sh) S 27516 27518 21354 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 378294941 9367552 275 33554432000 4194304 5064252 140734314361792 140734314360704 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/27518/statm: 2287 275 233 213 0 72 0
[startup+0.0335861 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 27518
/proc/meminfo: memFree=31515784/32873648 swapFree=7376/7376
[pid=27518] ppid=27516 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27518/stat : 27518 (npSolver-pbo.sh) S 27516 27518 21354 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 378294941 9367552 275 33554432000 4194304 5064252 140734314361792 140734314360704 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/27518/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100229 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 27518
/proc/meminfo: memFree=31515784/32873648 swapFree=7376/7376
[pid=27518] ppid=27516 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27518/stat : 27518 (npSolver-pbo.sh) S 27516 27518 21354 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 378294941 9367552 275 33554432000 4194304 5064252 140734314361792 140734314360704 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/27518/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300245 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 27518
/proc/meminfo: memFree=31515784/32873648 swapFree=7376/7376
[pid=27518] ppid=27516 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27518/stat : 27518 (npSolver-pbo.sh) S 27516 27518 21354 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 378294941 9367552 275 33554432000 4194304 5064252 140734314361792 140734314360704 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/27518/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700235 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 27518
/proc/meminfo: memFree=31515784/32873648 swapFree=7376/7376
[pid=27518] ppid=27516 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27518/stat : 27518 (npSolver-pbo.sh) S 27516 27518 21354 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 378294941 9367552 275 33554432000 4194304 5064252 140734314361792 140734314360704 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/27518/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50026 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 27520
/proc/meminfo: memFree=31424312/32873648 swapFree=7376/7376
[pid=27518] ppid=27516 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27518/stat : 27518 (npSolver-pbo.sh) S 27516 27518 21354 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 378294941 9367552 275 33554432000 4194304 5064252 140734314361792 140734314360704 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/27518/statm: 2287 275 233 213 0 72 0
[pid=27519] ppid=27518 vsize=136520 CPUtime=1.49 cores=1,3,5,7
/proc/27519/stat : 27519 (npSolver-pbo) R 27518 27518 21354 0 -1 4202496 14425 0 0 0 145 4 0 0 20 0 1 0 378294941 139796480 32055 33554432000 4194304 6004724 140735185068192 140735185062792 4536215 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/27519/statm: 34130 32055 153 442 0 33684 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 145668
[startup+3.10026 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 27520
/proc/meminfo: memFree=31342020/32873648 swapFree=7376/7376
[pid=27518] ppid=27516 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27518/stat : 27518 (npSolver-pbo.sh) S 27516 27518 21354 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 378294941 9367552 275 33554432000 4194304 5064252 140734314361792 140734314360704 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/27518/statm: 2287 275 233 213 0 72 0
[pid=27519] ppid=27518 vsize=333128 CPUtime=3.09 cores=1,3,5,7
/proc/27519/stat : 27519 (npSolver-pbo) R 27518 27518 21354 0 -1 4202496 15602 0 0 0 300 9 0 0 20 0 1 0 378294941 341123072 61752 33554432000 4194304 6004724 140735185068192 140735185062792 4536263 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/27519/statm: 83282 61752 154 442 0 82836 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 342276
[startup+6.30025 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 27520
/proc/meminfo: memFree=31086756/32873648 swapFree=7376/7376
[pid=27518] ppid=27516 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27518/stat : 27518 (npSolver-pbo.sh) S 27516 27518 21354 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 378294941 9367552 275 33554432000 4194304 5064252 140734314361792 140734314360704 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/27518/statm: 2287 275 233 213 0 72 0
[pid=27519] ppid=27518 vsize=595272 CPUtime=6.29 cores=1,3,5,7
/proc/27519/stat : 27519 (npSolver-pbo) R 27518 27518 21354 0 -1 4202496 16363 0 0 0 612 17 0 0 20 0 1 0 378294941 609558528 124216 33554432000 4194304 6004724 140735185068192 140735185062792 4536305 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/27519/statm: 148818 124216 154 442 0 148372 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 604420
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 27520
/proc/meminfo: memFree=30617768/32873648 swapFree=7376/7376
[pid=27518] ppid=27516 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27518/stat : 27518 (npSolver-pbo.sh) S 27516 27518 21354 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 378294941 9367552 275 33554432000 4194304 5064252 140734314361792 140734314360704 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/27518/statm: 2287 275 233 213 0 72 0
[pid=27519] ppid=27518 vsize=1119560 CPUtime=12.69 cores=1,3,5,7
/proc/27519/stat : 27519 (npSolver-pbo) R 27518 27518 21354 0 -1 4202496 17375 0 0 0 1238 31 0 0 20 0 1 0 378294941 1146429440 249656 33554432000 4194304 6004724 140735185068192 140735185062792 4536854 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/27519/statm: 279890 249656 154 442 0 279444 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1128708
[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 27520
/proc/meminfo: memFree=29571700/32873648 swapFree=7376/7376
[pid=27518] ppid=27516 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27518/stat : 27518 (npSolver-pbo.sh) S 27516 27518 21354 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 378294941 9367552 275 33554432000 4194304 5064252 140734314361792 140734314360704 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/27518/statm: 2287 275 233 213 0 72 0
[pid=27519] ppid=27518 vsize=2168136 CPUtime=25.49 cores=1,3,5,7
/proc/27519/stat : 27519 (npSolver-pbo) R 27518 27518 21354 0 -1 4202496 18887 0 0 0 2487 62 0 0 20 0 1 0 378294941 2220171264 500024 33554432000 4194304 6004724 140735185068192 140735185062792 4536263 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/27519/statm: 542034 500024 154 442 0 541588 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 2177284
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 27520
/proc/meminfo: memFree=27449984/32873648 swapFree=7376/7376
[pid=27518] ppid=27516 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27518/stat : 27518 (npSolver-pbo.sh) S 27516 27518 21354 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 378294941 9367552 275 33554432000 4194304 5064252 140734314361792 140734314360704 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/27518/statm: 2287 275 233 213 0 72 0
[pid=27519] ppid=27518 vsize=4265288 CPUtime=51.08 cores=1,3,5,7
/proc/27519/stat : 27519 (npSolver-pbo) R 27518 27518 21354 0 -1 4202496 21460 0 0 0 4986 122 0 0 20 0 1 0 378294941 4367654912 1031480 33554432000 4194304 6004724 140735185068192 140735185063144 4579246 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/27519/statm: 1066322 1031480 154 442 0 1065876 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 4274436
[startup+102.306 s]
/proc/loadavg: 2.31 2.07 2.02 2/182 27522
/proc/meminfo: memFree=21863896/32873648 swapFree=7376/7376
[pid=27518] ppid=27516 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27518/stat : 27518 (npSolver-pbo.sh) S 27516 27518 21354 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 378294941 9367552 275 33554432000 4194304 5064252 140734314361792 140734314360704 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/27518/statm: 2287 275 233 213 0 72 0
[pid=27519] ppid=27518 vsize=8497780 CPUtime=94.51 cores=1,3,5,7
/proc/27519/stat : 27519 (npSolver-pbo) S 27518 27518 21354 0 -1 4204032 25821 0 0 0 9152 299 0 0 20 0 1 0 378294941 8701726720 1910475 33554432000 4194304 6004724 140735185068192 140735185063864 5251733 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/27519/statm: 2124445 1910475 211 442 0 2123999 0
Current children cumulated CPU time (s) 94.51
Current children cumulated vsize (KiB) 8506928
[startup+162.3 s]
/proc/loadavg: 3.85 2.53 2.18 2/182 27522
/proc/meminfo: memFree=16220940/32873648 swapFree=7376/7376
[pid=27518] ppid=27516 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27518/stat : 27518 (npSolver-pbo.sh) S 27516 27518 21354 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 378294941 9367552 275 33554432000 4194304 5064252 140734314361792 140734314360704 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/27518/statm: 2287 275 233 213 0 72 0
[pid=27519] ppid=27518 vsize=8497780 CPUtime=96.78 cores=1,3,5,7
/proc/27519/stat : 27519 (npSolver-pbo) S 27518 27518 21354 0 -1 4204032 25821 0 0 0 9152 526 0 0 20 0 1 0 378294941 8701726720 1910880 33554432000 4194304 6004724 140735185068192 140735185063864 5251733 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/27519/statm: 2124445 1910880 211 442 0 2123999 0
Current children cumulated CPU time (s) 96.78
Current children cumulated vsize (KiB) 8506928
heavy processes:
%CPU=19 pid=27522 uid=0 cmd=
[startup+222.3 s]
/proc/loadavg: 4.44 2.97 2.36 2/182 27522
/proc/meminfo: memFree=12141480/32873648 swapFree=7376/7376
[pid=27518] ppid=27516 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27518/stat : 27518 (npSolver-pbo.sh) S 27516 27518 21354 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 378294941 9367552 275 33554432000 4194304 5064252 140734314361792 140734314360704 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/27518/statm: 2287 275 233 213 0 72 0
[pid=27519] ppid=27518 vsize=8497780 CPUtime=98.32 cores=1,3,5,7
/proc/27519/stat : 27519 (npSolver-pbo) S 27518 27518 21354 0 -1 4204032 25821 0 0 0 9152 680 0 0 20 0 1 0 378294941 8701726720 1910880 33554432000 4194304 6004724 140735185068192 140735185063864 5251733 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/27519/statm: 2124445 1910880 211 442 0 2123999 0
Current children cumulated CPU time (s) 98.32
Current children cumulated vsize (KiB) 8506928
heavy processes:
%CPU=16 pid=27522 uid=0 cmd=/usr/libexec/abrt-hook-ccpp /var/spool/abrt 27519 6 506 18446744073709551615
[startup+282.3 s]
/proc/loadavg: 4.78 3.31 2.51 2/182 27522
/proc/meminfo: memFree=8632664/32873648 swapFree=7376/7376
[pid=27518] ppid=27516 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27518/stat : 27518 (npSolver-pbo.sh) S 27516 27518 21354 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 378294941 9367552 275 33554432000 4194304 5064252 140734314361792 140734314360704 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/27518/statm: 2287 275 233 213 0 72 0
[pid=27519] ppid=27518 vsize=8497780 CPUtime=99.41 cores=1,3,5,7
/proc/27519/stat : 27519 (npSolver-pbo) S 27518 27518 21354 0 -1 4204032 25821 0 0 0 9152 789 0 0 20 0 1 0 378294941 8701726720 1910880 33554432000 4194304 6004724 140735185068192 140735185063864 5251733 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/27519/statm: 2124445 1910880 211 442 0 2123999 0
Current children cumulated CPU time (s) 99.41
Current children cumulated vsize (KiB) 8506928
heavy processes:
%CPU=14 pid=27522 uid=0 cmd=/usr/libexec/abrt-hook-ccpp /var/spool/abrt 27519 6 506 18446744073709551615
[startup+342.3 s]
/proc/loadavg: 5.47 3.76 2.71 2/185 27525
/proc/meminfo: memFree=8646268/32873648 swapFree=7376/7376
[pid=27518] ppid=27516 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27518/stat : 27518 (npSolver-pbo.sh) S 27516 27518 21354 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 378294941 9367552 275 33554432000 4194304 5064252 140734314361792 140734314360704 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/27518/statm: 2287 275 233 213 0 72 0
[pid=27519] ppid=27518 vsize=8497780 CPUtime=99.41 cores=1,3,5,7
/proc/27519/stat : 27519 (npSolver-pbo) S 27518 27518 21354 0 -1 4204032 25821 0 0 0 9152 789 0 0 20 0 1 0 378294941 8701726720 1910880 33554432000 4194304 6004724 140735185068192 140735185063864 5251733 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/27519/statm: 2124445 1910880 211 442 0 2123999 0
Current children cumulated CPU time (s) 99.41
Current children cumulated vsize (KiB) 8506928
heavy processes:
%CPU=11 pid=27522 uid=0 cmd=/usr/libexec/abrt-hook-ccpp /var/spool/abrt 27519 6 506 18446744073709551615
Solver just ended. Dumping a history of the last processes samples
[startup+346.3 s]
/proc/loadavg: 5.59 3.81 2.73 2/185 27525
/proc/meminfo: memFree=8645832/32873648 swapFree=7376/7376
[pid=27518] ppid=27516 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27518/stat : 27518 (npSolver-pbo.sh) S 27516 27518 21354 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 378294941 9367552 275 33554432000 4194304 5064252 140734314361792 140734314360704 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/27518/statm: 2287 275 233 213 0 72 0
[pid=27519] ppid=27518 vsize=8497780 CPUtime=99.41 cores=1,3,5,7
/proc/27519/stat : 27519 (npSolver-pbo) S 27518 27518 21354 0 -1 4204032 25821 0 0 0 9152 789 0 0 20 0 1 0 378294941 8701726720 1910880 33554432000 4194304 6004724 140735185068192 140735185063864 5251733 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/27519/statm: 2124445 1910880 211 442 0 2123999 0
Current children cumulated CPU time (s) 99.41
Current children cumulated vsize (KiB) 8506928
[startup+349.506 s]
/proc/loadavg: 5.54 3.83 2.74 2/185 27525
/proc/meminfo: memFree=8843300/32873648 swapFree=7376/7376
[pid=27518] ppid=27516 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27518/stat : 27518 (npSolver-pbo.sh) S 27516 27518 21354 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 378294941 9367552 275 33554432000 4194304 5064252 140734314361792 140734314360704 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/27518/statm: 2287 275 233 213 0 72 0
[pid=27519] ppid=27518 vsize=8497780 CPUtime=99.41 cores=1,3,5,7
/proc/27519/stat : 27519 (npSolver-pbo) S 27518 27518 21354 0 -1 4204032 25821 0 0 0 9152 789 0 0 20 0 1 0 378294941 8701726720 1910880 33554432000 4194304 6004724 140735185068192 140735185063864 5251733 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/27519/statm: 2124445 1910880 211 442 0 2123999 0
Current children cumulated CPU time (s) 99.41
Current children cumulated vsize (KiB) 8506928
[startup+352.7 s]
/proc/loadavg: 5.58 3.87 2.76 2/185 27525
/proc/meminfo: memFree=8843548/32873648 swapFree=7376/7376
[pid=27518] ppid=27516 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27518/stat : 27518 (npSolver-pbo.sh) S 27516 27518 21354 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 378294941 9367552 275 33554432000 4194304 5064252 140734314361792 140734314360704 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/27518/statm: 2287 275 233 213 0 72 0
[pid=27519] ppid=27518 vsize=8497780 CPUtime=99.41 cores=1,3,5,7
/proc/27519/stat : 27519 (npSolver-pbo) S 27518 27518 21354 0 -1 4204032 25821 0 0 0 9152 789 0 0 20 0 1 0 378294941 8701726720 1910880 33554432000 4194304 6004724 140735185068192 140735185063864 5251733 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/27519/statm: 2124445 1910880 211 442 0 2123999 0
Current children cumulated CPU time (s) 99.41
Current children cumulated vsize (KiB) 8506928
[startup+354.3 s]
/proc/loadavg: 5.58 3.87 2.76 2/185 27525
/proc/meminfo: memFree=8844044/32873648 swapFree=7376/7376
[pid=27518] ppid=27516 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27518/stat : 27518 (npSolver-pbo.sh) S 27516 27518 21354 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 378294941 9367552 275 33554432000 4194304 5064252 140734314361792 140734314360704 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/27518/statm: 2287 275 233 213 0 72 0
[pid=27519] ppid=27518 vsize=8497780 CPUtime=99.41 cores=1,3,5,7
/proc/27519/stat : 27519 (npSolver-pbo) S 27518 27518 21354 0 -1 4204032 25821 0 0 0 9152 789 0 0 20 0 1 0 378294941 8701726720 1910880 33554432000 4194304 6004724 140735185068192 140735185063864 5251733 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/27519/statm: 2124445 1910880 211 442 0 2123999 0
Current children cumulated CPU time (s) 99.41
Current children cumulated vsize (KiB) 8506928
[startup+354.7 s]
/proc/loadavg: 5.58 3.87 2.76 2/185 27525
/proc/meminfo: memFree=8844044/32873648 swapFree=7376/7376
[pid=27518] ppid=27516 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27518/stat : 27518 (npSolver-pbo.sh) S 27516 27518 21354 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 378294941 9367552 275 33554432000 4194304 5064252 140734314361792 140734314360704 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/27518/statm: 2287 275 233 213 0 72 0
[pid=27519] ppid=27518 vsize=8497780 CPUtime=99.41 cores=1,3,5,7
/proc/27519/stat : 27519 (npSolver-pbo) S 27518 27518 21354 0 -1 4204032 25821 0 0 0 9152 789 0 0 20 0 1 0 378294941 8701726720 1910880 33554432000 4194304 6004724 140735185068192 140735185063864 5251733 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/27519/statm: 2124445 1910880 211 442 0 2123999 0
Current children cumulated CPU time (s) 99.41
Current children cumulated vsize (KiB) 8506928
[startup+355.1 s]
/proc/loadavg: 5.58 3.87 2.76 2/185 27525
/proc/meminfo: memFree=8865308/32873648 swapFree=7376/7376
[pid=27518] ppid=27516 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27518/stat : 27518 (npSolver-pbo.sh) S 27516 27518 21354 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 378294941 9367552 275 33554432000 4194304 5064252 140734314361792 140734314360704 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/27518/statm: 2287 275 233 213 0 72 0
[pid=27519] ppid=27518 vsize=8497780 CPUtime=99.41 cores=1,3,5,7
/proc/27519/stat : 27519 (npSolver-pbo) S 27518 27518 21354 0 -1 4204032 25821 0 0 0 9152 789 0 0 20 0 1 0 378294941 8701726720 1910880 33554432000 4194304 6004724 140735185068192 140735185063864 5251733 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/27519/statm: 2124445 1910880 211 442 0 2123999 0
Current children cumulated CPU time (s) 99.41
Current children cumulated vsize (KiB) 8506928
[startup+355.2 s]
/proc/loadavg: 5.58 3.87 2.76 2/185 27525
/proc/meminfo: memFree=8865308/32873648 swapFree=7376/7376
[pid=27518] ppid=27516 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27518/stat : 27518 (npSolver-pbo.sh) S 27516 27518 21354 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 378294941 9367552 275 33554432000 4194304 5064252 140734314361792 140734314360704 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/27518/statm: 2287 275 233 213 0 72 0
[pid=27519] ppid=27518 vsize=8497780 CPUtime=99.41 cores=1,3,5,7
/proc/27519/stat : 27519 (npSolver-pbo) S 27518 27518 21354 0 -1 4204032 25821 0 0 0 9152 789 0 0 20 0 1 0 378294941 8701726720 1910880 33554432000 4194304 6004724 140735185068192 140735185063864 5251733 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/27519/statm: 2124445 1910880 211 442 0 2123999 0
Current children cumulated CPU time (s) 99.41
Current children cumulated vsize (KiB) 8506928
Child status: 0
Real time (s): 355.278
CPU time (s): 99.4449
CPU user time (s): 91.5211
CPU system time (s): 7.92379
CPU usage (%): 27.9907
Max. virtual memory (cumulated for all children) (KiB): 12663044
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 91.5211
system time used= 7.9238
maximum resident set size= 8457440
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26196
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= 1811973
involuntary context switches= 143
runsolver used 0.947855 second user time and 3.2515 second system time
The end