runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 961)
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-3393977-1306069994/watcher-3393977-1306069994 -o /tmp/evaluation-result-3393977-1306069994/solver-3393977-1306069994 -C 5000 -W 5100 -M 15500 mono Main.exe HOME/instance-3393977-1306069994.cnf
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 5000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 5030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 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: 0.00 0.00 0.00 2/434 25331
/proc/meminfo: memFree=13844932/32951124 swapFree=57171216/67111528
[pid=25331] ppid=25329 vsize=3324 CPUtime=0 cores=1,3,5,7
/proc/25331/stat : 25331 (mono) D 25329 25331 25299 0 -1 4194304 45 0 0 0 0 0 0 0 20 0 1 0 699415092 3403776 1 33554432000 0 0 140733715695400 18446744073709551615 5055511 0 0 4096 0 18446744071562234166 0 0 17 1 0 0 0
/proc/25331/statm: 831 1 0 0 0 79 0
[startup+0.109269 s]
/proc/loadavg: 0.00 0.00 0.00 2/434 25331
/proc/meminfo: memFree=13844932/32951124 swapFree=57171216/67111528
[pid=25331] ppid=25329 vsize=20992 CPUtime=0 cores=1,3,5,7
/proc/25331/stat : 25331 (mono) D 25329 25331 25299 0 -1 4194304 330 0 5 0 0 0 0 0 18 0 1 0 699415092 21495808 271 33554432000 4194304 7232020 140733715692672 18446744073709551615 5463280 0 0 4096 0 18446744071562234166 0 0 17 1 0 0 6
/proc/25331/statm: 5248 271 230 742 0 115 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 20992
[startup+0.200255 s]
/proc/loadavg: 0.00 0.00 0.00 2/434 25331
/proc/meminfo: memFree=13844932/32951124 swapFree=57171216/67111528
[pid=25331] ppid=25329 vsize=102940 CPUtime=0 cores=1,3,5,7
/proc/25331/stat : 25331 (mono) R 25329 25331 25299 0 -1 4202496 977 0 19 0 0 0 0 0 17 0 8 0 699415092 105410560 905 33554432000 4194304 7232020 140733715692672 18446744073709551615 5667152 0 0 4096 545260780 18446744073709551615 0 0 17 1 0 0 16
/proc/25331/statm: 25735 906 665 742 0 18306 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 102940
[startup+0.302572 s]
/proc/loadavg: 0.00 0.00 0.00 2/434 25331
/proc/meminfo: memFree=13844932/32951124 swapFree=57171216/67111528
[pid=25331] ppid=25329 vsize=109364 CPUtime=0.09 cores=1,3,5,7
/proc/25331/stat : 25331 (mono) S 25329 25331 25299 0 -1 4202496 2320 0 21 0 9 0 0 0 18 0 9 0 699415092 111988736 2248 33554432000 4194304 7232020 140733715692672 18446744073709551615 270350199705 0 0 4096 545260780 18446744073709551615 0 0 17 7 0 0 17
/proc/25331/statm: 27341 2248 975 742 0 19912 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 109364
[startup+0.700151 s]
/proc/loadavg: 0.00 0.00 0.00 2/434 25331
/proc/meminfo: memFree=13844932/32951124 swapFree=57171216/67111528
[pid=25331] ppid=25329 vsize=161364 CPUtime=0.51 cores=1,3,5,7
/proc/25331/stat : 25331 (mono) R 25329 25331 25299 0 -1 4202496 15145 0 21 0 50 1 0 0 18 0 9 0 699415092 165236736 15073 33554432000 4194304 7232020 140733715692672 18446744073709551615 6230302 0 0 4096 545260780 18446744073709551615 0 0 17 3 0 0 17
/proc/25331/statm: 40341 15074 999 742 0 32912 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 161364
[startup+1.501 s]
/proc/loadavg: 0.16 0.03 0.01 3/454 25354
/proc/meminfo: memFree=13690336/32951124 swapFree=57171228/67111528
[pid=25331] ppid=25329 vsize=169980 CPUtime=1.33 cores=1,3,5,7
/proc/25331/stat : 25331 (mono) R 25329 25331 25299 0 -1 4202496 17580 0 21 0 131 2 0 0 18 0 9 0 699415092 174059520 17507 33554432000 4194304 7232020 140733715692672 18446744073709551615 270338077677 0 0 4096 545260780 18446744073709551615 0 0 17 3 0 0 17
/proc/25331/statm: 42495 17507 1023 742 0 35066 0
[pid=25331/tid=25339] ppid=25329 vsize=169980 CPUtime=0 cores=1,3,5,7
/proc/25331/task/25339/stat : 25339 (mono) S 25329 25331 25299 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 699415106 174059520 17507 33554432000 4194304 7232020 140733715692672 18446744073709551615 270350199705 0 0 4096 545260780 18446604465161785728 0 0 -1 5 0 0 0
[pid=25331/tid=25340] ppid=25329 vsize=169980 CPUtime=0.01 cores=1,3,5,7
/proc/25331/task/25340/stat : 25340 (mono) S 25329 25331 25299 0 -1 4202560 2 0 0 0 1 0 0 0 15 0 9 0 699415106 174059520 17507 33554432000 4194304 7232020 140733715692672 18446744073709551615 270350199705 0 0 4096 545260780 18446604465161785728 0 0 -1 7 0 0 0
[pid=25331/tid=25341] ppid=25329 vsize=169980 CPUtime=0 cores=1,3,5,7
/proc/25331/task/25341/stat : 25341 (mono) S 25329 25331 25299 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 699415106 174059520 17507 33554432000 4194304 7232020 140733715692672 18446744073709551615 270350199705 0 0 4096 545260780 18446604465161785728 0 0 -1 1 0 0 0
[pid=25331/tid=25342] ppid=25329 vsize=169980 CPUtime=0 cores=1,3,5,7
/proc/25331/task/25342/stat : 25342 (mono) S 25329 25331 25299 0 -1 4202560 2 0 0 0 0 0 0 0 16 0 9 0 699415106 174059520 17507 33554432000 4194304 7232020 140733715692672 18446744073709551615 270350199705 0 0 4096 545260780 18446604465161785728 0 0 -1 3 0 0 0
[pid=25331/tid=25343] ppid=25329 vsize=169980 CPUtime=0 cores=1,3,5,7
/proc/25331/task/25343/stat : 25343 (mono) S 25329 25331 25299 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 699415106 174059520 17507 33554432000 4194304 7232020 140733715692672 18446744073709551615 270350199705 0 0 4096 545260780 18446604465161785728 0 0 -1 7 0 0 0
[pid=25331/tid=25344] ppid=25329 vsize=169980 CPUtime=0 cores=1,3,5,7
/proc/25331/task/25344/stat : 25344 (mono) S 25329 25331 25299 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 699415106 174059520 17507 33554432000 4194304 7232020 140733715692672 18446744073709551615 270350199705 0 0 4096 545260780 18446604465161785728 0 0 -1 1 0 0 0
[pid=25331/tid=25345] ppid=25329 vsize=169980 CPUtime=0 cores=1,3,5,7
/proc/25331/task/25345/stat : 25345 (mono) S 25329 25331 25299 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 699415106 174059520 17507 33554432000 4194304 7232020 140733715692672 18446744073709551615 270350199705 0 0 4096 545260780 18446604465161785728 0 0 -1 5 0 0 0
[pid=25331/tid=25353] ppid=25329 vsize=169980 CPUtime=0 cores=1,3,5,7
/proc/25331/task/25353/stat : 25353 (mono) S 25329 25331 25299 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 699415113 174059520 17507 33554432000 4194304 7232020 140733715692672 18446744073709551615 270350207409 0 0 4096 545260780 18446604465161785728 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.33
Current children cumulated vsize (KiB) 169980
[startup+3.10067 s]
/proc/loadavg: 0.16 0.03 0.01 3/454 25354
/proc/meminfo: memFree=13685624/32951124 swapFree=57171228/67111528
[pid=25331] ppid=25329 vsize=170236 CPUtime=2.94 cores=1,3,5,7
/proc/25331/stat : 25331 (mono) R 25329 25331 25299 0 -1 4202496 17632 0 21 0 292 2 0 0 18 0 9 0 699415092 174321664 17559 33554432000 4194304 7232020 140733715692672 18446744073709551615 1094118585 0 0 4096 545260780 18446744073709551615 0 0 17 3 0 0 17
/proc/25331/statm: 42559 17559 1023 742 0 35130 0
[pid=25331/tid=25339] ppid=25329 vsize=170236 CPUtime=0 cores=1,3,5,7
/proc/25331/task/25339/stat : 25339 (mono) S 25329 25331 25299 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 699415106 174321664 17559 33554432000 4194304 7232020 140733715692672 18446744073709551615 270350199705 0 0 4096 545260780 18446604465161785728 0 0 -1 5 0 0 0
[pid=25331/tid=25340] ppid=25329 vsize=170236 CPUtime=0.01 cores=1,3,5,7
/proc/25331/task/25340/stat : 25340 (mono) S 25329 25331 25299 0 -1 4202560 2 0 0 0 1 0 0 0 15 0 9 0 699415106 174321664 17559 33554432000 4194304 7232020 140733715692672 18446744073709551615 270350199705 0 0 4096 545260780 18446604465161785728 0 0 -1 7 0 0 0
[pid=25331/tid=25341] ppid=25329 vsize=170236 CPUtime=0 cores=1,3,5,7
/proc/25331/task/25341/stat : 25341 (mono) S 25329 25331 25299 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 699415106 174321664 17559 33554432000 4194304 7232020 140733715692672 18446744073709551615 270350199705 0 0 4096 545260780 18446604465161785728 0 0 -1 1 0 0 0
[pid=25331/tid=25342] ppid=25329 vsize=170236 CPUtime=0.01 cores=1,3,5,7
/proc/25331/task/25342/stat : 25342 (mono) S 25329 25331 25299 0 -1 4202560 2 0 0 0 1 0 0 0 16 0 9 0 699415106 174321664 17559 33554432000 4194304 7232020 140733715692672 18446744073709551615 270350199705 0 0 4096 545260780 18446604465161785728 0 0 -1 3 0 0 0
[pid=25331/tid=25343] ppid=25329 vsize=170236 CPUtime=0 cores=1,3,5,7
/proc/25331/task/25343/stat : 25343 (mono) S 25329 25331 25299 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 699415106 174321664 17560 33554432000 4194304 7232020 140733715692672 18446744073709551615 270350199705 0 0 4096 545260780 18446604465161785728 0 0 -1 7 0 0 0
[pid=25331/tid=25344] ppid=25329 vsize=170236 CPUtime=0.01 cores=1,3,5,7
/proc/25331/task/25344/stat : 25344 (mono) S 25329 25331 25299 0 -1 4202560 2 0 0 0 1 0 0 0 16 0 9 0 699415106 174321664 17560 33554432000 4194304 7232020 140733715692672 18446744073709551615 270350199705 0 0 4096 545260780 18446604465161785728 0 0 -1 1 0 0 0
[pid=25331/tid=25345] ppid=25329 vsize=170236 CPUtime=0 cores=1,3,5,7
/proc/25331/task/25345/stat : 25345 (mono) S 25329 25331 25299 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 699415106 174321664 17560 33554432000 4194304 7232020 140733715692672 18446744073709551615 270350199705 0 0 4096 545260780 18446604465161785728 0 0 -1 5 0 0 0
[pid=25331/tid=25353] ppid=25329 vsize=170236 CPUtime=0 cores=1,3,5,7
/proc/25331/task/25353/stat : 25353 (mono) S 25329 25331 25299 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 699415113 174321664 17560 33554432000 4194304 7232020 140733715692672 18446744073709551615 270350207409 0 0 4096 545260780 18446604465161785728 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 170236
[startup+6.30104 s]
/proc/loadavg: 0.31 0.07 0.02 3/454 25354
/proc/meminfo: memFree=13685364/32951124 swapFree=57171228/67111528
[pid=25331] ppid=25329 vsize=170300 CPUtime=6.18 cores=1,3,5,7
/proc/25331/stat : 25331 (mono) R 25329 25331 25299 0 -1 4202496 17659 0 21 0 616 2 0 0 18 0 9 0 699415092 174387200 17586 33554432000 4194304 7232020 140733715692672 18446744073709551615 1094126034 0 0 4096 545260780 18446744073709551615 0 0 17 3 0 0 17
/proc/25331/statm: 42575 17586 1023 742 0 35146 0
[pid=25331/tid=25339] ppid=25329 vsize=170300 CPUtime=0.01 cores=1,3,5,7
/proc/25331/task/25339/stat : 25339 (mono) S 25329 25331 25299 0 -1 4202560 3 0 0 0 1 0 0 0 15 0 9 0 699415106 174387200 17586 33554432000 4194304 7232020 140733715692672 18446744073709551615 270350199705 0 0 4096 545260780 18446604465161785728 0 0 -1 5 0 0 0
[pid=25331/tid=25340] ppid=25329 vsize=170300 CPUtime=0.01 cores=1,3,5,7
/proc/25331/task/25340/stat : 25340 (mono) S 25329 25331 25299 0 -1 4202560 2 0 0 0 1 0 0 0 15 0 9 0 699415106 174387200 17586 33554432000 4194304 7232020 140733715692672 18446744073709551615 270350199705 0 0 4096 545260780 18446604465161785728 0 0 -1 5 0 0 0
[pid=25331/tid=25341] ppid=25329 vsize=170300 CPUtime=0.01 cores=1,3,5,7
/proc/25331/task/25341/stat : 25341 (mono) S 25329 25331 25299 0 -1 4202560 2 0 0 0 1 0 0 0 15 0 9 0 699415106 174387200 17586 33554432000 4194304 7232020 140733715692672 18446744073709551615 270350199705 0 0 4096 545260780 18446604465161785728 0 0 -1 7 0 0 0
[pid=25331/tid=25342] ppid=25329 vsize=170300 CPUtime=0.02 cores=1,3,5,7
/proc/25331/task/25342/stat : 25342 (mono) S 25329 25331 25299 0 -1 4202560 2 0 0 0 2 0 0 0 16 0 9 0 699415106 174387200 17586 33554432000 4194304 7232020 140733715692672 18446744073709551615 270350199705 0 0 4096 545260780 18446604465161785728 0 0 -1 3 0 0 0
[pid=25331/tid=25343] ppid=25329 vsize=170300 CPUtime=0 cores=1,3,5,7
/proc/25331/task/25343/stat : 25343 (mono) S 25329 25331 25299 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 699415106 174387200 17587 33554432000 4194304 7232020 140733715692672 18446744073709551615 270350199705 0 0 4096 545260780 18446604465161785728 0 0 -1 7 0 0 0
[pid=25331/tid=25344] ppid=25329 vsize=170300 CPUtime=0.02 cores=1,3,5,7
/proc/25331/task/25344/stat : 25344 (mono) S 25329 25331 25299 0 -1 4202560 2 0 0 0 2 0 0 0 15 0 9 0 699415106 174387200 17587 33554432000 4194304 7232020 140733715692672 18446744073709551615 270350199705 0 0 4096 545260780 18446604465161785728 0 0 -1 1 0 0 0
[pid=25331/tid=25345] ppid=25329 vsize=170300 CPUtime=0.01 cores=1,3,5,7
/proc/25331/task/25345/stat : 25345 (mono) S 25329 25331 25299 0 -1 4202560 3 0 0 0 1 0 0 0 15 0 9 0 699415106 174387200 17587 33554432000 4194304 7232020 140733715692672 18446744073709551615 270350199705 0 0 4096 545260780 18446604465161785728 0 0 -1 1 0 0 0
[pid=25331/tid=25353] ppid=25329 vsize=170300 CPUtime=0 cores=1,3,5,7
/proc/25331/task/25353/stat : 25353 (mono) S 25329 25331 25299 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 699415113 174387200 17587 33554432000 4194304 7232020 140733715692672 18446744073709551615 270350207409 0 0 4096 545260780 18446604465161785728 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 170300
[startup+12.7008 s]
/proc/loadavg: 0.44 0.10 0.03 3/454 25355
/proc/meminfo: memFree=13676500/32951124 swapFree=57171228/67111528
[pid=25331] ppid=25329 vsize=187068 CPUtime=12.64 cores=1,3,5,7
/proc/25331/stat : 25331 (mono) R 25329 25331 25299 0 -1 4202496 20271 0 21 0 1261 3 0 0 18 0 9 0 699415092 191557632 20198 33554432000 4194304 7232020 140733715692672 18446744073709551615 1094128706 0 0 4096 545260780 18446744073709551615 0 0 17 5 0 0 17
/proc/25331/statm: 46767 20198 1023 742 0 39338 0
[pid=25331/tid=25339] ppid=25329 vsize=187068 CPUtime=0.02 cores=1,3,5,7
/proc/25331/task/25339/stat : 25339 (mono) S 25329 25331 25299 0 -1 4202560 3 0 0 0 2 0 0 0 15 0 9 0 699415106 191557632 20198 33554432000 4194304 7232020 140733715692672 18446744073709551615 270350199705 0 0 4096 545260780 18446604465161785728 0 0 -1 3 0 0 0
[pid=25331/tid=25340] ppid=25329 vsize=187068 CPUtime=0.02 cores=1,3,5,7
/proc/25331/task/25340/stat : 25340 (mono) S 25329 25331 25299 0 -1 4202560 2 0 0 0 2 0 0 0 15 0 9 0 699415106 191557632 20198 33554432000 4194304 7232020 140733715692672 18446744073709551615 270350199705 0 0 4096 545260780 18446604465161785728 0 0 -1 5 0 0 0
[pid=25331/tid=25341] ppid=25329 vsize=187068 CPUtime=0.02 cores=1,3,5,7
/proc/25331/task/25341/stat : 25341 (mono) S 25329 25331 25299 0 -1 4202560 2 0 0 0 2 0 0 0 15 0 9 0 699415106 191557632 20198 33554432000 4194304 7232020 140733715692672 18446744073709551615 270350199705 0 0 4096 545260780 18446604465161785728 0 0 -1 5 0 0 0
[pid=25331/tid=25342] ppid=25329 vsize=187068 CPUtime=0.03 cores=1,3,5,7
/proc/25331/task/25342/stat : 25342 (mono) S 25329 25331 25299 0 -1 4202560 2 0 0 0 3 0 0 0 15 0 9 0 699415106 191557632 20198 33554432000 4194304 7232020 140733715692672 18446744073709551615 270350199705 0 0 4096 545260780 18446604465161785728 0 0 -1 3 0 0 0
[pid=25331/tid=25343] ppid=25329 vsize=187068 CPUtime=0.02 cores=1,3,5,7
/proc/25331/task/25343/stat : 25343 (mono) S 25329 25331 25299 0 -1 4202560 2 0 0 0 2 0 0 0 16 0 9 0 699415106 191557632 20198 33554432000 4194304 7232020 140733715692672 18446744073709551615 270350199705 0 0 4096 545260780 18446604465161785728 0 0 -1 1 0 0 0
[pid=25331/tid=25344] ppid=25329 vsize=187068 CPUtime=0.02 cores=1,3,5,7
/proc/25331/task/25344/stat : 25344 (mono) S 25329 25331 25299 0 -1 4202560 2 0 0 0 2 0 0 0 15 0 9 0 699415106 191557632 20198 33554432000 4194304 7232020 140733715692672 18446744073709551615 270350199705 0 0 4096 545260780 18446604465161785728 0 0 -1 7 0 0 0
[pid=25331/tid=25345] ppid=25329 vsize=187068 CPUtime=0.03 cores=1,3,5,7
/proc/25331/task/25345/stat : 25345 (mono) S 25329 25331 25299 0 -1 4202560 3 0 0 0 3 0 0 0 15 0 9 0 699415106 191557632 20198 33554432000 4194304 7232020 140733715692672 18446744073709551615 270350199705 0 0 4096 545260780 18446604465161785728 0 0 -1 1 0 0 0
[pid=25331/tid=25353] ppid=25329 vsize=187068 CPUtime=0 cores=1,3,5,7
/proc/25331/task/25353/stat : 25353 (mono) S 25329 25331 25299 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 699415113 191557632 20198 33554432000 4194304 7232020 140733715692672 18446744073709551615 270350207409 0 0 4096 545260780 18446604465161785728 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 187068
Solver just ended. Dumping a history of the last processes samples
[startup+12.8007 s]
/proc/loadavg: 0.44 0.10 0.03 3/454 25355
/proc/meminfo: memFree=13676500/32951124 swapFree=57171228/67111528
[pid=25331] ppid=25329 vsize=187132 CPUtime=12.75 cores=1,3,5,7
/proc/25331/stat : 25331 (mono) R 25329 25331 25299 0 -1 4202496 20814 0 21 0 1272 3 0 0 18 0 9 0 699415092 191623168 20741 33554432000 4194304 7232020 140733715692672 18446744073709551615 6168994 0 0 4096 545260780 18446744073709551615 0 0 17 5 0 0 17
/proc/25331/statm: 46783 20741 1023 742 0 39354 0
[pid=25331/tid=25339] ppid=25329 vsize=187132 CPUtime=0.02 cores=1,3,5,7
/proc/25331/task/25339/stat : 25339 (mono) S 25329 25331 25299 0 -1 4202560 3 0 0 0 2 0 0 0 15 0 9 0 699415106 191623168 20741 33554432000 4194304 7232020 140733715692672 18446744073709551615 270350199705 0 0 4096 545260780 18446604465161785728 0 0 -1 3 0 0 0
[pid=25331/tid=25340] ppid=25329 vsize=187132 CPUtime=0.02 cores=1,3,5,7
/proc/25331/task/25340/stat : 25340 (mono) S 25329 25331 25299 0 -1 4202560 2 0 0 0 2 0 0 0 15 0 9 0 699415106 191623168 20741 33554432000 4194304 7232020 140733715692672 18446744073709551615 270350199705 0 0 4096 545260780 18446604465161785728 0 0 -1 5 0 0 0
[pid=25331/tid=25341] ppid=25329 vsize=187132 CPUtime=0.02 cores=1,3,5,7
/proc/25331/task/25341/stat : 25341 (mono) S 25329 25331 25299 0 -1 4202560 2 0 0 0 2 0 0 0 15 0 9 0 699415106 191623168 20741 33554432000 4194304 7232020 140733715692672 18446744073709551615 270350199705 0 0 4096 545260780 18446604465161785728 0 0 -1 5 0 0 0
[pid=25331/tid=25342] ppid=25329 vsize=187132 CPUtime=0.03 cores=1,3,5,7
/proc/25331/task/25342/stat : 25342 (mono) S 25329 25331 25299 0 -1 4202560 2 0 0 0 3 0 0 0 15 0 9 0 699415106 191623168 20741 33554432000 4194304 7232020 140733715692672 18446744073709551615 270350199705 0 0 4096 545260780 18446604465161785728 0 0 -1 3 0 0 0
[pid=25331/tid=25343] ppid=25329 vsize=187132 CPUtime=0.02 cores=1,3,5,7
/proc/25331/task/25343/stat : 25343 (mono) R 25329 25331 25299 0 -1 4202560 2 0 0 0 2 0 0 0 15 0 9 0 699415106 191623168 20741 33554432000 4194304 7232020 140733715692672 18446744073709551615 270350199705 0 0 4096 545260780 0 0 0 -1 1 0 0 0
[pid=25331/tid=25344] ppid=25329 vsize=187132 CPUtime=0.02 cores=1,3,5,7
/proc/25331/task/25344/stat : 25344 (mono) S 25329 25331 25299 0 -1 4202560 2 0 0 0 2 0 0 0 15 0 9 0 699415106 191623168 20741 33554432000 4194304 7232020 140733715692672 18446744073709551615 270350199705 0 0 4096 545260780 18446604465161785728 0 0 -1 7 0 0 0
[pid=25331/tid=25345] ppid=25329 vsize=187132 CPUtime=0.03 cores=1,3,5,7
/proc/25331/task/25345/stat : 25345 (mono) R 25329 25331 25299 0 -1 4202560 3 0 0 0 3 0 0 0 15 0 9 0 699415106 191623168 20741 33554432000 4194304 7232020 140733715692672 18446744073709551615 6169004 0 0 4096 545260780 0 0 0 -1 1 0 0 0
[pid=25331/tid=25353] ppid=25329 vsize=187132 CPUtime=0 cores=1,3,5,7
/proc/25331/task/25353/stat : 25353 (mono) S 25329 25331 25299 0 -1 4194368 3 0 0 0 0 0 0 0 15 0 9 0 699415113 191623168 20741 33554432000 4194304 7232020 140733715692672 18446744073709551615 270337771455 0 2138816217 4096 545260780 18446744071562694473 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.75
Current children cumulated vsize (KiB) 187132
[startup+16.0011 s]
/proc/loadavg: 0.57 0.13 0.04 3/454 25355
/proc/meminfo: memFree=13665144/32951124 swapFree=57171228/67111528
[pid=25331] ppid=25329 vsize=195580 CPUtime=15.98 cores=1,3,5,7
/proc/25331/stat : 25331 (mono) R 25329 25331 25299 0 -1 4202496 22678 0 21 0 1595 3 0 0 18 0 9 0 699415092 200273920 22605 33554432000 4194304 7232020 140733715692672 18446744073709551615 1094112792 0 0 4096 545260780 18446744073709551615 0 0 17 5 0 0 17
/proc/25331/statm: 48895 22605 1023 742 0 41466 0
[pid=25331/tid=25339] ppid=25329 vsize=195580 CPUtime=0.03 cores=1,3,5,7
/proc/25331/task/25339/stat : 25339 (mono) S 25329 25331 25299 0 -1 4202560 3 0 0 0 3 0 0 0 16 0 9 0 699415106 200273920 22605 33554432000 4194304 7232020 140733715692672 18446744073709551615 270350199705 0 0 4096 545260780 18446604465161785728 0 0 -1 3 0 0 0
[pid=25331/tid=25340] ppid=25329 vsize=195580 CPUtime=0.03 cores=1,3,5,7
/proc/25331/task/25340/stat : 25340 (mono) S 25329 25331 25299 0 -1 4202560 2 0 0 0 3 0 0 0 15 0 9 0 699415106 200273920 22605 33554432000 4194304 7232020 140733715692672 18446744073709551615 270350199705 0 0 4096 545260780 18446604465161785728 0 0 -1 5 0 0 0
[pid=25331/tid=25341] ppid=25329 vsize=195580 CPUtime=0.02 cores=1,3,5,7
/proc/25331/task/25341/stat : 25341 (mono) S 25329 25331 25299 0 -1 4202560 2 0 0 0 2 0 0 0 15 0 9 0 699415106 200273920 22605 33554432000 4194304 7232020 140733715692672 18446744073709551615 270350199705 0 0 4096 545260780 18446604465161785728 0 0 -1 7 0 0 0
[pid=25331/tid=25342] ppid=25329 vsize=195580 CPUtime=0.03 cores=1,3,5,7
/proc/25331/task/25342/stat : 25342 (mono) S 25329 25331 25299 0 -1 4202560 2 0 0 0 3 0 0 0 15 0 9 0 699415106 200273920 22605 33554432000 4194304 7232020 140733715692672 18446744073709551615 270350199705 0 0 4096 545260780 18446604465161785728 0 0 -1 3 0 0 0
[pid=25331/tid=25343] ppid=25329 vsize=195580 CPUtime=0.03 cores=1,3,5,7
/proc/25331/task/25343/stat : 25343 (mono) S 25329 25331 25299 0 -1 4202560 2 0 0 0 3 0 0 0 16 0 9 0 699415106 200273920 22605 33554432000 4194304 7232020 140733715692672 18446744073709551615 270350199705 0 0 4096 545260780 18446604465161785728 0 0 -1 7 0 0 0
[pid=25331/tid=25344] ppid=25329 vsize=195580 CPUtime=0.02 cores=1,3,5,7
/proc/25331/task/25344/stat : 25344 (mono) S 25329 25331 25299 0 -1 4202560 2 0 0 0 2 0 0 0 15 0 9 0 699415106 200273920 22605 33554432000 4194304 7232020 140733715692672 18446744073709551615 270350199705 0 0 4096 545260780 18446604465161785728 0 0 -1 1 0 0 0
[pid=25331/tid=25345] ppid=25329 vsize=195580 CPUtime=0.04 cores=1,3,5,7
/proc/25331/task/25345/stat : 25345 (mono) S 25329 25331 25299 0 -1 4202560 3 0 0 0 4 0 0 0 15 0 9 0 699415106 200273920 22605 33554432000 4194304 7232020 140733715692672 18446744073709551615 270350199705 0 0 4096 545260780 18446604465161785728 0 0 -1 1 0 0 0
[pid=25331/tid=25353] ppid=25329 vsize=195580 CPUtime=0 cores=1,3,5,7
/proc/25331/task/25353/stat : 25353 (mono) S 25329 25331 25299 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 699415113 200273920 22605 33554432000 4194304 7232020 140733715692672 18446744073709551615 270350207409 0 0 4096 545260780 18446604465161785728 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 15.98
Current children cumulated vsize (KiB) 195580
[startup+19.2005 s]
/proc/loadavg: 0.57 0.13 0.04 3/454 25355
/proc/meminfo: memFree=13660304/32951124 swapFree=57171228/67111528
[pid=25331] ppid=25329 vsize=195580 CPUtime=19.21 cores=1,3,5,7
/proc/25331/stat : 25331 (mono) R 25329 25331 25299 0 -1 4202496 22678 0 21 0 1918 3 0 0 19 0 9 0 699415092 200273920 22605 33554432000 4194304 7232020 140733715692672 18446744073709551615 1094125694 0 0 4096 545260780 18446744073709551615 0 0 17 5 0 0 17
/proc/25331/statm: 48895 22605 1023 742 0 41466 0
[pid=25331/tid=25339] ppid=25329 vsize=195580 CPUtime=0.04 cores=1,3,5,7
/proc/25331/task/25339/stat : 25339 (mono) S 25329 25331 25299 0 -1 4202560 3 0 0 0 4 0 0 0 15 0 9 0 699415106 200273920 22605 33554432000 4194304 7232020 140733715692672 18446744073709551615 270350199705 0 0 4096 545260780 18446604465161785728 0 0 -1 3 0 0 0
[pid=25331/tid=25340] ppid=25329 vsize=195580 CPUtime=0.04 cores=1,3,5,7
/proc/25331/task/25340/stat : 25340 (mono) S 25329 25331 25299 0 -1 4202560 2 0 0 0 4 0 0 0 16 0 9 0 699415106 200273920 22605 33554432000 4194304 7232020 140733715692672 18446744073709551615 270350199705 0 0 4096 545260780 18446604465161785728 0 0 -1 5 0 0 0
[pid=25331/tid=25341] ppid=25329 vsize=195580 CPUtime=0.03 cores=1,3,5,7
/proc/25331/task/25341/stat : 25341 (mono) S 25329 25331 25299 0 -1 4202560 2 0 0 0 3 0 0 0 15 0 9 0 699415106 200273920 22605 33554432000 4194304 7232020 140733715692672 18446744073709551615 270350199705 0 0 4096 545260780 18446604465161785728 0 0 -1 3 0 0 0
[pid=25331/tid=25342] ppid=25329 vsize=195580 CPUtime=0.04 cores=1,3,5,7
/proc/25331/task/25342/stat : 25342 (mono) S 25329 25331 25299 0 -1 4202560 2 0 0 0 4 0 0 0 16 0 9 0 699415106 200273920 22605 33554432000 4194304 7232020 140733715692672 18446744073709551615 270350199705 0 0 4096 545260780 18446604465161785728 0 0 -1 3 0 0 0
[pid=25331/tid=25343] ppid=25329 vsize=195580 CPUtime=0.03 cores=1,3,5,7
/proc/25331/task/25343/stat : 25343 (mono) S 25329 25331 25299 0 -1 4202560 2 0 0 0 3 0 0 0 15 0 9 0 699415106 200273920 22605 33554432000 4194304 7232020 140733715692672 18446744073709551615 270350199705 0 0 4096 545260780 18446604465161785728 0 0 -1 3 0 0 0
[pid=25331/tid=25344] ppid=25329 vsize=195580 CPUtime=0.02 cores=1,3,5,7
/proc/25331/task/25344/stat : 25344 (mono) S 25329 25331 25299 0 -1 4202560 2 0 0 0 2 0 0 0 15 0 9 0 699415106 200273920 22605 33554432000 4194304 7232020 140733715692672 18446744073709551615 270350199705 0 0 4096 545260780 18446604465161785728 0 0 -1 1 0 0 0
[pid=25331/tid=25345] ppid=25329 vsize=195580 CPUtime=0.04 cores=1,3,5,7
/proc/25331/task/25345/stat : 25345 (mono) S 25329 25331 25299 0 -1 4202560 3 0 0 0 4 0 0 0 16 0 9 0 699415106 200273920 22605 33554432000 4194304 7232020 140733715692672 18446744073709551615 270350199705 0 0 4096 545260780 18446604465161785728 0 0 -1 1 0 0 0
[pid=25331/tid=25353] ppid=25329 vsize=195580 CPUtime=0 cores=1,3,5,7
/proc/25331/task/25353/stat : 25353 (mono) S 25329 25331 25299 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 699415113 200273920 22605 33554432000 4194304 7232020 140733715692672 18446744073709551615 270350207409 0 0 4096 545260780 18446604465161785728 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 19.21
Current children cumulated vsize (KiB) 195580
[startup+20.8012 s]
/proc/loadavg: 0.57 0.13 0.04 3/454 25355
/proc/meminfo: memFree=13659808/32951124 swapFree=57171228/67111528
[pid=25331] ppid=25329 vsize=195580 CPUtime=20.83 cores=1,3,5,7
/proc/25331/stat : 25331 (mono) R 25329 25331 25299 0 -1 4202496 23013 0 21 0 2080 3 0 0 18 0 9 0 699415092 200273920 21959 33554432000 4194304 7232020 140733715692672 18446744073709551615 1094121486 0 0 4096 545260780 18446744073709551615 0 0 17 5 0 0 17
/proc/25331/statm: 48895 21959 1023 742 0 41466 0
[pid=25331/tid=25339] ppid=25329 vsize=195580 CPUtime=0.04 cores=1,3,5,7
/proc/25331/task/25339/stat : 25339 (mono) S 25329 25331 25299 0 -1 4202560 3 0 0 0 4 0 0 0 15 0 9 0 699415106 200273920 21959 33554432000 4194304 7232020 140733715692672 18446744073709551615 270350199705 0 0 4096 545260780 18446604465161785728 0 0 -1 7 0 0 0
[pid=25331/tid=25340] ppid=25329 vsize=195580 CPUtime=0.04 cores=1,3,5,7
/proc/25331/task/25340/stat : 25340 (mono) S 25329 25331 25299 0 -1 4202560 2 0 0 0 4 0 0 0 16 0 9 0 699415106 200273920 21959 33554432000 4194304 7232020 140733715692672 18446744073709551615 270350199705 0 0 4096 545260780 18446604465161785728 0 0 -1 5 0 0 0
[pid=25331/tid=25341] ppid=25329 vsize=195580 CPUtime=0.03 cores=1,3,5,7
/proc/25331/task/25341/stat : 25341 (mono) S 25329 25331 25299 0 -1 4202560 2 0 0 0 3 0 0 0 15 0 9 0 699415106 200273920 21959 33554432000 4194304 7232020 140733715692672 18446744073709551615 270350199705 0 0 4096 545260780 18446604465161785728 0 0 -1 7 0 0 0
[pid=25331/tid=25342] ppid=25329 vsize=195580 CPUtime=0.04 cores=1,3,5,7
/proc/25331/task/25342/stat : 25342 (mono) S 25329 25331 25299 0 -1 4202560 2 0 0 0 4 0 0 0 16 0 9 0 699415106 200273920 21959 33554432000 4194304 7232020 140733715692672 18446744073709551615 270350199705 0 0 4096 545260780 18446604465161785728 0 0 -1 3 0 0 0
[pid=25331/tid=25343] ppid=25329 vsize=195580 CPUtime=0.04 cores=1,3,5,7
/proc/25331/task/25343/stat : 25343 (mono) S 25329 25331 25299 0 -1 4202560 2 0 0 0 4 0 0 0 16 0 9 0 699415106 200273920 21959 33554432000 4194304 7232020 140733715692672 18446744073709551615 270350199705 0 0 4096 545260780 18446604465161785728 0 0 -1 1 0 0 0
[pid=25331/tid=25344] ppid=25329 vsize=195580 CPUtime=0.03 cores=1,3,5,7
/proc/25331/task/25344/stat : 25344 (mono) S 25329 25331 25299 0 -1 4202560 2 0 0 0 3 0 0 0 15 0 9 0 699415106 200273920 21959 33554432000 4194304 7232020 140733715692672 18446744073709551615 270350199705 0 0 4096 545260780 18446604465161785728 0 0 -1 7 0 0 0
[pid=25331/tid=25345] ppid=25329 vsize=195580 CPUtime=0.05 cores=1,3,5,7
/proc/25331/task/25345/stat : 25345 (mono) S 25329 25331 25299 0 -1 4202560 3 0 0 0 5 0 0 0 16 0 9 0 699415106 200273920 21959 33554432000 4194304 7232020 140733715692672 18446744073709551615 270350199705 0 0 4096 545260780 18446604465161785728 0 0 -1 3 0 0 0
[pid=25331/tid=25353] ppid=25329 vsize=195580 CPUtime=0 cores=1,3,5,7
/proc/25331/task/25353/stat : 25353 (mono) S 25329 25331 25299 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 699415113 200273920 21959 33554432000 4194304 7232020 140733715692672 18446744073709551615 270350207409 0 0 4096 545260780 18446604465161785728 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 20.83
Current children cumulated vsize (KiB) 195580
[startup+21.601 s]
/proc/loadavg: 0.68 0.16 0.05 3/454 25355
/proc/meminfo: memFree=13661668/32951124 swapFree=57171228/67111528
[pid=25331] ppid=25329 vsize=195580 CPUtime=21.63 cores=1,3,5,7
/proc/25331/stat : 25331 (mono) R 25329 25331 25299 0 -1 4202496 23504 0 21 0 2160 3 0 0 18 0 9 0 699415092 200273920 22450 33554432000 4194304 7232020 140733715692672 18446744073709551615 1094121493 0 0 4096 545260780 18446744073709551615 0 0 17 5 0 0 17
/proc/25331/statm: 48895 22450 1023 742 0 41466 0
[pid=25331/tid=25339] ppid=25329 vsize=195580 CPUtime=0.04 cores=1,3,5,7
/proc/25331/task/25339/stat : 25339 (mono) S 25329 25331 25299 0 -1 4202560 3 0 0 0 4 0 0 0 15 0 9 0 699415106 200273920 22450 33554432000 4194304 7232020 140733715692672 18446744073709551615 270350199705 0 0 4096 545260780 18446604465161785728 0 0 -1 3 0 0 0
[pid=25331/tid=25340] ppid=25329 vsize=195580 CPUtime=0.04 cores=1,3,5,7
/proc/25331/task/25340/stat : 25340 (mono) S 25329 25331 25299 0 -1 4202560 2 0 0 0 4 0 0 0 15 0 9 0 699415106 200273920 22450 33554432000 4194304 7232020 140733715692672 18446744073709551615 270350199705 0 0 4096 545260780 18446604465161785728 0 0 -1 5 0 0 0
[pid=25331/tid=25341] ppid=25329 vsize=195580 CPUtime=0.03 cores=1,3,5,7
/proc/25331/task/25341/stat : 25341 (mono) S 25329 25331 25299 0 -1 4202560 2 0 0 0 3 0 0 0 15 0 9 0 699415106 200273920 22450 33554432000 4194304 7232020 140733715692672 18446744073709551615 270350199705 0 0 4096 545260780 18446604465161785728 0 0 -1 7 0 0 0
[pid=25331/tid=25342] ppid=25329 vsize=195580 CPUtime=0.04 cores=1,3,5,7
/proc/25331/task/25342/stat : 25342 (mono) S 25329 25331 25299 0 -1 4202560 2 0 0 0 4 0 0 0 15 0 9 0 699415106 200273920 22450 33554432000 4194304 7232020 140733715692672 18446744073709551615 270350199705 0 0 4096 545260780 18446604465161785728 0 0 -1 3 0 0 0
[pid=25331/tid=25343] ppid=25329 vsize=195580 CPUtime=0.04 cores=1,3,5,7
/proc/25331/task/25343/stat : 25343 (mono) S 25329 25331 25299 0 -1 4202560 2 0 0 0 4 0 0 0 15 0 9 0 699415106 200273920 22450 33554432000 4194304 7232020 140733715692672 18446744073709551615 270350199705 0 0 4096 545260780 18446604465161785728 0 0 -1 1 0 0 0
[pid=25331/tid=25344] ppid=25329 vsize=195580 CPUtime=0.03 cores=1,3,5,7
/proc/25331/task/25344/stat : 25344 (mono) S 25329 25331 25299 0 -1 4202560 2 0 0 0 3 0 0 0 16 0 9 0 699415106 200273920 22450 33554432000 4194304 7232020 140733715692672 18446744073709551615 270350199705 0 0 4096 545260780 18446604465161785728 0 0 -1 7 0 0 0
[pid=25331/tid=25345] ppid=25329 vsize=195580 CPUtime=0.05 cores=1,3,5,7
/proc/25331/task/25345/stat : 25345 (mono) S 25329 25331 25299 0 -1 4202560 3 0 0 0 5 0 0 0 15 0 9 0 699415106 200273920 22450 33554432000 4194304 7232020 140733715692672 18446744073709551615 270350199705 0 0 4096 545260780 18446604465161785728 0 0 -1 3 0 0 0
[pid=25331/tid=25353] ppid=25329 vsize=195580 CPUtime=0 cores=1,3,5,7
/proc/25331/task/25353/stat : 25353 (mono) S 25329 25331 25299 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 699415113 200273920 22450 33554432000 4194304 7232020 140733715692672 18446744073709551615 270350207409 0 0 4096 545260780 18446604465161785728 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 21.63
Current children cumulated vsize (KiB) 195580
[startup+21.801 s]
/proc/loadavg: 0.68 0.16 0.05 3/454 25355
/proc/meminfo: memFree=13661668/32951124 swapFree=57171228/67111528
[pid=25331] ppid=25329 vsize=195580 CPUtime=21.83 cores=1,3,5,7
/proc/25331/stat : 25331 (mono) R 25329 25331 25299 0 -1 4202496 23504 0 21 0 2180 3 0 0 18 0 9 0 699415092 200273920 22450 33554432000 4194304 7232020 140733715692672 18446744073709551615 1094120806 0 0 4096 545260780 18446744073709551615 0 0 17 5 0 0 17
/proc/25331/statm: 48895 22450 1023 742 0 41466 0
[pid=25331/tid=25339] ppid=25329 vsize=195580 CPUtime=0.04 cores=1,3,5,7
/proc/25331/task/25339/stat : 25339 (mono) S 25329 25331 25299 0 -1 4202560 3 0 0 0 4 0 0 0 15 0 9 0 699415106 200273920 22450 33554432000 4194304 7232020 140733715692672 18446744073709551615 270350199705 0 0 4096 545260780 18446604465161785728 0 0 -1 3 0 0 0
[pid=25331/tid=25340] ppid=25329 vsize=195580 CPUtime=0.04 cores=1,3,5,7
/proc/25331/task/25340/stat : 25340 (mono) S 25329 25331 25299 0 -1 4202560 2 0 0 0 4 0 0 0 15 0 9 0 699415106 200273920 22450 33554432000 4194304 7232020 140733715692672 18446744073709551615 270350199705 0 0 4096 545260780 18446604465161785728 0 0 -1 5 0 0 0
[pid=25331/tid=25341] ppid=25329 vsize=195580 CPUtime=0.03 cores=1,3,5,7
/proc/25331/task/25341/stat : 25341 (mono) S 25329 25331 25299 0 -1 4202560 2 0 0 0 3 0 0 0 15 0 9 0 699415106 200273920 22450 33554432000 4194304 7232020 140733715692672 18446744073709551615 270350199705 0 0 4096 545260780 18446604465161785728 0 0 -1 7 0 0 0
[pid=25331/tid=25342] ppid=25329 vsize=195580 CPUtime=0.04 cores=1,3,5,7
/proc/25331/task/25342/stat : 25342 (mono) S 25329 25331 25299 0 -1 4202560 2 0 0 0 4 0 0 0 15 0 9 0 699415106 200273920 22450 33554432000 4194304 7232020 140733715692672 18446744073709551615 270350199705 0 0 4096 545260780 18446604465161785728 0 0 -1 3 0 0 0
[pid=25331/tid=25343] ppid=25329 vsize=195580 CPUtime=0.04 cores=1,3,5,7
/proc/25331/task/25343/stat : 25343 (mono) S 25329 25331 25299 0 -1 4202560 2 0 0 0 4 0 0 0 15 0 9 0 699415106 200273920 22450 33554432000 4194304 7232020 140733715692672 18446744073709551615 270350199705 0 0 4096 545260780 18446604465161785728 0 0 -1 1 0 0 0
[pid=25331/tid=25344] ppid=25329 vsize=195580 CPUtime=0.03 cores=1,3,5,7
/proc/25331/task/25344/stat : 25344 (mono) S 25329 25331 25299 0 -1 4202560 2 0 0 0 3 0 0 0 16 0 9 0 699415106 200273920 22450 33554432000 4194304 7232020 140733715692672 18446744073709551615 270350199705 0 0 4096 545260780 18446604465161785728 0 0 -1 7 0 0 0
[pid=25331/tid=25345] ppid=25329 vsize=195580 CPUtime=0.05 cores=1,3,5,7
/proc/25331/task/25345/stat : 25345 (mono) S 25329 25331 25299 0 -1 4202560 3 0 0 0 5 0 0 0 15 0 9 0 699415106 200273920 22450 33554432000 4194304 7232020 140733715692672 18446744073709551615 270350199705 0 0 4096 545260780 18446604465161785728 0 0 -1 3 0 0 0
[pid=25331/tid=25353] ppid=25329 vsize=195580 CPUtime=0 cores=1,3,5,7
/proc/25331/task/25353/stat : 25353 (mono) S 25329 25331 25299 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 699415113 200273920 22450 33554432000 4194304 7232020 140733715692672 18446744073709551615 270350207409 0 0 4096 545260780 18446604465161785728 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 21.83
Current children cumulated vsize (KiB) 195580
[startup+21.9009 s]
/proc/loadavg: 0.68 0.16 0.05 3/454 25355
/proc/meminfo: memFree=13661668/32951124 swapFree=57171228/67111528
[pid=25331] ppid=25329 vsize=195780 CPUtime=21.89 cores=1,3,5,7
/proc/25331/stat : 25331 (mono) D 25329 25331 25299 0 -1 4202496 23591 0 22 0 2186 3 0 0 18 0 9 0 699415092 200478720 22538 33554432000 4194304 7232020 140733715692672 18446744073709551615 270338427015 0 0 4096 545260780 18446744073709551615 0 0 17 5 0 0 17
/proc/25331/statm: 48945 22538 1074 742 0 41516 0
[pid=25331/tid=25339] ppid=25329 vsize=195780 CPUtime=0.04 cores=1,3,5,7
/proc/25331/task/25339/stat : 25339 (mono) S 25329 25331 25299 0 -1 4202560 3 0 0 0 4 0 0 0 15 0 9 0 699415106 200478720 22538 33554432000 4194304 7232020 140733715692672 18446744073709551615 270350199705 0 0 4096 545260780 18446604465161785728 0 0 -1 3 0 0 0
[pid=25331/tid=25340] ppid=25329 vsize=195780 CPUtime=0.04 cores=1,3,5,7
/proc/25331/task/25340/stat : 25340 (mono) S 25329 25331 25299 0 -1 4202560 2 0 0 0 4 0 0 0 16 0 9 0 699415106 200478720 22538 33554432000 4194304 7232020 140733715692672 18446744073709551615 270350199705 0 0 4096 545260780 18446604465161785728 0 0 -1 5 0 0 0
[pid=25331/tid=25341] ppid=25329 vsize=195780 CPUtime=0.03 cores=1,3,5,7
/proc/25331/task/25341/stat : 25341 (mono) S 25329 25331 25299 0 -1 4202560 2 0 0 0 3 0 0 0 15 0 9 0 699415106 200478720 22538 33554432000 4194304 7232020 140733715692672 18446744073709551615 270350199705 0 0 4096 545260780 18446604465161785728 0 0 -1 7 0 0 0
[pid=25331/tid=25342] ppid=25329 vsize=195780 CPUtime=0.04 cores=1,3,5,7
/proc/25331/task/25342/stat : 25342 (mono) S 25329 25331 25299 0 -1 4202560 2 0 0 0 4 0 0 0 15 0 9 0 699415106 200478720 22538 33554432000 4194304 7232020 140733715692672 18446744073709551615 270350199705 0 0 4096 545260780 18446604465161785728 0 0 -1 3 0 0 0
[pid=25331/tid=25343] ppid=25329 vsize=195780 CPUtime=0.04 cores=1,3,5,7
/proc/25331/task/25343/stat : 25343 (mono) S 25329 25331 25299 0 -1 4202560 2 0 0 0 4 0 0 0 15 0 9 0 699415106 200478720 22538 33554432000 4194304 7232020 140733715692672 18446744073709551615 270350199705 0 0 4096 545260780 18446604465161785728 0 0 -1 1 0 0 0
[pid=25331/tid=25344] ppid=25329 vsize=195780 CPUtime=0.03 cores=1,3,5,7
/proc/25331/task/25344/stat : 25344 (mono) S 25329 25331 25299 0 -1 4202560 2 0 0 0 3 0 0 0 15 0 9 0 699415106 200478720 22538 33554432000 4194304 7232020 140733715692672 18446744073709551615 270350199705 0 0 4096 545260780 18446604465161785728 0 0 -1 7 0 0 0
[pid=25331/tid=25345] ppid=25329 vsize=195780 CPUtime=0.05 cores=1,3,5,7
/proc/25331/task/25345/stat : 25345 (mono) S 25329 25331 25299 0 -1 4202560 3 0 0 0 5 0 0 0 15 0 9 0 699415106 200478720 22538 33554432000 4194304 7232020 140733715692672 18446744073709551615 270350199705 0 0 4096 545260780 18446604465161785728 0 0 -1 3 0 0 0
[pid=25331/tid=25353] ppid=25329 vsize=195780 CPUtime=0 cores=1,3,5,7
/proc/25331/task/25353/stat : 25353 (mono) D 25329 25331 25299 0 -1 4202560 16 0 1 0 0 0 0 0 16 0 9 0 699415113 200478720 22538 33554432000 4194304 7232020 140733715692672 18446744073709551615 47226923554524 0 0 4096 545260780 18446744071562234166 0 0 -1 5 0 0 2
Current children cumulated CPU time (s) 21.89
Current children cumulated vsize (KiB) 195780
Child status: 0
Real time (s): 21.9248
CPU time (s): 21.9087
CPU user time (s): 21.8677
CPU system time (s): 0.040993
CPU usage (%): 99.9266
Max. virtual memory (cumulated for all children) (KiB): 195780
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 21.8677
system time used= 0.040993
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23631
page faults= 23
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4639
involuntary context switches= 641
runsolver used 0.090986 second user time and 0.227965 second system time
The end