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-3455839-1307227591/watcher-3455839-1307227591 -o /tmp/evaluation-result-3455839-1307227591/solver-3455839-1307227591 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3455839-1307227591.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.02 2.00 2/482 21573
/proc/meminfo: memFree=26340904/32950928 swapFree=45617076/67111528
[pid=21573] ppid=21571 vsize=10430980 CPUtime=0 cores=1,3,5,7
/proc/21573/stat : 21573 (java) S 21571 21573 20455 0 -1 4202496 2196 0 1 0 0 0 0 0 25 0 2 0 834358950 10681323520 1897 33554432000 1073741824 1073778376 140734034807488 18446744073709551615 248101500901 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0
/proc/21573/statm: 2607745 1909 906 9 0 2598901 0
[pid=21573/tid=21574] ppid=21571 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/21573/task/21574/stat : 21574 (java) R 21571 21573 20455 0 -1 4202560 4482 0 1 0 0 0 0 0 25 0 2 0 834358951 10694979584 5299 33554432000 1073741824 1073778376 140734034807488 18446744073709551615 248089392187 0 4 0 16784584 0 0 0 -1 1 0 0 0
[startup+0.077022 s]
/proc/loadavg: 2.00 2.02 2.00 2/482 21573
/proc/meminfo: memFree=26340904/32950928 swapFree=45617076/67111528
[pid=21573] ppid=21571 vsize=10473088 CPUtime=0.06 cores=1,3,5,7
/proc/21573/stat : 21573 (java) S 21571 21573 20455 0 -1 4202496 11934 0 1 0 5 1 0 0 25 0 18 0 834358950 10724442112 11630 33554432000 1073741824 1073778376 140734034807488 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/21573/statm: 2618272 11630 1754 9 0 2609006 0
[pid=21573/tid=21574] ppid=21571 vsize=10473088 CPUtime=0.06 cores=1,3,5,7
/proc/21573/task/21574/stat : 21574 (java) R 21571 21573 20455 0 -1 4202560 10760 0 1 0 5 1 0 0 22 0 18 0 834358951 10724442112 11631 33554432000 1073741824 1073778376 140734034807488 18446744073709551615 47188522738741 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 10473088
[startup+0.107003 s]
/proc/loadavg: 2.00 2.02 2.00 2/482 21573
/proc/meminfo: memFree=26340904/32950928 swapFree=45617076/67111528
[pid=21573] ppid=21571 vsize=10540116 CPUtime=0.1 cores=1,3,5,7
/proc/21573/stat : 21573 (java) S 21571 21573 20455 0 -1 4202496 13102 0 1 0 9 1 0 0 25 0 18 0 834358950 10793078784 12798 33554432000 1073741824 1073778376 140734034807488 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/21573/statm: 2635029 12798 2092 9 0 2625763 0
[pid=21573/tid=21574] ppid=21571 vsize=10540116 CPUtime=0.09 cores=1,3,5,7
/proc/21573/task/21574/stat : 21574 (java) R 21571 21573 20455 0 -1 4202560 11211 0 1 0 8 1 0 0 22 0 18 0 834358951 10793078784 12798 33554432000 1073741824 1073778376 140734034807488 18446744073709551615 47188524034899 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540116
[startup+0.300921 s]
/proc/loadavg: 2.00 2.02 2.00 2/482 21573
/proc/meminfo: memFree=26340904/32950928 swapFree=45617076/67111528
[pid=21573] ppid=21571 vsize=10542124 CPUtime=0.48 cores=1,3,5,7
/proc/21573/stat : 21573 (java) S 21571 21573 20455 0 -1 4202496 15617 0 1 0 46 2 0 0 25 0 18 0 834358950 10795134976 15139 33554432000 1073741824 1073778376 140734034807488 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/21573/statm: 2635531 15139 2217 9 0 2626265 0
[pid=21573/tid=21574] ppid=21571 vsize=10542124 CPUtime=0.28 cores=1,3,5,7
/proc/21573/task/21574/stat : 21574 (java) R 21571 21573 20455 0 -1 4202560 12839 0 1 0 27 1 0 0 22 0 18 0 834358951 10795134976 15140 33554432000 1073741824 1073778376 140734034807488 18446744073709551615 47188524034868 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 10542124
[startup+0.700853 s]
/proc/loadavg: 2.00 2.02 2.00 2/482 21573
/proc/meminfo: memFree=26340904/32950928 swapFree=45617076/67111528
[pid=21573] ppid=21571 vsize=10552432 CPUtime=1.54 cores=1,3,5,7
/proc/21573/stat : 21573 (java) S 21571 21573 20455 0 -1 4202496 42322 0 1 0 149 5 0 0 25 0 18 0 834358950 10805690368 39611 33554432000 1073741824 1073778376 140734034807488 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/21573/statm: 2638108 39616 2227 9 0 2628842 0
[pid=21573/tid=21574] ppid=21571 vsize=10552432 CPUtime=0.68 cores=1,3,5,7
/proc/21573/task/21574/stat : 21574 (java) R 21571 21573 20455 0 -1 4202560 33081 0 1 0 64 4 0 0 18 0 18 0 834358951 10805690368 39619 33554432000 1073741824 1073778376 140734034807488 18446744073709551615 46912505710619 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.54
Current children cumulated vsize (KiB) 10552432
[startup+1.50071 s]
/proc/loadavg: 2.00 2.02 2.00 3/501 21592
/proc/meminfo: memFree=26149520/32950928 swapFree=45617076/67111528
[pid=21573] ppid=21571 vsize=10553460 CPUtime=2.79 cores=1,3,5,7
/proc/21573/stat : 21573 (java) S 21571 21573 20455 0 -1 4202496 63643 0 1 0 271 8 0 0 25 0 19 0 834358950 10806743040 59593 33554432000 1073741824 1073778376 140734034807488 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/21573/statm: 2638365 59593 2235 9 0 2629099 0
[pid=21573/tid=21574] ppid=21571 vsize=10553460 CPUtime=1.48 cores=1,3,5,7
/proc/21573/task/21574/stat : 21574 (java) R 21571 21573 20455 0 -1 4202560 52981 0 1 0 141 7 0 0 19 0 19 0 834358951 10806743040 59593 33554432000 1073741824 1073778376 140734034807488 18446744073709551615 46912506035627 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=21573/tid=21576] ppid=21571 vsize=10553460 CPUtime=0 cores=1,3,5,7
/proc/21573/task/21576/stat : 21576 (java) S 21571 21573 20455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834358952 10806743040 59593 33554432000 1073741824 1073778376 140734034807488 18446744073709551615 248101514137 0 4 0 16800975 18446604461616500864 0 0 -1 7 0 0 0
[pid=21573/tid=21577] ppid=21571 vsize=10553460 CPUtime=0 cores=1,3,5,7
/proc/21573/task/21577/stat : 21577 (java) S 21571 21573 20455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834358952 10806743040 59593 33554432000 1073741824 1073778376 140734034807488 18446744073709551615 248101514137 0 4 0 16800975 18446604461616500864 0 0 -1 7 0 0 0
[pid=21573/tid=21578] ppid=21571 vsize=10553460 CPUtime=0 cores=1,3,5,7
/proc/21573/task/21578/stat : 21578 (java) S 21571 21573 20455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834358952 10806743040 59593 33554432000 1073741824 1073778376 140734034807488 18446744073709551615 248101514137 0 4 0 16800975 18446604461616500864 0 0 -1 7 0 0 0
[pid=21573/tid=21579] ppid=21571 vsize=10553460 CPUtime=0 cores=1,3,5,7
/proc/21573/task/21579/stat : 21579 (java) S 21571 21573 20455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834358952 10806743040 59593 33554432000 1073741824 1073778376 140734034807488 18446744073709551615 248101514137 0 4 0 16800975 18446604461616500864 0 0 -1 7 0 0 0
[pid=21573/tid=21580] ppid=21571 vsize=10553460 CPUtime=0 cores=1,3,5,7
/proc/21573/task/21580/stat : 21580 (java) S 21571 21573 20455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834358952 10806743040 59593 33554432000 1073741824 1073778376 140734034807488 18446744073709551615 248101514137 0 4 0 16800975 18446604461616500864 0 0 -1 7 0 0 0
[pid=21573/tid=21581] ppid=21571 vsize=10553460 CPUtime=0 cores=1,3,5,7
/proc/21573/task/21581/stat : 21581 (java) S 21571 21573 20455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834358952 10806743040 59593 33554432000 1073741824 1073778376 140734034807488 18446744073709551615 248101514137 0 4 0 16800975 18446604461616500864 0 0 -1 7 0 0 0
[pid=21573/tid=21582] ppid=21571 vsize=10553460 CPUtime=0 cores=1,3,5,7
/proc/21573/task/21582/stat : 21582 (java) S 21571 21573 20455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834358952 10806743040 59593 33554432000 1073741824 1073778376 140734034807488 18446744073709551615 248101514137 0 4 0 16800975 18446604461616500864 0 0 -1 7 0 0 0
[pid=21573/tid=21583] ppid=21571 vsize=10553460 CPUtime=0 cores=1,3,5,7
/proc/21573/task/21583/stat : 21583 (java) S 21571 21573 20455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834358952 10806743040 59593 33554432000 1073741824 1073778376 140734034807488 18446744073709551615 248101514137 0 4 0 16800975 18446604461616500864 0 0 -1 7 0 0 0
[pid=21573/tid=21584] ppid=21571 vsize=10553460 CPUtime=0 cores=1,3,5,7
/proc/21573/task/21584/stat : 21584 (java) S 21571 21573 20455 0 -1 4202560 4 0 0 0 0 0 0 0 18 0 19 0 834358953 10806743040 59593 33554432000 1073741824 1073778376 140734034807488 18446744073709551615 248101514752 0 0 0 16800975 18446604461616500864 0 0 -1 1 0 0 0
[pid=21573/tid=21585] ppid=21571 vsize=10553460 CPUtime=0 cores=1,3,5,7
/proc/21573/task/21585/stat : 21585 (java) S 21571 21573 20455 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 834358954 10806743040 59593 33554432000 1073741824 1073778376 140734034807488 18446744073709551615 248101514137 0 4 0 16800975 18446604461616500864 0 0 -1 1 0 0 0
[pid=21573/tid=21586] ppid=21571 vsize=10553460 CPUtime=0 cores=1,3,5,7
/proc/21573/task/21586/stat : 21586 (java) S 21571 21573 20455 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 834358954 10806743040 59593 33554432000 1073741824 1073778376 140734034807488 18446744073709551615 248101514137 0 4 0 16800975 18446604461616500864 0 0 -1 1 0 0 0
[pid=21573/tid=21587] ppid=21571 vsize=10553460 CPUtime=0 cores=1,3,5,7
/proc/21573/task/21587/stat : 21587 (java) S 21571 21573 20455 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 834358956 10806743040 59594 33554432000 1073741824 1073778376 140734034807488 18446744073709551615 248101521841 0 4 0 16800975 18446604461616500864 0 0 -1 1 0 0 0
[pid=21573/tid=21588] ppid=21571 vsize=10553460 CPUtime=0.61 cores=1,3,5,7
/proc/21573/task/21588/stat : 21588 (java) S 21571 21573 20455 0 -1 4202560 3961 0 0 0 61 0 0 0 15 0 19 0 834358956 10806743040 59594 33554432000 1073741824 1073778376 140734034807488 18446744073709551615 248101514137 0 4 0 16800975 18446604461616500864 0 0 -1 3 0 0 0
[pid=21573/tid=21589] ppid=21571 vsize=10553460 CPUtime=0.68 cores=1,3,5,7
/proc/21573/task/21589/stat : 21589 (java) S 21571 21573 20455 0 -1 4202560 5541 0 0 0 68 0 0 0 16 0 19 0 834358956 10806743040 59594 33554432000 1073741824 1073778376 140734034807488 18446744073709551615 248101514137 0 4 0 16800975 18446604461616500864 0 0 -1 1 0 0 0
[pid=21573/tid=21590] ppid=21571 vsize=10553460 CPUtime=0 cores=1,3,5,7
/proc/21573/task/21590/stat : 21590 (java) S 21571 21573 20455 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 834358956 10806743040 59594 33554432000 1073741824 1073778376 140734034807488 18446744073709551615 248101514137 0 4 0 16800975 18446604461616500864 0 0 -1 1 0 0 0
[pid=21573/tid=21591] ppid=21571 vsize=10553460 CPUtime=0 cores=1,3,5,7
/proc/21573/task/21591/stat : 21591 (java) S 21571 21573 20455 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 834358956 10806743040 59594 33554432000 1073741824 1073778376 140734034807488 18446744073709551615 248101514752 0 4 0 16800975 18446604461616500864 0 0 -1 7 0 0 0
[pid=21573/tid=21592] ppid=21571 vsize=10553460 CPUtime=0 cores=1,3,5,7
/proc/21573/task/21592/stat : 21592 (java) S 21571 21573 20455 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 834359031 10806743040 59594 33554432000 1073741824 1073778376 140734034807488 18446744073709551615 248101514752 0 4 0 16800975 18446604461616500864 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.79
Current children cumulated vsize (KiB) 10553460
[startup+3.10142 s]
/proc/loadavg: 2.00 2.02 2.00 5/501 21592
/proc/meminfo: memFree=26077476/32950928 swapFree=45617076/67111528
[pid=21573] ppid=21571 vsize=10553460 CPUtime=4.5 cores=1,3,5,7
/proc/21573/stat : 21573 (java) S 21571 21573 20455 0 -1 4202496 82285 0 1 0 441 9 0 0 25 0 19 0 834358950 10806743040 78234 33554432000 1073741824 1073778376 140734034807488 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/21573/statm: 2638365 78234 2235 9 0 2629099 0
[pid=21573/tid=21574] ppid=21571 vsize=10553460 CPUtime=3.08 cores=1,3,5,7
/proc/21573/task/21574/stat : 21574 (java) R 21571 21573 20455 0 -1 4202560 71581 0 1 0 300 8 0 0 25 0 19 0 834358951 10806743040 78234 33554432000 1073741824 1073778376 140734034807488 18446744073709551615 46912506035798 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=21573/tid=21576] ppid=21571 vsize=10553460 CPUtime=0 cores=1,3,5,7
/proc/21573/task/21576/stat : 21576 (java) S 21571 21573 20455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834358952 10806743040 78234 33554432000 1073741824 1073778376 140734034807488 18446744073709551615 248101514137 0 4 0 16800975 18446604461616500864 0 0 -1 7 0 0 0
[pid=21573/tid=21577] ppid=21571 vsize=10553460 CPUtime=0 cores=1,3,5,7
/proc/21573/task/21577/stat : 21577 (java) S 21571 21573 20455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834358952 10806743040 78234 33554432000 1073741824 1073778376 140734034807488 18446744073709551615 248101514137 0 4 0 16800975 18446604461616500864 0 0 -1 7 0 0 0
[pid=21573/tid=21578] ppid=21571 vsize=10553460 CPUtime=0 cores=1,3,5,7
/proc/21573/task/21578/stat : 21578 (java) S 21571 21573 20455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834358952 10806743040 78234 33554432000 1073741824 1073778376 140734034807488 18446744073709551615 248101514137 0 4 0 16800975 18446604461616500864 0 0 -1 7 0 0 0
[pid=21573/tid=21579] ppid=21571 vsize=10553460 CPUtime=0 cores=1,3,5,7
/proc/21573/task/21579/stat : 21579 (java) S 21571 21573 20455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834358952 10806743040 78234 33554432000 1073741824 1073778376 140734034807488 18446744073709551615 248101514137 0 4 0 16800975 18446604461616500864 0 0 -1 7 0 0 0
[pid=21573/tid=21580] ppid=21571 vsize=10553460 CPUtime=0 cores=1,3,5,7
/proc/21573/task/21580/stat : 21580 (java) S 21571 21573 20455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834358952 10806743040 78234 33554432000 1073741824 1073778376 140734034807488 18446744073709551615 248101514137 0 4 0 16800975 18446604461616500864 0 0 -1 7 0 0 0
[pid=21573/tid=21581] ppid=21571 vsize=10553460 CPUtime=0 cores=1,3,5,7
/proc/21573/task/21581/stat : 21581 (java) S 21571 21573 20455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834358952 10806743040 78234 33554432000 1073741824 1073778376 140734034807488 18446744073709551615 248101514137 0 4 0 16800975 18446604461616500864 0 0 -1 7 0 0 0
[pid=21573/tid=21582] ppid=21571 vsize=10553460 CPUtime=0 cores=1,3,5,7
/proc/21573/task/21582/stat : 21582 (java) S 21571 21573 20455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834358952 10806743040 78234 33554432000 1073741824 1073778376 140734034807488 18446744073709551615 248101514137 0 4 0 16800975 18446604461616500864 0 0 -1 7 0 0 0
[pid=21573/tid=21583] ppid=21571 vsize=10553460 CPUtime=0 cores=1,3,5,7
/proc/21573/task/21583/stat : 21583 (java) S 21571 21573 20455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834358952 10806743040 78234 33554432000 1073741824 1073778376 140734034807488 18446744073709551615 248101514137 0 4 0 16800975 18446604461616500864 0 0 -1 7 0 0 0
[pid=21573/tid=21584] ppid=21571 vsize=10553460 CPUtime=0 cores=1,3,5,7
/proc/21573/task/21584/stat : 21584 (java) S 21571 21573 20455 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 834358953 10806743040 78234 33554432000 1073741824 1073778376 140734034807488 18446744073709551615 248101514752 0 0 0 16800975 18446604461616500864 0 0 -1 1 0 0 0
[pid=21573/tid=21585] ppid=21571 vsize=10553460 CPUtime=0 cores=1,3,5,7
/proc/21573/task/21585/stat : 21585 (java) S 21571 21573 20455 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 834358954 10806743040 78234 33554432000 1073741824 1073778376 140734034807488 18446744073709551615 248101514137 0 4 0 16800975 18446604461616500864 0 0 -1 1 0 0 0
[pid=21573/tid=21586] ppid=21571 vsize=10553460 CPUtime=0 cores=1,3,5,7
/proc/21573/task/21586/stat : 21586 (java) S 21571 21573 20455 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 834358954 10806743040 78234 33554432000 1073741824 1073778376 140734034807488 18446744073709551615 248101514137 0 4 0 16800975 18446604461616500864 0 0 -1 1 0 0 0
[pid=21573/tid=21587] ppid=21571 vsize=10553460 CPUtime=0 cores=1,3,5,7
/proc/21573/task/21587/stat : 21587 (java) S 21571 21573 20455 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 834358956 10806743040 78234 33554432000 1073741824 1073778376 140734034807488 18446744073709551615 248101521841 0 4 0 16800975 18446604461616500864 0 0 -1 1 0 0 0
[pid=21573/tid=21588] ppid=21571 vsize=10553460 CPUtime=0.71 cores=1,3,5,7
/proc/21573/task/21588/stat : 21588 (java) S 21571 21573 20455 0 -1 4202560 4000 0 0 0 71 0 0 0 15 0 19 0 834358956 10806743040 78234 33554432000 1073741824 1073778376 140734034807488 18446744073709551615 248101514137 0 4 0 16800975 18446604461616500864 0 0 -1 3 0 0 0
[pid=21573/tid=21589] ppid=21571 vsize=10553460 CPUtime=0.69 cores=1,3,5,7
/proc/21573/task/21589/stat : 21589 (java) S 21571 21573 20455 0 -1 4202560 5543 0 0 0 69 0 0 0 15 0 19 0 834358956 10806743040 78235 33554432000 1073741824 1073778376 140734034807488 18446744073709551615 248101514137 0 4 0 16800975 18446604461616500864 0 0 -1 1 0 0 0
[pid=21573/tid=21590] ppid=21571 vsize=10553460 CPUtime=0 cores=1,3,5,7
/proc/21573/task/21590/stat : 21590 (java) S 21571 21573 20455 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 834358956 10806743040 78235 33554432000 1073741824 1073778376 140734034807488 18446744073709551615 248101514137 0 4 0 16800975 18446604461616500864 0 0 -1 1 0 0 0
[pid=21573/tid=21591] ppid=21571 vsize=10553460 CPUtime=0 cores=1,3,5,7
/proc/21573/task/21591/stat : 21591 (java) S 21571 21573 20455 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 834358956 10806743040 78235 33554432000 1073741824 1073778376 140734034807488 18446744073709551615 248101514752 0 4 0 16800975 18446604461616500864 0 0 -1 7 0 0 0
[pid=21573/tid=21592] ppid=21571 vsize=10553460 CPUtime=0 cores=1,3,5,7
/proc/21573/task/21592/stat : 21592 (java) S 21571 21573 20455 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 834359031 10806743040 78235 33554432000 1073741824 1073778376 140734034807488 18446744073709551615 248101514752 0 4 0 16800975 18446604461616500864 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4.5
Current children cumulated vsize (KiB) 10553460
[startup+6.30086 s]
/proc/loadavg: 2.00 2.02 2.00 4/501 21592
/proc/meminfo: memFree=25902264/32950928 swapFree=45617076/67111528
[pid=21573] ppid=21571 vsize=10553460 CPUtime=7.84 cores=1,3,5,7
/proc/21573/stat : 21573 (java) S 21571 21573 20455 0 -1 4202496 131521 0 1 0 769 15 0 0 25 0 19 0 834358950 10806743040 127451 33554432000 1073741824 1073778376 140734034807488 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/21573/statm: 2638365 127451 2237 9 0 2629099 0
[pid=21573/tid=21574] ppid=21571 vsize=10553460 CPUtime=6.28 cores=1,3,5,7
/proc/21573/task/21574/stat : 21574 (java) R 21571 21573 20455 0 -1 4202560 120791 0 1 0 614 14 0 0 25 0 19 0 834358951 10806743040 127451 33554432000 1073741824 1073778376 140734034807488 18446744073709551615 46912506035811 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=21573/tid=21576] ppid=21571 vsize=10553460 CPUtime=0 cores=1,3,5,7
/proc/21573/task/21576/stat : 21576 (java) S 21571 21573 20455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834358952 10806743040 127451 33554432000 1073741824 1073778376 140734034807488 18446744073709551615 248101514137 0 4 0 16800975 18446604461616500864 0 0 -1 7 0 0 0
[pid=21573/tid=21577] ppid=21571 vsize=10553460 CPUtime=0 cores=1,3,5,7
/proc/21573/task/21577/stat : 21577 (java) S 21571 21573 20455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834358952 10806743040 127451 33554432000 1073741824 1073778376 140734034807488 18446744073709551615 248101514137 0 4 0 16800975 18446604461616500864 0 0 -1 7 0 0 0
[pid=21573/tid=21578] ppid=21571 vsize=10553460 CPUtime=0 cores=1,3,5,7
/proc/21573/task/21578/stat : 21578 (java) S 21571 21573 20455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834358952 10806743040 127451 33554432000 1073741824 1073778376 140734034807488 18446744073709551615 248101514137 0 4 0 16800975 18446604461616500864 0 0 -1 7 0 0 0
[pid=21573/tid=21579] ppid=21571 vsize=10553460 CPUtime=0 cores=1,3,5,7
/proc/21573/task/21579/stat : 21579 (java) S 21571 21573 20455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834358952 10806743040 127451 33554432000 1073741824 1073778376 140734034807488 18446744073709551615 248101514137 0 4 0 16800975 18446604461616500864 0 0 -1 7 0 0 0
[pid=21573/tid=21580] ppid=21571 vsize=10553460 CPUtime=0 cores=1,3,5,7
/proc/21573/task/21580/stat : 21580 (java) S 21571 21573 20455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834358952 10806743040 127451 33554432000 1073741824 1073778376 140734034807488 18446744073709551615 248101514137 0 4 0 16800975 18446604461616500864 0 0 -1 7 0 0 0
[pid=21573/tid=21581] ppid=21571 vsize=10553460 CPUtime=0 cores=1,3,5,7
/proc/21573/task/21581/stat : 21581 (java) S 21571 21573 20455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834358952 10806743040 127451 33554432000 1073741824 1073778376 140734034807488 18446744073709551615 248101514137 0 4 0 16800975 18446604461616500864 0 0 -1 7 0 0 0
[pid=21573/tid=21582] ppid=21571 vsize=10553460 CPUtime=0 cores=1,3,5,7
/proc/21573/task/21582/stat : 21582 (java) S 21571 21573 20455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834358952 10806743040 127451 33554432000 1073741824 1073778376 140734034807488 18446744073709551615 248101514137 0 4 0 16800975 18446604461616500864 0 0 -1 7 0 0 0
[pid=21573/tid=21583] ppid=21571 vsize=10553460 CPUtime=0 cores=1,3,5,7
/proc/21573/task/21583/stat : 21583 (java) S 21571 21573 20455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834358952 10806743040 127451 33554432000 1073741824 1073778376 140734034807488 18446744073709551615 248101514137 0 4 0 16800975 18446604461616500864 0 0 -1 7 0 0 0
[pid=21573/tid=21584] ppid=21571 vsize=10553460 CPUtime=0 cores=1,3,5,7
/proc/21573/task/21584/stat : 21584 (java) S 21571 21573 20455 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 834358953 10806743040 127451 33554432000 1073741824 1073778376 140734034807488 18446744073709551615 248101514752 0 0 0 16800975 18446604461616500864 0 0 -1 1 0 0 0
[pid=21573/tid=21585] ppid=21571 vsize=10553460 CPUtime=0 cores=1,3,5,7
/proc/21573/task/21585/stat : 21585 (java) S 21571 21573 20455 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 834358954 10806743040 127451 33554432000 1073741824 1073778376 140734034807488 18446744073709551615 248101514137 0 4 0 16800975 18446604461616500864 0 0 -1 1 0 0 0
[pid=21573/tid=21586] ppid=21571 vsize=10553460 CPUtime=0 cores=1,3,5,7
/proc/21573/task/21586/stat : 21586 (java) S 21571 21573 20455 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 834358954 10806743040 127451 33554432000 1073741824 1073778376 140734034807488 18446744073709551615 248101514137 0 4 0 16800975 18446604461616500864 0 0 -1 1 0 0 0
[pid=21573/tid=21587] ppid=21571 vsize=10553460 CPUtime=0 cores=1,3,5,7
/proc/21573/task/21587/stat : 21587 (java) S 21571 21573 20455 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 834358956 10806743040 127451 33554432000 1073741824 1073778376 140734034807488 18446744073709551615 248101521841 0 4 0 16800975 18446604461616500864 0 0 -1 1 0 0 0
[pid=21573/tid=21588] ppid=21571 vsize=10553460 CPUtime=0.77 cores=1,3,5,7
/proc/21573/task/21588/stat : 21588 (java) S 21571 21573 20455 0 -1 4202560 4013 0 0 0 77 0 0 0 15 0 19 0 834358956 10806743040 127451 33554432000 1073741824 1073778376 140734034807488 18446744073709551615 248101514137 0 4 0 16800975 18446604461616500864 0 0 -1 3 0 0 0
[pid=21573/tid=21589] ppid=21571 vsize=10553460 CPUtime=0.77 cores=1,3,5,7
/proc/21573/task/21589/stat : 21589 (java) S 21571 21573 20455 0 -1 4202560 5555 0 0 0 77 0 0 0 15 0 19 0 834358956 10806743040 127451 33554432000 1073741824 1073778376 140734034807488 18446744073709551615 248101514137 0 4 0 16800975 18446604461616500864 0 0 -1 1 0 0 0
################
# More data... #
################
/proc/21573/task/21585/stat : 21585 (java) S 21571 21573 20455 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 834358954 10806743040 1072655 33554432000 1073741824 1073778376 140734034807488 18446744073709551615 248101514137 0 4 0 16800975 18446604461616500864 0 0 -1 1 0 0 0
[pid=21573/tid=21586] ppid=21571 vsize=10553460 CPUtime=0 cores=1,3,5,7
/proc/21573/task/21586/stat : 21586 (java) S 21571 21573 20455 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 834358954 10806743040 1072655 33554432000 1073741824 1073778376 140734034807488 18446744073709551615 248101514137 0 4 0 16800975 18446604461616500864 0 0 -1 1 0 0 0
[pid=21573/tid=21587] ppid=21571 vsize=10553460 CPUtime=0 cores=1,3,5,7
/proc/21573/task/21587/stat : 21587 (java) S 21571 21573 20455 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 834358956 10806743040 1072655 33554432000 1073741824 1073778376 140734034807488 18446744073709551615 248101521841 0 4 0 16800975 18446604461616500864 0 0 -1 1 0 0 0
[pid=21573/tid=21588] ppid=21571 vsize=10553460 CPUtime=0.94 cores=1,3,5,7
/proc/21573/task/21588/stat : 21588 (java) S 21571 21573 20455 0 -1 4202560 4040 0 0 0 94 0 0 0 16 0 19 0 834358956 10806743040 1072655 33554432000 1073741824 1073778376 140734034807488 18446744073709551615 248101514137 0 4 0 16800975 18446604461616500864 0 0 -1 3 0 0 0
[pid=21573/tid=21589] ppid=21571 vsize=10553460 CPUtime=0.94 cores=1,3,5,7
/proc/21573/task/21589/stat : 21589 (java) S 21571 21573 20455 0 -1 4202560 5599 0 0 0 94 0 0 0 15 0 19 0 834358956 10806743040 1072655 33554432000 1073741824 1073778376 140734034807488 18446744073709551615 248101514137 0 4 0 16800975 18446604461616500864 0 0 -1 1 0 0 0
[pid=21573/tid=21590] ppid=21571 vsize=10553460 CPUtime=0 cores=1,3,5,7
/proc/21573/task/21590/stat : 21590 (java) S 21571 21573 20455 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 834358956 10806743040 1072655 33554432000 1073741824 1073778376 140734034807488 18446744073709551615 248101514137 0 4 0 16800975 18446604461616500864 0 0 -1 1 0 0 0
[pid=21573/tid=21591] ppid=21571 vsize=10553460 CPUtime=0 cores=1,3,5,7
/proc/21573/task/21591/stat : 21591 (java) S 21571 21573 20455 0 -1 4202560 96 0 0 0 0 0 0 0 15 0 19 0 834358956 10806743040 1072655 33554432000 1073741824 1073778376 140734034807488 18446744073709551615 248101514752 0 4 0 16800975 18446604461616500864 0 0 -1 3 0 0 0
[pid=21573/tid=21592] ppid=21571 vsize=10553460 CPUtime=0 cores=1,3,5,7
/proc/21573/task/21592/stat : 21592 (java) S 21571 21573 20455 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 834359031 10806743040 1072655 33554432000 1073741824 1073778376 140734034807488 18446744073709551615 248101514752 0 4 0 16800975 18446604461616500864 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1668.35
Current children cumulated vsize (KiB) 10553460
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/501 21698
/proc/meminfo: memFree=21714296/32950928 swapFree=45617076/67111528
[pid=21573] ppid=21571 vsize=10553460 CPUtime=1728.44 cores=1,3,5,7
/proc/21573/stat : 21573 (java) S 21571 21573 20455 0 -1 4202496 1118421 0 1 0 172701 143 0 0 25 0 19 0 834358950 10806743040 1072740 33554432000 1073741824 1073778376 140734034807488 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/21573/statm: 2638365 1072740 2251 9 0 2629099 0
[pid=21573/tid=21574] ppid=21571 vsize=10553460 CPUtime=1720.47 cores=1,3,5,7
/proc/21573/task/21574/stat : 21574 (java) R 21571 21573 20455 0 -1 4202560 651233 0 1 0 171976 71 0 0 25 0 19 0 834358951 10806743040 1072740 33554432000 1073741824 1073778376 140734034807488 18446744073709551615 46912505994080 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=21573/tid=21576] ppid=21571 vsize=10553460 CPUtime=0.94 cores=1,3,5,7
/proc/21573/task/21576/stat : 21576 (java) S 21571 21573 20455 0 -1 4202560 73226 0 0 0 84 10 0 0 16 0 19 0 834358952 10806743040 1072740 33554432000 1073741824 1073778376 140734034807488 18446744073709551615 248101514137 0 4 0 16800975 18446604461616500864 0 0 -1 1 0 0 0
[pid=21573/tid=21577] ppid=21571 vsize=10553460 CPUtime=0.87 cores=1,3,5,7
/proc/21573/task/21577/stat : 21577 (java) S 21571 21573 20455 0 -1 4202560 63351 0 0 0 78 9 0 0 15 0 19 0 834358952 10806743040 1072740 33554432000 1073741824 1073778376 140734034807488 18446744073709551615 248101514137 0 4 0 16800975 18446604461616500864 0 0 -1 1 0 0 0
[pid=21573/tid=21578] ppid=21571 vsize=10553460 CPUtime=0.59 cores=1,3,5,7
/proc/21573/task/21578/stat : 21578 (java) S 21571 21573 20455 0 -1 4202560 37103 0 0 0 52 7 0 0 16 0 19 0 834358952 10806743040 1072740 33554432000 1073741824 1073778376 140734034807488 18446744073709551615 248101514137 0 4 0 16800975 18446604461616500864 0 0 -1 3 0 0 0
[pid=21573/tid=21579] ppid=21571 vsize=10553460 CPUtime=0.63 cores=1,3,5,7
/proc/21573/task/21579/stat : 21579 (java) S 21571 21573 20455 0 -1 4202560 39392 0 0 0 58 5 0 0 15 0 19 0 834358952 10806743040 1072740 33554432000 1073741824 1073778376 140734034807488 18446744073709551615 248101514137 0 4 0 16800975 18446604461616500864 0 0 -1 1 0 0 0
[pid=21573/tid=21580] ppid=21571 vsize=10553460 CPUtime=0.77 cores=1,3,5,7
/proc/21573/task/21580/stat : 21580 (java) S 21571 21573 20455 0 -1 4202560 73415 0 0 0 65 12 0 0 16 0 19 0 834358952 10806743040 1072740 33554432000 1073741824 1073778376 140734034807488 18446744073709551615 248101514137 0 4 0 16800975 18446604461616500864 0 0 -1 7 0 0 0
[pid=21573/tid=21581] ppid=21571 vsize=10553460 CPUtime=0.56 cores=1,3,5,7
/proc/21573/task/21581/stat : 21581 (java) S 21571 21573 20455 0 -1 4202560 44308 0 0 0 51 5 0 0 15 0 19 0 834358952 10806743040 1072740 33554432000 1073741824 1073778376 140734034807488 18446744073709551615 248101514137 0 4 0 16800975 18446604461616500864 0 0 -1 7 0 0 0
[pid=21573/tid=21582] ppid=21571 vsize=10553460 CPUtime=0.85 cores=1,3,5,7
/proc/21573/task/21582/stat : 21582 (java) S 21571 21573 20455 0 -1 4202560 43091 0 0 0 79 6 0 0 15 0 19 0 834358952 10806743040 1072740 33554432000 1073741824 1073778376 140734034807488 18446744073709551615 248101514137 0 4 0 16800975 18446604461616500864 0 0 -1 1 0 0 0
[pid=21573/tid=21583] ppid=21571 vsize=10553460 CPUtime=0.73 cores=1,3,5,7
/proc/21573/task/21583/stat : 21583 (java) S 21571 21573 20455 0 -1 4202560 82336 0 0 0 61 12 0 0 15 0 19 0 834358952 10806743040 1072740 33554432000 1073741824 1073778376 140734034807488 18446744073709551615 248101514137 0 4 0 16800975 18446604461616500864 0 0 -1 3 0 0 0
[pid=21573/tid=21584] ppid=21571 vsize=10553460 CPUtime=0.01 cores=1,3,5,7
/proc/21573/task/21584/stat : 21584 (java) S 21571 21573 20455 0 -1 4202560 76 0 0 0 1 0 0 0 15 0 19 0 834358953 10806743040 1072740 33554432000 1073741824 1073778376 140734034807488 18446744073709551615 248101514752 0 0 0 16800975 18446604461616500864 0 0 -1 5 0 0 0
[pid=21573/tid=21585] ppid=21571 vsize=10553460 CPUtime=0 cores=1,3,5,7
/proc/21573/task/21585/stat : 21585 (java) S 21571 21573 20455 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 834358954 10806743040 1072740 33554432000 1073741824 1073778376 140734034807488 18446744073709551615 248101514137 0 4 0 16800975 18446604461616500864 0 0 -1 1 0 0 0
[pid=21573/tid=21586] ppid=21571 vsize=10553460 CPUtime=0 cores=1,3,5,7
/proc/21573/task/21586/stat : 21586 (java) S 21571 21573 20455 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 834358954 10806743040 1072740 33554432000 1073741824 1073778376 140734034807488 18446744073709551615 248101514137 0 4 0 16800975 18446604461616500864 0 0 -1 1 0 0 0
[pid=21573/tid=21587] ppid=21571 vsize=10553460 CPUtime=0 cores=1,3,5,7
/proc/21573/task/21587/stat : 21587 (java) S 21571 21573 20455 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 834358956 10806743040 1072740 33554432000 1073741824 1073778376 140734034807488 18446744073709551615 248101521841 0 4 0 16800975 18446604461616500864 0 0 -1 1 0 0 0
[pid=21573/tid=21588] ppid=21571 vsize=10553460 CPUtime=0.94 cores=1,3,5,7
/proc/21573/task/21588/stat : 21588 (java) S 21571 21573 20455 0 -1 4202560 4040 0 0 0 94 0 0 0 16 0 19 0 834358956 10806743040 1072740 33554432000 1073741824 1073778376 140734034807488 18446744073709551615 248101514137 0 4 0 16800975 18446604461616500864 0 0 -1 3 0 0 0
[pid=21573/tid=21589] ppid=21571 vsize=10553460 CPUtime=0.94 cores=1,3,5,7
/proc/21573/task/21589/stat : 21589 (java) S 21571 21573 20455 0 -1 4202560 5599 0 0 0 94 0 0 0 15 0 19 0 834358956 10806743040 1072740 33554432000 1073741824 1073778376 140734034807488 18446744073709551615 248101514137 0 4 0 16800975 18446604461616500864 0 0 -1 1 0 0 0
[pid=21573/tid=21590] ppid=21571 vsize=10553460 CPUtime=0 cores=1,3,5,7
/proc/21573/task/21590/stat : 21590 (java) S 21571 21573 20455 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 834358956 10806743040 1072740 33554432000 1073741824 1073778376 140734034807488 18446744073709551615 248101514137 0 4 0 16800975 18446604461616500864 0 0 -1 1 0 0 0
[pid=21573/tid=21591] ppid=21571 vsize=10553460 CPUtime=0 cores=1,3,5,7
/proc/21573/task/21591/stat : 21591 (java) S 21571 21573 20455 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 19 0 834358956 10806743040 1072740 33554432000 1073741824 1073778376 140734034807488 18446744073709551615 248101514752 0 4 0 16800975 18446604461616500864 0 0 -1 3 0 0 0
[pid=21573/tid=21592] ppid=21571 vsize=10553460 CPUtime=0 cores=1,3,5,7
/proc/21573/task/21592/stat : 21592 (java) S 21571 21573 20455 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 834359031 10806743040 1072740 33554432000 1073741824 1073778376 140734034807488 18446744073709551615 248101514752 0 4 0 16800975 18446604461616500864 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1728.44
Current children cumulated vsize (KiB) 10553460
[startup+1782.3 s]
/proc/loadavg: 2.14 2.05 2.01 3/501 21700
/proc/meminfo: memFree=21695636/32950928 swapFree=45617076/67111528
[pid=21573] ppid=21571 vsize=10553460 CPUtime=1788.55 cores=1,3,5,7
/proc/21573/stat : 21573 (java) S 21571 21573 20455 0 -1 4202496 1119050 0 1 0 178712 143 0 0 25 0 19 0 834358950 10806743040 1073351 33554432000 1073741824 1073778376 140734034807488 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/21573/statm: 2638365 1073351 2251 9 0 2629099 0
[pid=21573/tid=21574] ppid=21571 vsize=10553460 CPUtime=1780.4 cores=1,3,5,7
/proc/21573/task/21574/stat : 21574 (java) R 21571 21573 20455 0 -1 4202560 651238 0 1 0 177969 71 0 0 25 0 19 0 834358951 10806743040 1073351 33554432000 1073741824 1073778376 140734034807488 18446744073709551615 46912505994080 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=21573/tid=21576] ppid=21571 vsize=10553460 CPUtime=0.94 cores=1,3,5,7
/proc/21573/task/21576/stat : 21576 (java) S 21571 21573 20455 0 -1 4202560 73227 0 0 0 84 10 0 0 15 0 19 0 834358952 10806743040 1073351 33554432000 1073741824 1073778376 140734034807488 18446744073709551615 248101514137 0 4 0 16800975 18446604461616500864 0 0 -1 3 0 0 0
[pid=21573/tid=21577] ppid=21571 vsize=10553460 CPUtime=0.9 cores=1,3,5,7
/proc/21573/task/21577/stat : 21577 (java) S 21571 21573 20455 0 -1 4202560 63468 0 0 0 81 9 0 0 16 0 19 0 834358952 10806743040 1073351 33554432000 1073741824 1073778376 140734034807488 18446744073709551615 248101514137 0 4 0 16800975 18446604461616500864 0 0 -1 1 0 0 0
[pid=21573/tid=21578] ppid=21571 vsize=10553460 CPUtime=0.61 cores=1,3,5,7
/proc/21573/task/21578/stat : 21578 (java) S 21571 21573 20455 0 -1 4202560 37121 0 0 0 54 7 0 0 15 0 19 0 834358952 10806743040 1073351 33554432000 1073741824 1073778376 140734034807488 18446744073709551615 248101514137 0 4 0 16800975 18446604461616500864 0 0 -1 3 0 0 0
[pid=21573/tid=21579] ppid=21571 vsize=10553460 CPUtime=0.66 cores=1,3,5,7
/proc/21573/task/21579/stat : 21579 (java) S 21571 21573 20455 0 -1 4202560 39420 0 0 0 61 5 0 0 15 0 19 0 834358952 10806743040 1073351 33554432000 1073741824 1073778376 140734034807488 18446744073709551615 248101514137 0 4 0 16800975 18446604461616500864 0 0 -1 1 0 0 0
[pid=21573/tid=21580] ppid=21571 vsize=10553460 CPUtime=0.79 cores=1,3,5,7
/proc/21573/task/21580/stat : 21580 (java) S 21571 21573 20455 0 -1 4202560 73552 0 0 0 67 12 0 0 15 0 19 0 834358952 10806743040 1073351 33554432000 1073741824 1073778376 140734034807488 18446744073709551615 248101514137 0 4 0 16800975 18446604461616500864 0 0 -1 3 0 0 0
[pid=21573/tid=21581] ppid=21571 vsize=10553460 CPUtime=0.59 cores=1,3,5,7
/proc/21573/task/21581/stat : 21581 (java) S 21571 21573 20455 0 -1 4202560 44379 0 0 0 54 5 0 0 16 0 19 0 834358952 10806743040 1073351 33554432000 1073741824 1073778376 140734034807488 18446744073709551615 248101514137 0 4 0 16800975 18446604461616500864 0 0 -1 7 0 0 0
[pid=21573/tid=21582] ppid=21571 vsize=10553460 CPUtime=0.9 cores=1,3,5,7
/proc/21573/task/21582/stat : 21582 (java) S 21571 21573 20455 0 -1 4202560 43273 0 0 0 84 6 0 0 16 0 19 0 834358952 10806743040 1073351 33554432000 1073741824 1073778376 140734034807488 18446744073709551615 248101514137 0 4 0 16800975 18446604461616500864 0 0 -1 7 0 0 0
[pid=21573/tid=21583] ppid=21571 vsize=10553460 CPUtime=0.76 cores=1,3,5,7
/proc/21573/task/21583/stat : 21583 (java) S 21571 21573 20455 0 -1 4202560 82400 0 0 0 64 12 0 0 15 0 19 0 834358952 10806743040 1073351 33554432000 1073741824 1073778376 140734034807488 18446744073709551615 248101514137 0 4 0 16800975 18446604461616500864 0 0 -1 3 0 0 0
[pid=21573/tid=21584] ppid=21571 vsize=10553460 CPUtime=0.01 cores=1,3,5,7
/proc/21573/task/21584/stat : 21584 (java) S 21571 21573 20455 0 -1 4202560 80 0 0 0 1 0 0 0 15 0 19 0 834358953 10806743040 1073351 33554432000 1073741824 1073778376 140734034807488 18446744073709551615 248101514752 0 0 0 16800975 18446604461616500864 0 0 -1 5 0 0 0
[pid=21573/tid=21585] ppid=21571 vsize=10553460 CPUtime=0 cores=1,3,5,7
/proc/21573/task/21585/stat : 21585 (java) S 21571 21573 20455 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 834358954 10806743040 1073351 33554432000 1073741824 1073778376 140734034807488 18446744073709551615 248101514137 0 4 0 16800975 18446604461616500864 0 0 -1 1 0 0 0
[pid=21573/tid=21586] ppid=21571 vsize=10553460 CPUtime=0 cores=1,3,5,7
/proc/21573/task/21586/stat : 21586 (java) S 21571 21573 20455 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 834358954 10806743040 1073351 33554432000 1073741824 1073778376 140734034807488 18446744073709551615 248101514137 0 4 0 16800975 18446604461616500864 0 0 -1 1 0 0 0
[pid=21573/tid=21587] ppid=21571 vsize=10553460 CPUtime=0 cores=1,3,5,7
/proc/21573/task/21587/stat : 21587 (java) S 21571 21573 20455 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 834358956 10806743040 1073351 33554432000 1073741824 1073778376 140734034807488 18446744073709551615 248101521841 0 4 0 16800975 18446604461616500864 0 0 -1 1 0 0 0
[pid=21573/tid=21588] ppid=21571 vsize=10553460 CPUtime=0.94 cores=1,3,5,7
/proc/21573/task/21588/stat : 21588 (java) S 21571 21573 20455 0 -1 4202560 4040 0 0 0 94 0 0 0 16 0 19 0 834358956 10806743040 1073351 33554432000 1073741824 1073778376 140734034807488 18446744073709551615 248101514137 0 4 0 16800975 18446604461616500864 0 0 -1 3 0 0 0
[pid=21573/tid=21589] ppid=21571 vsize=10553460 CPUtime=0.94 cores=1,3,5,7
/proc/21573/task/21589/stat : 21589 (java) S 21571 21573 20455 0 -1 4202560 5599 0 0 0 94 0 0 0 15 0 19 0 834358956 10806743040 1073351 33554432000 1073741824 1073778376 140734034807488 18446744073709551615 248101514137 0 4 0 16800975 18446604461616500864 0 0 -1 1 0 0 0
[pid=21573/tid=21590] ppid=21571 vsize=10553460 CPUtime=0 cores=1,3,5,7
/proc/21573/task/21590/stat : 21590 (java) S 21571 21573 20455 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 834358956 10806743040 1073351 33554432000 1073741824 1073778376 140734034807488 18446744073709551615 248101514137 0 4 0 16800975 18446604461616500864 0 0 -1 1 0 0 0
[pid=21573/tid=21591] ppid=21571 vsize=10553460 CPUtime=0 cores=1,3,5,7
/proc/21573/task/21591/stat : 21591 (java) S 21571 21573 20455 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 834358956 10806743040 1073351 33554432000 1073741824 1073778376 140734034807488 18446744073709551615 248101514752 0 4 0 16800975 18446604461616500864 0 0 -1 3 0 0 0
[pid=21573/tid=21592] ppid=21571 vsize=10553460 CPUtime=0 cores=1,3,5,7
/proc/21573/task/21592/stat : 21592 (java) S 21571 21573 20455 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 834359031 10806743040 1073351 33554432000 1073741824 1073778376 140734034807488 18446744073709551615 248101514752 0 4 0 16800975 18446604461616500864 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1788.55
Current children cumulated vsize (KiB) 10553460
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1793.8 s]
/proc/loadavg: 2.12 2.04 2.01 3/501 21700
/proc/meminfo: memFree=21689652/32950928 swapFree=45617076/67111528
[pid=21573] ppid=21571 vsize=10553460 CPUtime=1800.09 cores=1,3,5,7
/proc/21573/stat : 21573 (java) S 21571 21573 20455 0 -1 4202496 1119102 0 1 0 179866 143 0 0 25 0 19 0 834358950 10806743040 1073400 33554432000 1073741824 1073778376 140734034807488 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/21573/statm: 2638365 1073400 2251 9 0 2629099 0
[pid=21573/tid=21574] ppid=21571 vsize=10553460 CPUtime=1791.91 cores=1,3,5,7
/proc/21573/task/21574/stat : 21574 (java) R 21571 21573 20455 0 -1 4202560 651239 0 1 0 179120 71 0 0 25 0 19 0 834358951 10806743040 1073400 33554432000 1073741824 1073778376 140734034807488 18446744073709551615 46912505994089 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=21573/tid=21576] ppid=21571 vsize=10553460 CPUtime=0.94 cores=1,3,5,7
/proc/21573/task/21576/stat : 21576 (java) S 21571 21573 20455 0 -1 4202560 73227 0 0 0 84 10 0 0 16 0 19 0 834358952 10806743040 1073400 33554432000 1073741824 1073778376 140734034807488 18446744073709551615 248101514137 0 4 0 16800975 18446604461616500864 0 0 -1 3 0 0 0
[pid=21573/tid=21577] ppid=21571 vsize=10553460 CPUtime=0.9 cores=1,3,5,7
/proc/21573/task/21577/stat : 21577 (java) S 21571 21573 20455 0 -1 4202560 63468 0 0 0 81 9 0 0 15 0 19 0 834358952 10806743040 1073400 33554432000 1073741824 1073778376 140734034807488 18446744073709551615 248101514137 0 4 0 16800975 18446604461616500864 0 0 -1 1 0 0 0
[pid=21573/tid=21578] ppid=21571 vsize=10553460 CPUtime=0.62 cores=1,3,5,7
/proc/21573/task/21578/stat : 21578 (java) S 21571 21573 20455 0 -1 4202560 37130 0 0 0 55 7 0 0 16 0 19 0 834358952 10806743040 1073400 33554432000 1073741824 1073778376 140734034807488 18446744073709551615 248101514137 0 4 0 16800975 18446604461616500864 0 0 -1 3 0 0 0
[pid=21573/tid=21579] ppid=21571 vsize=10553460 CPUtime=0.66 cores=1,3,5,7
/proc/21573/task/21579/stat : 21579 (java) S 21571 21573 20455 0 -1 4202560 39420 0 0 0 61 5 0 0 15 0 19 0 834358952 10806743040 1073400 33554432000 1073741824 1073778376 140734034807488 18446744073709551615 248101514137 0 4 0 16800975 18446604461616500864 0 0 -1 1 0 0 0
[pid=21573/tid=21580] ppid=21571 vsize=10553460 CPUtime=0.79 cores=1,3,5,7
/proc/21573/task/21580/stat : 21580 (java) S 21571 21573 20455 0 -1 4202560 73552 0 0 0 67 12 0 0 15 0 19 0 834358952 10806743040 1073400 33554432000 1073741824 1073778376 140734034807488 18446744073709551615 248101514137 0 4 0 16800975 18446604461616500864 0 0 -1 7 0 0 0
[pid=21573/tid=21581] ppid=21571 vsize=10553460 CPUtime=0.6 cores=1,3,5,7
/proc/21573/task/21581/stat : 21581 (java) S 21571 21573 20455 0 -1 4202560 44407 0 0 0 55 5 0 0 16 0 19 0 834358952 10806743040 1073400 33554432000 1073741824 1073778376 140734034807488 18446744073709551615 248101514137 0 4 0 16800975 18446604461616500864 0 0 -1 7 0 0 0
[pid=21573/tid=21582] ppid=21571 vsize=10553460 CPUtime=0.91 cores=1,3,5,7
/proc/21573/task/21582/stat : 21582 (java) S 21571 21573 20455 0 -1 4202560 43285 0 0 0 85 6 0 0 16 0 19 0 834358952 10806743040 1073400 33554432000 1073741824 1073778376 140734034807488 18446744073709551615 248101514137 0 4 0 16800975 18446604461616500864 0 0 -1 1 0 0 0
[pid=21573/tid=21583] ppid=21571 vsize=10553460 CPUtime=0.76 cores=1,3,5,7
/proc/21573/task/21583/stat : 21583 (java) S 21571 21573 20455 0 -1 4202560 82400 0 0 0 64 12 0 0 15 0 19 0 834358952 10806743040 1073400 33554432000 1073741824 1073778376 140734034807488 18446744073709551615 248101514137 0 4 0 16800975 18446604461616500864 0 0 -1 7 0 0 0
[pid=21573/tid=21584] ppid=21571 vsize=10553460 CPUtime=0.01 cores=1,3,5,7
/proc/21573/task/21584/stat : 21584 (java) S 21571 21573 20455 0 -1 4202560 80 0 0 0 1 0 0 0 15 0 19 0 834358953 10806743040 1073400 33554432000 1073741824 1073778376 140734034807488 18446744073709551615 248101514752 0 0 0 16800975 18446604461616500864 0 0 -1 5 0 0 0
[pid=21573/tid=21585] ppid=21571 vsize=10553460 CPUtime=0 cores=1,3,5,7
/proc/21573/task/21585/stat : 21585 (java) S 21571 21573 20455 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 834358954 10806743040 1073400 33554432000 1073741824 1073778376 140734034807488 18446744073709551615 248101514137 0 4 0 16800975 18446604461616500864 0 0 -1 1 0 0 0
[pid=21573/tid=21586] ppid=21571 vsize=10553460 CPUtime=0 cores=1,3,5,7
/proc/21573/task/21586/stat : 21586 (java) S 21571 21573 20455 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 834358954 10806743040 1073400 33554432000 1073741824 1073778376 140734034807488 18446744073709551615 248101514137 0 4 0 16800975 18446604461616500864 0 0 -1 1 0 0 0
[pid=21573/tid=21587] ppid=21571 vsize=10553460 CPUtime=0 cores=1,3,5,7
/proc/21573/task/21587/stat : 21587 (java) S 21571 21573 20455 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 834358956 10806743040 1073400 33554432000 1073741824 1073778376 140734034807488 18446744073709551615 248101521841 0 4 0 16800975 18446604461616500864 0 0 -1 1 0 0 0
[pid=21573/tid=21588] ppid=21571 vsize=10553460 CPUtime=0.94 cores=1,3,5,7
/proc/21573/task/21588/stat : 21588 (java) S 21571 21573 20455 0 -1 4202560 4040 0 0 0 94 0 0 0 16 0 19 0 834358956 10806743040 1073400 33554432000 1073741824 1073778376 140734034807488 18446744073709551615 248101514137 0 4 0 16800975 18446604461616500864 0 0 -1 3 0 0 0
[pid=21573/tid=21589] ppid=21571 vsize=10553460 CPUtime=0.94 cores=1,3,5,7
/proc/21573/task/21589/stat : 21589 (java) S 21571 21573 20455 0 -1 4202560 5599 0 0 0 94 0 0 0 15 0 19 0 834358956 10806743040 1073400 33554432000 1073741824 1073778376 140734034807488 18446744073709551615 248101514137 0 4 0 16800975 18446604461616500864 0 0 -1 1 0 0 0
[pid=21573/tid=21590] ppid=21571 vsize=10553460 CPUtime=0 cores=1,3,5,7
/proc/21573/task/21590/stat : 21590 (java) S 21571 21573 20455 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 834358956 10806743040 1073400 33554432000 1073741824 1073778376 140734034807488 18446744073709551615 248101514137 0 4 0 16800975 18446604461616500864 0 0 -1 1 0 0 0
[pid=21573/tid=21591] ppid=21571 vsize=10553460 CPUtime=0 cores=1,3,5,7
/proc/21573/task/21591/stat : 21591 (java) S 21571 21573 20455 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 834358956 10806743040 1073400 33554432000 1073741824 1073778376 140734034807488 18446744073709551615 248101514752 0 4 0 16800975 18446604461616500864 0 0 -1 3 0 0 0
[pid=21573/tid=21592] ppid=21571 vsize=10553460 CPUtime=0 cores=1,3,5,7
/proc/21573/task/21592/stat : 21592 (java) S 21571 21573 20455 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 834359031 10806743040 1073400 33554432000 1073741824 1073778376 140734034807488 18446744073709551615 248101514752 0 4 0 16800975 18446604461616500864 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 10553460
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1793.92 s]
/proc/loadavg: 2.12 2.04 2.01 3/501 21700
/proc/meminfo: memFree=21689652/32950928 swapFree=45617076/67111528
[pid=21573] ppid=21571 vsize=0 CPUtime=1800.2 cores=1,3,5,7
/proc/21573/stat : 21573 (java) Z 21571 21573 20455 0 -1 4203548 1119130 0 1 0 179867 153 0 0 17 0 2 0 834358950 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/21573/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.2
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1793.99
CPU time (s): 1800.28
CPU user time (s): 1798.68
CPU system time (s): 1.60076
CPU usage (%): 100.35
Max. virtual memory (cumulated for all children) (KiB): 10553460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.68
system time used= 1.60076
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1119130
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= 39774
involuntary context switches= 13387
runsolver used 8.17376 second user time and 19.623 second system time
The end