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-3456903-1307633284/watcher-3456903-1307633284 -o /tmp/evaluation-result-3456903-1307633284/solver-3456903-1307633284 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456903-1307633284.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: 0.45 0.21 0.21 2/192 23754
/proc/meminfo: memFree=30423784/32951124 swapFree=67062556/67111528
[pid=23754] ppid=23752 vsize=30528 CPUtime=0 cores=1,3,5,7
/proc/23754/stat : 23754 (java) S 23752 23754 23633 0 -1 4202496 1238 0 0 0 0 0 0 0 25 0 2 0 953558904 31260672 957 33554432000 1073741824 1073778376 140735669583600 18446744073709551615 252469868517 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0
/proc/23754/statm: 7632 957 730 9 0 383 0
[pid=23754/tid=23755] ppid=23752 vsize=30528 CPUtime=0 cores=1,3,5,7
/proc/23754/task/23755/stat : 23755 (java) R 23752 23754 23633 0 -1 4202560 123 0 0 0 0 0 0 0 25 0 2 0 953558904 31260672 957 33554432000 1073741824 1073778376 140735669583600 18446744073709551615 252458065664 0 0 4096 0 0 0 0 -1 5 0 0 0
[startup+0.027901 s]
/proc/loadavg: 0.45 0.21 0.21 2/192 23754
/proc/meminfo: memFree=30423784/32951124 swapFree=67062556/67111528
[pid=23754] ppid=23752 vsize=10455012 CPUtime=0.01 cores=1,3,5,7
/proc/23754/stat : 23754 (java) S 23752 23754 23633 0 -1 4202496 10714 0 1 0 0 1 0 0 25 0 10 0 953558904 10705932288 10412 33554432000 1073741824 1073778376 140735669583600 18446744073709551615 252469868517 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0
/proc/23754/statm: 2613753 10414 1515 9 0 2604501 0
[pid=23754/tid=23755] ppid=23752 vsize=10455012 CPUtime=0.01 cores=1,3,5,7
/proc/23754/task/23755/stat : 23755 (java) R 23752 23754 23633 0 -1 4202560 9594 0 1 0 0 1 0 0 25 0 10 0 953558904 10705932288 10415 33554432000 1073741824 1073778376 140735669583600 18446744073709551615 252457726661 0 4 0 16784584 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 10455012
[startup+0.100887 s]
/proc/loadavg: 0.45 0.21 0.21 2/192 23754
/proc/meminfo: memFree=30423784/32951124 swapFree=67062556/67111528
[pid=23754] ppid=23752 vsize=10540380 CPUtime=0.09 cores=1,3,5,7
/proc/23754/stat : 23754 (java) S 23752 23754 23633 0 -1 4202496 12922 0 1 0 8 1 0 0 25 0 18 0 953558904 10793349120 12618 33554432000 1073741824 1073778376 140735669583600 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/23754/statm: 2635095 12618 2093 9 0 2625829 0
[pid=23754/tid=23755] ppid=23752 vsize=10540380 CPUtime=0.07 cores=1,3,5,7
/proc/23754/task/23755/stat : 23755 (java) R 23752 23754 23633 0 -1 4202560 11017 0 1 0 6 1 0 0 17 0 18 0 953558904 10793349120 12619 33554432000 1073741824 1073778376 140735669583600 18446744073709551615 47174030625619 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10540380
[startup+0.300847 s]
/proc/loadavg: 0.45 0.21 0.21 2/192 23754
/proc/meminfo: memFree=30423784/32951124 swapFree=67062556/67111528
[pid=23754] ppid=23752 vsize=10545816 CPUtime=0.43 cores=1,3,5,7
/proc/23754/stat : 23754 (java) S 23752 23754 23633 0 -1 4202496 15803 0 1 0 41 2 0 0 25 0 19 0 953558904 10798915584 14860 33554432000 1073741824 1073778376 140735669583600 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/23754/statm: 2636454 14860 2204 9 0 2627188 0
[pid=23754/tid=23755] ppid=23752 vsize=10545816 CPUtime=0.27 cores=1,3,5,7
/proc/23754/task/23755/stat : 23755 (java) R 23752 23754 23633 0 -1 4202560 12289 0 1 0 26 1 0 0 18 0 19 0 953558904 10798915584 14860 33554432000 1073741824 1073778376 140735669583600 18446744073709551615 46912505199925 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 10545816
[startup+0.700745 s]
/proc/loadavg: 0.45 0.21 0.21 2/192 23754
/proc/meminfo: memFree=30423784/32951124 swapFree=67062556/67111528
[pid=23754] ppid=23752 vsize=10556772 CPUtime=1.64 cores=1,3,5,7
/proc/23754/stat : 23754 (java) S 23752 23754 23633 0 -1 4202496 34772 0 1 0 159 5 0 0 25 0 19 0 953558904 10810134528 29767 33554432000 1073741824 1073778376 140735669583600 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/23754/statm: 2639193 29769 2221 9 0 2629927 0
[pid=23754/tid=23755] ppid=23752 vsize=10556772 CPUtime=0.66 cores=1,3,5,7
/proc/23754/task/23755/stat : 23755 (java) R 23752 23754 23633 0 -1 4202560 21715 0 1 0 64 2 0 0 18 0 19 0 953558904 10810134528 29770 33554432000 1073741824 1073778376 140735669583600 18446744073709551615 46912505584127 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.64
Current children cumulated vsize (KiB) 10556772
[startup+1.50063 s]
/proc/loadavg: 0.45 0.21 0.21 3/211 23773
/proc/meminfo: memFree=29916436/32951124 swapFree=67062556/67111528
[pid=23754] ppid=23752 vsize=10556772 CPUtime=2.7 cores=1,3,5,7
/proc/23754/stat : 23754 (java) S 23752 23754 23633 0 -1 4202496 104407 0 1 0 257 13 0 0 25 0 19 0 953558904 10810134528 98860 33554432000 1073741824 1073778376 140735669583600 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/23754/statm: 2639193 98864 2227 9 0 2629927 0
[pid=23754/tid=23755] ppid=23752 vsize=10556772 CPUtime=1.47 cores=1,3,5,7
/proc/23754/task/23755/stat : 23755 (java) R 23752 23754 23633 0 -1 4202560 90750 0 1 0 136 11 0 0 18 0 19 0 953558904 10810134528 98866 33554432000 1073741824 1073778376 140735669583600 18446744073709551615 46912505636584 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=23754/tid=23757] ppid=23752 vsize=10556772 CPUtime=0 cores=1,3,5,7
/proc/23754/task/23757/stat : 23757 (java) S 23752 23754 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953558906 10810134528 98872 33554432000 1073741824 1073778376 140735669583600 18446744073709551615 252469881753 0 4 0 16800975 18446604471129391424 0 0 -1 5 0 0 0
[pid=23754/tid=23758] ppid=23752 vsize=10556772 CPUtime=0 cores=1,3,5,7
/proc/23754/task/23758/stat : 23758 (java) S 23752 23754 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953558906 10810134528 98874 33554432000 1073741824 1073778376 140735669583600 18446744073709551615 252469881753 0 4 0 16800975 18446604471129391424 0 0 -1 5 0 0 0
[pid=23754/tid=23759] ppid=23752 vsize=10556772 CPUtime=0 cores=1,3,5,7
/proc/23754/task/23759/stat : 23759 (java) S 23752 23754 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953558906 10810134528 98876 33554432000 1073741824 1073778376 140735669583600 18446744073709551615 252469881753 0 4 0 16800975 18446604471129391424 0 0 -1 5 0 0 0
[pid=23754/tid=23760] ppid=23752 vsize=10556772 CPUtime=0 cores=1,3,5,7
/proc/23754/task/23760/stat : 23760 (java) S 23752 23754 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953558906 10810134528 98878 33554432000 1073741824 1073778376 140735669583600 18446744073709551615 252469881753 0 4 0 16800975 18446604471129391424 0 0 -1 5 0 0 0
[pid=23754/tid=23761] ppid=23752 vsize=10556772 CPUtime=0 cores=1,3,5,7
/proc/23754/task/23761/stat : 23761 (java) S 23752 23754 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953558906 10810134528 98880 33554432000 1073741824 1073778376 140735669583600 18446744073709551615 252469881753 0 4 0 16800975 18446604471129391424 0 0 -1 5 0 0 0
[pid=23754/tid=23762] ppid=23752 vsize=10556772 CPUtime=0 cores=1,3,5,7
/proc/23754/task/23762/stat : 23762 (java) S 23752 23754 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953558906 10810134528 98882 33554432000 1073741824 1073778376 140735669583600 18446744073709551615 252469881753 0 4 0 16800975 18446604471129391424 0 0 -1 5 0 0 0
[pid=23754/tid=23763] ppid=23752 vsize=10556772 CPUtime=0 cores=1,3,5,7
/proc/23754/task/23763/stat : 23763 (java) S 23752 23754 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953558906 10810134528 98884 33554432000 1073741824 1073778376 140735669583600 18446744073709551615 252469881753 0 4 0 16800975 18446604471129391424 0 0 -1 5 0 0 0
[pid=23754/tid=23764] ppid=23752 vsize=10556772 CPUtime=0 cores=1,3,5,7
/proc/23754/task/23764/stat : 23764 (java) S 23752 23754 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953558906 10810134528 98886 33554432000 1073741824 1073778376 140735669583600 18446744073709551615 252469881753 0 4 0 16800975 18446604471129391424 0 0 -1 5 0 0 0
[pid=23754/tid=23765] ppid=23752 vsize=10556772 CPUtime=0 cores=1,3,5,7
/proc/23754/task/23765/stat : 23765 (java) S 23752 23754 23633 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 953558907 10810134528 98888 33554432000 1073741824 1073778376 140735669583600 18446744073709551615 252469882368 0 0 0 16800975 18446604471129391424 0 0 -1 1 0 0 0
[pid=23754/tid=23766] ppid=23752 vsize=10556772 CPUtime=0 cores=1,3,5,7
/proc/23754/task/23766/stat : 23766 (java) S 23752 23754 23633 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 953558908 10810134528 98890 33554432000 1073741824 1073778376 140735669583600 18446744073709551615 252469881753 0 4 0 16800975 18446604471129391424 0 0 -1 5 0 0 0
[pid=23754/tid=23767] ppid=23752 vsize=10556772 CPUtime=0 cores=1,3,5,7
/proc/23754/task/23767/stat : 23767 (java) S 23752 23754 23633 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 953558908 10810134528 98892 33554432000 1073741824 1073778376 140735669583600 18446744073709551615 252469881753 0 4 0 16800975 18446604471129391424 0 0 -1 5 0 0 0
[pid=23754/tid=23768] ppid=23752 vsize=10556772 CPUtime=0 cores=1,3,5,7
/proc/23754/task/23768/stat : 23768 (java) S 23752 23754 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953558910 10810134528 98895 33554432000 1073741824 1073778376 140735669583600 18446744073709551615 252469889457 0 4 0 16800975 18446604471129391424 0 0 -1 5 0 0 0
[pid=23754/tid=23769] ppid=23752 vsize=10556772 CPUtime=0.58 cores=1,3,5,7
/proc/23754/task/23769/stat : 23769 (java) S 23752 23754 23633 0 -1 4202560 5336 0 0 0 58 0 0 0 20 0 19 0 953558910 10810134528 98896 33554432000 1073741824 1073778376 140735669583600 18446744073709551615 252469881753 0 4 0 16800975 18446604471129391424 0 0 -1 7 0 0 0
[pid=23754/tid=23770] ppid=23752 vsize=10556772 CPUtime=0.63 cores=1,3,5,7
/proc/23754/task/23770/stat : 23770 (java) S 23752 23754 23633 0 -1 4202560 7166 0 0 0 62 1 0 0 15 0 19 0 953558910 10810134528 98899 33554432000 1073741824 1073778376 140735669583600 18446744073709551615 252469881753 0 4 0 16800975 18446604471129391424 0 0 -1 1 0 0 0
[pid=23754/tid=23771] ppid=23752 vsize=10556772 CPUtime=0 cores=1,3,5,7
/proc/23754/task/23771/stat : 23771 (java) S 23752 23754 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953558910 10810134528 98901 33554432000 1073741824 1073778376 140735669583600 18446744073709551615 252469881753 0 4 0 16800975 18446604471129391424 0 0 -1 5 0 0 0
[pid=23754/tid=23772] ppid=23752 vsize=10556772 CPUtime=0 cores=1,3,5,7
/proc/23754/task/23772/stat : 23772 (java) S 23752 23754 23633 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 953558910 10810134528 98903 33554432000 1073741824 1073778376 140735669583600 18446744073709551615 252469882368 0 4 0 16800975 18446604471129391424 0 0 -1 7 0 0 0
[pid=23754/tid=23773] ppid=23752 vsize=10556772 CPUtime=0 cores=1,3,5,7
/proc/23754/task/23773/stat : 23773 (java) S 23752 23754 23633 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 953558926 10810134528 98906 33554432000 1073741824 1073778376 140735669583600 18446744073709551615 252469882368 0 4 0 16800975 18446604471129391424 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.7
Current children cumulated vsize (KiB) 10556772
[startup+3.10135 s]
/proc/loadavg: 0.45 0.21 0.21 3/211 23773
/proc/meminfo: memFree=29195872/32951124 swapFree=67062556/67111528
[pid=23754] ppid=23752 vsize=10556772 CPUtime=4.33 cores=1,3,5,7
/proc/23754/stat : 23754 (java) S 23752 23754 23633 0 -1 4202496 244243 0 1 0 403 30 0 0 25 0 19 0 953558904 10810134528 238697 33554432000 1073741824 1073778376 140735669583600 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/23754/statm: 2639193 238700 2227 9 0 2629927 0
[pid=23754/tid=23755] ppid=23752 vsize=10556772 CPUtime=3.07 cores=1,3,5,7
/proc/23754/task/23755/stat : 23755 (java) R 23752 23754 23633 0 -1 4202560 230581 0 1 0 280 27 0 0 21 0 19 0 953558904 10810134528 238701 33554432000 1073741824 1073778376 140735669583600 18446744073709551615 46912505647525 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=23754/tid=23757] ppid=23752 vsize=10556772 CPUtime=0 cores=1,3,5,7
/proc/23754/task/23757/stat : 23757 (java) S 23752 23754 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953558906 10810134528 238703 33554432000 1073741824 1073778376 140735669583600 18446744073709551615 252469881753 0 4 0 16800975 18446604471129391424 0 0 -1 5 0 0 0
[pid=23754/tid=23758] ppid=23752 vsize=10556772 CPUtime=0 cores=1,3,5,7
/proc/23754/task/23758/stat : 23758 (java) S 23752 23754 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953558906 10810134528 238705 33554432000 1073741824 1073778376 140735669583600 18446744073709551615 252469881753 0 4 0 16800975 18446604471129391424 0 0 -1 5 0 0 0
[pid=23754/tid=23759] ppid=23752 vsize=10556772 CPUtime=0 cores=1,3,5,7
/proc/23754/task/23759/stat : 23759 (java) S 23752 23754 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953558906 10810134528 238706 33554432000 1073741824 1073778376 140735669583600 18446744073709551615 252469881753 0 4 0 16800975 18446604471129391424 0 0 -1 5 0 0 0
[pid=23754/tid=23760] ppid=23752 vsize=10556772 CPUtime=0 cores=1,3,5,7
/proc/23754/task/23760/stat : 23760 (java) S 23752 23754 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953558906 10810134528 238709 33554432000 1073741824 1073778376 140735669583600 18446744073709551615 252469881753 0 4 0 16800975 18446604471129391424 0 0 -1 5 0 0 0
[pid=23754/tid=23761] ppid=23752 vsize=10556772 CPUtime=0 cores=1,3,5,7
/proc/23754/task/23761/stat : 23761 (java) S 23752 23754 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953558906 10810134528 238711 33554432000 1073741824 1073778376 140735669583600 18446744073709551615 252469881753 0 4 0 16800975 18446604471129391424 0 0 -1 5 0 0 0
[pid=23754/tid=23762] ppid=23752 vsize=10556772 CPUtime=0 cores=1,3,5,7
/proc/23754/task/23762/stat : 23762 (java) S 23752 23754 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953558906 10810134528 238713 33554432000 1073741824 1073778376 140735669583600 18446744073709551615 252469881753 0 4 0 16800975 18446604471129391424 0 0 -1 5 0 0 0
[pid=23754/tid=23763] ppid=23752 vsize=10556772 CPUtime=0 cores=1,3,5,7
/proc/23754/task/23763/stat : 23763 (java) S 23752 23754 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953558906 10810134528 238714 33554432000 1073741824 1073778376 140735669583600 18446744073709551615 252469881753 0 4 0 16800975 18446604471129391424 0 0 -1 5 0 0 0
[pid=23754/tid=23764] ppid=23752 vsize=10556772 CPUtime=0 cores=1,3,5,7
/proc/23754/task/23764/stat : 23764 (java) S 23752 23754 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953558906 10810134528 238716 33554432000 1073741824 1073778376 140735669583600 18446744073709551615 252469881753 0 4 0 16800975 18446604471129391424 0 0 -1 5 0 0 0
[pid=23754/tid=23765] ppid=23752 vsize=10556772 CPUtime=0 cores=1,3,5,7
/proc/23754/task/23765/stat : 23765 (java) S 23752 23754 23633 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 953558907 10810134528 238718 33554432000 1073741824 1073778376 140735669583600 18446744073709551615 252469882368 0 0 0 16800975 18446604471129391424 0 0 -1 1 0 0 0
[pid=23754/tid=23766] ppid=23752 vsize=10556772 CPUtime=0 cores=1,3,5,7
/proc/23754/task/23766/stat : 23766 (java) S 23752 23754 23633 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 953558908 10810134528 238719 33554432000 1073741824 1073778376 140735669583600 18446744073709551615 252469881753 0 4 0 16800975 18446604471129391424 0 0 -1 5 0 0 0
[pid=23754/tid=23767] ppid=23752 vsize=10556772 CPUtime=0 cores=1,3,5,7
/proc/23754/task/23767/stat : 23767 (java) S 23752 23754 23633 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 953558908 10810134528 238722 33554432000 1073741824 1073778376 140735669583600 18446744073709551615 252469881753 0 4 0 16800975 18446604471129391424 0 0 -1 5 0 0 0
[pid=23754/tid=23768] ppid=23752 vsize=10556772 CPUtime=0 cores=1,3,5,7
/proc/23754/task/23768/stat : 23768 (java) S 23752 23754 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953558910 10810134528 238724 33554432000 1073741824 1073778376 140735669583600 18446744073709551615 252469889457 0 4 0 16800975 18446604471129391424 0 0 -1 5 0 0 0
[pid=23754/tid=23769] ppid=23752 vsize=10556772 CPUtime=0.58 cores=1,3,5,7
/proc/23754/task/23769/stat : 23769 (java) S 23752 23754 23633 0 -1 4202560 5336 0 0 0 58 0 0 0 20 0 19 0 953558910 10810134528 238725 33554432000 1073741824 1073778376 140735669583600 18446744073709551615 252469881753 0 4 0 16800975 18446604471129391424 0 0 -1 7 0 0 0
[pid=23754/tid=23770] ppid=23752 vsize=10556772 CPUtime=0.65 cores=1,3,5,7
/proc/23754/task/23770/stat : 23770 (java) S 23752 23754 23633 0 -1 4202560 7170 0 0 0 64 1 0 0 15 0 19 0 953558910 10810134528 238728 33554432000 1073741824 1073778376 140735669583600 18446744073709551615 252469881753 0 4 0 16800975 18446604471129391424 0 0 -1 1 0 0 0
[pid=23754/tid=23771] ppid=23752 vsize=10556772 CPUtime=0 cores=1,3,5,7
/proc/23754/task/23771/stat : 23771 (java) S 23752 23754 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953558910 10810134528 238730 33554432000 1073741824 1073778376 140735669583600 18446744073709551615 252469881753 0 4 0 16800975 18446604471129391424 0 0 -1 5 0 0 0
[pid=23754/tid=23772] ppid=23752 vsize=10556772 CPUtime=0 cores=1,3,5,7
/proc/23754/task/23772/stat : 23772 (java) S 23752 23754 23633 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 953558910 10810134528 238732 33554432000 1073741824 1073778376 140735669583600 18446744073709551615 252469882368 0 4 0 16800975 18446604471129391424 0 0 -1 7 0 0 0
[pid=23754/tid=23773] ppid=23752 vsize=10556772 CPUtime=0 cores=1,3,5,7
/proc/23754/task/23773/stat : 23773 (java) S 23752 23754 23633 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 953558926 10810134528 238734 33554432000 1073741824 1073778376 140735669583600 18446744073709551615 252469882368 0 4 0 16800975 18446604471129391424 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4.33
Current children cumulated vsize (KiB) 10556772
[startup+6.30075 s]
/proc/loadavg: 0.57 0.24 0.22 3/211 23773
/proc/meminfo: memFree=27762592/32951124 swapFree=67062556/67111528
[pid=23754] ppid=23752 vsize=10556772 CPUtime=7.53 cores=1,3,5,7
/proc/23754/stat : 23754 (java) S 23752 23754 23633 0 -1 4202496 511866 0 1 0 695 58 0 0 25 0 19 0 953558904 10810134528 506093 33554432000 1073741824 1073778376 140735669583600 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/23754/statm: 2639193 506097 2228 9 0 2629927 0
[pid=23754/tid=23755] ppid=23752 vsize=10556772 CPUtime=6.27 cores=1,3,5,7
/proc/23754/task/23755/stat : 23755 (java) R 23752 23754 23633 0 -1 4202560 498204 0 1 0 571 56 0 0 21 0 19 0 953558904 10810134528 506099 33554432000 1073741824 1073778376 140735669583600 18446744073709551615 46912505647525 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=23754/tid=23757] ppid=23752 vsize=10556772 CPUtime=0 cores=1,3,5,7
/proc/23754/task/23757/stat : 23757 (java) S 23752 23754 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953558906 10810134528 506102 33554432000 1073741824 1073778376 140735669583600 18446744073709551615 252469881753 0 4 0 16800975 18446604471129391424 0 0 -1 5 0 0 0
[pid=23754/tid=23758] ppid=23752 vsize=10556772 CPUtime=0 cores=1,3,5,7
/proc/23754/task/23758/stat : 23758 (java) S 23752 23754 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953558906 10810134528 506104 33554432000 1073741824 1073778376 140735669583600 18446744073709551615 252469881753 0 4 0 16800975 18446604471129391424 0 0 -1 5 0 0 0
[pid=23754/tid=23759] ppid=23752 vsize=10556772 CPUtime=0 cores=1,3,5,7
/proc/23754/task/23759/stat : 23759 (java) S 23752 23754 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953558906 10810134528 506105 33554432000 1073741824 1073778376 140735669583600 18446744073709551615 252469881753 0 4 0 16800975 18446604471129391424 0 0 -1 5 0 0 0
[pid=23754/tid=23760] ppid=23752 vsize=10556772 CPUtime=0 cores=1,3,5,7
/proc/23754/task/23760/stat : 23760 (java) S 23752 23754 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953558906 10810134528 506107 33554432000 1073741824 1073778376 140735669583600 18446744073709551615 252469881753 0 4 0 16800975 18446604471129391424 0 0 -1 5 0 0 0
[pid=23754/tid=23761] ppid=23752 vsize=10556772 CPUtime=0 cores=1,3,5,7
/proc/23754/task/23761/stat : 23761 (java) S 23752 23754 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953558906 10810134528 506109 33554432000 1073741824 1073778376 140735669583600 18446744073709551615 252469881753 0 4 0 16800975 18446604471129391424 0 0 -1 5 0 0 0
[pid=23754/tid=23762] ppid=23752 vsize=10556772 CPUtime=0 cores=1,3,5,7
/proc/23754/task/23762/stat : 23762 (java) S 23752 23754 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953558906 10810134528 506111 33554432000 1073741824 1073778376 140735669583600 18446744073709551615 252469881753 0 4 0 16800975 18446604471129391424 0 0 -1 5 0 0 0
[pid=23754/tid=23763] ppid=23752 vsize=10556772 CPUtime=0 cores=1,3,5,7
/proc/23754/task/23763/stat : 23763 (java) S 23752 23754 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953558906 10810134528 506113 33554432000 1073741824 1073778376 140735669583600 18446744073709551615 252469881753 0 4 0 16800975 18446604471129391424 0 0 -1 5 0 0 0
[pid=23754/tid=23764] ppid=23752 vsize=10556772 CPUtime=0 cores=1,3,5,7
/proc/23754/task/23764/stat : 23764 (java) S 23752 23754 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953558906 10810134528 506115 33554432000 1073741824 1073778376 140735669583600 18446744073709551615 252469881753 0 4 0 16800975 18446604471129391424 0 0 -1 5 0 0 0
[pid=23754/tid=23765] ppid=23752 vsize=10556772 CPUtime=0 cores=1,3,5,7
/proc/23754/task/23765/stat : 23765 (java) S 23752 23754 23633 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 953558907 10810134528 506117 33554432000 1073741824 1073778376 140735669583600 18446744073709551615 252469882368 0 0 0 16800975 18446604471129391424 0 0 -1 1 0 0 0
[pid=23754/tid=23766] ppid=23752 vsize=10556772 CPUtime=0 cores=1,3,5,7
/proc/23754/task/23766/stat : 23766 (java) S 23752 23754 23633 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 953558908 10810134528 506119 33554432000 1073741824 1073778376 140735669583600 18446744073709551615 252469881753 0 4 0 16800975 18446604471129391424 0 0 -1 5 0 0 0
[pid=23754/tid=23767] ppid=23752 vsize=10556772 CPUtime=0 cores=1,3,5,7
/proc/23754/task/23767/stat : 23767 (java) S 23752 23754 23633 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 953558908 10810134528 506121 33554432000 1073741824 1073778376 140735669583600 18446744073709551615 252469881753 0 4 0 16800975 18446604471129391424 0 0 -1 5 0 0 0
[pid=23754/tid=23768] ppid=23752 vsize=10556772 CPUtime=0 cores=1,3,5,7
/proc/23754/task/23768/stat : 23768 (java) S 23752 23754 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953558910 10810134528 506123 33554432000 1073741824 1073778376 140735669583600 18446744073709551615 252469889457 0 4 0 16800975 18446604471129391424 0 0 -1 5 0 0 0
[pid=23754/tid=23769] ppid=23752 vsize=10556772 CPUtime=0.58 cores=1,3,5,7
/proc/23754/task/23769/stat : 23769 (java) S 23752 23754 23633 0 -1 4202560 5336 0 0 0 58 0 0 0 20 0 19 0 953558910 10810134528 506125 33554432000 1073741824 1073778376 140735669583600 18446744073709551615 252469881753 0 4 0 16800975 18446604471129391424 0 0 -1 7 0 0 0
[pid=23754/tid=23770] ppid=23752 vsize=10556772 CPUtime=0.65 cores=1,3,5,7
/proc/23754/task/23770/stat : 23770 (java) S 23752 23754 23633 0 -1 4202560 7170 0 0 0 64 1 0 0 15 0 19 0 953558910 10810134528 506127 33554432000 1073741824 1073778376 140735669583600 18446744073709551615 252469881753 0 4 0 16800975 18446604471129391424 0 0 -1 1 0 0 0
################
# More data... #
################
/proc/23754/task/23766/stat : 23766 (java) S 23752 23754 23633 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 953558908 10810134528 917720 33554432000 1073741824 1073778376 140735669583600 18446744073709551615 252469881753 0 4 0 16800975 18446604471129391424 0 0 -1 5 0 0 0
[pid=23754/tid=23767] ppid=23752 vsize=10556772 CPUtime=0 cores=1,3,5,7
/proc/23754/task/23767/stat : 23767 (java) S 23752 23754 23633 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 953558908 10810134528 917720 33554432000 1073741824 1073778376 140735669583600 18446744073709551615 252469881753 0 4 0 16800975 18446604471129391424 0 0 -1 5 0 0 0
[pid=23754/tid=23768] ppid=23752 vsize=10556772 CPUtime=0 cores=1,3,5,7
/proc/23754/task/23768/stat : 23768 (java) S 23752 23754 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953558910 10810134528 917720 33554432000 1073741824 1073778376 140735669583600 18446744073709551615 252469889457 0 4 0 16800975 18446604471129391424 0 0 -1 5 0 0 0
[pid=23754/tid=23769] ppid=23752 vsize=10556772 CPUtime=0.65 cores=1,3,5,7
/proc/23754/task/23769/stat : 23769 (java) S 23752 23754 23633 0 -1 4202560 5348 0 0 0 65 0 0 0 15 0 19 0 953558910 10810134528 917720 33554432000 1073741824 1073778376 140735669583600 18446744073709551615 252469881753 0 4 0 16800975 18446604471129391424 0 0 -1 3 0 0 0
[pid=23754/tid=23770] ppid=23752 vsize=10556772 CPUtime=1.2 cores=1,3,5,7
/proc/23754/task/23770/stat : 23770 (java) S 23752 23754 23633 0 -1 4202560 12506 0 0 0 119 1 0 0 15 0 19 0 953558910 10810134528 917720 33554432000 1073741824 1073778376 140735669583600 18446744073709551615 252469881753 0 4 0 16800975 18446604471129391424 0 0 -1 1 0 0 0
[pid=23754/tid=23771] ppid=23752 vsize=10556772 CPUtime=0 cores=1,3,5,7
/proc/23754/task/23771/stat : 23771 (java) S 23752 23754 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953558910 10810134528 917720 33554432000 1073741824 1073778376 140735669583600 18446744073709551615 252469881753 0 4 0 16800975 18446604471129391424 0 0 -1 5 0 0 0
[pid=23754/tid=23772] ppid=23752 vsize=10556772 CPUtime=0 cores=1,3,5,7
/proc/23754/task/23772/stat : 23772 (java) S 23752 23754 23633 0 -1 4202560 98 0 0 0 0 0 0 0 15 0 19 0 953558910 10810134528 917720 33554432000 1073741824 1073778376 140735669583600 18446744073709551615 252469882368 0 4 0 16800975 18446604471129391424 0 0 -1 5 0 0 0
[pid=23754/tid=23773] ppid=23752 vsize=10556772 CPUtime=0 cores=1,3,5,7
/proc/23754/task/23773/stat : 23773 (java) S 23752 23754 23633 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 953558926 10810134528 917720 33554432000 1073741824 1073778376 140735669583600 18446744073709551615 252469882368 0 4 0 16800975 18446604471129391424 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1666.86
Current children cumulated vsize (KiB) 10556772
[startup+1722.3 s]
/proc/loadavg: 2.00 1.99 1.69 3/211 23886
/proc/meminfo: memFree=24897756/32951124 swapFree=67062556/67111528
[pid=23754] ppid=23752 vsize=10556772 CPUtime=1726.99 cores=1,3,5,7
/proc/23754/stat : 23754 (java) S 23752 23754 23633 0 -1 4202496 929834 0 1 0 172597 102 0 0 25 0 19 0 953558904 10810134528 918594 33554432000 1073741824 1073778376 140735669583600 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/23754/statm: 2639193 918594 2259 9 0 2629927 0
[pid=23754/tid=23755] ppid=23752 vsize=10556772 CPUtime=1720.76 cores=1,3,5,7
/proc/23754/task/23755/stat : 23755 (java) R 23752 23754 23633 0 -1 4202560 836626 0 1 0 171988 88 0 0 25 0 19 0 953558904 10810134528 918594 33554432000 1073741824 1073778376 140735669583600 18446744073709551615 46912505646475 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=23754/tid=23757] ppid=23752 vsize=10556772 CPUtime=0.43 cores=1,3,5,7
/proc/23754/task/23757/stat : 23757 (java) S 23752 23754 23633 0 -1 4202560 6841 0 0 0 43 0 0 0 16 0 19 0 953558906 10810134528 918594 33554432000 1073741824 1073778376 140735669583600 18446744073709551615 252469881753 0 4 0 16800975 18446604471129391424 0 0 -1 7 0 0 0
[pid=23754/tid=23758] ppid=23752 vsize=10556772 CPUtime=0.57 cores=1,3,5,7
/proc/23754/task/23758/stat : 23758 (java) S 23752 23754 23633 0 -1 4202560 9190 0 0 0 57 0 0 0 16 0 19 0 953558906 10810134528 918594 33554432000 1073741824 1073778376 140735669583600 18446744073709551615 252469881753 0 4 0 16800975 18446604471129391424 0 0 -1 1 0 0 0
[pid=23754/tid=23759] ppid=23752 vsize=10556772 CPUtime=0.55 cores=1,3,5,7
/proc/23754/task/23759/stat : 23759 (java) S 23752 23754 23633 0 -1 4202560 9537 0 0 0 54 1 0 0 15 0 19 0 953558906 10810134528 918594 33554432000 1073741824 1073778376 140735669583600 18446744073709551615 252469881753 0 4 0 16800975 18446604471129391424 0 0 -1 7 0 0 0
[pid=23754/tid=23760] ppid=23752 vsize=10556772 CPUtime=0.48 cores=1,3,5,7
/proc/23754/task/23760/stat : 23760 (java) S 23752 23754 23633 0 -1 4202560 6029 0 0 0 48 0 0 0 15 0 19 0 953558906 10810134528 918594 33554432000 1073741824 1073778376 140735669583600 18446744073709551615 252469881753 0 4 0 16800975 18446604471129391424 0 0 -1 5 0 0 0
[pid=23754/tid=23761] ppid=23752 vsize=10556772 CPUtime=0.44 cores=1,3,5,7
/proc/23754/task/23761/stat : 23761 (java) S 23752 23754 23633 0 -1 4202560 8133 0 0 0 43 1 0 0 15 0 19 0 953558906 10810134528 918594 33554432000 1073741824 1073778376 140735669583600 18446744073709551615 252469881753 0 4 0 16800975 18446604471129391424 0 0 -1 3 0 0 0
[pid=23754/tid=23762] ppid=23752 vsize=10556772 CPUtime=0.5 cores=1,3,5,7
/proc/23754/task/23762/stat : 23762 (java) S 23752 23754 23633 0 -1 4202560 9697 0 0 0 49 1 0 0 16 0 19 0 953558906 10810134528 918594 33554432000 1073741824 1073778376 140735669583600 18446744073709551615 252469881753 0 4 0 16800975 18446604471129391424 0 0 -1 5 0 0 0
[pid=23754/tid=23763] ppid=23752 vsize=10556772 CPUtime=0.45 cores=1,3,5,7
/proc/23754/task/23763/stat : 23763 (java) S 23752 23754 23633 0 -1 4202560 8849 0 0 0 45 0 0 0 16 0 19 0 953558906 10810134528 918594 33554432000 1073741824 1073778376 140735669583600 18446744073709551615 252469881753 0 4 0 16800975 18446604471129391424 0 0 -1 3 0 0 0
[pid=23754/tid=23764] ppid=23752 vsize=10556772 CPUtime=0.53 cores=1,3,5,7
/proc/23754/task/23764/stat : 23764 (java) S 23752 23754 23633 0 -1 4202560 11835 0 0 0 52 1 0 0 15 0 19 0 953558906 10810134528 918594 33554432000 1073741824 1073778376 140735669583600 18446744073709551615 252469881753 0 4 0 16800975 18446604471129391424 0 0 -1 1 0 0 0
[pid=23754/tid=23765] ppid=23752 vsize=10556772 CPUtime=0.3 cores=1,3,5,7
/proc/23754/task/23765/stat : 23765 (java) S 23752 23754 23633 0 -1 4202560 3991 0 0 0 29 1 0 0 15 0 19 0 953558907 10810134528 918594 33554432000 1073741824 1073778376 140735669583600 18446744073709551615 252469882368 0 0 0 16800975 18446604471129391424 0 0 -1 5 0 0 0
[pid=23754/tid=23766] ppid=23752 vsize=10556772 CPUtime=0 cores=1,3,5,7
/proc/23754/task/23766/stat : 23766 (java) S 23752 23754 23633 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 953558908 10810134528 918594 33554432000 1073741824 1073778376 140735669583600 18446744073709551615 252469881753 0 4 0 16800975 18446604471129391424 0 0 -1 5 0 0 0
[pid=23754/tid=23767] ppid=23752 vsize=10556772 CPUtime=0 cores=1,3,5,7
/proc/23754/task/23767/stat : 23767 (java) S 23752 23754 23633 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 953558908 10810134528 918594 33554432000 1073741824 1073778376 140735669583600 18446744073709551615 252469881753 0 4 0 16800975 18446604471129391424 0 0 -1 5 0 0 0
[pid=23754/tid=23768] ppid=23752 vsize=10556772 CPUtime=0 cores=1,3,5,7
/proc/23754/task/23768/stat : 23768 (java) S 23752 23754 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953558910 10810134528 918594 33554432000 1073741824 1073778376 140735669583600 18446744073709551615 252469889457 0 4 0 16800975 18446604471129391424 0 0 -1 5 0 0 0
[pid=23754/tid=23769] ppid=23752 vsize=10556772 CPUtime=0.65 cores=1,3,5,7
/proc/23754/task/23769/stat : 23769 (java) S 23752 23754 23633 0 -1 4202560 5348 0 0 0 65 0 0 0 15 0 19 0 953558910 10810134528 918594 33554432000 1073741824 1073778376 140735669583600 18446744073709551615 252469881753 0 4 0 16800975 18446604471129391424 0 0 -1 3 0 0 0
[pid=23754/tid=23770] ppid=23752 vsize=10556772 CPUtime=1.2 cores=1,3,5,7
/proc/23754/task/23770/stat : 23770 (java) S 23752 23754 23633 0 -1 4202560 12506 0 0 0 119 1 0 0 15 0 19 0 953558910 10810134528 918594 33554432000 1073741824 1073778376 140735669583600 18446744073709551615 252469881753 0 4 0 16800975 18446604471129391424 0 0 -1 1 0 0 0
[pid=23754/tid=23771] ppid=23752 vsize=10556772 CPUtime=0 cores=1,3,5,7
/proc/23754/task/23771/stat : 23771 (java) S 23752 23754 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953558910 10810134528 918594 33554432000 1073741824 1073778376 140735669583600 18446744073709551615 252469881753 0 4 0 16800975 18446604471129391424 0 0 -1 5 0 0 0
[pid=23754/tid=23772] ppid=23752 vsize=10556772 CPUtime=0 cores=1,3,5,7
/proc/23754/task/23772/stat : 23772 (java) S 23752 23754 23633 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 953558910 10810134528 918594 33554432000 1073741824 1073778376 140735669583600 18446744073709551615 252469882368 0 4 0 16800975 18446604471129391424 0 0 -1 5 0 0 0
[pid=23754/tid=23773] ppid=23752 vsize=10556772 CPUtime=0 cores=1,3,5,7
/proc/23754/task/23773/stat : 23773 (java) S 23752 23754 23633 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 953558926 10810134528 918594 33554432000 1073741824 1073778376 140735669583600 18446744073709551615 252469882368 0 4 0 16800975 18446604471129391424 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1726.99
Current children cumulated vsize (KiB) 10556772
[startup+1782.3 s]
/proc/loadavg: 2.25 2.05 1.73 3/211 23887
/proc/meminfo: memFree=24890016/32951124 swapFree=67062556/67111528
[pid=23754] ppid=23752 vsize=10556772 CPUtime=1787.16 cores=1,3,5,7
/proc/23754/stat : 23754 (java) S 23752 23754 23633 0 -1 4202496 930737 0 1 0 178614 102 0 0 25 0 19 0 953558904 10810134528 919473 33554432000 1073741824 1073778376 140735669583600 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/23754/statm: 2639193 919473 2259 9 0 2629927 0
[pid=23754/tid=23755] ppid=23752 vsize=10556772 CPUtime=1780.4 cores=1,3,5,7
/proc/23754/task/23755/stat : 23755 (java) R 23752 23754 23633 0 -1 4202560 836630 0 1 0 177952 88 0 0 25 0 19 0 953558904 10810134528 919473 33554432000 1073741824 1073778376 140735669583600 18446744073709551615 46912505719976 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=23754/tid=23757] ppid=23752 vsize=10556772 CPUtime=0.47 cores=1,3,5,7
/proc/23754/task/23757/stat : 23757 (java) S 23752 23754 23633 0 -1 4202560 6888 0 0 0 47 0 0 0 16 0 19 0 953558906 10810134528 919473 33554432000 1073741824 1073778376 140735669583600 18446744073709551615 252469881753 0 4 0 16800975 18446604471129391424 0 0 -1 3 0 0 0
[pid=23754/tid=23758] ppid=23752 vsize=10556772 CPUtime=0.6 cores=1,3,5,7
/proc/23754/task/23758/stat : 23758 (java) S 23752 23754 23633 0 -1 4202560 9277 0 0 0 60 0 0 0 16 0 19 0 953558906 10810134528 919473 33554432000 1073741824 1073778376 140735669583600 18446744073709551615 252469881753 0 4 0 16800975 18446604471129391424 0 0 -1 5 0 0 0
[pid=23754/tid=23759] ppid=23752 vsize=10556772 CPUtime=0.57 cores=1,3,5,7
/proc/23754/task/23759/stat : 23759 (java) S 23752 23754 23633 0 -1 4202560 9594 0 0 0 56 1 0 0 16 0 19 0 953558906 10810134528 919473 33554432000 1073741824 1073778376 140735669583600 18446744073709551615 252469881753 0 4 0 16800975 18446604471129391424 0 0 -1 7 0 0 0
[pid=23754/tid=23760] ppid=23752 vsize=10556772 CPUtime=0.51 cores=1,3,5,7
/proc/23754/task/23760/stat : 23760 (java) S 23752 23754 23633 0 -1 4202560 6105 0 0 0 51 0 0 0 16 0 19 0 953558906 10810134528 919473 33554432000 1073741824 1073778376 140735669583600 18446744073709551615 252469881753 0 4 0 16800975 18446604471129391424 0 0 -1 1 0 0 0
[pid=23754/tid=23761] ppid=23752 vsize=10556772 CPUtime=0.46 cores=1,3,5,7
/proc/23754/task/23761/stat : 23761 (java) S 23752 23754 23633 0 -1 4202560 8242 0 0 0 45 1 0 0 15 0 19 0 953558906 10810134528 919473 33554432000 1073741824 1073778376 140735669583600 18446744073709551615 252469881753 0 4 0 16800975 18446604471129391424 0 0 -1 3 0 0 0
[pid=23754/tid=23762] ppid=23752 vsize=10556772 CPUtime=0.51 cores=1,3,5,7
/proc/23754/task/23762/stat : 23762 (java) S 23752 23754 23633 0 -1 4202560 9743 0 0 0 50 1 0 0 15 0 19 0 953558906 10810134528 919473 33554432000 1073741824 1073778376 140735669583600 18446744073709551615 252469881753 0 4 0 16800975 18446604471129391424 0 0 -1 1 0 0 0
[pid=23754/tid=23763] ppid=23752 vsize=10556772 CPUtime=0.46 cores=1,3,5,7
/proc/23754/task/23763/stat : 23763 (java) S 23752 23754 23633 0 -1 4202560 8849 0 0 0 46 0 0 0 15 0 19 0 953558906 10810134528 919473 33554432000 1073741824 1073778376 140735669583600 18446744073709551615 252469881753 0 4 0 16800975 18446604471129391424 0 0 -1 3 0 0 0
[pid=23754/tid=23764] ppid=23752 vsize=10556772 CPUtime=0.55 cores=1,3,5,7
/proc/23754/task/23764/stat : 23764 (java) S 23752 23754 23633 0 -1 4202560 11999 0 0 0 54 1 0 0 15 0 19 0 953558906 10810134528 919473 33554432000 1073741824 1073778376 140735669583600 18446744073709551615 252469881753 0 4 0 16800975 18446604471129391424 0 0 -1 1 0 0 0
[pid=23754/tid=23765] ppid=23752 vsize=10556772 CPUtime=0.6 cores=1,3,5,7
/proc/23754/task/23765/stat : 23765 (java) S 23752 23754 23633 0 -1 4202560 4297 0 0 0 59 1 0 0 15 0 19 0 953558907 10810134528 919473 33554432000 1073741824 1073778376 140735669583600 18446744073709551615 252469882368 0 0 0 16800975 18446604471129391424 0 0 -1 5 0 0 0
[pid=23754/tid=23766] ppid=23752 vsize=10556772 CPUtime=0 cores=1,3,5,7
/proc/23754/task/23766/stat : 23766 (java) S 23752 23754 23633 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 953558908 10810134528 919473 33554432000 1073741824 1073778376 140735669583600 18446744073709551615 252469881753 0 4 0 16800975 18446604471129391424 0 0 -1 5 0 0 0
[pid=23754/tid=23767] ppid=23752 vsize=10556772 CPUtime=0 cores=1,3,5,7
/proc/23754/task/23767/stat : 23767 (java) S 23752 23754 23633 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 953558908 10810134528 919473 33554432000 1073741824 1073778376 140735669583600 18446744073709551615 252469881753 0 4 0 16800975 18446604471129391424 0 0 -1 5 0 0 0
[pid=23754/tid=23768] ppid=23752 vsize=10556772 CPUtime=0 cores=1,3,5,7
/proc/23754/task/23768/stat : 23768 (java) S 23752 23754 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953558910 10810134528 919473 33554432000 1073741824 1073778376 140735669583600 18446744073709551615 252469889457 0 4 0 16800975 18446604471129391424 0 0 -1 5 0 0 0
[pid=23754/tid=23769] ppid=23752 vsize=10556772 CPUtime=0.65 cores=1,3,5,7
/proc/23754/task/23769/stat : 23769 (java) S 23752 23754 23633 0 -1 4202560 5348 0 0 0 65 0 0 0 15 0 19 0 953558910 10810134528 919473 33554432000 1073741824 1073778376 140735669583600 18446744073709551615 252469881753 0 4 0 16800975 18446604471129391424 0 0 -1 3 0 0 0
[pid=23754/tid=23770] ppid=23752 vsize=10556772 CPUtime=1.22 cores=1,3,5,7
/proc/23754/task/23770/stat : 23770 (java) S 23752 23754 23633 0 -1 4202560 12511 0 0 0 121 1 0 0 15 0 19 0 953558910 10810134528 919473 33554432000 1073741824 1073778376 140735669583600 18446744073709551615 252469881753 0 4 0 16800975 18446604471129391424 0 0 -1 1 0 0 0
[pid=23754/tid=23771] ppid=23752 vsize=10556772 CPUtime=0 cores=1,3,5,7
/proc/23754/task/23771/stat : 23771 (java) S 23752 23754 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953558910 10810134528 919473 33554432000 1073741824 1073778376 140735669583600 18446744073709551615 252469881753 0 4 0 16800975 18446604471129391424 0 0 -1 5 0 0 0
[pid=23754/tid=23772] ppid=23752 vsize=10556772 CPUtime=0 cores=1,3,5,7
/proc/23754/task/23772/stat : 23772 (java) S 23752 23754 23633 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 953558910 10810134528 919473 33554432000 1073741824 1073778376 140735669583600 18446744073709551615 252469882368 0 4 0 16800975 18446604471129391424 0 0 -1 1 0 0 0
[pid=23754/tid=23773] ppid=23752 vsize=10556772 CPUtime=0 cores=1,3,5,7
/proc/23754/task/23773/stat : 23773 (java) S 23752 23754 23633 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 953558926 10810134528 919473 33554432000 1073741824 1073778376 140735669583600 18446744073709551615 252469882368 0 4 0 16800975 18446604471129391424 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1787.16
Current children cumulated vsize (KiB) 10556772
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1795.21 s]
/proc/loadavg: 2.19 2.05 1.73 3/211 23888
/proc/meminfo: memFree=24889624/32951124 swapFree=67062556/67111528
[pid=23754] ppid=23752 vsize=10556772 CPUtime=1800.1 cores=1,3,5,7
/proc/23754/stat : 23754 (java) S 23752 23754 23633 0 -1 4202496 930918 0 1 0 179908 102 0 0 25 0 19 0 953558904 10810134528 919644 33554432000 1073741824 1073778376 140735669583600 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/23754/statm: 2639193 919644 2259 9 0 2629927 0
[pid=23754/tid=23755] ppid=23752 vsize=10556772 CPUtime=1793.31 cores=1,3,5,7
/proc/23754/task/23755/stat : 23755 (java) R 23752 23754 23633 0 -1 4202560 836631 0 1 0 179243 88 0 0 25 0 19 0 953558904 10810134528 919644 33554432000 1073741824 1073778376 140735669583600 18446744073709551615 46912505719607 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=23754/tid=23757] ppid=23752 vsize=10556772 CPUtime=0.47 cores=1,3,5,7
/proc/23754/task/23757/stat : 23757 (java) S 23752 23754 23633 0 -1 4202560 6888 0 0 0 47 0 0 0 15 0 19 0 953558906 10810134528 919644 33554432000 1073741824 1073778376 140735669583600 18446744073709551615 252469881753 0 4 0 16800975 18446604471129391424 0 0 -1 3 0 0 0
[pid=23754/tid=23758] ppid=23752 vsize=10556772 CPUtime=0.6 cores=1,3,5,7
/proc/23754/task/23758/stat : 23758 (java) S 23752 23754 23633 0 -1 4202560 9277 0 0 0 60 0 0 0 16 0 19 0 953558906 10810134528 919644 33554432000 1073741824 1073778376 140735669583600 18446744073709551615 252469881753 0 4 0 16800975 18446604471129391424 0 0 -1 5 0 0 0
[pid=23754/tid=23759] ppid=23752 vsize=10556772 CPUtime=0.58 cores=1,3,5,7
/proc/23754/task/23759/stat : 23759 (java) S 23752 23754 23633 0 -1 4202560 9679 0 0 0 57 1 0 0 16 0 19 0 953558906 10810134528 919644 33554432000 1073741824 1073778376 140735669583600 18446744073709551615 252469881753 0 4 0 16800975 18446604471129391424 0 0 -1 1 0 0 0
[pid=23754/tid=23760] ppid=23752 vsize=10556772 CPUtime=0.51 cores=1,3,5,7
/proc/23754/task/23760/stat : 23760 (java) S 23752 23754 23633 0 -1 4202560 6105 0 0 0 51 0 0 0 15 0 19 0 953558906 10810134528 919644 33554432000 1073741824 1073778376 140735669583600 18446744073709551615 252469881753 0 4 0 16800975 18446604471129391424 0 0 -1 1 0 0 0
[pid=23754/tid=23761] ppid=23752 vsize=10556772 CPUtime=0.47 cores=1,3,5,7
/proc/23754/task/23761/stat : 23761 (java) S 23752 23754 23633 0 -1 4202560 8298 0 0 0 46 1 0 0 16 0 19 0 953558906 10810134528 919644 33554432000 1073741824 1073778376 140735669583600 18446744073709551615 252469881753 0 4 0 16800975 18446604471129391424 0 0 -1 3 0 0 0
[pid=23754/tid=23762] ppid=23752 vsize=10556772 CPUtime=0.51 cores=1,3,5,7
/proc/23754/task/23762/stat : 23762 (java) S 23752 23754 23633 0 -1 4202560 9743 0 0 0 50 1 0 0 15 0 19 0 953558906 10810134528 919644 33554432000 1073741824 1073778376 140735669583600 18446744073709551615 252469881753 0 4 0 16800975 18446604471129391424 0 0 -1 1 0 0 0
[pid=23754/tid=23763] ppid=23752 vsize=10556772 CPUtime=0.47 cores=1,3,5,7
/proc/23754/task/23763/stat : 23763 (java) S 23752 23754 23633 0 -1 4202560 8858 0 0 0 47 0 0 0 16 0 19 0 953558906 10810134528 919644 33554432000 1073741824 1073778376 140735669583600 18446744073709551615 252469881753 0 4 0 16800975 18446604471129391424 0 0 -1 5 0 0 0
[pid=23754/tid=23764] ppid=23752 vsize=10556772 CPUtime=0.57 cores=1,3,5,7
/proc/23754/task/23764/stat : 23764 (java) S 23752 23754 23633 0 -1 4202560 12027 0 0 0 56 1 0 0 16 0 19 0 953558906 10810134528 919644 33554432000 1073741824 1073778376 140735669583600 18446744073709551615 252469881753 0 4 0 16800975 18446604471129391424 0 0 -1 1 0 0 0
[pid=23754/tid=23765] ppid=23752 vsize=10556772 CPUtime=0.6 cores=1,3,5,7
/proc/23754/task/23765/stat : 23765 (java) S 23752 23754 23633 0 -1 4202560 4297 0 0 0 59 1 0 0 15 0 19 0 953558907 10810134528 919644 33554432000 1073741824 1073778376 140735669583600 18446744073709551615 252469882368 0 0 0 16800975 18446604471129391424 0 0 -1 5 0 0 0
[pid=23754/tid=23766] ppid=23752 vsize=10556772 CPUtime=0 cores=1,3,5,7
/proc/23754/task/23766/stat : 23766 (java) S 23752 23754 23633 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 953558908 10810134528 919644 33554432000 1073741824 1073778376 140735669583600 18446744073709551615 252469881753 0 4 0 16800975 18446604471129391424 0 0 -1 5 0 0 0
[pid=23754/tid=23767] ppid=23752 vsize=10556772 CPUtime=0 cores=1,3,5,7
/proc/23754/task/23767/stat : 23767 (java) S 23752 23754 23633 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 953558908 10810134528 919644 33554432000 1073741824 1073778376 140735669583600 18446744073709551615 252469881753 0 4 0 16800975 18446604471129391424 0 0 -1 5 0 0 0
[pid=23754/tid=23768] ppid=23752 vsize=10556772 CPUtime=0 cores=1,3,5,7
/proc/23754/task/23768/stat : 23768 (java) S 23752 23754 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953558910 10810134528 919644 33554432000 1073741824 1073778376 140735669583600 18446744073709551615 252469889457 0 4 0 16800975 18446604471129391424 0 0 -1 5 0 0 0
[pid=23754/tid=23769] ppid=23752 vsize=10556772 CPUtime=0.65 cores=1,3,5,7
/proc/23754/task/23769/stat : 23769 (java) S 23752 23754 23633 0 -1 4202560 5348 0 0 0 65 0 0 0 15 0 19 0 953558910 10810134528 919644 33554432000 1073741824 1073778376 140735669583600 18446744073709551615 252469881753 0 4 0 16800975 18446604471129391424 0 0 -1 3 0 0 0
[pid=23754/tid=23770] ppid=23752 vsize=10556772 CPUtime=1.22 cores=1,3,5,7
/proc/23754/task/23770/stat : 23770 (java) S 23752 23754 23633 0 -1 4202560 12511 0 0 0 121 1 0 0 15 0 19 0 953558910 10810134528 919644 33554432000 1073741824 1073778376 140735669583600 18446744073709551615 252469881753 0 4 0 16800975 18446604471129391424 0 0 -1 1 0 0 0
[pid=23754/tid=23771] ppid=23752 vsize=10556772 CPUtime=0 cores=1,3,5,7
/proc/23754/task/23771/stat : 23771 (java) S 23752 23754 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953558910 10810134528 919644 33554432000 1073741824 1073778376 140735669583600 18446744073709551615 252469881753 0 4 0 16800975 18446604471129391424 0 0 -1 5 0 0 0
[pid=23754/tid=23772] ppid=23752 vsize=10556772 CPUtime=0 cores=1,3,5,7
/proc/23754/task/23772/stat : 23772 (java) S 23752 23754 23633 0 -1 4202560 106 0 0 0 0 0 0 0 15 0 19 0 953558910 10810134528 919644 33554432000 1073741824 1073778376 140735669583600 18446744073709551615 252469882368 0 4 0 16800975 18446604471129391424 0 0 -1 1 0 0 0
[pid=23754/tid=23773] ppid=23752 vsize=10556772 CPUtime=0 cores=1,3,5,7
/proc/23754/task/23773/stat : 23773 (java) S 23752 23754 23633 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 953558926 10810134528 919644 33554432000 1073741824 1073778376 140735669583600 18446744073709551615 252469882368 0 4 0 16800975 18446604471129391424 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 10556772
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1795.31 s]
/proc/loadavg: 2.19 2.05 1.73 3/211 23888
/proc/meminfo: memFree=24889624/32951124 swapFree=67062556/67111528
[pid=23754] ppid=23752 vsize=0 CPUtime=1800.22 cores=1,3,5,7
/proc/23754/stat : 23754 (java) Z 23752 23754 23633 0 -1 4203548 930956 0 1 0 179912 110 0 0 17 0 2 0 953558904 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/23754/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.22
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1795.37
CPU time (s): 1800.28
CPU user time (s): 1799.12
CPU system time (s): 1.15682
CPU usage (%): 100.274
Max. virtual memory (cumulated for all children) (KiB): 10558876
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.12
system time used= 1.15682
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 930956
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= 39557
involuntary context switches= 16748
runsolver used 2.92056 second user time and 6.88995 second system time
The end