runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 935)
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-3260849-1303539713/watcher-3260849-1303539713 -o /tmp/evaluation-result-3260849-1303539713/solver-3260849-1303539713 -C 2400 -W 1300 -M 7680 mono Main.exe HOME/instance-3260849-1303539713.cnf
running on 2 cores: 0,2
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.83 0.42 0.14 4/213 15793
/proc/meminfo: memFree=21794756/32951124 swapFree=67111528/67111528
[pid=15793] ppid=15791 vsize=11800 CPUtime=0 cores=0,2
/proc/15793/stat : 15793 (runsolver) R 15791 15793 15673 0 -1 4202560 42 0 0 0 0 0 0 0 24 0 1 0 198162554 12083200 52 33554432000 4194304 5434984 140733499480992 18446744073709551615 4881607 0 2147483391 4096 24578 0 0 0 17 2 0 0 0
/proc/15793/statm: 2950 52 31 303 0 2644 0
[startup+0.032791 s]
/proc/loadavg: 1.83 0.42 0.14 4/213 15793
/proc/meminfo: memFree=21794756/32951124 swapFree=67111528/67111528
[pid=15793] ppid=15791 vsize=106152 CPUtime=0.02 cores=0,2
/proc/15793/stat : 15793 (mono) S 15791 15793 15673 0 -1 4202496 1587 0 0 0 2 0 0 0 25 0 9 0 198162554 108699648 1493 33554432000 4194304 7232020 140736466068352 18446744073709551615 268672485809 0 0 4096 545260780 18446744073709551615 0 0 17 2 0 0 0
/proc/15793/statm: 26538 1493 975 742 0 19109 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 106152
[startup+0.106503 s]
/proc/loadavg: 1.83 0.42 0.14 4/213 15793
/proc/meminfo: memFree=21794756/32951124 swapFree=67111528/67111528
[pid=15793] ppid=15791 vsize=120920 CPUtime=0.09 cores=0,2
/proc/15793/stat : 15793 (mono) R 15791 15793 15673 0 -1 4202496 4615 0 0 0 9 0 0 0 18 0 9 0 198162554 123822080 4521 33554432000 4194304 7232020 140736466068352 18446744073709551615 268660354768 0 0 4096 545260780 18446744073709551615 0 0 17 0 0 0 0
/proc/15793/statm: 30230 4521 999 742 0 22801 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 120920
[startup+0.300467 s]
/proc/loadavg: 1.83 0.42 0.14 4/213 15793
/proc/meminfo: memFree=21794756/32951124 swapFree=67111528/67111528
[pid=15793] ppid=15791 vsize=121084 CPUtime=0.28 cores=0,2
/proc/15793/stat : 15793 (mono) R 15791 15793 15673 0 -1 4202496 5359 0 0 0 28 0 0 0 18 0 9 0 198162554 123990016 5265 33554432000 4194304 7232020 140736466068352 18446744073709551615 1074375698 0 0 4096 545260780 18446744073709551615 0 0 17 0 0 0 0
/proc/15793/statm: 30271 5265 1024 742 0 22842 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 121084
[startup+0.700422 s]
/proc/loadavg: 1.83 0.42 0.14 4/213 15793
/proc/meminfo: memFree=21794756/32951124 swapFree=67111528/67111528
[pid=15793] ppid=15791 vsize=121084 CPUtime=0.68 cores=0,2
/proc/15793/stat : 15793 (mono) R 15791 15793 15673 0 -1 4202496 5365 0 0 0 68 0 0 0 18 0 9 0 198162554 123990016 5271 33554432000 4194304 7232020 140736466068352 18446744073709551615 1074379442 0 0 4096 545260780 18446744073709551615 0 0 17 0 0 0 0
/proc/15793/statm: 30271 5271 1024 742 0 22842 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 121084
[startup+1.50128 s]
/proc/loadavg: 2.08 0.50 0.16 5/222 15802
/proc/meminfo: memFree=21772496/32951124 swapFree=67111528/67111528
[pid=15793] ppid=15791 vsize=126016 CPUtime=1.48 cores=0,2
/proc/15793/stat : 15793 (mono) R 15791 15793 15673 0 -1 4202496 5688 0 0 0 148 0 0 0 19 0 9 0 198162554 129040384 5594 33554432000 4194304 7232020 140736466068352 18446744073709551615 1074375411 0 0 4096 545260780 18446744073709551615 0 0 17 0 0 0 0
/proc/15793/statm: 31504 5594 1024 742 0 24075 0
[pid=15793/tid=15795] ppid=15791 vsize=126016 CPUtime=0 cores=0,2
/proc/15793/task/15795/stat : 15795 (mono) S 15791 15793 15673 0 -1 4202560 4 0 0 0 0 0 0 0 16 0 9 0 198162555 129040384 5594 33554432000 4194304 7232020 140736466068352 18446744073709551615 268672478105 0 0 4096 545260780 18446604453916341184 0 0 -1 2 0 0 0
[pid=15793/tid=15796] ppid=15791 vsize=126016 CPUtime=0 cores=0,2
/proc/15793/task/15796/stat : 15796 (mono) S 15791 15793 15673 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 198162555 129040384 5594 33554432000 4194304 7232020 140736466068352 18446744073709551615 268672478105 0 0 4096 545260780 18446604453916341184 0 0 -1 0 0 0 0
[pid=15793/tid=15797] ppid=15791 vsize=126016 CPUtime=0 cores=0,2
/proc/15793/task/15797/stat : 15797 (mono) S 15791 15793 15673 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 198162555 129040384 5594 33554432000 4194304 7232020 140736466068352 18446744073709551615 268672478105 0 0 4096 545260780 18446604453916341184 0 0 -1 0 0 0 0
[pid=15793/tid=15798] ppid=15791 vsize=126016 CPUtime=0 cores=0,2
/proc/15793/task/15798/stat : 15798 (mono) S 15791 15793 15673 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 198162555 129040384 5594 33554432000 4194304 7232020 140736466068352 18446744073709551615 268672478105 0 0 4096 545260780 18446604453916341184 0 0 -1 0 0 0 0
[pid=15793/tid=15799] ppid=15791 vsize=126016 CPUtime=0 cores=0,2
/proc/15793/task/15799/stat : 15799 (mono) S 15791 15793 15673 0 -1 4202560 2 0 0 0 0 0 0 0 16 0 9 0 198162555 129040384 5594 33554432000 4194304 7232020 140736466068352 18446744073709551615 268672478105 0 0 4096 545260780 18446604453916341184 0 0 -1 2 0 0 0
[pid=15793/tid=15800] ppid=15791 vsize=126016 CPUtime=0 cores=0,2
/proc/15793/task/15800/stat : 15800 (mono) S 15791 15793 15673 0 -1 4202560 2 0 0 0 0 0 0 0 16 0 9 0 198162555 129040384 5594 33554432000 4194304 7232020 140736466068352 18446744073709551615 268672478105 0 0 4096 545260780 18446604453916341184 0 0 -1 2 0 0 0
[pid=15793/tid=15801] ppid=15791 vsize=126016 CPUtime=0 cores=0,2
/proc/15793/task/15801/stat : 15801 (mono) S 15791 15793 15673 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 198162555 129040384 5594 33554432000 4194304 7232020 140736466068352 18446744073709551615 268672478105 0 0 4096 545260780 18446604453916341184 0 0 -1 0 0 0 0
[pid=15793/tid=15802] ppid=15791 vsize=126016 CPUtime=0 cores=0,2
/proc/15793/task/15802/stat : 15802 (mono) S 15791 15793 15673 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 198162556 129040384 5594 33554432000 4194304 7232020 140736466068352 18446744073709551615 268672485809 0 0 4096 545260780 18446604453916341184 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 126016
[startup+3.101 s]
/proc/loadavg: 2.08 0.50 0.16 5/222 15802
/proc/meminfo: memFree=21766420/32951124 swapFree=67111528/67111528
[pid=15793] ppid=15791 vsize=126144 CPUtime=3.09 cores=0,2
/proc/15793/stat : 15793 (mono) R 15791 15793 15673 0 -1 4202496 6361 0 0 0 308 1 0 0 19 0 9 0 198162554 129171456 6267 33554432000 4194304 7232020 140736466068352 18446744073709551615 1074376121 0 0 4096 545260780 18446744073709551615 0 0 17 0 0 0 0
/proc/15793/statm: 31536 6267 1024 742 0 24107 0
[pid=15793/tid=15795] ppid=15791 vsize=126144 CPUtime=0 cores=0,2
/proc/15793/task/15795/stat : 15795 (mono) S 15791 15793 15673 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 9 0 198162555 129171456 6267 33554432000 4194304 7232020 140736466068352 18446744073709551615 268672478105 0 0 4096 545260780 18446604453916341184 0 0 -1 2 0 0 0
[pid=15793/tid=15796] ppid=15791 vsize=126144 CPUtime=0 cores=0,2
/proc/15793/task/15796/stat : 15796 (mono) S 15791 15793 15673 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 198162555 129171456 6267 33554432000 4194304 7232020 140736466068352 18446744073709551615 268672478105 0 0 4096 545260780 18446604453916341184 0 0 -1 0 0 0 0
[pid=15793/tid=15797] ppid=15791 vsize=126144 CPUtime=0 cores=0,2
/proc/15793/task/15797/stat : 15797 (mono) S 15791 15793 15673 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 198162555 129171456 6267 33554432000 4194304 7232020 140736466068352 18446744073709551615 268672478105 0 0 4096 545260780 18446604453916341184 0 0 -1 0 0 0 0
[pid=15793/tid=15798] ppid=15791 vsize=126144 CPUtime=0 cores=0,2
/proc/15793/task/15798/stat : 15798 (mono) S 15791 15793 15673 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 198162555 129171456 6267 33554432000 4194304 7232020 140736466068352 18446744073709551615 268672478105 0 0 4096 545260780 18446604453916341184 0 0 -1 0 0 0 0
[pid=15793/tid=15799] ppid=15791 vsize=126144 CPUtime=0 cores=0,2
/proc/15793/task/15799/stat : 15799 (mono) S 15791 15793 15673 0 -1 4202560 2 0 0 0 0 0 0 0 16 0 9 0 198162555 129171456 6267 33554432000 4194304 7232020 140736466068352 18446744073709551615 268672478105 0 0 4096 545260780 18446604453916341184 0 0 -1 2 0 0 0
[pid=15793/tid=15800] ppid=15791 vsize=126144 CPUtime=0 cores=0,2
/proc/15793/task/15800/stat : 15800 (mono) S 15791 15793 15673 0 -1 4202560 2 0 0 0 0 0 0 0 16 0 9 0 198162555 129171456 6267 33554432000 4194304 7232020 140736466068352 18446744073709551615 268672478105 0 0 4096 545260780 18446604453916341184 0 0 -1 2 0 0 0
[pid=15793/tid=15801] ppid=15791 vsize=126144 CPUtime=0 cores=0,2
/proc/15793/task/15801/stat : 15801 (mono) S 15791 15793 15673 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 198162555 129171456 6267 33554432000 4194304 7232020 140736466068352 18446744073709551615 268672478105 0 0 4096 545260780 18446604453916341184 0 0 -1 0 0 0 0
[pid=15793/tid=15802] ppid=15791 vsize=126144 CPUtime=0 cores=0,2
/proc/15793/task/15802/stat : 15802 (mono) S 15791 15793 15673 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 198162556 129171456 6267 33554432000 4194304 7232020 140736466068352 18446744073709551615 268672485809 0 0 4096 545260780 18446604453916341184 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 126144
[startup+6.30037 s]
/proc/loadavg: 2.23 0.55 0.18 5/222 15802
/proc/meminfo: memFree=21754504/32951124 swapFree=67111528/67111528
[pid=15793] ppid=15791 vsize=132908 CPUtime=6.31 cores=0,2
/proc/15793/stat : 15793 (mono) R 15791 15793 15673 0 -1 4202496 7504 0 0 0 630 1 0 0 18 0 9 0 198162554 136097792 7410 33554432000 4194304 7232020 140736466068352 18446744073709551615 1074375720 0 0 4096 545260780 18446744073709551615 0 0 17 2 0 0 0
/proc/15793/statm: 33227 7410 1024 742 0 25798 0
[pid=15793/tid=15795] ppid=15791 vsize=132908 CPUtime=0 cores=0,2
/proc/15793/task/15795/stat : 15795 (mono) S 15791 15793 15673 0 -1 4202560 4 0 0 0 0 0 0 0 16 0 9 0 198162555 136097792 7410 33554432000 4194304 7232020 140736466068352 18446744073709551615 268672478105 0 0 4096 545260780 18446604453916341184 0 0 -1 2 0 0 0
[pid=15793/tid=15796] ppid=15791 vsize=132908 CPUtime=0.01 cores=0,2
/proc/15793/task/15796/stat : 15796 (mono) S 15791 15793 15673 0 -1 4202560 2 0 0 0 1 0 0 0 16 0 9 0 198162555 136097792 7410 33554432000 4194304 7232020 140736466068352 18446744073709551615 268672478105 0 0 4096 545260780 18446604453916341184 0 0 -1 2 0 0 0
[pid=15793/tid=15797] ppid=15791 vsize=132908 CPUtime=0 cores=0,2
/proc/15793/task/15797/stat : 15797 (mono) S 15791 15793 15673 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 198162555 136097792 7410 33554432000 4194304 7232020 140736466068352 18446744073709551615 268672478105 0 0 4096 545260780 18446604453916341184 0 0 -1 0 0 0 0
[pid=15793/tid=15798] ppid=15791 vsize=132908 CPUtime=0 cores=0,2
/proc/15793/task/15798/stat : 15798 (mono) S 15791 15793 15673 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 198162555 136097792 7410 33554432000 4194304 7232020 140736466068352 18446744073709551615 268672478105 0 0 4096 545260780 18446604453916341184 0 0 -1 2 0 0 0
[pid=15793/tid=15799] ppid=15791 vsize=132908 CPUtime=0.01 cores=0,2
/proc/15793/task/15799/stat : 15799 (mono) S 15791 15793 15673 0 -1 4202560 2 0 0 0 1 0 0 0 15 0 9 0 198162555 136097792 7410 33554432000 4194304 7232020 140736466068352 18446744073709551615 268672478105 0 0 4096 545260780 18446604453916341184 0 0 -1 0 0 0 0
[pid=15793/tid=15800] ppid=15791 vsize=132908 CPUtime=0.01 cores=0,2
/proc/15793/task/15800/stat : 15800 (mono) S 15791 15793 15673 0 -1 4202560 2 0 0 0 1 0 0 0 16 0 9 0 198162555 136097792 7410 33554432000 4194304 7232020 140736466068352 18446744073709551615 268672478105 0 0 4096 545260780 18446604453916341184 0 0 -1 0 0 0 0
[pid=15793/tid=15801] ppid=15791 vsize=132908 CPUtime=0 cores=0,2
/proc/15793/task/15801/stat : 15801 (mono) S 15791 15793 15673 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 198162555 136097792 7410 33554432000 4194304 7232020 140736466068352 18446744073709551615 268672478105 0 0 4096 545260780 18446604453916341184 0 0 -1 0 0 0 0
[pid=15793/tid=15802] ppid=15791 vsize=132908 CPUtime=0 cores=0,2
/proc/15793/task/15802/stat : 15802 (mono) S 15791 15793 15673 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 198162556 136097792 7410 33554432000 4194304 7232020 140736466068352 18446744073709551615 268672485809 0 0 4096 545260780 18446604453916341184 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 6.31
Current children cumulated vsize (KiB) 132908
[startup+12.7013 s]
/proc/loadavg: 2.37 0.61 0.20 5/222 15837
/proc/meminfo: memFree=21650104/32951124 swapFree=67111528/67111528
[pid=15793] ppid=15791 vsize=141164 CPUtime=12.77 cores=0,2
/proc/15793/stat : 15793 (mono) R 15791 15793 15673 0 -1 4202496 9508 0 0 0 1275 2 0 0 20 0 9 0 198162554 144551936 8133 33554432000 4194304 7232020 140736466068352 18446744073709551615 1074377061 0 0 4096 545260780 18446744073709551615 0 0 17 0 0 0 0
/proc/15793/statm: 35291 8133 1025 742 0 27862 0
[pid=15793/tid=15795] ppid=15791 vsize=141164 CPUtime=0.02 cores=0,2
/proc/15793/task/15795/stat : 15795 (mono) S 15791 15793 15673 0 -1 4202560 4 0 0 0 2 0 0 0 15 0 9 0 198162555 144551936 8133 33554432000 4194304 7232020 140736466068352 18446744073709551615 268672478105 0 0 4096 545260780 18446604453916341184 0 0 -1 0 0 0 0
[pid=15793/tid=15796] ppid=15791 vsize=141164 CPUtime=0.03 cores=0,2
/proc/15793/task/15796/stat : 15796 (mono) S 15791 15793 15673 0 -1 4202560 2 0 0 0 3 0 0 0 16 0 9 0 198162555 144551936 8133 33554432000 4194304 7232020 140736466068352 18446744073709551615 268672478105 0 0 4096 545260780 18446604453916341184 0 0 -1 2 0 0 0
[pid=15793/tid=15797] ppid=15791 vsize=141164 CPUtime=0.03 cores=0,2
/proc/15793/task/15797/stat : 15797 (mono) S 15791 15793 15673 0 -1 4202560 2 0 0 0 3 0 0 0 15 0 9 0 198162555 144551936 8133 33554432000 4194304 7232020 140736466068352 18446744073709551615 268672478105 0 0 4096 545260780 18446604453916341184 0 0 -1 0 0 0 0
[pid=15793/tid=15798] ppid=15791 vsize=141164 CPUtime=0.03 cores=0,2
/proc/15793/task/15798/stat : 15798 (mono) S 15791 15793 15673 0 -1 4202560 2 0 0 0 3 0 0 0 15 0 9 0 198162555 144551936 8133 33554432000 4194304 7232020 140736466068352 18446744073709551615 268672478105 0 0 4096 545260780 18446604453916341184 0 0 -1 0 0 0 0
[pid=15793/tid=15799] ppid=15791 vsize=141164 CPUtime=0.03 cores=0,2
/proc/15793/task/15799/stat : 15799 (mono) S 15791 15793 15673 0 -1 4202560 2 0 0 0 3 0 0 0 16 0 9 0 198162555 144551936 8133 33554432000 4194304 7232020 140736466068352 18446744073709551615 268672478105 0 0 4096 545260780 18446604453916341184 0 0 -1 2 0 0 0
[pid=15793/tid=15800] ppid=15791 vsize=141164 CPUtime=0.03 cores=0,2
/proc/15793/task/15800/stat : 15800 (mono) S 15791 15793 15673 0 -1 4202560 2 0 0 0 3 0 0 0 16 0 9 0 198162555 144551936 8133 33554432000 4194304 7232020 140736466068352 18446744073709551615 268672478105 0 0 4096 545260780 18446604453916341184 0 0 -1 0 0 0 0
[pid=15793/tid=15801] ppid=15791 vsize=141164 CPUtime=0.01 cores=0,2
/proc/15793/task/15801/stat : 15801 (mono) S 15791 15793 15673 0 -1 4202560 2 0 0 0 1 0 0 0 16 0 9 0 198162555 144551936 8133 33554432000 4194304 7232020 140736466068352 18446744073709551615 268672478105 0 0 4096 545260780 18446604453916341184 0 0 -1 2 0 0 0
[pid=15793/tid=15802] ppid=15791 vsize=141164 CPUtime=0 cores=0,2
/proc/15793/task/15802/stat : 15802 (mono) S 15791 15793 15673 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 198162556 144551936 8133 33554432000 4194304 7232020 140736466068352 18446744073709551615 268672485809 0 0 4096 545260780 18446604453916341184 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.77
Current children cumulated vsize (KiB) 141164
[startup+25.501 s]
/proc/loadavg: 2.73 0.78 0.26 5/222 15837
/proc/meminfo: memFree=21599788/32951124 swapFree=67111528/67111528
[pid=15793] ppid=15791 vsize=141356 CPUtime=25.76 cores=0,2
/proc/15793/stat : 15793 (mono) R 15791 15793 15673 0 -1 4202496 12919 0 0 0 2572 4 0 0 18 0 9 0 198162554 144748544 9703 33554432000 4194304 7232020 140736466068352 18446744073709551615 1074374890 0 0 4096 545260780 18446744073709551615 0 0 17 0 0 0 0
/proc/15793/statm: 35339 9703 1025 742 0 27910 0
[pid=15793/tid=15795] ppid=15791 vsize=141356 CPUtime=0.07 cores=0,2
/proc/15793/task/15795/stat : 15795 (mono) S 15791 15793 15673 0 -1 4202560 4 0 0 0 7 0 0 0 15 0 9 0 198162555 144748544 9703 33554432000 4194304 7232020 140736466068352 18446744073709551615 268672478105 0 0 4096 545260780 18446604453916341184 0 0 -1 0 0 0 0
[pid=15793/tid=15796] ppid=15791 vsize=141356 CPUtime=0.08 cores=0,2
/proc/15793/task/15796/stat : 15796 (mono) S 15791 15793 15673 0 -1 4202560 2 0 0 0 8 0 0 0 16 0 9 0 198162555 144748544 9703 33554432000 4194304 7232020 140736466068352 18446744073709551615 268672478105 0 0 4096 545260780 18446604453916341184 0 0 -1 2 0 0 0
[pid=15793/tid=15797] ppid=15791 vsize=141356 CPUtime=0.06 cores=0,2
/proc/15793/task/15797/stat : 15797 (mono) S 15791 15793 15673 0 -1 4202560 2 0 0 0 6 0 0 0 16 0 9 0 198162555 144748544 9703 33554432000 4194304 7232020 140736466068352 18446744073709551615 268672478105 0 0 4096 545260780 18446604453916341184 0 0 -1 2 0 0 0
[pid=15793/tid=15798] ppid=15791 vsize=141356 CPUtime=0.09 cores=0,2
/proc/15793/task/15798/stat : 15798 (mono) S 15791 15793 15673 0 -1 4202560 2 0 0 0 9 0 0 0 15 0 9 0 198162555 144748544 9703 33554432000 4194304 7232020 140736466068352 18446744073709551615 268672478105 0 0 4096 545260780 18446604453916341184 0 0 -1 0 0 0 0
[pid=15793/tid=15799] ppid=15791 vsize=141356 CPUtime=0.08 cores=0,2
/proc/15793/task/15799/stat : 15799 (mono) S 15791 15793 15673 0 -1 4202560 2 0 0 0 8 0 0 0 16 0 9 0 198162555 144748544 9703 33554432000 4194304 7232020 140736466068352 18446744073709551615 268672478105 0 0 4096 545260780 18446604453916341184 0 0 -1 2 0 0 0
[pid=15793/tid=15800] ppid=15791 vsize=141356 CPUtime=0.08 cores=0,2
/proc/15793/task/15800/stat : 15800 (mono) S 15791 15793 15673 0 -1 4202560 2 0 0 0 8 0 0 0 16 0 9 0 198162555 144748544 9703 33554432000 4194304 7232020 140736466068352 18446744073709551615 268672478105 0 0 4096 545260780 18446604453916341184 0 0 -1 2 0 0 0
[pid=15793/tid=15801] ppid=15791 vsize=141356 CPUtime=0.05 cores=0,2
/proc/15793/task/15801/stat : 15801 (mono) S 15791 15793 15673 0 -1 4202560 2 0 0 0 5 0 0 0 15 0 9 0 198162555 144748544 9703 33554432000 4194304 7232020 140736466068352 18446744073709551615 268672478105 0 0 4096 545260780 18446604453916341184 0 0 -1 0 0 0 0
[pid=15793/tid=15802] ppid=15791 vsize=141356 CPUtime=0 cores=0,2
/proc/15793/task/15802/stat : 15802 (mono) S 15791 15793 15673 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 198162556 144748544 9703 33554432000 4194304 7232020 140736466068352 18446744073709551615 268672485809 0 0 4096 545260780 18446604453916341184 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.76
Current children cumulated vsize (KiB) 141356
[startup+51.1005 s]
/proc/loadavg: 3.29 1.07 0.37 5/222 15838
/proc/meminfo: memFree=21530452/32951124 swapFree=67111528/67111528
[pid=15793] ppid=15791 vsize=157996 CPUtime=51.79 cores=0,2
/proc/15793/stat : 15793 (mono) R 15791 15793 15673 0 -1 4202496 19041 0 0 0 5172 7 0 0 18 0 9 0 198162554 161787904 12724 33554432000 4194304 7232020 140736466068352 18446744073709551615 1074375557 0 0 4096 545260780 18446744073709551615 0 0 17 0 0 0 0
/proc/15793/statm: 39499 12724 1036 742 0 32070 0
[pid=15793/tid=15795] ppid=15791 vsize=157996 CPUtime=0.18 cores=0,2
/proc/15793/task/15795/stat : 15795 (mono) S 15791 15793 15673 0 -1 4202560 4 0 0 0 18 0 0 0 15 0 9 0 198162555 161787904 12724 33554432000 4194304 7232020 140736466068352 18446744073709551615 268672478105 0 0 4096 545260780 18446604453916341184 0 0 -1 0 0 0 0
[pid=15793/tid=15796] ppid=15791 vsize=157996 CPUtime=0.18 cores=0,2
/proc/15793/task/15796/stat : 15796 (mono) S 15791 15793 15673 0 -1 4202560 2 0 0 0 18 0 0 0 16 0 9 0 198162555 161787904 12724 33554432000 4194304 7232020 140736466068352 18446744073709551615 268672478105 0 0 4096 545260780 18446604453916341184 0 0 -1 2 0 0 0
[pid=15793/tid=15797] ppid=15791 vsize=157996 CPUtime=0.18 cores=0,2
################
# More data... #
################
/proc/15793/stat : 15793 (mono) R 15791 15793 15673 0 -1 4202496 24160 0 0 0 7786 11 0 0 18 0 9 0 198162554 170373120 16036 33554432000 4194304 7232020 140736466068352 18446744073709551615 268660352993 0 0 4096 545260780 18446744073709551615 0 0 17 2 0 0 0
/proc/15793/statm: 41595 16036 1036 742 0 34166 0
[pid=15793/tid=15795] ppid=15791 vsize=166380 CPUtime=0.34 cores=0,2
/proc/15793/task/15795/stat : 15795 (mono) S 15791 15793 15673 0 -1 4202560 4 0 0 0 34 0 0 0 16 0 9 0 198162555 170373120 16036 33554432000 4194304 7232020 140736466068352 18446744073709551615 268672478105 0 0 4096 545260780 18446604453916341184 0 0 -1 0 0 0 0
[pid=15793/tid=15796] ppid=15791 vsize=166380 CPUtime=0.33 cores=0,2
/proc/15793/task/15796/stat : 15796 (mono) S 15791 15793 15673 0 -1 4202560 2 0 0 0 33 0 0 0 15 0 9 0 198162555 170373120 16036 33554432000 4194304 7232020 140736466068352 18446744073709551615 268672478105 0 0 4096 545260780 18446604453916341184 0 0 -1 0 0 0 0
[pid=15793/tid=15797] ppid=15791 vsize=166380 CPUtime=0.32 cores=0,2
/proc/15793/task/15797/stat : 15797 (mono) S 15791 15793 15673 0 -1 4202560 2 0 0 0 32 0 0 0 16 0 9 0 198162555 170373120 16036 33554432000 4194304 7232020 140736466068352 18446744073709551615 268672478105 0 0 4096 545260780 18446604453916341184 0 0 -1 2 0 0 0
[pid=15793/tid=15798] ppid=15791 vsize=166380 CPUtime=0.39 cores=0,2
/proc/15793/task/15798/stat : 15798 (mono) S 15791 15793 15673 0 -1 4202560 2 0 0 0 39 0 0 0 15 0 9 0 198162555 170373120 16036 33554432000 4194304 7232020 140736466068352 18446744073709551615 268672478105 0 0 4096 545260780 18446604453916341184 0 0 -1 0 0 0 0
[pid=15793/tid=15799] ppid=15791 vsize=166380 CPUtime=0.36 cores=0,2
/proc/15793/task/15799/stat : 15799 (mono) S 15791 15793 15673 0 -1 4202560 2 0 0 0 36 0 0 0 15 0 9 0 198162555 170373120 16036 33554432000 4194304 7232020 140736466068352 18446744073709551615 268672478105 0 0 4096 545260780 18446604453916341184 0 0 -1 0 0 0 0
[pid=15793/tid=15800] ppid=15791 vsize=166380 CPUtime=0.4 cores=0,2
/proc/15793/task/15800/stat : 15800 (mono) S 15791 15793 15673 0 -1 4202560 2 0 0 0 40 0 0 0 15 0 9 0 198162555 170373120 16036 33554432000 4194304 7232020 140736466068352 18446744073709551615 268672478105 0 0 4096 545260780 18446604453916341184 0 0 -1 2 0 0 0
[pid=15793/tid=15801] ppid=15791 vsize=166380 CPUtime=0.35 cores=0,2
/proc/15793/task/15801/stat : 15801 (mono) S 15791 15793 15673 0 -1 4202560 2 0 0 0 35 0 0 0 15 0 9 0 198162555 170373120 16036 33554432000 4194304 7232020 140736466068352 18446744073709551615 268672478105 0 0 4096 545260780 18446604453916341184 0 0 -1 0 0 0 0
[pid=15793/tid=15802] ppid=15791 vsize=166380 CPUtime=0 cores=0,2
/proc/15793/task/15802/stat : 15802 (mono) S 15791 15793 15673 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 198162556 170373120 16036 33554432000 4194304 7232020 140736466068352 18446744073709551615 268672485809 0 0 4096 545260780 18446604453916341184 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 77.97
Current children cumulated vsize (KiB) 166380
[startup+89.5007 s]
/proc/loadavg: 3.90 1.45 0.53 5/222 15839
/proc/meminfo: memFree=21456284/32951124 swapFree=67111528/67111528
[pid=15793] ppid=15791 vsize=174700 CPUtime=91.04 cores=0,2
/proc/15793/stat : 15793 (mono) R 15791 15793 15673 0 -1 4202496 26382 0 0 0 9092 12 0 0 22 0 9 0 198162554 178892800 17893 33554432000 4194304 7232020 140736466068352 18446744073709551615 1074386866 0 0 4096 545260780 18446744073709551615 0 0 17 0 0 0 0
/proc/15793/statm: 43675 17893 1036 742 0 36246 0
[pid=15793/tid=15795] ppid=15791 vsize=174700 CPUtime=0.43 cores=0,2
/proc/15793/task/15795/stat : 15795 (mono) S 15791 15793 15673 0 -1 4202560 4 0 0 0 43 0 0 0 15 0 9 0 198162555 178892800 17893 33554432000 4194304 7232020 140736466068352 18446744073709551615 268672478105 0 0 4096 545260780 18446604453916341184 0 0 -1 0 0 0 0
[pid=15793/tid=15796] ppid=15791 vsize=174700 CPUtime=0.41 cores=0,2
/proc/15793/task/15796/stat : 15796 (mono) S 15791 15793 15673 0 -1 4202560 2 0 0 0 41 0 0 0 15 0 9 0 198162555 178892800 17893 33554432000 4194304 7232020 140736466068352 18446744073709551615 268672478105 0 0 4096 545260780 18446604453916341184 0 0 -1 0 0 0 0
[pid=15793/tid=15797] ppid=15791 vsize=174700 CPUtime=0.4 cores=0,2
/proc/15793/task/15797/stat : 15797 (mono) S 15791 15793 15673 0 -1 4202560 2 0 0 0 40 0 0 0 16 0 9 0 198162555 178892800 17893 33554432000 4194304 7232020 140736466068352 18446744073709551615 268672478105 0 0 4096 545260780 18446604453916341184 0 0 -1 2 0 0 0
[pid=15793/tid=15798] ppid=15791 vsize=174700 CPUtime=0.45 cores=0,2
/proc/15793/task/15798/stat : 15798 (mono) S 15791 15793 15673 0 -1 4202560 2 0 0 0 45 0 0 0 16 0 9 0 198162555 178892800 17893 33554432000 4194304 7232020 140736466068352 18446744073709551615 268672478105 0 0 4096 545260780 18446604453916341184 0 0 -1 2 0 0 0
[pid=15793/tid=15799] ppid=15791 vsize=174700 CPUtime=0.44 cores=0,2
/proc/15793/task/15799/stat : 15799 (mono) S 15791 15793 15673 0 -1 4202560 2 0 0 0 44 0 0 0 15 0 9 0 198162555 178892800 17893 33554432000 4194304 7232020 140736466068352 18446744073709551615 268672478105 0 0 4096 545260780 18446604453916341184 0 0 -1 0 0 0 0
[pid=15793/tid=15800] ppid=15791 vsize=174700 CPUtime=0.49 cores=0,2
/proc/15793/task/15800/stat : 15800 (mono) S 15791 15793 15673 0 -1 4202560 2 0 0 0 49 0 0 0 15 0 9 0 198162555 178892800 17893 33554432000 4194304 7232020 140736466068352 18446744073709551615 268672478105 0 0 4096 545260780 18446604453916341184 0 0 -1 2 0 0 0
[pid=15793/tid=15801] ppid=15791 vsize=174700 CPUtime=0.44 cores=0,2
/proc/15793/task/15801/stat : 15801 (mono) S 15791 15793 15673 0 -1 4202560 2 0 0 0 44 0 0 0 16 0 9 0 198162555 178892800 17893 33554432000 4194304 7232020 140736466068352 18446744073709551615 268672478105 0 0 4096 545260780 18446604453916341184 0 0 -1 2 0 0 0
[pid=15793/tid=15802] ppid=15791 vsize=174700 CPUtime=0 cores=0,2
/proc/15793/task/15802/stat : 15802 (mono) S 15791 15793 15673 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 198162556 178892800 17893 33554432000 4194304 7232020 140736466068352 18446744073709551615 268672485809 0 0 4096 545260780 18446604453916341184 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 91.04
Current children cumulated vsize (KiB) 174700
[startup+92.7011 s]
/proc/loadavg: 3.91 1.50 0.54 5/222 15839
/proc/meminfo: memFree=21466576/32951124 swapFree=67111528/67111528
[pid=15793] ppid=15791 vsize=174700 CPUtime=94.3 cores=0,2
/proc/15793/stat : 15793 (mono) R 15791 15793 15673 0 -1 4202496 26445 0 0 0 9417 13 0 0 25 0 9 0 198162554 178892800 14081 33554432000 4194304 7232020 140736466068352 18446744073709551615 6162834 0 0 4096 545260780 18446744073709551615 0 0 17 0 0 0 0
/proc/15793/statm: 43675 14081 1036 742 0 36246 0
[pid=15793/tid=15795] ppid=15791 vsize=174700 CPUtime=0.45 cores=0,2
/proc/15793/task/15795/stat : 15795 (mono) S 15791 15793 15673 0 -1 4202560 4 0 0 0 45 0 0 0 16 0 9 0 198162555 178892800 14081 33554432000 4194304 7232020 140736466068352 18446744073709551615 268672478105 0 0 4096 545260780 18446604453916341184 0 0 -1 2 0 0 0
[pid=15793/tid=15796] ppid=15791 vsize=174700 CPUtime=0.42 cores=0,2
/proc/15793/task/15796/stat : 15796 (mono) S 15791 15793 15673 0 -1 4202560 2 0 0 0 42 0 0 0 15 0 9 0 198162555 178892800 14081 33554432000 4194304 7232020 140736466068352 18446744073709551615 268672478105 0 0 4096 545260780 18446604453916341184 0 0 -1 0 0 0 0
[pid=15793/tid=15797] ppid=15791 vsize=174700 CPUtime=0.4 cores=0,2
/proc/15793/task/15797/stat : 15797 (mono) S 15791 15793 15673 0 -1 4202560 2 0 0 0 40 0 0 0 16 0 9 0 198162555 178892800 14081 33554432000 4194304 7232020 140736466068352 18446744073709551615 268672478105 0 0 4096 545260780 18446604453916341184 0 0 -1 0 0 0 0
[pid=15793/tid=15798] ppid=15791 vsize=174700 CPUtime=0.46 cores=0,2
/proc/15793/task/15798/stat : 15798 (mono) S 15791 15793 15673 0 -1 4202560 2 0 0 0 46 0 0 0 16 0 9 0 198162555 178892800 14081 33554432000 4194304 7232020 140736466068352 18446744073709551615 268672478105 0 0 4096 545260780 18446604453916341184 0 0 -1 2 0 0 0
[pid=15793/tid=15799] ppid=15791 vsize=174700 CPUtime=0.45 cores=0,2
/proc/15793/task/15799/stat : 15799 (mono) S 15791 15793 15673 0 -1 4202560 2 0 0 0 45 0 0 0 16 0 9 0 198162555 178892800 14081 33554432000 4194304 7232020 140736466068352 18446744073709551615 268672478105 0 0 4096 545260780 18446604453916341184 0 0 -1 2 0 0 0
[pid=15793/tid=15800] ppid=15791 vsize=174700 CPUtime=0.5 cores=0,2
/proc/15793/task/15800/stat : 15800 (mono) S 15791 15793 15673 0 -1 4202560 2 0 0 0 50 0 0 0 16 0 9 0 198162555 178892800 14081 33554432000 4194304 7232020 140736466068352 18446744073709551615 268672478105 0 0 4096 545260780 18446604453916341184 0 0 -1 2 0 0 0
[pid=15793/tid=15801] ppid=15791 vsize=174700 CPUtime=0.45 cores=0,2
/proc/15793/task/15801/stat : 15801 (mono) S 15791 15793 15673 0 -1 4202560 2 0 0 0 45 0 0 0 15 0 9 0 198162555 178892800 14081 33554432000 4194304 7232020 140736466068352 18446744073709551615 268672478105 0 0 4096 545260780 18446604453916341184 0 0 -1 2 0 0 0
[pid=15793/tid=15802] ppid=15791 vsize=174700 CPUtime=0 cores=0,2
/proc/15793/task/15802/stat : 15802 (mono) S 15791 15793 15673 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 198162556 178892800 14081 33554432000 4194304 7232020 140736466068352 18446744073709551615 268672485809 0 0 4096 545260780 18446604453916341184 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 94.3
Current children cumulated vsize (KiB) 174700
[startup+94.3009 s]
/proc/loadavg: 3.91 1.50 0.54 5/222 15839
/proc/meminfo: memFree=21465832/32951124 swapFree=67111528/67111528
[pid=15793] ppid=15791 vsize=174700 CPUtime=95.93 cores=0,2
/proc/15793/stat : 15793 (mono) R 15791 15793 15673 0 -1 4202496 26995 0 0 0 9580 13 0 0 25 0 9 0 198162554 178892800 14182 33554432000 4194304 7232020 140736466068352 18446744073709551615 1074375550 0 0 4096 545260780 18446744073709551615 0 0 17 0 0 0 0
/proc/15793/statm: 43675 14182 1036 742 0 36246 0
[pid=15793/tid=15795] ppid=15791 vsize=174700 CPUtime=0.46 cores=0,2
/proc/15793/task/15795/stat : 15795 (mono) S 15791 15793 15673 0 -1 4202560 4 0 0 0 46 0 0 0 15 0 9 0 198162555 178892800 14182 33554432000 4194304 7232020 140736466068352 18446744073709551615 268672478105 0 0 4096 545260780 18446604453916341184 0 0 -1 0 0 0 0
[pid=15793/tid=15796] ppid=15791 vsize=174700 CPUtime=0.44 cores=0,2
/proc/15793/task/15796/stat : 15796 (mono) S 15791 15793 15673 0 -1 4202560 2 0 0 0 44 0 0 0 16 0 9 0 198162555 178892800 14182 33554432000 4194304 7232020 140736466068352 18446744073709551615 268672478105 0 0 4096 545260780 18446604453916341184 0 0 -1 2 0 0 0
[pid=15793/tid=15797] ppid=15791 vsize=174700 CPUtime=0.41 cores=0,2
/proc/15793/task/15797/stat : 15797 (mono) S 15791 15793 15673 0 -1 4202560 2 0 0 0 41 0 0 0 15 0 9 0 198162555 178892800 14182 33554432000 4194304 7232020 140736466068352 18446744073709551615 268672478105 0 0 4096 545260780 18446604453916341184 0 0 -1 0 0 0 0
[pid=15793/tid=15798] ppid=15791 vsize=174700 CPUtime=0.47 cores=0,2
/proc/15793/task/15798/stat : 15798 (mono) S 15791 15793 15673 0 -1 4202560 2 0 0 0 47 0 0 0 15 0 9 0 198162555 178892800 14182 33554432000 4194304 7232020 140736466068352 18446744073709551615 268672478105 0 0 4096 545260780 18446604453916341184 0 0 -1 0 0 0 0
[pid=15793/tid=15799] ppid=15791 vsize=174700 CPUtime=0.46 cores=0,2
/proc/15793/task/15799/stat : 15799 (mono) S 15791 15793 15673 0 -1 4202560 2 0 0 0 46 0 0 0 16 0 9 0 198162555 178892800 14182 33554432000 4194304 7232020 140736466068352 18446744073709551615 268672478105 0 0 4096 545260780 18446604453916341184 0 0 -1 2 0 0 0
[pid=15793/tid=15800] ppid=15791 vsize=174700 CPUtime=0.51 cores=0,2
/proc/15793/task/15800/stat : 15800 (mono) S 15791 15793 15673 0 -1 4202560 2 0 0 0 51 0 0 0 16 0 9 0 198162555 178892800 14182 33554432000 4194304 7232020 140736466068352 18446744073709551615 268672478105 0 0 4096 545260780 18446604453916341184 0 0 -1 2 0 0 0
[pid=15793/tid=15801] ppid=15791 vsize=174700 CPUtime=0.46 cores=0,2
/proc/15793/task/15801/stat : 15801 (mono) S 15791 15793 15673 0 -1 4202560 2 0 0 0 46 0 0 0 16 0 9 0 198162555 178892800 14182 33554432000 4194304 7232020 140736466068352 18446744073709551615 268672478105 0 0 4096 545260780 18446604453916341184 0 0 -1 2 0 0 0
[pid=15793/tid=15802] ppid=15791 vsize=174700 CPUtime=0 cores=0,2
/proc/15793/task/15802/stat : 15802 (mono) S 15791 15793 15673 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 198162556 178892800 14182 33554432000 4194304 7232020 140736466068352 18446744073709551615 268672485809 0 0 4096 545260780 18446604453916341184 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 95.93
Current children cumulated vsize (KiB) 174700
[startup+95.9006 s]
/proc/loadavg: 3.91 1.54 0.56 5/222 15839
/proc/meminfo: memFree=21454176/32951124 swapFree=67111528/67111528
[pid=15793] ppid=15791 vsize=174700 CPUtime=97.56 cores=0,2
/proc/15793/stat : 15793 (mono) R 15791 15793 15673 0 -1 4202496 27441 0 0 0 9743 13 0 0 25 0 9 0 198162554 178892800 14422 33554432000 4194304 7232020 140736466068352 18446744073709551615 1074375940 0 0 4096 545260780 18446744073709551615 0 0 17 0 0 0 0
/proc/15793/statm: 43675 14422 1036 742 0 36246 0
[pid=15793/tid=15795] ppid=15791 vsize=174700 CPUtime=0.46 cores=0,2
/proc/15793/task/15795/stat : 15795 (mono) S 15791 15793 15673 0 -1 4202560 4 0 0 0 46 0 0 0 15 0 9 0 198162555 178892800 14422 33554432000 4194304 7232020 140736466068352 18446744073709551615 268672478105 0 0 4096 545260780 18446604453916341184 0 0 -1 0 0 0 0
[pid=15793/tid=15796] ppid=15791 vsize=174700 CPUtime=0.45 cores=0,2
/proc/15793/task/15796/stat : 15796 (mono) S 15791 15793 15673 0 -1 4202560 2 0 0 0 45 0 0 0 16 0 9 0 198162555 178892800 14422 33554432000 4194304 7232020 140736466068352 18446744073709551615 268672478105 0 0 4096 545260780 18446604453916341184 0 0 -1 2 0 0 0
[pid=15793/tid=15797] ppid=15791 vsize=174700 CPUtime=0.43 cores=0,2
/proc/15793/task/15797/stat : 15797 (mono) S 15791 15793 15673 0 -1 4202560 2 0 0 0 43 0 0 0 15 0 9 0 198162555 178892800 14422 33554432000 4194304 7232020 140736466068352 18446744073709551615 268672478105 0 0 4096 545260780 18446604453916341184 0 0 -1 0 0 0 0
[pid=15793/tid=15798] ppid=15791 vsize=174700 CPUtime=0.48 cores=0,2
/proc/15793/task/15798/stat : 15798 (mono) S 15791 15793 15673 0 -1 4202560 2 0 0 0 48 0 0 0 15 0 9 0 198162555 178892800 14422 33554432000 4194304 7232020 140736466068352 18446744073709551615 268672478105 0 0 4096 545260780 18446604453916341184 0 0 -1 2 0 0 0
[pid=15793/tid=15799] ppid=15791 vsize=174700 CPUtime=0.46 cores=0,2
/proc/15793/task/15799/stat : 15799 (mono) S 15791 15793 15673 0 -1 4202560 2 0 0 0 46 0 0 0 16 0 9 0 198162555 178892800 14422 33554432000 4194304 7232020 140736466068352 18446744073709551615 268672478105 0 0 4096 545260780 18446604453916341184 0 0 -1 2 0 0 0
[pid=15793/tid=15800] ppid=15791 vsize=174700 CPUtime=0.52 cores=0,2
/proc/15793/task/15800/stat : 15800 (mono) S 15791 15793 15673 0 -1 4202560 2 0 0 0 52 0 0 0 16 0 9 0 198162555 178892800 14422 33554432000 4194304 7232020 140736466068352 18446744073709551615 268672478105 0 0 4096 545260780 18446604453916341184 0 0 -1 2 0 0 0
[pid=15793/tid=15801] ppid=15791 vsize=174700 CPUtime=0.47 cores=0,2
/proc/15793/task/15801/stat : 15801 (mono) S 15791 15793 15673 0 -1 4202560 2 0 0 0 47 0 0 0 16 0 9 0 198162555 178892800 14422 33554432000 4194304 7232020 140736466068352 18446744073709551615 268672478105 0 0 4096 545260780 18446604453916341184 0 0 -1 2 0 0 0
[pid=15793/tid=15802] ppid=15791 vsize=174700 CPUtime=0 cores=0,2
/proc/15793/task/15802/stat : 15802 (mono) S 15791 15793 15673 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 198162556 178892800 14422 33554432000 4194304 7232020 140736466068352 18446744073709551615 268672485809 0 0 4096 545260780 18446604453916341184 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 97.56
Current children cumulated vsize (KiB) 174700
[startup+96.7005 s]
/proc/loadavg: 3.91 1.54 0.56 5/222 15839
/proc/meminfo: memFree=21451200/32951124 swapFree=67111528/67111528
[pid=15793] ppid=15791 vsize=174700 CPUtime=98.39 cores=0,2
/proc/15793/stat : 15793 (mono) R 15791 15793 15673 0 -1 4202496 27648 0 0 0 9826 13 0 0 25 0 9 0 198162554 178892800 14466 33554432000 4194304 7232020 140736466068352 18446744073709551615 1074375440 0 0 4096 545260780 18446744073709551615 0 0 17 0 0 0 0
/proc/15793/statm: 43675 14466 1036 742 0 36246 0
[pid=15793/tid=15795] ppid=15791 vsize=174700 CPUtime=0.47 cores=0,2
/proc/15793/task/15795/stat : 15795 (mono) S 15791 15793 15673 0 -1 4202560 4 0 0 0 47 0 0 0 16 0 9 0 198162555 178892800 14466 33554432000 4194304 7232020 140736466068352 18446744073709551615 268672478105 0 0 4096 545260780 18446604453916341184 0 0 -1 2 0 0 0
[pid=15793/tid=15796] ppid=15791 vsize=174700 CPUtime=0.46 cores=0,2
/proc/15793/task/15796/stat : 15796 (mono) S 15791 15793 15673 0 -1 4202560 2 0 0 0 46 0 0 0 15 0 9 0 198162555 178892800 14466 33554432000 4194304 7232020 140736466068352 18446744073709551615 268672478105 0 0 4096 545260780 18446604453916341184 0 0 -1 0 0 0 0
[pid=15793/tid=15797] ppid=15791 vsize=174700 CPUtime=0.43 cores=0,2
/proc/15793/task/15797/stat : 15797 (mono) S 15791 15793 15673 0 -1 4202560 2 0 0 0 43 0 0 0 15 0 9 0 198162555 178892800 14466 33554432000 4194304 7232020 140736466068352 18446744073709551615 268672478105 0 0 4096 545260780 18446604453916341184 0 0 -1 0 0 0 0
[pid=15793/tid=15798] ppid=15791 vsize=174700 CPUtime=0.49 cores=0,2
/proc/15793/task/15798/stat : 15798 (mono) S 15791 15793 15673 0 -1 4202560 2 0 0 0 49 0 0 0 15 0 9 0 198162555 178892800 14466 33554432000 4194304 7232020 140736466068352 18446744073709551615 268672478105 0 0 4096 545260780 18446604453916341184 0 0 -1 0 0 0 0
[pid=15793/tid=15799] ppid=15791 vsize=174700 CPUtime=0.47 cores=0,2
/proc/15793/task/15799/stat : 15799 (mono) S 15791 15793 15673 0 -1 4202560 2 0 0 0 47 0 0 0 16 0 9 0 198162555 178892800 14466 33554432000 4194304 7232020 140736466068352 18446744073709551615 268672478105 0 0 4096 545260780 18446604453916341184 0 0 -1 2 0 0 0
[pid=15793/tid=15800] ppid=15791 vsize=174700 CPUtime=0.53 cores=0,2
/proc/15793/task/15800/stat : 15800 (mono) S 15791 15793 15673 0 -1 4202560 2 0 0 0 53 0 0 0 16 0 9 0 198162555 178892800 14466 33554432000 4194304 7232020 140736466068352 18446744073709551615 268672478105 0 0 4096 545260780 18446604453916341184 0 0 -1 2 0 0 0
[pid=15793/tid=15801] ppid=15791 vsize=174700 CPUtime=0.47 cores=0,2
/proc/15793/task/15801/stat : 15801 (mono) S 15791 15793 15673 0 -1 4202560 2 0 0 0 47 0 0 0 16 0 9 0 198162555 178892800 14466 33554432000 4194304 7232020 140736466068352 18446744073709551615 268672478105 0 0 4096 545260780 18446604453916341184 0 0 -1 2 0 0 0
[pid=15793/tid=15802] ppid=15791 vsize=174700 CPUtime=0 cores=0,2
/proc/15793/task/15802/stat : 15802 (mono) S 15791 15793 15673 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 198162556 178892800 14466 33554432000 4194304 7232020 140736466068352 18446744073709551615 268672485809 0 0 4096 545260780 18446604453916341184 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 98.39
Current children cumulated vsize (KiB) 174700
[startup+97.1004 s]
/proc/loadavg: 3.91 1.54 0.56 5/222 15839
/proc/meminfo: memFree=21451200/32951124 swapFree=67111528/67111528
[pid=15793] ppid=15791 vsize=174700 CPUtime=98.79 cores=0,2
/proc/15793/stat : 15793 (mono) R 15791 15793 15673 0 -1 4202496 27873 0 0 0 9866 13 0 0 25 0 9 0 198162554 178892800 14409 33554432000 4194304 7232020 140736466068352 18446744073709551615 1074375557 0 0 4096 545260780 18446744073709551615 0 0 17 0 0 0 0
/proc/15793/statm: 43675 14409 1036 742 0 36246 0
[pid=15793/tid=15795] ppid=15791 vsize=174700 CPUtime=0.47 cores=0,2
/proc/15793/task/15795/stat : 15795 (mono) S 15791 15793 15673 0 -1 4202560 4 0 0 0 47 0 0 0 16 0 9 0 198162555 178892800 14409 33554432000 4194304 7232020 140736466068352 18446744073709551615 268672478105 0 0 4096 545260780 18446604453916341184 0 0 -1 2 0 0 0
[pid=15793/tid=15796] ppid=15791 vsize=174700 CPUtime=0.46 cores=0,2
/proc/15793/task/15796/stat : 15796 (mono) S 15791 15793 15673 0 -1 4202560 2 0 0 0 46 0 0 0 16 0 9 0 198162555 178892800 14409 33554432000 4194304 7232020 140736466068352 18446744073709551615 268672478105 0 0 4096 545260780 18446604453916341184 0 0 -1 2 0 0 0
[pid=15793/tid=15797] ppid=15791 vsize=174700 CPUtime=0.43 cores=0,2
/proc/15793/task/15797/stat : 15797 (mono) S 15791 15793 15673 0 -1 4202560 2 0 0 0 43 0 0 0 15 0 9 0 198162555 178892800 14409 33554432000 4194304 7232020 140736466068352 18446744073709551615 268672478105 0 0 4096 545260780 18446604453916341184 0 0 -1 0 0 0 0
[pid=15793/tid=15798] ppid=15791 vsize=174700 CPUtime=0.49 cores=0,2
/proc/15793/task/15798/stat : 15798 (mono) S 15791 15793 15673 0 -1 4202560 2 0 0 0 49 0 0 0 15 0 9 0 198162555 178892800 14409 33554432000 4194304 7232020 140736466068352 18446744073709551615 268672478105 0 0 4096 545260780 18446604453916341184 0 0 -1 0 0 0 0
[pid=15793/tid=15799] ppid=15791 vsize=174700 CPUtime=0.47 cores=0,2
/proc/15793/task/15799/stat : 15799 (mono) S 15791 15793 15673 0 -1 4202560 2 0 0 0 47 0 0 0 16 0 9 0 198162555 178892800 14409 33554432000 4194304 7232020 140736466068352 18446744073709551615 268672478105 0 0 4096 545260780 18446604453916341184 0 0 -1 2 0 0 0
[pid=15793/tid=15800] ppid=15791 vsize=174700 CPUtime=0.53 cores=0,2
/proc/15793/task/15800/stat : 15800 (mono) S 15791 15793 15673 0 -1 4202560 2 0 0 0 53 0 0 0 15 0 9 0 198162555 178892800 14409 33554432000 4194304 7232020 140736466068352 18446744073709551615 268672478105 0 0 4096 545260780 18446604453916341184 0 0 -1 2 0 0 0
[pid=15793/tid=15801] ppid=15791 vsize=174700 CPUtime=0.48 cores=0,2
/proc/15793/task/15801/stat : 15801 (mono) S 15791 15793 15673 0 -1 4202560 2 0 0 0 48 0 0 0 15 0 9 0 198162555 178892800 14409 33554432000 4194304 7232020 140736466068352 18446744073709551615 268672478105 0 0 4096 545260780 18446604453916341184 0 0 -1 0 0 0 0
[pid=15793/tid=15802] ppid=15791 vsize=174700 CPUtime=0 cores=0,2
/proc/15793/task/15802/stat : 15802 (mono) S 15791 15793 15673 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 198162556 178892800 14409 33554432000 4194304 7232020 140736466068352 18446744073709551615 268672485809 0 0 4096 545260780 18446604453916341184 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 98.79
Current children cumulated vsize (KiB) 174700
Child status: 0
Real time (s): 97.1939
CPU time (s): 98.904
CPU user time (s): 98.761
CPU system time (s): 0.142978
CPU usage (%): 101.759
Max. virtual memory (cumulated for all children) (KiB): 174700
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 98.761
system time used= 0.142978
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28022
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 23826
involuntary context switches= 5999
runsolver used 0.174973 second user time and 0.363944 second system time
The end