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-4249445-1500767216/watcher-4249445-1500767216 -o /tmp/evaluation-result-4249445-1500767216/solver-4249445-1500767216 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node143-1500751505-28469 --watchdog 2560 bin/concrete HOME/instance-4249445-1500767216.xml
pid=32033
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.90 1.82 1.81 3/261 32036
/proc/meminfo: memFree=28303480/32770624 swapFree=6300/331668
[pid=32036] ppid=32033 vsize=9508 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/32036/stat : 32036 (bash) S 32033 32036 28437 0 -1 4202496 686 1534 0 0 0 0 0 0 20 0 1 0 11987867 9736192 350 33554432000 4194304 5098028 140737185025408 140737185023048 140525677177856 0 0 4100 65536 18446744071580971376 0 0 17 13 0 0 0 0 0 7196144 7232144 16887808 140737185031438 140737185031523 140737185031523 140737185034222 0
/proc/32036/statm: 2377 350 277 221 0 86 0
[startup+0.100152 s]
/proc/loadavg: 1.90 1.82 1.81 3/261 32036
/proc/meminfo: memFree=28303480/32770624 swapFree=6300/331668
[pid=32036] ppid=32033 vsize=9640 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/32036/stat : 32036 (bash) S 32033 32036 28437 0 -1 4202496 880 6422 0 0 0 0 0 1 20 0 1 0 11987867 9871360 378 33554432000 4194304 5098028 140737185025408 140737185019416 140525677177856 0 0 4100 65536 18446744071580971376 0 0 17 13 0 0 0 0 0 7196144 7232144 16887808 140737185031438 140737185031523 140737185031523 140737185034222 0
/proc/32036/statm: 2410 378 296 221 0 119 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9640
[startup+0.200409 s]
/proc/loadavg: 1.90 1.82 1.81 3/261 32036
/proc/meminfo: memFree=28303480/32770624 swapFree=6300/331668
[pid=32036] ppid=32033 vsize=10435860 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/32036/stat : 32036 (java) S 32033 32036 28437 0 -1 1077944320 5083 12605 0 0 6 1 8 4 20 0 13 0 11987867 10686320640 5421 33554432000 4194304 4196468 140723085796384 140723085778928 139813441998583 0 0 0 16800971 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 16363520 140723085802177 140723085804951 140723085804951 140723085807567 0
/proc/32036/statm: 2608965 5421 2137 1 0 2597403 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 10435860
[startup+0.300382 s]
/proc/loadavg: 1.90 1.82 1.81 3/261 32036
/proc/meminfo: memFree=28303480/32770624 swapFree=6300/331668
[pid=32036] ppid=32033 vsize=10902392 CPUtime=0.36 cores=1,3,5,7,9,11,13,15
/proc/32036/stat : 32036 (java) S 32033 32036 28437 0 -1 1077944320 7364 12605 0 0 22 2 8 4 20 0 20 0 11987867 11164049408 9137 33554432000 4194304 4196468 140723085796384 140723085778928 139813441998583 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 16363520 140723085802177 140723085804951 140723085804951 140723085807567 0
/proc/32036/statm: 2725598 9137 2968 1 0 2713890 0
Current children cumulated CPU time (s) 0.36
Current children cumulated vsize (KiB) 10902392
[startup+0.700292 s]
/proc/loadavg: 1.90 1.82 1.81 3/261 32036
/proc/meminfo: memFree=28303480/32770624 swapFree=6300/331668
[pid=32036] ppid=32033 vsize=10902720 CPUtime=0.65 cores=1,3,5,7,9,11,13,15
/proc/32036/stat : 32036 (java) S 32033 32036 28437 0 -1 1077944320 11534 12605 0 0 50 3 8 4 20 0 20 0 11987867 11164385280 13949 33554432000 4194304 4196468 140723085796384 140723085778928 139813441998583 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 16363520 140723085802177 140723085804951 140723085804951 140723085807567 0
/proc/32036/statm: 2725680 13949 3063 1 0 2713890 0
Current children cumulated CPU time (s) 0.65
Current children cumulated vsize (KiB) 10902720
[startup+1.50084 s]
/proc/loadavg: 1.83 1.81 1.81 4/281 32109
/proc/meminfo: memFree=28223592/32770624 swapFree=6300/331692
[pid=32036] ppid=32033 vsize=10913344 CPUtime=1.85 cores=1,3,5,7,9,11,13,15
/proc/32036/stat : 32036 (java) S 32033 32036 28437 0 -1 1077944320 23274 12605 0 0 166 7 8 4 20 0 20 0 11987867 11175264256 32716 33554432000 4194304 4196468 140723085796384 140723085778928 139813441998583 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 16363520 140723085802177 140723085804951 140723085804951 140723085807567 0
/proc/32036/statm: 2728336 32716 3345 1 0 2716450 0
[pid=32036/tid=32091] ppid=32033 vsize=10913344 CPUtime=1.27 cores=1,3,5,7,9,11,13,15
/proc/32036/task/32091/stat : 32091 (java) R 32033 32036 28437 0 -1 4202560 18422 12605 0 0 110 5 8 4 20 0 20 0 11987880 11175264256 32716 33554432000 4194304 4196468 140723085796384 139813446229520 139813422270447 0 4 0 16800975 0 0 0 -1 13 0 0 19 0 0 6293624 6294260 16363520 140723085802177 140723085804951 140723085804951 140723085807567 0
[pid=32036/tid=32092] ppid=32033 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/32036/task/32092/stat : 32092 (java) S 32033 32036 28437 0 -1 1077944384 1 12605 0 0 0 0 8 4 20 0 20 0 11987881 11175264256 32716 33554432000 4194304 4196468 140723085796384 139813400758928 139813442008789 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 16363520 140723085802177 140723085804951 140723085804951 140723085807567 0
[pid=32036/tid=32093] ppid=32033 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/32036/task/32093/stat : 32093 (java) S 32033 32036 28437 0 -1 1077944384 1 12605 0 0 0 0 8 4 20 0 20 0 11987881 11175264256 32716 33554432000 4194304 4196468 140723085796384 139813047839248 139813442008789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16363520 140723085802177 140723085804951 140723085804951 140723085807567 0
[pid=32036/tid=32094] ppid=32033 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/32036/task/32094/stat : 32094 (java) S 32033 32036 28437 0 -1 1077944384 3 12605 0 0 0 0 8 4 20 0 20 0 11987881 11175264256 32716 33554432000 4194304 4196468 140723085796384 139813046786448 139813442008789 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 16363520 140723085802177 140723085804951 140723085804951 140723085807567 0
[pid=32036/tid=32095] ppid=32033 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/32036/task/32095/stat : 32095 (java) S 32033 32036 28437 0 -1 1077944384 3 12605 0 0 0 0 8 4 20 0 20 0 11987881 11175264256 32716 33554432000 4194304 4196468 140723085796384 139813045733648 139813442008789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16363520 140723085802177 140723085804951 140723085804951 140723085807567 0
[pid=32036/tid=32096] ppid=32033 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/32036/task/32096/stat : 32096 (java) S 32033 32036 28437 0 -1 1077944384 2 12605 0 0 0 0 8 4 20 0 20 0 11987881 11175264256 32716 33554432000 4194304 4196468 140723085796384 139813044681872 139813442008789 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 16363520 140723085802177 140723085804951 140723085804951 140723085807567 0
[pid=32036/tid=32097] ppid=32033 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/32036/task/32097/stat : 32097 (java) S 32033 32036 28437 0 -1 1077944384 3 12605 0 0 0 0 8 4 20 0 20 0 11987881 11175264256 32716 33554432000 4194304 4196468 140723085796384 139813043629072 139813442008789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16363520 140723085802177 140723085804951 140723085804951 140723085807567 0
[pid=32036/tid=32098] ppid=32033 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/32036/task/32098/stat : 32098 (java) S 32033 32036 28437 0 -1 1077944384 2 12605 0 0 0 0 8 4 20 0 20 0 11987881 11175264256 32716 33554432000 4194304 4196468 140723085796384 139813042576272 139813442008789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16363520 140723085802177 140723085804951 140723085804951 140723085807567 0
[pid=32036/tid=32099] ppid=32033 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/32036/task/32099/stat : 32099 (java) S 32033 32036 28437 0 -1 1077944384 1 12605 0 0 0 0 8 4 20 0 20 0 11987881 11175264256 32716 33554432000 4194304 4196468 140723085796384 139813041523472 139813442008789 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 16363520 140723085802177 140723085804951 140723085804951 140723085807567 0
[pid=32036/tid=32100] ppid=32033 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/32036/task/32100/stat : 32100 (java) S 32033 32036 28437 0 -1 1077944384 5 12605 0 0 0 0 8 4 20 0 20 0 11987883 11175264256 32716 33554432000 4194304 4196468 140723085796384 139812782410096 139813442009730 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16363520 140723085802177 140723085804951 140723085804951 140723085807567 0
[pid=32036/tid=32101] ppid=32033 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/32036/task/32101/stat : 32101 (java) S 32033 32036 28437 0 -1 1077944384 33 12605 0 0 0 0 8 4 20 0 20 0 11987884 11175264256 32716 33554432000 4194304 4196468 140723085796384 139812781356064 139813442008789 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 16363520 140723085802177 140723085804951 140723085804951 140723085807567 0
[pid=32036/tid=32102] ppid=32033 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/32036/task/32102/stat : 32102 (java) S 32033 32036 28437 0 -1 1077944384 21 12605 0 0 0 0 8 4 20 0 20 0 11987884 11175264256 32716 33554432000 4194304 4196468 140723085796384 139812780303216 139813442008789 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 16363520 140723085802177 140723085804951 140723085804951 140723085807567 0
[pid=32036/tid=32103] ppid=32033 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/32036/task/32103/stat : 32103 (java) S 32033 32036 28437 0 -1 1077944384 1 12605 0 0 0 0 8 4 20 0 20 0 11987889 11175264256 32716 33554432000 4194304 4196468 140723085796384 139812779251536 139813442017179 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 16363520 140723085802177 140723085804951 140723085804951 140723085807567 0
[pid=32036/tid=32104] ppid=32033 vsize=10913344 CPUtime=0.25 cores=1,3,5,7,9,11,13,15
/proc/32036/task/32104/stat : 32104 (java) S 32033 32036 28437 0 -1 1077944384 889 12605 0 0 13 0 8 4 20 0 20 0 11987889 11175264256 32716 33554432000 4194304 4196468 140723085796384 139812778199920 139813442009730 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16363520 140723085802177 140723085804951 140723085804951 140723085807567 0
[pid=32036/tid=32105] ppid=32033 vsize=10913344 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/32036/task/32105/stat : 32105 (java) S 32033 32036 28437 0 -1 1077944384 449 12605 0 0 9 0 8 4 20 0 20 0 11987889 11175264256 32716 33554432000 4194304 4196468 140723085796384 139812777147120 139813442009730 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 16363520 140723085802177 140723085804951 140723085804951 140723085807567 0
[pid=32036/tid=32106] ppid=32033 vsize=10913344 CPUtime=0.23 cores=1,3,5,7,9,11,13,15
/proc/32036/task/32106/stat : 32106 (java) S 32033 32036 28437 0 -1 1077944384 520 12605 0 0 11 0 8 4 20 0 20 0 11987889 11175264256 32716 33554432000 4194304 4196468 140723085796384 139812776094320 139813442009730 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16363520 140723085802177 140723085804951 140723085804951 140723085807567 0
[pid=32036/tid=32107] ppid=32033 vsize=10913344 CPUtime=0.32 cores=1,3,5,7,9,11,13,15
/proc/32036/task/32107/stat : 32107 (java) S 32033 32036 28437 0 -1 1077944384 781 12605 0 0 20 0 8 4 20 0 20 0 11987889 11175264256 32716 33554432000 4194304 4196468 140723085796384 139812775041520 139813442009730 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 16363520 140723085802177 140723085804951 140723085804951 140723085807567 0
[pid=32036/tid=32108] ppid=32033 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/32036/task/32108/stat : 32108 (java) S 32033 32036 28437 0 -1 1077944384 3 12605 0 0 0 0 8 4 20 0 20 0 11987889 11175264256 32716 33554432000 4194304 4196468 140723085796384 139812773988960 139813442008789 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 16363520 140723085802177 140723085804951 140723085804951 140723085807567 0
[pid=32036/tid=32109] ppid=32033 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/32036/task/32109/stat : 32109 (java) S 32033 32036 28437 0 -1 1077944384 4 12605 0 0 0 0 8 4 20 0 20 0 11987889 11175264256 32716 33554432000 4194304 4196468 140723085796384 139812772936240 139813442009730 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 16 0 0 6293624 6294260 16363520 140723085802177 140723085804951 140723085804951 140723085807567 0
Current children cumulated CPU time (s) 1.85
Current children cumulated vsize (KiB) 10913344
[startup+3.10114 s]
/proc/loadavg: 1.83 1.81 1.81 3/281 32109
/proc/meminfo: memFree=28132564/32770624 swapFree=6300/331692
[pid=32036] ppid=32033 vsize=10925820 CPUtime=6.11 cores=1,3,5,7,9,11,13,15
/proc/32036/stat : 32036 (java) S 32033 32036 28437 0 -1 1077944320 47490 12605 0 0 581 18 8 4 20 0 20 0 11987867 11188039680 58803 33554432000 4194304 4196468 140723085796384 140723085778928 139813441998583 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 16363520 140723085802177 140723085804951 140723085804951 140723085807567 0
/proc/32036/statm: 2731455 58803 3473 1 0 2719010 0
[pid=32036/tid=32091] ppid=32033 vsize=10925820 CPUtime=2.82 cores=1,3,5,7,9,11,13,15
/proc/32036/task/32091/stat : 32091 (java) R 32033 32036 28437 0 -1 4202560 31979 12605 0 0 263 7 8 4 20 0 20 0 11987880 11188039680 58803 33554432000 4194304 4196468 140723085796384 139813446221776 139813426079070 0 4 0 16800975 0 0 0 -1 7 0 0 19 0 0 6293624 6294260 16363520 140723085802177 140723085804951 140723085804951 140723085807567 0
[pid=32036/tid=32092] ppid=32033 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/32036/task/32092/stat : 32092 (java) S 32033 32036 28437 0 -1 1077944384 25 12605 0 0 0 0 8 4 20 0 20 0 11987881 11188039680 58803 33554432000 4194304 4196468 140723085796384 139813400758928 139813442008789 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 16363520 140723085802177 140723085804951 140723085804951 140723085807567 0
[pid=32036/tid=32093] ppid=32033 vsize=10925820 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/32036/task/32093/stat : 32093 (java) S 32033 32036 28437 0 -1 1077944384 133 12605 0 0 1 0 8 4 20 0 20 0 11987881 11188039680 58803 33554432000 4194304 4196468 140723085796384 139813047839248 139813442008789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16363520 140723085802177 140723085804951 140723085804951 140723085807567 0
[pid=32036/tid=32094] ppid=32033 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/32036/task/32094/stat : 32094 (java) S 32033 32036 28437 0 -1 1077944384 25 12605 0 0 0 0 8 4 20 0 20 0 11987881 11188039680 58803 33554432000 4194304 4196468 140723085796384 139813046786448 139813442008789 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 16363520 140723085802177 140723085804951 140723085804951 140723085807567 0
[pid=32036/tid=32095] ppid=32033 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/32036/task/32095/stat : 32095 (java) S 32033 32036 28437 0 -1 1077944384 24 12605 0 0 0 0 8 4 20 0 20 0 11987881 11188039680 58803 33554432000 4194304 4196468 140723085796384 139813045733648 139813442008789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16363520 140723085802177 140723085804951 140723085804951 140723085807567 0
[pid=32036/tid=32096] ppid=32033 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/32036/task/32096/stat : 32096 (java) S 32033 32036 28437 0 -1 1077944384 9 12605 0 0 0 0 8 4 20 0 20 0 11987881 11188039680 58803 33554432000 4194304 4196468 140723085796384 139813044681872 139813442008789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16363520 140723085802177 140723085804951 140723085804951 140723085807567 0
[pid=32036/tid=32097] ppid=32033 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/32036/task/32097/stat : 32097 (java) S 32033 32036 28437 0 -1 1077944384 29 12605 0 0 0 0 8 4 20 0 20 0 11987881 11188039680 58803 33554432000 4194304 4196468 140723085796384 139813043629072 139813442008789 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 16363520 140723085802177 140723085804951 140723085804951 140723085807567 0
[pid=32036/tid=32098] ppid=32033 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/32036/task/32098/stat : 32098 (java) S 32033 32036 28437 0 -1 1077944384 22 12605 0 0 0 0 8 4 20 0 20 0 11987881 11188039680 58803 33554432000 4194304 4196468 140723085796384 139813042576272 139813442008789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16363520 140723085802177 140723085804951 140723085804951 140723085807567 0
[pid=32036/tid=32099] ppid=32033 vsize=10925820 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/32036/task/32099/stat : 32099 (java) S 32033 32036 28437 0 -1 1077944384 49 12605 0 0 1 0 8 4 20 0 20 0 11987881 11188039680 58803 33554432000 4194304 4196468 140723085796384 139813041523472 139813442008789 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 16363520 140723085802177 140723085804951 140723085804951 140723085807567 0
[pid=32036/tid=32100] ppid=32033 vsize=10925820 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/32036/task/32100/stat : 32100 (java) S 32033 32036 28437 0 -1 1077944384 1588 12605 0 0 1 0 8 4 20 0 20 0 11987883 11188039680 58803 33554432000 4194304 4196468 140723085796384 139812782410096 139813442009730 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16363520 140723085802177 140723085804951 140723085804951 140723085807567 0
[pid=32036/tid=32101] ppid=32033 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/32036/task/32101/stat : 32101 (java) S 32033 32036 28437 0 -1 1077944384 54 12605 0 0 0 0 8 4 20 0 20 0 11987884 11188039680 58803 33554432000 4194304 4196468 140723085796384 139812781356128 139813442008789 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 16363520 140723085802177 140723085804951 140723085804951 140723085807567 0
[pid=32036/tid=32102] ppid=32033 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/32036/task/32102/stat : 32102 (java) S 32033 32036 28437 0 -1 1077944384 44 12605 0 0 0 0 8 4 20 0 20 0 11987884 11188039680 58803 33554432000 4194304 4196468 140723085796384 139812780303216 139813442008789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16363520 140723085802177 140723085804951 140723085804951 140723085807567 0
[pid=32036/tid=32103] ppid=32033 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/32036/task/32103/stat : 32103 (java) S 32033 32036 28437 0 -1 1077944384 1 12605 0 0 0 0 8 4 20 0 20 0 11987889 11188039680 58803 33554432000 4194304 4196468 140723085796384 139812779251536 139813442017179 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 16363520 140723085802177 140723085804951 140723085804951 140723085807567 0
[pid=32036/tid=32104] ppid=32033 vsize=10925820 CPUtime=0.7 cores=1,3,5,7,9,11,13,15
/proc/32036/task/32104/stat : 32104 (java) S 32033 32036 28437 0 -1 1077944384 1522 12605 0 0 57 1 8 4 20 0 20 0 11987889 11188039680 58803 33554432000 4194304 4196468 140723085796384 139812778199920 139813442009730 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 16363520 140723085802177 140723085804951 140723085804951 140723085807567 0
[pid=32036/tid=32105] ppid=32033 vsize=10925820 CPUtime=1 cores=1,3,5,7,9,11,13,15
/proc/32036/task/32105/stat : 32105 (java) S 32033 32036 28437 0 -1 1077944384 4283 12605 0 0 88 0 8 4 20 0 20 0 11987889 11188039680 58803 33554432000 4194304 4196468 140723085796384 139812777147120 139813442009730 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 16363520 140723085802177 140723085804951 140723085804951 140723085807567 0
[pid=32036/tid=32106] ppid=32033 vsize=10925820 CPUtime=0.87 cores=1,3,5,7,9,11,13,15
/proc/32036/task/32106/stat : 32106 (java) S 32033 32036 28437 0 -1 1077944384 1999 12605 0 0 74 1 8 4 20 0 20 0 11987889 11188039680 58803 33554432000 4194304 4196468 140723085796384 139812776094320 139813442009730 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 16363520 140723085802177 140723085804951 140723085804951 140723085807567 0
[pid=32036/tid=32107] ppid=32033 vsize=10925820 CPUtime=1 cores=1,3,5,7,9,11,13,15
/proc/32036/task/32107/stat : 32107 (java) R 32033 32036 28437 0 -1 4202560 3566 12605 0 0 87 1 8 4 20 0 20 0 11987889 11188039680 58803 33554432000 4194304 4196468 140723085796384 139812775041520 139813435102195 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16363520 140723085802177 140723085804951 140723085804951 140723085807567 0
[pid=32036/tid=32108] ppid=32033 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/32036/task/32108/stat : 32108 (java) S 32033 32036 28437 0 -1 1077944384 3 12605 0 0 0 0 8 4 20 0 20 0 11987889 11188039680 58803 33554432000 4194304 4196468 140723085796384 139812773988960 139813442008789 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 16363520 140723085802177 140723085804951 140723085804951 140723085807567 0
[pid=32036/tid=32109] ppid=32033 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/32036/task/32109/stat : 32109 (java) S 32033 32036 28437 0 -1 1077944384 8 12605 0 0 0 0 8 4 20 0 20 0 11987889 11188039680 58803 33554432000 4194304 4196468 140723085796384 139812772936240 139813442009730 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 16 0 0 6293624 6294260 16363520 140723085802177 140723085804951 140723085804951 140723085807567 0
Current children cumulated CPU time (s) 6.11
Current children cumulated vsize (KiB) 10925820
[startup+6.30121 s]
/proc/loadavg: 2.09 1.86 1.82 3/281 32109
/proc/meminfo: memFree=27902836/32770624 swapFree=6300/331696
[pid=32036] ppid=32033 vsize=10931964 CPUtime=17.27 cores=1,3,5,7,9,11,13,15
/proc/32036/stat : 32036 (java) S 32033 32036 28437 0 -1 1077944320 70153 12605 0 0 1654 61 8 4 20 0 20 0 11987867 11194331136 148647 33554432000 4194304 4196468 140723085796384 140723085778928 139813441998583 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 16363520 140723085802177 140723085804951 140723085804951 140723085807567 0
/proc/32036/statm: 2732991 148647 3509 1 0 2720546 0
[pid=32036/tid=32091] ppid=32033 vsize=10931964 CPUtime=5.84 cores=1,3,5,7,9,11,13,15
/proc/32036/task/32091/stat : 32091 (java) R 32033 32036 28437 0 -1 4202560 37304 12605 0 0 560 12 8 4 20 0 20 0 11987880 11194331136 148647 33554432000 4194304 4196468 140723085796384 139813446231160 139813422290807 0 4 0 16800975 0 0 0 -1 7 0 0 19 0 0 6293624 6294260 16363520 140723085802177 140723085804951 140723085804951 140723085807567 0
[pid=32036/tid=32092] ppid=32033 vsize=10931964 CPUtime=0.26 cores=1,3,5,7,9,11,13,15
/proc/32036/task/32092/stat : 32092 (java) S 32033 32036 28437 0 -1 1077944384 92 12605 0 0 10 4 8 4 20 0 20 0 11987881 11194331136 148647 33554432000 4194304 4196468 140723085796384 139813400758928 139813442008789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16363520 140723085802177 140723085804951 140723085804951 140723085807567 0
[pid=32036/tid=32093] ppid=32033 vsize=10931964 CPUtime=0.26 cores=1,3,5,7,9,11,13,15
/proc/32036/task/32093/stat : 32093 (java) S 32033 32036 28437 0 -1 1077944384 201 12605 0 0 10 4 8 4 20 0 20 0 11987881 11194331136 148647 33554432000 4194304 4196468 140723085796384 139813047839248 139813442008789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16363520 140723085802177 140723085804951 140723085804951 140723085807567 0
[pid=32036/tid=32094] ppid=32033 vsize=10931964 CPUtime=0.24 cores=1,3,5,7,9,11,13,15
/proc/32036/task/32094/stat : 32094 (java) S 32033 32036 28437 0 -1 1077944384 149 12605 0 0 7 5 8 4 20 0 20 0 11987881 11194331136 148647 33554432000 4194304 4196468 140723085796384 139813046786448 139813442008789 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 16363520 140723085802177 140723085804951 140723085804951 140723085807567 0
[pid=32036/tid=32095] ppid=32033 vsize=10931964 CPUtime=0.26 cores=1,3,5,7,9,11,13,15
/proc/32036/task/32095/stat : 32095 (java) S 32033 32036 28437 0 -1 1077944384 105 12605 0 0 9 5 8 4 20 0 20 0 11987881 11194331136 148647 33554432000 4194304 4196468 140723085796384 139813045733648 139813442008789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16363520 140723085802177 140723085804951 140723085804951 140723085807567 0
[pid=32036/tid=32096] ppid=32033 vsize=10931964 CPUtime=0.2 cores=1,3,5,7,9,11,13,15
/proc/32036/task/32096/stat : 32096 (java) S 32033 32036 28437 0 -1 1077944384 47 12605 0 0 5 3 8 4 20 0 20 0 11987881 11194331136 148647 33554432000 4194304 4196468 140723085796384 139813044681872 139813442008789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16363520 140723085802177 140723085804951 140723085804951 140723085807567 0
[pid=32036/tid=32097] ppid=32033 vsize=10931964 CPUtime=0.25 cores=1,3,5,7,9,11,13,15
/proc/32036/task/32097/stat : 32097 (java) S 32033 32036 28437 0 -1 1077944384 100 12605 0 0 9 4 8 4 20 0 20 0 11987881 11194331136 148647 33554432000 4194304 4196468 140723085796384 139813043629072 139813442008789 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 16363520 140723085802177 140723085804951 140723085804951 140723085807567 0
[pid=32036/tid=32098] ppid=32033 vsize=10931964 CPUtime=0.23 cores=1,3,5,7,9,11,13,15
/proc/32036/task/32098/stat : 32098 (java) S 32033 32036 28437 0 -1 1077944384 105 12605 0 0 6 5 8 4 20 0 20 0 11987881 11194331136 148647 33554432000 4194304 4196468 140723085796384 139813042576272 139813442008789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16363520 140723085802177 140723085804951 140723085804951 140723085807567 0
[pid=32036/tid=32099] ppid=32033 vsize=10931964 CPUtime=0.24 cores=1,3,5,7,9,11,13,15
/proc/32036/task/32099/stat : 32099 (java) S 32033 32036 28437 0 -1 1077944384 156 12605 0 0 8 4 8 4 20 0 20 0 11987881 11194331136 148647 33554432000 4194304 4196468 140723085796384 139813041523472 139813442008789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16363520 140723085802177 140723085804951 140723085804951 140723085807567 0
[pid=32036/tid=32100] ppid=32033 vsize=10931964 CPUtime=0.17 cores=1,3,5,7,9,11,13,15
/proc/32036/task/32100/stat : 32100 (java) S 32033 32036 28437 0 -1 1077944384 2598 12605 0 0 5 0 8 4 20 0 20 0 11987883 11194331136 148647 33554432000 4194304 4196468 140723085796384 139812782410096 139813442009730 0 0 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 16363520 140723085802177 140723085804951 140723085804951 140723085807567 0
[pid=32036/tid=32101] ppid=32033 vsize=10931964 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/32036/task/32101/stat : 32101 (java) S 32033 32036 28437 0 -1 1077944384 55 12605 0 0 0 0 8 4 20 0 20 0 11987884 11194331136 148647 33554432000 4194304 4196468 140723085796384 139812781356128 139813442008789 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 16363520 140723085802177 140723085804951 140723085804951 140723085807567 0
[pid=32036/tid=32102] ppid=32033 vsize=10931964 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/32036/task/32102/stat : 32102 (java) S 32033 32036 28437 0 -1 1077944384 45 12605 0 0 1 0 8 4 20 0 20 0 11987884 11194331136 148647 33554432000 4194304 4196468 140723085796384 139812780303232 139813442008789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16363520 140723085802177 140723085804951 140723085804951 140723085807567 0
[pid=32036/tid=32103] ppid=32033 vsize=10931964 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/32036/task/32103/stat : 32103 (java) S 32033 32036 28437 0 -1 1077944384 1 12605 0 0 0 0 8 4 20 0 20 0 11987889 11194331136 148647 33554432000 4194304 4196468 140723085796384 139812779251536 139813442017179 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 16363520 140723085802177 140723085804951 140723085804951 140723085807567 0
[pid=32036/tid=32104] ppid=32033 vsize=10931964 CPUtime=2.76 cores=1,3,5,7,9,11,13,15
/proc/32036/task/32104/stat : 32104 (java) R 32033 32036 28437 0 -1 4202560 6174 12605 0 0 262 2 8 4 20 0 20 0 11987889 11194331136 148647 33554432000 4194304 4196468 140723085796384 139812778185944 139813421244444 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 16363520 140723085802177 140723085804951 140723085804951 140723085807567 0
[pid=32036/tid=32105] ppid=32033 vsize=10931964 CPUtime=3.1 cores=1,3,5,7,9,11,13,15
/proc/32036/task/32105/stat : 32105 (java) R 32033 32036 28437 0 -1 4202560 7861 12605 0 0 296 2 8 4 20 0 20 0 11987889 11194331136 148647 33554432000 4194304 4196468 140723085796384 139812777135152 139813425383415 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 16363520 140723085802177 140723085804951 140723085804951 140723085807567 0
[pid=32036/tid=32106] ppid=32033 vsize=10931964 CPUtime=2.91 cores=1,3,5,7,9,11,13,15
/proc/32036/task/32106/stat : 32106 (java) R 32033 32036 28437 0 -1 4202560 7939 12605 0 0 277 2 8 4 20 0 20 0 11987889 11194331136 148647 33554432000 4194304 4196468 140723085796384 139812776080352 139813423542783 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 16363520 140723085802177 140723085804951 140723085804951 140723085807567 0
[pid=32036/tid=32107] ppid=32033 vsize=10931964 CPUtime=1.96 cores=1,3,5,7,9,11,13,15
/proc/32036/task/32107/stat : 32107 (java) S 32033 32036 28437 0 -1 1077944384 5077 12605 0 0 182 2 8 4 20 0 20 0 11987889 11194331136 148647 33554432000 4194304 4196468 140723085796384 139812775041520 139813442009730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16363520 140723085802177 140723085804951 140723085804951 140723085807567 0
[pid=32036/tid=32108] ppid=32033 vsize=10931964 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
################
# More data... #
################
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2342.6 s]
/proc/loadavg: 1.82 1.78 1.81 3/281 32485
/proc/meminfo: memFree=27050364/32770624 swapFree=6300/333384
[pid=32036] ppid=32033 vsize=10931964 CPUtime=2400.04 cores=1,3,5,7,9,11,13,15
/proc/32036/stat : 32036 (java) S 32033 32036 28437 0 -1 1077944320 373482 12605 0 0 239205 787 8 4 20 0 20 0 11987867 11194331136 800001 33554432000 4194304 4196468 140723085796384 140723085778928 139813441998583 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 16363520 140723085802177 140723085804951 140723085804951 140723085807567 0
/proc/32036/statm: 2732991 800001 3516 1 0 2720546 0
[pid=32036/tid=32091] ppid=32033 vsize=10931964 CPUtime=2333.59 cores=1,3,5,7,9,11,13,15
/proc/32036/task/32091/stat : 32091 (java) R 32033 32036 28437 0 -1 4202560 181632 12605 0 0 233265 82 8 4 20 0 20 0 11987880 11194331136 800001 33554432000 4194304 4196468 140723085796384 139813446227600 139813087783614 0 4 0 16800975 0 0 0 -1 13 0 0 19 0 0 6293624 6294260 16363520 140723085802177 140723085804951 140723085804951 140723085807567 0
[pid=32036/tid=32092] ppid=32033 vsize=10931964 CPUtime=6.09 cores=1,3,5,7,9,11,13,15
/proc/32036/task/32092/stat : 32092 (java) S 32033 32036 28437 0 -1 1077944384 11472 12605 0 0 519 78 8 4 20 0 20 0 11987881 11194331136 800001 33554432000 4194304 4196468 140723085796384 139813400758928 139813442008789 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 16363520 140723085802177 140723085804951 140723085804951 140723085807567 0
[pid=32036/tid=32093] ppid=32033 vsize=10931964 CPUtime=6.2 cores=1,3,5,7,9,11,13,15
/proc/32036/task/32093/stat : 32093 (java) S 32033 32036 28437 0 -1 1077944384 8771 12605 0 0 533 75 8 4 20 0 20 0 11987881 11194331136 800001 33554432000 4194304 4196468 140723085796384 139813047839248 139813442008789 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 16363520 140723085802177 140723085804951 140723085804951 140723085807567 0
[pid=32036/tid=32094] ppid=32033 vsize=10931964 CPUtime=6.02 cores=1,3,5,7,9,11,13,15
/proc/32036/task/32094/stat : 32094 (java) S 32033 32036 28437 0 -1 1077944384 13263 12605 0 0 512 78 8 4 20 0 20 0 11987881 11194331136 800001 33554432000 4194304 4196468 140723085796384 139813046786448 139813442008789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16363520 140723085802177 140723085804951 140723085804951 140723085807567 0
[pid=32036/tid=32095] ppid=32033 vsize=10931964 CPUtime=6.02 cores=1,3,5,7,9,11,13,15
/proc/32036/task/32095/stat : 32095 (java) S 32033 32036 28437 0 -1 1077944384 12090 12605 0 0 510 80 8 4 20 0 20 0 11987881 11194331136 800001 33554432000 4194304 4196468 140723085796384 139813045733648 139813442008789 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 16363520 140723085802177 140723085804951 140723085804951 140723085807567 0
[pid=32036/tid=32096] ppid=32033 vsize=10931964 CPUtime=6.02 cores=1,3,5,7,9,11,13,15
/proc/32036/task/32096/stat : 32096 (java) S 32033 32036 28437 0 -1 1077944384 15261 12605 0 0 512 78 8 4 20 0 20 0 11987881 11194331136 800001 33554432000 4194304 4196468 140723085796384 139813044681872 139813442008789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16363520 140723085802177 140723085804951 140723085804951 140723085807567 0
[pid=32036/tid=32097] ppid=32033 vsize=10931964 CPUtime=6.14 cores=1,3,5,7,9,11,13,15
/proc/32036/task/32097/stat : 32097 (java) S 32033 32036 28437 0 -1 1077944384 9765 12605 0 0 523 79 8 4 20 0 20 0 11987881 11194331136 800001 33554432000 4194304 4196468 140723085796384 139813043629072 139813442008789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16363520 140723085802177 140723085804951 140723085804951 140723085807567 0
[pid=32036/tid=32098] ppid=32033 vsize=10931964 CPUtime=6.05 cores=1,3,5,7,9,11,13,15
/proc/32036/task/32098/stat : 32098 (java) S 32033 32036 28437 0 -1 1077944384 4302 12605 0 0 515 78 8 4 20 0 20 0 11987881 11194331136 800001 33554432000 4194304 4196468 140723085796384 139813042576272 139813442008789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16363520 140723085802177 140723085804951 140723085804951 140723085807567 0
[pid=32036/tid=32099] ppid=32033 vsize=10931964 CPUtime=6.07 cores=1,3,5,7,9,11,13,15
/proc/32036/task/32099/stat : 32099 (java) S 32033 32036 28437 0 -1 1077944384 12764 12605 0 0 518 77 8 4 20 0 20 0 11987881 11194331136 800001 33554432000 4194304 4196468 140723085796384 139813041523472 139813442008789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16363520 140723085802177 140723085804951 140723085804951 140723085807567 0
[pid=32036/tid=32100] ppid=32033 vsize=10931964 CPUtime=1.02 cores=1,3,5,7,9,11,13,15
/proc/32036/task/32100/stat : 32100 (java) S 32033 32036 28437 0 -1 1077944384 28938 12605 0 0 75 15 8 4 20 0 20 0 11987883 11194331136 800001 33554432000 4194304 4196468 140723085796384 139812782410096 139813442009730 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16363520 140723085802177 140723085804951 140723085804951 140723085807567 0
[pid=32036/tid=32101] ppid=32033 vsize=10931964 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/32036/task/32101/stat : 32101 (java) S 32033 32036 28437 0 -1 1077944384 55 12605 0 0 0 0 8 4 20 0 20 0 11987884 11194331136 800001 33554432000 4194304 4196468 140723085796384 139812781356128 139813442008789 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 16363520 140723085802177 140723085804951 140723085804951 140723085807567 0
[pid=32036/tid=32102] ppid=32033 vsize=10931964 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/32036/task/32102/stat : 32102 (java) S 32033 32036 28437 0 -1 1077944384 45 12605 0 0 1 0 8 4 20 0 20 0 11987884 11194331136 800001 33554432000 4194304 4196468 140723085796384 139812780303232 139813442008789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16363520 140723085802177 140723085804951 140723085804951 140723085807567 0
[pid=32036/tid=32103] ppid=32033 vsize=10931964 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/32036/task/32103/stat : 32103 (java) S 32033 32036 28437 0 -1 1077944384 1 12605 0 0 0 0 8 4 20 0 20 0 11987889 11194331136 800001 33554432000 4194304 4196468 140723085796384 139812779251536 139813442017179 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 16363520 140723085802177 140723085804951 140723085804951 140723085807567 0
[pid=32036/tid=32104] ppid=32033 vsize=10931964 CPUtime=4.77 cores=1,3,5,7,9,11,13,15
/proc/32036/task/32104/stat : 32104 (java) S 32033 32036 28437 0 -1 1077944384 15406 12605 0 0 462 3 8 4 20 0 20 0 11987889 11194331136 800001 33554432000 4194304 4196468 140723085796384 139812778199920 139813442009730 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16363520 140723085802177 140723085804951 140723085804951 140723085807567 0
[pid=32036/tid=32105] ppid=32033 vsize=10931964 CPUtime=5.34 cores=1,3,5,7,9,11,13,15
/proc/32036/task/32105/stat : 32105 (java) S 32033 32036 28437 0 -1 1077944384 18707 12605 0 0 519 3 8 4 20 0 20 0 11987889 11194331136 800001 33554432000 4194304 4196468 140723085796384 139812777147120 139813442009730 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16363520 140723085802177 140723085804951 140723085804951 140723085807567 0
[pid=32036/tid=32106] ppid=32033 vsize=10931964 CPUtime=4.57 cores=1,3,5,7,9,11,13,15
/proc/32036/task/32106/stat : 32106 (java) S 32033 32036 28437 0 -1 1077944384 20208 12605 0 0 441 4 8 4 20 0 20 0 11987889 11194331136 800001 33554432000 4194304 4196468 140723085796384 139812776094320 139813442009730 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 16363520 140723085802177 140723085804951 140723085804951 140723085807567 0
[pid=32036/tid=32107] ppid=32033 vsize=10931964 CPUtime=2.26 cores=1,3,5,7,9,11,13,15
/proc/32036/task/32107/stat : 32107 (java) S 32033 32036 28437 0 -1 1077944384 17375 12605 0 0 210 4 8 4 20 0 20 0 11987889 11194331136 800001 33554432000 4194304 4196468 140723085796384 139812775041520 139813442009730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16363520 140723085802177 140723085804951 140723085804951 140723085807567 0
[pid=32036/tid=32108] ppid=32033 vsize=10931964 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/32036/task/32108/stat : 32108 (java) S 32033 32036 28437 0 -1 1077944384 3 12605 0 0 0 0 8 4 20 0 20 0 11987889 11194331136 800001 33554432000 4194304 4196468 140723085796384 139812773988960 139813442008789 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 16363520 140723085802177 140723085804951 140723085804951 140723085807567 0
[pid=32036/tid=32109] ppid=32033 vsize=10931964 CPUtime=1.36 cores=1,3,5,7,9,11,13,15
/proc/32036/task/32109/stat : 32109 (java) S 32033 32036 28437 0 -1 1077944384 1294 12605 0 0 59 65 8 4 20 0 20 0 11987889 11194331136 800001 33554432000 4194304 4196468 140723085796384 139812772936240 139813442009730 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 16 0 0 6293624 6294260 16363520 140723085802177 140723085804951 140723085804951 140723085807567 0
Current children cumulated CPU time (s) 2400.04
Current children cumulated vsize (KiB) 10931964
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 32036 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2342.8 s]
/proc/loadavg: 1.82 1.78 1.81 3/281 32485
/proc/meminfo: memFree=27050364/32770624 swapFree=6300/333384
[pid=32036] ppid=32033 vsize=11065092 CPUtime=2401.23 cores=1,3,5,7,9,11,13,15
/proc/32036/stat : 32036 (java) S 32033 32036 28437 0 -1 1077944320 380490 12605 0 0 239321 790 8 4 20 0 22 0 11987867 11330654208 795701 33554432000 4194304 4196468 140723085796384 140723085778928 139813441998583 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 16363520 140723085802177 140723085804951 140723085804951 140723085807567 0
/proc/32036/statm: 2766273 795701 3516 1 0 2753828 0
[pid=32036/tid=32091] ppid=32033 vsize=11065092 CPUtime=2333.6 cores=1,3,5,7,9,11,13,15
/proc/32036/task/32091/stat : 32091 (java) S 32033 32036 28437 0 -1 1077944384 182042 12605 0 0 233266 82 8 4 20 0 22 0 11987880 11330654208 795701 33554432000 4194304 4196468 140723085796384 139813446236368 139813442008789 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 19 0 0 6293624 6294260 16363520 140723085802177 140723085804951 140723085804951 140723085807567 0
[pid=32036/tid=32092] ppid=32033 vsize=11065092 CPUtime=6.24 cores=1,3,5,7,9,11,13,15
/proc/32036/task/32092/stat : 32092 (java) S 32033 32036 28437 0 -1 1077944384 11490 12605 0 0 533 79 8 4 20 0 22 0 11987881 11330654208 795701 33554432000 4194304 4196468 140723085796384 139813400758928 139813442008789 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 16363520 140723085802177 140723085804951 140723085804951 140723085807567 0
[pid=32036/tid=32093] ppid=32033 vsize=11065092 CPUtime=6.36 cores=1,3,5,7,9,11,13,15
/proc/32036/task/32093/stat : 32093 (java) S 32033 32036 28437 0 -1 1077944384 8807 12605 0 0 548 76 8 4 20 0 22 0 11987881 11330654208 795701 33554432000 4194304 4196468 140723085796384 139813047839248 139813442008789 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 16363520 140723085802177 140723085804951 140723085804951 140723085807567 0
[pid=32036/tid=32094] ppid=32033 vsize=11065092 CPUtime=6.15 cores=1,3,5,7,9,11,13,15
/proc/32036/task/32094/stat : 32094 (java) S 32033 32036 28437 0 -1 1077944384 13299 12605 0 0 525 78 8 4 20 0 22 0 11987881 11330654208 795701 33554432000 4194304 4196468 140723085796384 139813046786448 139813442008789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16363520 140723085802177 140723085804951 140723085804951 140723085807567 0
[pid=32036/tid=32095] ppid=32033 vsize=11065092 CPUtime=6.17 cores=1,3,5,7,9,11,13,15
/proc/32036/task/32095/stat : 32095 (java) S 32033 32036 28437 0 -1 1077944384 12154 12605 0 0 524 81 8 4 20 0 22 0 11987881 11330654208 795701 33554432000 4194304 4196468 140723085796384 139813045733648 139813442008789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16363520 140723085802177 140723085804951 140723085804951 140723085807567 0
[pid=32036/tid=32096] ppid=32033 vsize=11065092 CPUtime=6.17 cores=1,3,5,7,9,11,13,15
/proc/32036/task/32096/stat : 32096 (java) S 32033 32036 28437 0 -1 1077944384 15282 12605 0 0 526 79 8 4 20 0 22 0 11987881 11330654208 795701 33554432000 4194304 4196468 140723085796384 139813044681872 139813442008789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16363520 140723085802177 140723085804951 140723085804951 140723085807567 0
[pid=32036/tid=32097] ppid=32033 vsize=11065092 CPUtime=6.3 cores=1,3,5,7,9,11,13,15
/proc/32036/task/32097/stat : 32097 (java) S 32033 32036 28437 0 -1 1077944384 9814 12605 0 0 538 80 8 4 20 0 22 0 11987881 11330654208 795701 33554432000 4194304 4196468 140723085796384 139813043629072 139813442008789 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 16363520 140723085802177 140723085804951 140723085804951 140723085807567 0
[pid=32036/tid=32098] ppid=32033 vsize=11065092 CPUtime=6.19 cores=1,3,5,7,9,11,13,15
/proc/32036/task/32098/stat : 32098 (java) S 32033 32036 28437 0 -1 1077944384 4319 12605 0 0 529 78 8 4 20 0 22 0 11987881 11330654208 795701 33554432000 4194304 4196468 140723085796384 139813042576272 139813442008789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16363520 140723085802177 140723085804951 140723085804951 140723085807567 0
[pid=32036/tid=32099] ppid=32033 vsize=11065092 CPUtime=6.21 cores=1,3,5,7,9,11,13,15
/proc/32036/task/32099/stat : 32099 (java) S 32033 32036 28437 0 -1 1077944384 12771 12605 0 0 531 78 8 4 20 0 22 0 11987881 11330654208 795701 33554432000 4194304 4196468 140723085796384 139813041523472 139813442008789 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 16363520 140723085802177 140723085804951 140723085804951 140723085807567 0
[pid=32036/tid=32100] ppid=32033 vsize=11065092 CPUtime=1.07 cores=1,3,5,7,9,11,13,15
/proc/32036/task/32100/stat : 32100 (java) R 32033 32036 28437 0 -1 4202560 35047 12605 0 0 79 16 8 4 20 0 22 0 11987883 11330654208 795701 33554432000 4194304 4196468 140723085796384 139812782408496 139813427004462 0 0 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16363520 140723085802177 140723085804951 140723085804951 140723085807567 0
[pid=32036/tid=32101] ppid=32033 vsize=11065092 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/32036/task/32101/stat : 32101 (java) S 32033 32036 28437 0 -1 1077944384 56 12605 0 0 0 0 8 4 20 0 22 0 11987884 11330654208 795701 33554432000 4194304 4196468 140723085796384 139812781356032 139813442008789 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 16363520 140723085802177 140723085804951 140723085804951 140723085807567 0
[pid=32036/tid=32102] ppid=32033 vsize=11065092 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/32036/task/32102/stat : 32102 (java) S 32033 32036 28437 0 -1 1077944384 45 12605 0 0 1 0 8 4 20 0 22 0 11987884 11330654208 795701 33554432000 4194304 4196468 140723085796384 139812780303232 139813442008789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16363520 140723085802177 140723085804951 140723085804951 140723085807567 0
[pid=32036/tid=32103] ppid=32033 vsize=11065092 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/32036/task/32103/stat : 32103 (java) S 32033 32036 28437 0 -1 1077944384 118 12605 0 0 0 0 8 4 20 0 22 0 11987889 11330654208 795701 33554432000 4194304 4196468 140723085796384 139812779251536 139813442017179 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 16363520 140723085802177 140723085804951 140723085804951 140723085807567 0
[pid=32036/tid=32104] ppid=32033 vsize=11065092 CPUtime=4.77 cores=1,3,5,7,9,11,13,15
/proc/32036/task/32104/stat : 32104 (java) S 32033 32036 28437 0 -1 1077944384 15406 12605 0 0 462 3 8 4 20 0 22 0 11987889 11330654208 795701 33554432000 4194304 4196468 140723085796384 139812778199920 139813442009730 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16363520 140723085802177 140723085804951 140723085804951 140723085807567 0
[pid=32036/tid=32105] ppid=32033 vsize=11065092 CPUtime=5.34 cores=1,3,5,7,9,11,13,15
/proc/32036/task/32105/stat : 32105 (java) S 32033 32036 28437 0 -1 1077944384 18707 12605 0 0 519 3 8 4 20 0 22 0 11987889 11330654208 795701 33554432000 4194304 4196468 140723085796384 139812777147120 139813442009730 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16363520 140723085802177 140723085804951 140723085804951 140723085807567 0
[pid=32036/tid=32106] ppid=32033 vsize=11065092 CPUtime=4.57 cores=1,3,5,7,9,11,13,15
/proc/32036/task/32106/stat : 32106 (java) S 32033 32036 28437 0 -1 1077944384 20208 12605 0 0 441 4 8 4 20 0 22 0 11987889 11330654208 795701 33554432000 4194304 4196468 140723085796384 139812776094320 139813442009730 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 16363520 140723085802177 140723085804951 140723085804951 140723085807567 0
[pid=32036/tid=32107] ppid=32033 vsize=11065092 CPUtime=2.26 cores=1,3,5,7,9,11,13,15
/proc/32036/task/32107/stat : 32107 (java) S 32033 32036 28437 0 -1 1077944384 17375 12605 0 0 210 4 8 4 20 0 22 0 11987889 11330654208 795701 33554432000 4194304 4196468 140723085796384 139812775041520 139813442009730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16363520 140723085802177 140723085804951 140723085804951 140723085807567 0
[pid=32036/tid=32108] ppid=32033 vsize=11065092 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/32036/task/32108/stat : 32108 (java) S 32033 32036 28437 0 -1 1077944384 3 12605 0 0 0 0 8 4 20 0 22 0 11987889 11330654208 795701 33554432000 4194304 4196468 140723085796384 139812773988960 139813442008789 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 16363520 140723085802177 140723085804951 140723085804951 140723085807567 0
[pid=32036/tid=32109] ppid=32033 vsize=11065092 CPUtime=1.36 cores=1,3,5,7,9,11,13,15
/proc/32036/task/32109/stat : 32109 (java) S 32033 32036 28437 0 -1 1077944384 1294 12605 0 0 59 65 8 4 20 0 22 0 11987889 11330654208 795701 33554432000 4194304 4196468 140723085796384 139812772936240 139813442009730 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 16 0 0 6293624 6294260 16363520 140723085802177 140723085804951 140723085804951 140723085807567 0
Current children cumulated CPU time (s) 2401.23
Current children cumulated vsize (KiB) 11065092
[startup+2343 s]
/proc/loadavg: 1.82 1.78 1.81 10/283 32487
/proc/meminfo: memFree=27090756/32770624 swapFree=6300/333384
[pid=32036] ppid=32033 vsize=11065092 CPUtime=2402.57 cores=1,3,5,7,9,11,13,15
/proc/32036/stat : 32036 (java) S 32033 32036 28437 0 -1 1077944320 380498 12605 0 0 239455 790 8 4 20 0 22 0 11987867 11330654208 789673 33554432000 4194304 4196468 140723085796384 140723085778928 139813441998583 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 16363520 140723085802177 140723085804951 140723085804951 140723085807567 0
/proc/32036/statm: 2766273 789673 3516 1 0 2753828 0
[pid=32036/tid=32091] ppid=32033 vsize=11065092 CPUtime=2333.6 cores=1,3,5,7,9,11,13,15
/proc/32036/task/32091/stat : 32091 (java) S 32033 32036 28437 0 -1 1077944384 182043 12605 0 0 233266 82 8 4 20 0 22 0 11987880 11330654208 789673 33554432000 4194304 4196468 140723085796384 139813446236368 139813442008789 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 19 0 0 6293624 6294260 16363520 140723085802177 140723085804951 140723085804951 140723085807567 0
[pid=32036/tid=32092] ppid=32033 vsize=11065092 CPUtime=6.4 cores=1,3,5,7,9,11,13,15
/proc/32036/task/32092/stat : 32092 (java) R 32033 32036 28437 0 -1 4202560 11490 12605 0 0 549 79 8 4 20 0 22 0 11987881 11330654208 789673 33554432000 4194304 4196468 140723085796384 139813400759048 139813434626791 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 16363520 140723085802177 140723085804951 140723085804951 140723085807567 0
[pid=32036/tid=32093] ppid=32033 vsize=11065092 CPUtime=6.52 cores=1,3,5,7,9,11,13,15
/proc/32036/task/32093/stat : 32093 (java) R 32033 32036 28437 0 -1 4202560 8807 12605 0 0 564 76 8 4 20 0 22 0 11987881 11330654208 789673 33554432000 4194304 4196468 140723085796384 139813047839448 139813426994939 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16363520 140723085802177 140723085804951 140723085804951 140723085807567 0
[pid=32036/tid=32094] ppid=32033 vsize=11065092 CPUtime=6.33 cores=1,3,5,7,9,11,13,15
/proc/32036/task/32094/stat : 32094 (java) R 32033 32036 28437 0 -1 4202560 13300 12605 0 0 542 79 8 4 20 0 22 0 11987881 11330654208 789673 33554432000 4194304 4196468 140723085796384 139813046786568 139813434626791 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16363520 140723085802177 140723085804951 140723085804951 140723085807567 0
[pid=32036/tid=32095] ppid=32033 vsize=11065092 CPUtime=6.33 cores=1,3,5,7,9,11,13,15
/proc/32036/task/32095/stat : 32095 (java) R 32033 32036 28437 0 -1 4202560 12154 12605 0 0 540 81 8 4 20 0 22 0 11987881 11330654208 789673 33554432000 4194304 4196468 140723085796384 139813045733768 139813434626791 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 16363520 140723085802177 140723085804951 140723085804951 140723085807567 0
[pid=32036/tid=32096] ppid=32033 vsize=11065092 CPUtime=6.34 cores=1,3,5,7,9,11,13,15
/proc/32036/task/32096/stat : 32096 (java) R 32033 32036 28437 0 -1 4202560 15285 12605 0 0 543 79 8 4 20 0 22 0 11987881 11330654208 789673 33554432000 4194304 4196468 140723085796384 139813044681992 139813434626791 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16363520 140723085802177 140723085804951 140723085804951 140723085807567 0
[pid=32036/tid=32097] ppid=32033 vsize=11065092 CPUtime=6.46 cores=1,3,5,7,9,11,13,15
/proc/32036/task/32097/stat : 32097 (java) R 32033 32036 28437 0 -1 4202560 9815 12605 0 0 554 80 8 4 20 0 22 0 11987881 11330654208 789673 33554432000 4194304 4196468 140723085796384 139813043629192 139813434626791 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 16363520 140723085802177 140723085804951 140723085804951 140723085807567 0
[pid=32036/tid=32098] ppid=32033 vsize=11065092 CPUtime=6.36 cores=1,3,5,7,9,11,13,15
/proc/32036/task/32098/stat : 32098 (java) R 32033 32036 28437 0 -1 4202560 4319 12605 0 0 546 78 8 4 20 0 22 0 11987881 11330654208 789673 33554432000 4194304 4196468 140723085796384 139813042576392 139813434626791 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 16363520 140723085802177 140723085804951 140723085804951 140723085807567 0
[pid=32036/tid=32099] ppid=32033 vsize=11065092 CPUtime=6.37 cores=1,3,5,7,9,11,13,15
/proc/32036/task/32099/stat : 32099 (java) R 32033 32036 28437 0 -1 4202560 12771 12605 0 0 547 78 8 4 20 0 22 0 11987881 11330654208 789673 33554432000 4194304 4196468 140723085796384 139813041523592 139813425381618 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 16363520 140723085802177 140723085804951 140723085804951 140723085807567 0
[pid=32036/tid=32100] ppid=32033 vsize=11065092 CPUtime=1.1 cores=1,3,5,7,9,11,13,15
/proc/32036/task/32100/stat : 32100 (java) S 32033 32036 28437 0 -1 1077944384 35047 12605 0 0 82 16 8 4 20 0 22 0 11987883 11330654208 789673 33554432000 4194304 4196468 140723085796384 139812782408720 139813442008789 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16363520 140723085802177 140723085804951 140723085804951 140723085807567 0
[pid=32036/tid=32101] ppid=32033 vsize=11065092 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/32036/task/32101/stat : 32101 (java) S 32033 32036 28437 0 -1 1077944384 57 12605 0 0 0 0 8 4 20 0 22 0 11987884 11330654208 789673 33554432000 4194304 4196468 140723085796384 139812781355632 139813442008789 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 16363520 140723085802177 140723085804951 140723085804951 140723085807567 0
[pid=32036/tid=32102] ppid=32033 vsize=11065092 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/32036/task/32102/stat : 32102 (java) S 32033 32036 28437 0 -1 1077944384 45 12605 0 0 1 0 8 4 20 0 22 0 11987884 11330654208 789673 33554432000 4194304 4196468 140723085796384 139812780303232 139813442008789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16363520 140723085802177 140723085804951 140723085804951 140723085807567 0
[pid=32036/tid=32103] ppid=32033 vsize=11065092 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/32036/task/32103/stat : 32103 (java) S 32033 32036 28437 0 -1 1077944384 118 12605 0 0 0 0 8 4 20 0 22 0 11987889 11330654208 789673 33554432000 4194304 4196468 140723085796384 139812779251536 139813442017179 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 16363520 140723085802177 140723085804951 140723085804951 140723085807567 0
[pid=32036/tid=32104] ppid=32033 vsize=11065092 CPUtime=4.77 cores=1,3,5,7,9,11,13,15
/proc/32036/task/32104/stat : 32104 (java) S 32033 32036 28437 0 -1 1077944384 15406 12605 0 0 462 3 8 4 20 0 22 0 11987889 11330654208 789673 33554432000 4194304 4196468 140723085796384 139812778199920 139813442009730 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16363520 140723085802177 140723085804951 140723085804951 140723085807567 0
[pid=32036/tid=32105] ppid=32033 vsize=11065092 CPUtime=5.34 cores=1,3,5,7,9,11,13,15
/proc/32036/task/32105/stat : 32105 (java) S 32033 32036 28437 0 -1 1077944384 18707 12605 0 0 519 3 8 4 20 0 22 0 11987889 11330654208 789673 33554432000 4194304 4196468 140723085796384 139812777147120 139813442009730 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16363520 140723085802177 140723085804951 140723085804951 140723085807567 0
[pid=32036/tid=32106] ppid=32033 vsize=11065092 CPUtime=4.57 cores=1,3,5,7,9,11,13,15
/proc/32036/task/32106/stat : 32106 (java) S 32033 32036 28437 0 -1 1077944384 20208 12605 0 0 441 4 8 4 20 0 22 0 11987889 11330654208 789673 33554432000 4194304 4196468 140723085796384 139812776094320 139813442009730 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 16363520 140723085802177 140723085804951 140723085804951 140723085807567 0
[pid=32036/tid=32107] ppid=32033 vsize=11065092 CPUtime=2.26 cores=1,3,5,7,9,11,13,15
/proc/32036/task/32107/stat : 32107 (java) S 32033 32036 28437 0 -1 1077944384 17375 12605 0 0 210 4 8 4 20 0 22 0 11987889 11330654208 789673 33554432000 4194304 4196468 140723085796384 139812775041520 139813442009730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16363520 140723085802177 140723085804951 140723085804951 140723085807567 0
[pid=32036/tid=32108] ppid=32033 vsize=11065092 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/32036/task/32108/stat : 32108 (java) S 32033 32036 28437 0 -1 1077944384 3 12605 0 0 0 0 8 4 20 0 22 0 11987889 11330654208 789673 33554432000 4194304 4196468 140723085796384 139812773988960 139813442008789 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 16363520 140723085802177 140723085804951 140723085804951 140723085807567 0
[pid=32036/tid=32109] ppid=32033 vsize=11065092 CPUtime=1.36 cores=1,3,5,7,9,11,13,15
/proc/32036/task/32109/stat : 32109 (java) S 32033 32036 28437 0 -1 1077944384 1294 12605 0 0 59 65 8 4 20 0 22 0 11987889 11330654208 789673 33554432000 4194304 4196468 140723085796384 139812772936240 139813442009730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 16 0 0 6293624 6294260 16363520 140723085802177 140723085804951 140723085804951 140723085807567 0
[pid=32036/tid=32486] ppid=32033 vsize=11065092 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/32036/task/32486/stat : 32486 (java) S 32033 32036 28437 0 -1 1077944384 98 12605 0 0 0 0 8 4 20 0 22 0 12222128 11330654208 789673 33554432000 4194304 4196468 140723085796384 139812741271664 139813442008789 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 16363520 140723085802177 140723085804951 140723085804951 140723085807567 0
[pid=32036/tid=32487] ppid=32033 vsize=11065092 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/32036/task/32487/stat : 32487 (java) S 32033 32036 28437 0 -1 1077944384 25 12605 0 0 0 0 8 4 20 0 22 0 12222128 11330654208 789673 33554432000 4194304 4196468 140723085796384 139812740219584 139813442008789 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 16363520 140723085802177 140723085804951 140723085804951 140723085807567 0
Current children cumulated CPU time (s) 2402.57
Current children cumulated vsize (KiB) 11065092
[startup+2343.11 s]
/proc/loadavg: 1.82 1.78 1.81 10/283 32487
/proc/meminfo: memFree=27090756/32770624 swapFree=6300/333384
[pid=32036] ppid=32033 vsize=0 CPUtime=2403.16 cores=1,3,5,7,9,11,13,15
/proc/32036/stat : 32036 (java) Z 32033 32036 28437 0 -1 4228108 380594 12605 0 0 239513 791 8 4 20 0 2 0 11987867 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 0 0 0 0 0 0 0 0
/proc/32036/statm: 0 0 0 0 0 0 0
[pid=32036/tid=32097] ppid=32033 vsize=0 CPUtime=6.53 cores=1,3,5,7,9,11,13,15
/proc/32036/task/32097/stat : 32097 (java) R 32033 32036 28437 0 -1 4203588 9819 12605 0 0 561 80 8 4 20 0 2 0 11987881 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) 2403.16
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 2343.13
CPU time (s): 2403.19
CPU user time (s): 2395.22
CPU system time (s): 7.9712
CPU usage (%): 102.563
Max. virtual memory (cumulated for all children) (KiB): 11065092
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2395.22
system time used= 7.9712
maximum resident set size= 3219504
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 393199
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2784
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 86935
involuntary context switches= 126601
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.023 second user time and 19.9413 second system time
The end