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-4245095-1500699640/watcher-4245095-1500699640 -o /tmp/evaluation-result-4245095-1500699640/solver-4245095-1500699640 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node136-1500683313-13637 --watchdog 2560 bin/concrete HOME/instance-4245095-1500699640.xml
pid=17890
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.78 1.80 3/262 17893
/proc/meminfo: memFree=28475664/32770624 swapFree=5844/253108
[pid=17893] ppid=17890 vsize=9508 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17893/stat : 17893 (bash) S 17890 17893 13605 0 -1 4202496 685 1534 0 0 0 0 0 0 20 0 1 0 5230862 9736192 350 33554432000 4194304 5098028 140736628166304 140736628163944 140385463520256 0 0 4100 65536 18446744071580971376 0 0 17 11 0 0 0 0 0 7196144 7232144 33976320 140736628167950 140736628168035 140736628168035 140736628170734 0
/proc/17893/statm: 2377 350 278 221 0 86 0
[startup+0.100157 s]
/proc/loadavg: 1.70 1.78 1.80 3/262 17893
/proc/meminfo: memFree=28475664/32770624 swapFree=5844/253108
[pid=17893] ppid=17890 vsize=9640 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/17893/stat : 17893 (bash) S 17890 17893 13605 0 -1 4202496 879 6422 0 0 0 0 0 1 20 0 1 0 5230862 9871360 377 33554432000 4194304 5098028 140736628166304 140736628160312 140385463520256 0 0 4100 65536 18446744071580971376 0 0 17 5 0 0 0 0 0 7196144 7232144 33976320 140736628167950 140736628168035 140736628168035 140736628170734 0
/proc/17893/statm: 2410 377 296 221 0 119 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9640
[startup+0.20041 s]
/proc/loadavg: 1.70 1.78 1.80 3/262 17893
/proc/meminfo: memFree=28475664/32770624 swapFree=5844/253108
[pid=17893] ppid=17890 vsize=10435860 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/17893/stat : 17893 (java) S 17890 17893 13605 0 -1 1077944320 4976 12588 0 0 6 1 8 4 20 0 13 0 5230862 10686320640 5307 33554432000 4194304 4196468 140733976173008 140733976155552 140085600915191 0 0 0 16800971 18446744073709551615 0 0 17 15 0 0 0 0 0 6293624 6294260 35549184 140733976177345 140733976180119 140733976180119 140733976182735 0
/proc/17893/statm: 2608965 5307 2138 1 0 2597403 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 10435860
[startup+0.30031 s]
/proc/loadavg: 1.70 1.78 1.80 3/262 17893
/proc/meminfo: memFree=28475664/32770624 swapFree=5844/253108
[pid=17893] ppid=17890 vsize=10902292 CPUtime=0.36 cores=1,3,5,7,9,11,13,15
/proc/17893/stat : 17893 (java) S 17890 17893 13605 0 -1 1077944320 8282 12588 0 0 22 2 8 4 20 0 20 0 5230862 11163947008 9353 33554432000 4194304 4196468 140733976173008 140733976155552 140085600915191 0 0 0 16800975 18446744073709551615 0 0 17 15 0 0 0 0 0 6293624 6294260 35549184 140733976177345 140733976180119 140733976180119 140733976182735 0
/proc/17893/statm: 2725573 9353 2959 1 0 2713890 0
Current children cumulated CPU time (s) 0.36
Current children cumulated vsize (KiB) 10902292
[startup+0.70026 s]
/proc/loadavg: 1.70 1.78 1.80 3/262 17893
/proc/meminfo: memFree=28475664/32770624 swapFree=5844/253108
[pid=17893] ppid=17890 vsize=10902720 CPUtime=0.96 cores=1,3,5,7,9,11,13,15
/proc/17893/stat : 17893 (java) S 17890 17893 13605 0 -1 1077944320 12793 12588 0 0 81 3 8 4 20 0 20 0 5230862 11164385280 16079 33554432000 4194304 4196468 140733976173008 140733976155552 140085600915191 0 0 0 16800975 18446744073709551615 0 0 17 15 0 0 0 0 0 6293624 6294260 35549184 140733976177345 140733976180119 140733976180119 140733976182735 0
/proc/17893/statm: 2725680 16079 3219 1 0 2713890 0
Current children cumulated CPU time (s) 0.96
Current children cumulated vsize (KiB) 10902720
[startup+1.50077 s]
/proc/loadavg: 1.70 1.78 1.80 3/282 17966
/proc/meminfo: memFree=28363236/32770624 swapFree=5844/253200
[pid=17893] ppid=17890 vsize=10913344 CPUtime=2.3 cores=1,3,5,7,9,11,13,15
/proc/17893/stat : 17893 (java) S 17890 17893 13605 0 -1 1077944320 27603 12588 0 0 204 14 8 4 20 0 20 0 5230862 11175264256 44207 33554432000 4194304 4196468 140733976173008 140733976155552 140085600915191 0 0 0 16800975 18446744073709551615 0 0 17 15 0 0 0 0 0 6293624 6294260 35549184 140733976177345 140733976180119 140733976180119 140733976182735 0
/proc/17893/statm: 2728336 44207 3409 1 0 2716450 0
[pid=17893/tid=17948] ppid=17890 vsize=10913344 CPUtime=1.43 cores=1,3,5,7,9,11,13,15
/proc/17893/task/17948/stat : 17948 (java) R 17890 17893 13605 0 -1 4202560 20050 12588 0 0 125 6 8 4 20 0 20 0 5230875 11175264256 44207 33554432000 4194304 4196468 140733976173008 140085605143752 140085600927126 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 35549184 140733976177345 140733976180119 140733976180119 140733976182735 0
[pid=17893/tid=17949] ppid=17890 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/17893/task/17949/stat : 17949 (java) S 17890 17893 13605 0 -1 1077944384 54 12588 0 0 0 0 8 4 20 0 20 0 5230876 11175264256 44207 33554432000 4194304 4196468 140733976173008 140085526989328 140085600925397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35549184 140733976177345 140733976180119 140733976180119 140733976182735 0
[pid=17893/tid=17950] ppid=17890 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/17893/task/17950/stat : 17950 (java) S 17890 17893 13605 0 -1 1077944384 36 12588 0 0 0 0 8 4 20 0 20 0 5230876 11175264256 44207 33554432000 4194304 4196468 140733976173008 140085206968976 140085600925397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35549184 140733976177345 140733976180119 140733976180119 140733976182735 0
[pid=17893/tid=17951] ppid=17890 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/17893/task/17951/stat : 17951 (java) S 17890 17893 13605 0 -1 1077944384 26 12588 0 0 0 0 8 4 20 0 20 0 5230876 11175264256 44207 33554432000 4194304 4196468 140733976173008 140085205915920 140085600925397 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 35549184 140733976177345 140733976180119 140733976180119 140733976182735 0
[pid=17893/tid=17952] ppid=17890 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/17893/task/17952/stat : 17952 (java) S 17890 17893 13605 0 -1 1077944384 22 12588 0 0 0 0 8 4 20 0 20 0 5230876 11175264256 44207 33554432000 4194304 4196468 140733976173008 140085204863376 140085600925397 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 35549184 140733976177345 140733976180119 140733976180119 140733976182735 0
[pid=17893/tid=17953] ppid=17890 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/17893/task/17953/stat : 17953 (java) S 17890 17893 13605 0 -1 1077944384 39 12588 0 0 0 0 8 4 20 0 20 0 5230876 11175264256 44207 33554432000 4194304 4196468 140733976173008 140085203811344 140085600925397 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 35549184 140733976177345 140733976180119 140733976180119 140733976182735 0
[pid=17893/tid=17954] ppid=17890 vsize=10913344 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/17893/task/17954/stat : 17954 (java) S 17890 17893 13605 0 -1 1077944384 12 12588 0 0 1 0 8 4 20 0 20 0 5230876 11175264256 44207 33554432000 4194304 4196468 140733976173008 140085202758800 140085600925397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35549184 140733976177345 140733976180119 140733976180119 140733976182735 0
[pid=17893/tid=17955] ppid=17890 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/17893/task/17955/stat : 17955 (java) S 17890 17893 13605 0 -1 1077944384 25 12588 0 0 0 0 8 4 20 0 20 0 5230876 11175264256 44207 33554432000 4194304 4196468 140733976173008 140085201705744 140085600925397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35549184 140733976177345 140733976180119 140733976180119 140733976182735 0
[pid=17893/tid=17956] ppid=17890 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/17893/task/17956/stat : 17956 (java) S 17890 17893 13605 0 -1 1077944384 138 12588 0 0 0 0 8 4 20 0 20 0 5230876 11175264256 44207 33554432000 4194304 4196468 140733976173008 140085200653200 140085600925397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35549184 140733976177345 140733976180119 140733976180119 140733976182735 0
[pid=17893/tid=17957] ppid=17890 vsize=10913344 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/17893/task/17957/stat : 17957 (java) S 17890 17893 13605 0 -1 1077944384 1291 12588 0 0 1 0 8 4 20 0 20 0 5230878 11175264256 44207 33554432000 4194304 4196468 140733976173008 140085075527920 140085600926338 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35549184 140733976177345 140733976180119 140733976180119 140733976182735 0
[pid=17893/tid=17958] ppid=17890 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/17893/task/17958/stat : 17958 (java) S 17890 17893 13605 0 -1 1077944384 57 12588 0 0 0 0 8 4 20 0 20 0 5230879 11175264256 44207 33554432000 4194304 4196468 140733976173008 140085074474208 140085600925397 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 35549184 140733976177345 140733976180119 140733976180119 140733976182735 0
[pid=17893/tid=17959] ppid=17890 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/17893/task/17959/stat : 17959 (java) S 17890 17893 13605 0 -1 1077944384 44 12588 0 0 0 0 8 4 20 0 20 0 5230879 11175264256 44207 33554432000 4194304 4196468 140733976173008 140085073421056 140085600925397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35549184 140733976177345 140733976180119 140733976180119 140733976182735 0
[pid=17893/tid=17960] ppid=17890 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/17893/task/17960/stat : 17960 (java) S 17890 17893 13605 0 -1 1077944384 1 12588 0 0 0 0 8 4 20 0 20 0 5230883 11175264256 44207 33554432000 4194304 4196468 140733976173008 140085072369616 140085600933787 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 35549184 140733976177345 140733976180119 140733976180119 140733976182735 0
[pid=17893/tid=17961] ppid=17890 vsize=10913344 CPUtime=0.22 cores=1,3,5,7,9,11,13,15
/proc/17893/task/17961/stat : 17961 (java) S 17890 17893 13605 0 -1 1077944384 823 12588 0 0 10 0 8 4 20 0 20 0 5230883 11175264256 44207 33554432000 4194304 4196468 140733976173008 140085071317744 140085600926338 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35549184 140733976177345 140733976180119 140733976180119 140733976182735 0
[pid=17893/tid=17962] ppid=17890 vsize=10913344 CPUtime=0.25 cores=1,3,5,7,9,11,13,15
/proc/17893/task/17962/stat : 17962 (java) S 17890 17893 13605 0 -1 1077944384 542 12588 0 0 13 0 8 4 20 0 20 0 5230883 11175264256 44207 33554432000 4194304 4196468 140733976173008 140085070265200 140085600926338 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35549184 140733976177345 140733976180119 140733976180119 140733976182735 0
[pid=17893/tid=17963] ppid=17890 vsize=10913344 CPUtime=0.3 cores=1,3,5,7,9,11,13,15
/proc/17893/task/17963/stat : 17963 (java) S 17890 17893 13605 0 -1 1077944384 735 12588 0 0 18 0 8 4 20 0 20 0 5230883 11175264256 44207 33554432000 4194304 4196468 140733976173008 140085069212144 140085600926338 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35549184 140733976177345 140733976180119 140733976180119 140733976182735 0
[pid=17893/tid=17964] ppid=17890 vsize=10913344 CPUtime=0.4 cores=1,3,5,7,9,11,13,15
/proc/17893/task/17964/stat : 17964 (java) S 17890 17893 13605 0 -1 1077944384 1572 12588 0 0 27 1 8 4 20 0 20 0 5230883 11175264256 44207 33554432000 4194304 4196468 140733976173008 140085068159600 140085600926338 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35549184 140733976177345 140733976180119 140733976180119 140733976182735 0
[pid=17893/tid=17965] ppid=17890 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/17893/task/17965/stat : 17965 (java) S 17890 17893 13605 0 -1 1077944384 3 12588 0 0 0 0 8 4 20 0 20 0 5230883 11175264256 44207 33554432000 4194304 4196468 140733976173008 140085067106784 140085600925397 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 35549184 140733976177345 140733976180119 140733976180119 140733976182735 0
[pid=17893/tid=17966] ppid=17890 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/17893/task/17966/stat : 17966 (java) S 17890 17893 13605 0 -1 1077944384 6 12588 0 0 0 0 8 4 20 0 20 0 5230884 11175264256 44207 33554432000 4194304 4196468 140733976173008 140085066054320 140085600926338 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35549184 140733976177345 140733976180119 140733976180119 140733976182735 0
Current children cumulated CPU time (s) 2.3
Current children cumulated vsize (KiB) 10913344
[startup+3.10085 s]
/proc/loadavg: 1.73 1.79 1.80 4/282 17966
/proc/meminfo: memFree=28300052/32770624 swapFree=5844/253200
[pid=17893] ppid=17890 vsize=10923772 CPUtime=7.48 cores=1,3,5,7,9,11,13,15
/proc/17893/stat : 17893 (java) S 17890 17893 13605 0 -1 1077944320 42118 12588 0 0 675 61 8 4 20 0 20 0 5230862 11185942528 91411 33554432000 4194304 4196468 140733976173008 140733976155552 140085600915191 0 0 0 16800975 18446744073709551615 0 0 17 15 0 0 0 0 0 6293624 6294260 35549184 140733976177345 140733976180119 140733976180119 140733976182735 0
/proc/17893/statm: 2730943 91411 3497 1 0 2718498 0
[pid=17893/tid=17948] ppid=17890 vsize=10923772 CPUtime=2.9 cores=1,3,5,7,9,11,13,15
/proc/17893/task/17948/stat : 17948 (java) R 17890 17893 13605 0 -1 4202560 24604 12588 0 0 269 9 8 4 20 0 20 0 5230875 11185942528 91411 33554432000 4194304 4196468 140733976173008 140085605148528 140085215364140 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35549184 140733976177345 140733976180119 140733976180119 140733976182735 0
[pid=17893/tid=17949] ppid=17890 vsize=10923772 CPUtime=0.24 cores=1,3,5,7,9,11,13,15
/proc/17893/task/17949/stat : 17949 (java) S 17890 17893 13605 0 -1 1077944384 176 12588 0 0 6 6 8 4 20 0 20 0 5230876 11185942528 91411 33554432000 4194304 4196468 140733976173008 140085526989328 140085600925397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35549184 140733976177345 140733976180119 140733976180119 140733976182735 0
[pid=17893/tid=17950] ppid=17890 vsize=10923772 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/17893/task/17950/stat : 17950 (java) S 17890 17893 13605 0 -1 1077944384 217 12588 0 0 5 4 8 4 20 0 20 0 5230876 11185942528 91411 33554432000 4194304 4196468 140733976173008 140085206968976 140085600925397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35549184 140733976177345 140733976180119 140733976180119 140733976182735 0
[pid=17893/tid=17951] ppid=17890 vsize=10923772 CPUtime=0.22 cores=1,3,5,7,9,11,13,15
/proc/17893/task/17951/stat : 17951 (java) S 17890 17893 13605 0 -1 1077944384 175 12588 0 0 5 5 8 4 20 0 20 0 5230876 11185942528 91411 33554432000 4194304 4196468 140733976173008 140085205915920 140085600925397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35549184 140733976177345 140733976180119 140733976180119 140733976182735 0
[pid=17893/tid=17952] ppid=17890 vsize=10923772 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/17893/task/17952/stat : 17952 (java) S 17890 17893 13605 0 -1 1077944384 176 12588 0 0 4 5 8 4 20 0 20 0 5230876 11185942528 91411 33554432000 4194304 4196468 140733976173008 140085204863376 140085600925397 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 35549184 140733976177345 140733976180119 140733976180119 140733976182735 0
[pid=17893/tid=17953] ppid=17890 vsize=10923772 CPUtime=0.23 cores=1,3,5,7,9,11,13,15
/proc/17893/task/17953/stat : 17953 (java) S 17890 17893 13605 0 -1 1077944384 135 12588 0 0 5 6 8 4 20 0 20 0 5230876 11185942528 91411 33554432000 4194304 4196468 140733976173008 140085203811344 140085600925397 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 35549184 140733976177345 140733976180119 140733976180119 140733976182735 0
[pid=17893/tid=17954] ppid=17890 vsize=10923772 CPUtime=0.23 cores=1,3,5,7,9,11,13,15
/proc/17893/task/17954/stat : 17954 (java) S 17890 17893 13605 0 -1 1077944384 114 12588 0 0 7 4 8 4 20 0 20 0 5230876 11185942528 91411 33554432000 4194304 4196468 140733976173008 140085202758800 140085600925397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35549184 140733976177345 140733976180119 140733976180119 140733976182735 0
[pid=17893/tid=17955] ppid=17890 vsize=10923772 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/17893/task/17955/stat : 17955 (java) S 17890 17893 13605 0 -1 1077944384 272 12588 0 0 5 4 8 4 20 0 20 0 5230876 11185942528 91411 33554432000 4194304 4196468 140733976173008 140085201705744 140085600925397 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 35549184 140733976177345 140733976180119 140733976180119 140733976182735 0
[pid=17893/tid=17956] ppid=17890 vsize=10923772 CPUtime=0.24 cores=1,3,5,7,9,11,13,15
/proc/17893/task/17956/stat : 17956 (java) S 17890 17893 13605 0 -1 1077944384 302 12588 0 0 6 6 8 4 20 0 20 0 5230876 11185942528 91411 33554432000 4194304 4196468 140733976173008 140085200653200 140085600925397 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 35549184 140733976177345 140733976180119 140733976180119 140733976182735 0
[pid=17893/tid=17957] ppid=17890 vsize=10923772 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/17893/task/17957/stat : 17957 (java) S 17890 17893 13605 0 -1 1077944384 1384 12588 0 0 2 0 8 4 20 0 20 0 5230878 11185942528 91411 33554432000 4194304 4196468 140733976173008 140085075527920 140085600926338 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35549184 140733976177345 140733976180119 140733976180119 140733976182735 0
[pid=17893/tid=17958] ppid=17890 vsize=10923772 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/17893/task/17958/stat : 17958 (java) S 17890 17893 13605 0 -1 1077944384 57 12588 0 0 0 0 8 4 20 0 20 0 5230879 11185942528 91411 33554432000 4194304 4196468 140733976173008 140085074474208 140085600925397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35549184 140733976177345 140733976180119 140733976180119 140733976182735 0
[pid=17893/tid=17959] ppid=17890 vsize=10923772 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/17893/task/17959/stat : 17959 (java) S 17890 17893 13605 0 -1 1077944384 44 12588 0 0 0 0 8 4 20 0 20 0 5230879 11185942528 91411 33554432000 4194304 4196468 140733976173008 140085073421056 140085600925397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35549184 140733976177345 140733976180119 140733976180119 140733976182735 0
[pid=17893/tid=17960] ppid=17890 vsize=10923772 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/17893/task/17960/stat : 17960 (java) S 17890 17893 13605 0 -1 1077944384 1 12588 0 0 0 0 8 4 20 0 20 0 5230883 11185942528 91411 33554432000 4194304 4196468 140733976173008 140085072369616 140085600933787 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 35549184 140733976177345 140733976180119 140733976180119 140733976182735 0
[pid=17893/tid=17961] ppid=17890 vsize=10923772 CPUtime=0.95 cores=1,3,5,7,9,11,13,15
/proc/17893/task/17961/stat : 17961 (java) S 17890 17893 13605 0 -1 1077944384 3025 12588 0 0 83 0 8 4 20 0 20 0 5230883 11185942528 91411 33554432000 4194304 4196468 140733976173008 140085071317744 140085600926338 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35549184 140733976177345 140733976180119 140733976180119 140733976182735 0
[pid=17893/tid=17962] ppid=17890 vsize=10923772 CPUtime=1.08 cores=1,3,5,7,9,11,13,15
/proc/17893/task/17962/stat : 17962 (java) S 17890 17893 13605 0 -1 1077944384 2865 12588 0 0 95 1 8 4 20 0 20 0 5230883 11185942528 91411 33554432000 4194304 4196468 140733976173008 140085070265200 140085600926338 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 35549184 140733976177345 140733976180119 140733976180119 140733976182735 0
[pid=17893/tid=17963] ppid=17890 vsize=10923772 CPUtime=1.03 cores=1,3,5,7,9,11,13,15
/proc/17893/task/17963/stat : 17963 (java) S 17890 17893 13605 0 -1 1077944384 3275 12588 0 0 91 0 8 4 20 0 20 0 5230883 11185942528 91411 33554432000 4194304 4196468 140733976173008 140085069212144 140085600926338 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 35549184 140733976177345 140733976180119 140733976180119 140733976182735 0
[pid=17893/tid=17964] ppid=17890 vsize=10923772 CPUtime=0.99 cores=1,3,5,7,9,11,13,15
/proc/17893/task/17964/stat : 17964 (java) S 17890 17893 13605 0 -1 1077944384 3157 12588 0 0 85 2 8 4 20 0 20 0 5230883 11185942528 91411 33554432000 4194304 4196468 140733976173008 140085068159600 140085600926338 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35549184 140733976177345 140733976180119 140733976180119 140733976182735 0
[pid=17893/tid=17965] ppid=17890 vsize=10923772 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/17893/task/17965/stat : 17965 (java) S 17890 17893 13605 0 -1 1077944384 3 12588 0 0 0 0 8 4 20 0 20 0 5230883 11185942528 91411 33554432000 4194304 4196468 140733976173008 140085067106784 140085600925397 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 35549184 140733976177345 140733976180119 140733976180119 140733976182735 0
[pid=17893/tid=17966] ppid=17890 vsize=10923772 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/17893/task/17966/stat : 17966 (java) S 17890 17893 13605 0 -1 1077944384 7 12588 0 0 0 0 8 4 20 0 20 0 5230884 11185942528 91411 33554432000 4194304 4196468 140733976173008 140085066054320 140085600926338 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35549184 140733976177345 140733976180119 140733976180119 140733976182735 0
Current children cumulated CPU time (s) 7.48
Current children cumulated vsize (KiB) 10923772
[startup+6.30115 s]
/proc/loadavg: 1.73 1.79 1.80 3/282 17966
/proc/meminfo: memFree=27743888/32770624 swapFree=5844/253200
[pid=17893] ppid=17890 vsize=10925820 CPUtime=16.57 cores=1,3,5,7,9,11,13,15
/proc/17893/stat : 17893 (java) S 17890 17893 13605 0 -1 1077944320 52632 12588 0 0 1508 137 8 4 20 0 20 0 5230862 11188039680 190856 33554432000 4194304 4196468 140733976173008 140733976155552 140085600915191 0 0 0 16800975 18446744073709551615 0 0 17 15 0 0 0 0 0 6293624 6294260 35549184 140733976177345 140733976180119 140733976180119 140733976182735 0
/proc/17893/statm: 2731455 190856 3509 1 0 2719010 0
[pid=17893/tid=17948] ppid=17890 vsize=10925820 CPUtime=5.87 cores=1,3,5,7,9,11,13,15
/proc/17893/task/17948/stat : 17948 (java) R 17890 17893 13605 0 -1 4202560 31827 12588 0 0 562 13 8 4 20 0 20 0 5230875 11188039680 190856 33554432000 4194304 4196468 140733976173008 140085605144792 140085207051392 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35549184 140733976177345 140733976180119 140733976180119 140733976182735 0
[pid=17893/tid=17949] ppid=17890 vsize=10925820 CPUtime=0.45 cores=1,3,5,7,9,11,13,15
/proc/17893/task/17949/stat : 17949 (java) S 17890 17893 13605 0 -1 1077944384 305 12588 0 0 18 15 8 4 20 0 20 0 5230876 11188039680 190856 33554432000 4194304 4196468 140733976173008 140085526989328 140085600925397 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 35549184 140733976177345 140733976180119 140733976180119 140733976182735 0
[pid=17893/tid=17950] ppid=17890 vsize=10925820 CPUtime=0.42 cores=1,3,5,7,9,11,13,15
/proc/17893/task/17950/stat : 17950 (java) S 17890 17893 13605 0 -1 1077944384 321 12588 0 0 17 13 8 4 20 0 20 0 5230876 11188039680 190856 33554432000 4194304 4196468 140733976173008 140085206968976 140085600925397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35549184 140733976177345 140733976180119 140733976180119 140733976182735 0
[pid=17893/tid=17951] ppid=17890 vsize=10925820 CPUtime=0.44 cores=1,3,5,7,9,11,13,15
/proc/17893/task/17951/stat : 17951 (java) S 17890 17893 13605 0 -1 1077944384 279 12588 0 0 17 15 8 4 20 0 20 0 5230876 11188039680 190856 33554432000 4194304 4196468 140733976173008 140085205915920 140085600925397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35549184 140733976177345 140733976180119 140733976180119 140733976182735 0
[pid=17893/tid=17952] ppid=17890 vsize=10925820 CPUtime=0.4 cores=1,3,5,7,9,11,13,15
/proc/17893/task/17952/stat : 17952 (java) S 17890 17893 13605 0 -1 1077944384 257 12588 0 0 15 13 8 4 20 0 20 0 5230876 11188039680 190856 33554432000 4194304 4196468 140733976173008 140085204863376 140085600925397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35549184 140733976177345 140733976180119 140733976180119 140733976182735 0
[pid=17893/tid=17953] ppid=17890 vsize=10925820 CPUtime=0.45 cores=1,3,5,7,9,11,13,15
/proc/17893/task/17953/stat : 17953 (java) S 17890 17893 13605 0 -1 1077944384 224 12588 0 0 17 16 8 4 20 0 20 0 5230876 11188039680 190856 33554432000 4194304 4196468 140733976173008 140085203811344 140085600925397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35549184 140733976177345 140733976180119 140733976180119 140733976182735 0
[pid=17893/tid=17954] ppid=17890 vsize=10925820 CPUtime=0.42 cores=1,3,5,7,9,11,13,15
/proc/17893/task/17954/stat : 17954 (java) S 17890 17893 13605 0 -1 1077944384 203 12588 0 0 17 13 8 4 20 0 20 0 5230876 11188039680 190856 33554432000 4194304 4196468 140733976173008 140085202758800 140085600925397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35549184 140733976177345 140733976180119 140733976180119 140733976182735 0
[pid=17893/tid=17955] ppid=17890 vsize=10925820 CPUtime=0.4 cores=1,3,5,7,9,11,13,15
/proc/17893/task/17955/stat : 17955 (java) S 17890 17893 13605 0 -1 1077944384 395 12588 0 0 16 12 8 4 20 0 20 0 5230876 11188039680 190856 33554432000 4194304 4196468 140733976173008 140085201705744 140085600925397 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 35549184 140733976177345 140733976180119 140733976180119 140733976182735 0
[pid=17893/tid=17956] ppid=17890 vsize=10925820 CPUtime=0.45 cores=1,3,5,7,9,11,13,15
/proc/17893/task/17956/stat : 17956 (java) S 17890 17893 13605 0 -1 1077944384 395 12588 0 0 18 15 8 4 20 0 20 0 5230876 11188039680 190856 33554432000 4194304 4196468 140733976173008 140085200653200 140085600925397 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 35549184 140733976177345 140733976180119 140733976180119 140733976182735 0
[pid=17893/tid=17957] ppid=17890 vsize=10925820 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/17893/task/17957/stat : 17957 (java) S 17890 17893 13605 0 -1 1077944384 1679 12588 0 0 3 0 8 4 20 0 20 0 5230878 11188039680 190856 33554432000 4194304 4196468 140733976173008 140085075527920 140085600926338 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35549184 140733976177345 140733976180119 140733976180119 140733976182735 0
[pid=17893/tid=17958] ppid=17890 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/17893/task/17958/stat : 17958 (java) S 17890 17893 13605 0 -1 1077944384 57 12588 0 0 0 0 8 4 20 0 20 0 5230879 11188039680 190856 33554432000 4194304 4196468 140733976173008 140085074474208 140085600925397 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 35549184 140733976177345 140733976180119 140733976180119 140733976182735 0
[pid=17893/tid=17959] ppid=17890 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/17893/task/17959/stat : 17959 (java) S 17890 17893 13605 0 -1 1077944384 44 12588 0 0 0 0 8 4 20 0 20 0 5230879 11188039680 190856 33554432000 4194304 4196468 140733976173008 140085073421056 140085600925397 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 35549184 140733976177345 140733976180119 140733976180119 140733976182735 0
[pid=17893/tid=17960] ppid=17890 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/17893/task/17960/stat : 17960 (java) S 17890 17893 13605 0 -1 1077944384 1 12588 0 0 0 0 8 4 20 0 20 0 5230883 11188039680 190856 33554432000 4194304 4196468 140733976173008 140085072369616 140085600933787 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 35549184 140733976177345 140733976180119 140733976180119 140733976182735 0
[pid=17893/tid=17961] ppid=17890 vsize=10925820 CPUtime=2.26 cores=1,3,5,7,9,11,13,15
/proc/17893/task/17961/stat : 17961 (java) S 17890 17893 13605 0 -1 1077944384 3703 12588 0 0 213 1 8 4 20 0 20 0 5230883 11188039680 190856 33554432000 4194304 4196468 140733976173008 140085071317744 140085600926338 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 35549184 140733976177345 140733976180119 140733976180119 140733976182735 0
[pid=17893/tid=17962] ppid=17890 vsize=10925820 CPUtime=2.41 cores=1,3,5,7,9,11,13,15
/proc/17893/task/17962/stat : 17962 (java) S 17890 17893 13605 0 -1 1077944384 3060 12588 0 0 228 1 8 4 20 0 20 0 5230883 11188039680 190856 33554432000 4194304 4196468 140733976173008 140085070265200 140085600926338 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 35549184 140733976177345 140733976180119 140733976180119 140733976182735 0
[pid=17893/tid=17963] ppid=17890 vsize=10925820 CPUtime=2.35 cores=1,3,5,7,9,11,13,15
/proc/17893/task/17963/stat : 17963 (java) R 17890 17893 13605 0 -1 4202560 3791 12588 0 0 222 1 8 4 20 0 20 0 5230883 11188039680 190856 33554432000 4194304 4196468 140733976173008 140085069198688 140085586040600 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 35549184 140733976177345 140733976180119 140733976180119 140733976182735 0
[pid=17893/tid=17964] ppid=17890 vsize=10925820 CPUtime=1.51 cores=1,3,5,7,9,11,13,15
/proc/17893/task/17964/stat : 17964 (java) R 17890 17893 13605 0 -1 4202560 3839 12588 0 0 137 2 8 4 20 0 20 0 5230883 11188039680 190856 33554432000 4194304 4196468 140733976173008 140085068159520 140085579854090 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35549184 140733976177345 140733976180119 140733976180119 140733976182735 0
[pid=17893/tid=17965] ppid=17890 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
################
# More data... #
################
[pid=17893/tid=17966] ppid=17890 vsize=10997500 CPUtime=1.23 cores=1,3,5,7,9,11,13,15
/proc/17893/task/17966/stat : 17966 (java) S 17890 17893 13605 0 -1 1077944384 3425 12588 0 0 58 53 8 4 20 0 20 0 5230884 11261440000 735773 33554432000 4194304 4196468 140733976173008 140085066054320 140085600926338 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35549184 140733976177345 140733976180119 140733976180119 140733976182735 0
Current children cumulated CPU time (s) 2356.59
Current children cumulated vsize (KiB) 10997500
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2304.4 s]
/proc/loadavg: 1.24 1.36 1.45 3/281 18340
/proc/meminfo: memFree=27074292/32770624 swapFree=5844/255800
[pid=17893] ppid=17890 vsize=10997500 CPUtime=2400.09 cores=1,3,5,7,9,11,13,15
/proc/17893/stat : 17893 (java) S 17890 17893 13605 0 -1 1077944320 421691 12588 0 0 239360 637 8 4 20 0 20 0 5230862 11261440000 735781 33554432000 4194304 4196468 140733976173008 140733976155552 140085600915191 0 0 0 16800975 18446744073709551615 0 0 17 15 0 0 0 0 0 6293624 6294260 35549184 140733976177345 140733976180119 140733976180119 140733976182735 0
/proc/17893/statm: 2749375 735781 3526 1 0 2736930 0
[pid=17893/tid=17948] ppid=17890 vsize=10997500 CPUtime=2285.76 cores=1,3,5,7,9,11,13,15
/proc/17893/task/17948/stat : 17948 (java) R 17890 17893 13605 0 -1 4202560 119151 12588 0 0 228504 60 8 4 20 0 20 0 5230875 11261440000 735781 33554432000 4194304 4196468 140733976173008 140085605149520 140085228827282 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 35549184 140733976177345 140733976180119 140733976180119 140733976182735 0
[pid=17893/tid=17949] ppid=17890 vsize=10997500 CPUtime=10.64 cores=1,3,5,7,9,11,13,15
/proc/17893/task/17949/stat : 17949 (java) S 17890 17893 13605 0 -1 1077944384 22981 12588 0 0 985 67 8 4 20 0 20 0 5230876 11261440000 735781 33554432000 4194304 4196468 140733976173008 140085526989328 140085600925397 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 35549184 140733976177345 140733976180119 140733976180119 140733976182735 0
[pid=17893/tid=17950] ppid=17890 vsize=10997500 CPUtime=10.48 cores=1,3,5,7,9,11,13,15
/proc/17893/task/17950/stat : 17950 (java) S 17890 17893 13605 0 -1 1077944384 23037 12588 0 0 969 67 8 4 20 0 20 0 5230876 11261440000 735781 33554432000 4194304 4196468 140733976173008 140085206968976 140085600925397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35549184 140733976177345 140733976180119 140733976180119 140733976182735 0
[pid=17893/tid=17951] ppid=17890 vsize=10997500 CPUtime=10.61 cores=1,3,5,7,9,11,13,15
/proc/17893/task/17951/stat : 17951 (java) S 17890 17893 13605 0 -1 1077944384 20685 12588 0 0 984 65 8 4 20 0 20 0 5230876 11261440000 735781 33554432000 4194304 4196468 140733976173008 140085205915920 140085600925397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35549184 140733976177345 140733976180119 140733976180119 140733976182735 0
[pid=17893/tid=17952] ppid=17890 vsize=10997500 CPUtime=10.53 cores=1,3,5,7,9,11,13,15
/proc/17893/task/17952/stat : 17952 (java) S 17890 17893 13605 0 -1 1077944384 19627 12588 0 0 979 62 8 4 20 0 20 0 5230876 11261440000 735781 33554432000 4194304 4196468 140733976173008 140085204863376 140085600925397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35549184 140733976177345 140733976180119 140733976180119 140733976182735 0
[pid=17893/tid=17953] ppid=17890 vsize=10997500 CPUtime=10.58 cores=1,3,5,7,9,11,13,15
/proc/17893/task/17953/stat : 17953 (java) S 17890 17893 13605 0 -1 1077944384 21915 12588 0 0 980 66 8 4 20 0 20 0 5230876 11261440000 735781 33554432000 4194304 4196468 140733976173008 140085203811344 140085600925397 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 35549184 140733976177345 140733976180119 140733976180119 140733976182735 0
[pid=17893/tid=17954] ppid=17890 vsize=10997500 CPUtime=10.53 cores=1,3,5,7,9,11,13,15
/proc/17893/task/17954/stat : 17954 (java) S 17890 17893 13605 0 -1 1077944384 25805 12588 0 0 976 65 8 4 20 0 20 0 5230876 11261440000 735781 33554432000 4194304 4196468 140733976173008 140085202758800 140085600925397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35549184 140733976177345 140733976180119 140733976180119 140733976182735 0
[pid=17893/tid=17955] ppid=17890 vsize=10997500 CPUtime=10.53 cores=1,3,5,7,9,11,13,15
/proc/17893/task/17955/stat : 17955 (java) S 17890 17893 13605 0 -1 1077944384 20609 12588 0 0 979 62 8 4 20 0 20 0 5230876 11261440000 735781 33554432000 4194304 4196468 140733976173008 140085201705744 140085600925397 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 35549184 140733976177345 140733976180119 140733976180119 140733976182735 0
[pid=17893/tid=17956] ppid=17890 vsize=10997500 CPUtime=10.62 cores=1,3,5,7,9,11,13,15
/proc/17893/task/17956/stat : 17956 (java) S 17890 17893 13605 0 -1 1077944384 26284 12588 0 0 989 61 8 4 20 0 20 0 5230876 11261440000 735781 33554432000 4194304 4196468 140733976173008 140085200653200 140085600925397 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 35549184 140733976177345 140733976180119 140733976180119 140733976182735 0
[pid=17893/tid=17957] ppid=17890 vsize=10997500 CPUtime=4.99 cores=1,3,5,7,9,11,13,15
/proc/17893/task/17957/stat : 17957 (java) S 17890 17893 13605 0 -1 1077944384 36716 12588 0 0 459 28 8 4 20 0 20 0 5230878 11261440000 735781 33554432000 4194304 4196468 140733976173008 140085075527920 140085600926338 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35549184 140733976177345 140733976180119 140733976180119 140733976182735 0
[pid=17893/tid=17958] ppid=17890 vsize=10997500 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/17893/task/17958/stat : 17958 (java) S 17890 17893 13605 0 -1 1077944384 62 12588 0 0 0 0 8 4 20 0 20 0 5230879 11261440000 735781 33554432000 4194304 4196468 140733976173008 140085074474272 140085600925397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35549184 140733976177345 140733976180119 140733976180119 140733976182735 0
[pid=17893/tid=17959] ppid=17890 vsize=10997500 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/17893/task/17959/stat : 17959 (java) S 17890 17893 13605 0 -1 1077944384 49 12588 0 0 0 0 8 4 20 0 20 0 5230879 11261440000 735781 33554432000 4194304 4196468 140733976173008 140085073421056 140085600925397 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 35549184 140733976177345 140733976180119 140733976180119 140733976182735 0
[pid=17893/tid=17960] ppid=17890 vsize=10997500 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/17893/task/17960/stat : 17960 (java) S 17890 17893 13605 0 -1 1077944384 1 12588 0 0 0 0 8 4 20 0 20 0 5230883 11261440000 735781 33554432000 4194304 4196468 140733976173008 140085072369616 140085600933787 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 35549184 140733976177345 140733976180119 140733976180119 140733976182735 0
[pid=17893/tid=17961] ppid=17890 vsize=10997500 CPUtime=7.46 cores=1,3,5,7,9,11,13,15
/proc/17893/task/17961/stat : 17961 (java) S 17890 17893 13605 0 -1 1077944384 20855 12588 0 0 731 3 8 4 20 0 20 0 5230883 11261440000 735781 33554432000 4194304 4196468 140733976173008 140085071317744 140085600926338 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35549184 140733976177345 140733976180119 140733976180119 140733976182735 0
[pid=17893/tid=17962] ppid=17890 vsize=10997500 CPUtime=6.89 cores=1,3,5,7,9,11,13,15
/proc/17893/task/17962/stat : 17962 (java) S 17890 17893 13605 0 -1 1077944384 15610 12588 0 0 673 4 8 4 20 0 20 0 5230883 11261440000 735781 33554432000 4194304 4196468 140733976173008 140085070265200 140085600926338 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 35549184 140733976177345 140733976180119 140733976180119 140733976182735 0
[pid=17893/tid=17963] ppid=17890 vsize=10997500 CPUtime=7.55 cores=1,3,5,7,9,11,13,15
/proc/17893/task/17963/stat : 17963 (java) S 17890 17893 13605 0 -1 1077944384 21291 12588 0 0 739 4 8 4 20 0 20 0 5230883 11261440000 735781 33554432000 4194304 4196468 140733976173008 140085069212144 140085600926338 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 35549184 140733976177345 140733976180119 140733976180119 140733976182735 0
[pid=17893/tid=17964] ppid=17890 vsize=10997500 CPUtime=3.19 cores=1,3,5,7,9,11,13,15
/proc/17893/task/17964/stat : 17964 (java) S 17890 17893 13605 0 -1 1077944384 21426 12588 0 0 302 5 8 4 20 0 20 0 5230883 11261440000 735781 33554432000 4194304 4196468 140733976173008 140085068159600 140085600926338 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35549184 140733976177345 140733976180119 140733976180119 140733976182735 0
[pid=17893/tid=17965] ppid=17890 vsize=10997500 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/17893/task/17965/stat : 17965 (java) S 17890 17893 13605 0 -1 1077944384 3 12588 0 0 0 0 8 4 20 0 20 0 5230883 11261440000 735781 33554432000 4194304 4196468 140733976173008 140085067106784 140085600925397 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 35549184 140733976177345 140733976180119 140733976180119 140733976182735 0
[pid=17893/tid=17966] ppid=17890 vsize=10997500 CPUtime=1.24 cores=1,3,5,7,9,11,13,15
/proc/17893/task/17966/stat : 17966 (java) S 17890 17893 13605 0 -1 1077944384 3455 12588 0 0 59 53 8 4 20 0 20 0 5230884 11261440000 735781 33554432000 4194304 4196468 140733976173008 140085066054320 140085600926338 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 35549184 140733976177345 140733976180119 140733976180119 140733976182735 0
Current children cumulated CPU time (s) 2400.09
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 17893 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2304.61 s]
/proc/loadavg: 1.24 1.36 1.45 9/283 18342
/proc/meminfo: memFree=27067744/32770624 swapFree=5844/255800
[pid=17893] ppid=17890 vsize=11130628 CPUtime=2401.09 cores=1,3,5,7,9,11,13,15
/proc/17893/stat : 17893 (java) S 17890 17893 13605 0 -1 1077944320 426970 12588 0 0 239457 640 8 4 20 0 22 0 5230862 11397763072 737556 33554432000 4194304 4196468 140733976173008 140733976155552 140085600915191 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35549184 140733976177345 140733976180119 140733976180119 140733976182735 0
/proc/17893/statm: 2782657 737556 3526 1 0 2770212 0
[pid=17893/tid=17948] ppid=17890 vsize=11130628 CPUtime=2285.77 cores=1,3,5,7,9,11,13,15
/proc/17893/task/17948/stat : 17948 (java) S 17890 17893 13605 0 -1 1077944384 119423 12588 0 0 228505 60 8 4 20 0 22 0 5230875 11397763072 737556 33554432000 4194304 4196468 140733976173008 140085605152976 140085600925397 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 35549184 140733976177345 140733976180119 140733976180119 140733976182735 0
[pid=17893/tid=17949] ppid=17890 vsize=11130628 CPUtime=10.73 cores=1,3,5,7,9,11,13,15
/proc/17893/task/17949/stat : 17949 (java) S 17890 17893 13605 0 -1 1077944384 23009 12588 0 0 994 67 8 4 20 0 22 0 5230876 11397763072 737556 33554432000 4194304 4196468 140733976173008 140085526989328 140085600925397 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 35549184 140733976177345 140733976180119 140733976180119 140733976182735 0
[pid=17893/tid=17950] ppid=17890 vsize=11130628 CPUtime=10.6 cores=1,3,5,7,9,11,13,15
/proc/17893/task/17950/stat : 17950 (java) S 17890 17893 13605 0 -1 1077944384 23058 12588 0 0 980 68 8 4 20 0 22 0 5230876 11397763072 737556 33554432000 4194304 4196468 140733976173008 140085206968976 140085600925397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35549184 140733976177345 140733976180119 140733976180119 140733976182735 0
[pid=17893/tid=17951] ppid=17890 vsize=11130628 CPUtime=10.72 cores=1,3,5,7,9,11,13,15
/proc/17893/task/17951/stat : 17951 (java) S 17890 17893 13605 0 -1 1077944384 20753 12588 0 0 995 65 8 4 20 0 22 0 5230876 11397763072 737556 33554432000 4194304 4196468 140733976173008 140085205915920 140085600925397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35549184 140733976177345 140733976180119 140733976180119 140733976182735 0
[pid=17893/tid=17952] ppid=17890 vsize=11130628 CPUtime=10.65 cores=1,3,5,7,9,11,13,15
/proc/17893/task/17952/stat : 17952 (java) S 17890 17893 13605 0 -1 1077944384 19673 12588 0 0 990 63 8 4 20 0 22 0 5230876 11397763072 737556 33554432000 4194304 4196468 140733976173008 140085204863376 140085600925397 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 35549184 140733976177345 140733976180119 140733976180119 140733976182735 0
[pid=17893/tid=17953] ppid=17890 vsize=11130628 CPUtime=10.69 cores=1,3,5,7,9,11,13,15
/proc/17893/task/17953/stat : 17953 (java) S 17890 17893 13605 0 -1 1077944384 21946 12588 0 0 991 66 8 4 20 0 22 0 5230876 11397763072 737556 33554432000 4194304 4196468 140733976173008 140085203811344 140085600925397 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 35549184 140733976177345 140733976180119 140733976180119 140733976182735 0
[pid=17893/tid=17954] ppid=17890 vsize=11130628 CPUtime=10.63 cores=1,3,5,7,9,11,13,15
/proc/17893/task/17954/stat : 17954 (java) S 17890 17893 13605 0 -1 1077944384 25819 12588 0 0 986 65 8 4 20 0 22 0 5230876 11397763072 737556 33554432000 4194304 4196468 140733976173008 140085202758800 140085600925397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35549184 140733976177345 140733976180119 140733976180119 140733976182735 0
[pid=17893/tid=17955] ppid=17890 vsize=11130628 CPUtime=10.65 cores=1,3,5,7,9,11,13,15
/proc/17893/task/17955/stat : 17955 (java) S 17890 17893 13605 0 -1 1077944384 20619 12588 0 0 991 62 8 4 20 0 22 0 5230876 11397763072 737556 33554432000 4194304 4196468 140733976173008 140085201705744 140085600925397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35549184 140733976177345 140733976180119 140733976180119 140733976182735 0
[pid=17893/tid=17956] ppid=17890 vsize=11130628 CPUtime=10.74 cores=1,3,5,7,9,11,13,15
/proc/17893/task/17956/stat : 17956 (java) S 17890 17893 13605 0 -1 1077944384 26290 12588 0 0 1001 61 8 4 20 0 22 0 5230876 11397763072 737556 33554432000 4194304 4196468 140733976173008 140085200653200 140085600925397 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 35549184 140733976177345 140733976180119 140733976180119 140733976182735 0
[pid=17893/tid=17957] ppid=17890 vsize=11130628 CPUtime=5.06 cores=1,3,5,7,9,11,13,15
/proc/17893/task/17957/stat : 17957 (java) R 17890 17893 13605 0 -1 4202560 41186 12588 0 0 466 28 8 4 20 0 22 0 5230878 11397763072 737556 33554432000 4194304 4196468 140733976173008 140085075526208 140085586042524 0 0 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 35549184 140733976177345 140733976180119 140733976180119 140733976182735 0
[pid=17893/tid=17958] ppid=17890 vsize=11130628 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/17893/task/17958/stat : 17958 (java) S 17890 17893 13605 0 -1 1077944384 63 12588 0 0 0 0 8 4 20 0 22 0 5230879 11397763072 737556 33554432000 4194304 4196468 140733976173008 140085074473776 140085600925397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35549184 140733976177345 140733976180119 140733976180119 140733976182735 0
[pid=17893/tid=17959] ppid=17890 vsize=11130628 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/17893/task/17959/stat : 17959 (java) S 17890 17893 13605 0 -1 1077944384 49 12588 0 0 0 0 8 4 20 0 22 0 5230879 11397763072 737556 33554432000 4194304 4196468 140733976173008 140085073421056 140085600925397 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 35549184 140733976177345 140733976180119 140733976180119 140733976182735 0
[pid=17893/tid=17960] ppid=17890 vsize=11130628 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/17893/task/17960/stat : 17960 (java) S 17890 17893 13605 0 -1 1077944384 110 12588 0 0 0 0 8 4 20 0 22 0 5230883 11397763072 737556 33554432000 4194304 4196468 140733976173008 140085072369616 140085600933787 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 35549184 140733976177345 140733976180119 140733976180119 140733976182735 0
[pid=17893/tid=17961] ppid=17890 vsize=11130628 CPUtime=7.46 cores=1,3,5,7,9,11,13,15
/proc/17893/task/17961/stat : 17961 (java) S 17890 17893 13605 0 -1 1077944384 20855 12588 0 0 731 3 8 4 20 0 22 0 5230883 11397763072 737556 33554432000 4194304 4196468 140733976173008 140085071317744 140085600926338 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35549184 140733976177345 140733976180119 140733976180119 140733976182735 0
[pid=17893/tid=17962] ppid=17890 vsize=11130628 CPUtime=6.89 cores=1,3,5,7,9,11,13,15
/proc/17893/task/17962/stat : 17962 (java) S 17890 17893 13605 0 -1 1077944384 15610 12588 0 0 673 4 8 4 20 0 22 0 5230883 11397763072 737556 33554432000 4194304 4196468 140733976173008 140085070265200 140085600926338 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 35549184 140733976177345 140733976180119 140733976180119 140733976182735 0
[pid=17893/tid=17963] ppid=17890 vsize=11130628 CPUtime=7.55 cores=1,3,5,7,9,11,13,15
/proc/17893/task/17963/stat : 17963 (java) S 17890 17893 13605 0 -1 1077944384 21291 12588 0 0 739 4 8 4 20 0 22 0 5230883 11397763072 737556 33554432000 4194304 4196468 140733976173008 140085069212144 140085600926338 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 35549184 140733976177345 140733976180119 140733976180119 140733976182735 0
[pid=17893/tid=17964] ppid=17890 vsize=11130628 CPUtime=3.19 cores=1,3,5,7,9,11,13,15
/proc/17893/task/17964/stat : 17964 (java) S 17890 17893 13605 0 -1 1077944384 21520 12588 0 0 302 5 8 4 20 0 22 0 5230883 11397763072 737556 33554432000 4194304 4196468 140733976173008 140085068155472 140085600925397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35549184 140733976177345 140733976180119 140733976180119 140733976182735 0
[pid=17893/tid=17965] ppid=17890 vsize=11130628 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/17893/task/17965/stat : 17965 (java) S 17890 17893 13605 0 -1 1077944384 3 12588 0 0 0 0 8 4 20 0 22 0 5230883 11397763072 737556 33554432000 4194304 4196468 140733976173008 140085067106784 140085600925397 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 35549184 140733976177345 140733976180119 140733976180119 140733976182735 0
[pid=17893/tid=17966] ppid=17890 vsize=11130628 CPUtime=1.24 cores=1,3,5,7,9,11,13,15
/proc/17893/task/17966/stat : 17966 (java) S 17890 17893 13605 0 -1 1077944384 3455 12588 0 0 59 53 8 4 20 0 22 0 5230884 11397763072 737556 33554432000 4194304 4196468 140733976173008 140085066054320 140085600926338 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 35549184 140733976177345 140733976180119 140733976180119 140733976182735 0
[pid=17893/tid=18341] ppid=17890 vsize=11130628 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/17893/task/18341/stat : 18341 (java) S 17890 17893 13605 0 -1 1077944384 85 12588 0 0 0 0 8 4 20 0 22 0 5461303 11397763072 737556 33554432000 4194304 4196468 140733976173008 140085057568752 140085600925397 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 35549184 140733976177345 140733976180119 140733976180119 140733976182735 0
[pid=17893/tid=18342] ppid=17890 vsize=11130628 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/17893/task/18342/stat : 18342 (java) S 17890 17893 13605 0 -1 1077944384 23 12588 0 0 0 0 8 4 20 0 22 0 5461303 11397763072 737556 33554432000 4194304 4196468 140733976173008 140084965700416 140085600925397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35549184 140733976177345 140733976180119 140733976180119 140733976182735 0
Current children cumulated CPU time (s) 2401.09
Current children cumulated vsize (KiB) 11130628
[startup+2304.7 s]
/proc/loadavg: 1.24 1.36 1.45 9/283 18342
/proc/meminfo: memFree=27067744/32770624 swapFree=5844/255800
[pid=17893] ppid=17890 vsize=11130628 CPUtime=2401.44 cores=1,3,5,7,9,11,13,15
/proc/17893/stat : 17893 (java) S 17890 17893 13605 0 -1 1077944320 427092 12588 0 0 239492 640 8 4 20 0 22 0 5230862 11397763072 737575 33554432000 4194304 4196468 140733976173008 140733976155552 140085600915191 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35549184 140733976177345 140733976180119 140733976180119 140733976182735 0
/proc/17893/statm: 2782657 737575 3527 1 0 2770212 0
[pid=17893/tid=17948] ppid=17890 vsize=11130628 CPUtime=2285.78 cores=1,3,5,7,9,11,13,15
/proc/17893/task/17948/stat : 17948 (java) S 17890 17893 13605 0 -1 1077944384 119464 12588 0 0 228506 60 8 4 20 0 22 0 5230875 11397763072 737575 33554432000 4194304 4196468 140733976173008 140085605158064 140085600925397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35549184 140733976177345 140733976180119 140733976180119 140733976182735 0
[pid=17893/tid=17949] ppid=17890 vsize=11130628 CPUtime=10.77 cores=1,3,5,7,9,11,13,15
/proc/17893/task/17949/stat : 17949 (java) S 17890 17893 13605 0 -1 1077944384 23009 12588 0 0 998 67 8 4 20 0 22 0 5230876 11397763072 737575 33554432000 4194304 4196468 140733976173008 140085526989328 140085600925397 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 35549184 140733976177345 140733976180119 140733976180119 140733976182735 0
[pid=17893/tid=17950] ppid=17890 vsize=11130628 CPUtime=10.64 cores=1,3,5,7,9,11,13,15
/proc/17893/task/17950/stat : 17950 (java) S 17890 17893 13605 0 -1 1077944384 23058 12588 0 0 984 68 8 4 20 0 22 0 5230876 11397763072 737575 33554432000 4194304 4196468 140733976173008 140085206968976 140085600925397 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 35549184 140733976177345 140733976180119 140733976180119 140733976182735 0
[pid=17893/tid=17951] ppid=17890 vsize=11130628 CPUtime=10.76 cores=1,3,5,7,9,11,13,15
/proc/17893/task/17951/stat : 17951 (java) S 17890 17893 13605 0 -1 1077944384 20754 12588 0 0 999 65 8 4 20 0 22 0 5230876 11397763072 737575 33554432000 4194304 4196468 140733976173008 140085205915920 140085600925397 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 35549184 140733976177345 140733976180119 140733976180119 140733976182735 0
[pid=17893/tid=17952] ppid=17890 vsize=11130628 CPUtime=10.69 cores=1,3,5,7,9,11,13,15
/proc/17893/task/17952/stat : 17952 (java) S 17890 17893 13605 0 -1 1077944384 19673 12588 0 0 994 63 8 4 20 0 22 0 5230876 11397763072 737575 33554432000 4194304 4196468 140733976173008 140085204863376 140085600925397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35549184 140733976177345 140733976180119 140733976180119 140733976182735 0
[pid=17893/tid=17953] ppid=17890 vsize=11130628 CPUtime=10.73 cores=1,3,5,7,9,11,13,15
/proc/17893/task/17953/stat : 17953 (java) S 17890 17893 13605 0 -1 1077944384 21946 12588 0 0 995 66 8 4 20 0 22 0 5230876 11397763072 737575 33554432000 4194304 4196468 140733976173008 140085203811344 140085600925397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35549184 140733976177345 140733976180119 140733976180119 140733976182735 0
[pid=17893/tid=17954] ppid=17890 vsize=11130628 CPUtime=10.66 cores=1,3,5,7,9,11,13,15
/proc/17893/task/17954/stat : 17954 (java) S 17890 17893 13605 0 -1 1077944384 25819 12588 0 0 989 65 8 4 20 0 22 0 5230876 11397763072 737575 33554432000 4194304 4196468 140733976173008 140085202758800 140085600925397 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 35549184 140733976177345 140733976180119 140733976180119 140733976182735 0
[pid=17893/tid=17955] ppid=17890 vsize=11130628 CPUtime=10.69 cores=1,3,5,7,9,11,13,15
/proc/17893/task/17955/stat : 17955 (java) S 17890 17893 13605 0 -1 1077944384 20619 12588 0 0 995 62 8 4 20 0 22 0 5230876 11397763072 737575 33554432000 4194304 4196468 140733976173008 140085201705744 140085600925397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35549184 140733976177345 140733976180119 140733976180119 140733976182735 0
[pid=17893/tid=17956] ppid=17890 vsize=11130628 CPUtime=10.78 cores=1,3,5,7,9,11,13,15
/proc/17893/task/17956/stat : 17956 (java) S 17890 17893 13605 0 -1 1077944384 26290 12588 0 0 1004 62 8 4 20 0 22 0 5230876 11397763072 737575 33554432000 4194304 4196468 140733976173008 140085200653200 140085600925397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35549184 140733976177345 140733976180119 140733976180119 140733976182735 0
[pid=17893/tid=17957] ppid=17890 vsize=11130628 CPUtime=5.1 cores=1,3,5,7,9,11,13,15
/proc/17893/task/17957/stat : 17957 (java) S 17890 17893 13605 0 -1 1077944384 41194 12588 0 0 470 28 8 4 20 0 22 0 5230878 11397763072 737575 33554432000 4194304 4196468 140733976173008 140085075527920 140085600926338 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35549184 140733976177345 140733976180119 140733976180119 140733976182735 0
[pid=17893/tid=17958] ppid=17890 vsize=11130628 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/17893/task/17958/stat : 17958 (java) S 17890 17893 13605 0 -1 1077944384 64 12588 0 0 0 0 8 4 20 0 22 0 5230879 11397763072 737575 33554432000 4194304 4196468 140733976173008 140085074474272 140085600925397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35549184 140733976177345 140733976180119 140733976180119 140733976182735 0
[pid=17893/tid=17959] ppid=17890 vsize=11130628 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/17893/task/17959/stat : 17959 (java) S 17890 17893 13605 0 -1 1077944384 51 12588 0 0 0 0 8 4 20 0 22 0 5230879 11397763072 737575 33554432000 4194304 4196468 140733976173008 140085073421056 140085600925397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35549184 140733976177345 140733976180119 140733976180119 140733976182735 0
[pid=17893/tid=17960] ppid=17890 vsize=11130628 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/17893/task/17960/stat : 17960 (java) S 17890 17893 13605 0 -1 1077944384 110 12588 0 0 0 0 8 4 20 0 22 0 5230883 11397763072 737575 33554432000 4194304 4196468 140733976173008 140085072369616 140085600933787 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 35549184 140733976177345 140733976180119 140733976180119 140733976182735 0
[pid=17893/tid=17961] ppid=17890 vsize=11130628 CPUtime=7.46 cores=1,3,5,7,9,11,13,15
/proc/17893/task/17961/stat : 17961 (java) S 17890 17893 13605 0 -1 1077944384 20903 12588 0 0 731 3 8 4 20 0 22 0 5230883 11397763072 737575 33554432000 4194304 4196468 140733976173008 140085071317744 140085600926338 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35549184 140733976177345 140733976180119 140733976180119 140733976182735 0
[pid=17893/tid=17962] ppid=17890 vsize=11130628 CPUtime=6.89 cores=1,3,5,7,9,11,13,15
/proc/17893/task/17962/stat : 17962 (java) R 17890 17893 13605 0 -1 4202560 15625 12588 0 0 673 4 8 4 20 0 22 0 5230883 11397763072 737575 33554432000 4194304 4196468 140733976173008 140085070265496 140085578834837 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 35549184 140733976177345 140733976180119 140733976180119 140733976182735 0
[pid=17893/tid=17963] ppid=17890 vsize=11130628 CPUtime=7.55 cores=1,3,5,7,9,11,13,15
/proc/17893/task/17963/stat : 17963 (java) S 17890 17893 13605 0 -1 1077944384 21291 12588 0 0 739 4 8 4 20 0 22 0 5230883 11397763072 737575 33554432000 4194304 4196468 140733976173008 140085069212144 140085600926338 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 35549184 140733976177345 140733976180119 140733976180119 140733976182735 0
[pid=17893/tid=17964] ppid=17890 vsize=11130628 CPUtime=3.19 cores=1,3,5,7,9,11,13,15
/proc/17893/task/17964/stat : 17964 (java) S 17890 17893 13605 0 -1 1077944384 21525 12588 0 0 302 5 8 4 20 0 22 0 5230883 11397763072 737575 33554432000 4194304 4196468 140733976173008 140085068159600 140085600926338 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35549184 140733976177345 140733976180119 140733976180119 140733976182735 0
[pid=17893/tid=17965] ppid=17890 vsize=11130628 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/17893/task/17965/stat : 17965 (java) S 17890 17893 13605 0 -1 1077944384 3 12588 0 0 0 0 8 4 20 0 22 0 5230883 11397763072 737575 33554432000 4194304 4196468 140733976173008 140085067106784 140085600925397 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 35549184 140733976177345 140733976180119 140733976180119 140733976182735 0
[pid=17893/tid=17966] ppid=17890 vsize=11130628 CPUtime=1.24 cores=1,3,5,7,9,11,13,15
/proc/17893/task/17966/stat : 17966 (java) S 17890 17893 13605 0 -1 1077944384 3455 12588 0 0 59 53 8 4 20 0 22 0 5230884 11397763072 737575 33554432000 4194304 4196468 140733976173008 140085066054320 140085600926338 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 35549184 140733976177345 140733976180119 140733976180119 140733976182735 0
[pid=17893/tid=18341] ppid=17890 vsize=11130628 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/17893/task/18341/stat : 18341 (java) S 17890 17893 13605 0 -1 1077944384 85 12588 0 0 0 0 8 4 20 0 22 0 5461303 11397763072 737575 33554432000 4194304 4196468 140733976173008 140085057568752 140085600925397 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 35549184 140733976177345 140733976180119 140733976180119 140733976182735 0
[pid=17893/tid=18342] ppid=17890 vsize=11130628 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/17893/task/18342/stat : 18342 (java) R 17890 17893 13605 0 -1 4202560 29 12588 0 0 0 0 8 4 20 0 22 0 5461303 11397763072 737575 33554432000 4194304 4196468 140733976173008 140084965696640 140085584958821 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35549184 140733976177345 140733976180119 140733976180119 140733976182735 0
Current children cumulated CPU time (s) 2401.44
Current children cumulated vsize (KiB) 11130628
Child status: 143
Real time (s): 2304.72
CPU time (s): 2401.47
CPU user time (s): 2395
CPU system time (s): 6.46912
CPU usage (%): 104.198
Max. virtual memory (cumulated for all children) (KiB): 11130628
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2395
system time used= 6.46912
maximum resident set size= 3159092
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 439710
page faults= 0
swaps= 0
block input operations= 8
block output operations= 2688
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 216895
involuntary context switches= 163801
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.7253 second user time and 19.7088 second system time
The end