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-4247979-1500741192/watcher-4247979-1500741192 -o /tmp/evaluation-result-4247979-1500741192/solver-4247979-1500741192 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node127-1500718419-12025 --watchdog 2560 bin/concrete HOME/instance-4247979-1500741192.xml
pid=17925
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.77 1.72 1.64 3/261 17928
/proc/meminfo: memFree=28986316/32770624 swapFree=6384/341916
[pid=17928] ppid=17925 vsize=9508 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17928/stat : 17928 (bash) S 17925 17928 11993 0 -1 4202496 684 1532 0 0 0 0 0 0 20 0 1 0 9386847 9736192 350 33554432000 4194304 5098028 140730324528304 140730324525944 139783911844864 0 0 4100 65536 18446744071580971376 0 0 17 9 0 0 0 0 0 7196144 7232144 15151104 140730324530446 140730324530531 140730324530531 140730324533230 0
/proc/17928/statm: 2377 350 278 221 0 86 0
[startup+0.100103 s]
/proc/loadavg: 1.77 1.72 1.64 3/261 17928
/proc/meminfo: memFree=28986316/32770624 swapFree=6384/341916
[pid=17928] ppid=17925 vsize=9640 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/17928/stat : 17928 (bash) S 17925 17928 11993 0 -1 4202496 877 6415 0 0 0 0 0 2 20 0 1 0 9386847 9871360 377 33554432000 4194304 5098028 140730324528304 140730324522312 139783911844864 0 0 4100 65536 18446744071580971376 0 0 17 9 0 0 0 0 0 7196144 7232144 15151104 140730324530446 140730324530531 140730324530531 140730324533230 0
/proc/17928/statm: 2410 377 296 221 0 119 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 9640
[startup+0.200324 s]
/proc/loadavg: 1.77 1.72 1.64 3/261 17928
/proc/meminfo: memFree=28986316/32770624 swapFree=6384/341916
[pid=17928] ppid=17925 vsize=10435860 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/17928/stat : 17928 (java) S 17925 17928 11993 0 -1 1077944320 4787 12702 0 0 5 1 9 4 20 0 13 0 9386847 10686320640 5130 33554432000 4194304 4196468 140731692529344 140731692511888 140623602810615 0 0 0 16800971 18446744073709551615 0 0 17 15 0 0 0 0 0 6293624 6294260 38326272 140731692530369 140731692533143 140731692533143 140731692535759 0
/proc/17928/statm: 2608965 5130 2138 1 0 2597403 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 10435860
[startup+0.300248 s]
/proc/loadavg: 1.77 1.72 1.64 3/261 17928
/proc/meminfo: memFree=28986316/32770624 swapFree=6384/341916
[pid=17928] ppid=17925 vsize=10902392 CPUtime=0.36 cores=1,3,5,7,9,11,13,15
/proc/17928/stat : 17928 (java) S 17925 17928 11993 0 -1 1077944320 6750 12702 0 0 21 2 9 4 20 0 20 0 9386847 11164049408 8496 33554432000 4194304 4196468 140731692529344 140731692511888 140623602810615 0 0 0 16800975 18446744073709551615 0 0 17 15 0 0 0 0 0 6293624 6294260 38326272 140731692530369 140731692533143 140731692533143 140731692535759 0
/proc/17928/statm: 2725598 8496 2997 1 0 2713890 0
Current children cumulated CPU time (s) 0.36
Current children cumulated vsize (KiB) 10902392
[startup+0.700218 s]
/proc/loadavg: 1.77 1.72 1.64 3/261 17928
/proc/meminfo: memFree=28986316/32770624 swapFree=6384/341916
[pid=17928] ppid=17925 vsize=10902720 CPUtime=0.89 cores=1,3,5,7,9,11,13,15
/proc/17928/stat : 17928 (java) S 17925 17928 11993 0 -1 1077944320 11998 12702 0 0 70 6 9 4 20 0 20 0 9386847 11164385280 14830 33554432000 4194304 4196468 140731692529344 140731692511888 140623602810615 0 0 0 16800975 18446744073709551615 0 0 17 15 0 0 0 0 0 6293624 6294260 38326272 140731692530369 140731692533143 140731692533143 140731692535759 0
/proc/17928/statm: 2725680 14830 3138 1 0 2713890 0
Current children cumulated CPU time (s) 0.89
Current children cumulated vsize (KiB) 10902720
[startup+1.50115 s]
/proc/loadavg: 1.79 1.73 1.64 3/281 18001
/proc/meminfo: memFree=28889664/32770624 swapFree=6384/342288
[pid=17928] ppid=17925 vsize=10913344 CPUtime=2.12 cores=1,3,5,7,9,11,13,15
/proc/17928/stat : 17928 (java) S 17925 17928 11993 0 -1 1077944320 24465 12702 0 0 190 9 9 4 20 0 20 0 9386847 11175264256 34810 33554432000 4194304 4196468 140731692529344 140731692511888 140623602810615 0 0 0 16800975 18446744073709551615 0 0 17 15 0 0 0 0 0 6293624 6294260 38326272 140731692530369 140731692533143 140731692533143 140731692535759 0
/proc/17928/statm: 2728336 34810 3373 1 0 2716450 0
[pid=17928/tid=17983] ppid=17925 vsize=10913344 CPUtime=1.47 cores=1,3,5,7,9,11,13,15
/proc/17928/task/17983/stat : 17983 (java) R 17925 17928 11993 0 -1 4202560 19211 12702 0 0 128 6 9 4 20 0 20 0 9386861 11175264256 34810 33554432000 4194304 4196468 140731692529344 140623607032672 140623584374171 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38326272 140731692530369 140731692533143 140731692533143 140731692535759 0
[pid=17928/tid=17984] ppid=17925 vsize=10913344 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/17928/task/17984/stat : 17984 (java) S 17925 17928 11993 0 -1 1077944384 2 12702 0 0 0 0 9 4 20 0 20 0 9386862 11175264256 34810 33554432000 4194304 4196468 140731692529344 140623539502224 140623602820821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38326272 140731692530369 140731692533143 140731692533143 140731692535759 0
[pid=17928/tid=17985] ppid=17925 vsize=10913344 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/17928/task/17985/stat : 17985 (java) S 17925 17928 11993 0 -1 1077944384 3 12702 0 0 0 0 9 4 20 0 20 0 9386862 11175264256 34810 33554432000 4194304 4196468 140731692529344 140623208115216 140623602820821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38326272 140731692530369 140731692533143 140731692533143 140731692535759 0
[pid=17928/tid=17986] ppid=17925 vsize=10913344 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/17928/task/17986/stat : 17986 (java) S 17925 17928 11993 0 -1 1077944384 2 12702 0 0 0 0 9 4 20 0 20 0 9386862 11175264256 34810 33554432000 4194304 4196468 140731692529344 140623207062416 140623602820821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38326272 140731692530369 140731692533143 140731692533143 140731692535759 0
[pid=17928/tid=17987] ppid=17925 vsize=10913344 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/17928/task/17987/stat : 17987 (java) S 17925 17928 11993 0 -1 1077944384 2 12702 0 0 0 0 9 4 20 0 20 0 9386862 11175264256 34810 33554432000 4194304 4196468 140731692529344 140623206009616 140623602820821 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 38326272 140731692530369 140731692533143 140731692533143 140731692535759 0
[pid=17928/tid=17988] ppid=17925 vsize=10913344 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/17928/task/17988/stat : 17988 (java) S 17925 17928 11993 0 -1 1077944384 2 12702 0 0 0 0 9 4 20 0 20 0 9386862 11175264256 34810 33554432000 4194304 4196468 140731692529344 140623204956816 140623602820821 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 38326272 140731692530369 140731692533143 140731692533143 140731692535759 0
[pid=17928/tid=17989] ppid=17925 vsize=10913344 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/17928/task/17989/stat : 17989 (java) S 17925 17928 11993 0 -1 1077944384 1 12702 0 0 0 0 9 4 20 0 20 0 9386862 11175264256 34810 33554432000 4194304 4196468 140731692529344 140623203904016 140623602820821 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38326272 140731692530369 140731692533143 140731692533143 140731692535759 0
[pid=17928/tid=17990] ppid=17925 vsize=10913344 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/17928/task/17990/stat : 17990 (java) S 17925 17928 11993 0 -1 1077944384 2 12702 0 0 0 0 9 4 20 0 20 0 9386862 11175264256 34810 33554432000 4194304 4196468 140731692529344 140623202851216 140623602820821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38326272 140731692530369 140731692533143 140731692533143 140731692535759 0
[pid=17928/tid=17991] ppid=17925 vsize=10913344 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/17928/task/17991/stat : 17991 (java) S 17925 17928 11993 0 -1 1077944384 1 12702 0 0 0 0 9 4 20 0 20 0 9386862 11175264256 34810 33554432000 4194304 4196468 140731692529344 140623201798416 140623602820821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38326272 140731692530369 140731692533143 140731692533143 140731692535759 0
[pid=17928/tid=17992] ppid=17925 vsize=10913344 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/17928/task/17992/stat : 17992 (java) S 17925 17928 11993 0 -1 1077944384 5 12702 0 0 0 0 9 4 20 0 20 0 9386864 11175264256 34810 33554432000 4194304 4196468 140731692529344 140623144532848 140623602821762 0 0 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 38326272 140731692530369 140731692533143 140731692533143 140731692535759 0
[pid=17928/tid=17993] ppid=17925 vsize=10913344 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/17928/task/17993/stat : 17993 (java) S 17925 17928 11993 0 -1 1077944384 33 12702 0 0 0 0 9 4 20 0 20 0 9386864 11175264256 34810 33554432000 4194304 4196468 140731692529344 140623143478816 140623602820821 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 38326272 140731692530369 140731692533143 140731692533143 140731692535759 0
[pid=17928/tid=17994] ppid=17925 vsize=10913344 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/17928/task/17994/stat : 17994 (java) S 17925 17928 11993 0 -1 1077944384 21 12702 0 0 0 0 9 4 20 0 20 0 9386865 11175264256 34810 33554432000 4194304 4196468 140731692529344 140623142425968 140623602820821 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 38326272 140731692530369 140731692533143 140731692533143 140731692535759 0
[pid=17928/tid=17995] ppid=17925 vsize=10913344 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/17928/task/17995/stat : 17995 (java) S 17925 17928 11993 0 -1 1077944384 1 12702 0 0 0 0 9 4 20 0 20 0 9386869 11175264256 34810 33554432000 4194304 4196468 140731692529344 140623141374288 140623602829211 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 38326272 140731692530369 140731692533143 140731692533143 140731692535759 0
[pid=17928/tid=17996] ppid=17925 vsize=10913344 CPUtime=0.25 cores=1,3,5,7,9,11,13,15
/proc/17928/task/17996/stat : 17996 (java) S 17925 17928 11993 0 -1 1077944384 1039 12702 0 0 12 0 9 4 20 0 20 0 9386869 11175264256 34810 33554432000 4194304 4196468 140731692529344 140623140321648 140623602821762 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38326272 140731692530369 140731692533143 140731692533143 140731692535759 0
[pid=17928/tid=17997] ppid=17925 vsize=10913344 CPUtime=0.25 cores=1,3,5,7,9,11,13,15
/proc/17928/task/17997/stat : 17997 (java) S 17925 17928 11993 0 -1 1077944384 422 12702 0 0 12 0 9 4 20 0 20 0 9386869 11175264256 34810 33554432000 4194304 4196468 140731692529344 140623139268848 140623602821762 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38326272 140731692530369 140731692533143 140731692533143 140731692535759 0
[pid=17928/tid=17998] ppid=17925 vsize=10913344 CPUtime=0.25 cores=1,3,5,7,9,11,13,15
/proc/17928/task/17998/stat : 17998 (java) S 17925 17928 11993 0 -1 1077944384 533 12702 0 0 12 0 9 4 20 0 20 0 9386869 11175264256 34810 33554432000 4194304 4196468 140731692529344 140623138216048 140623602821762 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38326272 140731692530369 140731692533143 140731692533143 140731692535759 0
[pid=17928/tid=17999] ppid=17925 vsize=10913344 CPUtime=0.36 cores=1,3,5,7,9,11,13,15
/proc/17928/task/17999/stat : 17999 (java) S 17925 17928 11993 0 -1 1077944384 1049 12702 0 0 23 0 9 4 20 0 20 0 9386869 11175264256 34810 33554432000 4194304 4196468 140731692529344 140623137163248 140623602821762 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 38326272 140731692530369 140731692533143 140731692533143 140731692535759 0
[pid=17928/tid=18000] ppid=17925 vsize=10913344 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/17928/task/18000/stat : 18000 (java) S 17925 17928 11993 0 -1 1077944384 3 12702 0 0 0 0 9 4 20 0 20 0 9386869 11175264256 34810 33554432000 4194304 4196468 140731692529344 140623136111712 140623602820821 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 38326272 140731692530369 140731692533143 140731692533143 140731692535759 0
[pid=17928/tid=18001] ppid=17925 vsize=10913344 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/17928/task/18001/stat : 18001 (java) S 17925 17928 11993 0 -1 1077944384 6 12702 0 0 0 0 9 4 20 0 20 0 9386869 11175264256 34810 33554432000 4194304 4196468 140731692529344 140623067737136 140623602821762 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 38326272 140731692530369 140731692533143 140731692533143 140731692535759 0
Current children cumulated CPU time (s) 2.12
Current children cumulated vsize (KiB) 10913344
[startup+3.10097 s]
/proc/loadavg: 1.79 1.73 1.64 4/281 18001
/proc/meminfo: memFree=28813316/32770624 swapFree=6384/342288
[pid=17928] ppid=17925 vsize=10925820 CPUtime=5.62 cores=1,3,5,7,9,11,13,15
/proc/17928/stat : 17928 (java) S 17925 17928 11993 0 -1 1077944320 45713 12702 0 0 530 19 9 4 20 0 20 0 9386847 11188039680 54266 33554432000 4194304 4196468 140731692529344 140731692511888 140623602810615 0 0 0 16800975 18446744073709551615 0 0 17 15 0 0 0 0 0 6293624 6294260 38326272 140731692530369 140731692533143 140731692533143 140731692535759 0
/proc/17928/statm: 2731455 54266 3473 1 0 2719010 0
[pid=17928/tid=17983] ppid=17925 vsize=10925820 CPUtime=3.02 cores=1,3,5,7,9,11,13,15
/proc/17928/task/17983/stat : 17983 (java) R 17925 17928 11993 0 -1 4202560 33619 12702 0 0 281 8 9 4 20 0 20 0 9386861 11188039680 54266 33554432000 4194304 4196468 140731692529344 140623607039056 140623219858161 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38326272 140731692530369 140731692533143 140731692533143 140731692535759 0
[pid=17928/tid=17984] ppid=17925 vsize=10925820 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/17928/task/17984/stat : 17984 (java) S 17925 17928 11993 0 -1 1077944384 52 12702 0 0 0 0 9 4 20 0 20 0 9386862 11188039680 54266 33554432000 4194304 4196468 140731692529344 140623539502224 140623602820821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38326272 140731692530369 140731692533143 140731692533143 140731692535759 0
[pid=17928/tid=17985] ppid=17925 vsize=10925820 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/17928/task/17985/stat : 17985 (java) S 17925 17928 11993 0 -1 1077944384 16 12702 0 0 0 0 9 4 20 0 20 0 9386862 11188039680 54266 33554432000 4194304 4196468 140731692529344 140623208115216 140623602820821 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 38326272 140731692530369 140731692533143 140731692533143 140731692535759 0
[pid=17928/tid=17986] ppid=17925 vsize=10925820 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/17928/task/17986/stat : 17986 (java) S 17925 17928 11993 0 -1 1077944384 44 12702 0 0 0 0 9 4 20 0 20 0 9386862 11188039680 54266 33554432000 4194304 4196468 140731692529344 140623207062416 140623602820821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38326272 140731692530369 140731692533143 140731692533143 140731692535759 0
[pid=17928/tid=17987] ppid=17925 vsize=10925820 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/17928/task/17987/stat : 17987 (java) S 17925 17928 11993 0 -1 1077944384 23 12702 0 0 0 0 9 4 20 0 20 0 9386862 11188039680 54266 33554432000 4194304 4196468 140731692529344 140623206009616 140623602820821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38326272 140731692530369 140731692533143 140731692533143 140731692535759 0
[pid=17928/tid=17988] ppid=17925 vsize=10925820 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/17928/task/17988/stat : 17988 (java) S 17925 17928 11993 0 -1 1077944384 21 12702 0 0 1 0 9 4 20 0 20 0 9386862 11188039680 54266 33554432000 4194304 4196468 140731692529344 140623204956816 140623602820821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38326272 140731692530369 140731692533143 140731692533143 140731692535759 0
[pid=17928/tid=17989] ppid=17925 vsize=10925820 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/17928/task/17989/stat : 17989 (java) S 17925 17928 11993 0 -1 1077944384 28 12702 0 0 0 0 9 4 20 0 20 0 9386862 11188039680 54266 33554432000 4194304 4196468 140731692529344 140623203904016 140623602820821 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38326272 140731692530369 140731692533143 140731692533143 140731692535759 0
[pid=17928/tid=17990] ppid=17925 vsize=10925820 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/17928/task/17990/stat : 17990 (java) S 17925 17928 11993 0 -1 1077944384 134 12702 0 0 0 0 9 4 20 0 20 0 9386862 11188039680 54266 33554432000 4194304 4196468 140731692529344 140623202851216 140623602820821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38326272 140731692530369 140731692533143 140731692533143 140731692535759 0
[pid=17928/tid=17991] ppid=17925 vsize=10925820 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/17928/task/17991/stat : 17991 (java) S 17925 17928 11993 0 -1 1077944384 15 12702 0 0 0 0 9 4 20 0 20 0 9386862 11188039680 54266 33554432000 4194304 4196468 140731692529344 140623201798416 140623602820821 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 38326272 140731692530369 140731692533143 140731692533143 140731692535759 0
[pid=17928/tid=17992] ppid=17925 vsize=10925820 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/17928/task/17992/stat : 17992 (java) S 17925 17928 11993 0 -1 1077944384 1325 12702 0 0 2 0 9 4 20 0 20 0 9386864 11188039680 54266 33554432000 4194304 4196468 140731692529344 140623144532848 140623602821762 0 0 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 38326272 140731692530369 140731692533143 140731692533143 140731692535759 0
[pid=17928/tid=17993] ppid=17925 vsize=10925820 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/17928/task/17993/stat : 17993 (java) S 17925 17928 11993 0 -1 1077944384 59 12702 0 0 0 0 9 4 20 0 20 0 9386864 11188039680 54266 33554432000 4194304 4196468 140731692529344 140623143478880 140623602820821 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 38326272 140731692530369 140731692533143 140731692533143 140731692535759 0
[pid=17928/tid=17994] ppid=17925 vsize=10925820 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/17928/task/17994/stat : 17994 (java) S 17925 17928 11993 0 -1 1077944384 44 12702 0 0 0 0 9 4 20 0 20 0 9386865 11188039680 54266 33554432000 4194304 4196468 140731692529344 140623142425968 140623602820821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38326272 140731692530369 140731692533143 140731692533143 140731692535759 0
[pid=17928/tid=17995] ppid=17925 vsize=10925820 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/17928/task/17995/stat : 17995 (java) S 17925 17928 11993 0 -1 1077944384 1 12702 0 0 0 0 9 4 20 0 20 0 9386869 11188039680 54266 33554432000 4194304 4196468 140731692529344 140623141374288 140623602829211 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 38326272 140731692530369 140731692533143 140731692533143 140731692535759 0
[pid=17928/tid=17996] ppid=17925 vsize=10925820 CPUtime=0.61 cores=1,3,5,7,9,11,13,15
/proc/17928/task/17996/stat : 17996 (java) R 17925 17928 11993 0 -1 4202560 1747 12702 0 0 47 1 9 4 20 0 20 0 9386869 11188039680 54266 33554432000 4194304 4196468 140731692529344 140623140307528 140623587936735 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 38326272 140731692530369 140731692533143 140731692533143 140731692535759 0
[pid=17928/tid=17997] ppid=17925 vsize=10925820 CPUtime=0.56 cores=1,3,5,7,9,11,13,15
/proc/17928/task/17997/stat : 17997 (java) S 17925 17928 11993 0 -1 1077944384 743 12702 0 0 42 1 9 4 20 0 20 0 9386869 11188039680 54266 33554432000 4194304 4196468 140731692529344 140623139268848 140623602821762 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38326272 140731692530369 140731692533143 140731692533143 140731692535759 0
[pid=17928/tid=17998] ppid=17925 vsize=10925820 CPUtime=0.71 cores=1,3,5,7,9,11,13,15
/proc/17928/task/17998/stat : 17998 (java) S 17925 17928 11993 0 -1 1077944384 2515 12702 0 0 57 1 9 4 20 0 20 0 9386869 11188039680 54266 33554432000 4194304 4196468 140731692529344 140623138216048 140623602821762 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 38326272 140731692530369 140731692533143 140731692533143 140731692535759 0
[pid=17928/tid=17999] ppid=17925 vsize=10925820 CPUtime=1.05 cores=1,3,5,7,9,11,13,15
/proc/17928/task/17999/stat : 17999 (java) S 17925 17928 11993 0 -1 1077944384 3191 12702 0 0 91 1 9 4 20 0 20 0 9386869 11188039680 54266 33554432000 4194304 4196468 140731692529344 140623137163248 140623602821762 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 38326272 140731692530369 140731692533143 140731692533143 140731692535759 0
[pid=17928/tid=18000] ppid=17925 vsize=10925820 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/17928/task/18000/stat : 18000 (java) S 17925 17928 11993 0 -1 1077944384 3 12702 0 0 0 0 9 4 20 0 20 0 9386869 11188039680 54266 33554432000 4194304 4196468 140731692529344 140623136111712 140623602820821 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 38326272 140731692530369 140731692533143 140731692533143 140731692535759 0
[pid=17928/tid=18001] ppid=17925 vsize=10925820 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/17928/task/18001/stat : 18001 (java) S 17925 17928 11993 0 -1 1077944384 7 12702 0 0 0 0 9 4 20 0 20 0 9386869 11188039680 54266 33554432000 4194304 4196468 140731692529344 140623067737136 140623602821762 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 38326272 140731692530369 140731692533143 140731692533143 140731692535759 0
Current children cumulated CPU time (s) 5.62
Current children cumulated vsize (KiB) 10925820
[startup+6.30082 s]
/proc/loadavg: 1.81 1.73 1.64 3/281 18001
/proc/meminfo: memFree=28693144/32770624 swapFree=6384/342300
[pid=17928] ppid=17925 vsize=10925820 CPUtime=10.32 cores=1,3,5,7,9,11,13,15
/proc/17928/stat : 17928 (java) S 17925 17928 11993 0 -1 1077944320 49517 12702 0 0 990 29 9 4 20 0 20 0 9386847 11188039680 77845 33554432000 4194304 4196468 140731692529344 140731692511888 140623602810615 0 0 0 16800975 18446744073709551615 0 0 17 15 0 0 0 0 0 6293624 6294260 38326272 140731692530369 140731692533143 140731692533143 140731692535759 0
/proc/17928/statm: 2731455 77845 3488 1 0 2719010 0
[pid=17928/tid=17983] ppid=17925 vsize=10925820 CPUtime=6.19 cores=1,3,5,7,9,11,13,15
/proc/17928/task/17983/stat : 17983 (java) R 17925 17928 11993 0 -1 4202560 34008 12702 0 0 597 9 9 4 20 0 20 0 9386861 11188039680 77845 33554432000 4194304 4196468 140731692529344 140623607042392 140623226439488 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38326272 140731692530369 140731692533143 140731692533143 140731692535759 0
[pid=17928/tid=17984] ppid=17925 vsize=10925820 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/17928/task/17984/stat : 17984 (java) S 17925 17928 11993 0 -1 1077944384 67 12702 0 0 1 1 9 4 20 0 20 0 9386862 11188039680 77845 33554432000 4194304 4196468 140731692529344 140623539502224 140623602820821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38326272 140731692530369 140731692533143 140731692533143 140731692535759 0
[pid=17928/tid=17985] ppid=17925 vsize=10925820 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/17928/task/17985/stat : 17985 (java) S 17925 17928 11993 0 -1 1077944384 27 12702 0 0 1 1 9 4 20 0 20 0 9386862 11188039680 77845 33554432000 4194304 4196468 140731692529344 140623208115216 140623602820821 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 38326272 140731692530369 140731692533143 140731692533143 140731692535759 0
[pid=17928/tid=17986] ppid=17925 vsize=10925820 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/17928/task/17986/stat : 17986 (java) S 17925 17928 11993 0 -1 1077944384 105 12702 0 0 1 1 9 4 20 0 20 0 9386862 11188039680 77845 33554432000 4194304 4196468 140731692529344 140623207062416 140623602820821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38326272 140731692530369 140731692533143 140731692533143 140731692535759 0
[pid=17928/tid=17987] ppid=17925 vsize=10925820 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/17928/task/17987/stat : 17987 (java) S 17925 17928 11993 0 -1 1077944384 29 12702 0 0 1 1 9 4 20 0 20 0 9386862 11188039680 77845 33554432000 4194304 4196468 140731692529344 140623206009616 140623602820821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38326272 140731692530369 140731692533143 140731692533143 140731692535759 0
[pid=17928/tid=17988] ppid=17925 vsize=10925820 CPUtime=0.16 cores=1,3,5,7,9,11,13,15
/proc/17928/task/17988/stat : 17988 (java) S 17925 17928 11993 0 -1 1077944384 46 12702 0 0 2 1 9 4 20 0 20 0 9386862 11188039680 77845 33554432000 4194304 4196468 140731692529344 140623204956816 140623602820821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38326272 140731692530369 140731692533143 140731692533143 140731692535759 0
[pid=17928/tid=17989] ppid=17925 vsize=10925820 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/17928/task/17989/stat : 17989 (java) S 17925 17928 11993 0 -1 1077944384 41 12702 0 0 1 1 9 4 20 0 20 0 9386862 11188039680 77845 33554432000 4194304 4196468 140731692529344 140623203904016 140623602820821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38326272 140731692530369 140731692533143 140731692533143 140731692535759 0
[pid=17928/tid=17990] ppid=17925 vsize=10925820 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/17928/task/17990/stat : 17990 (java) S 17925 17928 11993 0 -1 1077944384 141 12702 0 0 1 1 9 4 20 0 20 0 9386862 11188039680 77845 33554432000 4194304 4196468 140731692529344 140623202851216 140623602820821 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 38326272 140731692530369 140731692533143 140731692533143 140731692535759 0
[pid=17928/tid=17991] ppid=17925 vsize=10925820 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/17928/task/17991/stat : 17991 (java) S 17925 17928 11993 0 -1 1077944384 24 12702 0 0 1 1 9 4 20 0 20 0 9386862 11188039680 77845 33554432000 4194304 4196468 140731692529344 140623201798416 140623602820821 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38326272 140731692530369 140731692533143 140731692533143 140731692535759 0
[pid=17928/tid=17992] ppid=17925 vsize=10925820 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/17928/task/17992/stat : 17992 (java) S 17925 17928 11993 0 -1 1077944384 1351 12702 0 0 2 0 9 4 20 0 20 0 9386864 11188039680 77845 33554432000 4194304 4196468 140731692529344 140623144532848 140623602821762 0 0 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 38326272 140731692530369 140731692533143 140731692533143 140731692535759 0
[pid=17928/tid=17993] ppid=17925 vsize=10925820 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/17928/task/17993/stat : 17993 (java) S 17925 17928 11993 0 -1 1077944384 59 12702 0 0 0 0 9 4 20 0 20 0 9386864 11188039680 77845 33554432000 4194304 4196468 140731692529344 140623143478880 140623602820821 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 38326272 140731692530369 140731692533143 140731692533143 140731692535759 0
[pid=17928/tid=17994] ppid=17925 vsize=10925820 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/17928/task/17994/stat : 17994 (java) S 17925 17928 11993 0 -1 1077944384 44 12702 0 0 0 0 9 4 20 0 20 0 9386865 11188039680 77845 33554432000 4194304 4196468 140731692529344 140623142425984 140623602820821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38326272 140731692530369 140731692533143 140731692533143 140731692535759 0
[pid=17928/tid=17995] ppid=17925 vsize=10925820 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/17928/task/17995/stat : 17995 (java) S 17925 17928 11993 0 -1 1077944384 1 12702 0 0 0 0 9 4 20 0 20 0 9386869 11188039680 77845 33554432000 4194304 4196468 140731692529344 140623141374288 140623602829211 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 38326272 140731692530369 140731692533143 140731692533143 140731692535759 0
[pid=17928/tid=17996] ppid=17925 vsize=10925820 CPUtime=1 cores=1,3,5,7,9,11,13,15
/proc/17928/task/17996/stat : 17996 (java) S 17925 17928 11993 0 -1 1077944384 2386 12702 0 0 86 1 9 4 20 0 20 0 9386869 11188039680 77845 33554432000 4194304 4196468 140731692529344 140623140321648 140623602821762 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 2 0 0 6293624 6294260 38326272 140731692530369 140731692533143 140731692533143 140731692535759 0
[pid=17928/tid=17997] ppid=17925 vsize=10925820 CPUtime=0.94 cores=1,3,5,7,9,11,13,15
/proc/17928/task/17997/stat : 17997 (java) S 17925 17928 11993 0 -1 1077944384 2683 12702 0 0 80 1 9 4 20 0 20 0 9386869 11188039680 77845 33554432000 4194304 4196468 140731692529344 140623139268848 140623602821762 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 38326272 140731692530369 140731692533143 140731692533143 140731692535759 0
[pid=17928/tid=17998] ppid=17925 vsize=10925820 CPUtime=1.12 cores=1,3,5,7,9,11,13,15
/proc/17928/task/17998/stat : 17998 (java) S 17925 17928 11993 0 -1 1077944384 2776 12702 0 0 97 2 9 4 20 0 20 0 9386869 11188039680 77845 33554432000 4194304 4196468 140731692529344 140623138216048 140623602821762 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 10 0 0 6293624 6294260 38326272 140731692530369 140731692533143 140731692533143 140731692535759 0
[pid=17928/tid=17999] ppid=17925 vsize=10925820 CPUtime=1.23 cores=1,3,5,7,9,11,13,15
/proc/17928/task/17999/stat : 17999 (java) S 17925 17928 11993 0 -1 1077944384 3587 12702 0 0 109 1 9 4 20 0 20 0 9386869 11188039680 77845 33554432000 4194304 4196468 140731692529344 140623137163248 140623602821762 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 8 0 0 6293624 6294260 38326272 140731692530369 140731692533143 140731692533143 140731692535759 0
[pid=17928/tid=18000] ppid=17925 vsize=10925820 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
################
# More data... #
################
Current children cumulated vsize (KiB) 10934012
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2339.81 s]
/proc/loadavg: 1.47 1.54 1.52 3/281 18515
/proc/meminfo: memFree=27024264/32770624 swapFree=6384/344072
[pid=17928] ppid=17925 vsize=10934012 CPUtime=2400.02 cores=1,3,5,7,9,11,13,15
/proc/17928/stat : 17928 (java) S 17925 17928 11993 0 -1 1077944320 597839 12702 0 0 239613 376 9 4 20 0 20 0 9386847 11196428288 349820 33554432000 4194304 4196468 140731692529344 140731692511888 140623602810615 0 0 0 16800975 18446744073709551615 0 0 17 15 0 0 0 0 0 6293624 6294260 38326272 140731692530369 140731692533143 140731692533143 140731692535759 0
/proc/17928/statm: 2733503 349820 3528 1 0 2721058 0
[pid=17928/tid=17983] ppid=17925 vsize=10934012 CPUtime=2327.13 cores=1,3,5,7,9,11,13,15
/proc/17928/task/17983/stat : 17983 (java) R 17925 17928 11993 0 -1 4202560 119419 12702 0 0 232659 41 9 4 20 0 20 0 9386861 11196428288 349820 33554432000 4194304 4196468 140731692529344 140623607044896 140623238252051 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38326272 140731692530369 140731692533143 140731692533143 140731692535759 0
[pid=17928/tid=17984] ppid=17925 vsize=10934012 CPUtime=5.81 cores=1,3,5,7,9,11,13,15
/proc/17928/task/17984/stat : 17984 (java) S 17925 17928 11993 0 -1 1077944384 9510 12702 0 0 536 32 9 4 20 0 20 0 9386862 11196428288 349820 33554432000 4194304 4196468 140731692529344 140623539502224 140623602820821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38326272 140731692530369 140731692533143 140731692533143 140731692535759 0
[pid=17928/tid=17985] ppid=17925 vsize=10934012 CPUtime=5.82 cores=1,3,5,7,9,11,13,15
/proc/17928/task/17985/stat : 17985 (java) S 17925 17928 11993 0 -1 1077944384 13762 12702 0 0 537 32 9 4 20 0 20 0 9386862 11196428288 349820 33554432000 4194304 4196468 140731692529344 140623208115216 140623602820821 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 38326272 140731692530369 140731692533143 140731692533143 140731692535759 0
[pid=17928/tid=17986] ppid=17925 vsize=10934012 CPUtime=5.84 cores=1,3,5,7,9,11,13,15
/proc/17928/task/17986/stat : 17986 (java) S 17925 17928 11993 0 -1 1077944384 12625 12702 0 0 537 34 9 4 20 0 20 0 9386862 11196428288 349820 33554432000 4194304 4196468 140731692529344 140623207062416 140623602820821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38326272 140731692530369 140731692533143 140731692533143 140731692535759 0
[pid=17928/tid=17987] ppid=17925 vsize=10934012 CPUtime=5.83 cores=1,3,5,7,9,11,13,15
/proc/17928/task/17987/stat : 17987 (java) S 17925 17928 11993 0 -1 1077944384 11208 12702 0 0 540 30 9 4 20 0 20 0 9386862 11196428288 349820 33554432000 4194304 4196468 140731692529344 140623206009616 140623602820821 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 38326272 140731692530369 140731692533143 140731692533143 140731692535759 0
[pid=17928/tid=17988] ppid=17925 vsize=10934012 CPUtime=5.81 cores=1,3,5,7,9,11,13,15
/proc/17928/task/17988/stat : 17988 (java) S 17925 17928 11993 0 -1 1077944384 15219 12702 0 0 534 34 9 4 20 0 20 0 9386862 11196428288 349820 33554432000 4194304 4196468 140731692529344 140623204956816 140623602820821 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 38326272 140731692530369 140731692533143 140731692533143 140731692535759 0
[pid=17928/tid=17989] ppid=17925 vsize=10934012 CPUtime=5.75 cores=1,3,5,7,9,11,13,15
/proc/17928/task/17989/stat : 17989 (java) S 17925 17928 11993 0 -1 1077944384 14103 12702 0 0 528 34 9 4 20 0 20 0 9386862 11196428288 349820 33554432000 4194304 4196468 140731692529344 140623203904016 140623602820821 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38326272 140731692530369 140731692533143 140731692533143 140731692535759 0
[pid=17928/tid=17990] ppid=17925 vsize=10934012 CPUtime=5.84 cores=1,3,5,7,9,11,13,15
/proc/17928/task/17990/stat : 17990 (java) S 17925 17928 11993 0 -1 1077944384 20976 12702 0 0 539 32 9 4 20 0 20 0 9386862 11196428288 349820 33554432000 4194304 4196468 140731692529344 140623202851216 140623602820821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38326272 140731692530369 140731692533143 140731692533143 140731692535759 0
[pid=17928/tid=17991] ppid=17925 vsize=10934012 CPUtime=5.8 cores=1,3,5,7,9,11,13,15
/proc/17928/task/17991/stat : 17991 (java) S 17925 17928 11993 0 -1 1077944384 19121 12702 0 0 535 32 9 4 20 0 20 0 9386862 11196428288 349820 33554432000 4194304 4196468 140731692529344 140623201798416 140623602820821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38326272 140731692530369 140731692533143 140731692533143 140731692535759 0
[pid=17928/tid=17992] ppid=17925 vsize=10934012 CPUtime=4.49 cores=1,3,5,7,9,11,13,15
/proc/17928/task/17992/stat : 17992 (java) S 17925 17928 11993 0 -1 1077944384 25636 12702 0 0 411 25 9 4 20 0 20 0 9386864 11196428288 349820 33554432000 4194304 4196468 140731692529344 140623144532848 140623602821762 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38326272 140731692530369 140731692533143 140731692533143 140731692535759 0
[pid=17928/tid=17993] ppid=17925 vsize=10934012 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/17928/task/17993/stat : 17993 (java) S 17925 17928 11993 0 -1 1077944384 78 12702 0 0 0 0 9 4 20 0 20 0 9386864 11196428288 349820 33554432000 4194304 4196468 140731692529344 140623143478880 140623602820821 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 38326272 140731692530369 140731692533143 140731692533143 140731692535759 0
[pid=17928/tid=17994] ppid=17925 vsize=10934012 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/17928/task/17994/stat : 17994 (java) S 17925 17928 11993 0 -1 1077944384 49 12702 0 0 0 0 9 4 20 0 20 0 9386865 11196428288 349820 33554432000 4194304 4196468 140731692529344 140623142425984 140623602820821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38326272 140731692530369 140731692533143 140731692533143 140731692535759 0
[pid=17928/tid=17995] ppid=17925 vsize=10934012 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/17928/task/17995/stat : 17995 (java) S 17925 17928 11993 0 -1 1077944384 1 12702 0 0 0 0 9 4 20 0 20 0 9386869 11196428288 349820 33554432000 4194304 4196468 140731692529344 140623141374288 140623602829211 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 38326272 140731692530369 140731692533143 140731692533143 140731692535759 0
[pid=17928/tid=17996] ppid=17925 vsize=10934012 CPUtime=6.6 cores=1,3,5,7,9,11,13,15
/proc/17928/task/17996/stat : 17996 (java) S 17925 17928 11993 0 -1 1077944384 75312 12702 0 0 639 8 9 4 20 0 20 0 9386869 11196428288 349820 33554432000 4194304 4196468 140731692529344 140623140321648 140623602821762 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 2 0 0 6293624 6294260 38326272 140731692530369 140731692533143 140731692533143 140731692535759 0
[pid=17928/tid=17997] ppid=17925 vsize=10934012 CPUtime=6.38 cores=1,3,5,7,9,11,13,15
/proc/17928/task/17997/stat : 17997 (java) S 17925 17928 11993 0 -1 1077944384 85619 12702 0 0 616 9 9 4 20 0 20 0 9386869 11196428288 349820 33554432000 4194304 4196468 140731692529344 140623139268848 140623602821762 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 3 0 0 6293624 6294260 38326272 140731692530369 140731692533143 140731692533143 140731692535759 0
[pid=17928/tid=17998] ppid=17925 vsize=10934012 CPUtime=6.14 cores=1,3,5,7,9,11,13,15
/proc/17928/task/17998/stat : 17998 (java) S 17925 17928 11993 0 -1 1077944384 78161 12702 0 0 594 7 9 4 20 0 20 0 9386869 11196428288 349820 33554432000 4194304 4196468 140731692529344 140623138216048 140623602821762 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 10 0 0 6293624 6294260 38326272 140731692530369 140731692533143 140731692533143 140731692535759 0
[pid=17928/tid=17999] ppid=17925 vsize=10934012 CPUtime=3.37 cores=1,3,5,7,9,11,13,15
/proc/17928/task/17999/stat : 17999 (java) S 17925 17928 11993 0 -1 1077944384 92463 12702 0 0 314 10 9 4 20 0 20 0 9386869 11196428288 349820 33554432000 4194304 4196468 140731692529344 140623137163248 140623602821762 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 8 0 0 6293624 6294260 38326272 140731692530369 140731692533143 140731692533143 140731692535759 0
[pid=17928/tid=18000] ppid=17925 vsize=10934012 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/17928/task/18000/stat : 18000 (java) S 17925 17928 11993 0 -1 1077944384 3 12702 0 0 0 0 9 4 20 0 20 0 9386869 11196428288 349820 33554432000 4194304 4196468 140731692529344 140623136111712 140623602820821 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 38326272 140731692530369 140731692533143 140731692533143 140731692535759 0
[pid=17928/tid=18001] ppid=17925 vsize=10934012 CPUtime=1.07 cores=1,3,5,7,9,11,13,15
/proc/17928/task/18001/stat : 18001 (java) S 17925 17928 11993 0 -1 1077944384 2447 12702 0 0 52 42 9 4 20 0 20 0 9386869 11196428288 349820 33554432000 4194304 4196468 140731692529344 140623067737136 140623602821762 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 10 0 0 6293624 6294260 38326272 140731692530369 140731692533143 140731692533143 140731692535759 0
Current children cumulated CPU time (s) 2400.02
Current children cumulated vsize (KiB) 10934012
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 17928 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2340 s]
/proc/loadavg: 1.47 1.54 1.52 3/281 18515
/proc/meminfo: memFree=27024264/32770624 swapFree=6384/344072
[pid=17928] ppid=17925 vsize=11067140 CPUtime=2401.02 cores=1,3,5,7,9,11,13,15
/proc/17928/stat : 17928 (java) S 17925 17928 11993 0 -1 1077944320 611780 12702 0 0 239711 378 9 4 20 0 22 0 9386847 11332751360 351635 33554432000 4194304 4196468 140731692529344 140731692511888 140623602810615 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38326272 140731692530369 140731692533143 140731692533143 140731692535759 0
/proc/17928/statm: 2766785 351635 3528 1 0 2754340 0
[pid=17928/tid=17983] ppid=17925 vsize=11067140 CPUtime=2327.14 cores=1,3,5,7,9,11,13,15
/proc/17928/task/17983/stat : 17983 (java) S 17925 17928 11993 0 -1 1077944384 120528 12702 0 0 232660 41 9 4 20 0 22 0 9386861 11332751360 351635 33554432000 4194304 4196468 140731692529344 140623607048336 140623602820821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38326272 140731692530369 140731692533143 140731692533143 140731692535759 0
[pid=17928/tid=17984] ppid=17925 vsize=11067140 CPUtime=5.93 cores=1,3,5,7,9,11,13,15
/proc/17928/task/17984/stat : 17984 (java) R 17925 17928 11993 0 -1 4202560 9640 12702 0 0 548 32 9 4 20 0 22 0 9386862 11332751360 351635 33554432000 4194304 4196468 140731692529344 140623539502344 140623595438823 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38326272 140731692530369 140731692533143 140731692533143 140731692535759 0
[pid=17928/tid=17985] ppid=17925 vsize=11067140 CPUtime=5.93 cores=1,3,5,7,9,11,13,15
/proc/17928/task/17985/stat : 17985 (java) R 17925 17928 11993 0 -1 4202560 13786 12702 0 0 548 32 9 4 20 0 22 0 9386862 11332751360 351635 33554432000 4194304 4196468 140731692529344 140623208115024 140623595438823 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 38326272 140731692530369 140731692533143 140731692533143 140731692535759 0
[pid=17928/tid=17986] ppid=17925 vsize=11067140 CPUtime=5.94 cores=1,3,5,7,9,11,13,15
/proc/17928/task/17986/stat : 17986 (java) R 17925 17928 11993 0 -1 4202560 12642 12702 0 0 547 34 9 4 20 0 22 0 9386862 11332751360 351635 33554432000 4194304 4196468 140731692529344 140623207062536 140623595438823 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38326272 140731692530369 140731692533143 140731692533143 140731692535759 0
[pid=17928/tid=17987] ppid=17925 vsize=11067140 CPUtime=5.95 cores=1,3,5,7,9,11,13,15
/proc/17928/task/17987/stat : 17987 (java) R 17925 17928 11993 0 -1 4202560 11215 12702 0 0 552 30 9 4 20 0 22 0 9386862 11332751360 351635 33554432000 4194304 4196468 140731692529344 140623206009736 140623595438823 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 38326272 140731692530369 140731692533143 140731692533143 140731692535759 0
[pid=17928/tid=17988] ppid=17925 vsize=11067140 CPUtime=5.92 cores=1,3,5,7,9,11,13,15
/proc/17928/task/17988/stat : 17988 (java) R 17925 17928 11993 0 -1 4202560 15273 12702 0 0 545 34 9 4 20 0 22 0 9386862 11332751360 351635 33554432000 4194304 4196468 140731692529344 140623204956936 140623586193650 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 38326272 140731692530369 140731692533143 140731692533143 140731692535759 0
[pid=17928/tid=17989] ppid=17925 vsize=11067140 CPUtime=5.87 cores=1,3,5,7,9,11,13,15
/proc/17928/task/17989/stat : 17989 (java) R 17925 17928 11993 0 -1 4202560 14203 12702 0 0 540 34 9 4 20 0 22 0 9386862 11332751360 351635 33554432000 4194304 4196468 140731692529344 140623203904216 140623587511251 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 38326272 140731692530369 140731692533143 140731692533143 140731692535759 0
[pid=17928/tid=17990] ppid=17925 vsize=11067140 CPUtime=5.95 cores=1,3,5,7,9,11,13,15
/proc/17928/task/17990/stat : 17990 (java) R 17925 17928 11993 0 -1 4202560 21013 12702 0 0 550 32 9 4 20 0 22 0 9386862 11332751360 351635 33554432000 4194304 4196468 140731692529344 140623202851336 140623595438823 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38326272 140731692530369 140731692533143 140731692533143 140731692535759 0
[pid=17928/tid=17991] ppid=17925 vsize=11067140 CPUtime=5.92 cores=1,3,5,7,9,11,13,15
/proc/17928/task/17991/stat : 17991 (java) R 17925 17928 11993 0 -1 4202560 19146 12702 0 0 547 32 9 4 20 0 22 0 9386862 11332751360 351635 33554432000 4194304 4196468 140731692529344 140623201798536 140623595438823 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38326272 140731692530369 140731692533143 140731692533143 140731692535759 0
[pid=17928/tid=17992] ppid=17925 vsize=11067140 CPUtime=4.55 cores=1,3,5,7,9,11,13,15
/proc/17928/task/17992/stat : 17992 (java) S 17925 17928 11993 0 -1 1077944384 36431 12702 0 0 416 26 9 4 20 0 22 0 9386864 11332751360 351635 33554432000 4194304 4196468 140731692529344 140623144531472 140623602820821 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38326272 140731692530369 140731692533143 140731692533143 140731692535759 0
[pid=17928/tid=17993] ppid=17925 vsize=11067140 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/17928/task/17993/stat : 17993 (java) S 17925 17928 11993 0 -1 1077944384 78 12702 0 0 0 0 9 4 20 0 22 0 9386864 11332751360 351635 33554432000 4194304 4196468 140731692529344 140623143478880 140623602820821 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 38326272 140731692530369 140731692533143 140731692533143 140731692535759 0
[pid=17928/tid=17994] ppid=17925 vsize=11067140 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/17928/task/17994/stat : 17994 (java) S 17925 17928 11993 0 -1 1077944384 49 12702 0 0 0 0 9 4 20 0 22 0 9386865 11332751360 351635 33554432000 4194304 4196468 140731692529344 140623142425984 140623602820821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38326272 140731692530369 140731692533143 140731692533143 140731692535759 0
[pid=17928/tid=17995] ppid=17925 vsize=11067140 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/17928/task/17995/stat : 17995 (java) S 17925 17928 11993 0 -1 1077944384 223 12702 0 0 0 0 9 4 20 0 22 0 9386869 11332751360 351635 33554432000 4194304 4196468 140731692529344 140623141374288 140623602829211 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 38326272 140731692530369 140731692533143 140731692533143 140731692535759 0
[pid=17928/tid=17996] ppid=17925 vsize=11067140 CPUtime=6.6 cores=1,3,5,7,9,11,13,15
/proc/17928/task/17996/stat : 17996 (java) S 17925 17928 11993 0 -1 1077944384 75312 12702 0 0 639 8 9 4 20 0 22 0 9386869 11332751360 351635 33554432000 4194304 4196468 140731692529344 140623140321648 140623602821762 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 2 0 0 6293624 6294260 38326272 140731692530369 140731692533143 140731692533143 140731692535759 0
[pid=17928/tid=17997] ppid=17925 vsize=11067140 CPUtime=6.38 cores=1,3,5,7,9,11,13,15
/proc/17928/task/17997/stat : 17997 (java) S 17925 17928 11993 0 -1 1077944384 85619 12702 0 0 616 9 9 4 20 0 22 0 9386869 11332751360 351635 33554432000 4194304 4196468 140731692529344 140623139268848 140623602821762 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 3 0 0 6293624 6294260 38326272 140731692530369 140731692533143 140731692533143 140731692535759 0
[pid=17928/tid=17998] ppid=17925 vsize=11067140 CPUtime=6.14 cores=1,3,5,7,9,11,13,15
/proc/17928/task/17998/stat : 17998 (java) S 17925 17928 11993 0 -1 1077944384 78161 12702 0 0 594 7 9 4 20 0 22 0 9386869 11332751360 351635 33554432000 4194304 4196468 140731692529344 140623138216048 140623602821762 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 10 0 0 6293624 6294260 38326272 140731692530369 140731692533143 140731692533143 140731692535759 0
[pid=17928/tid=17999] ppid=17925 vsize=11067140 CPUtime=3.37 cores=1,3,5,7,9,11,13,15
/proc/17928/task/17999/stat : 17999 (java) S 17925 17928 11993 0 -1 1077944384 93555 12702 0 0 314 10 9 4 20 0 22 0 9386869 11332751360 351635 33554432000 4194304 4196468 140731692529344 140623137162816 140623602820821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 8 0 0 6293624 6294260 38326272 140731692530369 140731692533143 140731692533143 140731692535759 0
[pid=17928/tid=18000] ppid=17925 vsize=11067140 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/17928/task/18000/stat : 18000 (java) S 17925 17928 11993 0 -1 1077944384 3 12702 0 0 0 0 9 4 20 0 22 0 9386869 11332751360 351635 33554432000 4194304 4196468 140731692529344 140623136111712 140623602820821 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 38326272 140731692530369 140731692533143 140731692533143 140731692535759 0
[pid=17928/tid=18001] ppid=17925 vsize=11067140 CPUtime=1.07 cores=1,3,5,7,9,11,13,15
/proc/17928/task/18001/stat : 18001 (java) S 17925 17928 11993 0 -1 1077944384 2447 12702 0 0 52 42 9 4 20 0 22 0 9386869 11332751360 351635 33554432000 4194304 4196468 140731692529344 140623067737136 140623602821762 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 10 0 0 6293624 6294260 38326272 140731692530369 140731692533143 140731692533143 140731692535759 0
Current children cumulated CPU time (s) 2401.02
Current children cumulated vsize (KiB) 11067140
[startup+2340.2 s]
/proc/loadavg: 1.47 1.54 1.52 3/281 18515
/proc/meminfo: memFree=27024264/32770624 swapFree=6384/344072
[pid=17928] ppid=17925 vsize=11067140 CPUtime=2402.23 cores=1,3,5,7,9,11,13,15
/proc/17928/stat : 17928 (java) S 17925 17928 11993 0 -1 1077944320 612039 12702 0 0 239831 379 9 4 20 0 22 0 9386847 11332751360 351720 33554432000 4194304 4196468 140731692529344 140731692511888 140623602810615 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38326272 140731692530369 140731692533143 140731692533143 140731692535759 0
/proc/17928/statm: 2766785 351720 3528 1 0 2754340 0
[pid=17928/tid=17983] ppid=17925 vsize=11067140 CPUtime=2327.14 cores=1,3,5,7,9,11,13,15
/proc/17928/task/17983/stat : 17983 (java) S 17925 17928 11993 0 -1 1077944384 120528 12702 0 0 232660 41 9 4 20 0 22 0 9386861 11332751360 351720 33554432000 4194304 4196468 140731692529344 140623607048336 140623602820821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38326272 140731692530369 140731692533143 140731692533143 140731692535759 0
[pid=17928/tid=17984] ppid=17925 vsize=11067140 CPUtime=6.06 cores=1,3,5,7,9,11,13,15
/proc/17928/task/17984/stat : 17984 (java) S 17925 17928 11993 0 -1 1077944384 9644 12702 0 0 561 32 9 4 20 0 22 0 9386862 11332751360 351720 33554432000 4194304 4196468 140731692529344 140623539502224 140623602820821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38326272 140731692530369 140731692533143 140731692533143 140731692535759 0
[pid=17928/tid=17985] ppid=17925 vsize=11067140 CPUtime=6.08 cores=1,3,5,7,9,11,13,15
/proc/17928/task/17985/stat : 17985 (java) S 17925 17928 11993 0 -1 1077944384 13819 12702 0 0 563 32 9 4 20 0 22 0 9386862 11332751360 351720 33554432000 4194304 4196468 140731692529344 140623208115216 140623602820821 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 38326272 140731692530369 140731692533143 140731692533143 140731692535759 0
[pid=17928/tid=17986] ppid=17925 vsize=11067140 CPUtime=6.09 cores=1,3,5,7,9,11,13,15
/proc/17928/task/17986/stat : 17986 (java) S 17925 17928 11993 0 -1 1077944384 12646 12702 0 0 562 34 9 4 20 0 22 0 9386862 11332751360 351720 33554432000 4194304 4196468 140731692529344 140623207062416 140623602820821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38326272 140731692530369 140731692533143 140731692533143 140731692535759 0
[pid=17928/tid=17987] ppid=17925 vsize=11067140 CPUtime=6.1 cores=1,3,5,7,9,11,13,15
/proc/17928/task/17987/stat : 17987 (java) S 17925 17928 11993 0 -1 1077944384 11216 12702 0 0 567 30 9 4 20 0 22 0 9386862 11332751360 351720 33554432000 4194304 4196468 140731692529344 140623206009616 140623602820821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38326272 140731692530369 140731692533143 140731692533143 140731692535759 0
[pid=17928/tid=17988] ppid=17925 vsize=11067140 CPUtime=6.06 cores=1,3,5,7,9,11,13,15
/proc/17928/task/17988/stat : 17988 (java) S 17925 17928 11993 0 -1 1077944384 15299 12702 0 0 559 34 9 4 20 0 22 0 9386862 11332751360 351720 33554432000 4194304 4196468 140731692529344 140623204956816 140623602820821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38326272 140731692530369 140731692533143 140731692533143 140731692535759 0
[pid=17928/tid=17989] ppid=17925 vsize=11067140 CPUtime=6.02 cores=1,3,5,7,9,11,13,15
/proc/17928/task/17989/stat : 17989 (java) S 17925 17928 11993 0 -1 1077944384 14205 12702 0 0 555 34 9 4 20 0 22 0 9386862 11332751360 351720 33554432000 4194304 4196468 140731692529344 140623203904016 140623602820821 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38326272 140731692530369 140731692533143 140731692533143 140731692535759 0
[pid=17928/tid=17990] ppid=17925 vsize=11067140 CPUtime=6.09 cores=1,3,5,7,9,11,13,15
/proc/17928/task/17990/stat : 17990 (java) S 17925 17928 11993 0 -1 1077944384 21017 12702 0 0 564 32 9 4 20 0 22 0 9386862 11332751360 351720 33554432000 4194304 4196468 140731692529344 140623202851216 140623602820821 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 38326272 140731692530369 140731692533143 140731692533143 140731692535759 0
[pid=17928/tid=17991] ppid=17925 vsize=11067140 CPUtime=6.06 cores=1,3,5,7,9,11,13,15
/proc/17928/task/17991/stat : 17991 (java) S 17925 17928 11993 0 -1 1077944384 19156 12702 0 0 561 32 9 4 20 0 22 0 9386862 11332751360 351720 33554432000 4194304 4196468 140731692529344 140623201798416 140623602820821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38326272 140731692530369 140731692533143 140731692533143 140731692535759 0
[pid=17928/tid=17992] ppid=17925 vsize=11067140 CPUtime=4.59 cores=1,3,5,7,9,11,13,15
/proc/17928/task/17992/stat : 17992 (java) R 17925 17928 11993 0 -1 4202560 36600 12702 0 0 420 26 9 4 20 0 22 0 9386864 11332751360 351720 33554432000 4194304 4196468 140731692529344 140623144531248 140623584448953 0 0 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 38326272 140731692530369 140731692533143 140731692533143 140731692535759 0
[pid=17928/tid=17993] ppid=17925 vsize=11067140 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/17928/task/17993/stat : 17993 (java) S 17925 17928 11993 0 -1 1077944384 80 12702 0 0 0 0 9 4 20 0 22 0 9386864 11332751360 351720 33554432000 4194304 4196468 140731692529344 140623143478512 140623602820821 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 38326272 140731692530369 140731692533143 140731692533143 140731692535759 0
[pid=17928/tid=17994] ppid=17925 vsize=11067140 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/17928/task/17994/stat : 17994 (java) S 17925 17928 11993 0 -1 1077944384 49 12702 0 0 0 0 9 4 20 0 22 0 9386865 11332751360 351720 33554432000 4194304 4196468 140731692529344 140623142425984 140623602820821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38326272 140731692530369 140731692533143 140731692533143 140731692535759 0
[pid=17928/tid=17995] ppid=17925 vsize=11067140 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/17928/task/17995/stat : 17995 (java) S 17925 17928 11993 0 -1 1077944384 223 12702 0 0 0 0 9 4 20 0 22 0 9386869 11332751360 351720 33554432000 4194304 4196468 140731692529344 140623141374288 140623602829211 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 38326272 140731692530369 140731692533143 140731692533143 140731692535759 0
[pid=17928/tid=17996] ppid=17925 vsize=11067140 CPUtime=6.6 cores=1,3,5,7,9,11,13,15
/proc/17928/task/17996/stat : 17996 (java) S 17925 17928 11993 0 -1 1077944384 75312 12702 0 0 639 8 9 4 20 0 22 0 9386869 11332751360 351720 33554432000 4194304 4196468 140731692529344 140623140321648 140623602821762 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 2 0 0 6293624 6294260 38326272 140731692530369 140731692533143 140731692533143 140731692535759 0
[pid=17928/tid=17997] ppid=17925 vsize=11067140 CPUtime=6.38 cores=1,3,5,7,9,11,13,15
/proc/17928/task/17997/stat : 17997 (java) S 17925 17928 11993 0 -1 1077944384 85619 12702 0 0 616 9 9 4 20 0 22 0 9386869 11332751360 351720 33554432000 4194304 4196468 140731692529344 140623139268848 140623602821762 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 3 0 0 6293624 6294260 38326272 140731692530369 140731692533143 140731692533143 140731692535759 0
[pid=17928/tid=17998] ppid=17925 vsize=11067140 CPUtime=6.14 cores=1,3,5,7,9,11,13,15
/proc/17928/task/17998/stat : 17998 (java) S 17925 17928 11993 0 -1 1077944384 78161 12702 0 0 594 7 9 4 20 0 22 0 9386869 11332751360 351720 33554432000 4194304 4196468 140731692529344 140623138216048 140623602821762 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 10 0 0 6293624 6294260 38326272 140731692530369 140731692533143 140731692533143 140731692535759 0
[pid=17928/tid=17999] ppid=17925 vsize=11067140 CPUtime=3.37 cores=1,3,5,7,9,11,13,15
/proc/17928/task/17999/stat : 17999 (java) S 17925 17928 11993 0 -1 1077944384 93557 12702 0 0 314 10 9 4 20 0 22 0 9386869 11332751360 351720 33554432000 4194304 4196468 140731692529344 140623137163248 140623602821762 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 8 0 0 6293624 6294260 38326272 140731692530369 140731692533143 140731692533143 140731692535759 0
[pid=17928/tid=18000] ppid=17925 vsize=11067140 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/17928/task/18000/stat : 18000 (java) S 17925 17928 11993 0 -1 1077944384 3 12702 0 0 0 0 9 4 20 0 22 0 9386869 11332751360 351720 33554432000 4194304 4196468 140731692529344 140623136111712 140623602820821 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 38326272 140731692530369 140731692533143 140731692533143 140731692535759 0
[pid=17928/tid=18001] ppid=17925 vsize=11067140 CPUtime=1.07 cores=1,3,5,7,9,11,13,15
/proc/17928/task/18001/stat : 18001 (java) S 17925 17928 11993 0 -1 1077944384 2447 12702 0 0 52 42 9 4 20 0 22 0 9386869 11332751360 351720 33554432000 4194304 4196468 140731692529344 140623067737136 140623602821762 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 10 0 0 6293624 6294260 38326272 140731692530369 140731692533143 140731692533143 140731692535759 0
Current children cumulated CPU time (s) 2402.23
Current children cumulated vsize (KiB) 11067140
[startup+2340.3 s]
/proc/loadavg: 1.47 1.54 1.52 3/281 18515
/proc/meminfo: memFree=27024264/32770624 swapFree=6384/344072
[pid=17928] ppid=17925 vsize=0 CPUtime=2402.68 cores=1,3,5,7,9,11,13,15
/proc/17928/stat : 17928 (java) Z 17925 17928 11993 0 -1 4228108 612205 12702 0 0 239875 380 9 4 20 0 2 0 9386847 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 0 0 0 0 0 0 0 0
/proc/17928/statm: 0 0 0 0 0 0 0
[pid=17928/tid=17990] ppid=17925 vsize=0 CPUtime=6.15 cores=1,3,5,7,9,11,13,15
/proc/17928/task/17990/stat : 17990 (java) R 17925 17928 11993 0 -1 4203588 21017 12702 0 0 569 33 9 4 20 0 2 0 9386862 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 7 0 0 0 0 0 0 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 2402.68
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 2340.31
CPU time (s): 2402.7
CPU user time (s): 2398.85
CPU system time (s): 3.8547
CPU usage (%): 102.666
Max. virtual memory (cumulated for all children) (KiB): 11067140
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2398.85
system time used= 3.8547
maximum resident set size= 1609856
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 624907
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3264
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 196466
involuntary context switches= 156729
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 20.2125 second user time and 15.9459 second system time
The end