runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3456260-1307226837/watcher-3456260-1307226837 -o /tmp/evaluation-result-3456260-1307226837/solver-3456260-1307226837 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456260-1307226837.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.13 2.06 2.01 2/479 30429
/proc/meminfo: memFree=24879304/32951124 swapFree=41830676/67111528
[pid=30429] ppid=30427 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/30429/stat : 30429 (java) S 30427 30429 29047 0 -1 4202496 4792 0 1 0 0 0 0 0 25 0 2 0 834281725 10694979584 4494 33554432000 1073741824 1073778376 140734269295264 18446744073709551615 228134516709 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0
/proc/30429/statm: 2611079 4506 917 9 0 2602235 0
[pid=30429/tid=30430] ppid=30427 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/30429/task/30430/stat : 30430 (java) R 30427 30429 29047 0 -1 4202560 3738 0 1 0 0 0 0 0 25 0 2 0 834281726 10694979584 4554 33554432000 1073741824 1073778376 140734269295264 18446744073709551615 228122407995 0 4 0 16784584 0 0 0 -1 1 0 0 0
[startup+0.0635391 s]
/proc/loadavg: 2.13 2.06 2.01 2/479 30429
/proc/meminfo: memFree=24879304/32951124 swapFree=41830676/67111528
[pid=30429] ppid=30427 vsize=10472756 CPUtime=0.05 cores=1,3,5,7
/proc/30429/stat : 30429 (java) S 30427 30429 29047 0 -1 4202496 11616 0 1 0 4 1 0 0 25 0 18 0 834281725 10724102144 11313 33554432000 1073741824 1073778376 140734269295264 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/30429/statm: 2618189 11314 1722 9 0 2608937 0
[pid=30429/tid=30430] ppid=30427 vsize=10472756 CPUtime=0.04 cores=1,3,5,7
/proc/30429/task/30430/stat : 30430 (java) R 30427 30429 29047 0 -1 4202560 10443 0 1 0 4 0 0 0 25 0 18 0 834281726 10724102144 11314 33554432000 1073741824 1073778376 140734269295264 18446744073709551615 47337421682200 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 10472756
[startup+0.100509 s]
/proc/loadavg: 2.13 2.06 2.01 2/479 30429
/proc/meminfo: memFree=24879304/32951124 swapFree=41830676/67111528
[pid=30429] ppid=30427 vsize=10539868 CPUtime=0.1 cores=1,3,5,7
/proc/30429/stat : 30429 (java) S 30427 30429 29047 0 -1 4202496 13044 0 1 0 9 1 0 0 25 0 18 0 834281725 10792824832 12704 33554432000 1073741824 1073778376 140734269295264 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/30429/statm: 2634967 12705 2092 9 0 2625701 0
[pid=30429/tid=30430] ppid=30427 vsize=10539868 CPUtime=0.08 cores=1,3,5,7
/proc/30429/task/30430/stat : 30430 (java) R 30427 30429 29047 0 -1 4202560 11087 0 1 0 7 1 0 0 18 0 18 0 834281726 10792824832 12705 33554432000 1073741824 1073778376 140734269295264 18446744073709551615 228134540747 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10539868
[startup+0.316993 s]
/proc/loadavg: 2.13 2.06 2.01 2/479 30429
/proc/meminfo: memFree=24879304/32951124 swapFree=41830676/67111528
[pid=30429] ppid=30427 vsize=10541336 CPUtime=0.51 cores=1,3,5,7
/proc/30429/stat : 30429 (java) S 30427 30429 29047 0 -1 4202496 16575 0 1 0 49 2 0 0 25 0 18 0 834281725 10794328064 15788 33554432000 1073741824 1073778376 140734269295264 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/30429/statm: 2635334 15789 2222 9 0 2626068 0
[pid=30429/tid=30430] ppid=30427 vsize=10541336 CPUtime=0.3 cores=1,3,5,7
/proc/30429/task/30430/stat : 30430 (java) R 30427 30429 29047 0 -1 4202560 12982 0 1 0 28 2 0 0 18 0 18 0 834281726 10794328064 15789 33554432000 1073741824 1073778376 140734269295264 18446744073709551615 46912505617055 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 10541336
[startup+0.718446 s]
/proc/loadavg: 2.13 2.06 2.01 2/479 30429
/proc/meminfo: memFree=24879304/32951124 swapFree=41830676/67111528
[pid=30429] ppid=30427 vsize=10547924 CPUtime=1.68 cores=1,3,5,7
/proc/30429/stat : 30429 (java) S 30427 30429 29047 0 -1 4202496 34361 0 1 0 164 4 0 0 25 0 19 0 834281725 10801074176 31706 33554432000 1073741824 1073778376 140734269295264 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/30429/statm: 2636981 31722 2234 9 0 2627715 0
[pid=30429/tid=30430] ppid=30427 vsize=10547924 CPUtime=0.7 cores=1,3,5,7
/proc/30429/task/30430/stat : 30430 (java) R 30427 30429 29047 0 -1 4202560 25143 0 1 0 67 3 0 0 19 0 19 0 834281726 10801074176 31737 33554432000 1073741824 1073778376 140734269295264 18446744073709551615 47337423117139 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.68
Current children cumulated vsize (KiB) 10547924
[startup+1.50126 s]
/proc/loadavg: 2.13 2.06 2.01 3/498 30448
/proc/meminfo: memFree=24705128/32951124 swapFree=41830676/67111528
[pid=30429] ppid=30427 vsize=10547924 CPUtime=2.74 cores=1,3,5,7
/proc/30429/stat : 30429 (java) S 30427 30429 29047 0 -1 4202496 79349 0 1 0 264 10 0 0 25 0 19 0 834281725 10801074176 76693 33554432000 1073741824 1073778376 140734269295264 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/30429/statm: 2636981 76696 2240 9 0 2627715 0
[pid=30429/tid=30430] ppid=30427 vsize=10547924 CPUtime=1.47 cores=1,3,5,7
/proc/30429/task/30430/stat : 30430 (java) R 30427 30429 29047 0 -1 4202560 70054 0 1 0 139 8 0 0 20 0 19 0 834281726 10801074176 76697 33554432000 1073741824 1073778376 140734269295264 18446744073709551615 46912505887488 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=30429/tid=30432] ppid=30427 vsize=10547924 CPUtime=0 cores=1,3,5,7
/proc/30429/task/30432/stat : 30432 (java) S 30427 30429 29047 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834281728 10801074176 76699 33554432000 1073741824 1073778376 140734269295264 18446744073709551615 228134529945 0 4 0 16800975 18446604454620075200 0 0 -1 7 0 0 0
[pid=30429/tid=30433] ppid=30427 vsize=10547924 CPUtime=0 cores=1,3,5,7
/proc/30429/task/30433/stat : 30433 (java) S 30427 30429 29047 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834281728 10801074176 76700 33554432000 1073741824 1073778376 140734269295264 18446744073709551615 228134529945 0 4 0 16800975 18446604454620075200 0 0 -1 7 0 0 0
[pid=30429/tid=30434] ppid=30427 vsize=10547924 CPUtime=0 cores=1,3,5,7
/proc/30429/task/30434/stat : 30434 (java) S 30427 30429 29047 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834281728 10801074176 76702 33554432000 1073741824 1073778376 140734269295264 18446744073709551615 228134529945 0 4 0 16800975 18446604454620075200 0 0 -1 7 0 0 0
[pid=30429/tid=30435] ppid=30427 vsize=10547924 CPUtime=0 cores=1,3,5,7
/proc/30429/task/30435/stat : 30435 (java) S 30427 30429 29047 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834281728 10801074176 76703 33554432000 1073741824 1073778376 140734269295264 18446744073709551615 228134529945 0 4 0 16800975 18446604454620075200 0 0 -1 7 0 0 0
[pid=30429/tid=30436] ppid=30427 vsize=10547924 CPUtime=0 cores=1,3,5,7
/proc/30429/task/30436/stat : 30436 (java) S 30427 30429 29047 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834281728 10801074176 76704 33554432000 1073741824 1073778376 140734269295264 18446744073709551615 228134529945 0 4 0 16800975 18446604454620075200 0 0 -1 7 0 0 0
[pid=30429/tid=30437] ppid=30427 vsize=10547924 CPUtime=0 cores=1,3,5,7
/proc/30429/task/30437/stat : 30437 (java) S 30427 30429 29047 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834281728 10801074176 76706 33554432000 1073741824 1073778376 140734269295264 18446744073709551615 228134529945 0 4 0 16800975 18446604454620075200 0 0 -1 7 0 0 0
[pid=30429/tid=30438] ppid=30427 vsize=10547924 CPUtime=0 cores=1,3,5,7
/proc/30429/task/30438/stat : 30438 (java) S 30427 30429 29047 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834281728 10801074176 76707 33554432000 1073741824 1073778376 140734269295264 18446744073709551615 228134529945 0 4 0 16800975 18446604454620075200 0 0 -1 7 0 0 0
[pid=30429/tid=30439] ppid=30427 vsize=10547924 CPUtime=0 cores=1,3,5,7
/proc/30429/task/30439/stat : 30439 (java) S 30427 30429 29047 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834281728 10801074176 76709 33554432000 1073741824 1073778376 140734269295264 18446744073709551615 228134529945 0 4 0 16800975 18446604454620075200 0 0 -1 7 0 0 0
[pid=30429/tid=30440] ppid=30427 vsize=10547924 CPUtime=0 cores=1,3,5,7
/proc/30429/task/30440/stat : 30440 (java) S 30427 30429 29047 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 834281729 10801074176 76710 33554432000 1073741824 1073778376 140734269295264 18446744073709551615 228134530560 0 0 0 16800975 18446604454620075200 0 0 -1 1 0 0 0
[pid=30429/tid=30441] ppid=30427 vsize=10547924 CPUtime=0 cores=1,3,5,7
/proc/30429/task/30441/stat : 30441 (java) S 30427 30429 29047 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 834281729 10801074176 76711 33554432000 1073741824 1073778376 140734269295264 18446744073709551615 228134529945 0 4 0 16800975 18446604454620075200 0 0 -1 1 0 0 0
[pid=30429/tid=30442] ppid=30427 vsize=10547924 CPUtime=0 cores=1,3,5,7
/proc/30429/task/30442/stat : 30442 (java) S 30427 30429 29047 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 834281729 10801074176 76713 33554432000 1073741824 1073778376 140734269295264 18446744073709551615 228134529945 0 4 0 16800975 18446604454620075200 0 0 -1 1 0 0 0
[pid=30429/tid=30443] ppid=30427 vsize=10547924 CPUtime=0 cores=1,3,5,7
/proc/30429/task/30443/stat : 30443 (java) S 30427 30429 29047 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834281731 10801074176 76714 33554432000 1073741824 1073778376 140734269295264 18446744073709551615 228134537649 0 4 0 16800975 18446604454620075200 0 0 -1 1 0 0 0
[pid=30429/tid=30444] ppid=30427 vsize=10547924 CPUtime=0.59 cores=1,3,5,7
/proc/30429/task/30444/stat : 30444 (java) S 30427 30429 29047 0 -1 4202560 3364 0 0 0 59 0 0 0 15 0 19 0 834281732 10801074176 76715 33554432000 1073741824 1073778376 140734269295264 18446744073709551615 228134529945 0 4 0 16800975 18446604454620075200 0 0 -1 7 0 0 0
[pid=30429/tid=30445] ppid=30427 vsize=10547924 CPUtime=0.65 cores=1,3,5,7
/proc/30429/task/30445/stat : 30445 (java) S 30427 30429 29047 0 -1 4202560 4775 0 0 0 65 0 0 0 15 0 19 0 834281732 10801074176 76717 33554432000 1073741824 1073778376 140734269295264 18446744073709551615 228134529945 0 4 0 16800975 18446604454620075200 0 0 -1 3 0 0 0
[pid=30429/tid=30446] ppid=30427 vsize=10547924 CPUtime=0 cores=1,3,5,7
/proc/30429/task/30446/stat : 30446 (java) S 30427 30429 29047 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834281732 10801074176 76718 33554432000 1073741824 1073778376 140734269295264 18446744073709551615 228134529945 0 4 0 16800975 18446604454620075200 0 0 -1 1 0 0 0
[pid=30429/tid=30447] ppid=30427 vsize=10547924 CPUtime=0 cores=1,3,5,7
/proc/30429/task/30447/stat : 30447 (java) S 30427 30429 29047 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 834281732 10801074176 76720 33554432000 1073741824 1073778376 140734269295264 18446744073709551615 228134530560 0 4 0 16800975 18446604454620075200 0 0 -1 7 0 0 0
[pid=30429/tid=30448] ppid=30427 vsize=10547924 CPUtime=0 cores=1,3,5,7
/proc/30429/task/30448/stat : 30448 (java) S 30427 30429 29047 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 834281792 10801074176 76721 33554432000 1073741824 1073778376 140734269295264 18446744073709551615 228134530560 0 4 0 16800975 18446604454620075200 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.74
Current children cumulated vsize (KiB) 10547924
[startup+3.10097 s]
/proc/loadavg: 2.12 2.06 2.01 3/498 30448
/proc/meminfo: memFree=24423996/32951124 swapFree=41830676/67111528
[pid=30429] ppid=30427 vsize=10547924 CPUtime=4.55 cores=1,3,5,7
/proc/30429/stat : 30429 (java) S 30427 30429 29047 0 -1 4202496 182630 0 1 0 435 20 0 0 25 0 19 0 834281725 10801074176 179973 33554432000 1073741824 1073778376 140734269295264 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/30429/statm: 2636981 179975 2240 9 0 2627715 0
[pid=30429/tid=30430] ppid=30427 vsize=10547924 CPUtime=3.07 cores=1,3,5,7
/proc/30429/task/30430/stat : 30430 (java) R 30427 30429 29047 0 -1 4202560 173283 0 1 0 289 18 0 0 25 0 19 0 834281726 10801074176 179976 33554432000 1073741824 1073778376 140734269295264 18446744073709551615 46912505887222 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=30429/tid=30432] ppid=30427 vsize=10547924 CPUtime=0 cores=1,3,5,7
/proc/30429/task/30432/stat : 30432 (java) S 30427 30429 29047 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834281728 10801074176 179978 33554432000 1073741824 1073778376 140734269295264 18446744073709551615 228134529945 0 4 0 16800975 18446604454620075200 0 0 -1 7 0 0 0
[pid=30429/tid=30433] ppid=30427 vsize=10547924 CPUtime=0 cores=1,3,5,7
/proc/30429/task/30433/stat : 30433 (java) S 30427 30429 29047 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834281728 10801074176 179979 33554432000 1073741824 1073778376 140734269295264 18446744073709551615 228134529945 0 4 0 16800975 18446604454620075200 0 0 -1 7 0 0 0
[pid=30429/tid=30434] ppid=30427 vsize=10547924 CPUtime=0 cores=1,3,5,7
/proc/30429/task/30434/stat : 30434 (java) S 30427 30429 29047 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834281728 10801074176 179981 33554432000 1073741824 1073778376 140734269295264 18446744073709551615 228134529945 0 4 0 16800975 18446604454620075200 0 0 -1 7 0 0 0
[pid=30429/tid=30435] ppid=30427 vsize=10547924 CPUtime=0 cores=1,3,5,7
/proc/30429/task/30435/stat : 30435 (java) S 30427 30429 29047 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834281728 10801074176 179982 33554432000 1073741824 1073778376 140734269295264 18446744073709551615 228134529945 0 4 0 16800975 18446604454620075200 0 0 -1 7 0 0 0
[pid=30429/tid=30436] ppid=30427 vsize=10547924 CPUtime=0 cores=1,3,5,7
/proc/30429/task/30436/stat : 30436 (java) S 30427 30429 29047 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834281728 10801074176 179984 33554432000 1073741824 1073778376 140734269295264 18446744073709551615 228134529945 0 4 0 16800975 18446604454620075200 0 0 -1 7 0 0 0
[pid=30429/tid=30437] ppid=30427 vsize=10547924 CPUtime=0 cores=1,3,5,7
/proc/30429/task/30437/stat : 30437 (java) S 30427 30429 29047 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834281728 10801074176 179985 33554432000 1073741824 1073778376 140734269295264 18446744073709551615 228134529945 0 4 0 16800975 18446604454620075200 0 0 -1 7 0 0 0
[pid=30429/tid=30438] ppid=30427 vsize=10547924 CPUtime=0 cores=1,3,5,7
/proc/30429/task/30438/stat : 30438 (java) S 30427 30429 29047 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834281728 10801074176 179986 33554432000 1073741824 1073778376 140734269295264 18446744073709551615 228134529945 0 4 0 16800975 18446604454620075200 0 0 -1 7 0 0 0
[pid=30429/tid=30439] ppid=30427 vsize=10547924 CPUtime=0 cores=1,3,5,7
/proc/30429/task/30439/stat : 30439 (java) S 30427 30429 29047 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834281728 10801074176 179988 33554432000 1073741824 1073778376 140734269295264 18446744073709551615 228134529945 0 4 0 16800975 18446604454620075200 0 0 -1 7 0 0 0
[pid=30429/tid=30440] ppid=30427 vsize=10547924 CPUtime=0 cores=1,3,5,7
/proc/30429/task/30440/stat : 30440 (java) S 30427 30429 29047 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 834281729 10801074176 179990 33554432000 1073741824 1073778376 140734269295264 18446744073709551615 228134530560 0 0 0 16800975 18446604454620075200 0 0 -1 1 0 0 0
[pid=30429/tid=30441] ppid=30427 vsize=10547924 CPUtime=0 cores=1,3,5,7
/proc/30429/task/30441/stat : 30441 (java) S 30427 30429 29047 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 834281729 10801074176 179991 33554432000 1073741824 1073778376 140734269295264 18446744073709551615 228134529945 0 4 0 16800975 18446604454620075200 0 0 -1 1 0 0 0
[pid=30429/tid=30442] ppid=30427 vsize=10547924 CPUtime=0 cores=1,3,5,7
/proc/30429/task/30442/stat : 30442 (java) S 30427 30429 29047 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 834281729 10801074176 179992 33554432000 1073741824 1073778376 140734269295264 18446744073709551615 228134529945 0 4 0 16800975 18446604454620075200 0 0 -1 1 0 0 0
[pid=30429/tid=30443] ppid=30427 vsize=10547924 CPUtime=0 cores=1,3,5,7
/proc/30429/task/30443/stat : 30443 (java) S 30427 30429 29047 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834281731 10801074176 179994 33554432000 1073741824 1073778376 140734269295264 18446744073709551615 228134537649 0 4 0 16800975 18446604454620075200 0 0 -1 1 0 0 0
[pid=30429/tid=30444] ppid=30427 vsize=10547924 CPUtime=0.63 cores=1,3,5,7
/proc/30429/task/30444/stat : 30444 (java) S 30427 30429 29047 0 -1 4202560 3369 0 0 0 63 0 0 0 15 0 19 0 834281732 10801074176 179995 33554432000 1073741824 1073778376 140734269295264 18446744073709551615 228134529945 0 4 0 16800975 18446604454620075200 0 0 -1 7 0 0 0
[pid=30429/tid=30445] ppid=30427 vsize=10547924 CPUtime=0.81 cores=1,3,5,7
/proc/30429/task/30445/stat : 30445 (java) S 30427 30429 29047 0 -1 4202560 4822 0 0 0 81 0 0 0 15 0 19 0 834281732 10801074176 179996 33554432000 1073741824 1073778376 140734269295264 18446744073709551615 228134529945 0 4 0 16800975 18446604454620075200 0 0 -1 3 0 0 0
[pid=30429/tid=30446] ppid=30427 vsize=10547924 CPUtime=0 cores=1,3,5,7
/proc/30429/task/30446/stat : 30446 (java) S 30427 30429 29047 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834281732 10801074176 179998 33554432000 1073741824 1073778376 140734269295264 18446744073709551615 228134529945 0 4 0 16800975 18446604454620075200 0 0 -1 1 0 0 0
[pid=30429/tid=30447] ppid=30427 vsize=10547924 CPUtime=0 cores=1,3,5,7
/proc/30429/task/30447/stat : 30447 (java) S 30427 30429 29047 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 834281732 10801074176 179999 33554432000 1073741824 1073778376 140734269295264 18446744073709551615 228134530560 0 4 0 16800975 18446604454620075200 0 0 -1 7 0 0 0
[pid=30429/tid=30448] ppid=30427 vsize=10547924 CPUtime=0 cores=1,3,5,7
/proc/30429/task/30448/stat : 30448 (java) S 30427 30429 29047 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 834281792 10801074176 180001 33554432000 1073741824 1073778376 140734269295264 18446744073709551615 228134530560 0 4 0 16800975 18446604454620075200 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4.55
Current children cumulated vsize (KiB) 10547924
[startup+6.30139 s]
/proc/loadavg: 2.12 2.06 2.01 3/498 30448
/proc/meminfo: memFree=23658624/32951124 swapFree=41830676/67111528
[pid=30429] ppid=30427 vsize=10547924 CPUtime=7.79 cores=1,3,5,7
/proc/30429/stat : 30429 (java) S 30427 30429 29047 0 -1 4202496 330400 0 1 0 741 38 0 0 25 0 19 0 834281725 10801074176 327739 33554432000 1073741824 1073778376 140734269295264 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/30429/statm: 2636981 327741 2242 9 0 2627715 0
[pid=30429/tid=30430] ppid=30427 vsize=10547924 CPUtime=6.28 cores=1,3,5,7
/proc/30429/task/30430/stat : 30430 (java) R 30427 30429 29047 0 -1 4202560 321047 0 1 0 592 36 0 0 25 0 19 0 834281726 10801074176 327741 33554432000 1073741824 1073778376 140734269295264 18446744073709551615 46912505591018 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=30429/tid=30432] ppid=30427 vsize=10547924 CPUtime=0 cores=1,3,5,7
/proc/30429/task/30432/stat : 30432 (java) S 30427 30429 29047 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834281728 10801074176 327741 33554432000 1073741824 1073778376 140734269295264 18446744073709551615 228134529945 0 4 0 16800975 18446604454620075200 0 0 -1 7 0 0 0
[pid=30429/tid=30433] ppid=30427 vsize=10547924 CPUtime=0 cores=1,3,5,7
/proc/30429/task/30433/stat : 30433 (java) S 30427 30429 29047 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834281728 10801074176 327742 33554432000 1073741824 1073778376 140734269295264 18446744073709551615 228134529945 0 4 0 16800975 18446604454620075200 0 0 -1 7 0 0 0
[pid=30429/tid=30434] ppid=30427 vsize=10547924 CPUtime=0 cores=1,3,5,7
/proc/30429/task/30434/stat : 30434 (java) S 30427 30429 29047 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834281728 10801074176 327742 33554432000 1073741824 1073778376 140734269295264 18446744073709551615 228134529945 0 4 0 16800975 18446604454620075200 0 0 -1 7 0 0 0
[pid=30429/tid=30435] ppid=30427 vsize=10547924 CPUtime=0 cores=1,3,5,7
/proc/30429/task/30435/stat : 30435 (java) S 30427 30429 29047 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834281728 10801074176 327742 33554432000 1073741824 1073778376 140734269295264 18446744073709551615 228134529945 0 4 0 16800975 18446604454620075200 0 0 -1 7 0 0 0
[pid=30429/tid=30436] ppid=30427 vsize=10547924 CPUtime=0 cores=1,3,5,7
/proc/30429/task/30436/stat : 30436 (java) S 30427 30429 29047 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834281728 10801074176 327742 33554432000 1073741824 1073778376 140734269295264 18446744073709551615 228134529945 0 4 0 16800975 18446604454620075200 0 0 -1 7 0 0 0
[pid=30429/tid=30437] ppid=30427 vsize=10547924 CPUtime=0 cores=1,3,5,7
/proc/30429/task/30437/stat : 30437 (java) S 30427 30429 29047 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834281728 10801074176 327742 33554432000 1073741824 1073778376 140734269295264 18446744073709551615 228134529945 0 4 0 16800975 18446604454620075200 0 0 -1 7 0 0 0
[pid=30429/tid=30438] ppid=30427 vsize=10547924 CPUtime=0 cores=1,3,5,7
/proc/30429/task/30438/stat : 30438 (java) S 30427 30429 29047 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834281728 10801074176 327743 33554432000 1073741824 1073778376 140734269295264 18446744073709551615 228134529945 0 4 0 16800975 18446604454620075200 0 0 -1 7 0 0 0
[pid=30429/tid=30439] ppid=30427 vsize=10547924 CPUtime=0 cores=1,3,5,7
/proc/30429/task/30439/stat : 30439 (java) S 30427 30429 29047 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834281728 10801074176 327743 33554432000 1073741824 1073778376 140734269295264 18446744073709551615 228134529945 0 4 0 16800975 18446604454620075200 0 0 -1 7 0 0 0
[pid=30429/tid=30440] ppid=30427 vsize=10547924 CPUtime=0 cores=1,3,5,7
/proc/30429/task/30440/stat : 30440 (java) S 30427 30429 29047 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 834281729 10801074176 327744 33554432000 1073741824 1073778376 140734269295264 18446744073709551615 228134530560 0 0 0 16800975 18446604454620075200 0 0 -1 1 0 0 0
[pid=30429/tid=30441] ppid=30427 vsize=10547924 CPUtime=0 cores=1,3,5,7
/proc/30429/task/30441/stat : 30441 (java) S 30427 30429 29047 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 834281729 10801074176 327744 33554432000 1073741824 1073778376 140734269295264 18446744073709551615 228134529945 0 4 0 16800975 18446604454620075200 0 0 -1 1 0 0 0
[pid=30429/tid=30442] ppid=30427 vsize=10547924 CPUtime=0 cores=1,3,5,7
/proc/30429/task/30442/stat : 30442 (java) S 30427 30429 29047 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 834281729 10801074176 327744 33554432000 1073741824 1073778376 140734269295264 18446744073709551615 228134529945 0 4 0 16800975 18446604454620075200 0 0 -1 1 0 0 0
[pid=30429/tid=30443] ppid=30427 vsize=10547924 CPUtime=0 cores=1,3,5,7
/proc/30429/task/30443/stat : 30443 (java) S 30427 30429 29047 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834281731 10801074176 327744 33554432000 1073741824 1073778376 140734269295264 18446744073709551615 228134537649 0 4 0 16800975 18446604454620075200 0 0 -1 1 0 0 0
[pid=30429/tid=30444] ppid=30427 vsize=10547924 CPUtime=0.63 cores=1,3,5,7
/proc/30429/task/30444/stat : 30444 (java) S 30427 30429 29047 0 -1 4202560 3369 0 0 0 63 0 0 0 16 0 19 0 834281732 10801074176 327745 33554432000 1073741824 1073778376 140734269295264 18446744073709551615 228134529945 0 4 0 16800975 18446604454620075200 0 0 -1 7 0 0 0
[pid=30429/tid=30445] ppid=30427 vsize=10547924 CPUtime=0.85 cores=1,3,5,7
/proc/30429/task/30445/stat : 30445 (java) S 30427 30429 29047 0 -1 4202560 4825 0 0 0 85 0 0 0 15 0 19 0 834281732 10801074176 327745 33554432000 1073741824 1073778376 140734269295264 18446744073709551615 228134529945 0 4 0 16800975 18446604454620075200 0 0 -1 3 0 0 0
################
# More data... #
################
/proc/30429/task/30441/stat : 30441 (java) S 30427 30429 29047 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 834281729 10801074176 907393 33554432000 1073741824 1073778376 140734269295264 18446744073709551615 228134529945 0 4 0 16800975 18446604454620075200 0 0 -1 1 0 0 0
[pid=30429/tid=30442] ppid=30427 vsize=10547924 CPUtime=0 cores=1,3,5,7
/proc/30429/task/30442/stat : 30442 (java) S 30427 30429 29047 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 834281729 10801074176 907393 33554432000 1073741824 1073778376 140734269295264 18446744073709551615 228134529945 0 4 0 16800975 18446604454620075200 0 0 -1 1 0 0 0
[pid=30429/tid=30443] ppid=30427 vsize=10547924 CPUtime=0 cores=1,3,5,7
/proc/30429/task/30443/stat : 30443 (java) S 30427 30429 29047 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834281731 10801074176 907393 33554432000 1073741824 1073778376 140734269295264 18446744073709551615 228134537649 0 4 0 16800975 18446604454620075200 0 0 -1 1 0 0 0
[pid=30429/tid=30444] ppid=30427 vsize=10547924 CPUtime=0.73 cores=1,3,5,7
/proc/30429/task/30444/stat : 30444 (java) S 30427 30429 29047 0 -1 4202560 3386 0 0 0 73 0 0 0 16 0 19 0 834281732 10801074176 907393 33554432000 1073741824 1073778376 140734269295264 18446744073709551615 228134529945 0 4 0 16800975 18446604454620075200 0 0 -1 5 0 0 0
[pid=30429/tid=30445] ppid=30427 vsize=10547924 CPUtime=1.13 cores=1,3,5,7
/proc/30429/task/30445/stat : 30445 (java) S 30427 30429 29047 0 -1 4202560 4890 0 0 0 113 0 0 0 15 0 19 0 834281732 10801074176 907393 33554432000 1073741824 1073778376 140734269295264 18446744073709551615 228134529945 0 4 0 16800975 18446604454620075200 0 0 -1 3 0 0 0
[pid=30429/tid=30446] ppid=30427 vsize=10547924 CPUtime=0 cores=1,3,5,7
/proc/30429/task/30446/stat : 30446 (java) S 30427 30429 29047 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834281732 10801074176 907393 33554432000 1073741824 1073778376 140734269295264 18446744073709551615 228134529945 0 4 0 16800975 18446604454620075200 0 0 -1 1 0 0 0
[pid=30429/tid=30447] ppid=30427 vsize=10547924 CPUtime=0 cores=1,3,5,7
/proc/30429/task/30447/stat : 30447 (java) S 30427 30429 29047 0 -1 4202560 98 0 0 0 0 0 0 0 15 0 19 0 834281732 10801074176 907393 33554432000 1073741824 1073778376 140734269295264 18446744073709551615 228134530560 0 4 0 16800975 18446604454620075200 0 0 -1 3 0 0 0
[pid=30429/tid=30448] ppid=30427 vsize=10547924 CPUtime=0 cores=1,3,5,7
/proc/30429/task/30448/stat : 30448 (java) S 30427 30429 29047 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 834281792 10801074176 907393 33554432000 1073741824 1073778376 140734269295264 18446744073709551615 228134530560 0 4 0 16800975 18446604454620075200 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1665.63
Current children cumulated vsize (KiB) 10547924
[startup+1722.3 s]
/proc/loadavg: 2.08 2.04 2.01 3/498 30551
/proc/meminfo: memFree=21280500/32951124 swapFree=41830676/67111528
[pid=30429] ppid=30427 vsize=10547924 CPUtime=1725.66 cores=1,3,5,7
/proc/30429/stat : 30429 (java) S 30427 30429 29047 0 -1 4202496 912041 0 1 0 172467 99 0 0 25 0 19 0 834281725 10801074176 907450 33554432000 1073741824 1073778376 140734269295264 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/30429/statm: 2636981 907450 2270 9 0 2627715 0
[pid=30429/tid=30430] ppid=30427 vsize=10547924 CPUtime=1721.41 cores=1,3,5,7
/proc/30429/task/30430/stat : 30430 (java) R 30427 30429 29047 0 -1 4202560 822656 0 1 0 172054 87 0 0 25 0 19 0 834281726 10801074176 907450 33554432000 1073741824 1073778376 140734269295264 18446744073709551615 46912506014085 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=30429/tid=30432] ppid=30427 vsize=10547924 CPUtime=0.34 cores=1,3,5,7
/proc/30429/task/30432/stat : 30432 (java) S 30427 30429 29047 0 -1 4202560 12795 0 0 0 33 1 0 0 15 0 19 0 834281728 10801074176 907450 33554432000 1073741824 1073778376 140734269295264 18446744073709551615 228134529945 0 4 0 16800975 18446604454620075200 0 0 -1 5 0 0 0
[pid=30429/tid=30433] ppid=30427 vsize=10547924 CPUtime=0.24 cores=1,3,5,7
/proc/30429/task/30433/stat : 30433 (java) S 30427 30429 29047 0 -1 4202560 9408 0 0 0 24 0 0 0 15 0 19 0 834281728 10801074176 907450 33554432000 1073741824 1073778376 140734269295264 18446744073709551615 228134529945 0 4 0 16800975 18446604454620075200 0 0 -1 1 0 0 0
[pid=30429/tid=30434] ppid=30427 vsize=10547924 CPUtime=0.2 cores=1,3,5,7
/proc/30429/task/30434/stat : 30434 (java) S 30427 30429 29047 0 -1 4202560 9255 0 0 0 20 0 0 0 16 0 19 0 834281728 10801074176 907450 33554432000 1073741824 1073778376 140734269295264 18446744073709551615 228134529945 0 4 0 16800975 18446604454620075200 0 0 -1 7 0 0 0
[pid=30429/tid=30435] ppid=30427 vsize=10547924 CPUtime=0.27 cores=1,3,5,7
/proc/30429/task/30435/stat : 30435 (java) S 30427 30429 29047 0 -1 4202560 12004 0 0 0 26 1 0 0 16 0 19 0 834281728 10801074176 907450 33554432000 1073741824 1073778376 140734269295264 18446744073709551615 228134529945 0 4 0 16800975 18446604454620075200 0 0 -1 7 0 0 0
[pid=30429/tid=30436] ppid=30427 vsize=10547924 CPUtime=0.22 cores=1,3,5,7
/proc/30429/task/30436/stat : 30436 (java) S 30427 30429 29047 0 -1 4202560 6115 0 0 0 22 0 0 0 16 0 19 0 834281728 10801074176 907450 33554432000 1073741824 1073778376 140734269295264 18446744073709551615 228134529945 0 4 0 16800975 18446604454620075200 0 0 -1 5 0 0 0
[pid=30429/tid=30437] ppid=30427 vsize=10547924 CPUtime=0.26 cores=1,3,5,7
/proc/30429/task/30437/stat : 30437 (java) S 30427 30429 29047 0 -1 4202560 9160 0 0 0 25 1 0 0 15 0 19 0 834281728 10801074176 907450 33554432000 1073741824 1073778376 140734269295264 18446744073709551615 228134529945 0 4 0 16800975 18446604454620075200 0 0 -1 3 0 0 0
[pid=30429/tid=30438] ppid=30427 vsize=10547924 CPUtime=0.31 cores=1,3,5,7
/proc/30429/task/30438/stat : 30438 (java) S 30427 30429 29047 0 -1 4202560 11740 0 0 0 30 1 0 0 16 0 19 0 834281728 10801074176 907450 33554432000 1073741824 1073778376 140734269295264 18446744073709551615 228134529945 0 4 0 16800975 18446604454620075200 0 0 -1 3 0 0 0
[pid=30429/tid=30439] ppid=30427 vsize=10547924 CPUtime=0.26 cores=1,3,5,7
/proc/30429/task/30439/stat : 30439 (java) S 30427 30429 29047 0 -1 4202560 8949 0 0 0 25 1 0 0 15 0 19 0 834281728 10801074176 907450 33554432000 1073741824 1073778376 140734269295264 18446744073709551615 228134529945 0 4 0 16800975 18446604454620075200 0 0 -1 3 0 0 0
[pid=30429/tid=30440] ppid=30427 vsize=10547924 CPUtime=0.15 cores=1,3,5,7
/proc/30429/task/30440/stat : 30440 (java) S 30427 30429 29047 0 -1 4202560 434 0 0 0 15 0 0 0 15 0 19 0 834281729 10801074176 907450 33554432000 1073741824 1073778376 140734269295264 18446744073709551615 228134530560 0 0 0 16800975 18446604454620075200 0 0 -1 3 0 0 0
[pid=30429/tid=30441] ppid=30427 vsize=10547924 CPUtime=0 cores=1,3,5,7
/proc/30429/task/30441/stat : 30441 (java) S 30427 30429 29047 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 834281729 10801074176 907450 33554432000 1073741824 1073778376 140734269295264 18446744073709551615 228134529945 0 4 0 16800975 18446604454620075200 0 0 -1 1 0 0 0
[pid=30429/tid=30442] ppid=30427 vsize=10547924 CPUtime=0 cores=1,3,5,7
/proc/30429/task/30442/stat : 30442 (java) S 30427 30429 29047 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 834281729 10801074176 907450 33554432000 1073741824 1073778376 140734269295264 18446744073709551615 228134529945 0 4 0 16800975 18446604454620075200 0 0 -1 1 0 0 0
[pid=30429/tid=30443] ppid=30427 vsize=10547924 CPUtime=0 cores=1,3,5,7
/proc/30429/task/30443/stat : 30443 (java) S 30427 30429 29047 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834281731 10801074176 907450 33554432000 1073741824 1073778376 140734269295264 18446744073709551615 228134537649 0 4 0 16800975 18446604454620075200 0 0 -1 1 0 0 0
[pid=30429/tid=30444] ppid=30427 vsize=10547924 CPUtime=0.73 cores=1,3,5,7
/proc/30429/task/30444/stat : 30444 (java) S 30427 30429 29047 0 -1 4202560 3386 0 0 0 73 0 0 0 16 0 19 0 834281732 10801074176 907450 33554432000 1073741824 1073778376 140734269295264 18446744073709551615 228134529945 0 4 0 16800975 18446604454620075200 0 0 -1 5 0 0 0
[pid=30429/tid=30445] ppid=30427 vsize=10547924 CPUtime=1.13 cores=1,3,5,7
/proc/30429/task/30445/stat : 30445 (java) S 30427 30429 29047 0 -1 4202560 4890 0 0 0 113 0 0 0 15 0 19 0 834281732 10801074176 907450 33554432000 1073741824 1073778376 140734269295264 18446744073709551615 228134529945 0 4 0 16800975 18446604454620075200 0 0 -1 3 0 0 0
[pid=30429/tid=30446] ppid=30427 vsize=10547924 CPUtime=0 cores=1,3,5,7
/proc/30429/task/30446/stat : 30446 (java) S 30427 30429 29047 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834281732 10801074176 907450 33554432000 1073741824 1073778376 140734269295264 18446744073709551615 228134529945 0 4 0 16800975 18446604454620075200 0 0 -1 1 0 0 0
[pid=30429/tid=30447] ppid=30427 vsize=10547924 CPUtime=0 cores=1,3,5,7
/proc/30429/task/30447/stat : 30447 (java) S 30427 30429 29047 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 19 0 834281732 10801074176 907450 33554432000 1073741824 1073778376 140734269295264 18446744073709551615 228134530560 0 4 0 16800975 18446604454620075200 0 0 -1 3 0 0 0
[pid=30429/tid=30448] ppid=30427 vsize=10547924 CPUtime=0 cores=1,3,5,7
/proc/30429/task/30448/stat : 30448 (java) S 30427 30429 29047 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 834281792 10801074176 907450 33554432000 1073741824 1073778376 140734269295264 18446744073709551615 228134530560 0 4 0 16800975 18446604454620075200 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1725.66
Current children cumulated vsize (KiB) 10547924
[startup+1782.3 s]
/proc/loadavg: 2.06 2.04 2.01 3/498 30552
/proc/meminfo: memFree=21255432/32951124 swapFree=41830676/67111528
[pid=30429] ppid=30427 vsize=10547924 CPUtime=1785.68 cores=1,3,5,7
/proc/30429/stat : 30429 (java) S 30427 30429 29047 0 -1 4202496 912314 0 1 0 178469 99 0 0 25 0 19 0 834281725 10801074176 907715 33554432000 1073741824 1073778376 140734269295264 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/30429/statm: 2636981 907715 2270 9 0 2627715 0
[pid=30429/tid=30430] ppid=30427 vsize=10547924 CPUtime=1781.4 cores=1,3,5,7
/proc/30429/task/30430/stat : 30430 (java) R 30427 30429 29047 0 -1 4202560 822657 0 1 0 178053 87 0 0 25 0 19 0 834281726 10801074176 907715 33554432000 1073741824 1073778376 140734269295264 18446744073709551615 46912505959064 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=30429/tid=30432] ppid=30427 vsize=10547924 CPUtime=0.35 cores=1,3,5,7
/proc/30429/task/30432/stat : 30432 (java) S 30427 30429 29047 0 -1 4202560 12873 0 0 0 34 1 0 0 16 0 19 0 834281728 10801074176 907715 33554432000 1073741824 1073778376 140734269295264 18446744073709551615 228134529945 0 4 0 16800975 18446604454620075200 0 0 -1 5 0 0 0
[pid=30429/tid=30433] ppid=30427 vsize=10547924 CPUtime=0.24 cores=1,3,5,7
/proc/30429/task/30433/stat : 30433 (java) S 30427 30429 29047 0 -1 4202560 9473 0 0 0 24 0 0 0 16 0 19 0 834281728 10801074176 907715 33554432000 1073741824 1073778376 140734269295264 18446744073709551615 228134529945 0 4 0 16800975 18446604454620075200 0 0 -1 1 0 0 0
[pid=30429/tid=30434] ppid=30427 vsize=10547924 CPUtime=0.21 cores=1,3,5,7
/proc/30429/task/30434/stat : 30434 (java) S 30427 30429 29047 0 -1 4202560 9319 0 0 0 21 0 0 0 16 0 19 0 834281728 10801074176 907715 33554432000 1073741824 1073778376 140734269295264 18446744073709551615 228134529945 0 4 0 16800975 18446604454620075200 0 0 -1 7 0 0 0
[pid=30429/tid=30435] ppid=30427 vsize=10547924 CPUtime=0.27 cores=1,3,5,7
/proc/30429/task/30435/stat : 30435 (java) S 30427 30429 29047 0 -1 4202560 12004 0 0 0 26 1 0 0 15 0 19 0 834281728 10801074176 907715 33554432000 1073741824 1073778376 140734269295264 18446744073709551615 228134529945 0 4 0 16800975 18446604454620075200 0 0 -1 7 0 0 0
[pid=30429/tid=30436] ppid=30427 vsize=10547924 CPUtime=0.22 cores=1,3,5,7
/proc/30429/task/30436/stat : 30436 (java) S 30427 30429 29047 0 -1 4202560 6115 0 0 0 22 0 0 0 15 0 19 0 834281728 10801074176 907715 33554432000 1073741824 1073778376 140734269295264 18446744073709551615 228134529945 0 4 0 16800975 18446604454620075200 0 0 -1 5 0 0 0
[pid=30429/tid=30437] ppid=30427 vsize=10547924 CPUtime=0.27 cores=1,3,5,7
/proc/30429/task/30437/stat : 30437 (java) S 30427 30429 29047 0 -1 4202560 9219 0 0 0 26 1 0 0 16 0 19 0 834281728 10801074176 907715 33554432000 1073741824 1073778376 140734269295264 18446744073709551615 228134529945 0 4 0 16800975 18446604454620075200 0 0 -1 3 0 0 0
[pid=30429/tid=30438] ppid=30427 vsize=10547924 CPUtime=0.31 cores=1,3,5,7
/proc/30429/task/30438/stat : 30438 (java) S 30427 30429 29047 0 -1 4202560 11740 0 0 0 30 1 0 0 15 0 19 0 834281728 10801074176 907715 33554432000 1073741824 1073778376 140734269295264 18446744073709551615 228134529945 0 4 0 16800975 18446604454620075200 0 0 -1 3 0 0 0
[pid=30429/tid=30439] ppid=30427 vsize=10547924 CPUtime=0.26 cores=1,3,5,7
/proc/30429/task/30439/stat : 30439 (java) S 30427 30429 29047 0 -1 4202560 8949 0 0 0 25 1 0 0 15 0 19 0 834281728 10801074176 907715 33554432000 1073741824 1073778376 140734269295264 18446744073709551615 228134529945 0 4 0 16800975 18446604454620075200 0 0 -1 3 0 0 0
[pid=30429/tid=30440] ppid=30427 vsize=10547924 CPUtime=0.15 cores=1,3,5,7
/proc/30429/task/30440/stat : 30440 (java) S 30427 30429 29047 0 -1 4202560 436 0 0 0 15 0 0 0 15 0 19 0 834281729 10801074176 907715 33554432000 1073741824 1073778376 140734269295264 18446744073709551615 228134530560 0 0 0 16800975 18446604454620075200 0 0 -1 3 0 0 0
[pid=30429/tid=30441] ppid=30427 vsize=10547924 CPUtime=0 cores=1,3,5,7
/proc/30429/task/30441/stat : 30441 (java) S 30427 30429 29047 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 834281729 10801074176 907715 33554432000 1073741824 1073778376 140734269295264 18446744073709551615 228134529945 0 4 0 16800975 18446604454620075200 0 0 -1 1 0 0 0
[pid=30429/tid=30442] ppid=30427 vsize=10547924 CPUtime=0 cores=1,3,5,7
/proc/30429/task/30442/stat : 30442 (java) S 30427 30429 29047 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 834281729 10801074176 907715 33554432000 1073741824 1073778376 140734269295264 18446744073709551615 228134529945 0 4 0 16800975 18446604454620075200 0 0 -1 1 0 0 0
[pid=30429/tid=30443] ppid=30427 vsize=10547924 CPUtime=0 cores=1,3,5,7
/proc/30429/task/30443/stat : 30443 (java) S 30427 30429 29047 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834281731 10801074176 907715 33554432000 1073741824 1073778376 140734269295264 18446744073709551615 228134537649 0 4 0 16800975 18446604454620075200 0 0 -1 1 0 0 0
[pid=30429/tid=30444] ppid=30427 vsize=10547924 CPUtime=0.73 cores=1,3,5,7
/proc/30429/task/30444/stat : 30444 (java) S 30427 30429 29047 0 -1 4202560 3386 0 0 0 73 0 0 0 16 0 19 0 834281732 10801074176 907715 33554432000 1073741824 1073778376 140734269295264 18446744073709551615 228134529945 0 4 0 16800975 18446604454620075200 0 0 -1 5 0 0 0
[pid=30429/tid=30445] ppid=30427 vsize=10547924 CPUtime=1.13 cores=1,3,5,7
/proc/30429/task/30445/stat : 30445 (java) S 30427 30429 29047 0 -1 4202560 4890 0 0 0 113 0 0 0 15 0 19 0 834281732 10801074176 907715 33554432000 1073741824 1073778376 140734269295264 18446744073709551615 228134529945 0 4 0 16800975 18446604454620075200 0 0 -1 3 0 0 0
[pid=30429/tid=30446] ppid=30427 vsize=10547924 CPUtime=0 cores=1,3,5,7
/proc/30429/task/30446/stat : 30446 (java) S 30427 30429 29047 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834281732 10801074176 907715 33554432000 1073741824 1073778376 140734269295264 18446744073709551615 228134529945 0 4 0 16800975 18446604454620075200 0 0 -1 1 0 0 0
[pid=30429/tid=30447] ppid=30427 vsize=10547924 CPUtime=0 cores=1,3,5,7
/proc/30429/task/30447/stat : 30447 (java) S 30427 30429 29047 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 834281732 10801074176 907715 33554432000 1073741824 1073778376 140734269295264 18446744073709551615 228134530560 0 4 0 16800975 18446604454620075200 0 0 -1 3 0 0 0
[pid=30429/tid=30448] ppid=30427 vsize=10547924 CPUtime=0 cores=1,3,5,7
/proc/30429/task/30448/stat : 30448 (java) S 30427 30429 29047 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 834281792 10801074176 907715 33554432000 1073741824 1073778376 140734269295264 18446744073709551615 228134530560 0 4 0 16800975 18446604454620075200 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1785.68
Current children cumulated vsize (KiB) 10547924
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1796.6 s]
/proc/loadavg: 2.05 2.04 2.00 3/498 30553
/proc/meminfo: memFree=21251212/32951124 swapFree=41830676/67111528
[pid=30429] ppid=30427 vsize=10547924 CPUtime=1800.03 cores=1,3,5,7
/proc/30429/stat : 30429 (java) S 30427 30429 29047 0 -1 4202496 912412 0 1 0 179904 99 0 0 25 0 19 0 834281725 10801074176 907808 33554432000 1073741824 1073778376 140734269295264 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/30429/statm: 2636981 907808 2270 9 0 2627715 0
[pid=30429/tid=30430] ppid=30427 vsize=10547924 CPUtime=1795.7 cores=1,3,5,7
/proc/30429/task/30430/stat : 30430 (java) R 30427 30429 29047 0 -1 4202560 822658 0 1 0 179483 87 0 0 25 0 19 0 834281726 10801074176 907808 33554432000 1073741824 1073778376 140734269295264 18446744073709551615 46912506014031 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=30429/tid=30432] ppid=30427 vsize=10547924 CPUtime=0.35 cores=1,3,5,7
/proc/30429/task/30432/stat : 30432 (java) S 30427 30429 29047 0 -1 4202560 12873 0 0 0 34 1 0 0 15 0 19 0 834281728 10801074176 907808 33554432000 1073741824 1073778376 140734269295264 18446744073709551615 228134529945 0 4 0 16800975 18446604454620075200 0 0 -1 5 0 0 0
[pid=30429/tid=30433] ppid=30427 vsize=10547924 CPUtime=0.24 cores=1,3,5,7
/proc/30429/task/30433/stat : 30433 (java) S 30427 30429 29047 0 -1 4202560 9473 0 0 0 24 0 0 0 15 0 19 0 834281728 10801074176 907808 33554432000 1073741824 1073778376 140734269295264 18446744073709551615 228134529945 0 4 0 16800975 18446604454620075200 0 0 -1 1 0 0 0
[pid=30429/tid=30434] ppid=30427 vsize=10547924 CPUtime=0.21 cores=1,3,5,7
/proc/30429/task/30434/stat : 30434 (java) S 30427 30429 29047 0 -1 4202560 9319 0 0 0 21 0 0 0 15 0 19 0 834281728 10801074176 907808 33554432000 1073741824 1073778376 140734269295264 18446744073709551615 228134529945 0 4 0 16800975 18446604454620075200 0 0 -1 7 0 0 0
[pid=30429/tid=30435] ppid=30427 vsize=10547924 CPUtime=0.29 cores=1,3,5,7
/proc/30429/task/30435/stat : 30435 (java) S 30427 30429 29047 0 -1 4202560 12041 0 0 0 28 1 0 0 16 0 19 0 834281728 10801074176 907808 33554432000 1073741824 1073778376 140734269295264 18446744073709551615 228134529945 0 4 0 16800975 18446604454620075200 0 0 -1 7 0 0 0
[pid=30429/tid=30436] ppid=30427 vsize=10547924 CPUtime=0.24 cores=1,3,5,7
/proc/30429/task/30436/stat : 30436 (java) S 30427 30429 29047 0 -1 4202560 6143 0 0 0 24 0 0 0 16 0 19 0 834281728 10801074176 907808 33554432000 1073741824 1073778376 140734269295264 18446744073709551615 228134529945 0 4 0 16800975 18446604454620075200 0 0 -1 5 0 0 0
[pid=30429/tid=30437] ppid=30427 vsize=10547924 CPUtime=0.27 cores=1,3,5,7
/proc/30429/task/30437/stat : 30437 (java) S 30427 30429 29047 0 -1 4202560 9219 0 0 0 26 1 0 0 15 0 19 0 834281728 10801074176 907808 33554432000 1073741824 1073778376 140734269295264 18446744073709551615 228134529945 0 4 0 16800975 18446604454620075200 0 0 -1 1 0 0 0
[pid=30429/tid=30438] ppid=30427 vsize=10547924 CPUtime=0.33 cores=1,3,5,7
/proc/30429/task/30438/stat : 30438 (java) S 30427 30429 29047 0 -1 4202560 11768 0 0 0 32 1 0 0 16 0 19 0 834281728 10801074176 907808 33554432000 1073741824 1073778376 140734269295264 18446744073709551615 228134529945 0 4 0 16800975 18446604454620075200 0 0 -1 1 0 0 0
[pid=30429/tid=30439] ppid=30427 vsize=10547924 CPUtime=0.26 cores=1,3,5,7
/proc/30429/task/30439/stat : 30439 (java) S 30427 30429 29047 0 -1 4202560 8949 0 0 0 25 1 0 0 15 0 19 0 834281728 10801074176 907808 33554432000 1073741824 1073778376 140734269295264 18446744073709551615 228134529945 0 4 0 16800975 18446604454620075200 0 0 -1 3 0 0 0
[pid=30429/tid=30440] ppid=30427 vsize=10547924 CPUtime=0.15 cores=1,3,5,7
/proc/30429/task/30440/stat : 30440 (java) S 30427 30429 29047 0 -1 4202560 438 0 0 0 15 0 0 0 16 0 19 0 834281729 10801074176 907808 33554432000 1073741824 1073778376 140734269295264 18446744073709551615 228134530560 0 0 0 16800975 18446604454620075200 0 0 -1 3 0 0 0
[pid=30429/tid=30441] ppid=30427 vsize=10547924 CPUtime=0 cores=1,3,5,7
/proc/30429/task/30441/stat : 30441 (java) S 30427 30429 29047 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 834281729 10801074176 907808 33554432000 1073741824 1073778376 140734269295264 18446744073709551615 228134529945 0 4 0 16800975 18446604454620075200 0 0 -1 1 0 0 0
[pid=30429/tid=30442] ppid=30427 vsize=10547924 CPUtime=0 cores=1,3,5,7
/proc/30429/task/30442/stat : 30442 (java) S 30427 30429 29047 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 834281729 10801074176 907808 33554432000 1073741824 1073778376 140734269295264 18446744073709551615 228134529945 0 4 0 16800975 18446604454620075200 0 0 -1 1 0 0 0
[pid=30429/tid=30443] ppid=30427 vsize=10547924 CPUtime=0 cores=1,3,5,7
/proc/30429/task/30443/stat : 30443 (java) S 30427 30429 29047 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834281731 10801074176 907808 33554432000 1073741824 1073778376 140734269295264 18446744073709551615 228134537649 0 4 0 16800975 18446604454620075200 0 0 -1 1 0 0 0
[pid=30429/tid=30444] ppid=30427 vsize=10547924 CPUtime=0.73 cores=1,3,5,7
/proc/30429/task/30444/stat : 30444 (java) S 30427 30429 29047 0 -1 4202560 3386 0 0 0 73 0 0 0 16 0 19 0 834281732 10801074176 907808 33554432000 1073741824 1073778376 140734269295264 18446744073709551615 228134529945 0 4 0 16800975 18446604454620075200 0 0 -1 5 0 0 0
[pid=30429/tid=30445] ppid=30427 vsize=10547924 CPUtime=1.13 cores=1,3,5,7
/proc/30429/task/30445/stat : 30445 (java) S 30427 30429 29047 0 -1 4202560 4890 0 0 0 113 0 0 0 15 0 19 0 834281732 10801074176 907808 33554432000 1073741824 1073778376 140734269295264 18446744073709551615 228134529945 0 4 0 16800975 18446604454620075200 0 0 -1 3 0 0 0
[pid=30429/tid=30446] ppid=30427 vsize=10547924 CPUtime=0 cores=1,3,5,7
/proc/30429/task/30446/stat : 30446 (java) S 30427 30429 29047 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834281732 10801074176 907808 33554432000 1073741824 1073778376 140734269295264 18446744073709551615 228134529945 0 4 0 16800975 18446604454620075200 0 0 -1 1 0 0 0
[pid=30429/tid=30447] ppid=30427 vsize=10547924 CPUtime=0 cores=1,3,5,7
/proc/30429/task/30447/stat : 30447 (java) S 30427 30429 29047 0 -1 4202560 106 0 0 0 0 0 0 0 15 0 19 0 834281732 10801074176 907808 33554432000 1073741824 1073778376 140734269295264 18446744073709551615 228134530560 0 4 0 16800975 18446604454620075200 0 0 -1 3 0 0 0
[pid=30429/tid=30448] ppid=30427 vsize=10547924 CPUtime=0 cores=1,3,5,7
/proc/30429/task/30448/stat : 30448 (java) S 30427 30429 29047 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 834281792 10801074176 907808 33554432000 1073741824 1073778376 140734269295264 18446744073709551615 228134530560 0 4 0 16800975 18446604454620075200 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 10547924
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1796.72 s]
/proc/loadavg: 2.05 2.04 2.00 3/498 30553
/proc/meminfo: memFree=21251212/32951124 swapFree=41830676/67111528
[pid=30429] ppid=30427 vsize=0 CPUtime=1800.13 cores=1,3,5,7
/proc/30429/stat : 30429 (java) Z 30427 30429 29047 0 -1 4203548 912442 0 1 0 179907 106 0 0 17 0 2 0 834281725 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/30429/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.13
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1796.78
CPU time (s): 1800.2
CPU user time (s): 1799.08
CPU system time (s): 1.12383
CPU usage (%): 100.19
Max. virtual memory (cumulated for all children) (KiB): 10547924
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.08
system time used= 1.12383
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 912442
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38096
involuntary context switches= 23066
runsolver used 8.08377 second user time and 19.707 second system time
The end