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-3750804-1339220761/watcher-3750804-1339220761 -o /tmp/evaluation-result-3750804-1339220761/solver-3750804-1339220761 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo.sh HOME/instance-3750804-1339220761.opb 58313827 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 1.68 3/179 24205
/proc/meminfo: memFree=29584360/32873844 swapFree=8660/8660
[pid=24205] ppid=24203 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24205/stat : 24205 (npSolver-pbo.sh) S 24203 24205 24048 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 388204778 9367552 275 33554432000 4194304 5064252 140736351512304 140736351511216 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24205/statm: 2287 275 233 213 0 72 0
[startup+0.0854679 s]
/proc/loadavg: 2.00 2.00 1.68 3/179 24205
/proc/meminfo: memFree=29584360/32873844 swapFree=8660/8660
[pid=24205] ppid=24203 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24205/stat : 24205 (npSolver-pbo.sh) S 24203 24205 24048 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 388204778 9367552 275 33554432000 4194304 5064252 140736351512304 140736351511216 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24205/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100305 s]
/proc/loadavg: 2.00 2.00 1.68 3/179 24205
/proc/meminfo: memFree=29584360/32873844 swapFree=8660/8660
[pid=24205] ppid=24203 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24205/stat : 24205 (npSolver-pbo.sh) S 24203 24205 24048 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 388204778 9367552 275 33554432000 4194304 5064252 140736351512304 140736351511216 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24205/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300268 s]
/proc/loadavg: 2.00 2.00 1.68 3/179 24205
/proc/meminfo: memFree=29584360/32873844 swapFree=8660/8660
[pid=24205] ppid=24203 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24205/stat : 24205 (npSolver-pbo.sh) S 24203 24205 24048 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 388204778 9367552 275 33554432000 4194304 5064252 140736351512304 140736351511216 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24205/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700278 s]
/proc/loadavg: 2.00 2.00 1.68 3/179 24205
/proc/meminfo: memFree=29584360/32873844 swapFree=8660/8660
[pid=24205] ppid=24203 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24205/stat : 24205 (npSolver-pbo.sh) S 24203 24205 24048 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 388204778 9367552 275 33554432000 4194304 5064252 140736351512304 140736351511216 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24205/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50031 s]
/proc/loadavg: 2.00 2.00 1.68 3/181 24207
/proc/meminfo: memFree=29504768/32873844 swapFree=8660/8660
[pid=24205] ppid=24203 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24205/stat : 24205 (npSolver-pbo.sh) S 24203 24205 24048 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 388204778 9367552 275 33554432000 4194304 5064252 140736351512304 140736351511216 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24205/statm: 2287 275 233 213 0 72 0
[pid=24206] ppid=24205 vsize=95680 CPUtime=1.48 cores=0,2,4,6
/proc/24206/stat : 24206 (npSolver-pbo) R 24205 24205 24048 0 -1 4202496 24075 0 0 0 144 4 0 0 20 0 1 0 388204778 97976320 23505 33554432000 4194304 6004724 140737430940544 140737430936568 5190736 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/24206/statm: 23920 23505 130 442 0 23474 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 104828
[startup+3.10031 s]
/proc/loadavg: 2.00 2.00 1.68 3/181 24207
/proc/meminfo: memFree=29436500/32873844 swapFree=8660/8660
[pid=24205] ppid=24203 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24205/stat : 24205 (npSolver-pbo.sh) S 24203 24205 24048 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 388204778 9367552 275 33554432000 4194304 5064252 140736351512304 140736351511216 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24205/statm: 2287 275 233 213 0 72 0
[pid=24206] ppid=24205 vsize=194948 CPUtime=3.09 cores=0,2,4,6
/proc/24206/stat : 24206 (npSolver-pbo) R 24205 24205 24048 0 -1 4202496 48415 0 0 0 299 10 0 0 20 0 1 0 388204778 199626752 48353 33554432000 4194304 6004724 140737430940544 140737430936568 4968639 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/24206/statm: 48737 48353 130 442 0 48291 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 204096
[startup+6.30032 s]
/proc/loadavg: 2.00 2.00 1.69 3/181 24207
/proc/meminfo: memFree=29066456/32873844 swapFree=8660/8660
[pid=24205] ppid=24203 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24205/stat : 24205 (npSolver-pbo.sh) S 24203 24205 24048 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 388204778 9367552 275 33554432000 4194304 5064252 140736351512304 140736351511216 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24205/statm: 2287 275 233 213 0 72 0
[pid=24206] ppid=24205 vsize=607540 CPUtime=6.28 cores=0,2,4,6
/proc/24206/stat : 24206 (npSolver-pbo) R 24205 24205 24048 0 -1 4202496 87601 0 0 0 608 20 0 0 20 0 1 0 388204778 622120960 138578 33554432000 4194304 6004724 140737430940544 140737430935144 4581241 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/24206/statm: 151885 138578 154 442 0 151439 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 616688
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 1.69 3/181 24207
/proc/meminfo: memFree=28553164/32873844 swapFree=8660/8660
[pid=24205] ppid=24203 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24205/stat : 24205 (npSolver-pbo.sh) S 24203 24205 24048 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 388204778 9367552 275 33554432000 4194304 5064252 140736351512304 140736351511216 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24205/statm: 2287 275 233 213 0 72 0
[pid=24206] ppid=24205 vsize=1393972 CPUtime=12.69 cores=0,2,4,6
/proc/24206/stat : 24206 (npSolver-pbo) R 24205 24205 24048 0 -1 4202496 89246 0 0 0 1230 39 0 0 20 0 1 0 388204778 1427427328 260946 33554432000 4194304 6004724 140737430940544 140737430935144 5055579 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/24206/statm: 348493 260946 154 442 0 348047 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1403120
[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 1.69 3/181 24207
/proc/meminfo: memFree=27486340/32873844 swapFree=8660/8660
[pid=24205] ppid=24203 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24205/stat : 24205 (npSolver-pbo.sh) S 24203 24205 24048 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 388204778 9367552 275 33554432000 4194304 5064252 140736351512304 140736351511216 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24205/statm: 2287 275 233 213 0 72 0
[pid=24206] ppid=24205 vsize=2442548 CPUtime=25.49 cores=0,2,4,6
/proc/24206/stat : 24206 (npSolver-pbo) R 24205 24205 24048 0 -1 4202496 90753 0 0 0 2481 68 0 0 20 0 1 0 388204778 2501169152 508754 33554432000 4194304 6004724 140737430940544 140737430935144 4579246 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/24206/statm: 610637 508754 154 442 0 610191 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 2451696
[startup+51.1004 s]
/proc/loadavg: 2.00 2.00 1.70 3/181 24207
/proc/meminfo: memFree=25429968/32873844 swapFree=8660/8660
[pid=24205] ppid=24203 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24205/stat : 24205 (npSolver-pbo.sh) S 24203 24205 24048 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 388204778 9367552 275 33554432000 4194304 5064252 140736351512304 140736351511216 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24205/statm: 2287 275 233 213 0 72 0
[pid=24206] ppid=24205 vsize=4539700 CPUtime=51.08 cores=0,2,4,6
/proc/24206/stat : 24206 (npSolver-pbo) R 24205 24205 24048 0 -1 4202496 93292 0 0 0 4974 134 0 0 20 0 1 0 388204778 4648652800 1022802 33554432000 4194304 6004724 140737430940544 140737430935144 4582601 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/24206/statm: 1134925 1022802 154 442 0 1134479 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 4548848
[startup+102.3 s]
/proc/loadavg: 2.00 2.00 1.71 3/181 24207
/proc/meminfo: memFree=21205604/32873844 swapFree=8660/8660
[pid=24205] ppid=24203 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24205/stat : 24205 (npSolver-pbo.sh) S 24203 24205 24048 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 388204778 9367552 275 33554432000 4194304 5064252 140736351512304 140736351511216 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24205/statm: 2287 275 233 213 0 72 0
[pid=24206] ppid=24205 vsize=8734004 CPUtime=102.28 cores=0,2,4,6
/proc/24206/stat : 24206 (npSolver-pbo) R 24205 24205 24048 0 -1 4202496 97886 0 0 0 9958 270 0 0 20 0 1 0 388204778 8943620096 2064722 33554432000 4194304 6004724 140737430940544 140737430935144 4581081 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/24206/statm: 2183501 2064722 154 442 0 2183055 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 8743152
[startup+162.3 s]
/proc/loadavg: 3.44 2.36 1.85 2/182 24209
/proc/meminfo: memFree=11442472/32873844 swapFree=8660/8660
[pid=24205] ppid=24203 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24205/stat : 24205 (npSolver-pbo.sh) S 24203 24205 24048 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 388204778 9367552 275 33554432000 4194304 5064252 140736351512304 140736351511216 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24205/statm: 2287 275 233 213 0 72 0
[pid=24206] ppid=24205 vsize=8799540 CPUtime=123.48 cores=0,2,4,6
/proc/24206/stat : 24206 (npSolver-pbo) S 24205 24205 24048 0 -1 4204032 98385 0 0 0 11821 527 0 0 20 0 1 0 388204778 9010728960 2183262 33554432000 4194304 6004724 140737430940544 140737430936216 5251733 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/24206/statm: 2199885 2183262 212 442 0 2199439 0
Current children cumulated CPU time (s) 123.48
Current children cumulated vsize (KiB) 8808688
heavy processes:
%CPU=40 pid=24208 uid=0 cmd=
[startup+222.307 s]
/proc/loadavg: 4.17 2.76 2.02 2/182 24209
/proc/meminfo: memFree=7096420/32873844 swapFree=8660/8660
[pid=24205] ppid=24203 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24205/stat : 24205 (npSolver-pbo.sh) S 24203 24205 24048 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 388204778 9367552 275 33554432000 4194304 5064252 140736351512304 140736351511216 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24205/statm: 2287 275 233 213 0 72 0
[pid=24206] ppid=24205 vsize=8799540 CPUtime=124.62 cores=0,2,4,6
/proc/24206/stat : 24206 (npSolver-pbo) S 24205 24205 24048 0 -1 4204032 98385 0 0 0 11821 641 0 0 20 0 1 0 388204778 9010728960 2183262 33554432000 4194304 6004724 140737430940544 140737430936216 5251733 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/24206/statm: 2199885 2183262 212 442 0 2199439 0
Current children cumulated CPU time (s) 124.62
Current children cumulated vsize (KiB) 8808688
heavy processes:
%CPU=24 pid=24208 uid=0 cmd=/usr/libexec/abrt-hook-ccpp /var/spool/abrt 24206 6 506 18446744073709551615
[startup+282.307 s]
/proc/loadavg: 4.73 3.18 2.21 2/183 24212
/proc/meminfo: memFree=5516860/32873844 swapFree=8660/8660
[pid=24205] ppid=24203 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24205/stat : 24205 (npSolver-pbo.sh) S 24203 24205 24048 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 388204778 9367552 275 33554432000 4194304 5064252 140736351512304 140736351511216 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24205/statm: 2287 275 233 213 0 72 0
[pid=24206] ppid=24205 vsize=8799540 CPUtime=124.99 cores=0,2,4,6
/proc/24206/stat : 24206 (npSolver-pbo) S 24205 24205 24048 0 -1 4204032 98385 0 0 0 11821 678 0 0 20 0 1 0 388204778 9010728960 2183262 33554432000 4194304 6004724 140737430940544 140737430936216 5251733 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/24206/statm: 2199885 2183262 212 442 0 2199439 0
Current children cumulated CPU time (s) 124.99
Current children cumulated vsize (KiB) 8808688
heavy processes:
%CPU=17 pid=24208 uid=0 cmd=/usr/libexec/abrt-hook-ccpp /var/spool/abrt 24206 6 506 18446744073709551615
Solver just ended. Dumping a history of the last processes samples
[startup+307.8 s]
/proc/loadavg: 4.82 3.33 2.28 2/182 24212
/proc/meminfo: memFree=5548580/32873844 swapFree=8660/8660
[pid=24205] ppid=24203 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24205/stat : 24205 (npSolver-pbo.sh) S 24203 24205 24048 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 388204778 9367552 275 33554432000 4194304 5064252 140736351512304 140736351511216 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24205/statm: 2287 275 233 213 0 72 0
[pid=24206] ppid=24205 vsize=8799540 CPUtime=124.99 cores=0,2,4,6
/proc/24206/stat : 24206 (npSolver-pbo) S 24205 24205 24048 0 -1 4204032 98385 0 0 0 11821 678 0 0 20 0 1 0 388204778 9010728960 2183262 33554432000 4194304 6004724 140737430940544 140737430936216 5251733 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/24206/statm: 2199885 2183262 212 442 0 2199439 0
Current children cumulated CPU time (s) 124.99
Current children cumulated vsize (KiB) 8808688
[startup+314.206 s]
/proc/loadavg: 4.85 3.38 2.31 2/182 24212
/proc/meminfo: memFree=5633896/32873844 swapFree=8660/8660
[pid=24205] ppid=24203 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24205/stat : 24205 (npSolver-pbo.sh) S 24203 24205 24048 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 388204778 9367552 275 33554432000 4194304 5064252 140736351512304 140736351511216 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24205/statm: 2287 275 233 213 0 72 0
[pid=24206] ppid=24205 vsize=8799540 CPUtime=124.99 cores=0,2,4,6
/proc/24206/stat : 24206 (npSolver-pbo) S 24205 24205 24048 0 -1 4204032 98385 0 0 0 11821 678 0 0 20 0 1 0 388204778 9010728960 2183262 33554432000 4194304 6004724 140737430940544 140737430936216 5251733 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/24206/statm: 2199885 2183262 212 442 0 2199439 0
Current children cumulated CPU time (s) 124.99
Current children cumulated vsize (KiB) 8808688
[startup+320.6 s]
/proc/loadavg: 4.86 3.41 2.32 2/182 24212
/proc/meminfo: memFree=5591508/32873844 swapFree=8660/8660
[pid=24205] ppid=24203 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24205/stat : 24205 (npSolver-pbo.sh) S 24203 24205 24048 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 388204778 9367552 275 33554432000 4194304 5064252 140736351512304 140736351511216 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24205/statm: 2287 275 233 213 0 72 0
[pid=24206] ppid=24205 vsize=8799540 CPUtime=124.99 cores=0,2,4,6
/proc/24206/stat : 24206 (npSolver-pbo) S 24205 24205 24048 0 -1 4204032 98385 0 0 0 11821 678 0 0 20 0 1 0 388204778 9010728960 2183262 33554432000 4194304 6004724 140737430940544 140737430936216 5251733 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/24206/statm: 2199885 2183262 212 442 0 2199439 0
Current children cumulated CPU time (s) 124.99
Current children cumulated vsize (KiB) 8808688
[startup+323.8 s]
/proc/loadavg: 4.86 3.41 2.32 2/182 24212
/proc/meminfo: memFree=5583192/32873844 swapFree=8660/8660
[pid=24205] ppid=24203 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24205/stat : 24205 (npSolver-pbo.sh) S 24203 24205 24048 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 388204778 9367552 275 33554432000 4194304 5064252 140736351512304 140736351511216 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24205/statm: 2287 275 233 213 0 72 0
[pid=24206] ppid=24205 vsize=8799540 CPUtime=124.99 cores=0,2,4,6
/proc/24206/stat : 24206 (npSolver-pbo) S 24205 24205 24048 0 -1 4204032 98385 0 0 0 11821 678 0 0 20 0 1 0 388204778 9010728960 2183262 33554432000 4194304 6004724 140737430940544 140737430936216 5251733 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/24206/statm: 2199885 2183262 212 442 0 2199439 0
Current children cumulated CPU time (s) 124.99
Current children cumulated vsize (KiB) 8808688
[startup+325.4 s]
/proc/loadavg: 4.79 3.42 2.33 2/182 24212
/proc/meminfo: memFree=5579716/32873844 swapFree=8660/8660
[pid=24205] ppid=24203 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24205/stat : 24205 (npSolver-pbo.sh) S 24203 24205 24048 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 388204778 9367552 275 33554432000 4194304 5064252 140736351512304 140736351511216 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24205/statm: 2287 275 233 213 0 72 0
[pid=24206] ppid=24205 vsize=8799540 CPUtime=124.99 cores=0,2,4,6
/proc/24206/stat : 24206 (npSolver-pbo) S 24205 24205 24048 0 -1 4204032 98385 0 0 0 11821 678 0 0 20 0 1 0 388204778 9010728960 2183262 33554432000 4194304 6004724 140737430940544 140737430936216 5251733 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/24206/statm: 2199885 2183262 212 442 0 2199439 0
Current children cumulated CPU time (s) 124.99
Current children cumulated vsize (KiB) 8808688
[startup+326.2 s]
/proc/loadavg: 4.79 3.42 2.33 2/182 24212
/proc/meminfo: memFree=5575744/32873844 swapFree=8660/8660
[pid=24205] ppid=24203 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24205/stat : 24205 (npSolver-pbo.sh) S 24203 24205 24048 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 388204778 9367552 275 33554432000 4194304 5064252 140736351512304 140736351511216 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24205/statm: 2287 275 233 213 0 72 0
[pid=24206] ppid=24205 vsize=8799540 CPUtime=124.99 cores=0,2,4,6
/proc/24206/stat : 24206 (npSolver-pbo) S 24205 24205 24048 0 -1 4204032 98385 0 0 0 11821 678 0 0 20 0 1 0 388204778 9010728960 2183262 33554432000 4194304 6004724 140737430940544 140737430936216 5251733 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/24206/statm: 2199885 2183262 212 442 0 2199439 0
Current children cumulated CPU time (s) 124.99
Current children cumulated vsize (KiB) 8808688
[startup+326.6 s]
/proc/loadavg: 4.79 3.42 2.33 2/182 24212
/proc/meminfo: memFree=5575744/32873844 swapFree=8660/8660
[pid=24205] ppid=24203 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24205/stat : 24205 (npSolver-pbo.sh) S 24203 24205 24048 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 388204778 9367552 275 33554432000 4194304 5064252 140736351512304 140736351511216 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24205/statm: 2287 275 233 213 0 72 0
[pid=24206] ppid=24205 vsize=8799540 CPUtime=124.99 cores=0,2,4,6
/proc/24206/stat : 24206 (npSolver-pbo) S 24205 24205 24048 0 -1 4204032 98385 0 0 0 11821 678 0 0 20 0 1 0 388204778 9010728960 2183262 33554432000 4194304 6004724 140737430940544 140737430936216 5251733 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/24206/statm: 2199885 2183262 212 442 0 2199439 0
Current children cumulated CPU time (s) 124.99
Current children cumulated vsize (KiB) 8808688
Child status: 0
Real time (s): 326.698
CPU time (s): 125.029
CPU user time (s): 118.219
CPU system time (s): 6.80996
CPU usage (%): 38.2705
Max. virtual memory (cumulated for all children) (KiB): 12937456
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 118.219
system time used= 6.80996
maximum resident set size= 8734024
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 98760
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= 1787182
involuntary context switches= 156
runsolver used 0.676897 second user time and 1.71274 second system time
The end