runsolver Copyright (C) 2010 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 893)
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-3189418-1302285634/watcher-3189418-1302285634 -o /tmp/evaluation-result-3189418-1302285634/solver-3189418-1302285634 -C 2400 -W 1300 -M 7680 mono Main.exe HOME/instance-3189418-1302285634.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: 4.06 4.03 4.06 2/192 28550
/proc/meminfo: memFree=13501836/32950928 swapFree=67111528/67111528
[pid=28550] ppid=28547 vsize=102604 CPUtime=0 cores=0,2
/proc/28550/stat : 28550 (mono) R 28547 28550 27807 0 -1 4202496 915 0 0 0 0 0 0 0 18 0 8 0 418794033 105066496 822 33554432000 4194304 7232020 140736795413200 18446744073709551615 5597120 0 0 4096 545260780 18446744073709551615 0 0 17 0 0 0 0
/proc/28550/statm: 25651 822 636 742 0 18222 0
[pid=28550/tid=28551] ppid=28547 vsize=102604 CPUtime=0 cores=0,2
/proc/28550/task/28551/stat : 28551 (mono) S 28547 28550 27807 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 8 0 418794033 105066496 822 33554432000 4194304 7232020 140736795413200 18446744073709551615 218892381081 0 0 4096 545260780 18446604450726687680 0 0 -1 0 0 0 0
[pid=28550/tid=28552] ppid=28547 vsize=102604 CPUtime=0 cores=0,2
/proc/28550/task/28552/stat : 28552 (mono) S 28547 28550 27807 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 8 0 418794033 105066496 823 33554432000 4194304 7232020 140736795413200 18446744073709551615 218892381081 0 0 4096 545260780 18446604450726687680 0 0 -1 0 0 0 0
[pid=28550/tid=28553] ppid=28547 vsize=102604 CPUtime=0 cores=0,2
/proc/28550/task/28553/stat : 28553 (mono) S 28547 28550 27807 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 8 0 418794033 105066496 824 33554432000 4194304 7232020 140736795413200 18446744073709551615 218892381081 0 0 4096 545260780 18446604450726687680 0 0 -1 0 0 0 0
[pid=28550/tid=28554] ppid=28547 vsize=102604 CPUtime=0 cores=0,2
/proc/28550/task/28554/stat : 28554 (mono) S 28547 28550 27807 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 8 0 418794033 105066496 825 33554432000 4194304 7232020 140736795413200 18446744073709551615 218892381081 0 0 4096 545260780 18446604450726687680 0 0 -1 0 0 0 0
[pid=28550/tid=28555] ppid=28547 vsize=102604 CPUtime=0 cores=0,2
/proc/28550/task/28555/stat : 28555 (mono) S 28547 28550 27807 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 8 0 418794033 105066496 825 33554432000 4194304 7232020 140736795413200 18446744073709551615 218892381081 0 0 4096 545260780 18446604450726687680 0 0 -1 0 0 0 0
[pid=28550/tid=28556] ppid=28547 vsize=102604 CPUtime=0 cores=0,2
/proc/28550/task/28556/stat : 28556 (mono) S 28547 28550 27807 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 8 0 418794033 105066496 825 33554432000 4194304 7232020 140736795413200 18446744073709551615 218892381081 0 0 4096 545260780 18446604450726687680 0 0 -1 0 0 0 0
[pid=28550/tid=28557] ppid=28547 vsize=102604 CPUtime=0 cores=0,2
/proc/28550/task/28557/stat : 28557 (mono) S 28547 28550 27807 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 8 0 418794033 105066496 826 33554432000 4194304 7232020 140736795413200 18446744073709551615 218892381081 0 0 4096 545260780 18446604450726687680 0 0 -1 0 0 0 0
[startup+0.058123 s]
/proc/loadavg: 4.06 4.03 4.06 2/192 28550
/proc/meminfo: memFree=13501836/32950928 swapFree=67111528/67111528
[pid=28550] ppid=28547 vsize=107228 CPUtime=0.05 cores=0,2
/proc/28550/stat : 28550 (mono) R 28547 28550 27807 0 -1 4202496 1793 0 0 0 5 0 0 0 19 0 9 0 418794033 109801472 1695 33554432000 4194304 7232020 140736795413200 18446744073709551615 218880259053 0 0 4096 545260780 18446744073709551615 0 0 17 0 0 0 0
/proc/28550/statm: 26807 1695 994 742 0 19378 0
[pid=28550/tid=28551] ppid=28547 vsize=107228 CPUtime=0 cores=0,2
/proc/28550/task/28551/stat : 28551 (mono) S 28547 28550 27807 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 9 0 418794033 109801472 1695 33554432000 4194304 7232020 140736795413200 18446744073709551615 218892381081 0 0 4096 545260780 18446604450726687680 0 0 -1 2 0 0 0
[pid=28550/tid=28552] ppid=28547 vsize=107228 CPUtime=0 cores=0,2
/proc/28550/task/28552/stat : 28552 (mono) S 28547 28550 27807 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 418794033 109801472 1695 33554432000 4194304 7232020 140736795413200 18446744073709551615 218892381081 0 0 4096 545260780 18446604450726687680 0 0 -1 2 0 0 0
[pid=28550/tid=28553] ppid=28547 vsize=107228 CPUtime=0 cores=0,2
/proc/28550/task/28553/stat : 28553 (mono) S 28547 28550 27807 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 418794033 109801472 1695 33554432000 4194304 7232020 140736795413200 18446744073709551615 218892381081 0 0 4096 545260780 18446604450726687680 0 0 -1 2 0 0 0
[pid=28550/tid=28554] ppid=28547 vsize=107228 CPUtime=0 cores=0,2
/proc/28550/task/28554/stat : 28554 (mono) S 28547 28550 27807 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 418794033 109801472 1695 33554432000 4194304 7232020 140736795413200 18446744073709551615 218892381081 0 0 4096 545260780 18446604450726687680 0 0 -1 2 0 0 0
[pid=28550/tid=28555] ppid=28547 vsize=107228 CPUtime=0 cores=0,2
/proc/28550/task/28555/stat : 28555 (mono) S 28547 28550 27807 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 418794033 109801472 1695 33554432000 4194304 7232020 140736795413200 18446744073709551615 218892381081 0 0 4096 545260780 18446604450726687680 0 0 -1 2 0 0 0
[pid=28550/tid=28556] ppid=28547 vsize=107228 CPUtime=0 cores=0,2
/proc/28550/task/28556/stat : 28556 (mono) S 28547 28550 27807 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 418794033 109801472 1695 33554432000 4194304 7232020 140736795413200 18446744073709551615 218892381081 0 0 4096 545260780 18446604450726687680 0 0 -1 2 0 0 0
[pid=28550/tid=28557] ppid=28547 vsize=107228 CPUtime=0 cores=0,2
/proc/28550/task/28557/stat : 28557 (mono) S 28547 28550 27807 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 418794033 109801472 1695 33554432000 4194304 7232020 140736795413200 18446744073709551615 218892381081 0 0 4096 545260780 18446604450726687680 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 107228
[startup+0.10111 s]
/proc/loadavg: 4.06 4.03 4.06 2/192 28550
/proc/meminfo: memFree=13501836/32950928 swapFree=67111528/67111528
[pid=28550] ppid=28547 vsize=112436 CPUtime=0.09 cores=0,2
/proc/28550/stat : 28550 (mono) R 28547 28550 27807 0 -1 4202496 2912 0 0 0 9 0 0 0 18 0 9 0 418794033 115134464 2813 33554432000 4194304 7232020 140736795413200 18446744073709551615 1088032198 0 0 4096 545260780 18446744073709551615 0 0 17 0 0 0 0
/proc/28550/statm: 28109 2813 1024 742 0 20680 0
[pid=28550/tid=28551] ppid=28547 vsize=112436 CPUtime=0 cores=0,2
/proc/28550/task/28551/stat : 28551 (mono) S 28547 28550 27807 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 9 0 418794033 115134464 2813 33554432000 4194304 7232020 140736795413200 18446744073709551615 218892381081 0 0 4096 545260780 18446604450726687680 0 0 -1 2 0 0 0
[pid=28550/tid=28552] ppid=28547 vsize=112436 CPUtime=0 cores=0,2
/proc/28550/task/28552/stat : 28552 (mono) S 28547 28550 27807 0 -1 4202560 2 0 0 0 0 0 0 0 17 0 9 0 418794033 115134464 2813 33554432000 4194304 7232020 140736795413200 18446744073709551615 218892381081 0 0 4096 545260780 18446604450726687680 0 0 -1 2 0 0 0
[pid=28550/tid=28553] ppid=28547 vsize=112436 CPUtime=0 cores=0,2
/proc/28550/task/28553/stat : 28553 (mono) S 28547 28550 27807 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 418794033 115134464 2813 33554432000 4194304 7232020 140736795413200 18446744073709551615 218892381081 0 0 4096 545260780 18446604450726687680 0 0 -1 2 0 0 0
[pid=28550/tid=28554] ppid=28547 vsize=112436 CPUtime=0 cores=0,2
/proc/28550/task/28554/stat : 28554 (mono) S 28547 28550 27807 0 -1 4202560 2 0 0 0 0 0 0 0 17 0 9 0 418794033 115134464 2813 33554432000 4194304 7232020 140736795413200 18446744073709551615 218892381081 0 0 4096 545260780 18446604450726687680 0 0 -1 2 0 0 0
[pid=28550/tid=28555] ppid=28547 vsize=112436 CPUtime=0 cores=0,2
/proc/28550/task/28555/stat : 28555 (mono) S 28547 28550 27807 0 -1 4202560 2 0 0 0 0 0 0 0 17 0 9 0 418794033 115134464 2813 33554432000 4194304 7232020 140736795413200 18446744073709551615 218892381081 0 0 4096 545260780 18446604450726687680 0 0 -1 2 0 0 0
[pid=28550/tid=28556] ppid=28547 vsize=112436 CPUtime=0 cores=0,2
/proc/28550/task/28556/stat : 28556 (mono) S 28547 28550 27807 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 418794033 115134464 2813 33554432000 4194304 7232020 140736795413200 18446744073709551615 218892381081 0 0 4096 545260780 18446604450726687680 0 0 -1 2 0 0 0
[pid=28550/tid=28557] ppid=28547 vsize=112436 CPUtime=0 cores=0,2
/proc/28550/task/28557/stat : 28557 (mono) S 28547 28550 27807 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 418794033 115134464 2813 33554432000 4194304 7232020 140736795413200 18446744073709551615 218892381081 0 0 4096 545260780 18446604450726687680 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 112436
[startup+0.301122 s]
/proc/loadavg: 4.06 4.03 4.06 2/192 28550
/proc/meminfo: memFree=13501836/32950928 swapFree=67111528/67111528
[pid=28550] ppid=28547 vsize=112500 CPUtime=0.29 cores=0,2
/proc/28550/stat : 28550 (mono) R 28547 28550 27807 0 -1 4202496 2919 0 0 0 29 0 0 0 18 0 9 0 418794033 115200000 2820 33554432000 4194304 7232020 140736795413200 18446744073709551615 218884023280 0 0 4096 545260780 18446744073709551615 0 0 17 0 0 0 0
/proc/28550/statm: 28125 2820 1024 742 0 20696 0
[pid=28550/tid=28551] ppid=28547 vsize=112500 CPUtime=0 cores=0,2
/proc/28550/task/28551/stat : 28551 (mono) S 28547 28550 27807 0 -1 4202560 4 0 0 0 0 0 0 0 23 0 9 0 418794033 115200000 2820 33554432000 4194304 7232020 140736795413200 18446744073709551615 218892381081 0 0 4096 545260780 18446604450726687680 0 0 -1 2 0 0 0
[pid=28550/tid=28552] ppid=28547 vsize=112500 CPUtime=0 cores=0,2
/proc/28550/task/28552/stat : 28552 (mono) S 28547 28550 27807 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 418794033 115200000 2820 33554432000 4194304 7232020 140736795413200 18446744073709551615 218892381081 0 0 4096 545260780 18446604450726687680 0 0 -1 0 0 0 0
[pid=28550/tid=28553] ppid=28547 vsize=112500 CPUtime=0 cores=0,2
/proc/28550/task/28553/stat : 28553 (mono) S 28547 28550 27807 0 -1 4202560 2 0 0 0 0 0 0 0 16 0 9 0 418794033 115200000 2820 33554432000 4194304 7232020 140736795413200 18446744073709551615 218892381081 0 0 4096 545260780 18446604450726687680 0 0 -1 2 0 0 0
[pid=28550/tid=28554] ppid=28547 vsize=112500 CPUtime=0 cores=0,2
/proc/28550/task/28554/stat : 28554 (mono) S 28547 28550 27807 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 418794033 115200000 2820 33554432000 4194304 7232020 140736795413200 18446744073709551615 218892381081 0 0 4096 545260780 18446604450726687680 0 0 -1 2 0 0 0
[pid=28550/tid=28555] ppid=28547 vsize=112500 CPUtime=0 cores=0,2
/proc/28550/task/28555/stat : 28555 (mono) S 28547 28550 27807 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 418794033 115200000 2820 33554432000 4194304 7232020 140736795413200 18446744073709551615 218892381081 0 0 4096 545260780 18446604450726687680 0 0 -1 2 0 0 0
[pid=28550/tid=28556] ppid=28547 vsize=112500 CPUtime=0 cores=0,2
/proc/28550/task/28556/stat : 28556 (mono) S 28547 28550 27807 0 -1 4202560 2 0 0 0 0 0 0 0 16 0 9 0 418794033 115200000 2820 33554432000 4194304 7232020 140736795413200 18446744073709551615 218892381081 0 0 4096 545260780 18446604450726687680 0 0 -1 2 0 0 0
[pid=28550/tid=28557] ppid=28547 vsize=112500 CPUtime=0 cores=0,2
/proc/28550/task/28557/stat : 28557 (mono) S 28547 28550 27807 0 -1 4202560 2 0 0 0 0 0 0 0 23 0 9 0 418794033 115200000 2820 33554432000 4194304 7232020 140736795413200 18446744073709551615 218892381081 0 0 4096 545260780 18446604450726687680 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 112500
[startup+0.701067 s]
/proc/loadavg: 4.06 4.03 4.06 2/192 28550
/proc/meminfo: memFree=13501836/32950928 swapFree=67111528/67111528
[pid=28550] ppid=28547 vsize=112500 CPUtime=0.69 cores=0,2
/proc/28550/stat : 28550 (mono) R 28547 28550 27807 0 -1 4202496 3179 0 0 0 69 0 0 0 18 0 9 0 418794033 115200000 3080 33554432000 4194304 7232020 140736795413200 18446744073709551615 1088033127 0 0 4096 545260780 18446744073709551615 0 0 17 0 0 0 0
/proc/28550/statm: 28125 3080 1024 742 0 20696 0
[pid=28550/tid=28551] ppid=28547 vsize=112500 CPUtime=0 cores=0,2
/proc/28550/task/28551/stat : 28551 (mono) S 28547 28550 27807 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 9 0 418794033 115200000 3080 33554432000 4194304 7232020 140736795413200 18446744073709551615 218892381081 0 0 4096 545260780 18446604450726687680 0 0 -1 2 0 0 0
[pid=28550/tid=28552] ppid=28547 vsize=112500 CPUtime=0 cores=0,2
/proc/28550/task/28552/stat : 28552 (mono) S 28547 28550 27807 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 418794033 115200000 3080 33554432000 4194304 7232020 140736795413200 18446744073709551615 218892381081 0 0 4096 545260780 18446604450726687680 0 0 -1 0 0 0 0
[pid=28550/tid=28553] ppid=28547 vsize=112500 CPUtime=0 cores=0,2
/proc/28550/task/28553/stat : 28553 (mono) S 28547 28550 27807 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 418794033 115200000 3080 33554432000 4194304 7232020 140736795413200 18446744073709551615 218892381081 0 0 4096 545260780 18446604450726687680 0 0 -1 2 0 0 0
[pid=28550/tid=28554] ppid=28547 vsize=112500 CPUtime=0 cores=0,2
/proc/28550/task/28554/stat : 28554 (mono) S 28547 28550 27807 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 418794033 115200000 3080 33554432000 4194304 7232020 140736795413200 18446744073709551615 218892381081 0 0 4096 545260780 18446604450726687680 0 0 -1 2 0 0 0
[pid=28550/tid=28555] ppid=28547 vsize=112500 CPUtime=0 cores=0,2
/proc/28550/task/28555/stat : 28555 (mono) S 28547 28550 27807 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 418794033 115200000 3080 33554432000 4194304 7232020 140736795413200 18446744073709551615 218892381081 0 0 4096 545260780 18446604450726687680 0 0 -1 2 0 0 0
[pid=28550/tid=28556] ppid=28547 vsize=112500 CPUtime=0 cores=0,2
/proc/28550/task/28556/stat : 28556 (mono) S 28547 28550 27807 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 418794033 115200000 3080 33554432000 4194304 7232020 140736795413200 18446744073709551615 218892381081 0 0 4096 545260780 18446604450726687680 0 0 -1 2 0 0 0
[pid=28550/tid=28557] ppid=28547 vsize=112500 CPUtime=0 cores=0,2
/proc/28550/task/28557/stat : 28557 (mono) S 28547 28550 27807 0 -1 4202560 2 0 0 0 0 0 0 0 19 0 9 0 418794033 115200000 3080 33554432000 4194304 7232020 140736795413200 18446744073709551615 218892381081 0 0 4096 545260780 18446604450726687680 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 112500
[startup+1.50086 s]
/proc/loadavg: 4.22 4.06 4.07 5/222 28630
/proc/meminfo: memFree=13473332/32950928 swapFree=67111528/67111528
[pid=28550] ppid=28547 vsize=117508 CPUtime=1.5 cores=0,2
/proc/28550/stat : 28550 (mono) R 28547 28550 27807 0 -1 4202496 3856 0 0 0 150 0 0 0 18 0 9 0 418794033 120328192 3757 33554432000 4194304 7232020 140736795413200 18446744073709551615 1088033460 0 0 4096 545260780 18446744073709551615 0 0 17 2 0 0 0
/proc/28550/statm: 29377 3757 1024 742 0 21948 0
[pid=28550/tid=28551] ppid=28547 vsize=117508 CPUtime=0 cores=0,2
/proc/28550/task/28551/stat : 28551 (mono) S 28547 28550 27807 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 9 0 418794033 120328192 3757 33554432000 4194304 7232020 140736795413200 18446744073709551615 218892381081 0 0 4096 545260780 18446604450726687680 0 0 -1 0 0 0 0
[pid=28550/tid=28552] ppid=28547 vsize=117508 CPUtime=0 cores=0,2
/proc/28550/task/28552/stat : 28552 (mono) S 28547 28550 27807 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 418794033 120328192 3757 33554432000 4194304 7232020 140736795413200 18446744073709551615 218892381081 0 0 4096 545260780 18446604450726687680 0 0 -1 0 0 0 0
[pid=28550/tid=28553] ppid=28547 vsize=117508 CPUtime=0 cores=0,2
/proc/28550/task/28553/stat : 28553 (mono) S 28547 28550 27807 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 418794033 120328192 3757 33554432000 4194304 7232020 140736795413200 18446744073709551615 218892381081 0 0 4096 545260780 18446604450726687680 0 0 -1 0 0 0 0
[pid=28550/tid=28554] ppid=28547 vsize=117508 CPUtime=0 cores=0,2
/proc/28550/task/28554/stat : 28554 (mono) S 28547 28550 27807 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 418794033 120328192 3757 33554432000 4194304 7232020 140736795413200 18446744073709551615 218892381081 0 0 4096 545260780 18446604450726687680 0 0 -1 2 0 0 0
[pid=28550/tid=28555] ppid=28547 vsize=117508 CPUtime=0 cores=0,2
/proc/28550/task/28555/stat : 28555 (mono) S 28547 28550 27807 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 418794033 120328192 3757 33554432000 4194304 7232020 140736795413200 18446744073709551615 218892381081 0 0 4096 545260780 18446604450726687680 0 0 -1 2 0 0 0
[pid=28550/tid=28556] ppid=28547 vsize=117508 CPUtime=0 cores=0,2
/proc/28550/task/28556/stat : 28556 (mono) S 28547 28550 27807 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 418794033 120328192 3757 33554432000 4194304 7232020 140736795413200 18446744073709551615 218892381081 0 0 4096 545260780 18446604450726687680 0 0 -1 2 0 0 0
[pid=28550/tid=28557] ppid=28547 vsize=117508 CPUtime=0 cores=0,2
/proc/28550/task/28557/stat : 28557 (mono) S 28547 28550 27807 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 418794033 120328192 3757 33554432000 4194304 7232020 140736795413200 18446744073709551615 218892381081 0 0 4096 545260780 18446604450726687680 0 0 -1 2 0 0 0
[pid=28550/tid=28560] ppid=28547 vsize=117508 CPUtime=0 cores=0,2
/proc/28550/task/28560/stat : 28560 (mono) S 28547 28550 27807 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 418794034 120328192 3757 33554432000 4194304 7232020 140736795413200 18446744073709551615 218892388785 0 0 4096 545260780 18446604450726687680 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 117508
[startup+3.10064 s]
/proc/loadavg: 4.22 4.06 4.07 6/222 28630
/proc/meminfo: memFree=13461552/32950928 swapFree=67111528/67111528
[pid=28550] ppid=28547 vsize=121780 CPUtime=3.11 cores=0,2
/proc/28550/stat : 28550 (mono) R 28547 28550 27807 0 -1 4202496 4674 0 0 0 311 0 0 0 19 0 9 0 418794033 124702720 4575 33554432000 4194304 7232020 140736795413200 18446744073709551615 1088032878 0 0 4096 545260780 18446744073709551615 0 0 17 0 0 0 0
/proc/28550/statm: 30445 4575 1024 742 0 23016 0
[pid=28550/tid=28551] ppid=28547 vsize=121780 CPUtime=0 cores=0,2
/proc/28550/task/28551/stat : 28551 (mono) S 28547 28550 27807 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 9 0 418794033 124702720 4575 33554432000 4194304 7232020 140736795413200 18446744073709551615 218892381081 0 0 4096 545260780 18446604450726687680 0 0 -1 0 0 0 0
[pid=28550/tid=28552] ppid=28547 vsize=121780 CPUtime=0 cores=0,2
/proc/28550/task/28552/stat : 28552 (mono) S 28547 28550 27807 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 418794033 124702720 4575 33554432000 4194304 7232020 140736795413200 18446744073709551615 218892381081 0 0 4096 545260780 18446604450726687680 0 0 -1 2 0 0 0
[pid=28550/tid=28553] ppid=28547 vsize=121780 CPUtime=0 cores=0,2
/proc/28550/task/28553/stat : 28553 (mono) S 28547 28550 27807 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 418794033 124702720 4575 33554432000 4194304 7232020 140736795413200 18446744073709551615 218892381081 0 0 4096 545260780 18446604450726687680 0 0 -1 0 0 0 0
[pid=28550/tid=28554] ppid=28547 vsize=121780 CPUtime=0 cores=0,2
/proc/28550/task/28554/stat : 28554 (mono) S 28547 28550 27807 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 418794033 124702720 4575 33554432000 4194304 7232020 140736795413200 18446744073709551615 218892381081 0 0 4096 545260780 18446604450726687680 0 0 -1 2 0 0 0
[pid=28550/tid=28555] ppid=28547 vsize=121780 CPUtime=0 cores=0,2
/proc/28550/task/28555/stat : 28555 (mono) S 28547 28550 27807 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 418794033 124702720 4575 33554432000 4194304 7232020 140736795413200 18446744073709551615 218892381081 0 0 4096 545260780 18446604450726687680 0 0 -1 2 0 0 0
[pid=28550/tid=28556] ppid=28547 vsize=121780 CPUtime=0 cores=0,2
/proc/28550/task/28556/stat : 28556 (mono) S 28547 28550 27807 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 418794033 124702720 4575 33554432000 4194304 7232020 140736795413200 18446744073709551615 218892381081 0 0 4096 545260780 18446604450726687680 0 0 -1 2 0 0 0
[pid=28550/tid=28557] ppid=28547 vsize=121780 CPUtime=0 cores=0,2
/proc/28550/task/28557/stat : 28557 (mono) S 28547 28550 27807 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 418794033 124702720 4575 33554432000 4194304 7232020 140736795413200 18446744073709551615 218892381081 0 0 4096 545260780 18446604450726687680 0 0 -1 2 0 0 0
[pid=28550/tid=28560] ppid=28547 vsize=121780 CPUtime=0 cores=0,2
/proc/28550/task/28560/stat : 28560 (mono) S 28547 28550 27807 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 418794034 124702720 4575 33554432000 4194304 7232020 140736795413200 18446744073709551615 218892388785 0 0 4096 545260780 18446604450726687680 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.11
Current children cumulated vsize (KiB) 121780
[startup+6.30108 s]
/proc/loadavg: 4.20 4.06 4.07 5/222 28630
/proc/meminfo: memFree=13448780/32950928 swapFree=67111528/67111528
[pid=28550] ppid=28547 vsize=121844 CPUtime=6.34 cores=0,2
/proc/28550/stat : 28550 (mono) R 28547 28550 27807 0 -1 4202496 5544 0 0 0 633 1 0 0 21 0 9 0 418794033 124768256 5005 33554432000 4194304 7232020 140736795413200 18446744073709551615 1088032885 0 0 4096 545260780 18446744073709551615 0 0 17 0 0 0 0
/proc/28550/statm: 30461 5005 1024 742 0 23032 0
[pid=28550/tid=28551] ppid=28547 vsize=121844 CPUtime=0.01 cores=0,2
/proc/28550/task/28551/stat : 28551 (mono) S 28547 28550 27807 0 -1 4202560 4 0 0 0 1 0 0 0 16 0 9 0 418794033 124768256 5005 33554432000 4194304 7232020 140736795413200 18446744073709551615 218892381081 0 0 4096 545260780 18446604450726687680 0 0 -1 2 0 0 0
[pid=28550/tid=28552] ppid=28547 vsize=121844 CPUtime=0.01 cores=0,2
/proc/28550/task/28552/stat : 28552 (mono) S 28547 28550 27807 0 -1 4202560 2 0 0 0 1 0 0 0 16 0 9 0 418794033 124768256 5005 33554432000 4194304 7232020 140736795413200 18446744073709551615 218892381081 0 0 4096 545260780 18446604450726687680 0 0 -1 2 0 0 0
[pid=28550/tid=28553] ppid=28547 vsize=121844 CPUtime=0.01 cores=0,2
/proc/28550/task/28553/stat : 28553 (mono) S 28547 28550 27807 0 -1 4202560 2 0 0 0 1 0 0 0 15 0 9 0 418794033 124768256 5005 33554432000 4194304 7232020 140736795413200 18446744073709551615 218892381081 0 0 4096 545260780 18446604450726687680 0 0 -1 2 0 0 0
[pid=28550/tid=28554] ppid=28547 vsize=121844 CPUtime=0.01 cores=0,2
/proc/28550/task/28554/stat : 28554 (mono) S 28547 28550 27807 0 -1 4202560 2 0 0 0 1 0 0 0 15 0 9 0 418794033 124768256 5005 33554432000 4194304 7232020 140736795413200 18446744073709551615 218892381081 0 0 4096 545260780 18446604450726687680 0 0 -1 0 0 0 0
[pid=28550/tid=28555] ppid=28547 vsize=121844 CPUtime=0.01 cores=0,2
/proc/28550/task/28555/stat : 28555 (mono) S 28547 28550 27807 0 -1 4202560 2 0 0 0 1 0 0 0 16 0 9 0 418794033 124768256 5005 33554432000 4194304 7232020 140736795413200 18446744073709551615 218892381081 0 0 4096 545260780 18446604450726687680 0 0 -1 2 0 0 0
################
# More data... #
################
/proc/28550/task/28554/stat : 28554 (mono) S 28547 28550 27807 0 -1 4202560 2 0 0 0 110 0 0 0 15 0 9 0 418794033 267280384 39162 33554432000 4194304 7232020 140736795413200 18446744073709551615 218892381081 0 0 4096 545260780 18446604450726687680 0 0 -1 2 0 0 0
[pid=28550/tid=28555] ppid=28547 vsize=261016 CPUtime=1.07 cores=0,2
/proc/28550/task/28555/stat : 28555 (mono) S 28547 28550 27807 0 -1 4202560 2 0 0 0 107 0 0 0 15 0 9 0 418794033 267280384 39162 33554432000 4194304 7232020 140736795413200 18446744073709551615 218892381081 0 0 4096 545260780 18446604450726687680 0 0 -1 0 0 0 0
[pid=28550/tid=28556] ppid=28547 vsize=261016 CPUtime=1.15 cores=0,2
/proc/28550/task/28556/stat : 28556 (mono) S 28547 28550 27807 0 -1 4202560 2 0 0 0 115 0 0 0 16 0 9 0 418794033 267280384 39162 33554432000 4194304 7232020 140736795413200 18446744073709551615 218892381081 0 0 4096 545260780 18446604450726687680 0 0 -1 2 0 0 0
[pid=28550/tid=28557] ppid=28547 vsize=261016 CPUtime=1.13 cores=0,2
/proc/28550/task/28557/stat : 28557 (mono) S 28547 28550 27807 0 -1 4202560 2 0 0 0 113 0 0 0 15 0 9 0 418794033 267280384 39162 33554432000 4194304 7232020 140736795413200 18446744073709551615 218892381081 0 0 4096 545260780 18446604450726687680 0 0 -1 0 0 0 0
[pid=28550/tid=28560] ppid=28547 vsize=261016 CPUtime=0 cores=0,2
/proc/28550/task/28560/stat : 28560 (mono) S 28547 28550 27807 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 418794034 267280384 39162 33554432000 4194304 7232020 140736795413200 18446744073709551615 218892388785 0 0 4096 545260780 18446604450726687680 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 946.27
Current children cumulated vsize (KiB) 261016
[startup+1002.3 s]
/proc/loadavg: 3.29 3.80 3.97 5/208 28683
/proc/meminfo: memFree=13081960/32950928 swapFree=67111528/67111528
[pid=28550] ppid=28547 vsize=285656 CPUtime=1006.36 cores=0,2
/proc/28550/stat : 28550 (mono) R 28547 28550 27807 0 -1 4202496 80175 0 0 0 100599 37 0 0 25 0 9 0 418794033 292511744 46366 33554432000 4194304 7232020 140736795413200 18446744073709551615 1088032885 0 0 4096 545260780 18446744073709551615 0 0 17 0 0 0 0
/proc/28550/statm: 71414 46366 1036 742 0 63985 0
[pid=28550/tid=28551] ppid=28547 vsize=285656 CPUtime=1.31 cores=0,2
/proc/28550/task/28551/stat : 28551 (mono) S 28547 28550 27807 0 -1 4202560 4 0 0 0 130 1 0 0 15 0 9 0 418794033 292511744 46366 33554432000 4194304 7232020 140736795413200 18446744073709551615 218892381081 0 0 4096 545260780 18446604450726687680 0 0 -1 0 0 0 0
[pid=28550/tid=28552] ppid=28547 vsize=285656 CPUtime=1.18 cores=0,2
/proc/28550/task/28552/stat : 28552 (mono) S 28547 28550 27807 0 -1 4202560 2 0 0 0 117 1 0 0 15 0 9 0 418794033 292511744 46366 33554432000 4194304 7232020 140736795413200 18446744073709551615 218892381081 0 0 4096 545260780 18446604450726687680 0 0 -1 0 0 0 0
[pid=28550/tid=28553] ppid=28547 vsize=285656 CPUtime=1.21 cores=0,2
/proc/28550/task/28553/stat : 28553 (mono) S 28547 28550 27807 0 -1 4202560 2 0 0 0 121 0 0 0 15 0 9 0 418794033 292511744 46366 33554432000 4194304 7232020 140736795413200 18446744073709551615 218892381081 0 0 4096 545260780 18446604450726687680 0 0 -1 0 0 0 0
[pid=28550/tid=28554] ppid=28547 vsize=285656 CPUtime=1.12 cores=0,2
/proc/28550/task/28554/stat : 28554 (mono) S 28547 28550 27807 0 -1 4202560 2 0 0 0 112 0 0 0 16 0 9 0 418794033 292511744 46366 33554432000 4194304 7232020 140736795413200 18446744073709551615 218892381081 0 0 4096 545260780 18446604450726687680 0 0 -1 2 0 0 0
[pid=28550/tid=28555] ppid=28547 vsize=285656 CPUtime=1.09 cores=0,2
/proc/28550/task/28555/stat : 28555 (mono) S 28547 28550 27807 0 -1 4202560 2 0 0 0 109 0 0 0 16 0 9 0 418794033 292511744 46366 33554432000 4194304 7232020 140736795413200 18446744073709551615 218892381081 0 0 4096 545260780 18446604450726687680 0 0 -1 0 0 0 0
[pid=28550/tid=28556] ppid=28547 vsize=285656 CPUtime=1.18 cores=0,2
/proc/28550/task/28556/stat : 28556 (mono) S 28547 28550 27807 0 -1 4202560 2 0 0 0 118 0 0 0 16 0 9 0 418794033 292511744 46366 33554432000 4194304 7232020 140736795413200 18446744073709551615 218892381081 0 0 4096 545260780 18446604450726687680 0 0 -1 2 0 0 0
[pid=28550/tid=28557] ppid=28547 vsize=285656 CPUtime=1.17 cores=0,2
/proc/28550/task/28557/stat : 28557 (mono) S 28547 28550 27807 0 -1 4202560 2 0 0 0 117 0 0 0 16 0 9 0 418794033 292511744 46366 33554432000 4194304 7232020 140736795413200 18446744073709551615 218892381081 0 0 4096 545260780 18446604450726687680 0 0 -1 2 0 0 0
[pid=28550/tid=28560] ppid=28547 vsize=285656 CPUtime=0 cores=0,2
/proc/28550/task/28560/stat : 28560 (mono) S 28547 28550 27807 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 418794034 292511744 46366 33554432000 4194304 7232020 140736795413200 18446744073709551615 218892388785 0 0 4096 545260780 18446604450726687680 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1006.36
Current children cumulated vsize (KiB) 285656
[startup+1062.3 s]
/proc/loadavg: 3.37 3.71 3.93 4/208 28685
/proc/meminfo: memFree=13067664/32950928 swapFree=67111528/67111528
[pid=28550] ppid=28547 vsize=293912 CPUtime=1066.72 cores=0,2
/proc/28550/stat : 28550 (mono) R 28547 28550 27807 0 -1 4202496 81053 0 0 0 106634 38 0 0 25 0 9 0 418794033 300965888 46952 33554432000 4194304 7232020 140736795413200 18446744073709551615 1088032878 0 0 4096 545260780 18446744073709551615 0 0 17 0 0 0 0
/proc/28550/statm: 73478 46952 1036 742 0 66049 0
[pid=28550/tid=28551] ppid=28547 vsize=293912 CPUtime=1.44 cores=0,2
/proc/28550/task/28551/stat : 28551 (mono) S 28547 28550 27807 0 -1 4202560 4 0 0 0 143 1 0 0 16 0 9 0 418794033 300965888 46952 33554432000 4194304 7232020 140736795413200 18446744073709551615 218892381081 0 0 4096 545260780 18446604450726687680 0 0 -1 2 0 0 0
[pid=28550/tid=28552] ppid=28547 vsize=293912 CPUtime=1.23 cores=0,2
/proc/28550/task/28552/stat : 28552 (mono) S 28547 28550 27807 0 -1 4202560 2 0 0 0 122 1 0 0 15 0 9 0 418794033 300965888 46952 33554432000 4194304 7232020 140736795413200 18446744073709551615 218892381081 0 0 4096 545260780 18446604450726687680 0 0 -1 0 0 0 0
[pid=28550/tid=28553] ppid=28547 vsize=293912 CPUtime=1.33 cores=0,2
/proc/28550/task/28553/stat : 28553 (mono) S 28547 28550 27807 0 -1 4202560 2 0 0 0 133 0 0 0 16 0 9 0 418794033 300965888 46952 33554432000 4194304 7232020 140736795413200 18446744073709551615 218892381081 0 0 4096 545260780 18446604450726687680 0 0 -1 2 0 0 0
[pid=28550/tid=28554] ppid=28547 vsize=293912 CPUtime=1.2 cores=0,2
/proc/28550/task/28554/stat : 28554 (mono) S 28547 28550 27807 0 -1 4202560 2 0 0 0 120 0 0 0 16 0 9 0 418794033 300965888 46952 33554432000 4194304 7232020 140736795413200 18446744073709551615 218892381081 0 0 4096 545260780 18446604450726687680 0 0 -1 0 0 0 0
[pid=28550/tid=28555] ppid=28547 vsize=293912 CPUtime=1.22 cores=0,2
/proc/28550/task/28555/stat : 28555 (mono) S 28547 28550 27807 0 -1 4202560 2 0 0 0 122 0 0 0 16 0 9 0 418794033 300965888 46952 33554432000 4194304 7232020 140736795413200 18446744073709551615 218892381081 0 0 4096 545260780 18446604450726687680 0 0 -1 2 0 0 0
[pid=28550/tid=28556] ppid=28547 vsize=293912 CPUtime=1.3 cores=0,2
/proc/28550/task/28556/stat : 28556 (mono) S 28547 28550 27807 0 -1 4202560 2 0 0 0 130 0 0 0 15 0 9 0 418794033 300965888 46952 33554432000 4194304 7232020 140736795413200 18446744073709551615 218892381081 0 0 4096 545260780 18446604450726687680 0 0 -1 0 0 0 0
[pid=28550/tid=28557] ppid=28547 vsize=293912 CPUtime=1.26 cores=0,2
/proc/28550/task/28557/stat : 28557 (mono) S 28547 28550 27807 0 -1 4202560 2 0 0 0 126 0 0 0 16 0 9 0 418794033 300965888 46952 33554432000 4194304 7232020 140736795413200 18446744073709551615 218892381081 0 0 4096 545260780 18446604450726687680 0 0 -1 2 0 0 0
[pid=28550/tid=28560] ppid=28547 vsize=293912 CPUtime=0.01 cores=0,2
/proc/28550/task/28560/stat : 28560 (mono) S 28547 28550 27807 0 -1 4202560 3 0 0 0 1 0 0 0 15 0 9 0 418794034 300965888 46952 33554432000 4194304 7232020 140736795413200 18446744073709551615 218892388785 0 0 4096 545260780 18446604450726687680 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1066.72
Current children cumulated vsize (KiB) 293912
[startup+1122.3 s]
/proc/loadavg: 3.14 3.58 3.87 5/208 28686
/proc/meminfo: memFree=13042820/32950928 swapFree=67111528/67111528
[pid=28550] ppid=28547 vsize=294616 CPUtime=1126.81 cores=0,2
/proc/28550/stat : 28550 (mono) R 28547 28550 27807 0 -1 4202496 82000 0 0 0 112643 38 0 0 25 0 9 0 418794033 301686784 47899 33554432000 4194304 7232020 140736795413200 18446744073709551615 1088032878 0 0 4096 545260780 18446744073709551615 0 0 17 0 0 0 0
/proc/28550/statm: 73654 47899 1036 742 0 66225 0
[pid=28550/tid=28551] ppid=28547 vsize=294616 CPUtime=1.48 cores=0,2
/proc/28550/task/28551/stat : 28551 (mono) S 28547 28550 27807 0 -1 4202560 4 0 0 0 147 1 0 0 16 0 9 0 418794033 301686784 47899 33554432000 4194304 7232020 140736795413200 18446744073709551615 218892381081 0 0 4096 545260780 18446604450726687680 0 0 -1 0 0 0 0
[pid=28550/tid=28552] ppid=28547 vsize=294616 CPUtime=1.26 cores=0,2
/proc/28550/task/28552/stat : 28552 (mono) S 28547 28550 27807 0 -1 4202560 2 0 0 0 125 1 0 0 15 0 9 0 418794033 301686784 47899 33554432000 4194304 7232020 140736795413200 18446744073709551615 218892381081 0 0 4096 545260780 18446604450726687680 0 0 -1 0 0 0 0
[pid=28550/tid=28553] ppid=28547 vsize=294616 CPUtime=1.37 cores=0,2
/proc/28550/task/28553/stat : 28553 (mono) S 28547 28550 27807 0 -1 4202560 2 0 0 0 136 1 0 0 16 0 9 0 418794033 301686784 47899 33554432000 4194304 7232020 140736795413200 18446744073709551615 218892381081 0 0 4096 545260780 18446604450726687680 0 0 -1 2 0 0 0
[pid=28550/tid=28554] ppid=28547 vsize=294616 CPUtime=1.23 cores=0,2
/proc/28550/task/28554/stat : 28554 (mono) S 28547 28550 27807 0 -1 4202560 2 0 0 0 123 0 0 0 15 0 9 0 418794033 301686784 47899 33554432000 4194304 7232020 140736795413200 18446744073709551615 218892381081 0 0 4096 545260780 18446604450726687680 0 0 -1 0 0 0 0
[pid=28550/tid=28555] ppid=28547 vsize=294616 CPUtime=1.26 cores=0,2
/proc/28550/task/28555/stat : 28555 (mono) S 28547 28550 27807 0 -1 4202560 2 0 0 0 126 0 0 0 15 0 9 0 418794033 301686784 47899 33554432000 4194304 7232020 140736795413200 18446744073709551615 218892381081 0 0 4096 545260780 18446604450726687680 0 0 -1 0 0 0 0
[pid=28550/tid=28556] ppid=28547 vsize=294616 CPUtime=1.31 cores=0,2
/proc/28550/task/28556/stat : 28556 (mono) S 28547 28550 27807 0 -1 4202560 2 0 0 0 131 0 0 0 16 0 9 0 418794033 301686784 47899 33554432000 4194304 7232020 140736795413200 18446744073709551615 218892381081 0 0 4096 545260780 18446604450726687680 0 0 -1 2 0 0 0
[pid=28550/tid=28557] ppid=28547 vsize=294616 CPUtime=1.29 cores=0,2
/proc/28550/task/28557/stat : 28557 (mono) S 28547 28550 27807 0 -1 4202560 2 0 0 0 129 0 0 0 16 0 9 0 418794033 301686784 47899 33554432000 4194304 7232020 140736795413200 18446744073709551615 218892381081 0 0 4096 545260780 18446604450726687680 0 0 -1 2 0 0 0
[pid=28550/tid=28560] ppid=28547 vsize=294616 CPUtime=0.01 cores=0,2
/proc/28550/task/28560/stat : 28560 (mono) S 28547 28550 27807 0 -1 4202560 3 0 0 0 1 0 0 0 15 0 9 0 418794034 301686784 47899 33554432000 4194304 7232020 140736795413200 18446744073709551615 218892388785 0 0 4096 545260780 18446604450726687680 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1126.81
Current children cumulated vsize (KiB) 294616
[startup+1182.3 s]
/proc/loadavg: 3.30 3.53 3.83 5/208 28688
/proc/meminfo: memFree=13070036/32950928 swapFree=67111528/67111528
[pid=28550] ppid=28547 vsize=294616 CPUtime=1187.19 cores=0,2
/proc/28550/stat : 28550 (mono) R 28547 28550 27807 0 -1 4202496 90135 0 0 0 118677 42 0 0 25 0 9 0 418794033 301686784 36960 33554432000 4194304 7232020 140736795413200 18446744073709551615 1088033310 0 0 4096 545260780 18446744073709551615 0 0 17 0 0 0 0
/proc/28550/statm: 73654 36960 1036 742 0 66225 0
[pid=28550/tid=28551] ppid=28547 vsize=294616 CPUtime=1.62 cores=0,2
/proc/28550/task/28551/stat : 28551 (mono) S 28547 28550 27807 0 -1 4202560 4 0 0 0 161 1 0 0 16 0 9 0 418794033 301686784 36960 33554432000 4194304 7232020 140736795413200 18446744073709551615 218892381081 0 0 4096 545260780 18446604450726687680 0 0 -1 2 0 0 0
[pid=28550/tid=28552] ppid=28547 vsize=294616 CPUtime=1.36 cores=0,2
/proc/28550/task/28552/stat : 28552 (mono) S 28547 28550 27807 0 -1 4202560 2 0 0 0 135 1 0 0 15 0 9 0 418794033 301686784 36960 33554432000 4194304 7232020 140736795413200 18446744073709551615 218892381081 0 0 4096 545260780 18446604450726687680 0 0 -1 2 0 0 0
[pid=28550/tid=28553] ppid=28547 vsize=294616 CPUtime=1.48 cores=0,2
/proc/28550/task/28553/stat : 28553 (mono) S 28547 28550 27807 0 -1 4202560 2 0 0 0 147 1 0 0 15 0 9 0 418794033 301686784 36960 33554432000 4194304 7232020 140736795413200 18446744073709551615 218892381081 0 0 4096 545260780 18446604450726687680 0 0 -1 0 0 0 0
[pid=28550/tid=28554] ppid=28547 vsize=294616 CPUtime=1.32 cores=0,2
/proc/28550/task/28554/stat : 28554 (mono) S 28547 28550 27807 0 -1 4202560 2 0 0 0 132 0 0 0 15 0 9 0 418794033 301686784 36960 33554432000 4194304 7232020 140736795413200 18446744073709551615 218892381081 0 0 4096 545260780 18446604450726687680 0 0 -1 2 0 0 0
[pid=28550/tid=28555] ppid=28547 vsize=294616 CPUtime=1.42 cores=0,2
/proc/28550/task/28555/stat : 28555 (mono) S 28547 28550 27807 0 -1 4202560 2 0 0 0 142 0 0 0 16 0 9 0 418794033 301686784 36960 33554432000 4194304 7232020 140736795413200 18446744073709551615 218892381081 0 0 4096 545260780 18446604450726687680 0 0 -1 2 0 0 0
[pid=28550/tid=28556] ppid=28547 vsize=294616 CPUtime=1.45 cores=0,2
/proc/28550/task/28556/stat : 28556 (mono) S 28547 28550 27807 0 -1 4202560 2 0 0 0 145 0 0 0 16 0 9 0 418794033 301686784 36960 33554432000 4194304 7232020 140736795413200 18446744073709551615 218892381081 0 0 4096 545260780 18446604450726687680 0 0 -1 2 0 0 0
[pid=28550/tid=28557] ppid=28547 vsize=294616 CPUtime=1.38 cores=0,2
/proc/28550/task/28557/stat : 28557 (mono) S 28547 28550 27807 0 -1 4202560 2 0 0 0 138 0 0 0 16 0 9 0 418794033 301686784 36960 33554432000 4194304 7232020 140736795413200 18446744073709551615 218892381081 0 0 4096 545260780 18446604450726687680 0 0 -1 0 0 0 0
[pid=28550/tid=28560] ppid=28547 vsize=294616 CPUtime=0.01 cores=0,2
/proc/28550/task/28560/stat : 28560 (mono) S 28547 28550 27807 0 -1 4202560 3 0 0 0 1 0 0 0 15 0 9 0 418794034 301686784 36960 33554432000 4194304 7232020 140736795413200 18446744073709551615 218892388785 0 0 4096 545260780 18446604450726687680 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1187.19
Current children cumulated vsize (KiB) 294616
[startup+1242.3 s]
/proc/loadavg: 3.11 3.43 3.78 4/208 28689
/proc/meminfo: memFree=12996700/32950928 swapFree=67111528/67111528
[pid=28550] ppid=28547 vsize=294616 CPUtime=1247.54 cores=0,2
/proc/28550/stat : 28550 (mono) R 28547 28550 27807 0 -1 4202496 94712 0 0 0 124709 45 0 0 25 0 9 0 418794033 301686784 39674 33554432000 4194304 7232020 140736795413200 18446744073709551615 1088033108 0 0 4096 545260780 18446744073709551615 0 0 17 0 0 0 0
/proc/28550/statm: 73654 39674 1036 742 0 66225 0
[pid=28550/tid=28551] ppid=28547 vsize=294616 CPUtime=1.75 cores=0,2
/proc/28550/task/28551/stat : 28551 (mono) S 28547 28550 27807 0 -1 4202560 4 0 0 0 174 1 0 0 16 0 9 0 418794033 301686784 39674 33554432000 4194304 7232020 140736795413200 18446744073709551615 218892381081 0 0 4096 545260780 18446604450726687680 0 0 -1 2 0 0 0
[pid=28550/tid=28552] ppid=28547 vsize=294616 CPUtime=1.45 cores=0,2
/proc/28550/task/28552/stat : 28552 (mono) S 28547 28550 27807 0 -1 4202560 2 0 0 0 144 1 0 0 15 0 9 0 418794033 301686784 39674 33554432000 4194304 7232020 140736795413200 18446744073709551615 218892381081 0 0 4096 545260780 18446604450726687680 0 0 -1 0 0 0 0
[pid=28550/tid=28553] ppid=28547 vsize=294616 CPUtime=1.58 cores=0,2
/proc/28550/task/28553/stat : 28553 (mono) S 28547 28550 27807 0 -1 4202560 2 0 0 0 157 1 0 0 15 0 9 0 418794033 301686784 39674 33554432000 4194304 7232020 140736795413200 18446744073709551615 218892381081 0 0 4096 545260780 18446604450726687680 0 0 -1 0 0 0 0
[pid=28550/tid=28554] ppid=28547 vsize=294616 CPUtime=1.4 cores=0,2
/proc/28550/task/28554/stat : 28554 (mono) S 28547 28550 27807 0 -1 4202560 2 0 0 0 140 0 0 0 16 0 9 0 418794033 301686784 39674 33554432000 4194304 7232020 140736795413200 18446744073709551615 218892381081 0 0 4096 545260780 18446604450726687680 0 0 -1 2 0 0 0
[pid=28550/tid=28555] ppid=28547 vsize=294616 CPUtime=1.55 cores=0,2
/proc/28550/task/28555/stat : 28555 (mono) S 28547 28550 27807 0 -1 4202560 2 0 0 0 154 1 0 0 16 0 9 0 418794033 301686784 39674 33554432000 4194304 7232020 140736795413200 18446744073709551615 218892381081 0 0 4096 545260780 18446604450726687680 0 0 -1 0 0 0 0
[pid=28550/tid=28556] ppid=28547 vsize=294616 CPUtime=1.58 cores=0,2
/proc/28550/task/28556/stat : 28556 (mono) S 28547 28550 27807 0 -1 4202560 2 0 0 0 158 0 0 0 15 0 9 0 418794033 301686784 39674 33554432000 4194304 7232020 140736795413200 18446744073709551615 218892381081 0 0 4096 545260780 18446604450726687680 0 0 -1 0 0 0 0
[pid=28550/tid=28557] ppid=28547 vsize=294616 CPUtime=1.46 cores=0,2
/proc/28550/task/28557/stat : 28557 (mono) S 28547 28550 27807 0 -1 4202560 2 0 0 0 146 0 0 0 16 0 9 0 418794033 301686784 39674 33554432000 4194304 7232020 140736795413200 18446744073709551615 218892381081 0 0 4096 545260780 18446604450726687680 0 0 -1 2 0 0 0
[pid=28550/tid=28560] ppid=28547 vsize=294616 CPUtime=0.01 cores=0,2
/proc/28550/task/28560/stat : 28560 (mono) S 28547 28550 27807 0 -1 4202560 3 0 0 0 1 0 0 0 15 0 9 0 418794034 301686784 39674 33554432000 4194304 7232020 140736795413200 18446744073709551615 218892388785 0 0 4096 545260780 18446604450726687680 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1247.54
Current children cumulated vsize (KiB) 294616
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1300 s]
/proc/loadavg: 3.04 3.36 3.73 4/208 28691
/proc/meminfo: memFree=12964764/32950928 swapFree=67111528/67111528
[pid=28550] ppid=28547 vsize=294616 CPUtime=1305.62 cores=0,2
/proc/28550/stat : 28550 (mono) R 28547 28550 27807 0 -1 4202496 99891 0 0 0 130516 46 0 0 25 0 9 0 418794033 301686784 43839 33554432000 4194304 7232020 140736795413200 18446744073709551615 1088032878 0 0 4096 545260780 18446744073709551615 0 0 17 0 0 0 0
/proc/28550/statm: 73654 43839 1036 742 0 66225 0
[pid=28550/tid=28551] ppid=28547 vsize=294616 CPUtime=1.84 cores=0,2
/proc/28550/task/28551/stat : 28551 (mono) S 28547 28550 27807 0 -1 4202560 4 0 0 0 183 1 0 0 16 0 9 0 418794033 301686784 43839 33554432000 4194304 7232020 140736795413200 18446744073709551615 218892381081 0 0 4096 545260780 18446604450726687680 0 0 -1 2 0 0 0
[pid=28550/tid=28552] ppid=28547 vsize=294616 CPUtime=1.56 cores=0,2
/proc/28550/task/28552/stat : 28552 (mono) S 28547 28550 27807 0 -1 4202560 2 0 0 0 155 1 0 0 15 0 9 0 418794033 301686784 43839 33554432000 4194304 7232020 140736795413200 18446744073709551615 218892381081 0 0 4096 545260780 18446604450726687680 0 0 -1 0 0 0 0
[pid=28550/tid=28553] ppid=28547 vsize=294616 CPUtime=1.7 cores=0,2
/proc/28550/task/28553/stat : 28553 (mono) S 28547 28550 27807 0 -1 4202560 2 0 0 0 169 1 0 0 16 0 9 0 418794033 301686784 43839 33554432000 4194304 7232020 140736795413200 18446744073709551615 218892381081 0 0 4096 545260780 18446604450726687680 0 0 -1 2 0 0 0
[pid=28550/tid=28554] ppid=28547 vsize=294616 CPUtime=1.53 cores=0,2
/proc/28550/task/28554/stat : 28554 (mono) S 28547 28550 27807 0 -1 4202560 2 0 0 0 153 0 0 0 15 0 9 0 418794033 301686784 43839 33554432000 4194304 7232020 140736795413200 18446744073709551615 218892381081 0 0 4096 545260780 18446604450726687680 0 0 -1 2 0 0 0
[pid=28550/tid=28555] ppid=28547 vsize=294616 CPUtime=1.68 cores=0,2
/proc/28550/task/28555/stat : 28555 (mono) S 28547 28550 27807 0 -1 4202560 2 0 0 0 167 1 0 0 16 0 9 0 418794033 301686784 43839 33554432000 4194304 7232020 140736795413200 18446744073709551615 218892381081 0 0 4096 545260780 18446604450726687680 0 0 -1 2 0 0 0
[pid=28550/tid=28556] ppid=28547 vsize=294616 CPUtime=1.66 cores=0,2
/proc/28550/task/28556/stat : 28556 (mono) S 28547 28550 27807 0 -1 4202560 2 0 0 0 166 0 0 0 16 0 9 0 418794033 301686784 43839 33554432000 4194304 7232020 140736795413200 18446744073709551615 218892381081 0 0 4096 545260780 18446604450726687680 0 0 -1 2 0 0 0
[pid=28550/tid=28557] ppid=28547 vsize=294616 CPUtime=1.59 cores=0,2
/proc/28550/task/28557/stat : 28557 (mono) S 28547 28550 27807 0 -1 4202560 2 0 0 0 159 0 0 0 15 0 9 0 418794033 301686784 43839 33554432000 4194304 7232020 140736795413200 18446744073709551615 218892381081 0 0 4096 545260780 18446604450726687680 0 0 -1 0 0 0 0
[pid=28550/tid=28560] ppid=28547 vsize=294616 CPUtime=0.01 cores=0,2
/proc/28550/task/28560/stat : 28560 (mono) S 28547 28550 27807 0 -1 4202560 3 0 0 0 1 0 0 0 15 0 9 0 418794034 301686784 43839 33554432000 4194304 7232020 140736795413200 18446744073709551615 218892388785 0 0 4096 545260780 18446604450726687680 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1305.62
Current children cumulated vsize (KiB) 294616
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.02
CPU time (s): 1305.65
CPU user time (s): 1305.17
CPU system time (s): 0.477927
CPU usage (%): 100.433
Max. virtual memory (cumulated for all children) (KiB): 294616
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1305.17
system time used= 0.477927
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 99891
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= 46299
involuntary context switches= 15177
runsolver used 2.34264 second user time and 4.77427 second system time
The end