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-3189106-1302281703/watcher-3189106-1302281703 -o /tmp/evaluation-result-3189106-1302281703/solver-3189106-1302281703 -C 2400 -W 1300 -M 7680 mono Main.exe HOME/instance-3189106-1302281703.cnf
running on 2 cores: 5,7
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.00 4.05 4.51 4/198 27434
/proc/meminfo: memFree=12734976/32951132 swapFree=67111528/67111528
[pid=27434] ppid=27432 vsize=102604 CPUtime=0 cores=5,7
/proc/27434/stat : 27434 (mono) R 27432 27434 27190 0 -1 4202496 908 0 0 0 0 0 0 0 25 0 8 0 339769967 105066496 814 33554432000 4194304 7232020 140734842268576 18446744073709551615 5667152 0 0 4096 545260780 18446744073709551615 0 0 17 5 0 0 0
/proc/27434/statm: 25651 815 635 742 0 18222 0
[pid=27434/tid=27435] ppid=27432 vsize=102604 CPUtime=0 cores=5,7
/proc/27434/task/27435/stat : 27435 (mono) S 27432 27434 27190 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 8 0 339769967 105066496 818 33554432000 4194304 7232020 140734842268576 18446744073709551615 274676624281 0 0 4096 545260780 18446604471138620672 0 0 -1 5 0 0 0
[pid=27434/tid=27436] ppid=27432 vsize=102604 CPUtime=0 cores=5,7
/proc/27434/task/27436/stat : 27436 (mono) S 27432 27434 27190 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 8 0 339769967 105066496 820 33554432000 4194304 7232020 140734842268576 18446744073709551615 274676624281 0 0 4096 545260780 18446604471138620672 0 0 -1 5 0 0 0
[pid=27434/tid=27437] ppid=27432 vsize=102604 CPUtime=0 cores=5,7
/proc/27434/task/27437/stat : 27437 (mono) S 27432 27434 27190 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 8 0 339769967 105066496 821 33554432000 4194304 7232020 140734842268576 18446744073709551615 274676624281 0 0 4096 545260780 18446604471138620672 0 0 -1 5 0 0 0
[pid=27434/tid=27438] ppid=27432 vsize=102604 CPUtime=0 cores=5,7
/proc/27434/task/27438/stat : 27438 (mono) S 27432 27434 27190 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 8 0 339769967 105066496 821 33554432000 4194304 7232020 140734842268576 18446744073709551615 274676624281 0 0 4096 545260780 18446604471138620672 0 0 -1 5 0 0 0
[pid=27434/tid=27439] ppid=27432 vsize=102604 CPUtime=0 cores=5,7
/proc/27434/task/27439/stat : 27439 (mono) S 27432 27434 27190 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 8 0 339769967 105066496 822 33554432000 4194304 7232020 140734842268576 18446744073709551615 274676624281 0 0 4096 545260780 18446604471138620672 0 0 -1 5 0 0 0
[pid=27434/tid=27440] ppid=27432 vsize=102604 CPUtime=0 cores=5,7
/proc/27434/task/27440/stat : 27440 (mono) S 27432 27434 27190 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 8 0 339769967 105066496 824 33554432000 4194304 7232020 140734842268576 18446744073709551615 274676624281 0 0 4096 545260780 18446604471138620672 0 0 -1 5 0 0 0
[pid=27434/tid=27441] ppid=27432 vsize=102604 CPUtime=0 cores=5,7
/proc/27434/task/27441/stat : 27441 (mono) S 27432 27434 27190 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 8 0 339769967 105066496 825 33554432000 4194304 7232020 140734842268576 18446744073709551615 274676624281 0 0 4096 545260780 18446604471138620672 0 0 -1 5 0 0 0
[startup+0.0211069 s]
/proc/loadavg: 4.00 4.05 4.51 4/198 27434
/proc/meminfo: memFree=12734976/32951132 swapFree=67111528/67111528
[pid=27434] ppid=27432 vsize=105932 CPUtime=0.01 cores=5,7
/proc/27434/stat : 27434 (mono) R 27432 27434 27190 0 -1 4202496 1488 0 0 0 1 0 0 0 25 0 9 0 339769967 108474368 1390 33554432000 4194304 7232020 140734842268576 18446744073709551615 274664469189 0 0 4096 545260780 18446744073709551615 0 0 17 5 0 0 0
/proc/27434/statm: 26483 1391 962 742 0 19054 0
[pid=27434/tid=27435] ppid=27432 vsize=105932 CPUtime=0 cores=5,7
/proc/27434/task/27435/stat : 27435 (mono) S 27432 27434 27190 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 9 0 339769967 108474368 1391 33554432000 4194304 7232020 140734842268576 18446744073709551615 274676624281 0 0 4096 545260780 18446604471138620672 0 0 -1 5 0 0 0
[pid=27434/tid=27436] ppid=27432 vsize=105932 CPUtime=0 cores=5,7
/proc/27434/task/27436/stat : 27436 (mono) S 27432 27434 27190 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 339769967 108474368 1392 33554432000 4194304 7232020 140734842268576 18446744073709551615 274676624281 0 0 4096 545260780 18446604471138620672 0 0 -1 5 0 0 0
[pid=27434/tid=27437] ppid=27432 vsize=105900 CPUtime=0 cores=5,7
/proc/27434/task/27437/stat : 27437 (mono) S 27432 27434 27190 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 339769967 108441600 1392 33554432000 4194304 7232020 140734842268576 18446744073709551615 274676624281 0 0 4096 545260780 18446604471138620672 0 0 -1 5 0 0 0
[pid=27434/tid=27438] ppid=27432 vsize=105868 CPUtime=0 cores=5,7
/proc/27434/task/27438/stat : 27438 (mono) S 27432 27434 27190 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 339769967 108408832 1392 33554432000 4194304 7232020 140734842268576 18446744073709551615 274676624281 0 0 4096 545260780 18446604471138620672 0 0 -1 5 0 0 0
[pid=27434/tid=27439] ppid=27432 vsize=105868 CPUtime=0 cores=5,7
/proc/27434/task/27439/stat : 27439 (mono) S 27432 27434 27190 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 339769967 108408832 1392 33554432000 4194304 7232020 140734842268576 18446744073709551615 274676624281 0 0 4096 545260780 18446604471138620672 0 0 -1 5 0 0 0
[pid=27434/tid=27440] ppid=27432 vsize=105868 CPUtime=0 cores=5,7
/proc/27434/task/27440/stat : 27440 (mono) S 27432 27434 27190 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 339769967 108408832 1393 33554432000 4194304 7232020 140734842268576 18446744073709551615 274676624281 0 0 4096 545260780 18446604471138620672 0 0 -1 5 0 0 0
[pid=27434/tid=27441] ppid=27432 vsize=105868 CPUtime=0 cores=5,7
/proc/27434/task/27441/stat : 27441 (mono) S 27432 27434 27190 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 339769967 108408832 1393 33554432000 4194304 7232020 140734842268576 18446744073709551615 274676624281 0 0 4096 545260780 18446604471138620672 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 105932
[startup+0.101093 s]
/proc/loadavg: 4.00 4.05 4.51 4/198 27434
/proc/meminfo: memFree=12734976/32951132 swapFree=67111528/67111528
[pid=27434] ppid=27432 vsize=108624 CPUtime=0.09 cores=5,7
/proc/27434/stat : 27434 (mono) R 27432 27434 27190 0 -1 4202496 2134 0 0 0 9 0 0 0 18 0 9 0 339769967 111230976 2034 33554432000 4194304 7232020 140734842268576 18446744073709551615 274676620527 0 0 4096 545260780 18446744073709551615 0 0 17 5 0 0 0
/proc/27434/statm: 27156 2034 975 742 0 19727 0
[pid=27434/tid=27435] ppid=27432 vsize=108624 CPUtime=0 cores=5,7
/proc/27434/task/27435/stat : 27435 (mono) S 27432 27434 27190 0 -1 4202560 4 0 0 0 0 0 0 0 17 0 9 0 339769967 111230976 2034 33554432000 4194304 7232020 140734842268576 18446744073709551615 274676624281 0 0 4096 545260780 18446604471138620672 0 0 -1 7 0 0 0
[pid=27434/tid=27436] ppid=27432 vsize=108624 CPUtime=0 cores=5,7
/proc/27434/task/27436/stat : 27436 (mono) R 27432 27434 27190 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 339769967 111230976 2034 33554432000 4194304 7232020 140734842268576 18446744073709551615 274676624281 0 0 4096 545260780 0 0 0 -1 5 0 0 0
[pid=27434/tid=27437] ppid=27432 vsize=108624 CPUtime=0 cores=5,7
/proc/27434/task/27437/stat : 27437 (mono) S 27432 27434 27190 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 339769967 111230976 2034 33554432000 4194304 7232020 140734842268576 18446744073709551615 274676624281 0 0 4096 545260780 18446604471138620672 0 0 -1 7 0 0 0
[pid=27434/tid=27438] ppid=27432 vsize=108624 CPUtime=0 cores=5,7
/proc/27434/task/27438/stat : 27438 (mono) S 27432 27434 27190 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 339769967 111230976 2034 33554432000 4194304 7232020 140734842268576 18446744073709551615 274676624281 0 0 4096 545260780 18446604471138620672 0 0 -1 7 0 0 0
[pid=27434/tid=27439] ppid=27432 vsize=108624 CPUtime=0 cores=5,7
/proc/27434/task/27439/stat : 27439 (mono) S 27432 27434 27190 0 -1 4202560 2 0 0 0 0 0 0 0 17 0 9 0 339769967 111230976 2034 33554432000 4194304 7232020 140734842268576 18446744073709551615 274676624281 0 0 4096 545260780 18446604471138620672 0 0 -1 5 0 0 0
[pid=27434/tid=27440] ppid=27432 vsize=108624 CPUtime=0 cores=5,7
/proc/27434/task/27440/stat : 27440 (mono) S 27432 27434 27190 0 -1 4202560 2 0 0 0 0 0 0 0 17 0 9 0 339769967 111230976 2034 33554432000 4194304 7232020 140734842268576 18446744073709551615 274676624281 0 0 4096 545260780 18446604471138620672 0 0 -1 7 0 0 0
[pid=27434/tid=27441] ppid=27432 vsize=108624 CPUtime=0 cores=5,7
/proc/27434/task/27441/stat : 27441 (mono) S 27432 27434 27190 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 339769967 111230976 2034 33554432000 4194304 7232020 140734842268576 18446744073709551615 274676624281 0 0 4096 545260780 18446604471138620672 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 108624
[startup+0.301059 s]
/proc/loadavg: 4.00 4.05 4.51 4/198 27434
/proc/meminfo: memFree=12734976/32951132 swapFree=67111528/67111528
[pid=27434] ppid=27432 vsize=136392 CPUtime=0.3 cores=5,7
/proc/27434/stat : 27434 (mono) R 27432 27434 27190 0 -1 4202496 8410 0 0 0 29 1 0 0 18 0 9 0 339769967 139665408 8310 33554432000 4194304 7232020 140734842268576 18446744073709551615 1077957467 0 0 4096 545260780 18446744073709551615 0 0 17 5 0 0 0
/proc/27434/statm: 34098 8310 999 742 0 26669 0
[pid=27434/tid=27435] ppid=27432 vsize=136392 CPUtime=0 cores=5,7
/proc/27434/task/27435/stat : 27435 (mono) S 27432 27434 27190 0 -1 4202560 4 0 0 0 0 0 0 0 16 0 9 0 339769967 139665408 8310 33554432000 4194304 7232020 140734842268576 18446744073709551615 274676624281 0 0 4096 545260780 18446604471138620672 0 0 -1 7 0 0 0
[pid=27434/tid=27436] ppid=27432 vsize=136392 CPUtime=0 cores=5,7
/proc/27434/task/27436/stat : 27436 (mono) S 27432 27434 27190 0 -1 4202560 2 0 0 0 0 0 0 0 24 0 9 0 339769967 139665408 8326 33554432000 4194304 7232020 140734842268576 18446744073709551615 274676624281 0 0 4096 545260780 18446604471138620672 0 0 -1 5 0 0 0
[pid=27434/tid=27437] ppid=27432 vsize=136392 CPUtime=0 cores=5,7
/proc/27434/task/27437/stat : 27437 (mono) S 27432 27434 27190 0 -1 4202560 2 0 0 0 0 0 0 0 16 0 9 0 339769967 139665408 8328 33554432000 4194304 7232020 140734842268576 18446744073709551615 274676624281 0 0 4096 545260780 18446604471138620672 0 0 -1 5 0 0 0
[pid=27434/tid=27438] ppid=27432 vsize=136392 CPUtime=0 cores=5,7
/proc/27434/task/27438/stat : 27438 (mono) S 27432 27434 27190 0 -1 4202560 2 0 0 0 0 0 0 0 23 0 9 0 339769967 139665408 8328 33554432000 4194304 7232020 140734842268576 18446744073709551615 274676624281 0 0 4096 545260780 18446604471138620672 0 0 -1 7 0 0 0
[pid=27434/tid=27439] ppid=27432 vsize=136392 CPUtime=0 cores=5,7
/proc/27434/task/27439/stat : 27439 (mono) S 27432 27434 27190 0 -1 4202560 2 0 0 0 0 0 0 0 16 0 9 0 339769967 139665408 8328 33554432000 4194304 7232020 140734842268576 18446744073709551615 274676624281 0 0 4096 545260780 18446604471138620672 0 0 -1 7 0 0 0
[pid=27434/tid=27440] ppid=27432 vsize=136392 CPUtime=0 cores=5,7
/proc/27434/task/27440/stat : 27440 (mono) S 27432 27434 27190 0 -1 4202560 2 0 0 0 0 0 0 0 16 0 9 0 339769967 139665408 8328 33554432000 4194304 7232020 140734842268576 18446744073709551615 274676624281 0 0 4096 545260780 18446604471138620672 0 0 -1 7 0 0 0
[pid=27434/tid=27441] ppid=27432 vsize=136392 CPUtime=0 cores=5,7
/proc/27434/task/27441/stat : 27441 (mono) S 27432 27434 27190 0 -1 4202560 2 0 0 0 0 0 0 0 23 0 9 0 339769967 139665408 8328 33554432000 4194304 7232020 140734842268576 18446744073709551615 274676624281 0 0 4096 545260780 18446604471138620672 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 136392
[startup+0.70099 s]
/proc/loadavg: 4.00 4.05 4.51 4/198 27434
/proc/meminfo: memFree=12734976/32951132 swapFree=67111528/67111528
[pid=27434] ppid=27432 vsize=136800 CPUtime=0.7 cores=5,7
/proc/27434/stat : 27434 (mono) R 27432 27434 27190 0 -1 4202496 9307 0 0 0 69 1 0 0 18 0 9 0 339769967 140083200 9206 33554432000 4194304 7232020 140734842268576 18446744073709551615 6168994 0 0 4096 545260780 18446744073709551615 0 0 17 5 0 0 0
/proc/27434/statm: 34200 9206 1023 742 0 26771 0
[pid=27434/tid=27435] ppid=27432 vsize=136800 CPUtime=0 cores=5,7
/proc/27434/task/27435/stat : 27435 (mono) S 27432 27434 27190 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 9 0 339769967 140083200 9206 33554432000 4194304 7232020 140734842268576 18446744073709551615 274676624281 0 0 4096 545260780 18446604471138620672 0 0 -1 7 0 0 0
[pid=27434/tid=27436] ppid=27432 vsize=136800 CPUtime=0 cores=5,7
/proc/27434/task/27436/stat : 27436 (mono) R 27432 27434 27190 0 -1 4202560 2 0 0 0 0 0 0 0 19 0 9 0 339769967 140083200 9206 33554432000 4194304 7232020 140734842268576 18446744073709551615 274676624281 0 0 4096 545260780 0 0 0 -1 5 0 0 0
[pid=27434/tid=27437] ppid=27432 vsize=136800 CPUtime=0 cores=5,7
/proc/27434/task/27437/stat : 27437 (mono) S 27432 27434 27190 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 339769967 140083200 9206 33554432000 4194304 7232020 140734842268576 18446744073709551615 274676624281 0 0 4096 545260780 18446604471138620672 0 0 -1 5 0 0 0
[pid=27434/tid=27438] ppid=27432 vsize=136800 CPUtime=0 cores=5,7
/proc/27434/task/27438/stat : 27438 (mono) S 27432 27434 27190 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 9 0 339769967 140083200 9206 33554432000 4194304 7232020 140734842268576 18446744073709551615 274676624281 0 0 4096 545260780 18446604471138620672 0 0 -1 7 0 0 0
[pid=27434/tid=27439] ppid=27432 vsize=136800 CPUtime=0 cores=5,7
/proc/27434/task/27439/stat : 27439 (mono) S 27432 27434 27190 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 339769967 140083200 9206 33554432000 4194304 7232020 140734842268576 18446744073709551615 274676624281 0 0 4096 545260780 18446604471138620672 0 0 -1 7 0 0 0
[pid=27434/tid=27440] ppid=27432 vsize=136800 CPUtime=0 cores=5,7
/proc/27434/task/27440/stat : 27440 (mono) S 27432 27434 27190 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 339769967 140083200 9206 33554432000 4194304 7232020 140734842268576 18446744073709551615 274676624281 0 0 4096 545260780 18446604471138620672 0 0 -1 7 0 0 0
[pid=27434/tid=27441] ppid=27432 vsize=136800 CPUtime=0 cores=5,7
/proc/27434/task/27441/stat : 27441 (mono) S 27432 27434 27190 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 9 0 339769967 140083200 9206 33554432000 4194304 7232020 140734842268576 18446744073709551615 274676624281 0 0 4096 545260780 18446604471138620672 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 136800
[startup+1.50086 s]
/proc/loadavg: 4.00 4.05 4.51 5/220 27461
/proc/meminfo: memFree=12641572/32951132 swapFree=67111528/67111528
[pid=27434] ppid=27432 vsize=145184 CPUtime=1.51 cores=5,7
/proc/27434/stat : 27434 (mono) R 27432 27434 27190 0 -1 4202496 10047 0 0 0 150 1 0 0 18 0 9 0 339769967 148668416 9946 33554432000 4194304 7232020 140734842268576 18446744073709551615 1162940533 0 0 4096 545260780 18446744073709551615 0 0 17 5 0 0 0
/proc/27434/statm: 36296 9946 1023 742 0 28867 0
[pid=27434/tid=27435] ppid=27432 vsize=145184 CPUtime=0 cores=5,7
/proc/27434/task/27435/stat : 27435 (mono) S 27432 27434 27190 0 -1 4202560 4 0 0 0 0 0 0 0 16 0 9 0 339769967 148668416 9946 33554432000 4194304 7232020 140734842268576 18446744073709551615 274676624281 0 0 4096 545260780 18446604471138620672 0 0 -1 7 0 0 0
[pid=27434/tid=27436] ppid=27432 vsize=145184 CPUtime=0 cores=5,7
/proc/27434/task/27436/stat : 27436 (mono) S 27432 27434 27190 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 339769967 148668416 9946 33554432000 4194304 7232020 140734842268576 18446744073709551615 274676624281 0 0 4096 545260780 18446604471138620672 0 0 -1 7 0 0 0
[pid=27434/tid=27437] ppid=27432 vsize=145184 CPUtime=0 cores=5,7
/proc/27434/task/27437/stat : 27437 (mono) S 27432 27434 27190 0 -1 4202560 2 0 0 0 0 0 0 0 16 0 9 0 339769967 148668416 9946 33554432000 4194304 7232020 140734842268576 18446744073709551615 274676624281 0 0 4096 545260780 18446604471138620672 0 0 -1 5 0 0 0
[pid=27434/tid=27438] ppid=27432 vsize=145184 CPUtime=0 cores=5,7
/proc/27434/task/27438/stat : 27438 (mono) S 27432 27434 27190 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 339769967 148668416 9946 33554432000 4194304 7232020 140734842268576 18446744073709551615 274676624281 0 0 4096 545260780 18446604471138620672 0 0 -1 5 0 0 0
[pid=27434/tid=27439] ppid=27432 vsize=145184 CPUtime=0 cores=5,7
/proc/27434/task/27439/stat : 27439 (mono) S 27432 27434 27190 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 339769967 148668416 9946 33554432000 4194304 7232020 140734842268576 18446744073709551615 274676624281 0 0 4096 545260780 18446604471138620672 0 0 -1 5 0 0 0
[pid=27434/tid=27440] ppid=27432 vsize=145184 CPUtime=0 cores=5,7
/proc/27434/task/27440/stat : 27440 (mono) S 27432 27434 27190 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 339769967 148668416 9946 33554432000 4194304 7232020 140734842268576 18446744073709551615 274676624281 0 0 4096 545260780 18446604471138620672 0 0 -1 7 0 0 0
[pid=27434/tid=27441] ppid=27432 vsize=145184 CPUtime=0 cores=5,7
/proc/27434/task/27441/stat : 27441 (mono) S 27432 27434 27190 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 339769967 148668416 9946 33554432000 4194304 7232020 140734842268576 18446744073709551615 274676624281 0 0 4096 545260780 18446604471138620672 0 0 -1 5 0 0 0
[pid=27434/tid=27443] ppid=27432 vsize=145184 CPUtime=0 cores=5,7
/proc/27434/task/27443/stat : 27443 (mono) S 27432 27434 27190 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 339769968 148668416 9946 33554432000 4194304 7232020 140734842268576 18446744073709551615 274676631985 0 0 4096 545260780 18446604471138620672 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.51
Current children cumulated vsize (KiB) 145184
[startup+3.10057 s]
/proc/loadavg: 4.00 4.05 4.51 5/220 27461
/proc/meminfo: memFree=12621608/32951132 swapFree=67111528/67111528
[pid=27434] ppid=27432 vsize=145312 CPUtime=3.12 cores=5,7
/proc/27434/stat : 27434 (mono) R 27432 27434 27190 0 -1 4202496 11256 0 0 0 311 1 0 0 18 0 9 0 339769967 148799488 11155 33554432000 4194304 7232020 140734842268576 18446744073709551615 1162939846 0 0 4096 545260780 18446744073709551615 0 0 17 5 0 0 0
/proc/27434/statm: 36328 11155 1023 742 0 28899 0
[pid=27434/tid=27435] ppid=27432 vsize=145312 CPUtime=0.01 cores=5,7
/proc/27434/task/27435/stat : 27435 (mono) S 27432 27434 27190 0 -1 4202560 4 0 0 0 1 0 0 0 15 0 9 0 339769967 148799488 11155 33554432000 4194304 7232020 140734842268576 18446744073709551615 274676624281 0 0 4096 545260780 18446604471138620672 0 0 -1 7 0 0 0
[pid=27434/tid=27436] ppid=27432 vsize=145312 CPUtime=0 cores=5,7
/proc/27434/task/27436/stat : 27436 (mono) S 27432 27434 27190 0 -1 4202560 2 0 0 0 0 0 0 0 16 0 9 0 339769967 148799488 11155 33554432000 4194304 7232020 140734842268576 18446744073709551615 274676624281 0 0 4096 545260780 18446604471138620672 0 0 -1 7 0 0 0
[pid=27434/tid=27437] ppid=27432 vsize=145312 CPUtime=0 cores=5,7
/proc/27434/task/27437/stat : 27437 (mono) S 27432 27434 27190 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 339769967 148799488 11155 33554432000 4194304 7232020 140734842268576 18446744073709551615 274676624281 0 0 4096 545260780 18446604471138620672 0 0 -1 5 0 0 0
[pid=27434/tid=27438] ppid=27432 vsize=145312 CPUtime=0.01 cores=5,7
/proc/27434/task/27438/stat : 27438 (mono) S 27432 27434 27190 0 -1 4202560 2 0 0 0 1 0 0 0 15 0 9 0 339769967 148799488 11155 33554432000 4194304 7232020 140734842268576 18446744073709551615 274676624281 0 0 4096 545260780 18446604471138620672 0 0 -1 5 0 0 0
[pid=27434/tid=27439] ppid=27432 vsize=145312 CPUtime=0 cores=5,7
/proc/27434/task/27439/stat : 27439 (mono) S 27432 27434 27190 0 -1 4202560 2 0 0 0 0 0 0 0 16 0 9 0 339769967 148799488 11155 33554432000 4194304 7232020 140734842268576 18446744073709551615 274676624281 0 0 4096 545260780 18446604471138620672 0 0 -1 5 0 0 0
[pid=27434/tid=27440] ppid=27432 vsize=145312 CPUtime=0 cores=5,7
/proc/27434/task/27440/stat : 27440 (mono) S 27432 27434 27190 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 339769967 148799488 11155 33554432000 4194304 7232020 140734842268576 18446744073709551615 274676624281 0 0 4096 545260780 18446604471138620672 0 0 -1 7 0 0 0
[pid=27434/tid=27441] ppid=27432 vsize=145312 CPUtime=0 cores=5,7
/proc/27434/task/27441/stat : 27441 (mono) S 27432 27434 27190 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 339769967 148799488 11155 33554432000 4194304 7232020 140734842268576 18446744073709551615 274676624281 0 0 4096 545260780 18446604471138620672 0 0 -1 7 0 0 0
[pid=27434/tid=27443] ppid=27432 vsize=145312 CPUtime=0 cores=5,7
/proc/27434/task/27443/stat : 27443 (mono) S 27432 27434 27190 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 339769968 148799488 11155 33554432000 4194304 7232020 140734842268576 18446744073709551615 274676631985 0 0 4096 545260780 18446604471138620672 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.12
Current children cumulated vsize (KiB) 145312
[startup+6.30102 s]
/proc/loadavg: 4.00 4.05 4.51 5/220 27461
/proc/meminfo: memFree=12590296/32951132 swapFree=67111528/67111528
[pid=27434] ppid=27432 vsize=162144 CPUtime=6.35 cores=5,7
/proc/27434/stat : 27434 (mono) R 27432 27434 27190 0 -1 4202496 15033 0 0 0 633 2 0 0 18 0 9 0 339769967 166035456 14932 33554432000 4194304 7232020 140734842268576 18446744073709551615 1162939983 0 0 4096 545260780 18446744073709551615 0 0 17 5 0 0 0
/proc/27434/statm: 40536 14932 1023 742 0 33107 0
[pid=27434/tid=27435] ppid=27432 vsize=162144 CPUtime=0.01 cores=5,7
/proc/27434/task/27435/stat : 27435 (mono) S 27432 27434 27190 0 -1 4202560 4 0 0 0 1 0 0 0 15 0 9 0 339769967 166035456 14932 33554432000 4194304 7232020 140734842268576 18446744073709551615 274676624281 0 0 4096 545260780 18446604471138620672 0 0 -1 7 0 0 0
[pid=27434/tid=27436] ppid=27432 vsize=162144 CPUtime=0.01 cores=5,7
/proc/27434/task/27436/stat : 27436 (mono) S 27432 27434 27190 0 -1 4202560 2 0 0 0 1 0 0 0 15 0 9 0 339769967 166035456 14932 33554432000 4194304 7232020 140734842268576 18446744073709551615 274676624281 0 0 4096 545260780 18446604471138620672 0 0 -1 7 0 0 0
[pid=27434/tid=27437] ppid=27432 vsize=162144 CPUtime=0.01 cores=5,7
/proc/27434/task/27437/stat : 27437 (mono) S 27432 27434 27190 0 -1 4202560 2 0 0 0 1 0 0 0 15 0 9 0 339769967 166035456 14932 33554432000 4194304 7232020 140734842268576 18446744073709551615 274676624281 0 0 4096 545260780 18446604471138620672 0 0 -1 5 0 0 0
[pid=27434/tid=27438] ppid=27432 vsize=162144 CPUtime=0.01 cores=5,7
/proc/27434/task/27438/stat : 27438 (mono) S 27432 27434 27190 0 -1 4202560 2 0 0 0 1 0 0 0 15 0 9 0 339769967 166035456 14932 33554432000 4194304 7232020 140734842268576 18446744073709551615 274676624281 0 0 4096 545260780 18446604471138620672 0 0 -1 5 0 0 0
[pid=27434/tid=27439] ppid=27432 vsize=162144 CPUtime=0.01 cores=5,7
/proc/27434/task/27439/stat : 27439 (mono) S 27432 27434 27190 0 -1 4202560 2 0 0 0 1 0 0 0 15 0 9 0 339769967 166035456 14932 33554432000 4194304 7232020 140734842268576 18446744073709551615 274676624281 0 0 4096 545260780 18446604471138620672 0 0 -1 5 0 0 0
################
# More data... #
################
/proc/27434/task/27438/stat : 27438 (mono) S 27432 27434 27190 0 -1 4202560 2 0 0 0 111 0 0 0 15 0 9 0 339769967 794730496 154518 33554432000 4194304 7232020 140734842268576 18446744073709551615 274676624281 0 0 4096 545260780 18446604471138620672 0 0 -1 5 0 0 0
[pid=27434/tid=27439] ppid=27432 vsize=776104 CPUtime=1.11 cores=5,7
/proc/27434/task/27439/stat : 27439 (mono) S 27432 27434 27190 0 -1 4202560 2 0 0 0 111 0 0 0 15 0 9 0 339769967 794730496 154518 33554432000 4194304 7232020 140734842268576 18446744073709551615 274676624281 0 0 4096 545260780 18446604471138620672 0 0 -1 7 0 0 0
[pid=27434/tid=27440] ppid=27432 vsize=776104 CPUtime=1.08 cores=5,7
/proc/27434/task/27440/stat : 27440 (mono) S 27432 27434 27190 0 -1 4202560 2 0 0 0 108 0 0 0 15 0 9 0 339769967 794730496 154518 33554432000 4194304 7232020 140734842268576 18446744073709551615 274676624281 0 0 4096 545260780 18446604471138620672 0 0 -1 5 0 0 0
[pid=27434/tid=27441] ppid=27432 vsize=776104 CPUtime=1.21 cores=5,7
/proc/27434/task/27441/stat : 27441 (mono) S 27432 27434 27190 0 -1 4202560 2 0 0 0 121 0 0 0 15 0 9 0 339769967 794730496 154518 33554432000 4194304 7232020 140734842268576 18446744073709551615 274676624281 0 0 4096 545260780 18446604471138620672 0 0 -1 7 0 0 0
[pid=27434/tid=27443] ppid=27432 vsize=776104 CPUtime=0.01 cores=5,7
/proc/27434/task/27443/stat : 27443 (mono) S 27432 27434 27190 0 -1 4202560 3 0 0 0 0 1 0 0 15 0 9 0 339769968 794730496 154518 33554432000 4194304 7232020 140734842268576 18446744073709551615 274676631985 0 0 4096 545260780 18446604471138620672 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 946.48
Current children cumulated vsize (KiB) 776104
[startup+1002.3 s]
/proc/loadavg: 4.00 4.04 4.20 5/220 27499
/proc/meminfo: memFree=10491464/32951132 swapFree=67111528/67111528
[pid=27434] ppid=27432 vsize=817200 CPUtime=1006.56 cores=5,7
/proc/27434/stat : 27434 (mono) R 27432 27434 27190 0 -1 4202496 430412 0 0 0 100575 81 0 0 25 0 9 0 339769967 836812800 178244 33554432000 4194304 7232020 140734842268576 18446744073709551615 1162940533 0 0 4096 545260780 18446744073709551615 0 0 17 5 0 0 0
/proc/27434/statm: 204300 178244 1035 742 0 196871 0
[pid=27434/tid=27435] ppid=27432 vsize=817200 CPUtime=1.14 cores=5,7
/proc/27434/task/27435/stat : 27435 (mono) S 27432 27434 27190 0 -1 4202560 4 0 0 0 114 0 0 0 16 0 9 0 339769967 836812800 178244 33554432000 4194304 7232020 140734842268576 18446744073709551615 274676624281 0 0 4096 545260780 18446604471138620672 0 0 -1 5 0 0 0
[pid=27434/tid=27436] ppid=27432 vsize=817200 CPUtime=1.18 cores=5,7
/proc/27434/task/27436/stat : 27436 (mono) S 27432 27434 27190 0 -1 4202560 2 0 0 0 118 0 0 0 16 0 9 0 339769967 836812800 178244 33554432000 4194304 7232020 140734842268576 18446744073709551615 274676624281 0 0 4096 545260780 18446604471138620672 0 0 -1 7 0 0 0
[pid=27434/tid=27437] ppid=27432 vsize=817200 CPUtime=1.14 cores=5,7
/proc/27434/task/27437/stat : 27437 (mono) S 27432 27434 27190 0 -1 4202560 2 0 0 0 114 0 0 0 15 0 9 0 339769967 836812800 178244 33554432000 4194304 7232020 140734842268576 18446744073709551615 274676624281 0 0 4096 545260780 18446604471138620672 0 0 -1 5 0 0 0
[pid=27434/tid=27438] ppid=27432 vsize=817200 CPUtime=1.15 cores=5,7
/proc/27434/task/27438/stat : 27438 (mono) S 27432 27434 27190 0 -1 4202560 2 0 0 0 115 0 0 0 15 0 9 0 339769967 836812800 178244 33554432000 4194304 7232020 140734842268576 18446744073709551615 274676624281 0 0 4096 545260780 18446604471138620672 0 0 -1 7 0 0 0
[pid=27434/tid=27439] ppid=27432 vsize=817200 CPUtime=1.12 cores=5,7
/proc/27434/task/27439/stat : 27439 (mono) S 27432 27434 27190 0 -1 4202560 2 0 0 0 112 0 0 0 16 0 9 0 339769967 836812800 178244 33554432000 4194304 7232020 140734842268576 18446744073709551615 274676624281 0 0 4096 545260780 18446604471138620672 0 0 -1 5 0 0 0
[pid=27434/tid=27440] ppid=27432 vsize=817200 CPUtime=1.09 cores=5,7
/proc/27434/task/27440/stat : 27440 (mono) S 27432 27434 27190 0 -1 4202560 2 0 0 0 109 0 0 0 16 0 9 0 339769967 836812800 178244 33554432000 4194304 7232020 140734842268576 18446744073709551615 274676624281 0 0 4096 545260780 18446604471138620672 0 0 -1 7 0 0 0
[pid=27434/tid=27441] ppid=27432 vsize=817200 CPUtime=1.26 cores=5,7
/proc/27434/task/27441/stat : 27441 (mono) S 27432 27434 27190 0 -1 4202560 2 0 0 0 126 0 0 0 16 0 9 0 339769967 836812800 178244 33554432000 4194304 7232020 140734842268576 18446744073709551615 274676624281 0 0 4096 545260780 18446604471138620672 0 0 -1 5 0 0 0
[pid=27434/tid=27443] ppid=27432 vsize=817200 CPUtime=0.01 cores=5,7
/proc/27434/task/27443/stat : 27443 (mono) S 27432 27434 27190 0 -1 4202560 3 0 0 0 0 1 0 0 15 0 9 0 339769968 836812800 178244 33554432000 4194304 7232020 140734842268576 18446744073709551615 274676631985 0 0 4096 545260780 18446604471138620672 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1006.56
Current children cumulated vsize (KiB) 817200
[startup+1062.3 s]
/proc/loadavg: 4.00 4.03 4.18 5/220 27501
/proc/meminfo: memFree=10207124/32951132 swapFree=67111528/67111528
[pid=27434] ppid=27432 vsize=908912 CPUtime=1066.66 cores=5,7
/proc/27434/stat : 27434 (mono) R 27432 27434 27190 0 -1 4202496 454330 0 0 0 106580 86 0 0 25 0 9 0 339769967 930725888 202162 33554432000 4194304 7232020 140734842268576 18446744073709551615 1162939983 0 0 4096 545260780 18446744073709551615 0 0 17 5 0 0 0
/proc/27434/statm: 227228 202162 1035 742 0 219799 0
[pid=27434/tid=27435] ppid=27432 vsize=908912 CPUtime=1.16 cores=5,7
/proc/27434/task/27435/stat : 27435 (mono) S 27432 27434 27190 0 -1 4202560 4 0 0 0 116 0 0 0 15 0 9 0 339769967 930725888 202162 33554432000 4194304 7232020 140734842268576 18446744073709551615 274676624281 0 0 4096 545260780 18446604471138620672 0 0 -1 5 0 0 0
[pid=27434/tid=27436] ppid=27432 vsize=908912 CPUtime=1.22 cores=5,7
/proc/27434/task/27436/stat : 27436 (mono) S 27432 27434 27190 0 -1 4202560 2 0 0 0 122 0 0 0 15 0 9 0 339769967 930725888 202162 33554432000 4194304 7232020 140734842268576 18446744073709551615 274676624281 0 0 4096 545260780 18446604471138620672 0 0 -1 5 0 0 0
[pid=27434/tid=27437] ppid=27432 vsize=908912 CPUtime=1.19 cores=5,7
/proc/27434/task/27437/stat : 27437 (mono) S 27432 27434 27190 0 -1 4202560 2 0 0 0 119 0 0 0 16 0 9 0 339769967 930725888 202162 33554432000 4194304 7232020 140734842268576 18446744073709551615 274676624281 0 0 4096 545260780 18446604471138620672 0 0 -1 5 0 0 0
[pid=27434/tid=27438] ppid=27432 vsize=908912 CPUtime=1.16 cores=5,7
/proc/27434/task/27438/stat : 27438 (mono) S 27432 27434 27190 0 -1 4202560 2 0 0 0 116 0 0 0 15 0 9 0 339769967 930725888 202162 33554432000 4194304 7232020 140734842268576 18446744073709551615 274676624281 0 0 4096 545260780 18446604471138620672 0 0 -1 7 0 0 0
[pid=27434/tid=27439] ppid=27432 vsize=908912 CPUtime=1.12 cores=5,7
/proc/27434/task/27439/stat : 27439 (mono) S 27432 27434 27190 0 -1 4202560 2 0 0 0 112 0 0 0 16 0 9 0 339769967 930725888 202162 33554432000 4194304 7232020 140734842268576 18446744073709551615 274676624281 0 0 4096 545260780 18446604471138620672 0 0 -1 7 0 0 0
[pid=27434/tid=27440] ppid=27432 vsize=908912 CPUtime=1.13 cores=5,7
/proc/27434/task/27440/stat : 27440 (mono) S 27432 27434 27190 0 -1 4202560 2 0 0 0 113 0 0 0 16 0 9 0 339769967 930725888 202162 33554432000 4194304 7232020 140734842268576 18446744073709551615 274676624281 0 0 4096 545260780 18446604471138620672 0 0 -1 7 0 0 0
[pid=27434/tid=27441] ppid=27432 vsize=908912 CPUtime=1.28 cores=5,7
/proc/27434/task/27441/stat : 27441 (mono) S 27432 27434 27190 0 -1 4202560 2 0 0 0 128 0 0 0 15 0 9 0 339769967 930725888 202162 33554432000 4194304 7232020 140734842268576 18446744073709551615 274676624281 0 0 4096 545260780 18446604471138620672 0 0 -1 5 0 0 0
[pid=27434/tid=27443] ppid=27432 vsize=908912 CPUtime=0.01 cores=5,7
/proc/27434/task/27443/stat : 27443 (mono) S 27432 27434 27190 0 -1 4202560 3 0 0 0 0 1 0 0 15 0 9 0 339769968 930725888 202162 33554432000 4194304 7232020 140734842268576 18446744073709551615 274676631985 0 0 4096 545260780 18446604471138620672 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1066.66
Current children cumulated vsize (KiB) 908912
[startup+1122.3 s]
/proc/loadavg: 4.00 4.03 4.17 5/220 27503
/proc/meminfo: memFree=10100100/32951132 swapFree=67111528/67111528
[pid=27434] ppid=27432 vsize=1017392 CPUtime=1126.75 cores=5,7
/proc/27434/stat : 27434 (mono) R 27432 27434 27190 0 -1 4202496 479551 0 0 0 112587 88 0 0 25 0 9 0 339769967 1041809408 227383 33554432000 4194304 7232020 140734842268576 18446744073709551615 1162940552 0 0 4096 545260780 18446744073709551615 0 0 17 5 0 0 0
/proc/27434/statm: 254348 227383 1035 742 0 246919 0
[pid=27434/tid=27435] ppid=27432 vsize=1017392 CPUtime=1.16 cores=5,7
/proc/27434/task/27435/stat : 27435 (mono) S 27432 27434 27190 0 -1 4202560 4 0 0 0 116 0 0 0 16 0 9 0 339769967 1041809408 227383 33554432000 4194304 7232020 140734842268576 18446744073709551615 274676624281 0 0 4096 545260780 18446604471138620672 0 0 -1 7 0 0 0
[pid=27434/tid=27436] ppid=27432 vsize=1017392 CPUtime=1.28 cores=5,7
/proc/27434/task/27436/stat : 27436 (mono) S 27432 27434 27190 0 -1 4202560 2 0 0 0 128 0 0 0 15 0 9 0 339769967 1041809408 227383 33554432000 4194304 7232020 140734842268576 18446744073709551615 274676624281 0 0 4096 545260780 18446604471138620672 0 0 -1 5 0 0 0
[pid=27434/tid=27437] ppid=27432 vsize=1017392 CPUtime=1.21 cores=5,7
/proc/27434/task/27437/stat : 27437 (mono) S 27432 27434 27190 0 -1 4202560 2 0 0 0 121 0 0 0 15 0 9 0 339769967 1041809408 227383 33554432000 4194304 7232020 140734842268576 18446744073709551615 274676624281 0 0 4096 545260780 18446604471138620672 0 0 -1 7 0 0 0
[pid=27434/tid=27438] ppid=27432 vsize=1017392 CPUtime=1.2 cores=5,7
/proc/27434/task/27438/stat : 27438 (mono) S 27432 27434 27190 0 -1 4202560 2 0 0 0 120 0 0 0 15 0 9 0 339769967 1041809408 227383 33554432000 4194304 7232020 140734842268576 18446744073709551615 274676624281 0 0 4096 545260780 18446604471138620672 0 0 -1 5 0 0 0
[pid=27434/tid=27439] ppid=27432 vsize=1017392 CPUtime=1.15 cores=5,7
/proc/27434/task/27439/stat : 27439 (mono) S 27432 27434 27190 0 -1 4202560 2 0 0 0 115 0 0 0 15 0 9 0 339769967 1041809408 227383 33554432000 4194304 7232020 140734842268576 18446744073709551615 274676624281 0 0 4096 545260780 18446604471138620672 0 0 -1 7 0 0 0
[pid=27434/tid=27440] ppid=27432 vsize=1017392 CPUtime=1.15 cores=5,7
/proc/27434/task/27440/stat : 27440 (mono) S 27432 27434 27190 0 -1 4202560 2 0 0 0 115 0 0 0 16 0 9 0 339769967 1041809408 227383 33554432000 4194304 7232020 140734842268576 18446744073709551615 274676624281 0 0 4096 545260780 18446604471138620672 0 0 -1 5 0 0 0
[pid=27434/tid=27441] ppid=27432 vsize=1017392 CPUtime=1.3 cores=5,7
/proc/27434/task/27441/stat : 27441 (mono) S 27432 27434 27190 0 -1 4202560 2 0 0 0 130 0 0 0 16 0 9 0 339769967 1041809408 227383 33554432000 4194304 7232020 140734842268576 18446744073709551615 274676624281 0 0 4096 545260780 18446604471138620672 0 0 -1 7 0 0 0
[pid=27434/tid=27443] ppid=27432 vsize=1017392 CPUtime=0.01 cores=5,7
/proc/27434/task/27443/stat : 27443 (mono) S 27432 27434 27190 0 -1 4202560 3 0 0 0 0 1 0 0 15 0 9 0 339769968 1041809408 227383 33554432000 4194304 7232020 140734842268576 18446744073709551615 274676631985 0 0 4096 545260780 18446604471138620672 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1126.75
Current children cumulated vsize (KiB) 1017392
[startup+1182.3 s]
/proc/loadavg: 4.00 4.02 4.16 5/220 27505
/proc/meminfo: memFree=9809188/32951132 swapFree=67111528/67111528
[pid=27434] ppid=27432 vsize=1093552 CPUtime=1186.94 cores=5,7
/proc/27434/stat : 27434 (mono) R 27432 27434 27190 0 -1 4202496 499756 0 0 0 118602 92 0 0 25 0 9 0 339769967 1119797248 247588 33554432000 4194304 7232020 140734842268576 18446744073709551615 1162940533 0 0 4096 545260780 18446744073709551615 0 0 17 5 0 0 0
/proc/27434/statm: 273388 247588 1035 742 0 265959 0
[pid=27434/tid=27435] ppid=27432 vsize=1093552 CPUtime=1.21 cores=5,7
/proc/27434/task/27435/stat : 27435 (mono) S 27432 27434 27190 0 -1 4202560 4 0 0 0 121 0 0 0 16 0 9 0 339769967 1119797248 247588 33554432000 4194304 7232020 140734842268576 18446744073709551615 274676624281 0 0 4096 545260780 18446604471138620672 0 0 -1 7 0 0 0
[pid=27434/tid=27436] ppid=27432 vsize=1093552 CPUtime=1.3 cores=5,7
/proc/27434/task/27436/stat : 27436 (mono) S 27432 27434 27190 0 -1 4202560 2 0 0 0 130 0 0 0 15 0 9 0 339769967 1119797248 247588 33554432000 4194304 7232020 140734842268576 18446744073709551615 274676624281 0 0 4096 545260780 18446604471138620672 0 0 -1 7 0 0 0
[pid=27434/tid=27437] ppid=27432 vsize=1093552 CPUtime=1.27 cores=5,7
/proc/27434/task/27437/stat : 27437 (mono) S 27432 27434 27190 0 -1 4202560 2 0 0 0 127 0 0 0 16 0 9 0 339769967 1119797248 247588 33554432000 4194304 7232020 140734842268576 18446744073709551615 274676624281 0 0 4096 545260780 18446604471138620672 0 0 -1 5 0 0 0
[pid=27434/tid=27438] ppid=27432 vsize=1093552 CPUtime=1.28 cores=5,7
/proc/27434/task/27438/stat : 27438 (mono) S 27432 27434 27190 0 -1 4202560 2 0 0 0 128 0 0 0 15 0 9 0 339769967 1119797248 247588 33554432000 4194304 7232020 140734842268576 18446744073709551615 274676624281 0 0 4096 545260780 18446604471138620672 0 0 -1 5 0 0 0
[pid=27434/tid=27439] ppid=27432 vsize=1093552 CPUtime=1.16 cores=5,7
/proc/27434/task/27439/stat : 27439 (mono) S 27432 27434 27190 0 -1 4202560 2 0 0 0 116 0 0 0 15 0 9 0 339769967 1119797248 247588 33554432000 4194304 7232020 140734842268576 18446744073709551615 274676624281 0 0 4096 545260780 18446604471138620672 0 0 -1 5 0 0 0
[pid=27434/tid=27440] ppid=27432 vsize=1093552 CPUtime=1.19 cores=5,7
/proc/27434/task/27440/stat : 27440 (mono) S 27432 27434 27190 0 -1 4202560 2 0 0 0 119 0 0 0 16 0 9 0 339769967 1119797248 247588 33554432000 4194304 7232020 140734842268576 18446744073709551615 274676624281 0 0 4096 545260780 18446604471138620672 0 0 -1 7 0 0 0
[pid=27434/tid=27441] ppid=27432 vsize=1093552 CPUtime=1.38 cores=5,7
/proc/27434/task/27441/stat : 27441 (mono) S 27432 27434 27190 0 -1 4202560 2 0 0 0 138 0 0 0 15 0 9 0 339769967 1119797248 247588 33554432000 4194304 7232020 140734842268576 18446744073709551615 274676624281 0 0 4096 545260780 18446604471138620672 0 0 -1 5 0 0 0
[pid=27434/tid=27443] ppid=27432 vsize=1093552 CPUtime=0.01 cores=5,7
/proc/27434/task/27443/stat : 27443 (mono) S 27432 27434 27190 0 -1 4202560 3 0 0 0 0 1 0 0 15 0 9 0 339769968 1119797248 247588 33554432000 4194304 7232020 140734842268576 18446744073709551615 274676631985 0 0 4096 545260780 18446604471138620672 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1186.94
Current children cumulated vsize (KiB) 1093552
[startup+1242.3 s]
/proc/loadavg: 4.04 4.03 4.15 6/220 27507
/proc/meminfo: memFree=9606932/32951132 swapFree=67111528/67111528
[pid=27434] ppid=27432 vsize=1127216 CPUtime=1247.24 cores=5,7
/proc/27434/stat : 27434 (mono) R 27432 27434 27190 0 -1 4202496 507769 0 0 0 124631 93 0 0 25 0 9 0 339769967 1154269184 255601 33554432000 4194304 7232020 140734842268576 18446744073709551615 1162940445 0 0 4096 545260780 18446744073709551615 0 0 17 5 0 0 0
/proc/27434/statm: 281804 255601 1035 742 0 274375 0
[pid=27434/tid=27435] ppid=27432 vsize=1127216 CPUtime=1.31 cores=5,7
/proc/27434/task/27435/stat : 27435 (mono) S 27432 27434 27190 0 -1 4202560 4 0 0 0 131 0 0 0 16 0 9 0 339769967 1154269184 255601 33554432000 4194304 7232020 140734842268576 18446744073709551615 274676624281 0 0 4096 545260780 18446604471138620672 0 0 -1 5 0 0 0
[pid=27434/tid=27436] ppid=27432 vsize=1127216 CPUtime=1.44 cores=5,7
/proc/27434/task/27436/stat : 27436 (mono) S 27432 27434 27190 0 -1 4202560 2 0 0 0 144 0 0 0 16 0 9 0 339769967 1154269184 255601 33554432000 4194304 7232020 140734842268576 18446744073709551615 274676624281 0 0 4096 545260780 18446604471138620672 0 0 -1 7 0 0 0
[pid=27434/tid=27437] ppid=27432 vsize=1127216 CPUtime=1.32 cores=5,7
/proc/27434/task/27437/stat : 27437 (mono) S 27432 27434 27190 0 -1 4202560 2 0 0 0 132 0 0 0 16 0 9 0 339769967 1154269184 255601 33554432000 4194304 7232020 140734842268576 18446744073709551615 274676624281 0 0 4096 545260780 18446604471138620672 0 0 -1 7 0 0 0
[pid=27434/tid=27438] ppid=27432 vsize=1127216 CPUtime=1.33 cores=5,7
/proc/27434/task/27438/stat : 27438 (mono) S 27432 27434 27190 0 -1 4202560 2 0 0 0 133 0 0 0 16 0 9 0 339769967 1154269184 255601 33554432000 4194304 7232020 140734842268576 18446744073709551615 274676624281 0 0 4096 545260780 18446604471138620672 0 0 -1 7 0 0 0
[pid=27434/tid=27439] ppid=27432 vsize=1127216 CPUtime=1.19 cores=5,7
/proc/27434/task/27439/stat : 27439 (mono) S 27432 27434 27190 0 -1 4202560 2 0 0 0 119 0 0 0 15 0 9 0 339769967 1154269184 255601 33554432000 4194304 7232020 140734842268576 18446744073709551615 274676624281 0 0 4096 545260780 18446604471138620672 0 0 -1 5 0 0 0
[pid=27434/tid=27440] ppid=27432 vsize=1127216 CPUtime=1.27 cores=5,7
/proc/27434/task/27440/stat : 27440 (mono) S 27432 27434 27190 0 -1 4202560 2 0 0 0 127 0 0 0 15 0 9 0 339769967 1154269184 255601 33554432000 4194304 7232020 140734842268576 18446744073709551615 274676624281 0 0 4096 545260780 18446604471138620672 0 0 -1 5 0 0 0
[pid=27434/tid=27441] ppid=27432 vsize=1127216 CPUtime=1.46 cores=5,7
/proc/27434/task/27441/stat : 27441 (mono) S 27432 27434 27190 0 -1 4202560 2 0 0 0 146 0 0 0 15 0 9 0 339769967 1154269184 255601 33554432000 4194304 7232020 140734842268576 18446744073709551615 274676624281 0 0 4096 545260780 18446604471138620672 0 0 -1 5 0 0 0
[pid=27434/tid=27443] ppid=27432 vsize=1127216 CPUtime=0.01 cores=5,7
/proc/27434/task/27443/stat : 27443 (mono) S 27432 27434 27190 0 -1 4202560 3 0 0 0 0 1 0 0 15 0 9 0 339769968 1154269184 255601 33554432000 4194304 7232020 140734842268576 18446744073709551615 274676631985 0 0 4096 545260780 18446604471138620672 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1247.24
Current children cumulated vsize (KiB) 1127216
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1300 s]
/proc/loadavg: 4.02 4.02 4.14 3/200 27509
/proc/meminfo: memFree=11469932/32951132 swapFree=67111528/67111528
[pid=27434] ppid=27432 vsize=1153520 CPUtime=1305.2 cores=5,7
/proc/27434/stat : 27434 (mono) R 27432 27434 27190 0 -1 4202496 514861 0 0 0 130426 94 0 0 25 0 9 0 339769967 1181204480 262693 33554432000 4194304 7232020 140734842268576 18446744073709551615 1162940533 0 0 4096 545260780 18446744073709551615 0 0 17 5 0 0 0
/proc/27434/statm: 288380 262693 1035 742 0 280951 0
[pid=27434/tid=27435] ppid=27432 vsize=1153520 CPUtime=1.37 cores=5,7
/proc/27434/task/27435/stat : 27435 (mono) S 27432 27434 27190 0 -1 4202560 4 0 0 0 137 0 0 0 15 0 9 0 339769967 1181204480 262693 33554432000 4194304 7232020 140734842268576 18446744073709551615 274676624281 0 0 4096 545260780 18446604471138620672 0 0 -1 5 0 0 0
[pid=27434/tid=27436] ppid=27432 vsize=1153520 CPUtime=1.47 cores=5,7
/proc/27434/task/27436/stat : 27436 (mono) S 27432 27434 27190 0 -1 4202560 2 0 0 0 147 0 0 0 15 0 9 0 339769967 1181204480 262693 33554432000 4194304 7232020 140734842268576 18446744073709551615 274676624281 0 0 4096 545260780 18446604471138620672 0 0 -1 5 0 0 0
[pid=27434/tid=27437] ppid=27432 vsize=1153520 CPUtime=1.42 cores=5,7
/proc/27434/task/27437/stat : 27437 (mono) S 27432 27434 27190 0 -1 4202560 2 0 0 0 142 0 0 0 16 0 9 0 339769967 1181204480 262693 33554432000 4194304 7232020 140734842268576 18446744073709551615 274676624281 0 0 4096 545260780 18446604471138620672 0 0 -1 7 0 0 0
[pid=27434/tid=27438] ppid=27432 vsize=1153520 CPUtime=1.38 cores=5,7
/proc/27434/task/27438/stat : 27438 (mono) S 27432 27434 27190 0 -1 4202560 2 0 0 0 138 0 0 0 16 0 9 0 339769967 1181204480 262693 33554432000 4194304 7232020 140734842268576 18446744073709551615 274676624281 0 0 4096 545260780 18446604471138620672 0 0 -1 5 0 0 0
[pid=27434/tid=27439] ppid=27432 vsize=1153520 CPUtime=1.27 cores=5,7
/proc/27434/task/27439/stat : 27439 (mono) S 27432 27434 27190 0 -1 4202560 2 0 0 0 127 0 0 0 16 0 9 0 339769967 1181204480 262693 33554432000 4194304 7232020 140734842268576 18446744073709551615 274676624281 0 0 4096 545260780 18446604471138620672 0 0 -1 7 0 0 0
[pid=27434/tid=27440] ppid=27432 vsize=1153520 CPUtime=1.31 cores=5,7
/proc/27434/task/27440/stat : 27440 (mono) S 27432 27434 27190 0 -1 4202560 2 0 0 0 131 0 0 0 16 0 9 0 339769967 1181204480 262693 33554432000 4194304 7232020 140734842268576 18446744073709551615 274676624281 0 0 4096 545260780 18446604471138620672 0 0 -1 7 0 0 0
[pid=27434/tid=27441] ppid=27432 vsize=1153520 CPUtime=1.57 cores=5,7
/proc/27434/task/27441/stat : 27441 (mono) S 27432 27434 27190 0 -1 4202560 2 0 0 0 157 0 0 0 15 0 9 0 339769967 1181204480 262693 33554432000 4194304 7232020 140734842268576 18446744073709551615 274676624281 0 0 4096 545260780 18446604471138620672 0 0 -1 7 0 0 0
[pid=27434/tid=27443] ppid=27432 vsize=1153520 CPUtime=0.01 cores=5,7
/proc/27434/task/27443/stat : 27443 (mono) S 27432 27434 27190 0 -1 4202560 3 0 0 0 0 1 0 0 15 0 9 0 339769968 1181204480 262693 33554432000 4194304 7232020 140734842268576 18446744073709551615 274676631985 0 0 4096 545260780 18446604471138620672 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1305.2
Current children cumulated vsize (KiB) 1153520
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.05
CPU time (s): 1305.26
CPU user time (s): 1304.27
CPU system time (s): 0.988849
CPU usage (%): 100.4
Max. virtual memory (cumulated for all children) (KiB): 1153520
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1304.27
system time used= 0.988849
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 514861
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= 20211
involuntary context switches= 8529
runsolver used 2.09368 second user time and 5.02923 second system time
The end