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-3478979-1307440661/watcher-3478979-1307440661 -o /tmp/evaluation-result-3478979-1307440661/solver-3478979-1307440661 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3478979-1307440661.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: 3.75 3.87 3.79 3/482 15696
/proc/meminfo: memFree=24698816/32951124 swapFree=41830676/67111528
[pid=15696] ppid=15694 vsize=36924 CPUtime=0 cores=1,3,5,7
/proc/15696/stat : 15696 (java) S 15694 15696 15115 0 -1 4202496 1370 0 1 0 0 0 0 0 21 0 2 0 855664104 37810176 1072 33554432000 1073741824 1073778376 140735954434832 18446744073709551615 228134516709 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0
/proc/15696/statm: 9231 1072 832 9 0 387 0
[pid=15696/tid=15697] ppid=15694 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/15696/task/15697/stat : 15697 (java) R 15694 15696 15115 0 -1 4202560 4016 0 1 0 0 0 0 0 18 0 2 0 855664105 10694979584 4832 33554432000 1073741824 1073778376 140735954434832 18446744073709551615 228122407995 0 4 0 16784584 0 0 0 -1 5 0 0 0
[startup+0.05039 s]
/proc/loadavg: 3.75 3.87 3.79 3/482 15696
/proc/meminfo: memFree=24698816/32951124 swapFree=41830676/67111528
[pid=15696] ppid=15694 vsize=10467480 CPUtime=0.03 cores=1,3,5,7
/proc/15696/stat : 15696 (java) S 15694 15696 15115 0 -1 4202496 11337 0 1 0 2 1 0 0 21 0 13 0 855664104 10718699520 11033 33554432000 1073741824 1073778376 140735954434832 18446744073709551615 228134516709 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0
/proc/15696/statm: 2616870 11033 1679 9 0 2607618 0
[pid=15696/tid=15697] ppid=15694 vsize=10467480 CPUtime=0.03 cores=1,3,5,7
/proc/15696/task/15697/stat : 15697 (java) R 15694 15696 15115 0 -1 4202560 10189 0 1 0 2 1 0 0 24 0 13 0 855664105 10718699520 11034 33554432000 1073741824 1073778376 140735954434832 18446744073709551615 47314211881731 0 4 0 16784584 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 10467480
[startup+0.100378 s]
/proc/loadavg: 3.75 3.87 3.79 3/482 15696
/proc/meminfo: memFree=24698816/32951124 swapFree=41830676/67111528
[pid=15696] ppid=15694 vsize=10539912 CPUtime=0.1 cores=1,3,5,7
/proc/15696/stat : 15696 (java) S 15694 15696 15115 0 -1 4202496 12995 0 1 0 8 2 0 0 21 0 18 0 855664104 10792869888 12691 33554432000 1073741824 1073778376 140735954434832 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/15696/statm: 2634978 12692 2092 9 0 2625712 0
[pid=15696/tid=15697] ppid=15694 vsize=10539912 CPUtime=0.08 cores=1,3,5,7
/proc/15696/task/15697/stat : 15697 (java) R 15694 15696 15115 0 -1 4202560 11088 0 1 0 6 2 0 0 18 0 18 0 855664105 10792869888 12692 33554432000 1073741824 1073778376 140735954434832 18446744073709551615 47314216377171 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) 10539912
[startup+0.300343 s]
/proc/loadavg: 3.75 3.87 3.79 3/482 15696
/proc/meminfo: memFree=24698816/32951124 swapFree=41830676/67111528
[pid=15696] ppid=15694 vsize=10541100 CPUtime=0.47 cores=1,3,5,7
/proc/15696/stat : 15696 (java) S 15694 15696 15115 0 -1 4202496 16101 0 1 0 44 3 0 0 21 0 18 0 855664104 10794086400 15495 33554432000 1073741824 1073778376 140735954434832 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/15696/statm: 2635275 15496 2199 9 0 2626009 0
[pid=15696/tid=15697] ppid=15694 vsize=10541100 CPUtime=0.28 cores=1,3,5,7
/proc/15696/task/15697/stat : 15697 (java) R 15694 15696 15115 0 -1 4202560 13259 0 1 0 26 2 0 0 18 0 18 0 855664105 10794086400 15496 33554432000 1073741824 1073778376 140735954434832 18446744073709551615 46912505366267 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 10541100
[startup+0.70028 s]
/proc/loadavg: 3.75 3.87 3.79 3/482 15696
/proc/meminfo: memFree=24698816/32951124 swapFree=41830676/67111528
[pid=15696] ppid=15694 vsize=10545696 CPUtime=1.22 cores=1,3,5,7
/proc/15696/stat : 15696 (java) S 15694 15696 15115 0 -1 4202496 53065 0 1 0 113 9 0 0 21 0 18 0 855664104 10798792704 50950 33554432000 1073741824 1073778376 140735954434832 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/15696/statm: 2636424 50955 2215 9 0 2627158 0
[pid=15696/tid=15697] ppid=15694 vsize=10545696 CPUtime=0.68 cores=1,3,5,7
/proc/15696/task/15697/stat : 15697 (java) R 15694 15696 15115 0 -1 4202560 46807 0 1 0 60 8 0 0 18 0 18 0 855664105 10798792704 50958 33554432000 1073741824 1073778376 140735954434832 18446744073709551615 46912505607268 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.22
Current children cumulated vsize (KiB) 10545696
[startup+1.50113 s]
/proc/loadavg: 3.75 3.87 3.79 4/500 15714
/proc/meminfo: memFree=24358116/32951124 swapFree=41830676/67111528
[pid=15696] ppid=15694 vsize=10545696 CPUtime=2.09 cores=1,3,5,7
/proc/15696/stat : 15696 (java) S 15694 15696 15115 0 -1 4202496 150265 0 1 0 188 21 0 0 21 0 18 0 855664104 10798792704 148150 33554432000 1073741824 1073778376 140735954434832 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/15696/statm: 2636424 148152 2215 9 0 2627158 0
[pid=15696/tid=15697] ppid=15694 vsize=10545696 CPUtime=1.48 cores=1,3,5,7
/proc/15696/task/15697/stat : 15697 (java) R 15694 15696 15115 0 -1 4202560 143990 0 1 0 128 20 0 0 19 0 18 0 855664105 10798792704 148154 33554432000 1073741824 1073778376 140735954434832 18446744073709551615 46912505609680 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=15696/tid=15699] ppid=15694 vsize=10545696 CPUtime=0 cores=1,3,5,7
/proc/15696/task/15699/stat : 15699 (java) S 15694 15696 15115 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 855664106 10798792704 148157 33554432000 1073741824 1073778376 140735954434832 18446744073709551615 228134529945 0 4 0 16800975 18446604466705528832 0 0 -1 7 0 0 0
[pid=15696/tid=15700] ppid=15694 vsize=10545696 CPUtime=0 cores=1,3,5,7
/proc/15696/task/15700/stat : 15700 (java) S 15694 15696 15115 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 855664106 10798792704 148160 33554432000 1073741824 1073778376 140735954434832 18446744073709551615 228134529945 0 4 0 16800975 18446604466705528832 0 0 -1 3 0 0 0
[pid=15696/tid=15701] ppid=15694 vsize=10545696 CPUtime=0 cores=1,3,5,7
/proc/15696/task/15701/stat : 15701 (java) S 15694 15696 15115 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 855664106 10798792704 148163 33554432000 1073741824 1073778376 140735954434832 18446744073709551615 228134529945 0 4 0 16800975 18446604466705528832 0 0 -1 3 0 0 0
[pid=15696/tid=15702] ppid=15694 vsize=10545696 CPUtime=0 cores=1,3,5,7
/proc/15696/task/15702/stat : 15702 (java) S 15694 15696 15115 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 855664106 10798792704 148166 33554432000 1073741824 1073778376 140735954434832 18446744073709551615 228134529945 0 4 0 16800975 18446604466705528832 0 0 -1 3 0 0 0
[pid=15696/tid=15703] ppid=15694 vsize=10545696 CPUtime=0 cores=1,3,5,7
/proc/15696/task/15703/stat : 15703 (java) S 15694 15696 15115 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 855664106 10798792704 148168 33554432000 1073741824 1073778376 140735954434832 18446744073709551615 228134529945 0 4 0 16800975 18446604466705528832 0 0 -1 3 0 0 0
[pid=15696/tid=15704] ppid=15694 vsize=10545696 CPUtime=0 cores=1,3,5,7
/proc/15696/task/15704/stat : 15704 (java) S 15694 15696 15115 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 855664106 10798792704 148171 33554432000 1073741824 1073778376 140735954434832 18446744073709551615 228134529945 0 4 0 16800975 18446604466705528832 0 0 -1 3 0 0 0
[pid=15696/tid=15705] ppid=15694 vsize=10545696 CPUtime=0 cores=1,3,5,7
/proc/15696/task/15705/stat : 15705 (java) S 15694 15696 15115 0 -1 4202560 2 0 0 0 0 0 0 0 21 0 18 0 855664106 10798792704 148174 33554432000 1073741824 1073778376 140735954434832 18446744073709551615 228134529945 0 4 0 16800975 18446604466705528832 0 0 -1 3 0 0 0
[pid=15696/tid=15706] ppid=15694 vsize=10545696 CPUtime=0 cores=1,3,5,7
/proc/15696/task/15706/stat : 15706 (java) S 15694 15696 15115 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 855664106 10798792704 148177 33554432000 1073741824 1073778376 140735954434832 18446744073709551615 228134529945 0 4 0 16800975 18446604466705528832 0 0 -1 3 0 0 0
[pid=15696/tid=15707] ppid=15694 vsize=10545696 CPUtime=0 cores=1,3,5,7
/proc/15696/task/15707/stat : 15707 (java) S 15694 15696 15115 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 855664107 10798792704 148180 33554432000 1073741824 1073778376 140735954434832 18446744073709551615 228134530560 0 0 0 16800975 18446604466705528832 0 0 -1 7 0 0 0
[pid=15696/tid=15708] ppid=15694 vsize=10545696 CPUtime=0 cores=1,3,5,7
/proc/15696/task/15708/stat : 15708 (java) S 15694 15696 15115 0 -1 4202560 16 0 0 0 0 0 0 0 23 0 18 0 855664108 10798792704 148183 33554432000 1073741824 1073778376 140735954434832 18446744073709551615 228134529945 0 4 0 16800975 18446604466705528832 0 0 -1 1 0 0 0
[pid=15696/tid=15709] ppid=15694 vsize=10545696 CPUtime=0 cores=1,3,5,7
/proc/15696/task/15709/stat : 15709 (java) S 15694 15696 15115 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 18 0 855664108 10798792704 148186 33554432000 1073741824 1073778376 140735954434832 18446744073709551615 228134529945 0 4 0 16800975 18446604466705528832 0 0 -1 1 0 0 0
[pid=15696/tid=15710] ppid=15694 vsize=10545696 CPUtime=0 cores=1,3,5,7
/proc/15696/task/15710/stat : 15710 (java) S 15694 15696 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855664110 10798792704 148189 33554432000 1073741824 1073778376 140735954434832 18446744073709551615 228134537649 0 4 0 16800975 18446604466705528832 0 0 -1 1 0 0 0
[pid=15696/tid=15711] ppid=15694 vsize=10545696 CPUtime=0.28 cores=1,3,5,7
/proc/15696/task/15711/stat : 15711 (java) S 15694 15696 15115 0 -1 4202560 1675 0 0 0 28 0 0 0 15 0 18 0 855664110 10798792704 148192 33554432000 1073741824 1073778376 140735954434832 18446744073709551615 228134529945 0 4 0 16800975 18446604466705528832 0 0 -1 3 0 0 0
[pid=15696/tid=15712] ppid=15694 vsize=10545696 CPUtime=0.3 cores=1,3,5,7
/proc/15696/task/15712/stat : 15712 (java) S 15694 15696 15115 0 -1 4202560 3452 0 0 0 30 0 0 0 19 0 18 0 855664110 10798792704 148195 33554432000 1073741824 1073778376 140735954434832 18446744073709551615 228134529945 0 4 0 16800975 18446604466705528832 0 0 -1 7 0 0 0
[pid=15696/tid=15713] ppid=15694 vsize=10545696 CPUtime=0 cores=1,3,5,7
/proc/15696/task/15713/stat : 15713 (java) S 15694 15696 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855664110 10798792704 148198 33554432000 1073741824 1073778376 140735954434832 18446744073709551615 228134529945 0 4 0 16800975 18446604466705528832 0 0 -1 1 0 0 0
[pid=15696/tid=15714] ppid=15694 vsize=10545696 CPUtime=0 cores=1,3,5,7
/proc/15696/task/15714/stat : 15714 (java) S 15694 15696 15115 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 855664110 10798792704 148201 33554432000 1073741824 1073778376 140735954434832 18446744073709551615 228134530560 0 4 0 16800975 18446604466705528832 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.09
Current children cumulated vsize (KiB) 10545696
[startup+3.10081 s]
/proc/loadavg: 3.75 3.87 3.79 8/503 15717
/proc/meminfo: memFree=23823732/32951124 swapFree=41830676/67111528
[pid=15696] ppid=15694 vsize=10554848 CPUtime=5.68 cores=1,3,5,7
/proc/15696/stat : 15696 (java) S 15694 15696 15115 0 -1 4202496 290025 0 1 0 531 37 0 0 21 0 22 0 855664104 10808164352 283655 33554432000 1073741824 1073778376 140735954434832 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/15696/statm: 2638712 283655 2238 9 0 2629446 0
[pid=15696/tid=15697] ppid=15694 vsize=10554848 CPUtime=2.06 cores=1,3,5,7
/proc/15696/task/15697/stat : 15697 (java) S 15694 15696 15115 0 -1 4202560 215721 0 1 0 178 28 0 0 15 0 22 0 855664105 10808164352 283655 33554432000 1073741824 1073778376 140735954434832 18446744073709551615 228134530560 0 4 0 16800975 18446604466705528832 0 0 -1 3 0 0 0
[pid=15696/tid=15699] ppid=15694 vsize=10554848 CPUtime=0 cores=1,3,5,7
/proc/15696/task/15699/stat : 15699 (java) S 15694 15696 15115 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 855664106 10808164352 283655 33554432000 1073741824 1073778376 140735954434832 18446744073709551615 228134529945 0 4 0 16800975 18446604466705528832 0 0 -1 7 0 0 0
[pid=15696/tid=15700] ppid=15694 vsize=10554848 CPUtime=0 cores=1,3,5,7
/proc/15696/task/15700/stat : 15700 (java) S 15694 15696 15115 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 855664106 10808164352 283655 33554432000 1073741824 1073778376 140735954434832 18446744073709551615 228134529945 0 4 0 16800975 18446604466705528832 0 0 -1 3 0 0 0
[pid=15696/tid=15701] ppid=15694 vsize=10554848 CPUtime=0 cores=1,3,5,7
/proc/15696/task/15701/stat : 15701 (java) S 15694 15696 15115 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 855664106 10808164352 283655 33554432000 1073741824 1073778376 140735954434832 18446744073709551615 228134529945 0 4 0 16800975 18446604466705528832 0 0 -1 3 0 0 0
[pid=15696/tid=15702] ppid=15694 vsize=10554848 CPUtime=0 cores=1,3,5,7
/proc/15696/task/15702/stat : 15702 (java) S 15694 15696 15115 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 855664106 10808164352 283655 33554432000 1073741824 1073778376 140735954434832 18446744073709551615 228134529945 0 4 0 16800975 18446604466705528832 0 0 -1 3 0 0 0
[pid=15696/tid=15703] ppid=15694 vsize=10554848 CPUtime=0 cores=1,3,5,7
/proc/15696/task/15703/stat : 15703 (java) S 15694 15696 15115 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 855664106 10808164352 283655 33554432000 1073741824 1073778376 140735954434832 18446744073709551615 228134529945 0 4 0 16800975 18446604466705528832 0 0 -1 3 0 0 0
[pid=15696/tid=15704] ppid=15694 vsize=10554848 CPUtime=0 cores=1,3,5,7
/proc/15696/task/15704/stat : 15704 (java) S 15694 15696 15115 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 855664106 10808164352 283655 33554432000 1073741824 1073778376 140735954434832 18446744073709551615 228134529945 0 4 0 16800975 18446604466705528832 0 0 -1 3 0 0 0
[pid=15696/tid=15705] ppid=15694 vsize=10554848 CPUtime=0 cores=1,3,5,7
/proc/15696/task/15705/stat : 15705 (java) S 15694 15696 15115 0 -1 4202560 2 0 0 0 0 0 0 0 21 0 22 0 855664106 10808164352 283655 33554432000 1073741824 1073778376 140735954434832 18446744073709551615 228134529945 0 4 0 16800975 18446604466705528832 0 0 -1 3 0 0 0
[pid=15696/tid=15706] ppid=15694 vsize=10554848 CPUtime=0 cores=1,3,5,7
/proc/15696/task/15706/stat : 15706 (java) S 15694 15696 15115 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 855664106 10808164352 283655 33554432000 1073741824 1073778376 140735954434832 18446744073709551615 228134529945 0 4 0 16800975 18446604466705528832 0 0 -1 3 0 0 0
[pid=15696/tid=15707] ppid=15694 vsize=10554848 CPUtime=0 cores=1,3,5,7
/proc/15696/task/15707/stat : 15707 (java) S 15694 15696 15115 0 -1 4202560 6 0 0 0 0 0 0 0 16 0 22 0 855664107 10808164352 283655 33554432000 1073741824 1073778376 140735954434832 18446744073709551615 228134530560 0 0 0 16800975 18446604466705528832 0 0 -1 7 0 0 0
[pid=15696/tid=15708] ppid=15694 vsize=10554848 CPUtime=0 cores=1,3,5,7
/proc/15696/task/15708/stat : 15708 (java) S 15694 15696 15115 0 -1 4202560 16 0 0 0 0 0 0 0 23 0 22 0 855664108 10808164352 283655 33554432000 1073741824 1073778376 140735954434832 18446744073709551615 228134529945 0 4 0 16800975 18446604466705528832 0 0 -1 1 0 0 0
[pid=15696/tid=15709] ppid=15694 vsize=10554848 CPUtime=0 cores=1,3,5,7
/proc/15696/task/15709/stat : 15709 (java) S 15694 15696 15115 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 22 0 855664108 10808164352 283655 33554432000 1073741824 1073778376 140735954434832 18446744073709551615 228134529945 0 4 0 16800975 18446604466705528832 0 0 -1 1 0 0 0
[pid=15696/tid=15710] ppid=15694 vsize=10554848 CPUtime=0 cores=1,3,5,7
/proc/15696/task/15710/stat : 15710 (java) S 15694 15696 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 855664110 10808164352 283655 33554432000 1073741824 1073778376 140735954434832 18446744073709551615 228134537649 0 4 0 16800975 18446604466705528832 0 0 -1 1 0 0 0
[pid=15696/tid=15711] ppid=15694 vsize=10554848 CPUtime=0.83 cores=1,3,5,7
/proc/15696/task/15711/stat : 15711 (java) R 15694 15696 15115 0 -1 4202560 7047 0 0 0 82 1 0 0 15 0 22 0 855664110 10808164352 283655 33554432000 1073741824 1073778376 140735954434832 18446744073709551615 47314210660320 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=15696/tid=15712] ppid=15694 vsize=10554848 CPUtime=0.76 cores=1,3,5,7
/proc/15696/task/15712/stat : 15712 (java) S 15694 15696 15115 0 -1 4202560 5338 0 0 0 76 0 0 0 15 0 22 0 855664110 10808164352 283655 33554432000 1073741824 1073778376 140735954434832 18446744073709551615 228134529945 0 4 0 16800975 18446604466705528832 0 0 -1 5 0 0 0
[pid=15696/tid=15713] ppid=15694 vsize=10554848 CPUtime=0 cores=1,3,5,7
/proc/15696/task/15713/stat : 15713 (java) S 15694 15696 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 855664110 10808164352 283655 33554432000 1073741824 1073778376 140735954434832 18446744073709551615 228134529945 0 4 0 16800975 18446604466705528832 0 0 -1 1 0 0 0
[pid=15696/tid=15714] ppid=15694 vsize=10554848 CPUtime=0 cores=1,3,5,7
/proc/15696/task/15714/stat : 15714 (java) S 15694 15696 15115 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 855664110 10808164352 283655 33554432000 1073741824 1073778376 140735954434832 18446744073709551615 228134530560 0 4 0 16800975 18446604466705528832 0 0 -1 7 0 0 0
[pid=15696/tid=15715] ppid=15694 vsize=10554848 CPUtime=1.01 cores=1,3,5,7
/proc/15696/task/15715/stat : 15715 (java) R 15694 15696 15115 0 -1 4202560 1083 0 0 0 101 0 0 0 25 0 22 0 855664312 10808164352 283655 33554432000 1073741824 1073778376 140735954434832 18446744073709551615 46912506122011 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=15696/tid=15716] ppid=15694 vsize=10554848 CPUtime=0.98 cores=1,3,5,7
/proc/15696/task/15716/stat : 15716 (java) R 15694 15696 15115 0 -1 4202560 59666 0 0 0 92 6 0 0 25 0 22 0 855664312 10808164352 283655 33554432000 1073741824 1073778376 140735954434832 18446744073709551615 46912505829769 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=15696/tid=15717] ppid=15694 vsize=10554848 CPUtime=0 cores=1,3,5,7
/proc/15696/task/15717/stat : 15717 (java) S 15694 15696 15115 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 22 0 855664314 10808164352 283655 33554432000 1073741824 1073778376 140735954434832 18446744073709551615 228134530560 0 4 0 16800975 18446604466705528832 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 5.68
Current children cumulated vsize (KiB) 10554848
[startup+6.30122 s]
/proc/loadavg: 3.77 3.87 3.79 5/504 15718
/proc/meminfo: memFree=22763572/32951124 swapFree=41830676/67111528
[pid=15696] ppid=15694 vsize=10554848 CPUtime=12.02 cores=1,3,5,7
/proc/15696/stat : 15696 (java) S 15694 15696 15115 0 -1 4202496 491284 0 1 0 1144 58 0 0 21 0 22 0 855664104 10808164352 484894 33554432000 1073741824 1073778376 140735954434832 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/15696/statm: 2638712 484894 2265 9 0 2629446 0
[pid=15696/tid=15697] ppid=15694 vsize=10554848 CPUtime=2.06 cores=1,3,5,7
/proc/15696/task/15697/stat : 15697 (java) S 15694 15696 15115 0 -1 4202560 215721 0 1 0 178 28 0 0 15 0 22 0 855664105 10808164352 484894 33554432000 1073741824 1073778376 140735954434832 18446744073709551615 228134530560 0 4 0 16800975 18446604466705528832 0 0 -1 3 0 0 0
[pid=15696/tid=15699] ppid=15694 vsize=10554848 CPUtime=0.05 cores=1,3,5,7
/proc/15696/task/15699/stat : 15699 (java) S 15694 15696 15115 0 -1 4202560 3399 0 0 0 5 0 0 0 18 0 22 0 855664106 10808164352 484894 33554432000 1073741824 1073778376 140735954434832 18446744073709551615 228134529945 0 4 0 16800975 18446604466705528832 0 0 -1 7 0 0 0
[pid=15696/tid=15700] ppid=15694 vsize=10554848 CPUtime=0 cores=1,3,5,7
/proc/15696/task/15700/stat : 15700 (java) S 15694 15696 15115 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 855664106 10808164352 484894 33554432000 1073741824 1073778376 140735954434832 18446744073709551615 228134529945 0 4 0 16800975 18446604466705528832 0 0 -1 7 0 0 0
[pid=15696/tid=15701] ppid=15694 vsize=10554848 CPUtime=0 cores=1,3,5,7
/proc/15696/task/15701/stat : 15701 (java) S 15694 15696 15115 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 22 0 855664106 10808164352 484894 33554432000 1073741824 1073778376 140735954434832 18446744073709551615 228134529945 0 4 0 16800975 18446604466705528832 0 0 -1 7 0 0 0
[pid=15696/tid=15702] ppid=15694 vsize=10554848 CPUtime=0.05 cores=1,3,5,7
/proc/15696/task/15702/stat : 15702 (java) S 15694 15696 15115 0 -1 4202560 3906 0 0 0 5 0 0 0 18 0 22 0 855664106 10808164352 484894 33554432000 1073741824 1073778376 140735954434832 18446744073709551615 228134529945 0 4 0 16800975 18446604466705528832 0 0 -1 5 0 0 0
[pid=15696/tid=15703] ppid=15694 vsize=10554848 CPUtime=0.04 cores=1,3,5,7
/proc/15696/task/15703/stat : 15703 (java) S 15694 15696 15115 0 -1 4202560 3408 0 0 0 4 0 0 0 18 0 22 0 855664106 10808164352 484894 33554432000 1073741824 1073778376 140735954434832 18446744073709551615 228134529945 0 4 0 16800975 18446604466705528832 0 0 -1 3 0 0 0
[pid=15696/tid=15704] ppid=15694 vsize=10554848 CPUtime=0.04 cores=1,3,5,7
/proc/15696/task/15704/stat : 15704 (java) S 15694 15696 15115 0 -1 4202560 3692 0 0 0 4 0 0 0 18 0 22 0 855664106 10808164352 484894 33554432000 1073741824 1073778376 140735954434832 18446744073709551615 228134529945 0 4 0 16800975 18446604466705528832 0 0 -1 5 0 0 0
[pid=15696/tid=15705] ppid=15694 vsize=10554848 CPUtime=0 cores=1,3,5,7
/proc/15696/task/15705/stat : 15705 (java) S 15694 15696 15115 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 22 0 855664106 10808164352 484894 33554432000 1073741824 1073778376 140735954434832 18446744073709551615 228134529945 0 4 0 16800975 18446604466705528832 0 0 -1 3 0 0 0
[pid=15696/tid=15706] ppid=15694 vsize=10554848 CPUtime=0 cores=1,3,5,7
/proc/15696/task/15706/stat : 15706 (java) S 15694 15696 15115 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 855664106 10808164352 484894 33554432000 1073741824 1073778376 140735954434832 18446744073709551615 228134529945 0 4 0 16800975 18446604466705528832 0 0 -1 3 0 0 0
[pid=15696/tid=15707] ppid=15694 vsize=10554848 CPUtime=0.35 cores=1,3,5,7
/proc/15696/task/15707/stat : 15707 (java) S 15694 15696 15115 0 -1 4202560 17230 0 0 0 34 1 0 0 15 0 22 0 855664107 10808164352 484894 33554432000 1073741824 1073778376 140735954434832 18446744073709551615 228134530560 0 0 0 16800975 18446604466705528832 0 0 -1 1 0 0 0
[pid=15696/tid=15708] ppid=15694 vsize=10554848 CPUtime=0 cores=1,3,5,7
/proc/15696/task/15708/stat : 15708 (java) S 15694 15696 15115 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 855664108 10808164352 484894 33554432000 1073741824 1073778376 140735954434832 18446744073709551615 228134529945 0 4 0 16800975 18446604466705528832 0 0 -1 7 0 0 0
[pid=15696/tid=15709] ppid=15694 vsize=10554848 CPUtime=0 cores=1,3,5,7
/proc/15696/task/15709/stat : 15709 (java) S 15694 15696 15115 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 855664108 10808164352 484894 33554432000 1073741824 1073778376 140735954434832 18446744073709551615 228134529945 0 4 0 16800975 18446604466705528832 0 0 -1 7 0 0 0
[pid=15696/tid=15710] ppid=15694 vsize=10554848 CPUtime=0 cores=1,3,5,7
/proc/15696/task/15710/stat : 15710 (java) S 15694 15696 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 855664110 10808164352 484894 33554432000 1073741824 1073778376 140735954434832 18446744073709551615 228134537649 0 4 0 16800975 18446604466705528832 0 0 -1 1 0 0 0
[pid=15696/tid=15711] ppid=15694 vsize=10554848 CPUtime=0.97 cores=1,3,5,7
/proc/15696/task/15711/stat : 15711 (java) S 15694 15696 15115 0 -1 4202560 7060 0 0 0 96 1 0 0 15 0 22 0 855664110 10808164352 484894 33554432000 1073741824 1073778376 140735954434832 18446744073709551615 228134529945 0 4 0 16800975 18446604466705528832 0 0 -1 3 0 0 0
################
# More data... #
################
/proc/15696/task/15701/stat : 15701 (java) S 15694 15696 15115 0 -1 4202560 2923 0 0 0 57 0 0 0 16 0 22 0 855664106 10807652352 925765 33554432000 1073741824 1073778376 140735954434832 18446744073709551615 228134529945 0 4 0 16800975 18446604466705528832 0 0 -1 3 0 0 0
[pid=15696/tid=15702] ppid=15694 vsize=10554348 CPUtime=0.74 cores=1,3,5,7
/proc/15696/task/15702/stat : 15702 (java) S 15694 15696 15115 0 -1 4202560 8113 0 0 0 73 1 0 0 16 0 22 0 855664106 10807652352 925765 33554432000 1073741824 1073778376 140735954434832 18446744073709551615 228134529945 0 4 0 16800975 18446604466705528832 0 0 -1 5 0 0 0
[pid=15696/tid=15703] ppid=15694 vsize=10554348 CPUtime=0.75 cores=1,3,5,7
/proc/15696/task/15703/stat : 15703 (java) S 15694 15696 15115 0 -1 4202560 9801 0 0 0 74 1 0 0 15 0 22 0 855664106 10807652352 925765 33554432000 1073741824 1073778376 140735954434832 18446744073709551615 228134529945 0 4 0 16800975 18446604466705528832 0 0 -1 3 0 0 0
[pid=15696/tid=15704] ppid=15694 vsize=10554348 CPUtime=0.74 cores=1,3,5,7
/proc/15696/task/15704/stat : 15704 (java) S 15694 15696 15115 0 -1 4202560 7830 0 0 0 74 0 0 0 15 0 22 0 855664106 10807652352 925765 33554432000 1073741824 1073778376 140735954434832 18446744073709551615 228134529945 0 4 0 16800975 18446604466705528832 0 0 -1 3 0 0 0
[pid=15696/tid=15705] ppid=15694 vsize=10554348 CPUtime=0.57 cores=1,3,5,7
/proc/15696/task/15705/stat : 15705 (java) S 15694 15696 15115 0 -1 4202560 1885 0 0 0 57 0 0 0 16 0 22 0 855664106 10807652352 925765 33554432000 1073741824 1073778376 140735954434832 18446744073709551615 228134529945 0 4 0 16800975 18446604466705528832 0 0 -1 1 0 0 0
[pid=15696/tid=15706] ppid=15694 vsize=10554348 CPUtime=0.68 cores=1,3,5,7
/proc/15696/task/15706/stat : 15706 (java) S 15694 15696 15115 0 -1 4202560 2030 0 0 0 68 0 0 0 15 0 22 0 855664106 10807652352 925765 33554432000 1073741824 1073778376 140735954434832 18446744073709551615 228134529945 0 4 0 16800975 18446604466705528832 0 0 -1 1 0 0 0
[pid=15696/tid=15707] ppid=15694 vsize=10554348 CPUtime=16.35 cores=1,3,5,7
/proc/15696/task/15707/stat : 15707 (java) S 15694 15696 15115 0 -1 4202560 37678 0 0 0 1631 4 0 0 15 0 22 0 855664107 10807652352 925765 33554432000 1073741824 1073778376 140735954434832 18446744073709551615 228134530560 0 0 0 16800975 18446604466705528832 0 0 -1 5 0 0 0
[pid=15696/tid=15708] ppid=15694 vsize=10554348 CPUtime=0 cores=1,3,5,7
/proc/15696/task/15708/stat : 15708 (java) S 15694 15696 15115 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 855664108 10807652352 925765 33554432000 1073741824 1073778376 140735954434832 18446744073709551615 228134529945 0 4 0 16800975 18446604466705528832 0 0 -1 7 0 0 0
[pid=15696/tid=15709] ppid=15694 vsize=10554348 CPUtime=0 cores=1,3,5,7
/proc/15696/task/15709/stat : 15709 (java) S 15694 15696 15115 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 855664108 10807652352 925765 33554432000 1073741824 1073778376 140735954434832 18446744073709551615 228134529945 0 4 0 16800975 18446604466705528832 0 0 -1 7 0 0 0
[pid=15696/tid=15710] ppid=15694 vsize=10554348 CPUtime=0 cores=1,3,5,7
/proc/15696/task/15710/stat : 15710 (java) S 15694 15696 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 855664110 10807652352 925765 33554432000 1073741824 1073778376 140735954434832 18446744073709551615 228134537649 0 4 0 16800975 18446604466705528832 0 0 -1 1 0 0 0
[pid=15696/tid=15711] ppid=15694 vsize=10554348 CPUtime=1.05 cores=1,3,5,7
/proc/15696/task/15711/stat : 15711 (java) S 15694 15696 15115 0 -1 4202560 7068 0 0 0 104 1 0 0 16 0 22 0 855664110 10807652352 925765 33554432000 1073741824 1073778376 140735954434832 18446744073709551615 228134529945 0 4 0 16800975 18446604466705528832 0 0 -1 3 0 0 0
[pid=15696/tid=15712] ppid=15694 vsize=10554348 CPUtime=1.06 cores=1,3,5,7
/proc/15696/task/15712/stat : 15712 (java) S 15694 15696 15115 0 -1 4202560 6015 0 0 0 105 1 0 0 16 0 22 0 855664110 10807652352 925765 33554432000 1073741824 1073778376 140735954434832 18446744073709551615 228134529945 0 4 0 16800975 18446604466705528832 0 0 -1 5 0 0 0
[pid=15696/tid=15713] ppid=15694 vsize=10554348 CPUtime=0 cores=1,3,5,7
/proc/15696/task/15713/stat : 15713 (java) S 15694 15696 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 855664110 10807652352 925765 33554432000 1073741824 1073778376 140735954434832 18446744073709551615 228134529945 0 4 0 16800975 18446604466705528832 0 0 -1 1 0 0 0
[pid=15696/tid=15714] ppid=15694 vsize=10554348 CPUtime=0 cores=1,3,5,7
/proc/15696/task/15714/stat : 15714 (java) S 15694 15696 15115 0 -1 4202560 47 0 0 0 0 0 0 0 15 0 22 0 855664110 10807652352 925765 33554432000 1073741824 1073778376 140735954434832 18446744073709551615 228134530560 0 4 0 16800975 18446604466705528832 0 0 -1 3 0 0 0
[pid=15696/tid=15715] ppid=15694 vsize=10554348 CPUtime=802.29 cores=1,3,5,7
/proc/15696/task/15715/stat : 15715 (java) R 15694 15696 15115 0 -1 4202560 2182 0 0 0 80229 0 0 0 25 0 22 0 855664312 10807652352 925765 33554432000 1073741824 1073778376 140735954434832 18446744073709551615 46912505951088 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=15696/tid=15716] ppid=15694 vsize=10554348 CPUtime=802.24 cores=1,3,5,7
/proc/15696/task/15716/stat : 15716 (java) R 15694 15696 15115 0 -1 4202560 619720 0 0 0 80160 64 0 0 25 0 22 0 855664312 10807652352 925765 33554432000 1073741824 1073778376 140735954434832 18446744073709551615 46912505830134 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=15696/tid=15717] ppid=15694 vsize=10554348 CPUtime=0 cores=1,3,5,7
/proc/15696/task/15717/stat : 15717 (java) S 15694 15696 15115 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 22 0 855664314 10807652352 925765 33554432000 1073741824 1073778376 140735954434832 18446744073709551615 228134530560 0 4 0 16800975 18446604466705528832 0 0 -1 1 0 0 0
[pid=15696/tid=15718] ppid=15694 vsize=10554348 CPUtime=0 cores=1,3,5,7
/proc/15696/task/15718/stat : 15718 (java) S 15694 15696 15115 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 855664316 10807652352 925765 33554432000 1073741824 1073778376 140735954434832 18446744073709551615 228134530560 0 4 0 16800975 18446604466705528832 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1630.56
Current children cumulated vsize (KiB) 10554348
[startup+882.301 s]
/proc/loadavg: 4.02 3.94 3.85 4/504 15804
/proc/meminfo: memFree=18741436/32951124 swapFree=41830676/67111528
[pid=15696] ppid=15694 vsize=10554348 CPUtime=1749.63 cores=1,3,5,7
/proc/15696/stat : 15696 (java) S 15694 15696 15115 0 -1 4202496 933903 0 1 0 174857 106 0 0 21 0 22 0 855664104 10807652352 925777 33554432000 1073741824 1073778376 140735954434832 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/15696/statm: 2638587 925777 2267 9 0 2629321 0
[pid=15696/tid=15697] ppid=15694 vsize=10554348 CPUtime=2.07 cores=1,3,5,7
/proc/15696/task/15697/stat : 15697 (java) S 15694 15696 15115 0 -1 4202560 215748 0 1 0 179 28 0 0 15 0 22 0 855664105 10807652352 925777 33554432000 1073741824 1073778376 140735954434832 18446744073709551615 228134530560 0 4 0 16800975 18446604466705528832 0 0 -1 3 0 0 0
[pid=15696/tid=15699] ppid=15694 vsize=10554348 CPUtime=0.74 cores=1,3,5,7
/proc/15696/task/15699/stat : 15699 (java) S 15694 15696 15115 0 -1 4202560 7722 0 0 0 73 1 0 0 16 0 22 0 855664106 10807652352 925777 33554432000 1073741824 1073778376 140735954434832 18446744073709551615 228134529945 0 4 0 16800975 18446604466705528832 0 0 -1 5 0 0 0
[pid=15696/tid=15700] ppid=15694 vsize=10554348 CPUtime=0.72 cores=1,3,5,7
/proc/15696/task/15700/stat : 15700 (java) S 15694 15696 15115 0 -1 4202560 3961 0 0 0 72 0 0 0 15 0 22 0 855664106 10807652352 925777 33554432000 1073741824 1073778376 140735954434832 18446744073709551615 228134529945 0 4 0 16800975 18446604466705528832 0 0 -1 5 0 0 0
[pid=15696/tid=15701] ppid=15694 vsize=10554348 CPUtime=0.59 cores=1,3,5,7
/proc/15696/task/15701/stat : 15701 (java) S 15694 15696 15115 0 -1 4202560 2923 0 0 0 59 0 0 0 16 0 22 0 855664106 10807652352 925777 33554432000 1073741824 1073778376 140735954434832 18446744073709551615 228134529945 0 4 0 16800975 18446604466705528832 0 0 -1 1 0 0 0
[pid=15696/tid=15702] ppid=15694 vsize=10554348 CPUtime=0.81 cores=1,3,5,7
/proc/15696/task/15702/stat : 15702 (java) S 15694 15696 15115 0 -1 4202560 8120 0 0 0 80 1 0 0 15 0 22 0 855664106 10807652352 925777 33554432000 1073741824 1073778376 140735954434832 18446744073709551615 228134529945 0 4 0 16800975 18446604466705528832 0 0 -1 3 0 0 0
[pid=15696/tid=15703] ppid=15694 vsize=10554348 CPUtime=0.78 cores=1,3,5,7
/proc/15696/task/15703/stat : 15703 (java) S 15694 15696 15115 0 -1 4202560 9804 0 0 0 77 1 0 0 15 0 22 0 855664106 10807652352 925777 33554432000 1073741824 1073778376 140735954434832 18446744073709551615 228134529945 0 4 0 16800975 18446604466705528832 0 0 -1 3 0 0 0
[pid=15696/tid=15704] ppid=15694 vsize=10554348 CPUtime=0.78 cores=1,3,5,7
/proc/15696/task/15704/stat : 15704 (java) S 15694 15696 15115 0 -1 4202560 7830 0 0 0 78 0 0 0 16 0 22 0 855664106 10807652352 925777 33554432000 1073741824 1073778376 140735954434832 18446744073709551615 228134529945 0 4 0 16800975 18446604466705528832 0 0 -1 7 0 0 0
[pid=15696/tid=15705] ppid=15694 vsize=10554348 CPUtime=0.6 cores=1,3,5,7
/proc/15696/task/15705/stat : 15705 (java) S 15694 15696 15115 0 -1 4202560 1885 0 0 0 60 0 0 0 16 0 22 0 855664106 10807652352 925777 33554432000 1073741824 1073778376 140735954434832 18446744073709551615 228134529945 0 4 0 16800975 18446604466705528832 0 0 -1 3 0 0 0
[pid=15696/tid=15706] ppid=15694 vsize=10554348 CPUtime=0.69 cores=1,3,5,7
/proc/15696/task/15706/stat : 15706 (java) S 15694 15696 15115 0 -1 4202560 2030 0 0 0 69 0 0 0 15 0 22 0 855664106 10807652352 925777 33554432000 1073741824 1073778376 140735954434832 18446744073709551615 228134529945 0 4 0 16800975 18446604466705528832 0 0 -1 7 0 0 0
[pid=15696/tid=15707] ppid=15694 vsize=10554348 CPUtime=17.41 cores=1,3,5,7
/proc/15696/task/15707/stat : 15707 (java) S 15694 15696 15115 0 -1 4202560 37682 0 0 0 1737 4 0 0 15 0 22 0 855664107 10807652352 925777 33554432000 1073741824 1073778376 140735954434832 18446744073709551615 228134530560 0 0 0 16800975 18446604466705528832 0 0 -1 5 0 0 0
[pid=15696/tid=15708] ppid=15694 vsize=10554348 CPUtime=0 cores=1,3,5,7
/proc/15696/task/15708/stat : 15708 (java) S 15694 15696 15115 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 855664108 10807652352 925777 33554432000 1073741824 1073778376 140735954434832 18446744073709551615 228134529945 0 4 0 16800975 18446604466705528832 0 0 -1 7 0 0 0
[pid=15696/tid=15709] ppid=15694 vsize=10554348 CPUtime=0 cores=1,3,5,7
/proc/15696/task/15709/stat : 15709 (java) S 15694 15696 15115 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 855664108 10807652352 925777 33554432000 1073741824 1073778376 140735954434832 18446744073709551615 228134529945 0 4 0 16800975 18446604466705528832 0 0 -1 7 0 0 0
[pid=15696/tid=15710] ppid=15694 vsize=10554348 CPUtime=0 cores=1,3,5,7
/proc/15696/task/15710/stat : 15710 (java) S 15694 15696 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 855664110 10807652352 925777 33554432000 1073741824 1073778376 140735954434832 18446744073709551615 228134537649 0 4 0 16800975 18446604466705528832 0 0 -1 1 0 0 0
[pid=15696/tid=15711] ppid=15694 vsize=10554348 CPUtime=1.05 cores=1,3,5,7
/proc/15696/task/15711/stat : 15711 (java) S 15694 15696 15115 0 -1 4202560 7068 0 0 0 104 1 0 0 16 0 22 0 855664110 10807652352 925777 33554432000 1073741824 1073778376 140735954434832 18446744073709551615 228134529945 0 4 0 16800975 18446604466705528832 0 0 -1 3 0 0 0
[pid=15696/tid=15712] ppid=15694 vsize=10554348 CPUtime=1.06 cores=1,3,5,7
/proc/15696/task/15712/stat : 15712 (java) S 15694 15696 15115 0 -1 4202560 6015 0 0 0 105 1 0 0 16 0 22 0 855664110 10807652352 925777 33554432000 1073741824 1073778376 140735954434832 18446744073709551615 228134529945 0 4 0 16800975 18446604466705528832 0 0 -1 5 0 0 0
[pid=15696/tid=15713] ppid=15694 vsize=10554348 CPUtime=0 cores=1,3,5,7
/proc/15696/task/15713/stat : 15713 (java) S 15694 15696 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 855664110 10807652352 925777 33554432000 1073741824 1073778376 140735954434832 18446744073709551615 228134529945 0 4 0 16800975 18446604466705528832 0 0 -1 1 0 0 0
[pid=15696/tid=15714] ppid=15694 vsize=10554348 CPUtime=0 cores=1,3,5,7
/proc/15696/task/15714/stat : 15714 (java) S 15694 15696 15115 0 -1 4202560 51 0 0 0 0 0 0 0 15 0 22 0 855664110 10807652352 925777 33554432000 1073741824 1073778376 140735954434832 18446744073709551615 228134530560 0 4 0 16800975 18446604466705528832 0 0 -1 3 0 0 0
[pid=15696/tid=15715] ppid=15694 vsize=10554348 CPUtime=861.12 cores=1,3,5,7
/proc/15696/task/15715/stat : 15715 (java) R 15694 15696 15115 0 -1 4202560 2185 0 0 0 86112 0 0 0 25 0 22 0 855664312 10807652352 925777 33554432000 1073741824 1073778376 140735954434832 18446744073709551615 46912505950915 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=15696/tid=15716] ppid=15694 vsize=10554348 CPUtime=861.07 cores=1,3,5,7
/proc/15696/task/15716/stat : 15716 (java) R 15694 15696 15115 0 -1 4202560 619722 0 0 0 86043 64 0 0 25 0 22 0 855664312 10807652352 925777 33554432000 1073741824 1073778376 140735954434832 18446744073709551615 46912505943432 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=15696/tid=15717] ppid=15694 vsize=10554348 CPUtime=0 cores=1,3,5,7
/proc/15696/task/15717/stat : 15717 (java) S 15694 15696 15115 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 22 0 855664314 10807652352 925777 33554432000 1073741824 1073778376 140735954434832 18446744073709551615 228134530560 0 4 0 16800975 18446604466705528832 0 0 -1 1 0 0 0
[pid=15696/tid=15718] ppid=15694 vsize=10554348 CPUtime=0 cores=1,3,5,7
/proc/15696/task/15718/stat : 15718 (java) S 15694 15696 15115 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 855664316 10807652352 925777 33554432000 1073741824 1073778376 140735954434832 18446744073709551615 228134530560 0 4 0 16800975 18446604466705528832 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1749.63
Current children cumulated vsize (KiB) 10554348
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+907.518 s]
/proc/loadavg: 4.01 3.95 3.85 5/504 15805
/proc/meminfo: memFree=18741440/32951124 swapFree=41830676/67111528
[pid=15696] ppid=15694 vsize=10554348 CPUtime=1800.15 cores=1,3,5,7
/proc/15696/stat : 15696 (java) S 15694 15696 15115 0 -1 4202496 933912 0 1 0 179909 106 0 0 21 0 22 0 855664104 10807652352 925780 33554432000 1073741824 1073778376 140735954434832 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/15696/statm: 2638587 925780 2267 9 0 2629321 0
[pid=15696/tid=15697] ppid=15694 vsize=10554348 CPUtime=2.07 cores=1,3,5,7
/proc/15696/task/15697/stat : 15697 (java) S 15694 15696 15115 0 -1 4202560 215748 0 1 0 179 28 0 0 15 0 22 0 855664105 10807652352 925780 33554432000 1073741824 1073778376 140735954434832 18446744073709551615 228134530560 0 4 0 16800975 18446604466705528832 0 0 -1 3 0 0 0
[pid=15696/tid=15699] ppid=15694 vsize=10554348 CPUtime=0.77 cores=1,3,5,7
/proc/15696/task/15699/stat : 15699 (java) S 15694 15696 15115 0 -1 4202560 7723 0 0 0 76 1 0 0 16 0 22 0 855664106 10807652352 925780 33554432000 1073741824 1073778376 140735954434832 18446744073709551615 228134529945 0 4 0 16800975 18446604466705528832 0 0 -1 1 0 0 0
[pid=15696/tid=15700] ppid=15694 vsize=10554348 CPUtime=0.72 cores=1,3,5,7
/proc/15696/task/15700/stat : 15700 (java) S 15694 15696 15115 0 -1 4202560 3961 0 0 0 72 0 0 0 15 0 22 0 855664106 10807652352 925780 33554432000 1073741824 1073778376 140735954434832 18446744073709551615 228134529945 0 4 0 16800975 18446604466705528832 0 0 -1 5 0 0 0
[pid=15696/tid=15701] ppid=15694 vsize=10554348 CPUtime=0.59 cores=1,3,5,7
/proc/15696/task/15701/stat : 15701 (java) S 15694 15696 15115 0 -1 4202560 2923 0 0 0 59 0 0 0 15 0 22 0 855664106 10807652352 925780 33554432000 1073741824 1073778376 140735954434832 18446744073709551615 228134529945 0 4 0 16800975 18446604466705528832 0 0 -1 1 0 0 0
[pid=15696/tid=15702] ppid=15694 vsize=10554348 CPUtime=0.84 cores=1,3,5,7
/proc/15696/task/15702/stat : 15702 (java) S 15694 15696 15115 0 -1 4202560 8122 0 0 0 83 1 0 0 16 0 22 0 855664106 10807652352 925780 33554432000 1073741824 1073778376 140735954434832 18446744073709551615 228134529945 0 4 0 16800975 18446604466705528832 0 0 -1 5 0 0 0
[pid=15696/tid=15703] ppid=15694 vsize=10554348 CPUtime=0.8 cores=1,3,5,7
/proc/15696/task/15703/stat : 15703 (java) S 15694 15696 15115 0 -1 4202560 9804 0 0 0 79 1 0 0 16 0 22 0 855664106 10807652352 925780 33554432000 1073741824 1073778376 140735954434832 18446744073709551615 228134529945 0 4 0 16800975 18446604466705528832 0 0 -1 3 0 0 0
[pid=15696/tid=15704] ppid=15694 vsize=10554348 CPUtime=0.78 cores=1,3,5,7
/proc/15696/task/15704/stat : 15704 (java) S 15694 15696 15115 0 -1 4202560 7830 0 0 0 78 0 0 0 15 0 22 0 855664106 10807652352 925780 33554432000 1073741824 1073778376 140735954434832 18446744073709551615 228134529945 0 4 0 16800975 18446604466705528832 0 0 -1 7 0 0 0
[pid=15696/tid=15705] ppid=15694 vsize=10554348 CPUtime=0.62 cores=1,3,5,7
/proc/15696/task/15705/stat : 15705 (java) S 15694 15696 15115 0 -1 4202560 1885 0 0 0 62 0 0 0 15 0 22 0 855664106 10807652352 925780 33554432000 1073741824 1073778376 140735954434832 18446744073709551615 228134529945 0 4 0 16800975 18446604466705528832 0 0 -1 5 0 0 0
[pid=15696/tid=15706] ppid=15694 vsize=10554348 CPUtime=0.73 cores=1,3,5,7
/proc/15696/task/15706/stat : 15706 (java) S 15694 15696 15115 0 -1 4202560 2030 0 0 0 73 0 0 0 16 0 22 0 855664106 10807652352 925780 33554432000 1073741824 1073778376 140735954434832 18446744073709551615 228134529945 0 4 0 16800975 18446604466705528832 0 0 -1 7 0 0 0
[pid=15696/tid=15707] ppid=15694 vsize=10554348 CPUtime=17.41 cores=1,3,5,7
/proc/15696/task/15707/stat : 15707 (java) S 15694 15696 15115 0 -1 4202560 37684 0 0 0 1737 4 0 0 15 0 22 0 855664107 10807652352 925780 33554432000 1073741824 1073778376 140735954434832 18446744073709551615 228134530560 0 0 0 16800975 18446604466705528832 0 0 -1 5 0 0 0
[pid=15696/tid=15708] ppid=15694 vsize=10554348 CPUtime=0 cores=1,3,5,7
/proc/15696/task/15708/stat : 15708 (java) S 15694 15696 15115 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 855664108 10807652352 925780 33554432000 1073741824 1073778376 140735954434832 18446744073709551615 228134529945 0 4 0 16800975 18446604466705528832 0 0 -1 7 0 0 0
[pid=15696/tid=15709] ppid=15694 vsize=10554348 CPUtime=0 cores=1,3,5,7
/proc/15696/task/15709/stat : 15709 (java) S 15694 15696 15115 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 855664108 10807652352 925780 33554432000 1073741824 1073778376 140735954434832 18446744073709551615 228134529945 0 4 0 16800975 18446604466705528832 0 0 -1 7 0 0 0
[pid=15696/tid=15710] ppid=15694 vsize=10554348 CPUtime=0 cores=1,3,5,7
/proc/15696/task/15710/stat : 15710 (java) S 15694 15696 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 855664110 10807652352 925780 33554432000 1073741824 1073778376 140735954434832 18446744073709551615 228134537649 0 4 0 16800975 18446604466705528832 0 0 -1 1 0 0 0
[pid=15696/tid=15711] ppid=15694 vsize=10554348 CPUtime=1.05 cores=1,3,5,7
/proc/15696/task/15711/stat : 15711 (java) S 15694 15696 15115 0 -1 4202560 7068 0 0 0 104 1 0 0 16 0 22 0 855664110 10807652352 925780 33554432000 1073741824 1073778376 140735954434832 18446744073709551615 228134529945 0 4 0 16800975 18446604466705528832 0 0 -1 3 0 0 0
[pid=15696/tid=15712] ppid=15694 vsize=10554348 CPUtime=1.06 cores=1,3,5,7
/proc/15696/task/15712/stat : 15712 (java) S 15694 15696 15115 0 -1 4202560 6015 0 0 0 105 1 0 0 16 0 22 0 855664110 10807652352 925780 33554432000 1073741824 1073778376 140735954434832 18446744073709551615 228134529945 0 4 0 16800975 18446604466705528832 0 0 -1 5 0 0 0
[pid=15696/tid=15713] ppid=15694 vsize=10554348 CPUtime=0 cores=1,3,5,7
/proc/15696/task/15713/stat : 15713 (java) S 15694 15696 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 855664110 10807652352 925780 33554432000 1073741824 1073778376 140735954434832 18446744073709551615 228134529945 0 4 0 16800975 18446604466705528832 0 0 -1 1 0 0 0
[pid=15696/tid=15714] ppid=15694 vsize=10554348 CPUtime=0 cores=1,3,5,7
/proc/15696/task/15714/stat : 15714 (java) S 15694 15696 15115 0 -1 4202560 53 0 0 0 0 0 0 0 15 0 22 0 855664110 10807652352 925780 33554432000 1073741824 1073778376 140735954434832 18446744073709551615 228134530560 0 4 0 16800975 18446604466705528832 0 0 -1 3 0 0 0
[pid=15696/tid=15715] ppid=15694 vsize=10554348 CPUtime=886.32 cores=1,3,5,7
/proc/15696/task/15715/stat : 15715 (java) R 15694 15696 15115 0 -1 4202560 2186 0 0 0 88632 0 0 0 25 0 22 0 855664312 10807652352 925780 33554432000 1073741824 1073778376 140735954434832 18446744073709551615 46912505980814 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=15696/tid=15716] ppid=15694 vsize=10554348 CPUtime=886.27 cores=1,3,5,7
/proc/15696/task/15716/stat : 15716 (java) R 15694 15696 15115 0 -1 4202560 619723 0 0 0 88563 64 0 0 25 0 22 0 855664312 10807652352 925780 33554432000 1073741824 1073778376 140735954434832 18446744073709551615 46912505942467 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=15696/tid=15717] ppid=15694 vsize=10554348 CPUtime=0 cores=1,3,5,7
/proc/15696/task/15717/stat : 15717 (java) S 15694 15696 15115 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 22 0 855664314 10807652352 925780 33554432000 1073741824 1073778376 140735954434832 18446744073709551615 228134530560 0 4 0 16800975 18446604466705528832 0 0 -1 1 0 0 0
[pid=15696/tid=15718] ppid=15694 vsize=10554348 CPUtime=0 cores=1,3,5,7
/proc/15696/task/15718/stat : 15718 (java) S 15694 15696 15115 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 855664316 10807652352 925780 33554432000 1073741824 1073778376 140735954434832 18446744073709551615 228134530560 0 4 0 16800975 18446604466705528832 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.15
Current children cumulated vsize (KiB) 10554348
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+907.624 s]
/proc/loadavg: 4.01 3.95 3.85 5/504 15805
/proc/meminfo: memFree=18741440/32951124 swapFree=41830676/67111528
[pid=15696] ppid=15694 vsize=0 CPUtime=1800.33 cores=1,3,5,7
/proc/15696/stat : 15696 (java) Z 15694 15696 15115 0 -1 4203548 933945 0 1 0 179921 112 0 0 17 0 2 0 855664104 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/15696/statm: 0 0 0 0 0 0 0
[pid=15696/tid=15715] ppid=15694 vsize=0 CPUtime=886.4 cores=1,3,5,7
/proc/15696/task/15715/stat : 15715 (java) R 15694 15696 15115 0 -1 4203588 2186 0 0 0 88635 5 0 0 25 0 2 0 855664312 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.33
Current children cumulated vsize (KiB) 0
[startup+907.701 s]
/proc/loadavg: 4.01 3.95 3.85 5/504 15805
/proc/meminfo: memFree=18741440/32951124 swapFree=41830676/67111528
[pid=15696] ppid=15694 vsize=0 CPUtime=1800.4 cores=1,3,5,7
/proc/15696/stat : 15696 (java) Z 15694 15696 15115 0 -1 4203548 933945 0 1 0 179921 119 0 0 17 0 2 0 855664104 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/15696/statm: 0 0 0 0 0 0 0
[pid=15696/tid=15715] ppid=15694 vsize=0 CPUtime=886.47 cores=1,3,5,7
/proc/15696/task/15715/stat : 15715 (java) R 15694 15696 15115 0 -1 4203588 2186 0 0 0 88635 12 0 0 25 0 2 0 855664312 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.4
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 907.709
CPU time (s): 1800.42
CPU user time (s): 1799.21
CPU system time (s): 1.20482
CPU usage (%): 198.348
Max. virtual memory (cumulated for all children) (KiB): 10557724
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.21
system time used= 1.20482
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 933945
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= 24708
involuntary context switches= 15992
runsolver used 4.24635 second user time and 9.8355 second system time
The end