runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
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-4246657-1500716625/watcher-4246657-1500716625 -o /tmp/evaluation-result-4246657-1500716625/solver-4246657-1500716625 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node129-1500716625-14915 --watchdog 2560 bin/concrete HOME/instance-4246657-1500716625.xml
pid=14937
running on 8 cores: 1,3,5,7,9,11,13,15
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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: 8192 KiB
[startup+0 s]
/proc/loadavg: 1.70 1.71 1.83 4/242 14940
/proc/meminfo: memFree=31791128/32770624 swapFree=5780/146412
[pid=14940] ppid=14937 vsize=1232 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14940/stat : 14940 (bash) R 14937 14940 14883 0 -1 4194304 283 0 1 0 0 0 0 0 20 0 1 0 6929908 1261568 1 33554432000 4194304 5098028 140730175526448 140730175526448 139704222134474 0 0 4096 0 0 0 0 17 9 0 0 1 0 0 7196144 7232144 13094912 140730175530254 140730175530339 140730175530339 140730175533038 0
/proc/14940/statm: 309 1 0 221 0 44 0
[startup+0.100131 s]
/proc/loadavg: 1.70 1.71 1.83 4/242 14940
/proc/meminfo: memFree=31791128/32770624 swapFree=5780/146412
[pid=14940] ppid=14937 vsize=9640 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/14940/stat : 14940 (bash) S 14937 14940 14883 0 -1 4202496 883 6412 1 1 0 0 0 1 20 0 1 0 6929908 9871360 378 33554432000 4194304 5098028 140730175526448 140730175520456 139704214760448 0 0 4100 65536 18446744071580971376 0 0 17 9 0 0 1 0 0 7196144 7232144 13094912 140730175530254 140730175530339 140730175530339 140730175533038 0
/proc/14940/statm: 2410 378 296 221 0 119 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9640
[startup+0.20031 s]
/proc/loadavg: 1.70 1.71 1.83 4/242 14940
/proc/meminfo: memFree=31791128/32770624 swapFree=5780/146412
[pid=14940] ppid=14937 vsize=10302732 CPUtime=0.16 cores=1,3,5,7,9,11,13,15
/proc/14940/stat : 14940 (java) S 14937 14940 14883 0 -1 1077944320 4591 12554 1 1 3 1 9 3 20 0 11 0 6929908 10549997568 5002 33554432000 4194304 4196468 140720814933600 140720814916144 139788751392503 0 0 0 16784584 18446744073709551615 0 0 17 11 0 0 1 0 0 6293624 6294260 26304512 140720814938817 140720814941591 140720814941591 140720814944207 0
/proc/14940/statm: 2575683 5002 2057 1 0 2564121 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 10302732
[startup+0.300279 s]
/proc/loadavg: 1.70 1.71 1.83 4/242 14940
/proc/meminfo: memFree=31791128/32770624 swapFree=5780/146412
[pid=14940] ppid=14937 vsize=10902292 CPUtime=0.32 cores=1,3,5,7,9,11,13,15
/proc/14940/stat : 14940 (java) S 14937 14940 14883 0 -1 1077944320 6613 12554 1 1 18 2 9 3 20 0 20 0 6929908 11163947008 7903 33554432000 4194304 4196468 140720814933600 140720814916144 139788751392503 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 1 0 0 6293624 6294260 26304512 140720814938817 140720814941591 140720814941591 140720814944207 0
/proc/14940/statm: 2725573 7903 2962 1 0 2713890 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 10902292
[startup+0.700292 s]
/proc/loadavg: 1.70 1.71 1.83 4/242 14940
/proc/meminfo: memFree=31791128/32770624 swapFree=5780/146412
[pid=14940] ppid=14937 vsize=10902720 CPUtime=0.86 cores=1,3,5,7,9,11,13,15
/proc/14940/stat : 14940 (java) S 14937 14940 14883 0 -1 1077944320 12037 12554 1 1 69 5 9 3 20 0 20 0 6929908 11164385280 14850 33554432000 4194304 4196468 140720814933600 140720814916144 139788751392503 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 1 0 0 6293624 6294260 26304512 140720814938817 140720814941591 140720814941591 140720814944207 0
/proc/14940/statm: 2725680 14850 3142 1 0 2713890 0
Current children cumulated CPU time (s) 0.86
Current children cumulated vsize (KiB) 10902720
[startup+1.50413 s]
/proc/loadavg: 1.70 1.71 1.83 5/284 15091
/proc/meminfo: memFree=31596208/32770624 swapFree=5780/147896
[pid=14940] ppid=14937 vsize=10913344 CPUtime=2.13 cores=1,3,5,7,9,11,13,15
/proc/14940/stat : 14940 (java) S 14937 14940 14883 0 -1 1077944320 25424 12554 1 1 187 14 9 3 20 0 20 0 6929908 11175264256 40875 33554432000 4194304 4196468 140720814933600 140720814916144 139788751392503 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 1 0 0 6293624 6294260 26304512 140720814938817 140720814941591 140720814941591 140720814944207 0
/proc/14940/statm: 2728336 40875 3379 1 0 2716450 0
[pid=14940/tid=15054] ppid=14937 vsize=10913344 CPUtime=1.37 cores=1,3,5,7,9,11,13,15
/proc/14940/task/15054/stat : 15054 (java) S 14937 14940 14883 0 -1 1077944384 19127 12554 0 1 119 6 9 3 20 0 20 0 6929924 11175264256 40875 33554432000 4194304 4196468 140720814933600 139788755612080 139788751402709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 26304512 140720814938817 140720814941591 140720814941591 140720814944207 0
[pid=14940/tid=15057] ppid=14937 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/14940/task/15057/stat : 15057 (java) S 14937 14940 14883 0 -1 1077944384 27 12554 0 1 0 0 9 3 20 0 20 0 6929925 11175264256 40875 33554432000 4194304 4196468 140720814933600 139788357917328 139788751402709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26304512 140720814938817 140720814941591 140720814941591 140720814944207 0
[pid=14940/tid=15059] ppid=14937 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/14940/task/15059/stat : 15059 (java) S 14937 14940 14883 0 -1 1077944384 10 12554 0 1 0 0 9 3 20 0 20 0 6929925 11175264256 40875 33554432000 4194304 4196468 140720814933600 139788356864528 139788751402709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26304512 140720814938817 140720814941591 140720814941591 140720814944207 0
[pid=14940/tid=15061] ppid=14937 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/14940/task/15061/stat : 15061 (java) S 14937 14940 14883 0 -1 1077944384 28 12554 0 1 0 0 9 3 20 0 20 0 6929925 11175264256 40875 33554432000 4194304 4196468 140720814933600 139788355811728 139788751402709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26304512 140720814938817 140720814941591 140720814941591 140720814944207 0
[pid=14940/tid=15064] ppid=14937 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/14940/task/15064/stat : 15064 (java) S 14937 14940 14883 0 -1 1077944384 53 12554 0 1 0 0 9 3 20 0 20 0 6929925 11175264256 40875 33554432000 4194304 4196468 140720814933600 139788354758928 139788751402709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26304512 140720814938817 140720814941591 140720814941591 140720814944207 0
[pid=14940/tid=15066] ppid=14937 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/14940/task/15066/stat : 15066 (java) S 14937 14940 14883 0 -1 1077944384 129 12554 0 1 0 0 9 3 20 0 20 0 6929925 11175264256 40875 33554432000 4194304 4196468 140720814933600 139788353707152 139788751402709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26304512 140720814938817 140720814941591 140720814941591 140720814944207 0
[pid=14940/tid=15068] ppid=14937 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/14940/task/15068/stat : 15068 (java) S 14937 14940 14883 0 -1 1077944384 15 12554 0 1 0 0 9 3 20 0 20 0 6929925 11175264256 40875 33554432000 4194304 4196468 140720814933600 139788352654352 139788751402709 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 26304512 140720814938817 140720814941591 140720814941591 140720814944207 0
[pid=14940/tid=15070] ppid=14937 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/14940/task/15070/stat : 15070 (java) S 14937 14940 14883 0 -1 1077944384 26 12554 0 1 0 0 9 3 20 0 20 0 6929925 11175264256 40875 33554432000 4194304 4196468 140720814933600 139788351601552 139788751402709 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 26304512 140720814938817 140720814941591 140720814941591 140720814944207 0
[pid=14940/tid=15071] ppid=14937 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/14940/task/15071/stat : 15071 (java) S 14937 14940 14883 0 -1 1077944384 15 12554 0 1 0 0 9 3 20 0 20 0 6929925 11175264256 40875 33554432000 4194304 4196468 140720814933600 139788350548752 139788751402709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26304512 140720814938817 140720814941591 140720814941591 140720814944207 0
[pid=14940/tid=15073] ppid=14937 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/14940/task/15073/stat : 15073 (java) R 14937 14940 14883 0 -1 4202560 52 12554 0 1 0 0 9 3 20 0 20 0 6929928 11175264256 40875 33554432000 4194304 4196468 140720814933600 139788225045184 139788731587194 0 0 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 26304512 140720814938817 140720814941591 140720814941591 140720814944207 0
[pid=14940/tid=15075] ppid=14937 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/14940/task/15075/stat : 15075 (java) S 14937 14940 14883 0 -1 1077944384 33 12554 0 1 0 0 9 3 20 0 20 0 6929928 11175264256 40875 33554432000 4194304 4196468 140720814933600 139788223992864 139788751402709 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 26304512 140720814938817 140720814941591 140720814941591 140720814944207 0
[pid=14940/tid=15077] ppid=14937 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/14940/task/15077/stat : 15077 (java) S 14937 14940 14883 0 -1 1077944384 21 12554 0 1 0 0 9 3 20 0 20 0 6929929 11175264256 40875 33554432000 4194304 4196468 140720814933600 139788222940016 139788751402709 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 26304512 140720814938817 140720814941591 140720814941591 140720814944207 0
[pid=14940/tid=15085] ppid=14937 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/14940/task/15085/stat : 15085 (java) S 14937 14940 14883 0 -1 1077944384 1 12554 0 1 0 0 9 3 20 0 20 0 6929933 11175264256 40875 33554432000 4194304 4196468 140720814933600 139788221888336 139788751411099 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 26304512 140720814938817 140720814941591 140720814941591 140720814944207 0
[pid=14940/tid=15086] ppid=14937 vsize=10913344 CPUtime=0.23 cores=1,3,5,7,9,11,13,15
/proc/14940/task/15086/stat : 15086 (java) S 14937 14940 14883 0 -1 1077944384 792 12554 0 1 11 0 9 3 20 0 20 0 6929933 11175264256 40900 33554432000 4194304 4196468 140720814933600 139788220836720 139788751403650 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 26304512 140720814938817 140720814941591 140720814941591 140720814944207 0
[pid=14940/tid=15087] ppid=14937 vsize=10913344 CPUtime=0.25 cores=1,3,5,7,9,11,13,15
/proc/14940/task/15087/stat : 15087 (java) S 14937 14940 14883 0 -1 1077944384 1083 12554 0 1 13 0 9 3 20 0 20 0 6929933 11175264256 40900 33554432000 4194304 4196468 140720814933600 139788219783920 139788751403650 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26304512 140720814938817 140720814941591 140720814941591 140720814944207 0
[pid=14940/tid=15088] ppid=14937 vsize=10913344 CPUtime=0.25 cores=1,3,5,7,9,11,13,15
/proc/14940/task/15088/stat : 15088 (java) S 14937 14940 14883 0 -1 1077944384 615 12554 0 1 13 0 9 3 20 0 20 0 6929933 11175264256 40900 33554432000 4194304 4196468 140720814933600 139788218731120 139788751403650 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 26304512 140720814938817 140720814941591 140720814941591 140720814944207 0
[pid=14940/tid=15089] ppid=14937 vsize=10913344 CPUtime=0.37 cores=1,3,5,7,9,11,13,15
/proc/14940/task/15089/stat : 15089 (java) S 14937 14940 14883 0 -1 1077944384 1271 12554 0 1 25 0 9 3 20 0 20 0 6929933 11175264256 40900 33554432000 4194304 4196468 140720814933600 139788217674192 139788751402709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26304512 140720814938817 140720814941591 140720814941591 140720814944207 0
[pid=14940/tid=15090] ppid=14937 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/14940/task/15090/stat : 15090 (java) S 14937 14940 14883 0 -1 1077944384 3 12554 0 1 0 0 9 3 20 0 20 0 6929933 11175264256 40900 33554432000 4194304 4196468 140720814933600 139788216625760 139788751402709 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 26304512 140720814938817 140720814941591 140720814941591 140720814944207 0
[pid=14940/tid=15091] ppid=14937 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/14940/task/15091/stat : 15091 (java) S 14937 14940 14883 0 -1 1077944384 3 12554 0 1 0 0 9 3 20 0 20 0 6929933 11175264256 40900 33554432000 4194304 4196468 140720814933600 139788215573040 139788751403650 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26304512 140720814938817 140720814941591 140720814941591 140720814944207 0
Current children cumulated CPU time (s) 2.13
Current children cumulated vsize (KiB) 10913344
[startup+3.10119 s]
/proc/loadavg: 1.70 1.71 1.83 6/284 15091
/proc/meminfo: memFree=31437980/32770624 swapFree=5780/148752
[pid=14940] ppid=14937 vsize=10925820 CPUtime=6.56 cores=1,3,5,7,9,11,13,15
/proc/14940/stat : 14940 (java) S 14937 14940 14883 0 -1 1077944320 43764 12554 1 1 623 21 9 3 20 0 20 0 6929908 11188039680 55179 33554432000 4194304 4196468 140720814933600 140720814916144 139788751392503 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 1 0 0 6293624 6294260 26304512 140720814938817 140720814941591 140720814941591 140720814944207 0
/proc/14940/statm: 2731455 55179 3474 1 0 2719010 0
[pid=14940/tid=15054] ppid=14937 vsize=10925820 CPUtime=2.92 cores=1,3,5,7,9,11,13,15
/proc/14940/task/15054/stat : 15054 (java) R 14937 14940 14883 0 -1 4202560 25450 12554 0 1 271 9 9 3 20 0 20 0 6929924 11188039680 55179 33554432000 4194304 4196468 140720814933600 139788755619392 139788384580679 0 4 0 16800975 0 0 0 -1 1 0 0 5 0 0 6293624 6294260 26304512 140720814938817 140720814941591 140720814941591 140720814944207 0
[pid=14940/tid=15057] ppid=14937 vsize=10925820 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/14940/task/15057/stat : 15057 (java) S 14937 14940 14883 0 -1 1077944384 31 12554 0 1 1 0 9 3 20 0 20 0 6929925 11188039680 55179 33554432000 4194304 4196468 140720814933600 139788357917328 139788751402709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26304512 140720814938817 140720814941591 140720814941591 140720814944207 0
[pid=14940/tid=15059] ppid=14937 vsize=10925820 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/14940/task/15059/stat : 15059 (java) S 14937 14940 14883 0 -1 1077944384 11 12554 0 1 1 0 9 3 20 0 20 0 6929925 11188039680 55179 33554432000 4194304 4196468 140720814933600 139788356864528 139788751402709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26304512 140720814938817 140720814941591 140720814941591 140720814944207 0
[pid=14940/tid=15061] ppid=14937 vsize=10925820 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/14940/task/15061/stat : 15061 (java) S 14937 14940 14883 0 -1 1077944384 29 12554 0 1 1 0 9 3 20 0 20 0 6929925 11188039680 55179 33554432000 4194304 4196468 140720814933600 139788355811728 139788751402709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26304512 140720814938817 140720814941591 140720814941591 140720814944207 0
[pid=14940/tid=15064] ppid=14937 vsize=10925820 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/14940/task/15064/stat : 15064 (java) S 14937 14940 14883 0 -1 1077944384 54 12554 0 1 1 0 9 3 20 0 20 0 6929925 11188039680 55179 33554432000 4194304 4196468 140720814933600 139788354758928 139788751402709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26304512 140720814938817 140720814941591 140720814941591 140720814944207 0
[pid=14940/tid=15066] ppid=14937 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/14940/task/15066/stat : 15066 (java) S 14937 14940 14883 0 -1 1077944384 129 12554 0 1 0 0 9 3 20 0 20 0 6929925 11188039680 55179 33554432000 4194304 4196468 140720814933600 139788353707152 139788751402709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26304512 140720814938817 140720814941591 140720814941591 140720814944207 0
[pid=14940/tid=15068] ppid=14937 vsize=10925820 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/14940/task/15068/stat : 15068 (java) S 14937 14940 14883 0 -1 1077944384 15 12554 0 1 1 0 9 3 20 0 20 0 6929925 11188039680 55179 33554432000 4194304 4196468 140720814933600 139788352654352 139788751402709 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 26304512 140720814938817 140720814941591 140720814941591 140720814944207 0
[pid=14940/tid=15070] ppid=14937 vsize=10925820 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/14940/task/15070/stat : 15070 (java) S 14937 14940 14883 0 -1 1077944384 26 12554 0 1 1 0 9 3 20 0 20 0 6929925 11188039680 55179 33554432000 4194304 4196468 140720814933600 139788351601552 139788751402709 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 26304512 140720814938817 140720814941591 140720814941591 140720814944207 0
[pid=14940/tid=15071] ppid=14937 vsize=10925820 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/14940/task/15071/stat : 15071 (java) S 14937 14940 14883 0 -1 1077944384 19 12554 0 1 1 0 9 3 20 0 20 0 6929925 11188039680 55179 33554432000 4194304 4196468 140720814933600 139788350548752 139788751402709 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 26304512 140720814938817 140720814941591 140720814941591 140720814944207 0
[pid=14940/tid=15073] ppid=14937 vsize=10925820 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/14940/task/15073/stat : 15073 (java) S 14937 14940 14883 0 -1 1077944384 1809 12554 0 1 1 0 9 3 20 0 20 0 6929928 11188039680 55179 33554432000 4194304 4196468 140720814933600 139788225046896 139788751403650 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26304512 140720814938817 140720814941591 140720814941591 140720814944207 0
[pid=14940/tid=15075] ppid=14937 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/14940/task/15075/stat : 15075 (java) S 14937 14940 14883 0 -1 1077944384 56 12554 0 1 0 0 9 3 20 0 20 0 6929928 11188039680 55179 33554432000 4194304 4196468 140720814933600 139788223992928 139788751402709 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 26304512 140720814938817 140720814941591 140720814941591 140720814944207 0
[pid=14940/tid=15077] ppid=14937 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/14940/task/15077/stat : 15077 (java) S 14937 14940 14883 0 -1 1077944384 44 12554 0 1 0 0 9 3 20 0 20 0 6929929 11188039680 55179 33554432000 4194304 4196468 140720814933600 139788222940032 139788751402709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26304512 140720814938817 140720814941591 140720814941591 140720814944207 0
[pid=14940/tid=15085] ppid=14937 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/14940/task/15085/stat : 15085 (java) S 14937 14940 14883 0 -1 1077944384 1 12554 0 1 0 0 9 3 20 0 20 0 6929933 11188039680 55179 33554432000 4194304 4196468 140720814933600 139788221888336 139788751411099 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 26304512 140720814938817 140720814941591 140720814941591 140720814944207 0
[pid=14940/tid=15086] ppid=14937 vsize=10925820 CPUtime=1.09 cores=1,3,5,7,9,11,13,15
/proc/14940/task/15086/stat : 15086 (java) R 14937 14940 14883 0 -1 4202560 4781 12554 0 1 96 1 9 3 20 0 20 0 6929933 11188039680 55179 33554432000 4194304 4196468 140720814933600 139788220824832 139788736759360 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26304512 140720814938817 140720814941591 140720814941591 140720814944207 0
[pid=14940/tid=15087] ppid=14937 vsize=10925820 CPUtime=0.78 cores=1,3,5,7,9,11,13,15
/proc/14940/task/15087/stat : 15087 (java) R 14937 14940 14883 0 -1 4202560 2453 12554 0 1 66 0 9 3 20 0 20 0 6929933 11188039680 55179 33554432000 4194304 4196468 140720814933600 139788219775248 139788734919392 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 26304512 140720814938817 140720814941591 140720814941591 140720814944207 0
[pid=14940/tid=15088] ppid=14937 vsize=10925820 CPUtime=0.72 cores=1,3,5,7,9,11,13,15
/proc/14940/task/15088/stat : 15088 (java) R 14937 14940 14883 0 -1 4202560 1579 12554 0 1 59 1 9 3 20 0 20 0 6929933 11188039680 55179 33554432000 4194304 4196468 140720814933600 139788218710328 139788737407728 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 26304512 140720814938817 140720814941591 140720814941591 140720814944207 0
[pid=14940/tid=15089] ppid=14937 vsize=10925820 CPUtime=1.29 cores=1,3,5,7,9,11,13,15
/proc/14940/task/15089/stat : 15089 (java) S 14937 14940 14883 0 -1 1077944384 5138 12554 0 1 116 1 9 3 20 0 20 0 6929933 11188039680 55179 33554432000 4194304 4196468 140720814933600 139788217678320 139788751403650 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26304512 140720814938817 140720814941591 140720814941591 140720814944207 0
[pid=14940/tid=15090] ppid=14937 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/14940/task/15090/stat : 15090 (java) S 14937 14940 14883 0 -1 1077944384 3 12554 0 1 0 0 9 3 20 0 20 0 6929933 11188039680 55179 33554432000 4194304 4196468 140720814933600 139788216625760 139788751402709 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 26304512 140720814938817 140720814941591 140720814941591 140720814944207 0
[pid=14940/tid=15091] ppid=14937 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/14940/task/15091/stat : 15091 (java) S 14937 14940 14883 0 -1 1077944384 5 12554 0 1 0 0 9 3 20 0 20 0 6929933 11188039680 55179 33554432000 4194304 4196468 140720814933600 139788215573040 139788751403650 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 26304512 140720814938817 140720814941591 140720814941591 140720814944207 0
Current children cumulated CPU time (s) 6.56
Current children cumulated vsize (KiB) 10925820
[startup+6.30089 s]
/proc/loadavg: 1.72 1.72 1.83 3/276 15119
/proc/meminfo: memFree=31492292/32770624 swapFree=5780/149392
[pid=14940] ppid=14937 vsize=10927868 CPUtime=12.51 cores=1,3,5,7,9,11,13,15
/proc/14940/stat : 14940 (java) S 14937 14940 14883 0 -1 1077944320 49706 12554 1 1 1211 28 9 3 20 0 20 0 6929908 11190136832 74823 33554432000 4194304 4196468 140720814933600 140720814916144 139788751392503 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 1 0 0 6293624 6294260 26304512 140720814938817 140720814941591 140720814941591 140720814944207 0
/proc/14940/statm: 2731967 74823 3482 1 0 2719522 0
[pid=14940/tid=15054] ppid=14937 vsize=10927868 CPUtime=6.1 cores=1,3,5,7,9,11,13,15
/proc/14940/task/15054/stat : 15054 (java) R 14937 14940 14883 0 -1 4202560 25929 12554 0 1 588 10 9 3 20 0 20 0 6929924 11190136832 74823 33554432000 4194304 4196468 140720814933600 139788755622448 139788396845338 0 4 0 16800975 0 0 0 -1 5 0 0 5 0 0 6293624 6294260 26304512 140720814938817 140720814941591 140720814941591 140720814944207 0
[pid=14940/tid=15057] ppid=14937 vsize=10927868 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/14940/task/15057/stat : 15057 (java) S 14937 14940 14883 0 -1 1077944384 48 12554 0 1 2 1 9 3 20 0 20 0 6929925 11190136832 74823 33554432000 4194304 4196468 140720814933600 139788357917328 139788751402709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26304512 140720814938817 140720814941591 140720814941591 140720814944207 0
[pid=14940/tid=15059] ppid=14937 vsize=10927868 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/14940/task/15059/stat : 15059 (java) S 14937 14940 14883 0 -1 1077944384 27 12554 0 1 2 0 9 3 20 0 20 0 6929925 11190136832 74823 33554432000 4194304 4196468 140720814933600 139788356864528 139788751402709 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 26304512 140720814938817 140720814941591 140720814941591 140720814944207 0
[pid=14940/tid=15061] ppid=14937 vsize=10927868 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/14940/task/15061/stat : 15061 (java) S 14937 14940 14883 0 -1 1077944384 36 12554 0 1 2 0 9 3 20 0 20 0 6929925 11190136832 74823 33554432000 4194304 4196468 140720814933600 139788355811728 139788751402709 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 26304512 140720814938817 140720814941591 140720814941591 140720814944207 0
[pid=14940/tid=15064] ppid=14937 vsize=10927868 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/14940/task/15064/stat : 15064 (java) S 14937 14940 14883 0 -1 1077944384 68 12554 0 1 2 1 9 3 20 0 20 0 6929925 11190136832 74823 33554432000 4194304 4196468 140720814933600 139788354758928 139788751402709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26304512 140720814938817 140720814941591 140720814941591 140720814944207 0
[pid=14940/tid=15066] ppid=14937 vsize=10927868 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/14940/task/15066/stat : 15066 (java) S 14937 14940 14883 0 -1 1077944384 136 12554 0 1 1 0 9 3 20 0 20 0 6929925 11190136832 74823 33554432000 4194304 4196468 140720814933600 139788353707152 139788751402709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26304512 140720814938817 140720814941591 140720814941591 140720814944207 0
[pid=14940/tid=15068] ppid=14937 vsize=10927868 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/14940/task/15068/stat : 15068 (java) S 14937 14940 14883 0 -1 1077944384 74 12554 0 1 2 1 9 3 20 0 20 0 6929925 11190136832 74823 33554432000 4194304 4196468 140720814933600 139788352654352 139788751402709 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 26304512 140720814938817 140720814941591 140720814941591 140720814944207 0
[pid=14940/tid=15070] ppid=14937 vsize=10927868 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/14940/task/15070/stat : 15070 (java) S 14937 14940 14883 0 -1 1077944384 37 12554 0 1 2 1 9 3 20 0 20 0 6929925 11190136832 74823 33554432000 4194304 4196468 140720814933600 139788351601552 139788751402709 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 26304512 140720814938817 140720814941591 140720814941591 140720814944207 0
[pid=14940/tid=15071] ppid=14937 vsize=10927868 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/14940/task/15071/stat : 15071 (java) S 14937 14940 14883 0 -1 1077944384 27 12554 0 1 1 1 9 3 20 0 20 0 6929925 11190136832 74823 33554432000 4194304 4196468 140720814933600 139788350548752 139788751402709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26304512 140720814938817 140720814941591 140720814941591 140720814944207 0
[pid=14940/tid=15073] ppid=14937 vsize=10927868 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/14940/task/15073/stat : 15073 (java) S 14937 14940 14883 0 -1 1077944384 1867 12554 0 1 2 0 9 3 20 0 20 0 6929928 11190136832 74823 33554432000 4194304 4196468 140720814933600 139788225046896 139788751403650 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26304512 140720814938817 140720814941591 140720814941591 140720814944207 0
[pid=14940/tid=15075] ppid=14937 vsize=10927868 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/14940/task/15075/stat : 15075 (java) S 14937 14940 14883 0 -1 1077944384 57 12554 0 1 0 0 9 3 20 0 20 0 6929928 11190136832 74823 33554432000 4194304 4196468 140720814933600 139788223992928 139788751402709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26304512 140720814938817 140720814941591 140720814941591 140720814944207 0
[pid=14940/tid=15077] ppid=14937 vsize=10927868 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/14940/task/15077/stat : 15077 (java) S 14937 14940 14883 0 -1 1077944384 44 12554 0 1 0 0 9 3 20 0 20 0 6929929 11190136832 74823 33554432000 4194304 4196468 140720814933600 139788222940032 139788751402709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26304512 140720814938817 140720814941591 140720814941591 140720814944207 0
[pid=14940/tid=15085] ppid=14937 vsize=10927868 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/14940/task/15085/stat : 15085 (java) S 14937 14940 14883 0 -1 1077944384 1 12554 0 1 0 0 9 3 20 0 20 0 6929933 11190136832 74823 33554432000 4194304 4196468 140720814933600 139788221888336 139788751411099 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 26304512 140720814938817 140720814941591 140720814941591 140720814944207 0
[pid=14940/tid=15086] ppid=14937 vsize=10927868 CPUtime=1.83 cores=1,3,5,7,9,11,13,15
/proc/14940/task/15086/stat : 15086 (java) S 14937 14940 14883 0 -1 1077944384 5404 12554 0 1 170 1 9 3 20 0 20 0 6929933 11190136832 74823 33554432000 4194304 4196468 140720814933600 139788220836720 139788751403650 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26304512 140720814938817 140720814941591 140720814941591 140720814944207 0
[pid=14940/tid=15087] ppid=14937 vsize=10927868 CPUtime=1.51 cores=1,3,5,7,9,11,13,15
/proc/14940/task/15087/stat : 15087 (java) S 14937 14940 14883 0 -1 1077944384 3311 12554 0 1 138 1 9 3 20 0 20 0 6929933 11190136832 74823 33554432000 4194304 4196468 140720814933600 139788219783920 139788751403650 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 26304512 140720814938817 140720814941591 140720814941591 140720814944207 0
[pid=14940/tid=15088] ppid=14937 vsize=10927868 CPUtime=1.5 cores=1,3,5,7,9,11,13,15
/proc/14940/task/15088/stat : 15088 (java) S 14937 14940 14883 0 -1 1077944384 4449 12554 0 1 137 1 9 3 20 0 20 0 6929933 11190136832 74823 33554432000 4194304 4196468 140720814933600 139788218731120 139788751403650 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 26304512 140720814938817 140720814941591 140720814941591 140720814944207 0
[pid=14940/tid=15089] ppid=14937 vsize=10927868 CPUtime=1.7 cores=1,3,5,7,9,11,13,15
/proc/14940/task/15089/stat : 15089 (java) S 14937 14940 14883 0 -1 1077944384 6025 12554 0 1 155 3 9 3 20 0 20 0 6929933 11190136832 74823 33554432000 4194304 4196468 140720814933600 139788217678320 139788751403650 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 26304512 140720814938817 140720814941591 140720814941591 140720814944207 0
[pid=14940/tid=15090] ppid=14937 vsize=10927868 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
################
# More data... #
################
[pid=14940/tid=15087] ppid=14937 vsize=10997500 CPUtime=3.29 cores=1,3,5,7,9,11,13,15
/proc/14940/task/15087/stat : 15087 (java) S 14937 14940 14883 0 -1 1077944384 13009 12554 0 1 315 2 9 3 20 0 20 0 6929933 11261440000 691467 33554432000 4194304 4196468 140720814933600 139788219783920 139788751403650 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 26304512 140720814938817 140720814941591 140720814941591 140720814944207 0
[pid=14940/tid=15088] ppid=14937 vsize=10997500 CPUtime=2.89 cores=1,3,5,7,9,11,13,15
/proc/14940/task/15088/stat : 15088 (java) S 14937 14940 14883 0 -1 1077944384 13739 12554 0 1 274 3 9 3 20 0 20 0 6929933 11261440000 691467 33554432000 4194304 4196468 140720814933600 139788218731120 139788751403650 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 26304512 140720814938817 140720814941591 140720814941591 140720814944207 0
[pid=14940/tid=15089] ppid=14937 vsize=10997500 CPUtime=2.35 cores=1,3,5,7,9,11,13,15
/proc/14940/task/15089/stat : 15089 (java) S 14937 14940 14883 0 -1 1077944384 16949 12554 0 1 218 5 9 3 20 0 20 0 6929933 11261440000 691467 33554432000 4194304 4196468 140720814933600 139788217678320 139788751403650 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26304512 140720814938817 140720814941591 140720814941591 140720814944207 0
[pid=14940/tid=15090] ppid=14937 vsize=10997500 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/14940/task/15090/stat : 15090 (java) S 14937 14940 14883 0 -1 1077944384 3 12554 0 1 0 0 9 3 20 0 20 0 6929933 11261440000 691467 33554432000 4194304 4196468 140720814933600 139788216625760 139788751402709 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 26304512 140720814938817 140720814941591 140720814941591 140720814944207 0
[pid=14940/tid=15091] ppid=14937 vsize=10997500 CPUtime=1.36 cores=1,3,5,7,9,11,13,15
/proc/14940/task/15091/stat : 15091 (java) S 14937 14940 14883 0 -1 1077944384 1625 12554 0 1 58 66 9 3 20 0 20 0 6929933 11261440000 691467 33554432000 4194304 4196468 140720814933600 139788215573040 139788751403650 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26304512 140720814938817 140720814941591 140720814941591 140720814944207 0
Current children cumulated CPU time (s) 2319.11
Current children cumulated vsize (KiB) 10997500
[startup+2322.3 s]
/proc/loadavg: 1.23 1.40 1.48 3/283 15326
/proc/meminfo: memFree=27661132/32770624 swapFree=5780/151516
[pid=14940] ppid=14937 vsize=10997500 CPUtime=2380.49 cores=1,3,5,7,9,11,13,15
/proc/14940/stat : 14940 (java) S 14937 14940 14883 0 -1 1077944320 350734 12554 1 1 237551 486 9 3 20 0 20 0 6929908 11261440000 690092 33554432000 4194304 4196468 140720814933600 140720814916144 139788751392503 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 1 0 0 6293624 6294260 26304512 140720814938817 140720814941591 140720814941591 140720814944207 0
/proc/14940/statm: 2749375 690092 3511 1 0 2736930 0
[pid=14940/tid=15054] ppid=14937 vsize=10997500 CPUtime=2305.76 cores=1,3,5,7,9,11,13,15
/proc/14940/task/15054/stat : 15054 (java) R 14937 14940 14883 0 -1 4202560 135839 12554 0 1 230499 65 9 3 20 0 20 0 6929924 11261440000 690092 33554432000 4194304 4196468 140720814933600 139788755626496 139788387783410 0 4 0 16800975 0 0 0 -1 3 0 0 5 0 0 6293624 6294260 26304512 140720814938817 140720814941591 140720814941591 140720814944207 0
[pid=14940/tid=15057] ppid=14937 vsize=10997500 CPUtime=7.08 cores=1,3,5,7,9,11,13,15
/proc/14940/task/15057/stat : 15057 (java) S 14937 14940 14883 0 -1 1077944384 19513 12554 0 1 654 42 9 3 20 0 20 0 6929925 11261440000 690092 33554432000 4194304 4196468 140720814933600 139788357917328 139788751402709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26304512 140720814938817 140720814941591 140720814941591 140720814944207 0
[pid=14940/tid=15059] ppid=14937 vsize=10997500 CPUtime=7.24 cores=1,3,5,7,9,11,13,15
/proc/14940/task/15059/stat : 15059 (java) S 14937 14940 14883 0 -1 1077944384 12678 12554 0 1 670 42 9 3 20 0 20 0 6929925 11261440000 690092 33554432000 4194304 4196468 140720814933600 139788356864528 139788751402709 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 26304512 140720814938817 140720814941591 140720814941591 140720814944207 0
[pid=14940/tid=15061] ppid=14937 vsize=10997500 CPUtime=7.23 cores=1,3,5,7,9,11,13,15
/proc/14940/task/15061/stat : 15061 (java) S 14937 14940 14883 0 -1 1077944384 18163 12554 0 1 668 43 9 3 20 0 20 0 6929925 11261440000 690092 33554432000 4194304 4196468 140720814933600 139788355811728 139788751402709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26304512 140720814938817 140720814941591 140720814941591 140720814944207 0
[pid=14940/tid=15064] ppid=14937 vsize=10997500 CPUtime=7.11 cores=1,3,5,7,9,11,13,15
/proc/14940/task/15064/stat : 15064 (java) S 14937 14940 14883 0 -1 1077944384 16801 12554 0 1 655 44 9 3 20 0 20 0 6929925 11261440000 690092 33554432000 4194304 4196468 140720814933600 139788354758928 139788751402709 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 26304512 140720814938817 140720814941591 140720814941591 140720814944207 0
[pid=14940/tid=15066] ppid=14937 vsize=10997500 CPUtime=7.13 cores=1,3,5,7,9,11,13,15
/proc/14940/task/15066/stat : 15066 (java) S 14937 14940 14883 0 -1 1077944384 13649 12554 0 1 659 42 9 3 20 0 20 0 6929925 11261440000 690092 33554432000 4194304 4196468 140720814933600 139788353707152 139788751402709 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 26304512 140720814938817 140720814941591 140720814941591 140720814944207 0
[pid=14940/tid=15068] ppid=14937 vsize=10997500 CPUtime=7.15 cores=1,3,5,7,9,11,13,15
/proc/14940/task/15068/stat : 15068 (java) S 14937 14940 14883 0 -1 1077944384 12118 12554 0 1 661 42 9 3 20 0 20 0 6929925 11261440000 690092 33554432000 4194304 4196468 140720814933600 139788352654352 139788751402709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26304512 140720814938817 140720814941591 140720814941591 140720814944207 0
[pid=14940/tid=15070] ppid=14937 vsize=10997500 CPUtime=7.15 cores=1,3,5,7,9,11,13,15
/proc/14940/task/15070/stat : 15070 (java) S 14937 14940 14883 0 -1 1077944384 15385 12554 0 1 662 41 9 3 20 0 20 0 6929925 11261440000 690092 33554432000 4194304 4196468 140720814933600 139788351601552 139788751402709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26304512 140720814938817 140720814941591 140720814941591 140720814944207 0
[pid=14940/tid=15071] ppid=14937 vsize=10997500 CPUtime=7.1 cores=1,3,5,7,9,11,13,15
/proc/14940/task/15071/stat : 15071 (java) S 14937 14940 14883 0 -1 1077944384 12478 12554 0 1 655 43 9 3 20 0 20 0 6929925 11261440000 690092 33554432000 4194304 4196468 140720814933600 139788350548752 139788751402709 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 26304512 140720814938817 140720814941591 140720814941591 140720814944207 0
[pid=14940/tid=15073] ppid=14937 vsize=10997500 CPUtime=5.53 cores=1,3,5,7,9,11,13,15
/proc/14940/task/15073/stat : 15073 (java) S 14937 14940 14883 0 -1 1077944384 29362 12554 0 1 508 33 9 3 20 0 20 0 6929928 11261440000 690092 33554432000 4194304 4196468 140720814933600 139788225046896 139788751403650 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26304512 140720814938817 140720814941591 140720814941591 140720814944207 0
[pid=14940/tid=15075] ppid=14937 vsize=10997500 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/14940/task/15075/stat : 15075 (java) S 14937 14940 14883 0 -1 1077944384 62 12554 0 1 0 0 9 3 20 0 20 0 6929928 11261440000 690092 33554432000 4194304 4196468 140720814933600 139788223992992 139788751402709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26304512 140720814938817 140720814941591 140720814941591 140720814944207 0
[pid=14940/tid=15077] ppid=14937 vsize=10997500 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/14940/task/15077/stat : 15077 (java) S 14937 14940 14883 0 -1 1077944384 47 12554 0 1 0 0 9 3 20 0 20 0 6929929 11261440000 690092 33554432000 4194304 4196468 140720814933600 139788222940032 139788751402709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26304512 140720814938817 140720814941591 140720814941591 140720814944207 0
[pid=14940/tid=15085] ppid=14937 vsize=10997500 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/14940/task/15085/stat : 15085 (java) S 14937 14940 14883 0 -1 1077944384 1 12554 0 1 0 0 9 3 20 0 20 0 6929933 11261440000 690092 33554432000 4194304 4196468 140720814933600 139788221888336 139788751411099 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 26304512 140720814938817 140720814941591 140720814941591 140720814944207 0
[pid=14940/tid=15086] ppid=14937 vsize=10997500 CPUtime=3.6 cores=1,3,5,7,9,11,13,15
/proc/14940/task/15086/stat : 15086 (java) S 14937 14940 14883 0 -1 1077944384 17148 12554 0 1 344 4 9 3 20 0 20 0 6929933 11261440000 690092 33554432000 4194304 4196468 140720814933600 139788220836720 139788751403650 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26304512 140720814938817 140720814941591 140720814941591 140720814944207 0
[pid=14940/tid=15087] ppid=14937 vsize=10997500 CPUtime=3.29 cores=1,3,5,7,9,11,13,15
/proc/14940/task/15087/stat : 15087 (java) S 14937 14940 14883 0 -1 1077944384 13013 12554 0 1 315 2 9 3 20 0 20 0 6929933 11261440000 690092 33554432000 4194304 4196468 140720814933600 139788219783920 139788751403650 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 26304512 140720814938817 140720814941591 140720814941591 140720814944207 0
[pid=14940/tid=15088] ppid=14937 vsize=10997500 CPUtime=2.89 cores=1,3,5,7,9,11,13,15
/proc/14940/task/15088/stat : 15088 (java) S 14937 14940 14883 0 -1 1077944384 13743 12554 0 1 274 3 9 3 20 0 20 0 6929933 11261440000 690092 33554432000 4194304 4196468 140720814933600 139788218731120 139788751403650 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 26304512 140720814938817 140720814941591 140720814941591 140720814944207 0
[pid=14940/tid=15089] ppid=14937 vsize=10997500 CPUtime=2.35 cores=1,3,5,7,9,11,13,15
/proc/14940/task/15089/stat : 15089 (java) S 14937 14940 14883 0 -1 1077944384 16953 12554 0 1 218 5 9 3 20 0 20 0 6929933 11261440000 690092 33554432000 4194304 4196468 140720814933600 139788217678320 139788751403650 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26304512 140720814938817 140720814941591 140720814941591 140720814944207 0
[pid=14940/tid=15090] ppid=14937 vsize=10997500 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/14940/task/15090/stat : 15090 (java) S 14937 14940 14883 0 -1 1077944384 3 12554 0 1 0 0 9 3 20 0 20 0 6929933 11261440000 690092 33554432000 4194304 4196468 140720814933600 139788216625760 139788751402709 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 26304512 140720814938817 140720814941591 140720814941591 140720814944207 0
[pid=14940/tid=15091] ppid=14937 vsize=10997500 CPUtime=1.4 cores=1,3,5,7,9,11,13,15
/proc/14940/task/15091/stat : 15091 (java) S 14937 14940 14883 0 -1 1077944384 1647 12554 0 1 60 68 9 3 20 0 20 0 6929933 11261440000 690092 33554432000 4194304 4196468 140720814933600 139788215573040 139788751403650 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 26304512 140720814938817 140720814941591 140720814941591 140720814944207 0
Current children cumulated CPU time (s) 2380.49
Current children cumulated vsize (KiB) 10997500
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2341.4 s]
/proc/loadavg: 1.31 1.41 1.48 2/259 15336
/proc/meminfo: memFree=29030972/32770624 swapFree=5780/151512
[pid=14940] ppid=14937 vsize=10997500 CPUtime=2400.05 cores=1,3,5,7,9,11,13,15
/proc/14940/stat : 14940 (java) S 14937 14940 14883 0 -1 1077944320 351785 12554 1 1 239504 489 9 3 20 0 20 0 6929908 11261440000 690475 33554432000 4194304 4196468 140720814933600 140720814916144 139788751392503 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 1 0 0 6293624 6294260 26304512 140720814938817 140720814941591 140720814941591 140720814944207 0
/proc/14940/statm: 2749375 690475 3511 1 0 2736930 0
[pid=14940/tid=15054] ppid=14937 vsize=10997500 CPUtime=2324.69 cores=1,3,5,7,9,11,13,15
/proc/14940/task/15054/stat : 15054 (java) R 14937 14940 14883 0 -1 4202560 136271 12554 0 1 232392 65 9 3 20 0 20 0 6929924 11261440000 690475 33554432000 4194304 4196468 140720814933600 139788755626608 139788394212717 0 4 0 16800975 0 0 0 -1 5 0 0 5 0 0 6293624 6294260 26304512 140720814938817 140720814941591 140720814941591 140720814944207 0
[pid=14940/tid=15057] ppid=14937 vsize=10997500 CPUtime=7.15 cores=1,3,5,7,9,11,13,15
/proc/14940/task/15057/stat : 15057 (java) S 14937 14940 14883 0 -1 1077944384 19521 12554 0 1 661 42 9 3 20 0 20 0 6929925 11261440000 690475 33554432000 4194304 4196468 140720814933600 139788357917328 139788751402709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26304512 140720814938817 140720814941591 140720814941591 140720814944207 0
[pid=14940/tid=15059] ppid=14937 vsize=10997500 CPUtime=7.31 cores=1,3,5,7,9,11,13,15
/proc/14940/task/15059/stat : 15059 (java) S 14937 14940 14883 0 -1 1077944384 12926 12554 0 1 677 42 9 3 20 0 20 0 6929925 11261440000 690475 33554432000 4194304 4196468 140720814933600 139788356864528 139788751402709 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 26304512 140720814938817 140720814941591 140720814941591 140720814944207 0
[pid=14940/tid=15061] ppid=14937 vsize=10997500 CPUtime=7.29 cores=1,3,5,7,9,11,13,15
/proc/14940/task/15061/stat : 15061 (java) S 14937 14940 14883 0 -1 1077944384 18174 12554 0 1 674 43 9 3 20 0 20 0 6929925 11261440000 690475 33554432000 4194304 4196468 140720814933600 139788355811728 139788751402709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26304512 140720814938817 140720814941591 140720814941591 140720814944207 0
[pid=14940/tid=15064] ppid=14937 vsize=10997500 CPUtime=7.18 cores=1,3,5,7,9,11,13,15
/proc/14940/task/15064/stat : 15064 (java) S 14937 14940 14883 0 -1 1077944384 16828 12554 0 1 662 44 9 3 20 0 20 0 6929925 11261440000 690475 33554432000 4194304 4196468 140720814933600 139788354758928 139788751402709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26304512 140720814938817 140720814941591 140720814941591 140720814944207 0
[pid=14940/tid=15066] ppid=14937 vsize=10997500 CPUtime=7.2 cores=1,3,5,7,9,11,13,15
/proc/14940/task/15066/stat : 15066 (java) S 14937 14940 14883 0 -1 1077944384 13707 12554 0 1 666 42 9 3 20 0 20 0 6929925 11261440000 690475 33554432000 4194304 4196468 140720814933600 139788353707152 139788751402709 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 26304512 140720814938817 140720814941591 140720814941591 140720814944207 0
[pid=14940/tid=15068] ppid=14937 vsize=10997500 CPUtime=7.21 cores=1,3,5,7,9,11,13,15
/proc/14940/task/15068/stat : 15068 (java) S 14937 14940 14883 0 -1 1077944384 12130 12554 0 1 667 42 9 3 20 0 20 0 6929925 11261440000 690475 33554432000 4194304 4196468 140720814933600 139788352654352 139788751402709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26304512 140720814938817 140720814941591 140720814941591 140720814944207 0
[pid=14940/tid=15070] ppid=14937 vsize=10997500 CPUtime=7.21 cores=1,3,5,7,9,11,13,15
/proc/14940/task/15070/stat : 15070 (java) S 14937 14940 14883 0 -1 1077944384 15406 12554 0 1 668 41 9 3 20 0 20 0 6929925 11261440000 690475 33554432000 4194304 4196468 140720814933600 139788351601552 139788751402709 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 26304512 140720814938817 140720814941591 140720814941591 140720814944207 0
[pid=14940/tid=15071] ppid=14937 vsize=10997500 CPUtime=7.16 cores=1,3,5,7,9,11,13,15
/proc/14940/task/15071/stat : 15071 (java) S 14937 14940 14883 0 -1 1077944384 12493 12554 0 1 661 43 9 3 20 0 20 0 6929925 11261440000 690475 33554432000 4194304 4196468 140720814933600 139788350548752 139788751402709 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 26304512 140720814938817 140720814941591 140720814941591 140720814944207 0
[pid=14940/tid=15073] ppid=14937 vsize=10997500 CPUtime=5.6 cores=1,3,5,7,9,11,13,15
/proc/14940/task/15073/stat : 15073 (java) S 14937 14940 14883 0 -1 1077944384 29556 12554 0 1 514 34 9 3 20 0 20 0 6929928 11261440000 690475 33554432000 4194304 4196468 140720814933600 139788225046896 139788751403650 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26304512 140720814938817 140720814941591 140720814941591 140720814944207 0
[pid=14940/tid=15075] ppid=14937 vsize=10997500 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/14940/task/15075/stat : 15075 (java) S 14937 14940 14883 0 -1 1077944384 62 12554 0 1 0 0 9 3 20 0 20 0 6929928 11261440000 690475 33554432000 4194304 4196468 140720814933600 139788223992992 139788751402709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26304512 140720814938817 140720814941591 140720814941591 140720814944207 0
[pid=14940/tid=15077] ppid=14937 vsize=10997500 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/14940/task/15077/stat : 15077 (java) S 14937 14940 14883 0 -1 1077944384 47 12554 0 1 0 0 9 3 20 0 20 0 6929929 11261440000 690475 33554432000 4194304 4196468 140720814933600 139788222940032 139788751402709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26304512 140720814938817 140720814941591 140720814941591 140720814944207 0
[pid=14940/tid=15085] ppid=14937 vsize=10997500 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/14940/task/15085/stat : 15085 (java) S 14937 14940 14883 0 -1 1077944384 1 12554 0 1 0 0 9 3 20 0 20 0 6929933 11261440000 690475 33554432000 4194304 4196468 140720814933600 139788221888336 139788751411099 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 26304512 140720814938817 140720814941591 140720814941591 140720814944207 0
[pid=14940/tid=15086] ppid=14937 vsize=10997500 CPUtime=3.61 cores=1,3,5,7,9,11,13,15
/proc/14940/task/15086/stat : 15086 (java) S 14937 14940 14883 0 -1 1077944384 17150 12554 0 1 345 4 9 3 20 0 20 0 6929933 11261440000 690475 33554432000 4194304 4196468 140720814933600 139788220836720 139788751403650 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26304512 140720814938817 140720814941591 140720814941591 140720814944207 0
[pid=14940/tid=15087] ppid=14937 vsize=10997500 CPUtime=3.29 cores=1,3,5,7,9,11,13,15
/proc/14940/task/15087/stat : 15087 (java) S 14937 14940 14883 0 -1 1077944384 13015 12554 0 1 315 2 9 3 20 0 20 0 6929933 11261440000 690475 33554432000 4194304 4196468 140720814933600 139788219783920 139788751403650 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 26304512 140720814938817 140720814941591 140720814941591 140720814944207 0
[pid=14940/tid=15088] ppid=14937 vsize=10997500 CPUtime=2.89 cores=1,3,5,7,9,11,13,15
/proc/14940/task/15088/stat : 15088 (java) S 14937 14940 14883 0 -1 1077944384 13746 12554 0 1 274 3 9 3 20 0 20 0 6929933 11261440000 690475 33554432000 4194304 4196468 140720814933600 139788218731120 139788751403650 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 26304512 140720814938817 140720814941591 140720814941591 140720814944207 0
[pid=14940/tid=15089] ppid=14937 vsize=10997500 CPUtime=2.35 cores=1,3,5,7,9,11,13,15
/proc/14940/task/15089/stat : 15089 (java) S 14937 14940 14883 0 -1 1077944384 16955 12554 0 1 218 5 9 3 20 0 20 0 6929933 11261440000 690475 33554432000 4194304 4196468 140720814933600 139788217678320 139788751403650 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26304512 140720814938817 140720814941591 140720814941591 140720814944207 0
[pid=14940/tid=15090] ppid=14937 vsize=10997500 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/14940/task/15090/stat : 15090 (java) S 14937 14940 14883 0 -1 1077944384 3 12554 0 1 0 0 9 3 20 0 20 0 6929933 11261440000 690475 33554432000 4194304 4196468 140720814933600 139788216625760 139788751402709 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 26304512 140720814938817 140720814941591 140720814941591 140720814944207 0
[pid=14940/tid=15091] ppid=14937 vsize=10997500 CPUtime=1.42 cores=1,3,5,7,9,11,13,15
/proc/14940/task/15091/stat : 15091 (java) S 14937 14940 14883 0 -1 1077944384 1663 12554 0 1 61 69 9 3 20 0 20 0 6929933 11261440000 690475 33554432000 4194304 4196468 140720814933600 139788215573040 139788751403650 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 26304512 140720814938817 140720814941591 140720814941591 140720814944207 0
Current children cumulated CPU time (s) 2400.05
Current children cumulated vsize (KiB) 10997500
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 14940 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2341.6 s]
/proc/loadavg: 1.31 1.41 1.48 2/259 15336
/proc/meminfo: memFree=29030972/32770624 swapFree=5780/151512
[pid=14940] ppid=14937 vsize=11130628 CPUtime=2400.99 cores=1,3,5,7,9,11,13,15
/proc/14940/stat : 14940 (java) S 14937 14940 14883 0 -1 1077944320 358668 12554 1 1 239596 491 9 3 20 0 22 0 6929908 11397763072 691686 33554432000 4194304 4196468 140720814933600 140720814916144 139788751392503 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 1 0 0 6293624 6294260 26304512 140720814938817 140720814941591 140720814941591 140720814944207 0
/proc/14940/statm: 2782657 691686 3511 1 0 2770212 0
[pid=14940/tid=15054] ppid=14937 vsize=11130628 CPUtime=2324.7 cores=1,3,5,7,9,11,13,15
/proc/14940/task/15054/stat : 15054 (java) S 14937 14940 14883 0 -1 1077944384 136704 12554 0 1 232393 65 9 3 20 0 22 0 6929924 11397763072 691686 33554432000 4194304 4196468 140720814933600 139788755630048 139788751402709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 5 0 0 6293624 6294260 26304512 140720814938817 140720814941591 140720814941591 140720814944207 0
[pid=14940/tid=15057] ppid=14937 vsize=11130628 CPUtime=7.24 cores=1,3,5,7,9,11,13,15
/proc/14940/task/15057/stat : 15057 (java) S 14937 14940 14883 0 -1 1077944384 19522 12554 0 1 670 42 9 3 20 0 22 0 6929925 11397763072 691686 33554432000 4194304 4196468 140720814933600 139788357917328 139788751402709 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 26304512 140720814938817 140720814941591 140720814941591 140720814944207 0
[pid=14940/tid=15059] ppid=14937 vsize=11130628 CPUtime=7.42 cores=1,3,5,7,9,11,13,15
/proc/14940/task/15059/stat : 15059 (java) S 14937 14940 14883 0 -1 1077944384 12954 12554 0 1 688 42 9 3 20 0 22 0 6929925 11397763072 691686 33554432000 4194304 4196468 140720814933600 139788356864528 139788751402709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26304512 140720814938817 140720814941591 140720814941591 140720814944207 0
[pid=14940/tid=15061] ppid=14937 vsize=11130628 CPUtime=7.4 cores=1,3,5,7,9,11,13,15
/proc/14940/task/15061/stat : 15061 (java) S 14937 14940 14883 0 -1 1077944384 18177 12554 0 1 685 43 9 3 20 0 22 0 6929925 11397763072 691686 33554432000 4194304 4196468 140720814933600 139788355811728 139788751402709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26304512 140720814938817 140720814941591 140720814941591 140720814944207 0
[pid=14940/tid=15064] ppid=14937 vsize=11130628 CPUtime=7.29 cores=1,3,5,7,9,11,13,15
/proc/14940/task/15064/stat : 15064 (java) S 14937 14940 14883 0 -1 1077944384 16840 12554 0 1 672 45 9 3 20 0 22 0 6929925 11397763072 691686 33554432000 4194304 4196468 140720814933600 139788354758928 139788751402709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26304512 140720814938817 140720814941591 140720814941591 140720814944207 0
[pid=14940/tid=15066] ppid=14937 vsize=11130628 CPUtime=7.31 cores=1,3,5,7,9,11,13,15
/proc/14940/task/15066/stat : 15066 (java) S 14937 14940 14883 0 -1 1077944384 13719 12554 0 1 677 42 9 3 20 0 22 0 6929925 11397763072 691686 33554432000 4194304 4196468 140720814933600 139788353707152 139788751402709 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 26304512 140720814938817 140720814941591 140720814941591 140720814944207 0
[pid=14940/tid=15068] ppid=14937 vsize=11130628 CPUtime=7.32 cores=1,3,5,7,9,11,13,15
/proc/14940/task/15068/stat : 15068 (java) S 14937 14940 14883 0 -1 1077944384 12144 12554 0 1 678 42 9 3 20 0 22 0 6929925 11397763072 691686 33554432000 4194304 4196468 140720814933600 139788352654352 139788751402709 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 26304512 140720814938817 140720814941591 140720814941591 140720814944207 0
[pid=14940/tid=15070] ppid=14937 vsize=11130628 CPUtime=7.32 cores=1,3,5,7,9,11,13,15
/proc/14940/task/15070/stat : 15070 (java) S 14937 14940 14883 0 -1 1077944384 15417 12554 0 1 678 42 9 3 20 0 22 0 6929925 11397763072 691686 33554432000 4194304 4196468 140720814933600 139788351601552 139788751402709 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 26304512 140720814938817 140720814941591 140720814941591 140720814944207 0
[pid=14940/tid=15071] ppid=14937 vsize=11130628 CPUtime=7.27 cores=1,3,5,7,9,11,13,15
/proc/14940/task/15071/stat : 15071 (java) S 14937 14940 14883 0 -1 1077944384 12518 12554 0 1 672 43 9 3 20 0 22 0 6929925 11397763072 691686 33554432000 4194304 4196468 140720814933600 139788350548752 139788751402709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26304512 140720814938817 140720814941591 140720814941591 140720814944207 0
[pid=14940/tid=15073] ppid=14937 vsize=11130628 CPUtime=5.67 cores=1,3,5,7,9,11,13,15
/proc/14940/task/15073/stat : 15073 (java) R 14937 14940 14883 0 -1 4202560 35541 12554 0 1 521 34 9 3 20 0 22 0 6929928 11397763072 691686 33554432000 4194304 4196468 140720814933600 139788225045184 139788735747142 0 0 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26304512 140720814938817 140720814941591 140720814941591 140720814944207 0
[pid=14940/tid=15075] ppid=14937 vsize=11130628 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/14940/task/15075/stat : 15075 (java) S 14937 14940 14883 0 -1 1077944384 64 12554 0 1 0 0 9 3 20 0 22 0 6929928 11397763072 691686 33554432000 4194304 4196468 140720814933600 139788223992592 139788751402709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26304512 140720814938817 140720814941591 140720814941591 140720814944207 0
[pid=14940/tid=15077] ppid=14937 vsize=11130628 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/14940/task/15077/stat : 15077 (java) S 14937 14940 14883 0 -1 1077944384 47 12554 0 1 0 0 9 3 20 0 22 0 6929929 11397763072 691686 33554432000 4194304 4196468 140720814933600 139788222940032 139788751402709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26304512 140720814938817 140720814941591 140720814941591 140720814944207 0
[pid=14940/tid=15085] ppid=14937 vsize=11130628 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/14940/task/15085/stat : 15085 (java) S 14937 14940 14883 0 -1 1077944384 97 12554 0 1 0 0 9 3 20 0 22 0 6929933 11397763072 691686 33554432000 4194304 4196468 140720814933600 139788221888336 139788751411099 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26304512 140720814938817 140720814941591 140720814941591 140720814944207 0
[pid=14940/tid=15086] ppid=14937 vsize=11130628 CPUtime=3.61 cores=1,3,5,7,9,11,13,15
/proc/14940/task/15086/stat : 15086 (java) S 14937 14940 14883 0 -1 1077944384 17150 12554 0 1 345 4 9 3 20 0 22 0 6929933 11397763072 691686 33554432000 4194304 4196468 140720814933600 139788220836720 139788751403650 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26304512 140720814938817 140720814941591 140720814941591 140720814944207 0
[pid=14940/tid=15087] ppid=14937 vsize=11130628 CPUtime=3.29 cores=1,3,5,7,9,11,13,15
/proc/14940/task/15087/stat : 15087 (java) S 14937 14940 14883 0 -1 1077944384 13015 12554 0 1 315 2 9 3 20 0 22 0 6929933 11397763072 691686 33554432000 4194304 4196468 140720814933600 139788219783920 139788751403650 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 26304512 140720814938817 140720814941591 140720814941591 140720814944207 0
[pid=14940/tid=15088] ppid=14937 vsize=11130628 CPUtime=2.89 cores=1,3,5,7,9,11,13,15
/proc/14940/task/15088/stat : 15088 (java) S 14937 14940 14883 0 -1 1077944384 13746 12554 0 1 274 3 9 3 20 0 22 0 6929933 11397763072 691686 33554432000 4194304 4196468 140720814933600 139788218731120 139788751403650 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 26304512 140720814938817 140720814941591 140720814941591 140720814944207 0
[pid=14940/tid=15089] ppid=14937 vsize=11130628 CPUtime=2.35 cores=1,3,5,7,9,11,13,15
/proc/14940/task/15089/stat : 15089 (java) S 14937 14940 14883 0 -1 1077944384 17101 12554 0 1 218 5 9 3 20 0 22 0 6929933 11397763072 691686 33554432000 4194304 4196468 140720814933600 139788217677888 139788751402709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26304512 140720814938817 140720814941591 140720814941591 140720814944207 0
[pid=14940/tid=15090] ppid=14937 vsize=11130628 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/14940/task/15090/stat : 15090 (java) S 14937 14940 14883 0 -1 1077944384 3 12554 0 1 0 0 9 3 20 0 22 0 6929933 11397763072 691686 33554432000 4194304 4196468 140720814933600 139788216625760 139788751402709 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 26304512 140720814938817 140720814941591 140720814941591 140720814944207 0
[pid=14940/tid=15091] ppid=14937 vsize=11130628 CPUtime=1.42 cores=1,3,5,7,9,11,13,15
/proc/14940/task/15091/stat : 15091 (java) S 14937 14940 14883 0 -1 1077944384 1663 12554 0 1 61 69 9 3 20 0 22 0 6929933 11397763072 691686 33554432000 4194304 4196468 140720814933600 139788215573040 139788751403650 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 26304512 140720814938817 140720814941591 140720814941591 140720814944207 0
Current children cumulated CPU time (s) 2400.99
Current children cumulated vsize (KiB) 11130628
Child status: 143
Real time (s): 2341.69
CPU time (s): 2401.25
CPU user time (s): 2396.29
CPU system time (s): 4.96571
CPU usage (%): 102.544
Max. virtual memory (cumulated for all children) (KiB): 11130628
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2396.29
system time used= 4.96571
maximum resident set size= 2877512
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 371352
page faults= 2
swaps= 0
block input operations= 6960
block output operations= 2728
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 245359
involuntary context switches= 166503
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.6702 second user time and 20.4281 second system time
The end