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-3456708-1307217891/watcher-3456708-1307217891 -o /tmp/evaluation-result-3456708-1307217891/solver-3456708-1307217891 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456708-1307217891.opb
running on 4 cores: 0,2,4,6
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.02 2.02 1.77 2/499 20427
/proc/meminfo: memFree=23410816/32951124 swapFree=38422276/67111528
[pid=20427] ppid=20425 vsize=10430980 CPUtime=0 cores=0,2,4,6
/proc/20427/stat : 20427 (java) S 20425 20427 20069 0 -1 4202496 2387 0 1 0 0 0 0 0 25 0 2 0 833391442 10681323520 2090 33554432000 1073741824 1073778376 140735443202896 18446744073709551615 212447819749 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0
/proc/20427/statm: 2607745 2104 906 9 0 2598901 0
[pid=20427/tid=20428] ppid=20425 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/20427/task/20428/stat : 20428 (java) R 20425 20427 20069 0 -1 4202560 5007 0 1 0 0 0 0 0 25 0 2 0 833391442 10694979584 5823 33554432000 1073741824 1073778376 140735443202896 18446744073709551615 212435711035 0 4 0 16784584 0 0 0 -1 4 0 0 0
[startup+0.0362761 s]
/proc/loadavg: 2.02 2.02 1.77 2/499 20427
/proc/meminfo: memFree=23410816/32951124 swapFree=38422276/67111528
[pid=20427] ppid=20425 vsize=10465424 CPUtime=0.03 cores=0,2,4,6
/proc/20427/stat : 20427 (java) S 20425 20427 20069 0 -1 4202496 11005 0 1 0 2 1 0 0 25 0 11 0 833391442 10716594176 10705 33554432000 1073741824 1073778376 140735443202896 18446744073709551615 212447819749 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0
/proc/20427/statm: 2616356 10710 1620 9 0 2607104 0
[pid=20427/tid=20428] ppid=20425 vsize=10465424 CPUtime=0.01 cores=0,2,4,6
/proc/20427/task/20428/stat : 20428 (java) R 20425 20427 20069 0 -1 4202560 9887 0 1 0 1 0 0 0 25 0 11 0 833391442 10716594176 10710 33554432000 1073741824 1073778376 140735443202896 18446744073709551615 47494445232218 0 4 0 16784584 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 10465424
[startup+0.100291 s]
/proc/loadavg: 2.02 2.02 1.77 2/499 20427
/proc/meminfo: memFree=23410816/32951124 swapFree=38422276/67111528
[pid=20427] ppid=20425 vsize=10540468 CPUtime=0.09 cores=0,2,4,6
/proc/20427/stat : 20427 (java) S 20425 20427 20069 0 -1 4202496 12956 0 1 0 8 1 0 0 25 0 18 0 833391442 10793439232 12655 33554432000 1073741824 1073778376 140735443202896 18446744073709551615 212447819749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/20427/statm: 2635117 12656 2093 9 0 2625851 0
[pid=20427/tid=20428] ppid=20425 vsize=10540468 CPUtime=0.08 cores=0,2,4,6
/proc/20427/task/20428/stat : 20428 (java) R 20425 20427 20069 0 -1 4202560 11049 0 1 0 7 1 0 0 25 0 18 0 833391442 10793439232 12657 33554432000 1073741824 1073778376 140735443202896 18446744073709551615 47494446073368 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10540468
[startup+0.300231 s]
/proc/loadavg: 2.02 2.02 1.77 2/499 20427
/proc/meminfo: memFree=23410816/32951124 swapFree=38422276/67111528
[pid=20427] ppid=20425 vsize=10543928 CPUtime=0.49 cores=0,2,4,6
/proc/20427/stat : 20427 (java) S 20425 20427 20069 0 -1 4202496 16526 0 1 0 47 2 0 0 25 0 19 0 833391442 10796982272 15421 33554432000 1073741824 1073778376 140735443202896 18446744073709551615 212447819749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/20427/statm: 2635982 15421 2208 9 0 2626716 0
[pid=20427/tid=20428] ppid=20425 vsize=10543928 CPUtime=0.27 cores=0,2,4,6
/proc/20427/task/20428/stat : 20428 (java) R 20425 20427 20069 0 -1 4202560 12467 0 1 0 26 1 0 0 25 0 19 0 833391442 10796982272 15421 33554432000 1073741824 1073778376 140735443202896 18446744073709551615 46912505164128 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 10543928
[startup+0.705179 s]
/proc/loadavg: 2.02 2.02 1.77 2/499 20427
/proc/meminfo: memFree=23410816/32951124 swapFree=38422276/67111528
[pid=20427] ppid=20425 vsize=10552832 CPUtime=1.55 cores=0,2,4,6
/proc/20427/stat : 20427 (java) S 20425 20427 20069 0 -1 4202496 47060 0 1 0 148 7 0 0 25 0 19 0 833391442 10806099968 42695 33554432000 1073741824 1073778376 140735443202896 18446744073709551615 212447819749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/20427/statm: 2638208 42699 2220 9 0 2628942 0
[pid=20427/tid=20428] ppid=20425 vsize=10552832 CPUtime=0.68 cores=0,2,4,6
/proc/20427/task/20428/stat : 20428 (java) R 20425 20427 20069 0 -1 4202560 35743 0 1 0 63 5 0 0 18 0 19 0 833391442 10806099968 42701 33554432000 1073741824 1073778376 140735443202896 18446744073709551615 46912505583857 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.55
Current children cumulated vsize (KiB) 10552832
[startup+1.501 s]
/proc/loadavg: 2.02 2.02 1.77 3/518 20446
/proc/meminfo: memFree=23113444/32951124 swapFree=38422276/67111528
[pid=20427] ppid=20425 vsize=10552832 CPUtime=2.48 cores=0,2,4,6
/proc/20427/stat : 20427 (java) S 20425 20427 20069 0 -1 4202496 116138 0 1 0 232 16 0 0 25 0 19 0 833391442 10806099968 110982 33554432000 1073741824 1073778376 140735443202896 18446744073709551615 212447819749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/20427/statm: 2638208 110986 2223 9 0 2628942 0
[pid=20427/tid=20428] ppid=20425 vsize=10552832 CPUtime=1.47 cores=0,2,4,6
/proc/20427/task/20428/stat : 20428 (java) R 20425 20427 20069 0 -1 4202560 103997 0 1 0 134 13 0 0 18 0 19 0 833391442 10806099968 110988 33554432000 1073741824 1073778376 140735443202896 18446744073709551615 46912505583857 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=20427/tid=20430] ppid=20425 vsize=10552832 CPUtime=0 cores=0,2,4,6
/proc/20427/task/20430/stat : 20430 (java) S 20425 20427 20069 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833391444 10806099968 110991 33554432000 1073741824 1073778376 140735443202896 18446744073709551615 212447832985 0 4 0 16800975 18446604450236029632 0 0 -1 6 0 0 0
[pid=20427/tid=20431] ppid=20425 vsize=10552832 CPUtime=0 cores=0,2,4,6
/proc/20427/task/20431/stat : 20431 (java) S 20425 20427 20069 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833391444 10806099968 110993 33554432000 1073741824 1073778376 140735443202896 18446744073709551615 212447832985 0 4 0 16800975 18446604450236029632 0 0 -1 6 0 0 0
[pid=20427/tid=20432] ppid=20425 vsize=10552832 CPUtime=0 cores=0,2,4,6
/proc/20427/task/20432/stat : 20432 (java) S 20425 20427 20069 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833391444 10806099968 110995 33554432000 1073741824 1073778376 140735443202896 18446744073709551615 212447832985 0 4 0 16800975 18446604450236029632 0 0 -1 6 0 0 0
[pid=20427/tid=20433] ppid=20425 vsize=10552832 CPUtime=0 cores=0,2,4,6
/proc/20427/task/20433/stat : 20433 (java) S 20425 20427 20069 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833391444 10806099968 110997 33554432000 1073741824 1073778376 140735443202896 18446744073709551615 212447832985 0 4 0 16800975 18446604450236029632 0 0 -1 6 0 0 0
[pid=20427/tid=20434] ppid=20425 vsize=10552832 CPUtime=0 cores=0,2,4,6
/proc/20427/task/20434/stat : 20434 (java) S 20425 20427 20069 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833391444 10806099968 111000 33554432000 1073741824 1073778376 140735443202896 18446744073709551615 212447832985 0 4 0 16800975 18446604450236029632 0 0 -1 6 0 0 0
[pid=20427/tid=20435] ppid=20425 vsize=10552832 CPUtime=0 cores=0,2,4,6
/proc/20427/task/20435/stat : 20435 (java) S 20425 20427 20069 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833391444 10806099968 111003 33554432000 1073741824 1073778376 140735443202896 18446744073709551615 212447832985 0 4 0 16800975 18446604450236029632 0 0 -1 6 0 0 0
[pid=20427/tid=20436] ppid=20425 vsize=10552832 CPUtime=0 cores=0,2,4,6
/proc/20427/task/20436/stat : 20436 (java) S 20425 20427 20069 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833391444 10806099968 111005 33554432000 1073741824 1073778376 140735443202896 18446744073709551615 212447832985 0 4 0 16800975 18446604450236029632 0 0 -1 6 0 0 0
[pid=20427/tid=20437] ppid=20425 vsize=10552832 CPUtime=0 cores=0,2,4,6
/proc/20427/task/20437/stat : 20437 (java) S 20425 20427 20069 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833391444 10806099968 111007 33554432000 1073741824 1073778376 140735443202896 18446744073709551615 212447832985 0 4 0 16800975 18446604450236029632 0 0 -1 6 0 0 0
[pid=20427/tid=20438] ppid=20425 vsize=10552832 CPUtime=0 cores=0,2,4,6
/proc/20427/task/20438/stat : 20438 (java) S 20425 20427 20069 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 833391445 10806099968 111009 33554432000 1073741824 1073778376 140735443202896 18446744073709551615 212447833600 0 0 0 16800975 18446604450236029632 0 0 -1 6 0 0 0
[pid=20427/tid=20439] ppid=20425 vsize=10552832 CPUtime=0 cores=0,2,4,6
/proc/20427/task/20439/stat : 20439 (java) S 20425 20427 20069 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 833391446 10806099968 111012 33554432000 1073741824 1073778376 140735443202896 18446744073709551615 212447832985 0 4 0 16800975 18446604450236029632 0 0 -1 4 0 0 0
[pid=20427/tid=20440] ppid=20425 vsize=10552832 CPUtime=0 cores=0,2,4,6
/proc/20427/task/20440/stat : 20440 (java) S 20425 20427 20069 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833391446 10806099968 111015 33554432000 1073741824 1073778376 140735443202896 18446744073709551615 212447832985 0 4 0 16800975 18446604450236029632 0 0 -1 4 0 0 0
[pid=20427/tid=20441] ppid=20425 vsize=10552832 CPUtime=0 cores=0,2,4,6
/proc/20427/task/20441/stat : 20441 (java) S 20425 20427 20069 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833391448 10806099968 111017 33554432000 1073741824 1073778376 140735443202896 18446744073709551615 212447840689 0 4 0 16800975 18446604450236029632 0 0 -1 4 0 0 0
[pid=20427/tid=20442] ppid=20425 vsize=10552832 CPUtime=0.47 cores=0,2,4,6
/proc/20427/task/20442/stat : 20442 (java) S 20425 20427 20069 0 -1 4202560 5889 0 0 0 46 1 0 0 15 0 19 0 833391448 10806099968 111019 33554432000 1073741824 1073778376 140735443202896 18446744073709551615 212447832985 0 4 0 16800975 18446604450236029632 0 0 -1 0 0 0 0
[pid=20427/tid=20443] ppid=20425 vsize=10552832 CPUtime=0.5 cores=0,2,4,6
/proc/20427/task/20443/stat : 20443 (java) S 20425 20427 20069 0 -1 4202560 5099 0 0 0 50 0 0 0 15 0 19 0 833391448 10806099968 111021 33554432000 1073741824 1073778376 140735443202896 18446744073709551615 212447832985 0 4 0 16800975 18446604450236029632 0 0 -1 6 0 0 0
[pid=20427/tid=20444] ppid=20425 vsize=10552832 CPUtime=0 cores=0,2,4,6
/proc/20427/task/20444/stat : 20444 (java) S 20425 20427 20069 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833391448 10806099968 111024 33554432000 1073741824 1073778376 140735443202896 18446744073709551615 212447832985 0 4 0 16800975 18446604450236029632 0 0 -1 4 0 0 0
[pid=20427/tid=20445] ppid=20425 vsize=10552832 CPUtime=0 cores=0,2,4,6
/proc/20427/task/20445/stat : 20445 (java) S 20425 20427 20069 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 833391448 10806099968 111026 33554432000 1073741824 1073778376 140735443202896 18446744073709551615 212447833600 0 4 0 16800975 18446604450236029632 0 0 -1 0 0 0 0
[pid=20427/tid=20446] ppid=20425 vsize=10552832 CPUtime=0 cores=0,2,4,6
/proc/20427/task/20446/stat : 20446 (java) S 20425 20427 20069 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833391466 10806099968 111028 33554432000 1073741824 1073778376 140735443202896 18446744073709551615 212447833600 0 4 0 16800975 18446604450236029632 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.48
Current children cumulated vsize (KiB) 10552832
[startup+3.1007 s]
/proc/loadavg: 2.02 2.02 1.77 3/518 20446
/proc/meminfo: memFree=22742068/32951124 swapFree=38422276/67111528
[pid=20427] ppid=20425 vsize=10552832 CPUtime=4.19 cores=0,2,4,6
/proc/20427/stat : 20427 (java) S 20425 20427 20069 0 -1 4202496 241241 0 1 0 391 28 0 0 25 0 19 0 833391442 10806099968 235931 33554432000 1073741824 1073778376 140735443202896 18446744073709551615 212447819749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/20427/statm: 2638208 235931 2226 9 0 2628942 0
[pid=20427/tid=20428] ppid=20425 vsize=10552832 CPUtime=3.07 cores=0,2,4,6
/proc/20427/task/20428/stat : 20428 (java) R 20425 20427 20069 0 -1 4202560 228931 0 1 0 282 25 0 0 18 0 19 0 833391442 10806099968 235931 33554432000 1073741824 1073778376 140735443202896 18446744073709551615 46912505593883 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=20427/tid=20430] ppid=20425 vsize=10552832 CPUtime=0 cores=0,2,4,6
/proc/20427/task/20430/stat : 20430 (java) S 20425 20427 20069 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833391444 10806099968 235931 33554432000 1073741824 1073778376 140735443202896 18446744073709551615 212447832985 0 4 0 16800975 18446604450236029632 0 0 -1 6 0 0 0
[pid=20427/tid=20431] ppid=20425 vsize=10552832 CPUtime=0 cores=0,2,4,6
/proc/20427/task/20431/stat : 20431 (java) S 20425 20427 20069 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833391444 10806099968 235931 33554432000 1073741824 1073778376 140735443202896 18446744073709551615 212447832985 0 4 0 16800975 18446604450236029632 0 0 -1 6 0 0 0
[pid=20427/tid=20432] ppid=20425 vsize=10552832 CPUtime=0 cores=0,2,4,6
/proc/20427/task/20432/stat : 20432 (java) S 20425 20427 20069 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833391444 10806099968 235931 33554432000 1073741824 1073778376 140735443202896 18446744073709551615 212447832985 0 4 0 16800975 18446604450236029632 0 0 -1 6 0 0 0
[pid=20427/tid=20433] ppid=20425 vsize=10552832 CPUtime=0 cores=0,2,4,6
/proc/20427/task/20433/stat : 20433 (java) S 20425 20427 20069 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833391444 10806099968 235931 33554432000 1073741824 1073778376 140735443202896 18446744073709551615 212447832985 0 4 0 16800975 18446604450236029632 0 0 -1 6 0 0 0
[pid=20427/tid=20434] ppid=20425 vsize=10552832 CPUtime=0 cores=0,2,4,6
/proc/20427/task/20434/stat : 20434 (java) S 20425 20427 20069 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833391444 10806099968 235931 33554432000 1073741824 1073778376 140735443202896 18446744073709551615 212447832985 0 4 0 16800975 18446604450236029632 0 0 -1 6 0 0 0
[pid=20427/tid=20435] ppid=20425 vsize=10552832 CPUtime=0 cores=0,2,4,6
/proc/20427/task/20435/stat : 20435 (java) S 20425 20427 20069 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833391444 10806099968 235931 33554432000 1073741824 1073778376 140735443202896 18446744073709551615 212447832985 0 4 0 16800975 18446604450236029632 0 0 -1 6 0 0 0
[pid=20427/tid=20436] ppid=20425 vsize=10552832 CPUtime=0 cores=0,2,4,6
/proc/20427/task/20436/stat : 20436 (java) S 20425 20427 20069 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833391444 10806099968 235931 33554432000 1073741824 1073778376 140735443202896 18446744073709551615 212447832985 0 4 0 16800975 18446604450236029632 0 0 -1 6 0 0 0
[pid=20427/tid=20437] ppid=20425 vsize=10552832 CPUtime=0 cores=0,2,4,6
/proc/20427/task/20437/stat : 20437 (java) S 20425 20427 20069 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833391444 10806099968 235931 33554432000 1073741824 1073778376 140735443202896 18446744073709551615 212447832985 0 4 0 16800975 18446604450236029632 0 0 -1 6 0 0 0
[pid=20427/tid=20438] ppid=20425 vsize=10552832 CPUtime=0 cores=0,2,4,6
/proc/20427/task/20438/stat : 20438 (java) S 20425 20427 20069 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 833391445 10806099968 235931 33554432000 1073741824 1073778376 140735443202896 18446744073709551615 212447833600 0 0 0 16800975 18446604450236029632 0 0 -1 6 0 0 0
[pid=20427/tid=20439] ppid=20425 vsize=10552832 CPUtime=0 cores=0,2,4,6
/proc/20427/task/20439/stat : 20439 (java) S 20425 20427 20069 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 833391446 10806099968 235931 33554432000 1073741824 1073778376 140735443202896 18446744073709551615 212447832985 0 4 0 16800975 18446604450236029632 0 0 -1 4 0 0 0
[pid=20427/tid=20440] ppid=20425 vsize=10552832 CPUtime=0 cores=0,2,4,6
/proc/20427/task/20440/stat : 20440 (java) S 20425 20427 20069 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833391446 10806099968 235931 33554432000 1073741824 1073778376 140735443202896 18446744073709551615 212447832985 0 4 0 16800975 18446604450236029632 0 0 -1 4 0 0 0
[pid=20427/tid=20441] ppid=20425 vsize=10552832 CPUtime=0 cores=0,2,4,6
/proc/20427/task/20441/stat : 20441 (java) S 20425 20427 20069 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833391448 10806099968 235931 33554432000 1073741824 1073778376 140735443202896 18446744073709551615 212447840689 0 4 0 16800975 18446604450236029632 0 0 -1 4 0 0 0
[pid=20427/tid=20442] ppid=20425 vsize=10552832 CPUtime=0.55 cores=0,2,4,6
/proc/20427/task/20442/stat : 20442 (java) S 20425 20427 20069 0 -1 4202560 6048 0 0 0 54 1 0 0 15 0 19 0 833391448 10806099968 235931 33554432000 1073741824 1073778376 140735443202896 18446744073709551615 212447832985 0 4 0 16800975 18446604450236029632 0 0 -1 0 0 0 0
[pid=20427/tid=20443] ppid=20425 vsize=10552832 CPUtime=0.54 cores=0,2,4,6
/proc/20427/task/20443/stat : 20443 (java) S 20425 20427 20069 0 -1 4202560 5103 0 0 0 54 0 0 0 15 0 19 0 833391448 10806099968 235931 33554432000 1073741824 1073778376 140735443202896 18446744073709551615 212447832985 0 4 0 16800975 18446604450236029632 0 0 -1 6 0 0 0
[pid=20427/tid=20444] ppid=20425 vsize=10552832 CPUtime=0 cores=0,2,4,6
/proc/20427/task/20444/stat : 20444 (java) S 20425 20427 20069 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833391448 10806099968 235931 33554432000 1073741824 1073778376 140735443202896 18446744073709551615 212447832985 0 4 0 16800975 18446604450236029632 0 0 -1 4 0 0 0
[pid=20427/tid=20445] ppid=20425 vsize=10552832 CPUtime=0 cores=0,2,4,6
/proc/20427/task/20445/stat : 20445 (java) S 20425 20427 20069 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 833391448 10806099968 235931 33554432000 1073741824 1073778376 140735443202896 18446744073709551615 212447833600 0 4 0 16800975 18446604450236029632 0 0 -1 6 0 0 0
[pid=20427/tid=20446] ppid=20425 vsize=10552832 CPUtime=0 cores=0,2,4,6
/proc/20427/task/20446/stat : 20446 (java) S 20425 20427 20069 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833391466 10806099968 235931 33554432000 1073741824 1073778376 140735443202896 18446744073709551615 212447833600 0 4 0 16800975 18446604450236029632 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4.19
Current children cumulated vsize (KiB) 10552832
[startup+6.30113 s]
/proc/loadavg: 2.02 2.02 1.77 3/518 20446
/proc/meminfo: memFree=21733452/32951124 swapFree=38422276/67111528
[pid=20427] ppid=20425 vsize=10550352 CPUtime=7.47 cores=0,2,4,6
/proc/20427/stat : 20427 (java) S 20425 20427 20069 0 -1 4202496 484741 0 1 0 695 52 0 0 25 0 19 0 833391442 10803560448 478767 33554432000 1073741824 1073778376 140735443202896 18446744073709551615 212447819749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/20427/statm: 2637588 478769 2228 9 0 2628322 0
[pid=20427/tid=20428] ppid=20425 vsize=10550352 CPUtime=6.28 cores=0,2,4,6
/proc/20427/task/20428/stat : 20428 (java) R 20425 20427 20069 0 -1 4202560 472361 0 1 0 578 50 0 0 19 0 19 0 833391442 10803560448 478770 33554432000 1073741824 1073778376 140735443202896 18446744073709551615 46912505612970 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=20427/tid=20430] ppid=20425 vsize=10550352 CPUtime=0 cores=0,2,4,6
/proc/20427/task/20430/stat : 20430 (java) S 20425 20427 20069 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833391444 10803560448 478771 33554432000 1073741824 1073778376 140735443202896 18446744073709551615 212447832985 0 4 0 16800975 18446604450236029632 0 0 -1 6 0 0 0
[pid=20427/tid=20431] ppid=20425 vsize=10550352 CPUtime=0 cores=0,2,4,6
/proc/20427/task/20431/stat : 20431 (java) S 20425 20427 20069 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833391444 10803560448 478772 33554432000 1073741824 1073778376 140735443202896 18446744073709551615 212447832985 0 4 0 16800975 18446604450236029632 0 0 -1 6 0 0 0
[pid=20427/tid=20432] ppid=20425 vsize=10550352 CPUtime=0 cores=0,2,4,6
/proc/20427/task/20432/stat : 20432 (java) S 20425 20427 20069 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833391444 10803560448 478773 33554432000 1073741824 1073778376 140735443202896 18446744073709551615 212447832985 0 4 0 16800975 18446604450236029632 0 0 -1 6 0 0 0
[pid=20427/tid=20433] ppid=20425 vsize=10550352 CPUtime=0 cores=0,2,4,6
/proc/20427/task/20433/stat : 20433 (java) S 20425 20427 20069 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833391444 10803560448 478774 33554432000 1073741824 1073778376 140735443202896 18446744073709551615 212447832985 0 4 0 16800975 18446604450236029632 0 0 -1 6 0 0 0
[pid=20427/tid=20434] ppid=20425 vsize=10550352 CPUtime=0 cores=0,2,4,6
/proc/20427/task/20434/stat : 20434 (java) S 20425 20427 20069 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833391444 10803560448 478774 33554432000 1073741824 1073778376 140735443202896 18446744073709551615 212447832985 0 4 0 16800975 18446604450236029632 0 0 -1 6 0 0 0
[pid=20427/tid=20435] ppid=20425 vsize=10550352 CPUtime=0 cores=0,2,4,6
/proc/20427/task/20435/stat : 20435 (java) S 20425 20427 20069 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833391444 10803560448 478775 33554432000 1073741824 1073778376 140735443202896 18446744073709551615 212447832985 0 4 0 16800975 18446604450236029632 0 0 -1 6 0 0 0
[pid=20427/tid=20436] ppid=20425 vsize=10550352 CPUtime=0 cores=0,2,4,6
/proc/20427/task/20436/stat : 20436 (java) S 20425 20427 20069 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833391444 10803560448 478775 33554432000 1073741824 1073778376 140735443202896 18446744073709551615 212447832985 0 4 0 16800975 18446604450236029632 0 0 -1 6 0 0 0
[pid=20427/tid=20437] ppid=20425 vsize=10550352 CPUtime=0 cores=0,2,4,6
/proc/20427/task/20437/stat : 20437 (java) S 20425 20427 20069 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833391444 10803560448 478776 33554432000 1073741824 1073778376 140735443202896 18446744073709551615 212447832985 0 4 0 16800975 18446604450236029632 0 0 -1 6 0 0 0
[pid=20427/tid=20438] ppid=20425 vsize=10550352 CPUtime=0 cores=0,2,4,6
/proc/20427/task/20438/stat : 20438 (java) S 20425 20427 20069 0 -1 4202560 5 0 0 0 0 0 0 0 16 0 19 0 833391445 10803560448 478778 33554432000 1073741824 1073778376 140735443202896 18446744073709551615 212447833600 0 0 0 16800975 18446604450236029632 0 0 -1 6 0 0 0
[pid=20427/tid=20439] ppid=20425 vsize=10550352 CPUtime=0 cores=0,2,4,6
/proc/20427/task/20439/stat : 20439 (java) S 20425 20427 20069 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 833391446 10803560448 478779 33554432000 1073741824 1073778376 140735443202896 18446744073709551615 212447832985 0 4 0 16800975 18446604450236029632 0 0 -1 4 0 0 0
[pid=20427/tid=20440] ppid=20425 vsize=10550352 CPUtime=0 cores=0,2,4,6
/proc/20427/task/20440/stat : 20440 (java) S 20425 20427 20069 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833391446 10803560448 478780 33554432000 1073741824 1073778376 140735443202896 18446744073709551615 212447832985 0 4 0 16800975 18446604450236029632 0 0 -1 4 0 0 0
[pid=20427/tid=20441] ppid=20425 vsize=10550352 CPUtime=0 cores=0,2,4,6
/proc/20427/task/20441/stat : 20441 (java) S 20425 20427 20069 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833391448 10803560448 478782 33554432000 1073741824 1073778376 140735443202896 18446744073709551615 212447840689 0 4 0 16800975 18446604450236029632 0 0 -1 4 0 0 0
[pid=20427/tid=20442] ppid=20425 vsize=10550352 CPUtime=0.58 cores=0,2,4,6
/proc/20427/task/20442/stat : 20442 (java) S 20425 20427 20069 0 -1 4202560 6112 0 0 0 57 1 0 0 15 0 19 0 833391448 10803560448 478783 33554432000 1073741824 1073778376 140735443202896 18446744073709551615 212447832985 0 4 0 16800975 18446604450236029632 0 0 -1 0 0 0 0
[pid=20427/tid=20443] ppid=20425 vsize=10550352 CPUtime=0.59 cores=0,2,4,6
/proc/20427/task/20443/stat : 20443 (java) S 20425 20427 20069 0 -1 4202560 5111 0 0 0 59 0 0 0 15 0 19 0 833391448 10803560448 478785 33554432000 1073741824 1073778376 140735443202896 18446744073709551615 212447832985 0 4 0 16800975 18446604450236029632 0 0 -1 6 0 0 0
################
# More data... #
################
[pid=20427/tid=20446] ppid=20425 vsize=10550352 CPUtime=0 cores=0,2,4,6
/proc/20427/task/20446/stat : 20446 (java) S 20425 20427 20069 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833391466 10803560448 1076973 33554432000 1073741824 1073778376 140735443202896 18446744073709551615 212447833600 0 4 0 16800975 18446604450236029632 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1671.7
Current children cumulated vsize (KiB) 10550352
[startup+1722.3 s]
/proc/loadavg: 2.03 2.04 1.97 3/518 20540
/proc/meminfo: memFree=19130952/32951124 swapFree=38422276/67111528
[pid=20427] ppid=20425 vsize=10550352 CPUtime=1731.91 cores=0,2,4,6
/proc/20427/stat : 20427 (java) S 20425 20427 20069 0 -1 4202496 1089840 0 1 0 173054 137 0 0 25 0 19 0 833391442 10803560448 1076982 33554432000 1073741824 1073778376 140735443202896 18446744073709551615 212447819749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/20427/statm: 2637588 1076982 2257 9 0 2628322 0
[pid=20427/tid=20428] ppid=20425 vsize=10550352 CPUtime=1715.43 cores=0,2,4,6
/proc/20427/task/20428/stat : 20428 (java) R 20425 20427 20069 0 -1 4202560 787984 0 1 0 171457 86 0 0 25 0 19 0 833391442 10803560448 1076982 33554432000 1073741824 1073778376 140735443202896 18446744073709551615 46912505610356 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=20427/tid=20430] ppid=20425 vsize=10550352 CPUtime=1.73 cores=0,2,4,6
/proc/20427/task/20430/stat : 20430 (java) S 20425 20427 20069 0 -1 4202560 53761 0 0 0 165 8 0 0 16 0 19 0 833391444 10803560448 1076982 33554432000 1073741824 1073778376 140735443202896 18446744073709551615 212447832985 0 4 0 16800975 18446604450236029632 0 0 -1 0 0 0 0
[pid=20427/tid=20431] ppid=20425 vsize=10550352 CPUtime=1.37 cores=0,2,4,6
/proc/20427/task/20431/stat : 20431 (java) S 20425 20427 20069 0 -1 4202560 27585 0 0 0 132 5 0 0 16 0 19 0 833391444 10803560448 1076982 33554432000 1073741824 1073778376 140735443202896 18446744073709551615 212447832985 0 4 0 16800975 18446604450236029632 0 0 -1 4 0 0 0
[pid=20427/tid=20432] ppid=20425 vsize=10550352 CPUtime=1.25 cores=0,2,4,6
/proc/20427/task/20432/stat : 20432 (java) S 20425 20427 20069 0 -1 4202560 28977 0 0 0 120 5 0 0 16 0 19 0 833391444 10803560448 1076982 33554432000 1073741824 1073778376 140735443202896 18446744073709551615 212447832985 0 4 0 16800975 18446604450236029632 0 0 -1 4 0 0 0
[pid=20427/tid=20433] ppid=20425 vsize=10550352 CPUtime=1.34 cores=0,2,4,6
/proc/20427/task/20433/stat : 20433 (java) S 20425 20427 20069 0 -1 4202560 28851 0 0 0 129 5 0 0 16 0 19 0 833391444 10803560448 1076982 33554432000 1073741824 1073778376 140735443202896 18446744073709551615 212447832985 0 4 0 16800975 18446604450236029632 0 0 -1 2 0 0 0
[pid=20427/tid=20434] ppid=20425 vsize=10550352 CPUtime=1 cores=0,2,4,6
/proc/20427/task/20434/stat : 20434 (java) S 20425 20427 20069 0 -1 4202560 18612 0 0 0 98 2 0 0 16 0 19 0 833391444 10803560448 1076982 33554432000 1073741824 1073778376 140735443202896 18446744073709551615 212447832985 0 4 0 16800975 18446604450236029632 0 0 -1 0 0 0 0
[pid=20427/tid=20435] ppid=20425 vsize=10550352 CPUtime=1.62 cores=0,2,4,6
/proc/20427/task/20435/stat : 20435 (java) S 20425 20427 20069 0 -1 4202560 48356 0 0 0 156 6 0 0 15 0 19 0 833391444 10803560448 1076982 33554432000 1073741824 1073778376 140735443202896 18446744073709551615 212447832985 0 4 0 16800975 18446604450236029632 0 0 -1 4 0 0 0
[pid=20427/tid=20436] ppid=20425 vsize=10550352 CPUtime=1.37 cores=0,2,4,6
/proc/20427/task/20436/stat : 20436 (java) S 20425 20427 20069 0 -1 4202560 35914 0 0 0 133 4 0 0 16 0 19 0 833391444 10803560448 1076982 33554432000 1073741824 1073778376 140735443202896 18446744073709551615 212447832985 0 4 0 16800975 18446604450236029632 0 0 -1 6 0 0 0
[pid=20427/tid=20437] ppid=20425 vsize=10550352 CPUtime=1.56 cores=0,2,4,6
/proc/20427/task/20437/stat : 20437 (java) S 20425 20427 20069 0 -1 4202560 43005 0 0 0 150 6 0 0 16 0 19 0 833391444 10803560448 1076982 33554432000 1073741824 1073778376 140735443202896 18446744073709551615 212447832985 0 4 0 16800975 18446604450236029632 0 0 -1 2 0 0 0
[pid=20427/tid=20438] ppid=20425 vsize=10550352 CPUtime=3.43 cores=0,2,4,6
/proc/20427/task/20438/stat : 20438 (java) S 20425 20427 20069 0 -1 4202560 3492 0 0 0 342 1 0 0 15 0 19 0 833391445 10803560448 1076982 33554432000 1073741824 1073778376 140735443202896 18446744073709551615 212447833600 0 0 0 16800975 18446604450236029632 0 0 -1 2 0 0 0
[pid=20427/tid=20439] ppid=20425 vsize=10550352 CPUtime=0 cores=0,2,4,6
/proc/20427/task/20439/stat : 20439 (java) S 20425 20427 20069 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 833391446 10803560448 1076982 33554432000 1073741824 1073778376 140735443202896 18446744073709551615 212447832985 0 4 0 16800975 18446604450236029632 0 0 -1 6 0 0 0
[pid=20427/tid=20440] ppid=20425 vsize=10550352 CPUtime=0 cores=0,2,4,6
/proc/20427/task/20440/stat : 20440 (java) S 20425 20427 20069 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 833391446 10803560448 1076982 33554432000 1073741824 1073778376 140735443202896 18446744073709551615 212447832985 0 4 0 16800975 18446604450236029632 0 0 -1 6 0 0 0
[pid=20427/tid=20441] ppid=20425 vsize=10550352 CPUtime=0 cores=0,2,4,6
/proc/20427/task/20441/stat : 20441 (java) S 20425 20427 20069 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833391448 10803560448 1076982 33554432000 1073741824 1073778376 140735443202896 18446744073709551615 212447840689 0 4 0 16800975 18446604450236029632 0 0 -1 4 0 0 0
[pid=20427/tid=20442] ppid=20425 vsize=10550352 CPUtime=0.81 cores=0,2,4,6
/proc/20427/task/20442/stat : 20442 (java) S 20425 20427 20069 0 -1 4202560 6912 0 0 0 80 1 0 0 15 0 19 0 833391448 10803560448 1076982 33554432000 1073741824 1073778376 140735443202896 18446744073709551615 212447832985 0 4 0 16800975 18446604450236029632 0 0 -1 0 0 0 0
[pid=20427/tid=20443] ppid=20425 vsize=10550352 CPUtime=0.87 cores=0,2,4,6
/proc/20427/task/20443/stat : 20443 (java) S 20425 20427 20069 0 -1 4202560 5143 0 0 0 87 0 0 0 16 0 19 0 833391448 10803560448 1076982 33554432000 1073741824 1073778376 140735443202896 18446744073709551615 212447832985 0 4 0 16800975 18446604450236029632 0 0 -1 4 0 0 0
[pid=20427/tid=20444] ppid=20425 vsize=10550352 CPUtime=0 cores=0,2,4,6
/proc/20427/task/20444/stat : 20444 (java) S 20425 20427 20069 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833391448 10803560448 1076982 33554432000 1073741824 1073778376 140735443202896 18446744073709551615 212447832985 0 4 0 16800975 18446604450236029632 0 0 -1 4 0 0 0
[pid=20427/tid=20445] ppid=20425 vsize=10550352 CPUtime=0 cores=0,2,4,6
/proc/20427/task/20445/stat : 20445 (java) S 20425 20427 20069 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 19 0 833391448 10803560448 1076982 33554432000 1073741824 1073778376 140735443202896 18446744073709551615 212447833600 0 4 0 16800975 18446604450236029632 0 0 -1 0 0 0 0
[pid=20427/tid=20446] ppid=20425 vsize=10550352 CPUtime=0 cores=0,2,4,6
/proc/20427/task/20446/stat : 20446 (java) S 20425 20427 20069 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833391466 10803560448 1076982 33554432000 1073741824 1073778376 140735443202896 18446744073709551615 212447833600 0 4 0 16800975 18446604450236029632 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1731.91
Current children cumulated vsize (KiB) 10550352
[startup+1782.3 s]
/proc/loadavg: 2.12 2.06 1.98 3/518 20541
/proc/meminfo: memFree=19071284/32951124 swapFree=38422276/67111528
[pid=20427] ppid=20425 vsize=10550352 CPUtime=1792.22 cores=0,2,4,6
/proc/20427/stat : 20427 (java) S 20425 20427 20069 0 -1 4202496 1089867 0 1 0 179085 137 0 0 25 0 19 0 833391442 10803560448 1076998 33554432000 1073741824 1073778376 140735443202896 18446744073709551615 212447819749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/20427/statm: 2637588 1076998 2257 9 0 2628322 0
[pid=20427/tid=20428] ppid=20425 vsize=10550352 CPUtime=1775.31 cores=0,2,4,6
/proc/20427/task/20428/stat : 20428 (java) R 20425 20427 20069 0 -1 4202560 787987 0 1 0 177445 86 0 0 25 0 19 0 833391442 10803560448 1076998 33554432000 1073741824 1073778376 140735443202896 18446744073709551615 46912505586524 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=20427/tid=20430] ppid=20425 vsize=10550352 CPUtime=1.8 cores=0,2,4,6
/proc/20427/task/20430/stat : 20430 (java) S 20425 20427 20069 0 -1 4202560 53761 0 0 0 172 8 0 0 16 0 19 0 833391444 10803560448 1076998 33554432000 1073741824 1073778376 140735443202896 18446744073709551615 212447832985 0 4 0 16800975 18446604450236029632 0 0 -1 2 0 0 0
[pid=20427/tid=20431] ppid=20425 vsize=10550352 CPUtime=1.41 cores=0,2,4,6
/proc/20427/task/20431/stat : 20431 (java) S 20425 20427 20069 0 -1 4202560 27586 0 0 0 136 5 0 0 16 0 19 0 833391444 10803560448 1076998 33554432000 1073741824 1073778376 140735443202896 18446744073709551615 212447832985 0 4 0 16800975 18446604450236029632 0 0 -1 0 0 0 0
[pid=20427/tid=20432] ppid=20425 vsize=10550352 CPUtime=1.36 cores=0,2,4,6
/proc/20427/task/20432/stat : 20432 (java) S 20425 20427 20069 0 -1 4202560 28982 0 0 0 131 5 0 0 16 0 19 0 833391444 10803560448 1076998 33554432000 1073741824 1073778376 140735443202896 18446744073709551615 212447832985 0 4 0 16800975 18446604450236029632 0 0 -1 4 0 0 0
[pid=20427/tid=20433] ppid=20425 vsize=10550352 CPUtime=1.38 cores=0,2,4,6
/proc/20427/task/20433/stat : 20433 (java) S 20425 20427 20069 0 -1 4202560 28852 0 0 0 133 5 0 0 15 0 19 0 833391444 10803560448 1076998 33554432000 1073741824 1073778376 140735443202896 18446744073709551615 212447832985 0 4 0 16800975 18446604450236029632 0 0 -1 4 0 0 0
[pid=20427/tid=20434] ppid=20425 vsize=10550352 CPUtime=1.04 cores=0,2,4,6
/proc/20427/task/20434/stat : 20434 (java) S 20425 20427 20069 0 -1 4202560 18612 0 0 0 102 2 0 0 16 0 19 0 833391444 10803560448 1076998 33554432000 1073741824 1073778376 140735443202896 18446744073709551615 212447832985 0 4 0 16800975 18446604450236029632 0 0 -1 0 0 0 0
[pid=20427/tid=20435] ppid=20425 vsize=10550352 CPUtime=1.63 cores=0,2,4,6
/proc/20427/task/20435/stat : 20435 (java) S 20425 20427 20069 0 -1 4202560 48356 0 0 0 157 6 0 0 15 0 19 0 833391444 10803560448 1076998 33554432000 1073741824 1073778376 140735443202896 18446744073709551615 212447832985 0 4 0 16800975 18446604450236029632 0 0 -1 4 0 0 0
[pid=20427/tid=20436] ppid=20425 vsize=10550352 CPUtime=1.47 cores=0,2,4,6
/proc/20427/task/20436/stat : 20436 (java) S 20425 20427 20069 0 -1 4202560 35923 0 0 0 143 4 0 0 16 0 19 0 833391444 10803560448 1076998 33554432000 1073741824 1073778376 140735443202896 18446744073709551615 212447832985 0 4 0 16800975 18446604450236029632 0 0 -1 4 0 0 0
[pid=20427/tid=20437] ppid=20425 vsize=10550352 CPUtime=1.57 cores=0,2,4,6
/proc/20427/task/20437/stat : 20437 (java) S 20425 20427 20069 0 -1 4202560 43005 0 0 0 151 6 0 0 15 0 19 0 833391444 10803560448 1076998 33554432000 1073741824 1073778376 140735443202896 18446744073709551615 212447832985 0 4 0 16800975 18446604450236029632 0 0 -1 2 0 0 0
[pid=20427/tid=20438] ppid=20425 vsize=10550352 CPUtime=3.43 cores=0,2,4,6
/proc/20427/task/20438/stat : 20438 (java) S 20425 20427 20069 0 -1 4202560 3496 0 0 0 342 1 0 0 15 0 19 0 833391445 10803560448 1076998 33554432000 1073741824 1073778376 140735443202896 18446744073709551615 212447833600 0 0 0 16800975 18446604450236029632 0 0 -1 2 0 0 0
[pid=20427/tid=20439] ppid=20425 vsize=10550352 CPUtime=0 cores=0,2,4,6
/proc/20427/task/20439/stat : 20439 (java) S 20425 20427 20069 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 833391446 10803560448 1076998 33554432000 1073741824 1073778376 140735443202896 18446744073709551615 212447832985 0 4 0 16800975 18446604450236029632 0 0 -1 6 0 0 0
[pid=20427/tid=20440] ppid=20425 vsize=10550352 CPUtime=0 cores=0,2,4,6
/proc/20427/task/20440/stat : 20440 (java) S 20425 20427 20069 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 833391446 10803560448 1076998 33554432000 1073741824 1073778376 140735443202896 18446744073709551615 212447832985 0 4 0 16800975 18446604450236029632 0 0 -1 6 0 0 0
[pid=20427/tid=20441] ppid=20425 vsize=10550352 CPUtime=0 cores=0,2,4,6
/proc/20427/task/20441/stat : 20441 (java) S 20425 20427 20069 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833391448 10803560448 1076998 33554432000 1073741824 1073778376 140735443202896 18446744073709551615 212447840689 0 4 0 16800975 18446604450236029632 0 0 -1 4 0 0 0
[pid=20427/tid=20442] ppid=20425 vsize=10550352 CPUtime=0.81 cores=0,2,4,6
/proc/20427/task/20442/stat : 20442 (java) S 20425 20427 20069 0 -1 4202560 6912 0 0 0 80 1 0 0 15 0 19 0 833391448 10803560448 1076998 33554432000 1073741824 1073778376 140735443202896 18446744073709551615 212447832985 0 4 0 16800975 18446604450236029632 0 0 -1 0 0 0 0
[pid=20427/tid=20443] ppid=20425 vsize=10550352 CPUtime=0.87 cores=0,2,4,6
/proc/20427/task/20443/stat : 20443 (java) S 20425 20427 20069 0 -1 4202560 5143 0 0 0 87 0 0 0 16 0 19 0 833391448 10803560448 1076998 33554432000 1073741824 1073778376 140735443202896 18446744073709551615 212447832985 0 4 0 16800975 18446604450236029632 0 0 -1 4 0 0 0
[pid=20427/tid=20444] ppid=20425 vsize=10550352 CPUtime=0 cores=0,2,4,6
/proc/20427/task/20444/stat : 20444 (java) S 20425 20427 20069 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833391448 10803560448 1076998 33554432000 1073741824 1073778376 140735443202896 18446744073709551615 212447832985 0 4 0 16800975 18446604450236029632 0 0 -1 4 0 0 0
[pid=20427/tid=20445] ppid=20425 vsize=10550352 CPUtime=0 cores=0,2,4,6
/proc/20427/task/20445/stat : 20445 (java) S 20425 20427 20069 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 833391448 10803560448 1076998 33554432000 1073741824 1073778376 140735443202896 18446744073709551615 212447833600 0 4 0 16800975 18446604450236029632 0 0 -1 0 0 0 0
[pid=20427/tid=20446] ppid=20425 vsize=10550352 CPUtime=0 cores=0,2,4,6
/proc/20427/task/20446/stat : 20446 (java) S 20425 20427 20069 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833391466 10803560448 1076998 33554432000 1073741824 1073778376 140735443202896 18446744073709551615 212447833600 0 4 0 16800975 18446604450236029632 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1792.22
Current children cumulated vsize (KiB) 10550352
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1790 s]
/proc/loadavg: 2.11 2.06 1.98 3/518 20542
/proc/meminfo: memFree=19064464/32951124 swapFree=38422276/67111528
[pid=20427] ppid=20425 vsize=10550352 CPUtime=1800.03 cores=0,2,4,6
/proc/20427/stat : 20427 (java) S 20425 20427 20069 0 -1 4202496 1089874 0 1 0 179866 137 0 0 25 0 19 0 833391442 10803560448 1077004 33554432000 1073741824 1073778376 140735443202896 18446744073709551615 212447819749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/20427/statm: 2637588 1077004 2257 9 0 2628322 0
[pid=20427/tid=20428] ppid=20425 vsize=10550352 CPUtime=1782.98 cores=0,2,4,6
/proc/20427/task/20428/stat : 20428 (java) R 20425 20427 20069 0 -1 4202560 787988 0 1 0 178212 86 0 0 25 0 19 0 833391442 10803560448 1077004 33554432000 1073741824 1073778376 140735443202896 18446744073709551615 46912505610776 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=20427/tid=20430] ppid=20425 vsize=10550352 CPUtime=1.81 cores=0,2,4,6
/proc/20427/task/20430/stat : 20430 (java) S 20425 20427 20069 0 -1 4202560 53761 0 0 0 173 8 0 0 16 0 19 0 833391444 10803560448 1077004 33554432000 1073741824 1073778376 140735443202896 18446744073709551615 212447832985 0 4 0 16800975 18446604450236029632 0 0 -1 2 0 0 0
[pid=20427/tid=20431] ppid=20425 vsize=10550352 CPUtime=1.45 cores=0,2,4,6
/proc/20427/task/20431/stat : 20431 (java) S 20425 20427 20069 0 -1 4202560 27589 0 0 0 140 5 0 0 16 0 19 0 833391444 10803560448 1077004 33554432000 1073741824 1073778376 140735443202896 18446744073709551615 212447832985 0 4 0 16800975 18446604450236029632 0 0 -1 0 0 0 0
[pid=20427/tid=20432] ppid=20425 vsize=10550352 CPUtime=1.4 cores=0,2,4,6
/proc/20427/task/20432/stat : 20432 (java) S 20425 20427 20069 0 -1 4202560 28985 0 0 0 135 5 0 0 16 0 19 0 833391444 10803560448 1077004 33554432000 1073741824 1073778376 140735443202896 18446744073709551615 212447832985 0 4 0 16800975 18446604450236029632 0 0 -1 6 0 0 0
[pid=20427/tid=20433] ppid=20425 vsize=10550352 CPUtime=1.39 cores=0,2,4,6
/proc/20427/task/20433/stat : 20433 (java) S 20425 20427 20069 0 -1 4202560 28852 0 0 0 134 5 0 0 16 0 19 0 833391444 10803560448 1077004 33554432000 1073741824 1073778376 140735443202896 18446744073709551615 212447832985 0 4 0 16800975 18446604450236029632 0 0 -1 4 0 0 0
[pid=20427/tid=20434] ppid=20425 vsize=10550352 CPUtime=1.04 cores=0,2,4,6
/proc/20427/task/20434/stat : 20434 (java) S 20425 20427 20069 0 -1 4202560 18612 0 0 0 102 2 0 0 15 0 19 0 833391444 10803560448 1077004 33554432000 1073741824 1073778376 140735443202896 18446744073709551615 212447832985 0 4 0 16800975 18446604450236029632 0 0 -1 0 0 0 0
[pid=20427/tid=20435] ppid=20425 vsize=10550352 CPUtime=1.63 cores=0,2,4,6
/proc/20427/task/20435/stat : 20435 (java) S 20425 20427 20069 0 -1 4202560 48356 0 0 0 157 6 0 0 15 0 19 0 833391444 10803560448 1077004 33554432000 1073741824 1073778376 140735443202896 18446744073709551615 212447832985 0 4 0 16800975 18446604450236029632 0 0 -1 2 0 0 0
[pid=20427/tid=20436] ppid=20425 vsize=10550352 CPUtime=1.51 cores=0,2,4,6
/proc/20427/task/20436/stat : 20436 (java) S 20425 20427 20069 0 -1 4202560 35923 0 0 0 147 4 0 0 16 0 19 0 833391444 10803560448 1077004 33554432000 1073741824 1073778376 140735443202896 18446744073709551615 212447832985 0 4 0 16800975 18446604450236029632 0 0 -1 4 0 0 0
[pid=20427/tid=20437] ppid=20425 vsize=10550352 CPUtime=1.58 cores=0,2,4,6
/proc/20427/task/20437/stat : 20437 (java) S 20425 20427 20069 0 -1 4202560 43005 0 0 0 152 6 0 0 16 0 19 0 833391444 10803560448 1077004 33554432000 1073741824 1073778376 140735443202896 18446744073709551615 212447832985 0 4 0 16800975 18446604450236029632 0 0 -1 2 0 0 0
[pid=20427/tid=20438] ppid=20425 vsize=10550352 CPUtime=3.43 cores=0,2,4,6
/proc/20427/task/20438/stat : 20438 (java) S 20425 20427 20069 0 -1 4202560 3496 0 0 0 342 1 0 0 15 0 19 0 833391445 10803560448 1077004 33554432000 1073741824 1073778376 140735443202896 18446744073709551615 212447833600 0 0 0 16800975 18446604450236029632 0 0 -1 2 0 0 0
[pid=20427/tid=20439] ppid=20425 vsize=10550352 CPUtime=0 cores=0,2,4,6
/proc/20427/task/20439/stat : 20439 (java) S 20425 20427 20069 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 833391446 10803560448 1077004 33554432000 1073741824 1073778376 140735443202896 18446744073709551615 212447832985 0 4 0 16800975 18446604450236029632 0 0 -1 6 0 0 0
[pid=20427/tid=20440] ppid=20425 vsize=10550352 CPUtime=0 cores=0,2,4,6
/proc/20427/task/20440/stat : 20440 (java) S 20425 20427 20069 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 833391446 10803560448 1077004 33554432000 1073741824 1073778376 140735443202896 18446744073709551615 212447832985 0 4 0 16800975 18446604450236029632 0 0 -1 6 0 0 0
[pid=20427/tid=20441] ppid=20425 vsize=10550352 CPUtime=0 cores=0,2,4,6
/proc/20427/task/20441/stat : 20441 (java) S 20425 20427 20069 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833391448 10803560448 1077004 33554432000 1073741824 1073778376 140735443202896 18446744073709551615 212447840689 0 4 0 16800975 18446604450236029632 0 0 -1 4 0 0 0
[pid=20427/tid=20442] ppid=20425 vsize=10550352 CPUtime=0.81 cores=0,2,4,6
/proc/20427/task/20442/stat : 20442 (java) S 20425 20427 20069 0 -1 4202560 6912 0 0 0 80 1 0 0 15 0 19 0 833391448 10803560448 1077004 33554432000 1073741824 1073778376 140735443202896 18446744073709551615 212447832985 0 4 0 16800975 18446604450236029632 0 0 -1 0 0 0 0
[pid=20427/tid=20443] ppid=20425 vsize=10550352 CPUtime=0.87 cores=0,2,4,6
/proc/20427/task/20443/stat : 20443 (java) S 20425 20427 20069 0 -1 4202560 5143 0 0 0 87 0 0 0 16 0 19 0 833391448 10803560448 1077004 33554432000 1073741824 1073778376 140735443202896 18446744073709551615 212447832985 0 4 0 16800975 18446604450236029632 0 0 -1 4 0 0 0
[pid=20427/tid=20444] ppid=20425 vsize=10550352 CPUtime=0 cores=0,2,4,6
/proc/20427/task/20444/stat : 20444 (java) S 20425 20427 20069 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833391448 10803560448 1077004 33554432000 1073741824 1073778376 140735443202896 18446744073709551615 212447832985 0 4 0 16800975 18446604450236029632 0 0 -1 4 0 0 0
[pid=20427/tid=20445] ppid=20425 vsize=10550352 CPUtime=0 cores=0,2,4,6
/proc/20427/task/20445/stat : 20445 (java) S 20425 20427 20069 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 833391448 10803560448 1077004 33554432000 1073741824 1073778376 140735443202896 18446744073709551615 212447833600 0 4 0 16800975 18446604450236029632 0 0 -1 0 0 0 0
[pid=20427/tid=20446] ppid=20425 vsize=10550352 CPUtime=0 cores=0,2,4,6
/proc/20427/task/20446/stat : 20446 (java) S 20425 20427 20069 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833391466 10803560448 1077004 33554432000 1073741824 1073778376 140735443202896 18446744073709551615 212447833600 0 4 0 16800975 18446604450236029632 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 10550352
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1790.12 s]
/proc/loadavg: 2.11 2.06 1.98 3/518 20542
/proc/meminfo: memFree=19064464/32951124 swapFree=38422276/67111528
[pid=20427] ppid=20425 vsize=0 CPUtime=1800.16 cores=0,2,4,6
/proc/20427/stat : 20427 (java) Z 20425 20427 20069 0 -1 4203548 1089912 0 1 0 179873 143 0 0 17 0 2 0 833391442 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/20427/statm: 0 0 0 0 0 0 0
[pid=20427/tid=20444] ppid=20425 vsize=0 CPUtime=0.06 cores=0,2,4,6
/proc/20427/task/20444/stat : 20444 (java) R 20425 20427 20069 0 -1 4203588 1 0 0 0 0 6 0 0 18 0 2 0 833391448 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1800.16
Current children cumulated vsize (KiB) 0
[startup+1790.2 s]
/proc/loadavg: 2.11 2.06 1.98 3/518 20542
/proc/meminfo: memFree=19064464/32951124 swapFree=38422276/67111528
[pid=20427] ppid=20425 vsize=0 CPUtime=1800.24 cores=0,2,4,6
/proc/20427/stat : 20427 (java) Z 20425 20427 20069 0 -1 4203548 1089912 0 1 0 179873 151 0 0 17 0 2 0 833391442 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/20427/statm: 0 0 0 0 0 0 0
[pid=20427/tid=20444] ppid=20425 vsize=0 CPUtime=0.13 cores=0,2,4,6
/proc/20427/task/20444/stat : 20444 (java) R 20425 20427 20069 0 -1 4203588 1 0 0 0 0 13 0 0 18 0 2 0 833391448 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1800.24
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1790.22
CPU time (s): 1800.26
CPU user time (s): 1798.73
CPU system time (s): 1.52677
CPU usage (%): 100.561
Max. virtual memory (cumulated for all children) (KiB): 10552832
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.73
system time used= 1.52677
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1089912
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= 39373
involuntary context switches= 9319
runsolver used 9.67253 second user time and 19.652 second system time
The end