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-3291372-1303790566/watcher-3291372-1303790566 -o /tmp/evaluation-result-3291372-1303790566/solver-3291372-1303790566 -C 2400 -W 1300 -M 7680 mono Main.exe HOME/instance-3291372-1303790566.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.85 3.33 3.47 3/176 12184
/proc/meminfo: memFree=14682376/32950928 swapFree=67111528/67111528
[pid=12184] ppid=12182 vsize=18896 CPUtime=0 cores=0,2
/proc/12184/stat : 12184 (mono) S 12182 12184 10378 0 -1 4194304 119 0 0 0 0 0 0 0 22 0 1 0 490655411 19349504 71 33554432000 4194304 7232020 140735645738368 18446744073709551615 235589942919 0 2147483391 4096 0 18446744071699215550 0 0 17 0 0 0 0
/proc/12184/statm: 4724 71 54 742 0 112 0
[startup+0.026629 s]
/proc/loadavg: 1.85 3.33 3.47 3/176 12184
/proc/meminfo: memFree=14682376/32950928 swapFree=67111528/67111528
[pid=12184] ppid=12182 vsize=105848 CPUtime=0.01 cores=0,2
/proc/12184/stat : 12184 (mono) R 12182 12184 10378 0 -1 4202496 1451 0 0 0 1 0 0 0 24 0 9 0 490655411 108388352 1357 33554432000 4194304 7232020 140735645738368 18446744073709551615 5897254 0 0 4096 545260780 18446744073709551615 0 0 17 2 0 0 0
/proc/12184/statm: 26462 1357 936 742 0 19033 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 105848
[startup+0.100566 s]
/proc/loadavg: 1.85 3.33 3.47 3/176 12184
/proc/meminfo: memFree=14682376/32950928 swapFree=67111528/67111528
[pid=12184] ppid=12182 vsize=109136 CPUtime=0.08 cores=0,2
/proc/12184/stat : 12184 (mono) R 12182 12184 10378 0 -1 4202496 2166 0 0 0 8 0 0 0 18 0 9 0 490655411 111755264 2072 33554432000 4194304 7232020 140735645738368 18446744073709551615 1083826203 0 0 4096 545260780 18446744073709551615 0 0 17 0 0 0 0
/proc/12184/statm: 27284 2072 976 742 0 19855 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 109136
[startup+0.300532 s]
/proc/loadavg: 1.85 3.33 3.47 3/176 12184
/proc/meminfo: memFree=14682376/32950928 swapFree=67111528/67111528
[pid=12184] ppid=12182 vsize=156796 CPUtime=0.3 cores=0,2
/proc/12184/stat : 12184 (mono) R 12182 12184 10378 0 -1 4202496 12432 0 0 0 29 1 0 0 18 0 9 0 490655411 160559104 12338 33554432000 4194304 7232020 140735645738368 18446744073709551615 1083868473 0 0 4096 545260780 18446744073709551615 0 0 17 0 0 0 0
/proc/12184/statm: 39215 12340 1000 742 0 31786 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 156796
[startup+0.70052 s]
/proc/loadavg: 1.85 3.33 3.47 3/176 12184
/proc/meminfo: memFree=14682376/32950928 swapFree=67111528/67111528
[pid=12184] ppid=12182 vsize=165316 CPUtime=0.7 cores=0,2
/proc/12184/stat : 12184 (mono) R 12182 12184 10378 0 -1 4202496 16437 0 0 0 69 1 0 0 18 0 9 0 490655411 169283584 16342 33554432000 4194304 7232020 140735645738368 18446744073709551615 1087426265 0 0 4096 545260780 18446744073709551615 0 0 17 0 0 0 0
/proc/12184/statm: 41329 16342 1024 742 0 33900 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 165316
[startup+1.50043 s]
/proc/loadavg: 2.02 3.34 3.47 5/222 12243
/proc/meminfo: memFree=14425304/32950928 swapFree=67111528/67111528
[pid=12184] ppid=12182 vsize=165508 CPUtime=1.5 cores=0,2
/proc/12184/stat : 12184 (mono) R 12182 12184 10378 0 -1 4202496 16486 0 0 0 149 1 0 0 19 0 9 0 490655411 169480192 16391 33554432000 4194304 7232020 140735645738368 18446744073709551615 1087428460 0 0 4096 545260780 18446744073709551615 0 0 17 0 0 0 0
/proc/12184/statm: 41377 16391 1024 742 0 33948 0
[pid=12184/tid=12186] ppid=12182 vsize=165508 CPUtime=0 cores=0,2
/proc/12184/task/12186/stat : 12186 (mono) S 12182 12184 10378 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 9 0 490655412 169480192 16391 33554432000 4194304 7232020 140735645738368 18446744073709551615 235606682521 0 0 4096 545260780 18446604453903975360 0 0 -1 0 0 0 0
[pid=12184/tid=12187] ppid=12182 vsize=165508 CPUtime=0 cores=0,2
/proc/12184/task/12187/stat : 12187 (mono) S 12182 12184 10378 0 -1 4202560 2 0 0 0 0 0 0 0 16 0 9 0 490655412 169480192 16391 33554432000 4194304 7232020 140735645738368 18446744073709551615 235606682521 0 0 4096 545260780 18446604453903975360 0 0 -1 2 0 0 0
[pid=12184/tid=12188] ppid=12182 vsize=165508 CPUtime=0 cores=0,2
/proc/12184/task/12188/stat : 12188 (mono) S 12182 12184 10378 0 -1 4202560 2 0 0 0 0 0 0 0 16 0 9 0 490655412 169480192 16391 33554432000 4194304 7232020 140735645738368 18446744073709551615 235606682521 0 0 4096 545260780 18446604453903975360 0 0 -1 0 0 0 0
[pid=12184/tid=12189] ppid=12182 vsize=165508 CPUtime=0 cores=0,2
/proc/12184/task/12189/stat : 12189 (mono) S 12182 12184 10378 0 -1 4202560 2 0 0 0 0 0 0 0 16 0 9 0 490655412 169480192 16391 33554432000 4194304 7232020 140735645738368 18446744073709551615 235606682521 0 0 4096 545260780 18446604453903975360 0 0 -1 2 0 0 0
[pid=12184/tid=12190] ppid=12182 vsize=165508 CPUtime=0.01 cores=0,2
/proc/12184/task/12190/stat : 12190 (mono) S 12182 12184 10378 0 -1 4202560 2 0 0 0 1 0 0 0 16 0 9 0 490655412 169480192 16391 33554432000 4194304 7232020 140735645738368 18446744073709551615 235606682521 0 0 4096 545260780 18446604453903975360 0 0 -1 2 0 0 0
[pid=12184/tid=12191] ppid=12182 vsize=165508 CPUtime=0 cores=0,2
/proc/12184/task/12191/stat : 12191 (mono) S 12182 12184 10378 0 -1 4202560 2 0 0 0 0 0 0 0 16 0 9 0 490655412 169480192 16391 33554432000 4194304 7232020 140735645738368 18446744073709551615 235606682521 0 0 4096 545260780 18446604453903975360 0 0 -1 2 0 0 0
[pid=12184/tid=12192] ppid=12182 vsize=165508 CPUtime=0 cores=0,2
/proc/12184/task/12192/stat : 12192 (mono) S 12182 12184 10378 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 490655412 169480192 16391 33554432000 4194304 7232020 140735645738368 18446744073709551615 235606682521 0 0 4096 545260780 18446604453903975360 0 0 -1 0 0 0 0
[pid=12184/tid=12193] ppid=12182 vsize=165508 CPUtime=0 cores=0,2
/proc/12184/task/12193/stat : 12193 (mono) S 12182 12184 10378 0 -1 4202560 3 0 0 0 0 0 0 0 16 0 9 0 490655413 169480192 16391 33554432000 4194304 7232020 140735645738368 18446744073709551615 235606690225 0 0 4096 545260780 18446604453903975360 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 165508
[startup+3.1011 s]
/proc/loadavg: 2.02 3.34 3.47 5/222 12243
/proc/meminfo: memFree=14279852/32950928 swapFree=67111528/67111528
[pid=12184] ppid=12182 vsize=165700 CPUtime=3.11 cores=0,2
/proc/12184/stat : 12184 (mono) R 12182 12184 10378 0 -1 4202496 16526 0 0 0 310 1 0 0 25 0 9 0 490655411 169676800 16431 33554432000 4194304 7232020 140735645738368 18446744073709551615 1087429507 0 0 4096 545260780 18446744073709551615 0 0 17 0 0 0 0
/proc/12184/statm: 41425 16431 1024 742 0 33996 0
[pid=12184/tid=12186] ppid=12182 vsize=165700 CPUtime=0.01 cores=0,2
/proc/12184/task/12186/stat : 12186 (mono) S 12182 12184 10378 0 -1 4202560 4 0 0 0 1 0 0 0 16 0 9 0 490655412 169676800 16431 33554432000 4194304 7232020 140735645738368 18446744073709551615 235606682521 0 0 4096 545260780 18446604453903975360 0 0 -1 2 0 0 0
[pid=12184/tid=12187] ppid=12182 vsize=165700 CPUtime=0 cores=0,2
/proc/12184/task/12187/stat : 12187 (mono) S 12182 12184 10378 0 -1 4202560 2 0 0 0 0 0 0 0 16 0 9 0 490655412 169676800 16431 33554432000 4194304 7232020 140735645738368 18446744073709551615 235606682521 0 0 4096 545260780 18446604453903975360 0 0 -1 2 0 0 0
[pid=12184/tid=12188] ppid=12182 vsize=165700 CPUtime=0 cores=0,2
/proc/12184/task/12188/stat : 12188 (mono) S 12182 12184 10378 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 490655412 169676800 16431 33554432000 4194304 7232020 140735645738368 18446744073709551615 235606682521 0 0 4096 545260780 18446604453903975360 0 0 -1 0 0 0 0
[pid=12184/tid=12189] ppid=12182 vsize=165700 CPUtime=0 cores=0,2
/proc/12184/task/12189/stat : 12189 (mono) S 12182 12184 10378 0 -1 4202560 2 0 0 0 0 0 0 0 16 0 9 0 490655412 169676800 16431 33554432000 4194304 7232020 140735645738368 18446744073709551615 235606682521 0 0 4096 545260780 18446604453903975360 0 0 -1 0 0 0 0
[pid=12184/tid=12190] ppid=12182 vsize=165700 CPUtime=0.01 cores=0,2
/proc/12184/task/12190/stat : 12190 (mono) S 12182 12184 10378 0 -1 4202560 2 0 0 0 1 0 0 0 16 0 9 0 490655412 169676800 16431 33554432000 4194304 7232020 140735645738368 18446744073709551615 235606682521 0 0 4096 545260780 18446604453903975360 0 0 -1 2 0 0 0
[pid=12184/tid=12191] ppid=12182 vsize=165700 CPUtime=0 cores=0,2
/proc/12184/task/12191/stat : 12191 (mono) S 12182 12184 10378 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 490655412 169676800 16431 33554432000 4194304 7232020 140735645738368 18446744073709551615 235606682521 0 0 4096 545260780 18446604453903975360 0 0 -1 0 0 0 0
[pid=12184/tid=12192] ppid=12182 vsize=165700 CPUtime=0 cores=0,2
/proc/12184/task/12192/stat : 12192 (mono) S 12182 12184 10378 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 490655412 169676800 16431 33554432000 4194304 7232020 140735645738368 18446744073709551615 235606682521 0 0 4096 545260780 18446604453903975360 0 0 -1 0 0 0 0
[pid=12184/tid=12193] ppid=12182 vsize=165700 CPUtime=0 cores=0,2
/proc/12184/task/12193/stat : 12193 (mono) S 12182 12184 10378 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 490655413 169676800 16431 33554432000 4194304 7232020 140735645738368 18446744073709551615 235606690225 0 0 4096 545260780 18446604453903975360 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3.11
Current children cumulated vsize (KiB) 165700
[startup+6.30056 s]
/proc/loadavg: 2.02 3.34 3.47 5/222 12243
/proc/meminfo: memFree=14275892/32950928 swapFree=67111528/67111528
[pid=12184] ppid=12182 vsize=174020 CPUtime=6.34 cores=0,2
/proc/12184/stat : 12184 (mono) R 12182 12184 10378 0 -1 4202496 16901 0 0 0 632 2 0 0 25 0 9 0 490655411 178196480 16806 33554432000 4194304 7232020 140735645738368 18446744073709551615 1087429653 0 0 4096 545260780 18446744073709551615 0 0 17 0 0 0 0
/proc/12184/statm: 43505 16806 1024 742 0 36076 0
[pid=12184/tid=12186] ppid=12182 vsize=174020 CPUtime=0.01 cores=0,2
/proc/12184/task/12186/stat : 12186 (mono) S 12182 12184 10378 0 -1 4202560 4 0 0 0 1 0 0 0 15 0 9 0 490655412 178196480 16806 33554432000 4194304 7232020 140735645738368 18446744073709551615 235606682521 0 0 4096 545260780 18446604453903975360 0 0 -1 2 0 0 0
[pid=12184/tid=12187] ppid=12182 vsize=174020 CPUtime=0.01 cores=0,2
/proc/12184/task/12187/stat : 12187 (mono) S 12182 12184 10378 0 -1 4202560 2 0 0 0 1 0 0 0 16 0 9 0 490655412 178196480 16806 33554432000 4194304 7232020 140735645738368 18446744073709551615 235606682521 0 0 4096 545260780 18446604453903975360 0 0 -1 0 0 0 0
[pid=12184/tid=12188] ppid=12182 vsize=174020 CPUtime=0 cores=0,2
/proc/12184/task/12188/stat : 12188 (mono) S 12182 12184 10378 0 -1 4202560 2 0 0 0 0 0 0 0 16 0 9 0 490655412 178196480 16806 33554432000 4194304 7232020 140735645738368 18446744073709551615 235606682521 0 0 4096 545260780 18446604453903975360 0 0 -1 0 0 0 0
[pid=12184/tid=12189] ppid=12182 vsize=174020 CPUtime=0 cores=0,2
/proc/12184/task/12189/stat : 12189 (mono) S 12182 12184 10378 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 490655412 178196480 16806 33554432000 4194304 7232020 140735645738368 18446744073709551615 235606682521 0 0 4096 545260780 18446604453903975360 0 0 -1 2 0 0 0
[pid=12184/tid=12190] ppid=12182 vsize=174020 CPUtime=0.02 cores=0,2
/proc/12184/task/12190/stat : 12190 (mono) S 12182 12184 10378 0 -1 4202560 2 0 0 0 2 0 0 0 16 0 9 0 490655412 178196480 16806 33554432000 4194304 7232020 140735645738368 18446744073709551615 235606682521 0 0 4096 545260780 18446604453903975360 0 0 -1 0 0 0 0
[pid=12184/tid=12191] ppid=12182 vsize=174020 CPUtime=0.01 cores=0,2
/proc/12184/task/12191/stat : 12191 (mono) S 12182 12184 10378 0 -1 4202560 2 0 0 0 1 0 0 0 15 0 9 0 490655412 178196480 16806 33554432000 4194304 7232020 140735645738368 18446744073709551615 235606682521 0 0 4096 545260780 18446604453903975360 0 0 -1 0 0 0 0
[pid=12184/tid=12192] ppid=12182 vsize=174020 CPUtime=0 cores=0,2
/proc/12184/task/12192/stat : 12192 (mono) S 12182 12184 10378 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 490655412 178196480 16806 33554432000 4194304 7232020 140735645738368 18446744073709551615 235606682521 0 0 4096 545260780 18446604453903975360 0 0 -1 2 0 0 0
[pid=12184/tid=12193] ppid=12182 vsize=174020 CPUtime=0 cores=0,2
/proc/12184/task/12193/stat : 12193 (mono) S 12182 12184 10378 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 490655413 178196480 16806 33554432000 4194304 7232020 140735645738368 18446744073709551615 235606690225 0 0 4096 545260780 18446604453903975360 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 6.34
Current children cumulated vsize (KiB) 174020
[startup+12.7003 s]
/proc/loadavg: 2.33 3.36 3.48 5/222 12244
/proc/meminfo: memFree=14265684/32950928 swapFree=67111528/67111528
[pid=12184] ppid=12182 vsize=182468 CPUtime=12.76 cores=0,2
/proc/12184/stat : 12184 (mono) R 12182 12184 10378 0 -1 4202496 19630 0 0 0 1274 2 0 0 25 0 9 0 490655411 186847232 19535 33554432000 4194304 7232020 140735645738368 18446744073709551615 1087426155 0 0 4096 545260780 18446744073709551615 0 0 17 0 0 0 0
/proc/12184/statm: 45617 19535 1024 742 0 38188 0
[pid=12184/tid=12186] ppid=12182 vsize=182468 CPUtime=0.02 cores=0,2
/proc/12184/task/12186/stat : 12186 (mono) S 12182 12184 10378 0 -1 4202560 4 0 0 0 2 0 0 0 15 0 9 0 490655412 186847232 19535 33554432000 4194304 7232020 140735645738368 18446744073709551615 235606682521 0 0 4096 545260780 18446604453903975360 0 0 -1 2 0 0 0
[pid=12184/tid=12187] ppid=12182 vsize=182468 CPUtime=0.01 cores=0,2
/proc/12184/task/12187/stat : 12187 (mono) S 12182 12184 10378 0 -1 4202560 2 0 0 0 1 0 0 0 15 0 9 0 490655412 186847232 19535 33554432000 4194304 7232020 140735645738368 18446744073709551615 235606682521 0 0 4096 545260780 18446604453903975360 0 0 -1 2 0 0 0
[pid=12184/tid=12188] ppid=12182 vsize=182468 CPUtime=0.01 cores=0,2
/proc/12184/task/12188/stat : 12188 (mono) S 12182 12184 10378 0 -1 4202560 2 0 0 0 1 0 0 0 16 0 9 0 490655412 186847232 19535 33554432000 4194304 7232020 140735645738368 18446744073709551615 235606682521 0 0 4096 545260780 18446604453903975360 0 0 -1 2 0 0 0
[pid=12184/tid=12189] ppid=12182 vsize=182468 CPUtime=0.01 cores=0,2
/proc/12184/task/12189/stat : 12189 (mono) S 12182 12184 10378 0 -1 4202560 2 0 0 0 1 0 0 0 15 0 9 0 490655412 186847232 19535 33554432000 4194304 7232020 140735645738368 18446744073709551615 235606682521 0 0 4096 545260780 18446604453903975360 0 0 -1 2 0 0 0
[pid=12184/tid=12190] ppid=12182 vsize=182468 CPUtime=0.03 cores=0,2
/proc/12184/task/12190/stat : 12190 (mono) S 12182 12184 10378 0 -1 4202560 2 0 0 0 3 0 0 0 15 0 9 0 490655412 186847232 19535 33554432000 4194304 7232020 140735645738368 18446744073709551615 235606682521 0 0 4096 545260780 18446604453903975360 0 0 -1 0 0 0 0
[pid=12184/tid=12191] ppid=12182 vsize=182468 CPUtime=0.02 cores=0,2
/proc/12184/task/12191/stat : 12191 (mono) S 12182 12184 10378 0 -1 4202560 2 0 0 0 2 0 0 0 16 0 9 0 490655412 186847232 19535 33554432000 4194304 7232020 140735645738368 18446744073709551615 235606682521 0 0 4096 545260780 18446604453903975360 0 0 -1 0 0 0 0
[pid=12184/tid=12192] ppid=12182 vsize=182468 CPUtime=0 cores=0,2
/proc/12184/task/12192/stat : 12192 (mono) S 12182 12184 10378 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 490655412 186847232 19535 33554432000 4194304 7232020 140735645738368 18446744073709551615 235606682521 0 0 4096 545260780 18446604453903975360 0 0 -1 0 0 0 0
[pid=12184/tid=12193] ppid=12182 vsize=182468 CPUtime=0 cores=0,2
/proc/12184/task/12193/stat : 12193 (mono) S 12182 12184 10378 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 490655413 186847232 19535 33554432000 4194304 7232020 140735645738368 18446744073709551615 235606690225 0 0 4096 545260780 18446604453903975360 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 12.76
Current children cumulated vsize (KiB) 182468
[startup+25.5011 s]
/proc/loadavg: 2.58 3.38 3.48 5/222 12244
/proc/meminfo: memFree=14241764/32950928 swapFree=67111528/67111528
[pid=12184] ppid=12182 vsize=190980 CPUtime=25.61 cores=0,2
/proc/12184/stat : 12184 (mono) R 12182 12184 10378 0 -1 4202496 22605 0 0 0 2558 3 0 0 25 0 9 0 490655411 195563520 22510 33554432000 4194304 7232020 140735645738368 18446744073709551615 1087431568 0 0 4096 545260780 18446744073709551615 0 0 17 0 0 0 0
/proc/12184/statm: 47745 22510 1025 742 0 40316 0
[pid=12184/tid=12186] ppid=12182 vsize=190980 CPUtime=0.03 cores=0,2
/proc/12184/task/12186/stat : 12186 (mono) S 12182 12184 10378 0 -1 4202560 4 0 0 0 3 0 0 0 16 0 9 0 490655412 195563520 22510 33554432000 4194304 7232020 140735645738368 18446744073709551615 235606682521 0 0 4096 545260780 18446604453903975360 0 0 -1 2 0 0 0
[pid=12184/tid=12187] ppid=12182 vsize=190980 CPUtime=0.02 cores=0,2
/proc/12184/task/12187/stat : 12187 (mono) S 12182 12184 10378 0 -1 4202560 2 0 0 0 2 0 0 0 15 0 9 0 490655412 195563520 22510 33554432000 4194304 7232020 140735645738368 18446744073709551615 235606682521 0 0 4096 545260780 18446604453903975360 0 0 -1 0 0 0 0
[pid=12184/tid=12188] ppid=12182 vsize=190980 CPUtime=0.01 cores=0,2
/proc/12184/task/12188/stat : 12188 (mono) S 12182 12184 10378 0 -1 4202560 2 0 0 0 1 0 0 0 16 0 9 0 490655412 195563520 22510 33554432000 4194304 7232020 140735645738368 18446744073709551615 235606682521 0 0 4096 545260780 18446604453903975360 0 0 -1 0 0 0 0
[pid=12184/tid=12189] ppid=12182 vsize=190980 CPUtime=0.03 cores=0,2
/proc/12184/task/12189/stat : 12189 (mono) S 12182 12184 10378 0 -1 4202560 2 0 0 0 3 0 0 0 15 0 9 0 490655412 195563520 22510 33554432000 4194304 7232020 140735645738368 18446744073709551615 235606682521 0 0 4096 545260780 18446604453903975360 0 0 -1 0 0 0 0
[pid=12184/tid=12190] ppid=12182 vsize=190980 CPUtime=0.04 cores=0,2
/proc/12184/task/12190/stat : 12190 (mono) S 12182 12184 10378 0 -1 4202560 2 0 0 0 4 0 0 0 15 0 9 0 490655412 195563520 22510 33554432000 4194304 7232020 140735645738368 18446744073709551615 235606682521 0 0 4096 545260780 18446604453903975360 0 0 -1 2 0 0 0
[pid=12184/tid=12191] ppid=12182 vsize=190980 CPUtime=0.02 cores=0,2
/proc/12184/task/12191/stat : 12191 (mono) S 12182 12184 10378 0 -1 4202560 2 0 0 0 2 0 0 0 15 0 9 0 490655412 195563520 22510 33554432000 4194304 7232020 140735645738368 18446744073709551615 235606682521 0 0 4096 545260780 18446604453903975360 0 0 -1 2 0 0 0
[pid=12184/tid=12192] ppid=12182 vsize=190980 CPUtime=0.02 cores=0,2
/proc/12184/task/12192/stat : 12192 (mono) S 12182 12184 10378 0 -1 4202560 2 0 0 0 2 0 0 0 15 0 9 0 490655412 195563520 22510 33554432000 4194304 7232020 140735645738368 18446744073709551615 235606682521 0 0 4096 545260780 18446604453903975360 0 0 -1 0 0 0 0
[pid=12184/tid=12193] ppid=12182 vsize=190980 CPUtime=0 cores=0,2
/proc/12184/task/12193/stat : 12193 (mono) S 12182 12184 10378 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 490655413 195563520 22510 33554432000 4194304 7232020 140735645738368 18446744073709551615 235606690225 0 0 4096 545260780 18446604453903975360 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 25.61
Current children cumulated vsize (KiB) 190980
[startup+51.1006 s]
/proc/loadavg: 3.06 3.43 3.49 5/222 12244
/proc/meminfo: memFree=14177760/32950928 swapFree=67111528/67111528
[pid=12184] ppid=12182 vsize=215940 CPUtime=51.32 cores=0,2
/proc/12184/stat : 12184 (mono) R 12182 12184 10378 0 -1 4202496 28795 0 0 0 5129 3 0 0 25 0 9 0 490655411 221122560 27443 33554432000 4194304 7232020 140735645738368 18446744073709551615 1087433643 0 0 4096 545260780 18446744073709551615 0 0 17 0 0 0 0
/proc/12184/statm: 53985 27443 1034 742 0 46556 0
[pid=12184/tid=12186] ppid=12182 vsize=215940 CPUtime=0.07 cores=0,2
/proc/12184/task/12186/stat : 12186 (mono) S 12182 12184 10378 0 -1 4202560 4 0 0 0 7 0 0 0 15 0 9 0 490655412 221122560 27443 33554432000 4194304 7232020 140735645738368 18446744073709551615 235606682521 0 0 4096 545260780 18446604453903975360 0 0 -1 0 0 0 0
[pid=12184/tid=12187] ppid=12182 vsize=215940 CPUtime=0.04 cores=0,2
/proc/12184/task/12187/stat : 12187 (mono) S 12182 12184 10378 0 -1 4202560 2 0 0 0 4 0 0 0 15 0 9 0 490655412 221122560 27443 33554432000 4194304 7232020 140735645738368 18446744073709551615 235606682521 0 0 4096 545260780 18446604453903975360 0 0 -1 0 0 0 0
[pid=12184/tid=12188] ppid=12182 vsize=215940 CPUtime=0.04 cores=0,2
################
# More data... #
################
/proc/12184/task/12189/stat : 12189 (mono) S 12182 12184 10378 0 -1 4202560 2 0 0 0 86 0 0 0 16 0 9 0 490655412 589524992 114553 33554432000 4194304 7232020 140735645738368 18446744073709551615 235606682521 0 0 4096 545260780 18446604453903975360 0 0 -1 0 0 0 0
[pid=12184/tid=12190] ppid=12182 vsize=575708 CPUtime=0.91 cores=0,2
/proc/12184/task/12190/stat : 12190 (mono) S 12182 12184 10378 0 -1 4202560 2 0 0 0 91 0 0 0 15 0 9 0 490655412 589524992 114553 33554432000 4194304 7232020 140735645738368 18446744073709551615 235606682521 0 0 4096 545260780 18446604453903975360 0 0 -1 0 0 0 0
[pid=12184/tid=12191] ppid=12182 vsize=575708 CPUtime=1 cores=0,2
/proc/12184/task/12191/stat : 12191 (mono) S 12182 12184 10378 0 -1 4202560 2 0 0 0 100 0 0 0 16 0 9 0 490655412 589524992 114553 33554432000 4194304 7232020 140735645738368 18446744073709551615 235606682521 0 0 4096 545260780 18446604453903975360 0 0 -1 2 0 0 0
[pid=12184/tid=12192] ppid=12182 vsize=575708 CPUtime=0.78 cores=0,2
/proc/12184/task/12192/stat : 12192 (mono) S 12182 12184 10378 0 -1 4202560 2 0 0 0 78 0 0 0 16 0 9 0 490655412 589524992 114553 33554432000 4194304 7232020 140735645738368 18446744073709551615 235606682521 0 0 4096 545260780 18446604453903975360 0 0 -1 2 0 0 0
[pid=12184/tid=12193] ppid=12182 vsize=575708 CPUtime=0 cores=0,2
/proc/12184/task/12193/stat : 12193 (mono) S 12182 12184 10378 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 490655413 589524992 114553 33554432000 4194304 7232020 140735645738368 18446744073709551615 235606690225 0 0 4096 545260780 18446604453903975360 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 945.58
Current children cumulated vsize (KiB) 575708
[startup+1002.3 s]
/proc/loadavg: 4.01 4.03 3.83 5/222 12273
/proc/meminfo: memFree=12655640/32950928 swapFree=67111528/67111528
[pid=12184] ppid=12182 vsize=583900 CPUtime=1005.92 cores=0,2
/proc/12184/stat : 12184 (mono) R 12182 12184 10378 0 -1 4202496 228804 0 0 0 100546 46 0 0 25 0 9 0 490655411 597913600 120554 33554432000 4194304 7232020 140735645738368 18446744073709551615 1087429585 0 0 4096 545260780 18446744073709551615 0 0 17 0 0 0 0
/proc/12184/statm: 145975 120554 1036 742 0 138546 0
[pid=12184/tid=12186] ppid=12182 vsize=583900 CPUtime=1.01 cores=0,2
/proc/12184/task/12186/stat : 12186 (mono) S 12182 12184 10378 0 -1 4202560 4 0 0 0 101 0 0 0 16 0 9 0 490655412 597913600 120554 33554432000 4194304 7232020 140735645738368 18446744073709551615 235606682521 0 0 4096 545260780 18446604453903975360 0 0 -1 2 0 0 0
[pid=12184/tid=12187] ppid=12182 vsize=583900 CPUtime=1.06 cores=0,2
/proc/12184/task/12187/stat : 12187 (mono) S 12182 12184 10378 0 -1 4202560 2 0 0 0 106 0 0 0 16 0 9 0 490655412 597913600 120554 33554432000 4194304 7232020 140735645738368 18446744073709551615 235606682521 0 0 4096 545260780 18446604453903975360 0 0 -1 2 0 0 0
[pid=12184/tid=12188] ppid=12182 vsize=583900 CPUtime=1.07 cores=0,2
/proc/12184/task/12188/stat : 12188 (mono) S 12182 12184 10378 0 -1 4202560 2 0 0 0 107 0 0 0 16 0 9 0 490655412 597913600 120554 33554432000 4194304 7232020 140735645738368 18446744073709551615 235606682521 0 0 4096 545260780 18446604453903975360 0 0 -1 0 0 0 0
[pid=12184/tid=12189] ppid=12182 vsize=583900 CPUtime=0.92 cores=0,2
/proc/12184/task/12189/stat : 12189 (mono) S 12182 12184 10378 0 -1 4202560 2 0 0 0 92 0 0 0 15 0 9 0 490655412 597913600 120554 33554432000 4194304 7232020 140735645738368 18446744073709551615 235606682521 0 0 4096 545260780 18446604453903975360 0 0 -1 0 0 0 0
[pid=12184/tid=12190] ppid=12182 vsize=583900 CPUtime=1.04 cores=0,2
/proc/12184/task/12190/stat : 12190 (mono) S 12182 12184 10378 0 -1 4202560 2 0 0 0 104 0 0 0 15 0 9 0 490655412 597913600 120554 33554432000 4194304 7232020 140735645738368 18446744073709551615 235606682521 0 0 4096 545260780 18446604453903975360 0 0 -1 0 0 0 0
[pid=12184/tid=12191] ppid=12182 vsize=583900 CPUtime=1.08 cores=0,2
/proc/12184/task/12191/stat : 12191 (mono) S 12182 12184 10378 0 -1 4202560 2 0 0 0 108 0 0 0 16 0 9 0 490655412 597913600 120554 33554432000 4194304 7232020 140735645738368 18446744073709551615 235606682521 0 0 4096 545260780 18446604453903975360 0 0 -1 2 0 0 0
[pid=12184/tid=12192] ppid=12182 vsize=583900 CPUtime=0.91 cores=0,2
/proc/12184/task/12192/stat : 12192 (mono) S 12182 12184 10378 0 -1 4202560 2 0 0 0 91 0 0 0 16 0 9 0 490655412 597913600 120554 33554432000 4194304 7232020 140735645738368 18446744073709551615 235606682521 0 0 4096 545260780 18446604453903975360 0 0 -1 2 0 0 0
[pid=12184/tid=12193] ppid=12182 vsize=583900 CPUtime=0 cores=0,2
/proc/12184/task/12193/stat : 12193 (mono) S 12182 12184 10378 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 490655413 597913600 120554 33554432000 4194304 7232020 140735645738368 18446744073709551615 235606690225 0 0 4096 545260780 18446604453903975360 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1005.92
Current children cumulated vsize (KiB) 583900
[startup+1062.3 s]
/proc/loadavg: 4.00 4.02 3.84 5/222 12275
/proc/meminfo: memFree=12463048/32950928 swapFree=67111528/67111528
[pid=12184] ppid=12182 vsize=610140 CPUtime=1065.98 cores=0,2
/proc/12184/stat : 12184 (mono) R 12182 12184 10378 0 -1 4202496 234932 0 0 0 106550 48 0 0 25 0 9 0 490655411 624783360 126682 33554432000 4194304 7232020 140735645738368 18446744073709551615 1087429653 0 0 4096 545260780 18446744073709551615 0 0 17 0 0 0 0
/proc/12184/statm: 152535 126682 1036 742 0 145106 0
[pid=12184/tid=12186] ppid=12182 vsize=610140 CPUtime=1.01 cores=0,2
/proc/12184/task/12186/stat : 12186 (mono) S 12182 12184 10378 0 -1 4202560 4 0 0 0 101 0 0 0 15 0 9 0 490655412 624783360 126682 33554432000 4194304 7232020 140735645738368 18446744073709551615 235606682521 0 0 4096 545260780 18446604453903975360 0 0 -1 0 0 0 0
[pid=12184/tid=12187] ppid=12182 vsize=610140 CPUtime=1.07 cores=0,2
/proc/12184/task/12187/stat : 12187 (mono) S 12182 12184 10378 0 -1 4202560 2 0 0 0 107 0 0 0 16 0 9 0 490655412 624783360 126682 33554432000 4194304 7232020 140735645738368 18446744073709551615 235606682521 0 0 4096 545260780 18446604453903975360 0 0 -1 2 0 0 0
[pid=12184/tid=12188] ppid=12182 vsize=610140 CPUtime=1.08 cores=0,2
/proc/12184/task/12188/stat : 12188 (mono) S 12182 12184 10378 0 -1 4202560 2 0 0 0 108 0 0 0 16 0 9 0 490655412 624783360 126682 33554432000 4194304 7232020 140735645738368 18446744073709551615 235606682521 0 0 4096 545260780 18446604453903975360 0 0 -1 2 0 0 0
[pid=12184/tid=12189] ppid=12182 vsize=610140 CPUtime=0.96 cores=0,2
/proc/12184/task/12189/stat : 12189 (mono) S 12182 12184 10378 0 -1 4202560 2 0 0 0 96 0 0 0 16 0 9 0 490655412 624783360 126682 33554432000 4194304 7232020 140735645738368 18446744073709551615 235606682521 0 0 4096 545260780 18446604453903975360 0 0 -1 0 0 0 0
[pid=12184/tid=12190] ppid=12182 vsize=610140 CPUtime=1.15 cores=0,2
/proc/12184/task/12190/stat : 12190 (mono) S 12182 12184 10378 0 -1 4202560 2 0 0 0 115 0 0 0 15 0 9 0 490655412 624783360 126682 33554432000 4194304 7232020 140735645738368 18446744073709551615 235606682521 0 0 4096 545260780 18446604453903975360 0 0 -1 2 0 0 0
[pid=12184/tid=12191] ppid=12182 vsize=610140 CPUtime=1.08 cores=0,2
/proc/12184/task/12191/stat : 12191 (mono) S 12182 12184 10378 0 -1 4202560 2 0 0 0 108 0 0 0 15 0 9 0 490655412 624783360 126682 33554432000 4194304 7232020 140735645738368 18446744073709551615 235606682521 0 0 4096 545260780 18446604453903975360 0 0 -1 0 0 0 0
[pid=12184/tid=12192] ppid=12182 vsize=610140 CPUtime=0.91 cores=0,2
/proc/12184/task/12192/stat : 12192 (mono) S 12182 12184 10378 0 -1 4202560 2 0 0 0 91 0 0 0 16 0 9 0 490655412 624783360 126682 33554432000 4194304 7232020 140735645738368 18446744073709551615 235606682521 0 0 4096 545260780 18446604453903975360 0 0 -1 2 0 0 0
[pid=12184/tid=12193] ppid=12182 vsize=610140 CPUtime=0 cores=0,2
/proc/12184/task/12193/stat : 12193 (mono) S 12182 12184 10378 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 490655413 624783360 126682 33554432000 4194304 7232020 140735645738368 18446744073709551615 235606690225 0 0 4096 545260780 18446604453903975360 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1065.98
Current children cumulated vsize (KiB) 610140
[startup+1122.3 s]
/proc/loadavg: 4.05 4.03 3.85 5/222 12276
/proc/meminfo: memFree=12160216/32950928 swapFree=67111528/67111528
[pid=12184] ppid=12182 vsize=700444 CPUtime=1126.27 cores=0,2
/proc/12184/stat : 12184 (mono) R 12182 12184 10378 0 -1 4202496 256581 0 0 0 112576 51 0 0 25 0 9 0 490655411 717254656 148331 33554432000 4194304 7232020 140735645738368 18446744073709551615 1087428405 0 0 4096 545260780 18446744073709551615 0 0 17 0 0 0 0
/proc/12184/statm: 175111 148331 1036 742 0 167682 0
[pid=12184/tid=12186] ppid=12182 vsize=700444 CPUtime=1.11 cores=0,2
/proc/12184/task/12186/stat : 12186 (mono) S 12182 12184 10378 0 -1 4202560 4 0 0 0 111 0 0 0 15 0 9 0 490655412 717254656 148331 33554432000 4194304 7232020 140735645738368 18446744073709551615 235606682521 0 0 4096 545260780 18446604453903975360 0 0 -1 2 0 0 0
[pid=12184/tid=12187] ppid=12182 vsize=700444 CPUtime=1.19 cores=0,2
/proc/12184/task/12187/stat : 12187 (mono) S 12182 12184 10378 0 -1 4202560 2 0 0 0 119 0 0 0 15 0 9 0 490655412 717254656 148331 33554432000 4194304 7232020 140735645738368 18446744073709551615 235606682521 0 0 4096 545260780 18446604453903975360 0 0 -1 0 0 0 0
[pid=12184/tid=12188] ppid=12182 vsize=700444 CPUtime=1.11 cores=0,2
/proc/12184/task/12188/stat : 12188 (mono) S 12182 12184 10378 0 -1 4202560 2 0 0 0 111 0 0 0 15 0 9 0 490655412 717254656 148331 33554432000 4194304 7232020 140735645738368 18446744073709551615 235606682521 0 0 4096 545260780 18446604453903975360 0 0 -1 0 0 0 0
[pid=12184/tid=12189] ppid=12182 vsize=700444 CPUtime=1.01 cores=0,2
/proc/12184/task/12189/stat : 12189 (mono) S 12182 12184 10378 0 -1 4202560 2 0 0 0 101 0 0 0 16 0 9 0 490655412 717254656 148331 33554432000 4194304 7232020 140735645738368 18446744073709551615 235606682521 0 0 4096 545260780 18446604453903975360 0 0 -1 2 0 0 0
[pid=12184/tid=12190] ppid=12182 vsize=700444 CPUtime=1.23 cores=0,2
/proc/12184/task/12190/stat : 12190 (mono) S 12182 12184 10378 0 -1 4202560 2 0 0 0 123 0 0 0 16 0 9 0 490655412 717254656 148331 33554432000 4194304 7232020 140735645738368 18446744073709551615 235606682521 0 0 4096 545260780 18446604453903975360 0 0 -1 2 0 0 0
[pid=12184/tid=12191] ppid=12182 vsize=700444 CPUtime=1.19 cores=0,2
/proc/12184/task/12191/stat : 12191 (mono) S 12182 12184 10378 0 -1 4202560 2 0 0 0 119 0 0 0 16 0 9 0 490655412 717254656 148331 33554432000 4194304 7232020 140735645738368 18446744073709551615 235606682521 0 0 4096 545260780 18446604453903975360 0 0 -1 2 0 0 0
[pid=12184/tid=12192] ppid=12182 vsize=700444 CPUtime=0.99 cores=0,2
/proc/12184/task/12192/stat : 12192 (mono) S 12182 12184 10378 0 -1 4202560 2 0 0 0 99 0 0 0 15 0 9 0 490655412 717254656 148331 33554432000 4194304 7232020 140735645738368 18446744073709551615 235606682521 0 0 4096 545260780 18446604453903975360 0 0 -1 0 0 0 0
[pid=12184/tid=12193] ppid=12182 vsize=700444 CPUtime=0 cores=0,2
/proc/12184/task/12193/stat : 12193 (mono) S 12182 12184 10378 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 490655413 717254656 148331 33554432000 4194304 7232020 140735645738368 18446744073709551615 235606690225 0 0 4096 545260780 18446604453903975360 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1126.27
Current children cumulated vsize (KiB) 700444
[startup+1182.3 s]
/proc/loadavg: 4.02 4.03 3.85 5/222 12278
/proc/meminfo: memFree=11921244/32950928 swapFree=67111528/67111528
[pid=12184] ppid=12182 vsize=717340 CPUtime=1186.57 cores=0,2
/proc/12184/stat : 12184 (mono) R 12182 12184 10378 0 -1 4202496 262593 0 0 0 118606 51 0 0 25 0 9 0 490655411 734556160 154343 33554432000 4194304 7232020 140735645738368 18446744073709551615 1087429585 0 0 4096 545260780 18446744073709551615 0 0 17 0 0 0 0
/proc/12184/statm: 179335 154343 1036 742 0 171906 0
[pid=12184/tid=12186] ppid=12182 vsize=717340 CPUtime=1.22 cores=0,2
/proc/12184/task/12186/stat : 12186 (mono) S 12182 12184 10378 0 -1 4202560 4 0 0 0 122 0 0 0 16 0 9 0 490655412 734556160 154343 33554432000 4194304 7232020 140735645738368 18446744073709551615 235606682521 0 0 4096 545260780 18446604453903975360 0 0 -1 0 0 0 0
[pid=12184/tid=12187] ppid=12182 vsize=717340 CPUtime=1.25 cores=0,2
/proc/12184/task/12187/stat : 12187 (mono) S 12182 12184 10378 0 -1 4202560 2 0 0 0 125 0 0 0 15 0 9 0 490655412 734556160 154343 33554432000 4194304 7232020 140735645738368 18446744073709551615 235606682521 0 0 4096 545260780 18446604453903975360 0 0 -1 0 0 0 0
[pid=12184/tid=12188] ppid=12182 vsize=717340 CPUtime=1.18 cores=0,2
/proc/12184/task/12188/stat : 12188 (mono) S 12182 12184 10378 0 -1 4202560 2 0 0 0 118 0 0 0 16 0 9 0 490655412 734556160 154343 33554432000 4194304 7232020 140735645738368 18446744073709551615 235606682521 0 0 4096 545260780 18446604453903975360 0 0 -1 2 0 0 0
[pid=12184/tid=12189] ppid=12182 vsize=717340 CPUtime=1.08 cores=0,2
/proc/12184/task/12189/stat : 12189 (mono) S 12182 12184 10378 0 -1 4202560 2 0 0 0 108 0 0 0 16 0 9 0 490655412 734556160 154343 33554432000 4194304 7232020 140735645738368 18446744073709551615 235606682521 0 0 4096 545260780 18446604453903975360 0 0 -1 2 0 0 0
[pid=12184/tid=12190] ppid=12182 vsize=717340 CPUtime=1.27 cores=0,2
/proc/12184/task/12190/stat : 12190 (mono) S 12182 12184 10378 0 -1 4202560 2 0 0 0 127 0 0 0 15 0 9 0 490655412 734556160 154343 33554432000 4194304 7232020 140735645738368 18446744073709551615 235606682521 0 0 4096 545260780 18446604453903975360 0 0 -1 0 0 0 0
[pid=12184/tid=12191] ppid=12182 vsize=717340 CPUtime=1.28 cores=0,2
/proc/12184/task/12191/stat : 12191 (mono) S 12182 12184 10378 0 -1 4202560 2 0 0 0 128 0 0 0 16 0 9 0 490655412 734556160 154343 33554432000 4194304 7232020 140735645738368 18446744073709551615 235606682521 0 0 4096 545260780 18446604453903975360 0 0 -1 2 0 0 0
[pid=12184/tid=12192] ppid=12182 vsize=717340 CPUtime=1.11 cores=0,2
/proc/12184/task/12192/stat : 12192 (mono) S 12182 12184 10378 0 -1 4202560 2 0 0 0 111 0 0 0 16 0 9 0 490655412 734556160 154343 33554432000 4194304 7232020 140735645738368 18446744073709551615 235606682521 0 0 4096 545260780 18446604453903975360 0 0 -1 2 0 0 0
[pid=12184/tid=12193] ppid=12182 vsize=717340 CPUtime=0 cores=0,2
/proc/12184/task/12193/stat : 12193 (mono) S 12182 12184 10378 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 490655413 734556160 154343 33554432000 4194304 7232020 140735645738368 18446744073709551615 235606690225 0 0 4096 545260780 18446604453903975360 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1186.57
Current children cumulated vsize (KiB) 717340
[startup+1242.3 s]
/proc/loadavg: 4.31 4.08 3.88 5/222 12279
/proc/meminfo: memFree=11567444/32950928 swapFree=67111528/67111528
[pid=12184] ppid=12182 vsize=768104 CPUtime=1246.69 cores=0,2
/proc/12184/stat : 12184 (mono) R 12182 12184 10378 0 -1 4202496 269934 0 0 0 124617 52 0 0 25 0 9 0 490655411 786538496 161684 33554432000 4194304 7232020 140735645738368 18446744073709551615 1087429653 0 0 4096 545260780 18446744073709551615 0 0 17 0 0 0 0
/proc/12184/statm: 192026 161684 1036 742 0 184597 0
[pid=12184/tid=12186] ppid=12182 vsize=768104 CPUtime=1.29 cores=0,2
/proc/12184/task/12186/stat : 12186 (mono) S 12182 12184 10378 0 -1 4202560 4 0 0 0 129 0 0 0 16 0 9 0 490655412 786538496 161684 33554432000 4194304 7232020 140735645738368 18446744073709551615 235606682521 0 0 4096 545260780 18446604453903975360 0 0 -1 2 0 0 0
[pid=12184/tid=12187] ppid=12182 vsize=768104 CPUtime=1.26 cores=0,2
/proc/12184/task/12187/stat : 12187 (mono) S 12182 12184 10378 0 -1 4202560 2 0 0 0 126 0 0 0 15 0 9 0 490655412 786538496 161684 33554432000 4194304 7232020 140735645738368 18446744073709551615 235606682521 0 0 4096 545260780 18446604453903975360 0 0 -1 0 0 0 0
[pid=12184/tid=12188] ppid=12182 vsize=768104 CPUtime=1.24 cores=0,2
/proc/12184/task/12188/stat : 12188 (mono) S 12182 12184 10378 0 -1 4202560 2 0 0 0 124 0 0 0 16 0 9 0 490655412 786538496 161684 33554432000 4194304 7232020 140735645738368 18446744073709551615 235606682521 0 0 4096 545260780 18446604453903975360 0 0 -1 0 0 0 0
[pid=12184/tid=12189] ppid=12182 vsize=768104 CPUtime=1.15 cores=0,2
/proc/12184/task/12189/stat : 12189 (mono) S 12182 12184 10378 0 -1 4202560 2 0 0 0 115 0 0 0 15 0 9 0 490655412 786538496 161684 33554432000 4194304 7232020 140735645738368 18446744073709551615 235606682521 0 0 4096 545260780 18446604453903975360 0 0 -1 2 0 0 0
[pid=12184/tid=12190] ppid=12182 vsize=768104 CPUtime=1.33 cores=0,2
/proc/12184/task/12190/stat : 12190 (mono) S 12182 12184 10378 0 -1 4202560 2 0 0 0 133 0 0 0 15 0 9 0 490655412 786538496 161684 33554432000 4194304 7232020 140735645738368 18446744073709551615 235606682521 0 0 4096 545260780 18446604453903975360 0 0 -1 2 0 0 0
[pid=12184/tid=12191] ppid=12182 vsize=768104 CPUtime=1.28 cores=0,2
/proc/12184/task/12191/stat : 12191 (mono) S 12182 12184 10378 0 -1 4202560 2 0 0 0 128 0 0 0 15 0 9 0 490655412 786538496 161684 33554432000 4194304 7232020 140735645738368 18446744073709551615 235606682521 0 0 4096 545260780 18446604453903975360 0 0 -1 2 0 0 0
[pid=12184/tid=12192] ppid=12182 vsize=768104 CPUtime=1.13 cores=0,2
/proc/12184/task/12192/stat : 12192 (mono) S 12182 12184 10378 0 -1 4202560 2 0 0 0 113 0 0 0 15 0 9 0 490655412 786538496 161684 33554432000 4194304 7232020 140735645738368 18446744073709551615 235606682521 0 0 4096 545260780 18446604453903975360 0 0 -1 0 0 0 0
[pid=12184/tid=12193] ppid=12182 vsize=768104 CPUtime=0 cores=0,2
/proc/12184/task/12193/stat : 12193 (mono) S 12182 12184 10378 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 490655413 786538496 161684 33554432000 4194304 7232020 140735645738368 18446744073709551615 235606690225 0 0 4096 545260780 18446604453903975360 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1246.69
Current children cumulated vsize (KiB) 768104
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1300 s]
/proc/loadavg: 4.18 4.08 3.89 5/222 12281
/proc/meminfo: memFree=12142412/32950928 swapFree=67111528/67111528
[pid=12184] ppid=12182 vsize=768104 CPUtime=1304.63 cores=0,2
/proc/12184/stat : 12184 (mono) R 12182 12184 10378 0 -1 4202496 270151 0 0 0 130409 54 0 0 25 0 9 0 490655411 786538496 103458 33554432000 4194304 7232020 140735645738368 18446744073709551615 1087426093 0 0 4096 545260780 18446744073709551615 0 0 17 0 0 0 0
/proc/12184/statm: 192026 103458 1036 742 0 184597 0
[pid=12184/tid=12186] ppid=12182 vsize=768104 CPUtime=1.34 cores=0,2
/proc/12184/task/12186/stat : 12186 (mono) S 12182 12184 10378 0 -1 4202560 4 0 0 0 134 0 0 0 15 0 9 0 490655412 786538496 103458 33554432000 4194304 7232020 140735645738368 18446744073709551615 235606682521 0 0 4096 545260780 18446604453903975360 0 0 -1 2 0 0 0
[pid=12184/tid=12187] ppid=12182 vsize=768104 CPUtime=1.35 cores=0,2
/proc/12184/task/12187/stat : 12187 (mono) S 12182 12184 10378 0 -1 4202560 2 0 0 0 135 0 0 0 15 0 9 0 490655412 786538496 103458 33554432000 4194304 7232020 140735645738368 18446744073709551615 235606682521 0 0 4096 545260780 18446604453903975360 0 0 -1 2 0 0 0
[pid=12184/tid=12188] ppid=12182 vsize=768104 CPUtime=1.32 cores=0,2
/proc/12184/task/12188/stat : 12188 (mono) S 12182 12184 10378 0 -1 4202560 2 0 0 0 132 0 0 0 15 0 9 0 490655412 786538496 103458 33554432000 4194304 7232020 140735645738368 18446744073709551615 235606682521 0 0 4096 545260780 18446604453903975360 0 0 -1 0 0 0 0
[pid=12184/tid=12189] ppid=12182 vsize=768104 CPUtime=1.2 cores=0,2
/proc/12184/task/12189/stat : 12189 (mono) S 12182 12184 10378 0 -1 4202560 2 0 0 0 120 0 0 0 16 0 9 0 490655412 786538496 103458 33554432000 4194304 7232020 140735645738368 18446744073709551615 235606682521 0 0 4096 545260780 18446604453903975360 0 0 -1 2 0 0 0
[pid=12184/tid=12190] ppid=12182 vsize=768104 CPUtime=1.39 cores=0,2
/proc/12184/task/12190/stat : 12190 (mono) S 12182 12184 10378 0 -1 4202560 2 0 0 0 139 0 0 0 16 0 9 0 490655412 786538496 103458 33554432000 4194304 7232020 140735645738368 18446744073709551615 235606682521 0 0 4096 545260780 18446604453903975360 0 0 -1 0 0 0 0
[pid=12184/tid=12191] ppid=12182 vsize=768104 CPUtime=1.33 cores=0,2
/proc/12184/task/12191/stat : 12191 (mono) S 12182 12184 10378 0 -1 4202560 2 0 0 0 133 0 0 0 16 0 9 0 490655412 786538496 103458 33554432000 4194304 7232020 140735645738368 18446744073709551615 235606682521 0 0 4096 545260780 18446604453903975360 0 0 -1 2 0 0 0
[pid=12184/tid=12192] ppid=12182 vsize=768104 CPUtime=1.2 cores=0,2
/proc/12184/task/12192/stat : 12192 (mono) S 12182 12184 10378 0 -1 4202560 2 0 0 0 120 0 0 0 15 0 9 0 490655412 786538496 103458 33554432000 4194304 7232020 140735645738368 18446744073709551615 235606682521 0 0 4096 545260780 18446604453903975360 0 0 -1 0 0 0 0
[pid=12184/tid=12193] ppid=12182 vsize=768104 CPUtime=0 cores=0,2
/proc/12184/task/12193/stat : 12193 (mono) S 12182 12184 10378 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 490655413 786538496 103458 33554432000 4194304 7232020 140735645738368 18446744073709551615 235606690225 0 0 4096 545260780 18446604453903975360 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1304.63
Current children cumulated vsize (KiB) 768104
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1300.04
CPU time (s): 1304.67
CPU user time (s): 1304.1
CPU system time (s): 0.573912
CPU usage (%): 100.356
Max. virtual memory (cumulated for all children) (KiB): 768104
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1304.1
system time used= 0.573912
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 270151
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= 13131
involuntary context switches= 5709
runsolver used 2.12268 second user time and 4.98924 second system time
The end