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-3189104-1302281703/watcher-3189104-1302281703 -o /tmp/evaluation-result-3189104-1302281703/solver-3189104-1302281703 -C 2400 -W 1300 -M 7680 mono Main.exe HOME/instance-3189104-1302281703.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.00 4.05 4.51 1/178 27364
/proc/meminfo: memFree=12760044/32951132 swapFree=67111528/67111528
[pid=27364] ppid=27362 vsize=102404 CPUtime=0 cores=0,2
/proc/27364/stat : 27364 (mono) S 27362 27364 27190 0 -1 4202496 700 0 0 0 0 0 0 0 25 0 8 0 339769943 104861696 607 33554432000 4194304 7232020 140737144847504 18446744073709551615 274676637435 0 2147483391 4096 545260780 18446744073709551615 0 0 17 0 0 0 0
/proc/27364/statm: 25601 607 476 742 0 18172 0
[pid=27364/tid=27365] ppid=27362 vsize=102404 CPUtime=0 cores=0,2
/proc/27364/task/27365/stat : 27365 (mono) S 27362 27364 27190 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 8 0 339769943 104861696 607 33554432000 4194304 7232020 140737144847504 18446744073709551615 274676624281 0 0 4096 545260780 18446604440278878080 0 0 -1 0 0 0 0
[pid=27364/tid=27366] ppid=27362 vsize=102404 CPUtime=0 cores=0,2
/proc/27364/task/27366/stat : 27366 (mono) S 27362 27364 27190 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 8 0 339769943 104861696 607 33554432000 4194304 7232020 140737144847504 18446744073709551615 274676624281 0 0 4096 545260780 18446604440278878080 0 0 -1 0 0 0 0
[pid=27364/tid=27367] ppid=27362 vsize=102404 CPUtime=0 cores=0,2
/proc/27364/task/27367/stat : 27367 (mono) S 27362 27364 27190 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 8 0 339769943 104861696 607 33554432000 4194304 7232020 140737144847504 18446744073709551615 274676624281 0 0 4096 545260780 18446604440278878080 0 0 -1 0 0 0 0
[pid=27364/tid=27368] ppid=27362 vsize=102404 CPUtime=0 cores=0,2
/proc/27364/task/27368/stat : 27368 (mono) S 27362 27364 27190 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 8 0 339769943 104861696 607 33554432000 4194304 7232020 140737144847504 18446744073709551615 274676624281 0 0 4096 545260780 18446604440278878080 0 0 -1 0 0 0 0
[pid=27364/tid=27369] ppid=27362 vsize=102404 CPUtime=0 cores=0,2
/proc/27364/task/27369/stat : 27369 (mono) S 27362 27364 27190 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 8 0 339769943 104861696 607 33554432000 4194304 7232020 140737144847504 18446744073709551615 274676624281 0 0 4096 545260780 18446604440278878080 0 0 -1 0 0 0 0
[pid=27364/tid=27370] ppid=27362 vsize=102404 CPUtime=0 cores=0,2
/proc/27364/task/27370/stat : 27370 (mono) S 27362 27364 27190 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 8 0 339769943 104861696 607 33554432000 4194304 7232020 140737144847504 18446744073709551615 274676624281 0 0 4096 545260780 18446604440278878080 0 0 -1 0 0 0 0
[pid=27364/tid=27371] ppid=27362 vsize=102404 CPUtime=0 cores=0,2
/proc/27364/task/27371/stat : 27371 (mono) S 27362 27364 27190 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 8 0 339769943 104861696 607 33554432000 4194304 7232020 140737144847504 18446744073709551615 274676624281 0 0 4096 545260780 18446604440278878080 0 0 -1 0 0 0 0
[startup+0.0806161 s]
/proc/loadavg: 4.00 4.05 4.51 1/178 27364
/proc/meminfo: memFree=12760044/32951132 swapFree=67111528/67111528
[pid=27364] ppid=27362 vsize=107840 CPUtime=0.07 cores=0,2
/proc/27364/stat : 27364 (mono) R 27362 27364 27190 0 -1 4202496 1951 0 0 0 7 0 0 0 25 0 9 0 339769943 110428160 1852 33554432000 4194304 7232020 140737144847504 18446744073709551615 1087039997 0 0 4096 545260780 18446744073709551615 0 0 17 0 0 0 0
/proc/27364/statm: 26960 1852 976 742 0 19531 0
[pid=27364/tid=27365] ppid=27362 vsize=107840 CPUtime=0 cores=0,2
/proc/27364/task/27365/stat : 27365 (mono) S 27362 27364 27190 0 -1 4202560 4 0 0 0 0 0 0 0 17 0 9 0 339769943 110428160 1852 33554432000 4194304 7232020 140737144847504 18446744073709551615 274676624281 0 0 4096 545260780 18446604440278878080 0 0 -1 2 0 0 0
[pid=27364/tid=27366] ppid=27362 vsize=107840 CPUtime=0 cores=0,2
/proc/27364/task/27366/stat : 27366 (mono) S 27362 27364 27190 0 -1 4202560 2 0 0 0 0 0 0 0 17 0 9 0 339769943 110428160 1852 33554432000 4194304 7232020 140737144847504 18446744073709551615 274676624281 0 0 4096 545260780 18446604440278878080 0 0 -1 2 0 0 0
[pid=27364/tid=27367] ppid=27362 vsize=107840 CPUtime=0 cores=0,2
/proc/27364/task/27367/stat : 27367 (mono) S 27362 27364 27190 0 -1 4202560 2 0 0 0 0 0 0 0 17 0 9 0 339769943 110428160 1852 33554432000 4194304 7232020 140737144847504 18446744073709551615 274676624281 0 0 4096 545260780 18446604440278878080 0 0 -1 2 0 0 0
[pid=27364/tid=27368] ppid=27362 vsize=107840 CPUtime=0 cores=0,2
/proc/27364/task/27368/stat : 27368 (mono) S 27362 27364 27190 0 -1 4202560 2 0 0 0 0 0 0 0 17 0 9 0 339769943 110428160 1852 33554432000 4194304 7232020 140737144847504 18446744073709551615 274676624281 0 0 4096 545260780 18446604440278878080 0 0 -1 2 0 0 0
[pid=27364/tid=27369] ppid=27362 vsize=107840 CPUtime=0 cores=0,2
/proc/27364/task/27369/stat : 27369 (mono) S 27362 27364 27190 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 339769943 110428160 1855 33554432000 4194304 7232020 140737144847504 18446744073709551615 274676624281 0 0 4096 545260780 18446604440278878080 0 0 -1 0 0 0 0
[pid=27364/tid=27370] ppid=27362 vsize=107840 CPUtime=0 cores=0,2
/proc/27364/task/27370/stat : 27370 (mono) S 27362 27364 27190 0 -1 4202560 2 0 0 0 0 0 0 0 17 0 9 0 339769943 110428160 1857 33554432000 4194304 7232020 140737144847504 18446744073709551615 274676624281 0 0 4096 545260780 18446604440278878080 0 0 -1 2 0 0 0
[pid=27364/tid=27371] ppid=27362 vsize=107840 CPUtime=0 cores=0,2
/proc/27364/task/27371/stat : 27371 (mono) S 27362 27364 27190 0 -1 4202560 2 0 0 0 0 0 0 0 17 0 9 0 339769943 110428160 1860 33554432000 4194304 7232020 140737144847504 18446744073709551615 274676624281 0 0 4096 545260780 18446604440278878080 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 107840
[startup+0.10053 s]
/proc/loadavg: 4.00 4.05 4.51 1/178 27364
/proc/meminfo: memFree=12760044/32951132 swapFree=67111528/67111528
[pid=27364] ppid=27362 vsize=108624 CPUtime=0.09 cores=0,2
/proc/27364/stat : 27364 (mono) R 27362 27364 27190 0 -1 4202496 2072 0 0 0 9 0 0 0 25 0 9 0 339769943 111230976 1973 33554432000 4194304 7232020 140737144847504 18446744073709551615 6230343 0 0 4096 545260780 18446744073709551615 0 0 17 0 0 0 0
/proc/27364/statm: 27156 1973 976 742 0 19727 0
[pid=27364/tid=27365] ppid=27362 vsize=108624 CPUtime=0 cores=0,2
/proc/27364/task/27365/stat : 27365 (mono) S 27362 27364 27190 0 -1 4202560 4 0 0 0 0 0 0 0 17 0 9 0 339769943 111230976 1973 33554432000 4194304 7232020 140737144847504 18446744073709551615 274676624281 0 0 4096 545260780 18446604440278878080 0 0 -1 2 0 0 0
[pid=27364/tid=27366] ppid=27362 vsize=108624 CPUtime=0 cores=0,2
/proc/27364/task/27366/stat : 27366 (mono) S 27362 27364 27190 0 -1 4202560 2 0 0 0 0 0 0 0 17 0 9 0 339769943 111230976 1973 33554432000 4194304 7232020 140737144847504 18446744073709551615 274676624281 0 0 4096 545260780 18446604440278878080 0 0 -1 2 0 0 0
[pid=27364/tid=27367] ppid=27362 vsize=108624 CPUtime=0 cores=0,2
/proc/27364/task/27367/stat : 27367 (mono) S 27362 27364 27190 0 -1 4202560 2 0 0 0 0 0 0 0 17 0 9 0 339769943 111230976 1973 33554432000 4194304 7232020 140737144847504 18446744073709551615 274676624281 0 0 4096 545260780 18446604440278878080 0 0 -1 2 0 0 0
[pid=27364/tid=27368] ppid=27362 vsize=108624 CPUtime=0 cores=0,2
/proc/27364/task/27368/stat : 27368 (mono) S 27362 27364 27190 0 -1 4202560 2 0 0 0 0 0 0 0 17 0 9 0 339769943 111230976 1973 33554432000 4194304 7232020 140737144847504 18446744073709551615 274676624281 0 0 4096 545260780 18446604440278878080 0 0 -1 2 0 0 0
[pid=27364/tid=27369] ppid=27362 vsize=108624 CPUtime=0 cores=0,2
/proc/27364/task/27369/stat : 27369 (mono) S 27362 27364 27190 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 339769943 111230976 1973 33554432000 4194304 7232020 140737144847504 18446744073709551615 274676624281 0 0 4096 545260780 18446604440278878080 0 0 -1 2 0 0 0
[pid=27364/tid=27370] ppid=27362 vsize=108624 CPUtime=0 cores=0,2
/proc/27364/task/27370/stat : 27370 (mono) S 27362 27364 27190 0 -1 4202560 2 0 0 0 0 0 0 0 17 0 9 0 339769943 111230976 1973 33554432000 4194304 7232020 140737144847504 18446744073709551615 274676624281 0 0 4096 545260780 18446604440278878080 0 0 -1 2 0 0 0
[pid=27364/tid=27371] ppid=27362 vsize=108624 CPUtime=0 cores=0,2
/proc/27364/task/27371/stat : 27371 (mono) S 27362 27364 27190 0 -1 4202560 2 0 0 0 0 0 0 0 17 0 9 0 339769943 111230976 1973 33554432000 4194304 7232020 140737144847504 18446744073709551615 274676624281 0 0 4096 545260780 18446604440278878080 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 108624
[startup+0.311527 s]
/proc/loadavg: 4.00 4.05 4.51 1/178 27364
/proc/meminfo: memFree=12760044/32951132 swapFree=67111528/67111528
[pid=27364] ppid=27362 vsize=136392 CPUtime=0.32 cores=0,2
/proc/27364/stat : 27364 (mono) R 27362 27364 27190 0 -1 4202496 8427 0 0 0 31 1 0 0 18 0 9 0 339769943 139665408 8328 33554432000 4194304 7232020 140737144847504 18446744073709551615 1087067449 0 0 4096 545260780 18446744073709551615 0 0 17 0 0 0 0
/proc/27364/statm: 34098 8328 1000 742 0 26669 0
[pid=27364/tid=27365] ppid=27362 vsize=136392 CPUtime=0 cores=0,2
/proc/27364/task/27365/stat : 27365 (mono) S 27362 27364 27190 0 -1 4202560 4 0 0 0 0 0 0 0 16 0 9 0 339769943 139665408 8328 33554432000 4194304 7232020 140737144847504 18446744073709551615 274676624281 0 0 4096 545260780 18446604440278878080 0 0 -1 0 0 0 0
[pid=27364/tid=27366] ppid=27362 vsize=136392 CPUtime=0 cores=0,2
/proc/27364/task/27366/stat : 27366 (mono) S 27362 27364 27190 0 -1 4202560 2 0 0 0 0 0 0 0 16 0 9 0 339769943 139665408 8328 33554432000 4194304 7232020 140737144847504 18446744073709551615 274676624281 0 0 4096 545260780 18446604440278878080 0 0 -1 0 0 0 0
[pid=27364/tid=27367] ppid=27362 vsize=136392 CPUtime=0 cores=0,2
/proc/27364/task/27367/stat : 27367 (mono) S 27362 27364 27190 0 -1 4202560 2 0 0 0 0 0 0 0 16 0 9 0 339769943 139665408 8328 33554432000 4194304 7232020 140737144847504 18446744073709551615 274676624281 0 0 4096 545260780 18446604440278878080 0 0 -1 0 0 0 0
[pid=27364/tid=27368] ppid=27362 vsize=136392 CPUtime=0 cores=0,2
/proc/27364/task/27368/stat : 27368 (mono) S 27362 27364 27190 0 -1 4202560 2 0 0 0 0 0 0 0 16 0 9 0 339769943 139665408 8328 33554432000 4194304 7232020 140737144847504 18446744073709551615 274676624281 0 0 4096 545260780 18446604440278878080 0 0 -1 0 0 0 0
[pid=27364/tid=27369] ppid=27362 vsize=136392 CPUtime=0 cores=0,2
/proc/27364/task/27369/stat : 27369 (mono) S 27362 27364 27190 0 -1 4202560 2 0 0 0 0 0 0 0 16 0 9 0 339769943 139665408 8328 33554432000 4194304 7232020 140737144847504 18446744073709551615 274676624281 0 0 4096 545260780 18446604440278878080 0 0 -1 2 0 0 0
[pid=27364/tid=27370] ppid=27362 vsize=136392 CPUtime=0 cores=0,2
/proc/27364/task/27370/stat : 27370 (mono) S 27362 27364 27190 0 -1 4202560 2 0 0 0 0 0 0 0 16 0 9 0 339769943 139665408 8328 33554432000 4194304 7232020 140737144847504 18446744073709551615 274676624281 0 0 4096 545260780 18446604440278878080 0 0 -1 0 0 0 0
[pid=27364/tid=27371] ppid=27362 vsize=136392 CPUtime=0 cores=0,2
/proc/27364/task/27371/stat : 27371 (mono) S 27362 27364 27190 0 -1 4202560 2 0 0 0 0 0 0 0 16 0 9 0 339769943 139665408 8328 33554432000 4194304 7232020 140737144847504 18446744073709551615 274676624281 0 0 4096 545260780 18446604440278878080 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 136392
[startup+0.700487 s]
/proc/loadavg: 4.00 4.05 4.51 1/178 27364
/proc/meminfo: memFree=12760044/32951132 swapFree=67111528/67111528
[pid=27364] ppid=27362 vsize=136800 CPUtime=0.71 cores=0,2
/proc/27364/stat : 27364 (mono) R 27362 27364 27190 0 -1 4202496 9297 0 0 0 70 1 0 0 18 0 9 0 339769943 140083200 9197 33554432000 4194304 7232020 140737144847504 18446744073709551615 1077390790 0 0 4096 545260780 18446744073709551615 0 0 17 0 0 0 0
/proc/27364/statm: 34200 9197 1024 742 0 26771 0
[pid=27364/tid=27365] ppid=27362 vsize=136800 CPUtime=0 cores=0,2
/proc/27364/task/27365/stat : 27365 (mono) S 27362 27364 27190 0 -1 4202560 4 0 0 0 0 0 0 0 16 0 9 0 339769943 140083200 9197 33554432000 4194304 7232020 140737144847504 18446744073709551615 274676624281 0 0 4096 545260780 18446604440278878080 0 0 -1 2 0 0 0
[pid=27364/tid=27366] ppid=27362 vsize=136800 CPUtime=0 cores=0,2
/proc/27364/task/27366/stat : 27366 (mono) S 27362 27364 27190 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 339769943 140083200 9197 33554432000 4194304 7232020 140737144847504 18446744073709551615 274676624281 0 0 4096 545260780 18446604440278878080 0 0 -1 0 0 0 0
[pid=27364/tid=27367] ppid=27362 vsize=136800 CPUtime=0 cores=0,2
/proc/27364/task/27367/stat : 27367 (mono) S 27362 27364 27190 0 -1 4202560 2 0 0 0 0 0 0 0 16 0 9 0 339769943 140083200 9197 33554432000 4194304 7232020 140737144847504 18446744073709551615 274676624281 0 0 4096 545260780 18446604440278878080 0 0 -1 2 0 0 0
[pid=27364/tid=27368] ppid=27362 vsize=136800 CPUtime=0 cores=0,2
/proc/27364/task/27368/stat : 27368 (mono) S 27362 27364 27190 0 -1 4202560 2 0 0 0 0 0 0 0 16 0 9 0 339769943 140083200 9197 33554432000 4194304 7232020 140737144847504 18446744073709551615 274676624281 0 0 4096 545260780 18446604440278878080 0 0 -1 0 0 0 0
[pid=27364/tid=27369] ppid=27362 vsize=136800 CPUtime=0 cores=0,2
/proc/27364/task/27369/stat : 27369 (mono) S 27362 27364 27190 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 339769943 140083200 9197 33554432000 4194304 7232020 140737144847504 18446744073709551615 274676624281 0 0 4096 545260780 18446604440278878080 0 0 -1 0 0 0 0
[pid=27364/tid=27370] ppid=27362 vsize=136800 CPUtime=0.01 cores=0,2
/proc/27364/task/27370/stat : 27370 (mono) S 27362 27364 27190 0 -1 4202560 2 0 0 0 1 0 0 0 15 0 9 0 339769943 140083200 9197 33554432000 4194304 7232020 140737144847504 18446744073709551615 274676624281 0 0 4096 545260780 18446604440278878080 0 0 -1 0 0 0 0
[pid=27364/tid=27371] ppid=27362 vsize=136800 CPUtime=0 cores=0,2
/proc/27364/task/27371/stat : 27371 (mono) S 27362 27364 27190 0 -1 4202560 2 0 0 0 0 0 0 0 16 0 9 0 339769943 140083200 9197 33554432000 4194304 7232020 140737144847504 18446744073709551615 274676624281 0 0 4096 545260780 18446604440278878080 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.71
Current children cumulated vsize (KiB) 136800
[startup+1.50129 s]
/proc/loadavg: 4.00 4.05 4.51 5/220 27461
/proc/meminfo: memFree=12646028/32951132 swapFree=67111528/67111528
[pid=27364] ppid=27362 vsize=145184 CPUtime=1.52 cores=0,2
/proc/27364/stat : 27364 (mono) R 27362 27364 27190 0 -1 4202496 10120 0 0 0 151 1 0 0 18 0 9 0 339769943 148668416 10020 33554432000 4194304 7232020 140737144847504 18446744073709551615 1077391477 0 0 4096 545260780 18446744073709551615 0 0 17 2 0 0 0
/proc/27364/statm: 36296 10020 1024 742 0 28867 0
[pid=27364/tid=27365] ppid=27362 vsize=145184 CPUtime=0 cores=0,2
/proc/27364/task/27365/stat : 27365 (mono) S 27362 27364 27190 0 -1 4202560 4 0 0 0 0 0 0 0 16 0 9 0 339769943 148668416 10020 33554432000 4194304 7232020 140737144847504 18446744073709551615 274676624281 0 0 4096 545260780 18446604440278878080 0 0 -1 2 0 0 0
[pid=27364/tid=27366] ppid=27362 vsize=145184 CPUtime=0.01 cores=0,2
/proc/27364/task/27366/stat : 27366 (mono) S 27362 27364 27190 0 -1 4202560 2 0 0 0 1 0 0 0 16 0 9 0 339769943 148668416 10020 33554432000 4194304 7232020 140737144847504 18446744073709551615 274676624281 0 0 4096 545260780 18446604440278878080 0 0 -1 2 0 0 0
[pid=27364/tid=27367] ppid=27362 vsize=145184 CPUtime=0 cores=0,2
/proc/27364/task/27367/stat : 27367 (mono) S 27362 27364 27190 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 339769943 148668416 10020 33554432000 4194304 7232020 140737144847504 18446744073709551615 274676624281 0 0 4096 545260780 18446604440278878080 0 0 -1 0 0 0 0
[pid=27364/tid=27368] ppid=27362 vsize=145184 CPUtime=0 cores=0,2
/proc/27364/task/27368/stat : 27368 (mono) S 27362 27364 27190 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 339769943 148668416 10020 33554432000 4194304 7232020 140737144847504 18446744073709551615 274676624281 0 0 4096 545260780 18446604440278878080 0 0 -1 2 0 0 0
[pid=27364/tid=27369] ppid=27362 vsize=145184 CPUtime=0 cores=0,2
/proc/27364/task/27369/stat : 27369 (mono) S 27362 27364 27190 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 339769943 148668416 10020 33554432000 4194304 7232020 140737144847504 18446744073709551615 274676624281 0 0 4096 545260780 18446604440278878080 0 0 -1 0 0 0 0
[pid=27364/tid=27370] ppid=27362 vsize=145184 CPUtime=0.01 cores=0,2
/proc/27364/task/27370/stat : 27370 (mono) S 27362 27364 27190 0 -1 4202560 2 0 0 0 1 0 0 0 15 0 9 0 339769943 148668416 10020 33554432000 4194304 7232020 140737144847504 18446744073709551615 274676624281 0 0 4096 545260780 18446604440278878080 0 0 -1 0 0 0 0
[pid=27364/tid=27371] ppid=27362 vsize=145184 CPUtime=0 cores=0,2
/proc/27364/task/27371/stat : 27371 (mono) S 27362 27364 27190 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 339769943 148668416 10020 33554432000 4194304 7232020 140737144847504 18446744073709551615 274676624281 0 0 4096 545260780 18446604440278878080 0 0 -1 2 0 0 0
[pid=27364/tid=27374] ppid=27362 vsize=145184 CPUtime=0 cores=0,2
/proc/27364/task/27374/stat : 27374 (mono) S 27362 27364 27190 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 339769944 148668416 10020 33554432000 4194304 7232020 140737144847504 18446744073709551615 274676631985 0 0 4096 545260780 18446604440278878080 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.52
Current children cumulated vsize (KiB) 145184
[startup+3.10108 s]
/proc/loadavg: 4.00 4.05 4.51 5/220 27461
/proc/meminfo: memFree=12628676/32951132 swapFree=67111528/67111528
[pid=27364] ppid=27362 vsize=145312 CPUtime=3.13 cores=0,2
/proc/27364/stat : 27364 (mono) R 27362 27364 27190 0 -1 4202496 11125 0 0 0 312 1 0 0 18 0 9 0 339769943 148799488 11025 33554432000 4194304 7232020 140737144847504 18446744073709551615 1077392055 0 0 4096 545260780 18446744073709551615 0 0 17 0 0 0 0
/proc/27364/statm: 36328 11025 1024 742 0 28899 0
[pid=27364/tid=27365] ppid=27362 vsize=145312 CPUtime=0.01 cores=0,2
/proc/27364/task/27365/stat : 27365 (mono) S 27362 27364 27190 0 -1 4202560 4 0 0 0 1 0 0 0 15 0 9 0 339769943 148799488 11025 33554432000 4194304 7232020 140737144847504 18446744073709551615 274676624281 0 0 4096 545260780 18446604440278878080 0 0 -1 0 0 0 0
[pid=27364/tid=27366] ppid=27362 vsize=145312 CPUtime=0.01 cores=0,2
/proc/27364/task/27366/stat : 27366 (mono) S 27362 27364 27190 0 -1 4202560 2 0 0 0 1 0 0 0 15 0 9 0 339769943 148799488 11025 33554432000 4194304 7232020 140737144847504 18446744073709551615 274676624281 0 0 4096 545260780 18446604440278878080 0 0 -1 2 0 0 0
[pid=27364/tid=27367] ppid=27362 vsize=145312 CPUtime=0.01 cores=0,2
/proc/27364/task/27367/stat : 27367 (mono) S 27362 27364 27190 0 -1 4202560 2 0 0 0 1 0 0 0 16 0 9 0 339769943 148799488 11025 33554432000 4194304 7232020 140737144847504 18446744073709551615 274676624281 0 0 4096 545260780 18446604440278878080 0 0 -1 2 0 0 0
[pid=27364/tid=27368] ppid=27362 vsize=145312 CPUtime=0.01 cores=0,2
/proc/27364/task/27368/stat : 27368 (mono) S 27362 27364 27190 0 -1 4202560 2 0 0 0 1 0 0 0 15 0 9 0 339769943 148799488 11025 33554432000 4194304 7232020 140737144847504 18446744073709551615 274676624281 0 0 4096 545260780 18446604440278878080 0 0 -1 2 0 0 0
[pid=27364/tid=27369] ppid=27362 vsize=145312 CPUtime=0.01 cores=0,2
/proc/27364/task/27369/stat : 27369 (mono) S 27362 27364 27190 0 -1 4202560 2 0 0 0 1 0 0 0 15 0 9 0 339769943 148799488 11025 33554432000 4194304 7232020 140737144847504 18446744073709551615 274676624281 0 0 4096 545260780 18446604440278878080 0 0 -1 2 0 0 0
[pid=27364/tid=27370] ppid=27362 vsize=145312 CPUtime=0.01 cores=0,2
/proc/27364/task/27370/stat : 27370 (mono) S 27362 27364 27190 0 -1 4202560 2 0 0 0 1 0 0 0 16 0 9 0 339769943 148799488 11025 33554432000 4194304 7232020 140737144847504 18446744073709551615 274676624281 0 0 4096 545260780 18446604440278878080 0 0 -1 0 0 0 0
[pid=27364/tid=27371] ppid=27362 vsize=145312 CPUtime=0.01 cores=0,2
/proc/27364/task/27371/stat : 27371 (mono) S 27362 27364 27190 0 -1 4202560 2 0 0 0 1 0 0 0 15 0 9 0 339769943 148799488 11025 33554432000 4194304 7232020 140737144847504 18446744073709551615 274676624281 0 0 4096 545260780 18446604440278878080 0 0 -1 0 0 0 0
[pid=27364/tid=27374] ppid=27362 vsize=145312 CPUtime=0 cores=0,2
/proc/27364/task/27374/stat : 27374 (mono) S 27362 27364 27190 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 339769944 148799488 11025 33554432000 4194304 7232020 140737144847504 18446744073709551615 274676631985 0 0 4096 545260780 18446604440278878080 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3.13
Current children cumulated vsize (KiB) 145312
[startup+6.30051 s]
/proc/loadavg: 4.00 4.05 4.51 5/220 27461
/proc/meminfo: memFree=12593272/32951132 swapFree=67111528/67111528
[pid=27364] ppid=27362 vsize=162080 CPUtime=6.36 cores=0,2
/proc/27364/stat : 27364 (mono) R 27362 27364 27190 0 -1 4202496 14422 0 0 0 634 2 0 0 18 0 9 0 339769943 165969920 14322 33554432000 4194304 7232020 140737144847504 18446744073709551615 1077393192 0 0 4096 545260780 18446744073709551615 0 0 17 0 0 0 0
/proc/27364/statm: 40520 14322 1024 742 0 33091 0
[pid=27364/tid=27365] ppid=27362 vsize=162080 CPUtime=0.02 cores=0,2
/proc/27364/task/27365/stat : 27365 (mono) S 27362 27364 27190 0 -1 4202560 4 0 0 0 2 0 0 0 15 0 9 0 339769943 165969920 14322 33554432000 4194304 7232020 140737144847504 18446744073709551615 274676624281 0 0 4096 545260780 18446604440278878080 0 0 -1 2 0 0 0
[pid=27364/tid=27366] ppid=27362 vsize=162080 CPUtime=0.01 cores=0,2
/proc/27364/task/27366/stat : 27366 (mono) S 27362 27364 27190 0 -1 4202560 2 0 0 0 1 0 0 0 15 0 9 0 339769943 165969920 14322 33554432000 4194304 7232020 140737144847504 18446744073709551615 274676624281 0 0 4096 545260780 18446604440278878080 0 0 -1 0 0 0 0
[pid=27364/tid=27367] ppid=27362 vsize=162080 CPUtime=0.01 cores=0,2
/proc/27364/task/27367/stat : 27367 (mono) S 27362 27364 27190 0 -1 4202560 2 0 0 0 1 0 0 0 15 0 9 0 339769943 165969920 14322 33554432000 4194304 7232020 140737144847504 18446744073709551615 274676624281 0 0 4096 545260780 18446604440278878080 0 0 -1 2 0 0 0
[pid=27364/tid=27368] ppid=27362 vsize=162080 CPUtime=0.02 cores=0,2
/proc/27364/task/27368/stat : 27368 (mono) S 27362 27364 27190 0 -1 4202560 2 0 0 0 2 0 0 0 15 0 9 0 339769943 165969920 14322 33554432000 4194304 7232020 140737144847504 18446744073709551615 274676624281 0 0 4096 545260780 18446604440278878080 0 0 -1 2 0 0 0
[pid=27364/tid=27369] ppid=27362 vsize=162080 CPUtime=0.02 cores=0,2
/proc/27364/task/27369/stat : 27369 (mono) S 27362 27364 27190 0 -1 4202560 2 0 0 0 2 0 0 0 16 0 9 0 339769943 165969920 14322 33554432000 4194304 7232020 140737144847504 18446744073709551615 274676624281 0 0 4096 545260780 18446604440278878080 0 0 -1 2 0 0 0
################
# More data... #
################
/proc/27364/task/27368/stat : 27368 (mono) S 27362 27364 27190 0 -1 4202560 2 0 0 0 110 0 0 0 15 0 9 0 339769943 794853376 119814 33554432000 4194304 7232020 140737144847504 18446744073709551615 274676624281 0 0 4096 545260780 18446604440278878080 0 0 -1 0 0 0 0
[pid=27364/tid=27369] ppid=27362 vsize=776224 CPUtime=1.17 cores=0,2
/proc/27364/task/27369/stat : 27369 (mono) S 27362 27364 27190 0 -1 4202560 2 0 0 0 117 0 0 0 15 0 9 0 339769943 794853376 119814 33554432000 4194304 7232020 140737144847504 18446744073709551615 274676624281 0 0 4096 545260780 18446604440278878080 0 0 -1 2 0 0 0
[pid=27364/tid=27370] ppid=27362 vsize=776224 CPUtime=1.14 cores=0,2
/proc/27364/task/27370/stat : 27370 (mono) S 27362 27364 27190 0 -1 4202560 2 0 0 0 114 0 0 0 16 0 9 0 339769943 794853376 119814 33554432000 4194304 7232020 140737144847504 18446744073709551615 274676624281 0 0 4096 545260780 18446604440278878080 0 0 -1 2 0 0 0
[pid=27364/tid=27371] ppid=27362 vsize=776224 CPUtime=1.21 cores=0,2
/proc/27364/task/27371/stat : 27371 (mono) S 27362 27364 27190 0 -1 4202560 2 0 0 0 121 0 0 0 15 0 9 0 339769943 794853376 119814 33554432000 4194304 7232020 140737144847504 18446744073709551615 274676624281 0 0 4096 545260780 18446604440278878080 0 0 -1 2 0 0 0
[pid=27364/tid=27374] ppid=27362 vsize=776224 CPUtime=0 cores=0,2
/proc/27364/task/27374/stat : 27374 (mono) S 27362 27364 27190 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 339769944 794853376 119814 33554432000 4194304 7232020 140737144847504 18446744073709551615 274676631985 0 0 4096 545260780 18446604440278878080 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 946.23
Current children cumulated vsize (KiB) 776224
[startup+1002.3 s]
/proc/loadavg: 4.00 4.04 4.20 5/220 27499
/proc/meminfo: memFree=10491464/32951132 swapFree=67111528/67111528
[pid=27364] ppid=27362 vsize=776224 CPUtime=1006.37 cores=0,2
/proc/27364/stat : 27364 (mono) R 27362 27364 27190 0 -1 4202496 393308 0 0 0 100555 82 0 0 25 0 9 0 339769943 794853376 135957 33554432000 4194304 7232020 140737144847504 18446744073709551615 1077390790 0 0 4096 545260780 18446744073709551615 0 0 17 0 0 0 0
/proc/27364/statm: 194056 135957 1036 742 0 186627 0
[pid=27364/tid=27365] ppid=27362 vsize=776224 CPUtime=1.16 cores=0,2
/proc/27364/task/27365/stat : 27365 (mono) S 27362 27364 27190 0 -1 4202560 4 0 0 0 116 0 0 0 16 0 9 0 339769943 794853376 135957 33554432000 4194304 7232020 140737144847504 18446744073709551615 274676624281 0 0 4096 545260780 18446604440278878080 0 0 -1 2 0 0 0
[pid=27364/tid=27366] ppid=27362 vsize=776224 CPUtime=1.15 cores=0,2
/proc/27364/task/27366/stat : 27366 (mono) S 27362 27364 27190 0 -1 4202560 2 0 0 0 115 0 0 0 15 0 9 0 339769943 794853376 135957 33554432000 4194304 7232020 140737144847504 18446744073709551615 274676624281 0 0 4096 545260780 18446604440278878080 0 0 -1 0 0 0 0
[pid=27364/tid=27367] ppid=27362 vsize=776224 CPUtime=1.22 cores=0,2
/proc/27364/task/27367/stat : 27367 (mono) S 27362 27364 27190 0 -1 4202560 2 0 0 0 122 0 0 0 16 0 9 0 339769943 794853376 135957 33554432000 4194304 7232020 140737144847504 18446744073709551615 274676624281 0 0 4096 545260780 18446604440278878080 0 0 -1 2 0 0 0
[pid=27364/tid=27368] ppid=27362 vsize=776224 CPUtime=1.15 cores=0,2
/proc/27364/task/27368/stat : 27368 (mono) S 27362 27364 27190 0 -1 4202560 2 0 0 0 115 0 0 0 16 0 9 0 339769943 794853376 135957 33554432000 4194304 7232020 140737144847504 18446744073709551615 274676624281 0 0 4096 545260780 18446604440278878080 0 0 -1 2 0 0 0
[pid=27364/tid=27369] ppid=27362 vsize=776224 CPUtime=1.2 cores=0,2
/proc/27364/task/27369/stat : 27369 (mono) S 27362 27364 27190 0 -1 4202560 2 0 0 0 120 0 0 0 16 0 9 0 339769943 794853376 135957 33554432000 4194304 7232020 140737144847504 18446744073709551615 274676624281 0 0 4096 545260780 18446604440278878080 0 0 -1 0 0 0 0
[pid=27364/tid=27370] ppid=27362 vsize=776224 CPUtime=1.16 cores=0,2
/proc/27364/task/27370/stat : 27370 (mono) S 27362 27364 27190 0 -1 4202560 2 0 0 0 116 0 0 0 15 0 9 0 339769943 794853376 135957 33554432000 4194304 7232020 140737144847504 18446744073709551615 274676624281 0 0 4096 545260780 18446604440278878080 0 0 -1 2 0 0 0
[pid=27364/tid=27371] ppid=27362 vsize=776224 CPUtime=1.25 cores=0,2
/proc/27364/task/27371/stat : 27371 (mono) S 27362 27364 27190 0 -1 4202560 2 0 0 0 125 0 0 0 15 0 9 0 339769943 794853376 135957 33554432000 4194304 7232020 140737144847504 18446744073709551615 274676624281 0 0 4096 545260780 18446604440278878080 0 0 -1 0 0 0 0
[pid=27364/tid=27374] ppid=27362 vsize=776224 CPUtime=0 cores=0,2
/proc/27364/task/27374/stat : 27374 (mono) S 27362 27364 27190 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 339769944 794853376 135957 33554432000 4194304 7232020 140737144847504 18446744073709551615 274676631985 0 0 4096 545260780 18446604440278878080 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1006.37
Current children cumulated vsize (KiB) 776224
[startup+1062.3 s]
/proc/loadavg: 4.00 4.03 4.18 5/220 27501
/proc/meminfo: memFree=10207124/32951132 swapFree=67111528/67111528
[pid=27364] ppid=27362 vsize=800816 CPUtime=1066.48 cores=0,2
/proc/27364/stat : 27364 (mono) R 27362 27364 27190 0 -1 4202496 418108 0 0 0 106562 86 0 0 25 0 9 0 339769943 820035584 160757 33554432000 4194304 7232020 140737144847504 18446744073709551615 1077391803 0 0 4096 545260780 18446744073709551615 0 0 17 0 0 0 0
/proc/27364/statm: 200204 160757 1036 742 0 192775 0
[pid=27364/tid=27365] ppid=27362 vsize=800816 CPUtime=1.22 cores=0,2
/proc/27364/task/27365/stat : 27365 (mono) S 27362 27364 27190 0 -1 4202560 4 0 0 0 122 0 0 0 16 0 9 0 339769943 820035584 160757 33554432000 4194304 7232020 140737144847504 18446744073709551615 274676624281 0 0 4096 545260780 18446604440278878080 0 0 -1 2 0 0 0
[pid=27364/tid=27366] ppid=27362 vsize=800816 CPUtime=1.15 cores=0,2
/proc/27364/task/27366/stat : 27366 (mono) S 27362 27364 27190 0 -1 4202560 2 0 0 0 115 0 0 0 16 0 9 0 339769943 820035584 160757 33554432000 4194304 7232020 140737144847504 18446744073709551615 274676624281 0 0 4096 545260780 18446604440278878080 0 0 -1 2 0 0 0
[pid=27364/tid=27367] ppid=27362 vsize=800816 CPUtime=1.22 cores=0,2
/proc/27364/task/27367/stat : 27367 (mono) S 27362 27364 27190 0 -1 4202560 2 0 0 0 122 0 0 0 15 0 9 0 339769943 820035584 160757 33554432000 4194304 7232020 140737144847504 18446744073709551615 274676624281 0 0 4096 545260780 18446604440278878080 0 0 -1 2 0 0 0
[pid=27364/tid=27368] ppid=27362 vsize=800816 CPUtime=1.17 cores=0,2
/proc/27364/task/27368/stat : 27368 (mono) S 27362 27364 27190 0 -1 4202560 2 0 0 0 117 0 0 0 16 0 9 0 339769943 820035584 160757 33554432000 4194304 7232020 140737144847504 18446744073709551615 274676624281 0 0 4096 545260780 18446604440278878080 0 0 -1 0 0 0 0
[pid=27364/tid=27369] ppid=27362 vsize=800816 CPUtime=1.27 cores=0,2
/proc/27364/task/27369/stat : 27369 (mono) S 27362 27364 27190 0 -1 4202560 2 0 0 0 127 0 0 0 15 0 9 0 339769943 820035584 160757 33554432000 4194304 7232020 140737144847504 18446744073709551615 274676624281 0 0 4096 545260780 18446604440278878080 0 0 -1 2 0 0 0
[pid=27364/tid=27370] ppid=27362 vsize=800816 CPUtime=1.19 cores=0,2
/proc/27364/task/27370/stat : 27370 (mono) S 27362 27364 27190 0 -1 4202560 2 0 0 0 119 0 0 0 16 0 9 0 339769943 820035584 160757 33554432000 4194304 7232020 140737144847504 18446744073709551615 274676624281 0 0 4096 545260780 18446604440278878080 0 0 -1 0 0 0 0
[pid=27364/tid=27371] ppid=27362 vsize=800816 CPUtime=1.27 cores=0,2
/proc/27364/task/27371/stat : 27371 (mono) S 27362 27364 27190 0 -1 4202560 2 0 0 0 127 0 0 0 15 0 9 0 339769943 820035584 160757 33554432000 4194304 7232020 140737144847504 18446744073709551615 274676624281 0 0 4096 545260780 18446604440278878080 0 0 -1 0 0 0 0
[pid=27364/tid=27374] ppid=27362 vsize=800816 CPUtime=0 cores=0,2
/proc/27364/task/27374/stat : 27374 (mono) S 27362 27364 27190 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 339769944 820035584 160757 33554432000 4194304 7232020 140737144847504 18446744073709551615 274676631985 0 0 4096 545260780 18446604440278878080 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1066.48
Current children cumulated vsize (KiB) 800816
[startup+1122.3 s]
/proc/loadavg: 4.00 4.03 4.17 5/220 27503
/proc/meminfo: memFree=10104192/32951132 swapFree=67111528/67111528
[pid=27364] ppid=27362 vsize=800816 CPUtime=1126.57 cores=0,2
/proc/27364/stat : 27364 (mono) R 27362 27364 27190 0 -1 4202496 430455 0 0 0 112569 88 0 0 25 0 9 0 339769943 820035584 173104 33554432000 4194304 7232020 140737144847504 18446744073709551615 6155136 0 0 4096 545260780 18446744073709551615 0 0 17 0 0 0 0
/proc/27364/statm: 200204 173104 1036 742 0 192775 0
[pid=27364/tid=27365] ppid=27362 vsize=800816 CPUtime=1.22 cores=0,2
/proc/27364/task/27365/stat : 27365 (mono) S 27362 27364 27190 0 -1 4202560 4 0 0 0 122 0 0 0 16 0 9 0 339769943 820035584 173104 33554432000 4194304 7232020 140737144847504 18446744073709551615 274676624281 0 0 4096 545260780 18446604440278878080 0 0 -1 2 0 0 0
[pid=27364/tid=27366] ppid=27362 vsize=800816 CPUtime=1.16 cores=0,2
/proc/27364/task/27366/stat : 27366 (mono) S 27362 27364 27190 0 -1 4202560 2 0 0 0 116 0 0 0 16 0 9 0 339769943 820035584 173104 33554432000 4194304 7232020 140737144847504 18446744073709551615 274676624281 0 0 4096 545260780 18446604440278878080 0 0 -1 2 0 0 0
[pid=27364/tid=27367] ppid=27362 vsize=800816 CPUtime=1.28 cores=0,2
/proc/27364/task/27367/stat : 27367 (mono) S 27362 27364 27190 0 -1 4202560 2 0 0 0 128 0 0 0 16 0 9 0 339769943 820035584 173104 33554432000 4194304 7232020 140737144847504 18446744073709551615 274676624281 0 0 4096 545260780 18446604440278878080 0 0 -1 2 0 0 0
[pid=27364/tid=27368] ppid=27362 vsize=800816 CPUtime=1.18 cores=0,2
/proc/27364/task/27368/stat : 27368 (mono) S 27362 27364 27190 0 -1 4202560 2 0 0 0 118 0 0 0 15 0 9 0 339769943 820035584 173104 33554432000 4194304 7232020 140737144847504 18446744073709551615 274676624281 0 0 4096 545260780 18446604440278878080 0 0 -1 0 0 0 0
[pid=27364/tid=27369] ppid=27362 vsize=800816 CPUtime=1.29 cores=0,2
/proc/27364/task/27369/stat : 27369 (mono) S 27362 27364 27190 0 -1 4202560 2 0 0 0 129 0 0 0 15 0 9 0 339769943 820035584 173104 33554432000 4194304 7232020 140737144847504 18446744073709551615 274676624281 0 0 4096 545260780 18446604440278878080 0 0 -1 2 0 0 0
[pid=27364/tid=27370] ppid=27362 vsize=800816 CPUtime=1.26 cores=0,2
/proc/27364/task/27370/stat : 27370 (mono) S 27362 27364 27190 0 -1 4202560 2 0 0 0 126 0 0 0 16 0 9 0 339769943 820035584 173104 33554432000 4194304 7232020 140737144847504 18446744073709551615 274676624281 0 0 4096 545260780 18446604440278878080 0 0 -1 0 0 0 0
[pid=27364/tid=27371] ppid=27362 vsize=800816 CPUtime=1.29 cores=0,2
/proc/27364/task/27371/stat : 27371 (mono) S 27362 27364 27190 0 -1 4202560 2 0 0 0 129 0 0 0 16 0 9 0 339769943 820035584 173104 33554432000 4194304 7232020 140737144847504 18446744073709551615 274676624281 0 0 4096 545260780 18446604440278878080 0 0 -1 2 0 0 0
[pid=27364/tid=27374] ppid=27362 vsize=800816 CPUtime=0 cores=0,2
/proc/27364/task/27374/stat : 27374 (mono) S 27362 27364 27190 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 339769944 820035584 173104 33554432000 4194304 7232020 140737144847504 18446744073709551615 274676631985 0 0 4096 545260780 18446604440278878080 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1126.57
Current children cumulated vsize (KiB) 800816
[startup+1182.3 s]
/proc/loadavg: 4.00 4.02 4.16 5/220 27505
/proc/meminfo: memFree=9812908/32951132 swapFree=67111528/67111528
[pid=27364] ppid=27362 vsize=892016 CPUtime=1186.68 cores=0,2
/proc/27364/stat : 27364 (mono) R 27362 27364 27190 0 -1 4202496 455338 0 0 0 118576 92 0 0 25 0 9 0 339769943 913424384 197987 33554432000 4194304 7232020 140737144847504 18446744073709551615 1077391470 0 0 4096 545260780 18446744073709551615 0 0 17 0 0 0 0
/proc/27364/statm: 223004 197987 1036 742 0 215575 0
[pid=27364/tid=27365] ppid=27362 vsize=892016 CPUtime=1.27 cores=0,2
/proc/27364/task/27365/stat : 27365 (mono) S 27362 27364 27190 0 -1 4202560 4 0 0 0 127 0 0 0 16 0 9 0 339769943 913424384 197987 33554432000 4194304 7232020 140737144847504 18446744073709551615 274676624281 0 0 4096 545260780 18446604440278878080 0 0 -1 0 0 0 0
[pid=27364/tid=27366] ppid=27362 vsize=892016 CPUtime=1.16 cores=0,2
/proc/27364/task/27366/stat : 27366 (mono) S 27362 27364 27190 0 -1 4202560 2 0 0 0 116 0 0 0 15 0 9 0 339769943 913424384 197987 33554432000 4194304 7232020 140737144847504 18446744073709551615 274676624281 0 0 4096 545260780 18446604440278878080 0 0 -1 2 0 0 0
[pid=27364/tid=27367] ppid=27362 vsize=892016 CPUtime=1.28 cores=0,2
/proc/27364/task/27367/stat : 27367 (mono) S 27362 27364 27190 0 -1 4202560 2 0 0 0 128 0 0 0 15 0 9 0 339769943 913424384 197987 33554432000 4194304 7232020 140737144847504 18446744073709551615 274676624281 0 0 4096 545260780 18446604440278878080 0 0 -1 0 0 0 0
[pid=27364/tid=27368] ppid=27362 vsize=892016 CPUtime=1.19 cores=0,2
/proc/27364/task/27368/stat : 27368 (mono) S 27362 27364 27190 0 -1 4202560 2 0 0 0 119 0 0 0 15 0 9 0 339769943 913424384 197987 33554432000 4194304 7232020 140737144847504 18446744073709551615 274676624281 0 0 4096 545260780 18446604440278878080 0 0 -1 0 0 0 0
[pid=27364/tid=27369] ppid=27362 vsize=892016 CPUtime=1.33 cores=0,2
/proc/27364/task/27369/stat : 27369 (mono) S 27362 27364 27190 0 -1 4202560 2 0 0 0 133 0 0 0 16 0 9 0 339769943 913424384 197987 33554432000 4194304 7232020 140737144847504 18446744073709551615 274676624281 0 0 4096 545260780 18446604440278878080 0 0 -1 2 0 0 0
[pid=27364/tid=27370] ppid=27362 vsize=892016 CPUtime=1.29 cores=0,2
/proc/27364/task/27370/stat : 27370 (mono) S 27362 27364 27190 0 -1 4202560 2 0 0 0 129 0 0 0 15 0 9 0 339769943 913424384 197987 33554432000 4194304 7232020 140737144847504 18446744073709551615 274676624281 0 0 4096 545260780 18446604440278878080 0 0 -1 2 0 0 0
[pid=27364/tid=27371] ppid=27362 vsize=892016 CPUtime=1.35 cores=0,2
/proc/27364/task/27371/stat : 27371 (mono) S 27362 27364 27190 0 -1 4202560 2 0 0 0 135 0 0 0 15 0 9 0 339769943 913424384 197987 33554432000 4194304 7232020 140737144847504 18446744073709551615 274676624281 0 0 4096 545260780 18446604440278878080 0 0 -1 2 0 0 0
[pid=27364/tid=27374] ppid=27362 vsize=892016 CPUtime=0 cores=0,2
/proc/27364/task/27374/stat : 27374 (mono) S 27362 27364 27190 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 339769944 913424384 197987 33554432000 4194304 7232020 140737144847504 18446744073709551615 274676631985 0 0 4096 545260780 18446604440278878080 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1186.68
Current children cumulated vsize (KiB) 892016
[startup+1242.3 s]
/proc/loadavg: 4.04 4.03 4.15 5/220 27507
/proc/meminfo: memFree=9606932/32951132 swapFree=67111528/67111528
[pid=27364] ppid=27362 vsize=983664 CPUtime=1246.83 cores=0,2
/proc/27364/stat : 27364 (mono) R 27362 27364 27190 0 -1 4202496 477365 0 0 0 124587 96 0 0 25 0 9 0 339769943 1007271936 220014 33554432000 4194304 7232020 140737144847504 18446744073709551615 1077391477 0 0 4096 545260780 18446744073709551615 0 0 17 0 0 0 0
/proc/27364/statm: 245916 220014 1036 742 0 238487 0
[pid=27364/tid=27365] ppid=27362 vsize=983664 CPUtime=1.29 cores=0,2
/proc/27364/task/27365/stat : 27365 (mono) S 27362 27364 27190 0 -1 4202560 4 0 0 0 129 0 0 0 15 0 9 0 339769943 1007271936 220014 33554432000 4194304 7232020 140737144847504 18446744073709551615 274676624281 0 0 4096 545260780 18446604440278878080 0 0 -1 0 0 0 0
[pid=27364/tid=27366] ppid=27362 vsize=983664 CPUtime=1.17 cores=0,2
/proc/27364/task/27366/stat : 27366 (mono) S 27362 27364 27190 0 -1 4202560 2 0 0 0 117 0 0 0 16 0 9 0 339769943 1007271936 220014 33554432000 4194304 7232020 140737144847504 18446744073709551615 274676624281 0 0 4096 545260780 18446604440278878080 0 0 -1 2 0 0 0
[pid=27364/tid=27367] ppid=27362 vsize=983664 CPUtime=1.33 cores=0,2
/proc/27364/task/27367/stat : 27367 (mono) S 27362 27364 27190 0 -1 4202560 2 0 0 0 133 0 0 0 16 0 9 0 339769943 1007271936 220014 33554432000 4194304 7232020 140737144847504 18446744073709551615 274676624281 0 0 4096 545260780 18446604440278878080 0 0 -1 2 0 0 0
[pid=27364/tid=27368] ppid=27362 vsize=983664 CPUtime=1.2 cores=0,2
/proc/27364/task/27368/stat : 27368 (mono) S 27362 27364 27190 0 -1 4202560 2 0 0 0 120 0 0 0 16 0 9 0 339769943 1007271936 220014 33554432000 4194304 7232020 140737144847504 18446744073709551615 274676624281 0 0 4096 545260780 18446604440278878080 0 0 -1 2 0 0 0
[pid=27364/tid=27369] ppid=27362 vsize=983664 CPUtime=1.4 cores=0,2
/proc/27364/task/27369/stat : 27369 (mono) S 27362 27364 27190 0 -1 4202560 2 0 0 0 140 0 0 0 16 0 9 0 339769943 1007271936 220014 33554432000 4194304 7232020 140737144847504 18446744073709551615 274676624281 0 0 4096 545260780 18446604440278878080 0 0 -1 0 0 0 0
[pid=27364/tid=27370] ppid=27362 vsize=983664 CPUtime=1.31 cores=0,2
/proc/27364/task/27370/stat : 27370 (mono) S 27362 27364 27190 0 -1 4202560 2 0 0 0 131 0 0 0 16 0 9 0 339769943 1007271936 220014 33554432000 4194304 7232020 140737144847504 18446744073709551615 274676624281 0 0 4096 545260780 18446604440278878080 0 0 -1 2 0 0 0
[pid=27364/tid=27371] ppid=27362 vsize=983664 CPUtime=1.4 cores=0,2
/proc/27364/task/27371/stat : 27371 (mono) S 27362 27364 27190 0 -1 4202560 2 0 0 0 140 0 0 0 15 0 9 0 339769943 1007271936 220014 33554432000 4194304 7232020 140737144847504 18446744073709551615 274676624281 0 0 4096 545260780 18446604440278878080 0 0 -1 0 0 0 0
[pid=27364/tid=27374] ppid=27362 vsize=983664 CPUtime=0 cores=0,2
/proc/27364/task/27374/stat : 27374 (mono) S 27362 27364 27190 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 339769944 1007271936 220014 33554432000 4194304 7232020 140737144847504 18446744073709551615 274676631985 0 0 4096 545260780 18446604440278878080 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1246.83
Current children cumulated vsize (KiB) 983664
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1300 s]
/proc/loadavg: 4.02 4.02 4.14 5/220 27507
/proc/meminfo: memFree=9489492/32951132 swapFree=67111528/67111528
[pid=27364] ppid=27362 vsize=1042032 CPUtime=1304.63 cores=0,2
/proc/27364/stat : 27364 (mono) R 27362 27364 27190 0 -1 4202496 491043 0 0 0 130364 99 0 0 25 0 9 0 339769943 1067040768 233692 33554432000 4194304 7232020 140737144847504 18446744073709551615 1077391477 0 0 4096 545260780 18446744073709551615 0 0 17 0 0 0 0
/proc/27364/statm: 260508 233692 1036 742 0 253079 0
[pid=27364/tid=27365] ppid=27362 vsize=1042032 CPUtime=1.31 cores=0,2
/proc/27364/task/27365/stat : 27365 (mono) S 27362 27364 27190 0 -1 4202560 4 0 0 0 131 0 0 0 16 0 9 0 339769943 1067040768 233692 33554432000 4194304 7232020 140737144847504 18446744073709551615 274676624281 0 0 4096 545260780 18446604440278878080 0 0 -1 2 0 0 0
[pid=27364/tid=27366] ppid=27362 vsize=1042032 CPUtime=1.21 cores=0,2
/proc/27364/task/27366/stat : 27366 (mono) S 27362 27364 27190 0 -1 4202560 2 0 0 0 121 0 0 0 16 0 9 0 339769943 1067040768 233692 33554432000 4194304 7232020 140737144847504 18446744073709551615 274676624281 0 0 4096 545260780 18446604440278878080 0 0 -1 0 0 0 0
[pid=27364/tid=27367] ppid=27362 vsize=1042032 CPUtime=1.37 cores=0,2
/proc/27364/task/27367/stat : 27367 (mono) S 27362 27364 27190 0 -1 4202560 2 0 0 0 137 0 0 0 16 0 9 0 339769943 1067040768 233692 33554432000 4194304 7232020 140737144847504 18446744073709551615 274676624281 0 0 4096 545260780 18446604440278878080 0 0 -1 2 0 0 0
[pid=27364/tid=27368] ppid=27362 vsize=1042032 CPUtime=1.25 cores=0,2
/proc/27364/task/27368/stat : 27368 (mono) S 27362 27364 27190 0 -1 4202560 2 0 0 0 125 0 0 0 16 0 9 0 339769943 1067040768 233692 33554432000 4194304 7232020 140737144847504 18446744073709551615 274676624281 0 0 4096 545260780 18446604440278878080 0 0 -1 0 0 0 0
[pid=27364/tid=27369] ppid=27362 vsize=1042032 CPUtime=1.42 cores=0,2
/proc/27364/task/27369/stat : 27369 (mono) S 27362 27364 27190 0 -1 4202560 2 0 0 0 142 0 0 0 16 0 9 0 339769943 1067040768 233692 33554432000 4194304 7232020 140737144847504 18446744073709551615 274676624281 0 0 4096 545260780 18446604440278878080 0 0 -1 2 0 0 0
[pid=27364/tid=27370] ppid=27362 vsize=1042032 CPUtime=1.31 cores=0,2
/proc/27364/task/27370/stat : 27370 (mono) S 27362 27364 27190 0 -1 4202560 2 0 0 0 131 0 0 0 16 0 9 0 339769943 1067040768 233692 33554432000 4194304 7232020 140737144847504 18446744073709551615 274676624281 0 0 4096 545260780 18446604440278878080 0 0 -1 2 0 0 0
[pid=27364/tid=27371] ppid=27362 vsize=1042032 CPUtime=1.42 cores=0,2
/proc/27364/task/27371/stat : 27371 (mono) S 27362 27364 27190 0 -1 4202560 2 0 0 0 142 0 0 0 15 0 9 0 339769943 1067040768 233692 33554432000 4194304 7232020 140737144847504 18446744073709551615 274676624281 0 0 4096 545260780 18446604440278878080 0 0 -1 0 0 0 0
[pid=27364/tid=27374] ppid=27362 vsize=1042032 CPUtime=0 cores=0,2
/proc/27364/task/27374/stat : 27374 (mono) S 27362 27364 27190 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 339769944 1067040768 233692 33554432000 4194304 7232020 140737144847504 18446744073709551615 274676631985 0 0 4096 545260780 18446604440278878080 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1304.63
Current children cumulated vsize (KiB) 1042032
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): 1304.69
CPU user time (s): 1303.65
CPU system time (s): 1.03784
CPU usage (%): 100.357
Max. virtual memory (cumulated for all children) (KiB): 1042032
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1303.65
system time used= 1.03784
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 491043
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= 20464
involuntary context switches= 11572
runsolver used 2.17367 second user time and 4.94525 second system time
The end