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-4245492-1500704056/watcher-4245492-1500704056 -o /tmp/evaluation-result-4245492-1500704056/solver-4245492-1500704056 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node128-1500683681-7986 --watchdog 2560 bin/concrete HOME/instance-4245492-1500704056.xml
pid=12934
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.52 2.55 2.58 3/262 12937
/proc/meminfo: memFree=29419984/32770624 swapFree=5800/290808
[pid=12937] ppid=12934 vsize=9508 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12937/stat : 12937 (bash) S 12934 12937 7954 0 -1 4202496 685 1533 0 0 0 0 0 0 20 0 1 0 5673095 9736192 350 33554432000 4194304 5098028 140728679136592 140728679134232 140612597312512 0 0 4100 65536 18446744071580971376 0 0 17 11 0 0 0 0 0 7196144 7232144 12738560 140728679142670 140728679142755 140728679142755 140728679145454 0
/proc/12937/statm: 2377 350 277 221 0 86 0
[startup+0.100124 s]
/proc/loadavg: 1.52 2.55 2.58 3/262 12937
/proc/meminfo: memFree=29419984/32770624 swapFree=5800/290808
[pid=12937] ppid=12934 vsize=9640 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/12937/stat : 12937 (bash) S 12934 12937 7954 0 -1 4202496 879 6421 0 0 0 0 0 1 20 0 1 0 5673095 9871360 378 33554432000 4194304 5098028 140728679136592 140728679130600 140612597312512 0 0 4100 65536 18446744071580971376 0 0 17 11 0 0 0 0 0 7196144 7232144 12738560 140728679142670 140728679142755 140728679142755 140728679145454 0
/proc/12937/statm: 2410 378 296 221 0 119 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9640
[startup+0.200389 s]
/proc/loadavg: 1.52 2.55 2.58 3/262 12937
/proc/meminfo: memFree=29419984/32770624 swapFree=5800/290808
[pid=12937] ppid=12934 vsize=10435860 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/12937/stat : 12937 (java) S 12934 12937 7954 0 -1 1077944320 4837 12297 0 0 6 1 8 4 20 0 13 0 5673095 10686320640 5177 33554432000 4194304 4196468 140736339124784 140736339107328 140260463468279 0 0 0 16800971 18446744073709551615 0 0 17 15 0 0 0 0 0 6293624 6294260 32112640 140736339131073 140736339133847 140736339133847 140736339136463 0
/proc/12937/statm: 2608965 5177 2138 1 0 2597403 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 10435860
[startup+0.30036 s]
/proc/loadavg: 1.52 2.55 2.58 3/262 12937
/proc/meminfo: memFree=29419984/32770624 swapFree=5800/290808
[pid=12937] ppid=12934 vsize=10902392 CPUtime=0.36 cores=1,3,5,7,9,11,13,15
/proc/12937/stat : 12937 (java) S 12934 12937 7954 0 -1 1077944320 6811 12297 0 0 23 1 8 4 20 0 20 0 5673095 11164049408 8621 33554432000 4194304 4196468 140736339124784 140736339107328 140260463468279 0 0 0 16800975 18446744073709551615 0 0 17 15 0 0 0 0 0 6293624 6294260 32112640 140736339131073 140736339133847 140736339133847 140736339136463 0
/proc/12937/statm: 2725598 8621 2990 1 0 2713890 0
Current children cumulated CPU time (s) 0.36
Current children cumulated vsize (KiB) 10902392
[startup+0.700236 s]
/proc/loadavg: 1.52 2.55 2.58 3/262 12937
/proc/meminfo: memFree=29419984/32770624 swapFree=5800/290808
[pid=12937] ppid=12934 vsize=10902720 CPUtime=0.91 cores=1,3,5,7,9,11,13,15
/proc/12937/stat : 12937 (java) S 12934 12937 7954 0 -1 1077944320 12299 12297 0 0 76 3 8 4 20 0 20 0 5673095 11164385280 15615 33554432000 4194304 4196468 140736339124784 140736339107328 140260463468279 0 0 0 16800975 18446744073709551615 0 0 17 15 0 0 0 0 0 6293624 6294260 32112640 140736339131073 140736339133847 140736339133847 140736339136463 0
/proc/12937/statm: 2725680 15615 3187 1 0 2713890 0
Current children cumulated CPU time (s) 0.91
Current children cumulated vsize (KiB) 10902720
[startup+1.50118 s]
/proc/loadavg: 1.48 2.52 2.57 3/282 13010
/proc/meminfo: memFree=29316596/32770624 swapFree=5800/290824
[pid=12937] ppid=12934 vsize=10913344 CPUtime=2.3 cores=1,3,5,7,9,11,13,15
/proc/12937/stat : 12937 (java) S 12934 12937 7954 0 -1 1077944320 27438 12297 0 0 205 13 8 4 20 0 20 0 5673095 11175264256 44071 33554432000 4194304 4196468 140736339124784 140736339107328 140260463468279 0 0 0 16800975 18446744073709551615 0 0 17 15 0 0 0 0 0 6293624 6294260 32112640 140736339131073 140736339133847 140736339133847 140736339136463 0
/proc/12937/statm: 2728336 44071 3410 1 0 2716450 0
[pid=12937/tid=12992] ppid=12934 vsize=10913344 CPUtime=1.42 cores=1,3,5,7,9,11,13,15
/proc/12937/task/12992/stat : 12992 (java) R 12934 12937 7954 0 -1 4202560 19294 12297 0 0 125 5 8 4 20 0 20 0 5673108 11175264256 44071 33554432000 4194304 4196468 140736339124784 140260467696640 140260463480214 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 32112640 140736339131073 140736339133847 140736339133847 140736339136463 0
[pid=12937/tid=12993] ppid=12934 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/12937/task/12993/stat : 12993 (java) S 12934 12937 7954 0 -1 1077944384 24 12297 0 0 0 0 8 4 20 0 20 0 5673109 11175264256 44071 33554432000 4194304 4196468 140736339124784 140260416089104 140260463478485 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 32112640 140736339131073 140736339133847 140736339133847 140736339136463 0
[pid=12937/tid=12994] ppid=12934 vsize=10913344 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/12937/task/12994/stat : 12994 (java) S 12934 12937 7954 0 -1 1077944384 29 12297 0 0 1 0 8 4 20 0 20 0 5673109 11175264256 44071 33554432000 4194304 4196468 140736339124784 140260415036560 140260463478485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32112640 140736339131073 140736339133847 140736339133847 140736339136463 0
[pid=12937/tid=12995] ppid=12934 vsize=10913344 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/12937/task/12995/stat : 12995 (java) S 12934 12937 7954 0 -1 1077944384 145 12297 0 0 1 0 8 4 20 0 20 0 5673109 11175264256 44071 33554432000 4194304 4196468 140736339124784 140260413983504 140260463478485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32112640 140736339131073 140736339133847 140736339133847 140736339136463 0
[pid=12937/tid=12996] ppid=12934 vsize=10913344 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/12937/task/12996/stat : 12996 (java) S 12934 12937 7954 0 -1 1077944384 16 12297 0 0 1 0 8 4 20 0 20 0 5673109 11175264256 44071 33554432000 4194304 4196468 140736339124784 140260412930960 140260463478485 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 32112640 140736339131073 140736339133847 140736339133847 140736339136463 0
[pid=12937/tid=12997] ppid=12934 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/12937/task/12997/stat : 12997 (java) S 12934 12937 7954 0 -1 1077944384 13 12297 0 0 0 0 8 4 20 0 20 0 5673109 11175264256 44071 33554432000 4194304 4196468 140736339124784 140260066122256 140260463478485 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 32112640 140736339131073 140736339133847 140736339133847 140736339136463 0
[pid=12937/tid=12998] ppid=12934 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/12937/task/12998/stat : 12998 (java) S 12934 12937 7954 0 -1 1077944384 16 12297 0 0 0 0 8 4 20 0 20 0 5673109 11175264256 44071 33554432000 4194304 4196468 140736339124784 140260065069712 140260463478485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32112640 140736339131073 140736339133847 140736339133847 140736339136463 0
[pid=12937/tid=12999] ppid=12934 vsize=10913344 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/12937/task/12999/stat : 12999 (java) S 12934 12937 7954 0 -1 1077944384 47 12297 0 0 1 0 8 4 20 0 20 0 5673109 11175264256 44071 33554432000 4194304 4196468 140736339124784 140260064016656 140260463478485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32112640 140736339131073 140736339133847 140736339133847 140736339136463 0
[pid=12937/tid=13000] ppid=12934 vsize=10913344 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/12937/task/13000/stat : 13000 (java) S 12934 12937 7954 0 -1 1077944384 31 12297 0 0 1 0 8 4 20 0 20 0 5673109 11175264256 44071 33554432000 4194304 4196468 140736339124784 140260062964112 140260463478485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32112640 140736339131073 140736339133847 140736339133847 140736339136463 0
[pid=12937/tid=13001] ppid=12934 vsize=10913344 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/12937/task/13001/stat : 13001 (java) S 12934 12937 7954 0 -1 1077944384 1563 12297 0 0 1 0 8 4 20 0 20 0 5673112 11175264256 44071 33554432000 4194304 4196468 140736339124784 140259937463024 140260463479426 0 0 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 32112640 140736339131073 140736339133847 140736339133847 140736339136463 0
[pid=12937/tid=13002] ppid=12934 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/12937/task/13002/stat : 13002 (java) S 12934 12937 7954 0 -1 1077944384 55 12297 0 0 0 0 8 4 20 0 20 0 5673112 11175264256 44071 33554432000 4194304 4196468 140736339124784 140259936409312 140260463478485 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 32112640 140736339131073 140736339133847 140736339133847 140736339136463 0
[pid=12937/tid=13003] ppid=12934 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/12937/task/13003/stat : 13003 (java) S 12934 12937 7954 0 -1 1077944384 43 12297 0 0 0 0 8 4 20 0 20 0 5673113 11175264256 44071 33554432000 4194304 4196468 140736339124784 140259935356160 140260463478485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32112640 140736339131073 140736339133847 140736339133847 140736339136463 0
[pid=12937/tid=13004] ppid=12934 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/12937/task/13004/stat : 13004 (java) S 12934 12937 7954 0 -1 1077944384 1 12297 0 0 0 0 8 4 20 0 20 0 5673117 11175264256 44071 33554432000 4194304 4196468 140736339124784 140259934304720 140260463486875 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 32112640 140736339131073 140736339133847 140736339133847 140736339136463 0
[pid=12937/tid=13005] ppid=12934 vsize=10913344 CPUtime=0.25 cores=1,3,5,7,9,11,13,15
/proc/12937/task/13005/stat : 13005 (java) S 12934 12937 7954 0 -1 1077944384 1067 12297 0 0 13 0 8 4 20 0 20 0 5673117 11175264256 44071 33554432000 4194304 4196468 140736339124784 140259933251824 140260463479426 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 32112640 140736339131073 140736339133847 140736339133847 140736339136463 0
[pid=12937/tid=13006] ppid=12934 vsize=10913344 CPUtime=0.25 cores=1,3,5,7,9,11,13,15
/proc/12937/task/13006/stat : 13006 (java) S 12934 12937 7954 0 -1 1077944384 624 12297 0 0 13 0 8 4 20 0 20 0 5673117 11175264256 44071 33554432000 4194304 4196468 140736339124784 140259932199280 140260463479426 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32112640 140736339131073 140736339133847 140736339133847 140736339136463 0
[pid=12937/tid=13007] ppid=12934 vsize=10913344 CPUtime=0.25 cores=1,3,5,7,9,11,13,15
/proc/12937/task/13007/stat : 13007 (java) R 12934 12937 7954 0 -1 4202560 1067 12297 0 0 13 0 8 4 20 0 20 0 5673117 11175264256 44071 33554432000 4194304 4196468 140736339124784 140259931128080 140260441634760 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 32112640 140736339131073 140736339133847 140736339133847 140736339136463 0
[pid=12937/tid=13008] ppid=12934 vsize=10913344 CPUtime=0.39 cores=1,3,5,7,9,11,13,15
/proc/12937/task/13008/stat : 13008 (java) R 12934 12937 7954 0 -1 4202560 1271 12297 0 0 27 0 8 4 20 0 20 0 5673117 11175264256 44071 33554432000 4194304 4196468 140736339124784 140259930093680 140260444878429 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 32112640 140736339131073 140736339133847 140736339133847 140736339136463 0
[pid=12937/tid=13009] ppid=12934 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/12937/task/13009/stat : 13009 (java) S 12934 12937 7954 0 -1 1077944384 3 12297 0 0 0 0 8 4 20 0 20 0 5673117 11175264256 44071 33554432000 4194304 4196468 140736339124784 140259929041888 140260463478485 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 32112640 140736339131073 140736339133847 140736339133847 140736339136463 0
[pid=12937/tid=13010] ppid=12934 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/12937/task/13010/stat : 13010 (java) S 12934 12937 7954 0 -1 1077944384 3 12297 0 0 0 0 8 4 20 0 20 0 5673118 11175264256 44071 33554432000 4194304 4196468 140736339124784 140259927989424 140260463479426 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 32112640 140736339131073 140736339133847 140736339133847 140736339136463 0
Current children cumulated CPU time (s) 2.3
Current children cumulated vsize (KiB) 10913344
[startup+3.10073 s]
/proc/loadavg: 1.48 2.52 2.57 6/282 13010
/proc/meminfo: memFree=29245224/32770624 swapFree=5800/290836
[pid=12937] ppid=12934 vsize=10927868 CPUtime=6.89 cores=1,3,5,7,9,11,13,15
/proc/12937/stat : 12937 (java) S 12934 12937 7954 0 -1 1077944320 45224 12297 0 0 658 19 8 4 20 0 20 0 5673095 11190136832 56509 33554432000 4194304 4196468 140736339124784 140736339107328 140260463468279 0 0 0 16800975 18446744073709551615 0 0 17 15 0 0 0 0 0 6293624 6294260 32112640 140736339131073 140736339133847 140736339133847 140736339136463 0
/proc/12937/statm: 2731967 56509 3475 1 0 2719522 0
[pid=12937/tid=12992] ppid=12934 vsize=10927868 CPUtime=3.02 cores=1,3,5,7,9,11,13,15
/proc/12937/task/12992/stat : 12992 (java) R 12934 12937 7954 0 -1 4202560 26559 12297 0 0 282 8 8 4 20 0 20 0 5673108 11190136832 56509 33554432000 4194304 4196468 140736339124784 140260467696464 140260092772705 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32112640 140736339131073 140736339133847 140736339133847 140736339136463 0
[pid=12937/tid=12993] ppid=12934 vsize=10927868 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/12937/task/12993/stat : 12993 (java) S 12934 12937 7954 0 -1 1077944384 24 12297 0 0 0 0 8 4 20 0 20 0 5673109 11190136832 56509 33554432000 4194304 4196468 140736339124784 140260416089104 140260463478485 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 32112640 140736339131073 140736339133847 140736339133847 140736339136463 0
[pid=12937/tid=12994] ppid=12934 vsize=10927868 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/12937/task/12994/stat : 12994 (java) S 12934 12937 7954 0 -1 1077944384 29 12297 0 0 1 0 8 4 20 0 20 0 5673109 11190136832 56509 33554432000 4194304 4196468 140736339124784 140260415036560 140260463478485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32112640 140736339131073 140736339133847 140736339133847 140736339136463 0
[pid=12937/tid=12995] ppid=12934 vsize=10927868 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/12937/task/12995/stat : 12995 (java) S 12934 12937 7954 0 -1 1077944384 145 12297 0 0 1 0 8 4 20 0 20 0 5673109 11190136832 56509 33554432000 4194304 4196468 140736339124784 140260413983504 140260463478485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32112640 140736339131073 140736339133847 140736339133847 140736339136463 0
[pid=12937/tid=12996] ppid=12934 vsize=10927868 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/12937/task/12996/stat : 12996 (java) S 12934 12937 7954 0 -1 1077944384 16 12297 0 0 1 0 8 4 20 0 20 0 5673109 11190136832 56509 33554432000 4194304 4196468 140736339124784 140260412930960 140260463478485 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 32112640 140736339131073 140736339133847 140736339133847 140736339136463 0
[pid=12937/tid=12997] ppid=12934 vsize=10927868 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/12937/task/12997/stat : 12997 (java) S 12934 12937 7954 0 -1 1077944384 13 12297 0 0 0 0 8 4 20 0 20 0 5673109 11190136832 56509 33554432000 4194304 4196468 140736339124784 140260066122256 140260463478485 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 32112640 140736339131073 140736339133847 140736339133847 140736339136463 0
[pid=12937/tid=12998] ppid=12934 vsize=10927868 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/12937/task/12998/stat : 12998 (java) S 12934 12937 7954 0 -1 1077944384 16 12297 0 0 0 0 8 4 20 0 20 0 5673109 11190136832 56509 33554432000 4194304 4196468 140736339124784 140260065069712 140260463478485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32112640 140736339131073 140736339133847 140736339133847 140736339136463 0
[pid=12937/tid=12999] ppid=12934 vsize=10927868 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/12937/task/12999/stat : 12999 (java) S 12934 12937 7954 0 -1 1077944384 47 12297 0 0 1 0 8 4 20 0 20 0 5673109 11190136832 56509 33554432000 4194304 4196468 140736339124784 140260064016656 140260463478485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32112640 140736339131073 140736339133847 140736339133847 140736339136463 0
[pid=12937/tid=13000] ppid=12934 vsize=10927868 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/12937/task/13000/stat : 13000 (java) S 12934 12937 7954 0 -1 1077944384 31 12297 0 0 1 0 8 4 20 0 20 0 5673109 11190136832 56509 33554432000 4194304 4196468 140736339124784 140260062964112 140260463478485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32112640 140736339131073 140736339133847 140736339133847 140736339136463 0
[pid=12937/tid=13001] ppid=12934 vsize=10927868 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/12937/task/13001/stat : 13001 (java) S 12934 12937 7954 0 -1 1077944384 1641 12297 0 0 1 0 8 4 20 0 20 0 5673112 11190136832 56509 33554432000 4194304 4196468 140736339124784 140259937463024 140260463479426 0 0 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 32112640 140736339131073 140736339133847 140736339133847 140736339136463 0
[pid=12937/tid=13002] ppid=12934 vsize=10927868 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/12937/task/13002/stat : 13002 (java) S 12934 12937 7954 0 -1 1077944384 55 12297 0 0 0 0 8 4 20 0 20 0 5673112 11190136832 56509 33554432000 4194304 4196468 140736339124784 140259936409312 140260463478485 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 32112640 140736339131073 140736339133847 140736339133847 140736339136463 0
[pid=12937/tid=13003] ppid=12934 vsize=10927868 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/12937/task/13003/stat : 13003 (java) S 12934 12937 7954 0 -1 1077944384 43 12297 0 0 0 0 8 4 20 0 20 0 5673113 11190136832 56509 33554432000 4194304 4196468 140736339124784 140259935356160 140260463478485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32112640 140736339131073 140736339133847 140736339133847 140736339136463 0
[pid=12937/tid=13004] ppid=12934 vsize=10927868 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/12937/task/13004/stat : 13004 (java) S 12934 12937 7954 0 -1 1077944384 1 12297 0 0 0 0 8 4 20 0 20 0 5673117 11190136832 56509 33554432000 4194304 4196468 140736339124784 140259934304720 140260463486875 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 32112640 140736339131073 140736339133847 140736339133847 140736339136463 0
[pid=12937/tid=13005] ppid=12934 vsize=10927868 CPUtime=0.8 cores=1,3,5,7,9,11,13,15
/proc/12937/task/13005/stat : 13005 (java) R 12934 12937 7954 0 -1 4202560 2567 12297 0 0 68 0 8 4 20 0 20 0 5673117 11190136832 56509 33554432000 4194304 4196468 140736339124784 140259933242656 140260444644324 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 32112640 140736339131073 140736339133847 140736339133847 140736339136463 0
[pid=12937/tid=13006] ppid=12934 vsize=10927868 CPUtime=1.2 cores=1,3,5,7,9,11,13,15
/proc/12937/task/13006/stat : 13006 (java) R 12934 12937 7954 0 -1 4202560 4273 12297 0 0 107 1 8 4 20 0 20 0 5673117 11190136832 56509 33554432000 4194304 4196468 140736339124784 140259932185376 140260445012816 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 32112640 140736339131073 140736339133847 140736339133847 140736339136463 0
[pid=12937/tid=13007] ppid=12934 vsize=10927868 CPUtime=0.82 cores=1,3,5,7,9,11,13,15
/proc/12937/task/13007/stat : 13007 (java) R 12934 12937 7954 0 -1 4202560 2420 12297 0 0 69 1 8 4 20 0 20 0 5673117 11190136832 56509 33554432000 4194304 4196468 140736339124784 140259931126424 140260463489626 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32112640 140736339131073 140736339133847 140736339133847 140736339136463 0
[pid=12937/tid=13008] ppid=12934 vsize=10927868 CPUtime=1.32 cores=1,3,5,7,9,11,13,15
/proc/12937/task/13008/stat : 13008 (java) R 12934 12937 7954 0 -1 4202560 5207 12297 0 0 119 1 8 4 20 0 20 0 5673117 11190136832 56509 33554432000 4194304 4196468 140736339124784 140259930093808 140260463489626 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 32112640 140736339131073 140736339133847 140736339133847 140736339136463 0
[pid=12937/tid=13009] ppid=12934 vsize=10927868 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/12937/task/13009/stat : 13009 (java) S 12934 12937 7954 0 -1 1077944384 3 12297 0 0 0 0 8 4 20 0 20 0 5673117 11190136832 56509 33554432000 4194304 4196468 140736339124784 140259929041888 140260463478485 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 32112640 140736339131073 140736339133847 140736339133847 140736339136463 0
[pid=12937/tid=13010] ppid=12934 vsize=10927868 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/12937/task/13010/stat : 13010 (java) S 12934 12937 7954 0 -1 1077944384 5 12297 0 0 0 0 8 4 20 0 20 0 5673118 11190136832 56509 33554432000 4194304 4196468 140736339124784 140259927989424 140260463479426 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32112640 140736339131073 140736339133847 140736339133847 140736339136463 0
Current children cumulated CPU time (s) 6.89
Current children cumulated vsize (KiB) 10927868
[startup+6.30084 s]
/proc/loadavg: 1.44 2.50 2.56 3/282 13010
/proc/meminfo: memFree=29099236/32770624 swapFree=5800/290836
[pid=12937] ppid=12934 vsize=10927868 CPUtime=13.94 cores=1,3,5,7,9,11,13,15
/proc/12937/stat : 12937 (java) S 12934 12937 7954 0 -1 1077944320 63347 12297 0 0 1352 30 8 4 20 0 20 0 5673095 11190136832 86700 33554432000 4194304 4196468 140736339124784 140736339107328 140260463468279 0 0 0 16800975 18446744073709551615 0 0 17 15 0 0 0 0 0 6293624 6294260 32112640 140736339131073 140736339133847 140736339133847 140736339136463 0
/proc/12937/statm: 2731967 86700 3484 1 0 2719522 0
[pid=12937/tid=12992] ppid=12934 vsize=10927868 CPUtime=5.76 cores=1,3,5,7,9,11,13,15
/proc/12937/task/12992/stat : 12992 (java) R 12934 12937 7954 0 -1 4202560 27668 12297 0 0 555 9 8 4 20 0 20 0 5673108 11190136832 86700 33554432000 4194304 4196468 140736339124784 140260467699416 140260107433344 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 32112640 140736339131073 140736339133847 140736339133847 140736339136463 0
[pid=12937/tid=12993] ppid=12934 vsize=10927868 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/12937/task/12993/stat : 12993 (java) S 12934 12937 7954 0 -1 1077944384 37 12297 0 0 2 1 8 4 20 0 20 0 5673109 11190136832 86700 33554432000 4194304 4196468 140736339124784 140260416089104 140260463478485 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 32112640 140736339131073 140736339133847 140736339133847 140736339136463 0
[pid=12937/tid=12994] ppid=12934 vsize=10927868 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/12937/task/12994/stat : 12994 (java) S 12934 12937 7954 0 -1 1077944384 46 12297 0 0 2 1 8 4 20 0 20 0 5673109 11190136832 86700 33554432000 4194304 4196468 140736339124784 140260415036560 140260463478485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32112640 140736339131073 140736339133847 140736339133847 140736339136463 0
[pid=12937/tid=12995] ppid=12934 vsize=10927868 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/12937/task/12995/stat : 12995 (java) S 12934 12937 7954 0 -1 1077944384 182 12297 0 0 2 1 8 4 20 0 20 0 5673109 11190136832 86700 33554432000 4194304 4196468 140736339124784 140260413983504 140260463478485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32112640 140736339131073 140736339133847 140736339133847 140736339136463 0
[pid=12937/tid=12996] ppid=12934 vsize=10927868 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/12937/task/12996/stat : 12996 (java) S 12934 12937 7954 0 -1 1077944384 42 12297 0 0 2 1 8 4 20 0 20 0 5673109 11190136832 86700 33554432000 4194304 4196468 140736339124784 140260412930960 140260463478485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32112640 140736339131073 140736339133847 140736339133847 140736339136463 0
[pid=12937/tid=12997] ppid=12934 vsize=10927868 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/12937/task/12997/stat : 12997 (java) S 12934 12937 7954 0 -1 1077944384 88 12297 0 0 2 1 8 4 20 0 20 0 5673109 11190136832 86700 33554432000 4194304 4196468 140736339124784 140260066122256 140260463478485 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 32112640 140736339131073 140736339133847 140736339133847 140736339136463 0
[pid=12937/tid=12998] ppid=12934 vsize=10927868 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/12937/task/12998/stat : 12998 (java) S 12934 12937 7954 0 -1 1077944384 490 12297 0 0 2 1 8 4 20 0 20 0 5673109 11190136832 86700 33554432000 4194304 4196468 140736339124784 140260065069712 140260463478485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32112640 140736339131073 140736339133847 140736339133847 140736339136463 0
[pid=12937/tid=12999] ppid=12934 vsize=10927868 CPUtime=0.16 cores=1,3,5,7,9,11,13,15
/proc/12937/task/12999/stat : 12999 (java) S 12934 12937 7954 0 -1 1077944384 160 12297 0 0 3 1 8 4 20 0 20 0 5673109 11190136832 86700 33554432000 4194304 4196468 140736339124784 140260064016656 140260463478485 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 32112640 140736339131073 140736339133847 140736339133847 140736339136463 0
[pid=12937/tid=13000] ppid=12934 vsize=10927868 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/12937/task/13000/stat : 13000 (java) S 12934 12937 7954 0 -1 1077944384 110 12297 0 0 2 1 8 4 20 0 20 0 5673109 11190136832 86700 33554432000 4194304 4196468 140736339124784 140260062964112 140260463478485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32112640 140736339131073 140736339133847 140736339133847 140736339136463 0
[pid=12937/tid=13001] ppid=12934 vsize=10927868 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/12937/task/13001/stat : 13001 (java) S 12934 12937 7954 0 -1 1077944384 1707 12297 0 0 2 0 8 4 20 0 20 0 5673112 11190136832 86700 33554432000 4194304 4196468 140736339124784 140259937463024 140260463479426 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32112640 140736339131073 140736339133847 140736339133847 140736339136463 0
[pid=12937/tid=13002] ppid=12934 vsize=10927868 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/12937/task/13002/stat : 13002 (java) S 12934 12937 7954 0 -1 1077944384 56 12297 0 0 0 0 8 4 20 0 20 0 5673112 11190136832 86700 33554432000 4194304 4196468 140736339124784 140259936409312 140260463478485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32112640 140736339131073 140736339133847 140736339133847 140736339136463 0
[pid=12937/tid=13003] ppid=12934 vsize=10927868 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/12937/task/13003/stat : 13003 (java) S 12934 12937 7954 0 -1 1077944384 43 12297 0 0 0 0 8 4 20 0 20 0 5673113 11190136832 86700 33554432000 4194304 4196468 140736339124784 140259935356160 140260463478485 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 32112640 140736339131073 140736339133847 140736339133847 140736339136463 0
[pid=12937/tid=13004] ppid=12934 vsize=10927868 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/12937/task/13004/stat : 13004 (java) S 12934 12937 7954 0 -1 1077944384 1 12297 0 0 0 0 8 4 20 0 20 0 5673117 11190136832 86700 33554432000 4194304 4196468 140736339124784 140259934304720 140260463486875 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 32112640 140736339131073 140736339133847 140736339133847 140736339136463 0
[pid=12937/tid=13005] ppid=12934 vsize=10927868 CPUtime=1.96 cores=1,3,5,7,9,11,13,15
/proc/12937/task/13005/stat : 13005 (java) S 12934 12937 7954 0 -1 1077944384 6734 12297 0 0 183 1 8 4 20 0 20 0 5673117 11190136832 86700 33554432000 4194304 4196468 140736339124784 140259933251824 140260463479426 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32112640 140736339131073 140736339133847 140736339133847 140736339136463 0
[pid=12937/tid=13006] ppid=12934 vsize=10927868 CPUtime=2.43 cores=1,3,5,7,9,11,13,15
/proc/12937/task/13006/stat : 13006 (java) S 12934 12937 7954 0 -1 1077944384 9893 12297 0 0 230 1 8 4 20 0 20 0 5673117 11190136832 86700 33554432000 4194304 4196468 140736339124784 140259932199280 140260463479426 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 32112640 140736339131073 140736339133847 140736339133847 140736339136463 0
[pid=12937/tid=13007] ppid=12934 vsize=10927868 CPUtime=1.99 cores=1,3,5,7,9,11,13,15
/proc/12937/task/13007/stat : 13007 (java) S 12934 12937 7954 0 -1 1077944384 6484 12297 0 0 186 1 8 4 20 0 20 0 5673117 11190136832 86700 33554432000 4194304 4196468 140736339124784 140259931146224 140260463479426 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32112640 140736339131073 140736339133847 140736339133847 140736339136463 0
[pid=12937/tid=13008] ppid=12934 vsize=10927868 CPUtime=1.83 cores=1,3,5,7,9,11,13,15
/proc/12937/task/13008/stat : 13008 (java) S 12934 12937 7954 0 -1 1077944384 7131 12297 0 0 169 2 8 4 20 0 20 0 5673117 11190136832 86700 33554432000 4194304 4196468 140736339124784 140259930093680 140260463479426 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32112640 140736339131073 140736339133847 140736339133847 140736339136463 0
[pid=12937/tid=13009] ppid=12934 vsize=10927868 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
################
# More data... #
################
[pid=12937/tid=13006] ppid=12934 vsize=10997500 CPUtime=8.86 cores=1,3,5,7,9,11,13,15
/proc/12937/task/13006/stat : 13006 (java) S 12934 12937 7954 0 -1 1077944384 23639 12297 0 0 868 6 8 4 20 0 20 0 5673117 11261440000 439854 33554432000 4194304 4196468 140736339124784 140259932199280 140260463479426 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 32112640 140736339131073 140736339133847 140736339133847 140736339136463 0
[pid=12937/tid=13007] ppid=12934 vsize=10997500 CPUtime=8.47 cores=1,3,5,7,9,11,13,15
/proc/12937/task/13007/stat : 13007 (java) S 12934 12937 7954 0 -1 1077944384 16530 12297 0 0 829 6 8 4 20 0 20 0 5673117 11261440000 439854 33554432000 4194304 4196468 140736339124784 140259931146224 140260463479426 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 32112640 140736339131073 140736339133847 140736339133847 140736339136463 0
[pid=12937/tid=13008] ppid=12934 vsize=10997500 CPUtime=4.28 cores=1,3,5,7,9,11,13,15
/proc/12937/task/13008/stat : 13008 (java) S 12934 12937 7954 0 -1 1077944384 27766 12297 0 0 409 7 8 4 20 0 20 0 5673117 11261440000 439854 33554432000 4194304 4196468 140736339124784 140259930093680 140260463479426 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32112640 140736339131073 140736339133847 140736339133847 140736339136463 0
[pid=12937/tid=13009] ppid=12934 vsize=10997500 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/12937/task/13009/stat : 13009 (java) S 12934 12937 7954 0 -1 1077944384 3 12297 0 0 0 0 8 4 20 0 20 0 5673117 11261440000 439854 33554432000 4194304 4196468 140736339124784 140259929041888 140260463478485 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 32112640 140736339131073 140736339133847 140736339133847 140736339136463 0
[pid=12937/tid=13010] ppid=12934 vsize=10997500 CPUtime=1.32 cores=1,3,5,7,9,11,13,15
/proc/12937/task/13010/stat : 13010 (java) S 12934 12937 7954 0 -1 1077944384 1497 12297 0 0 61 59 8 4 20 0 20 0 5673118 11261440000 439854 33554432000 4194304 4196468 140736339124784 140259927989424 140260463479426 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 45 0 0 6293624 6294260 32112640 140736339131073 140736339133847 140736339133847 140736339136463 0
Current children cumulated CPU time (s) 2399
Current children cumulated vsize (KiB) 10997500
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2323.31 s]
/proc/loadavg: 1.27 1.29 1.46 3/281 13218
/proc/meminfo: memFree=28538388/32770624 swapFree=5788/293316
[pid=12937] ppid=12934 vsize=10997500 CPUtime=2400.02 cores=1,3,5,7,9,11,13,15
/proc/12937/stat : 12937 (java) S 12934 12937 7954 0 -1 1077944320 289237 12297 0 0 239525 465 8 4 20 0 20 0 5673095 11261440000 439859 33554432000 4194304 4196468 140736339124784 140736339107328 140260463468279 0 0 0 16800975 18446744073709551615 0 0 17 15 0 0 0 0 0 6293624 6294260 32112640 140736339131073 140736339133847 140736339133847 140736339136463 0
/proc/12937/statm: 2749375 439859 3515 1 0 2736930 0
[pid=12937/tid=12992] ppid=12934 vsize=10997500 CPUtime=2306.18 cores=1,3,5,7,9,11,13,15
/proc/12937/task/12992/stat : 12992 (java) R 12934 12937 7954 0 -1 4202560 99130 12297 0 0 230556 50 8 4 20 0 20 0 5673108 11261440000 439859 33554432000 4194304 4196468 140736339124784 140260467702448 140260103312213 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32112640 140736339131073 140736339133847 140736339133847 140736339136463 0
[pid=12937/tid=12993] ppid=12934 vsize=10997500 CPUtime=7.31 cores=1,3,5,7,9,11,13,15
/proc/12937/task/12993/stat : 12993 (java) S 12934 12937 7954 0 -1 1077944384 12187 12297 0 0 677 42 8 4 20 0 20 0 5673109 11261440000 439859 33554432000 4194304 4196468 140736339124784 140260416089104 140260463478485 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 32112640 140736339131073 140736339133847 140736339133847 140736339136463 0
[pid=12937/tid=12994] ppid=12934 vsize=10997500 CPUtime=7.29 cores=1,3,5,7,9,11,13,15
/proc/12937/task/12994/stat : 12994 (java) S 12934 12937 7954 0 -1 1077944384 8382 12297 0 0 676 41 8 4 20 0 20 0 5673109 11261440000 439859 33554432000 4194304 4196468 140736339124784 140260415036560 140260463478485 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 32112640 140736339131073 140736339133847 140736339133847 140736339136463 0
[pid=12937/tid=12995] ppid=12934 vsize=10997500 CPUtime=7.26 cores=1,3,5,7,9,11,13,15
/proc/12937/task/12995/stat : 12995 (java) S 12934 12937 7954 0 -1 1077944384 10130 12297 0 0 672 42 8 4 20 0 20 0 5673109 11261440000 439859 33554432000 4194304 4196468 140736339124784 140260413983504 140260463478485 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 32112640 140736339131073 140736339133847 140736339133847 140736339136463 0
[pid=12937/tid=12996] ppid=12934 vsize=10997500 CPUtime=7.21 cores=1,3,5,7,9,11,13,15
/proc/12937/task/12996/stat : 12996 (java) S 12934 12937 7954 0 -1 1077944384 7589 12297 0 0 667 42 8 4 20 0 20 0 5673109 11261440000 439859 33554432000 4194304 4196468 140736339124784 140260412930960 140260463478485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32112640 140736339131073 140736339133847 140736339133847 140736339136463 0
[pid=12937/tid=12997] ppid=12934 vsize=10997500 CPUtime=7.25 cores=1,3,5,7,9,11,13,15
/proc/12937/task/12997/stat : 12997 (java) S 12934 12937 7954 0 -1 1077944384 7603 12297 0 0 673 40 8 4 20 0 20 0 5673109 11261440000 439859 33554432000 4194304 4196468 140736339124784 140260066122256 140260463478485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32112640 140736339131073 140736339133847 140736339133847 140736339136463 0
[pid=12937/tid=12998] ppid=12934 vsize=10997500 CPUtime=7.38 cores=1,3,5,7,9,11,13,15
/proc/12937/task/12998/stat : 12998 (java) S 12934 12937 7954 0 -1 1077944384 9820 12297 0 0 682 44 8 4 20 0 20 0 5673109 11261440000 439859 33554432000 4194304 4196468 140736339124784 140260065069712 140260463478485 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 32112640 140736339131073 140736339133847 140736339133847 140736339136463 0
[pid=12937/tid=12999] ppid=12934 vsize=10997500 CPUtime=7.29 cores=1,3,5,7,9,11,13,15
/proc/12937/task/12999/stat : 12999 (java) S 12934 12937 7954 0 -1 1077944384 7350 12297 0 0 673 44 8 4 20 0 20 0 5673109 11261440000 439859 33554432000 4194304 4196468 140736339124784 140260064016656 140260463478485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32112640 140736339131073 140736339133847 140736339133847 140736339136463 0
[pid=12937/tid=13000] ppid=12934 vsize=10997500 CPUtime=7.24 cores=1,3,5,7,9,11,13,15
/proc/12937/task/13000/stat : 13000 (java) S 12934 12937 7954 0 -1 1077944384 10177 12297 0 0 671 41 8 4 20 0 20 0 5673109 11261440000 439859 33554432000 4194304 4196468 140736339124784 140260062964112 140260463478485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32112640 140736339131073 140736339133847 140736339133847 140736339136463 0
[pid=12937/tid=13001] ppid=12934 vsize=10997500 CPUtime=6.21 cores=1,3,5,7,9,11,13,15
/proc/12937/task/13001/stat : 13001 (java) S 12934 12937 7954 0 -1 1077944384 24841 12297 0 0 578 31 8 4 20 0 20 0 5673112 11261440000 439859 33554432000 4194304 4196468 140736339124784 140259937463024 140260463479426 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32112640 140736339131073 140736339133847 140736339133847 140736339136463 0
[pid=12937/tid=13002] ppid=12934 vsize=10997500 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/12937/task/13002/stat : 13002 (java) S 12934 12937 7954 0 -1 1077944384 61 12297 0 0 0 0 8 4 20 0 20 0 5673112 11261440000 439859 33554432000 4194304 4196468 140736339124784 140259936409376 140260463478485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32112640 140736339131073 140736339133847 140736339133847 140736339136463 0
[pid=12937/tid=13003] ppid=12934 vsize=10997500 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/12937/task/13003/stat : 13003 (java) S 12934 12937 7954 0 -1 1077944384 46 12297 0 0 0 0 8 4 20 0 20 0 5673113 11261440000 439859 33554432000 4194304 4196468 140736339124784 140259935356160 140260463478485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32112640 140736339131073 140736339133847 140736339133847 140736339136463 0
[pid=12937/tid=13004] ppid=12934 vsize=10997500 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/12937/task/13004/stat : 13004 (java) S 12934 12937 7954 0 -1 1077944384 1 12297 0 0 0 0 8 4 20 0 20 0 5673117 11261440000 439859 33554432000 4194304 4196468 140736339124784 140259934304720 140260463486875 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 32112640 140736339131073 140736339133847 140736339133847 140736339136463 0
[pid=12937/tid=13005] ppid=12934 vsize=10997500 CPUtime=8 cores=1,3,5,7,9,11,13,15
/proc/12937/task/13005/stat : 13005 (java) S 12934 12937 7954 0 -1 1077944384 20356 12297 0 0 781 7 8 4 20 0 20 0 5673117 11261440000 439859 33554432000 4194304 4196468 140736339124784 140259933251824 140260463479426 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32112640 140736339131073 140736339133847 140736339133847 140736339136463 0
[pid=12937/tid=13006] ppid=12934 vsize=10997500 CPUtime=8.86 cores=1,3,5,7,9,11,13,15
/proc/12937/task/13006/stat : 13006 (java) S 12934 12937 7954 0 -1 1077944384 23639 12297 0 0 868 6 8 4 20 0 20 0 5673117 11261440000 439859 33554432000 4194304 4196468 140736339124784 140259932199280 140260463479426 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 32112640 140736339131073 140736339133847 140736339133847 140736339136463 0
[pid=12937/tid=13007] ppid=12934 vsize=10997500 CPUtime=8.47 cores=1,3,5,7,9,11,13,15
/proc/12937/task/13007/stat : 13007 (java) S 12934 12937 7954 0 -1 1077944384 16530 12297 0 0 829 6 8 4 20 0 20 0 5673117 11261440000 439859 33554432000 4194304 4196468 140736339124784 140259931146224 140260463479426 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 32112640 140736339131073 140736339133847 140736339133847 140736339136463 0
[pid=12937/tid=13008] ppid=12934 vsize=10997500 CPUtime=4.28 cores=1,3,5,7,9,11,13,15
/proc/12937/task/13008/stat : 13008 (java) S 12934 12937 7954 0 -1 1077944384 27766 12297 0 0 409 7 8 4 20 0 20 0 5673117 11261440000 439859 33554432000 4194304 4196468 140736339124784 140259930093680 140260463479426 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32112640 140736339131073 140736339133847 140736339133847 140736339136463 0
[pid=12937/tid=13009] ppid=12934 vsize=10997500 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/12937/task/13009/stat : 13009 (java) S 12934 12937 7954 0 -1 1077944384 3 12297 0 0 0 0 8 4 20 0 20 0 5673117 11261440000 439859 33554432000 4194304 4196468 140736339124784 140259929041888 140260463478485 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 32112640 140736339131073 140736339133847 140736339133847 140736339136463 0
[pid=12937/tid=13010] ppid=12934 vsize=10997500 CPUtime=1.32 cores=1,3,5,7,9,11,13,15
/proc/12937/task/13010/stat : 13010 (java) S 12934 12937 7954 0 -1 1077944384 1497 12297 0 0 61 59 8 4 20 0 20 0 5673118 11261440000 439859 33554432000 4194304 4196468 140736339124784 140259927989424 140260463479426 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 45 0 0 6293624 6294260 32112640 140736339131073 140736339133847 140736339133847 140736339136463 0
Current children cumulated CPU time (s) 2400.02
Current children cumulated vsize (KiB) 10997500
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 12937 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2323.41 s]
/proc/loadavg: 1.27 1.29 1.46 3/281 13218
/proc/meminfo: memFree=28538388/32770624 swapFree=5788/293316
[pid=12937] ppid=12934 vsize=11130628 CPUtime=2400.43 cores=1,3,5,7,9,11,13,15
/proc/12937/stat : 12937 (java) S 12934 12937 7954 0 -1 1077944320 295719 12297 0 0 239564 467 8 4 20 0 22 0 5673095 11397763072 441550 33554432000 4194304 4196468 140736339124784 140736339107328 140260463468279 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 32112640 140736339131073 140736339133847 140736339133847 140736339136463 0
/proc/12937/statm: 2782657 441550 3515 1 0 2770212 0
[pid=12937/tid=12992] ppid=12934 vsize=11130628 CPUtime=2306.19 cores=1,3,5,7,9,11,13,15
/proc/12937/task/12992/stat : 12992 (java) S 12934 12937 7954 0 -1 1077944384 99489 12297 0 0 230557 50 8 4 20 0 22 0 5673108 11397763072 441550 33554432000 4194304 4196468 140736339124784 140260467705824 140260463478485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32112640 140736339131073 140736339133847 140736339133847 140736339136463 0
[pid=12937/tid=12993] ppid=12934 vsize=11130628 CPUtime=7.35 cores=1,3,5,7,9,11,13,15
/proc/12937/task/12993/stat : 12993 (java) S 12934 12937 7954 0 -1 1077944384 12213 12297 0 0 681 42 8 4 20 0 22 0 5673109 11397763072 441550 33554432000 4194304 4196468 140736339124784 140260416088912 140260463479426 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 32112640 140736339131073 140736339133847 140736339133847 140736339136463 0
[pid=12937/tid=12994] ppid=12934 vsize=11130628 CPUtime=7.33 cores=1,3,5,7,9,11,13,15
/proc/12937/task/12994/stat : 12994 (java) R 12934 12937 7954 0 -1 4202560 8395 12297 0 0 680 41 8 4 20 0 22 0 5673109 11397763072 441550 33554432000 4194304 4196468 140736339124784 140260415036368 140260456096487 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32112640 140736339131073 140736339133847 140736339133847 140736339136463 0
[pid=12937/tid=12995] ppid=12934 vsize=11130628 CPUtime=7.3 cores=1,3,5,7,9,11,13,15
/proc/12937/task/12995/stat : 12995 (java) R 12934 12937 7954 0 -1 4202560 10134 12297 0 0 676 42 8 4 20 0 22 0 5673109 11397763072 441550 33554432000 4194304 4196468 140736339124784 140260413983704 140260448168926 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 32112640 140736339131073 140736339133847 140736339133847 140736339136463 0
[pid=12937/tid=12996] ppid=12934 vsize=11130628 CPUtime=7.25 cores=1,3,5,7,9,11,13,15
/proc/12937/task/12996/stat : 12996 (java) R 12934 12937 7954 0 -1 4202560 7615 12297 0 0 671 42 8 4 20 0 22 0 5673109 11397763072 441550 33554432000 4194304 4196468 140736339124784 140260412931080 140260456096487 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32112640 140736339131073 140736339133847 140736339133847 140736339136463 0
[pid=12937/tid=12997] ppid=12934 vsize=11130628 CPUtime=7.29 cores=1,3,5,7,9,11,13,15
/proc/12937/task/12997/stat : 12997 (java) R 12934 12937 7954 0 -1 4202560 7607 12297 0 0 677 40 8 4 20 0 22 0 5673109 11397763072 441550 33554432000 4194304 4196468 140736339124784 140260066122064 140260456096487 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32112640 140736339131073 140736339133847 140736339133847 140736339136463 0
[pid=12937/tid=12998] ppid=12934 vsize=11130628 CPUtime=7.42 cores=1,3,5,7,9,11,13,15
/proc/12937/task/12998/stat : 12998 (java) R 12934 12937 7954 0 -1 4202560 9841 12297 0 0 686 44 8 4 20 0 22 0 5673109 11397763072 441550 33554432000 4194304 4196468 140736339124784 140260065069832 140260446851314 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 32112640 140736339131073 140736339133847 140736339133847 140736339136463 0
[pid=12937/tid=12999] ppid=12934 vsize=11130628 CPUtime=7.33 cores=1,3,5,7,9,11,13,15
/proc/12937/task/12999/stat : 12999 (java) S 12934 12937 7954 0 -1 1077944384 7352 12297 0 0 677 44 8 4 20 0 22 0 5673109 11397763072 441550 33554432000 4194304 4196468 140736339124784 140260064016464 140260463479426 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32112640 140736339131073 140736339133847 140736339133847 140736339136463 0
[pid=12937/tid=13000] ppid=12934 vsize=11130628 CPUtime=7.28 cores=1,3,5,7,9,11,13,15
/proc/12937/task/13000/stat : 13000 (java) R 12934 12937 7954 0 -1 4202560 10188 12297 0 0 675 41 8 4 20 0 22 0 5673109 11397763072 441550 33554432000 4194304 4196468 140736339124784 140260062963920 140260456096487 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 32112640 140736339131073 140736339133847 140736339133847 140736339136463 0
[pid=12937/tid=13001] ppid=12934 vsize=11130628 CPUtime=6.25 cores=1,3,5,7,9,11,13,15
/proc/12937/task/13001/stat : 13001 (java) S 12934 12937 7954 0 -1 1077944384 30535 12297 0 0 581 32 8 4 20 0 22 0 5673112 11397763072 441550 33554432000 4194304 4196468 140736339124784 140259937461648 140260463478485 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32112640 140736339131073 140736339133847 140736339133847 140736339136463 0
[pid=12937/tid=13002] ppid=12934 vsize=11130628 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/12937/task/13002/stat : 13002 (java) S 12934 12937 7954 0 -1 1077944384 61 12297 0 0 0 0 8 4 20 0 22 0 5673112 11397763072 441550 33554432000 4194304 4196468 140736339124784 140259936409376 140260463478485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32112640 140736339131073 140736339133847 140736339133847 140736339136463 0
[pid=12937/tid=13003] ppid=12934 vsize=11130628 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/12937/task/13003/stat : 13003 (java) S 12934 12937 7954 0 -1 1077944384 46 12297 0 0 0 0 8 4 20 0 22 0 5673113 11397763072 441550 33554432000 4194304 4196468 140736339124784 140259935356160 140260463478485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32112640 140736339131073 140736339133847 140736339133847 140736339136463 0
[pid=12937/tid=13004] ppid=12934 vsize=11130628 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/12937/task/13004/stat : 13004 (java) S 12934 12937 7954 0 -1 1077944384 97 12297 0 0 0 0 8 4 20 0 22 0 5673117 11397763072 441550 33554432000 4194304 4196468 140736339124784 140259934304720 140260463486875 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 32112640 140736339131073 140736339133847 140736339133847 140736339136463 0
[pid=12937/tid=13005] ppid=12934 vsize=11130628 CPUtime=8 cores=1,3,5,7,9,11,13,15
/proc/12937/task/13005/stat : 13005 (java) S 12934 12937 7954 0 -1 1077944384 20356 12297 0 0 781 7 8 4 20 0 22 0 5673117 11397763072 441550 33554432000 4194304 4196468 140736339124784 140259933251824 140260463479426 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32112640 140736339131073 140736339133847 140736339133847 140736339136463 0
[pid=12937/tid=13006] ppid=12934 vsize=11130628 CPUtime=8.86 cores=1,3,5,7,9,11,13,15
/proc/12937/task/13006/stat : 13006 (java) S 12934 12937 7954 0 -1 1077944384 23685 12297 0 0 868 6 8 4 20 0 22 0 5673117 11397763072 441550 33554432000 4194304 4196468 140736339124784 140259932186240 140260463478485 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 32112640 140736339131073 140736339133847 140736339133847 140736339136463 0
[pid=12937/tid=13007] ppid=12934 vsize=11130628 CPUtime=8.47 cores=1,3,5,7,9,11,13,15
/proc/12937/task/13007/stat : 13007 (java) S 12934 12937 7954 0 -1 1077944384 16530 12297 0 0 829 6 8 4 20 0 22 0 5673117 11397763072 441550 33554432000 4194304 4196468 140736339124784 140259931146224 140260463479426 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 32112640 140736339131073 140736339133847 140736339133847 140736339136463 0
[pid=12937/tid=13008] ppid=12934 vsize=11130628 CPUtime=4.28 cores=1,3,5,7,9,11,13,15
/proc/12937/task/13008/stat : 13008 (java) S 12934 12937 7954 0 -1 1077944384 27826 12297 0 0 409 7 8 4 20 0 22 0 5673117 11397763072 441550 33554432000 4194304 4196468 140736339124784 140259930093248 140260463478485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32112640 140736339131073 140736339133847 140736339133847 140736339136463 0
[pid=12937/tid=13009] ppid=12934 vsize=11130628 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/12937/task/13009/stat : 13009 (java) S 12934 12937 7954 0 -1 1077944384 3 12297 0 0 0 0 8 4 20 0 22 0 5673117 11397763072 441550 33554432000 4194304 4196468 140736339124784 140259929041888 140260463478485 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 32112640 140736339131073 140736339133847 140736339133847 140736339136463 0
[pid=12937/tid=13010] ppid=12934 vsize=11130628 CPUtime=1.32 cores=1,3,5,7,9,11,13,15
/proc/12937/task/13010/stat : 13010 (java) S 12934 12937 7954 0 -1 1077944384 1497 12297 0 0 61 59 8 4 20 0 22 0 5673118 11397763072 441550 33554432000 4194304 4196468 140736339124784 140259927989424 140260463479426 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 45 0 0 6293624 6294260 32112640 140736339131073 140736339133847 140736339133847 140736339136463 0
Current children cumulated CPU time (s) 2400.43
Current children cumulated vsize (KiB) 11130628
[startup+2323.5 s]
/proc/loadavg: 1.27 1.29 1.46 3/281 13218
/proc/meminfo: memFree=28538388/32770624 swapFree=5788/293316
[pid=12937] ppid=12934 vsize=11130628 CPUtime=2400.87 cores=1,3,5,7,9,11,13,15
/proc/12937/stat : 12937 (java) S 12934 12937 7954 0 -1 1077944320 296005 12297 0 0 239608 467 8 4 20 0 22 0 5673095 11397763072 441659 33554432000 4194304 4196468 140736339124784 140736339107328 140260463468279 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 32112640 140736339131073 140736339133847 140736339133847 140736339136463 0
/proc/12937/statm: 2782657 441659 3515 1 0 2770212 0
[pid=12937/tid=12992] ppid=12934 vsize=11130628 CPUtime=2306.19 cores=1,3,5,7,9,11,13,15
/proc/12937/task/12992/stat : 12992 (java) S 12934 12937 7954 0 -1 1077944384 99489 12297 0 0 230557 50 8 4 20 0 22 0 5673108 11397763072 441659 33554432000 4194304 4196468 140736339124784 140260467705824 140260463478485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32112640 140736339131073 140736339133847 140736339133847 140736339136463 0
[pid=12937/tid=12993] ppid=12934 vsize=11130628 CPUtime=7.41 cores=1,3,5,7,9,11,13,15
/proc/12937/task/12993/stat : 12993 (java) R 12934 12937 7954 0 -1 4202560 12213 12297 0 0 687 42 8 4 20 0 22 0 5673109 11397763072 441659 33554432000 4194304 4196468 140736339124784 140260416089304 140260448464848 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 32112640 140736339131073 140736339133847 140736339133847 140736339136463 0
[pid=12937/tid=12994] ppid=12934 vsize=11130628 CPUtime=7.38 cores=1,3,5,7,9,11,13,15
/proc/12937/task/12994/stat : 12994 (java) R 12934 12937 7954 0 -1 4202560 8395 12297 0 0 685 41 8 4 20 0 22 0 5673109 11397763072 441659 33554432000 4194304 4196468 140736339124784 140260415036448 140260445078099 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32112640 140736339131073 140736339133847 140736339133847 140736339136463 0
[pid=12937/tid=12995] ppid=12934 vsize=11130628 CPUtime=7.36 cores=1,3,5,7,9,11,13,15
/proc/12937/task/12995/stat : 12995 (java) R 12934 12937 7954 0 -1 4202560 10139 12297 0 0 682 42 8 4 20 0 22 0 5673109 11397763072 441659 33554432000 4194304 4196468 140736339124784 140260413983704 140260448464789 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32112640 140736339131073 140736339133847 140736339133847 140736339136463 0
[pid=12937/tid=12996] ppid=12934 vsize=11130628 CPUtime=7.3 cores=1,3,5,7,9,11,13,15
/proc/12937/task/12996/stat : 12996 (java) R 12934 12937 7954 0 -1 4202560 7615 12297 0 0 676 42 8 4 20 0 22 0 5673109 11397763072 441659 33554432000 4194304 4196468 140736339124784 140260412931160 140260448464853 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 32112640 140736339131073 140736339133847 140736339133847 140736339136463 0
[pid=12937/tid=12997] ppid=12934 vsize=11130628 CPUtime=7.34 cores=1,3,5,7,9,11,13,15
/proc/12937/task/12997/stat : 12997 (java) R 12934 12937 7954 0 -1 4202560 7607 12297 0 0 682 40 8 4 20 0 22 0 5673109 11397763072 441659 33554432000 4194304 4196468 140736339124784 140260066122456 140260445078067 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32112640 140736339131073 140736339133847 140736339133847 140736339136463 0
[pid=12937/tid=12998] ppid=12934 vsize=11130628 CPUtime=7.47 cores=1,3,5,7,9,11,13,15
/proc/12937/task/12998/stat : 12998 (java) R 12934 12937 7954 0 -1 4202560 9842 12297 0 0 691 44 8 4 20 0 22 0 5673109 11397763072 441659 33554432000 4194304 4196468 140736339124784 140260065069912 140260445078111 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 32112640 140736339131073 140736339133847 140736339133847 140736339136463 0
[pid=12937/tid=12999] ppid=12934 vsize=11130628 CPUtime=7.38 cores=1,3,5,7,9,11,13,15
/proc/12937/task/12999/stat : 12999 (java) R 12934 12937 7954 0 -1 4202560 7352 12297 0 0 682 44 8 4 20 0 22 0 5673109 11397763072 441659 33554432000 4194304 4196468 140736339124784 140260064016856 140260448464871 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32112640 140736339131073 140736339133847 140736339133847 140736339136463 0
[pid=12937/tid=13000] ppid=12934 vsize=11130628 CPUtime=7.33 cores=1,3,5,7,9,11,13,15
/proc/12937/task/13000/stat : 13000 (java) R 12934 12937 7954 0 -1 4202560 10188 12297 0 0 680 41 8 4 20 0 22 0 5673109 11397763072 441659 33554432000 4194304 4196468 140736339124784 140260062964312 140260448464772 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 32112640 140736339131073 140736339133847 140736339133847 140736339136463 0
[pid=12937/tid=13001] ppid=12934 vsize=11130628 CPUtime=6.29 cores=1,3,5,7,9,11,13,15
/proc/12937/task/13001/stat : 13001 (java) S 12934 12937 7954 0 -1 1077944384 30812 12297 0 0 585 32 8 4 20 0 22 0 5673112 11397763072 441659 33554432000 4194304 4196468 140736339124784 140259937461648 140260463478485 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32112640 140736339131073 140736339133847 140736339133847 140736339136463 0
[pid=12937/tid=13002] ppid=12934 vsize=11130628 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/12937/task/13002/stat : 13002 (java) S 12934 12937 7954 0 -1 1077944384 63 12297 0 0 0 0 8 4 20 0 22 0 5673112 11397763072 441659 33554432000 4194304 4196468 140736339124784 140259936408880 140260463478485 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 32112640 140736339131073 140736339133847 140736339133847 140736339136463 0
[pid=12937/tid=13003] ppid=12934 vsize=11130628 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/12937/task/13003/stat : 13003 (java) S 12934 12937 7954 0 -1 1077944384 46 12297 0 0 0 0 8 4 20 0 22 0 5673113 11397763072 441659 33554432000 4194304 4196468 140736339124784 140259935356160 140260463478485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32112640 140736339131073 140736339133847 140736339133847 140736339136463 0
[pid=12937/tid=13004] ppid=12934 vsize=11130628 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/12937/task/13004/stat : 13004 (java) S 12934 12937 7954 0 -1 1077944384 97 12297 0 0 0 0 8 4 20 0 22 0 5673117 11397763072 441659 33554432000 4194304 4196468 140736339124784 140259934304720 140260463486875 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 32112640 140736339131073 140736339133847 140736339133847 140736339136463 0
[pid=12937/tid=13005] ppid=12934 vsize=11130628 CPUtime=8 cores=1,3,5,7,9,11,13,15
/proc/12937/task/13005/stat : 13005 (java) S 12934 12937 7954 0 -1 1077944384 20356 12297 0 0 781 7 8 4 20 0 22 0 5673117 11397763072 441659 33554432000 4194304 4196468 140736339124784 140259933251824 140260463479426 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32112640 140736339131073 140736339133847 140736339133847 140736339136463 0
[pid=12937/tid=13006] ppid=12934 vsize=11130628 CPUtime=8.86 cores=1,3,5,7,9,11,13,15
/proc/12937/task/13006/stat : 13006 (java) S 12934 12937 7954 0 -1 1077944384 23686 12297 0 0 868 6 8 4 20 0 22 0 5673117 11397763072 441659 33554432000 4194304 4196468 140736339124784 140259932185248 140260463478485 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 32112640 140736339131073 140736339133847 140736339133847 140736339136463 0
[pid=12937/tid=13007] ppid=12934 vsize=11130628 CPUtime=8.47 cores=1,3,5,7,9,11,13,15
/proc/12937/task/13007/stat : 13007 (java) S 12934 12937 7954 0 -1 1077944384 16530 12297 0 0 829 6 8 4 20 0 22 0 5673117 11397763072 441659 33554432000 4194304 4196468 140736339124784 140259931146224 140260463479426 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 32112640 140736339131073 140736339133847 140736339133847 140736339136463 0
[pid=12937/tid=13008] ppid=12934 vsize=11130628 CPUtime=4.28 cores=1,3,5,7,9,11,13,15
/proc/12937/task/13008/stat : 13008 (java) S 12934 12937 7954 0 -1 1077944384 27826 12297 0 0 409 7 8 4 20 0 22 0 5673117 11397763072 441659 33554432000 4194304 4196468 140736339124784 140259930093248 140260463478485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32112640 140736339131073 140736339133847 140736339133847 140736339136463 0
[pid=12937/tid=13009] ppid=12934 vsize=11130628 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/12937/task/13009/stat : 13009 (java) S 12934 12937 7954 0 -1 1077944384 3 12297 0 0 0 0 8 4 20 0 22 0 5673117 11397763072 441659 33554432000 4194304 4196468 140736339124784 140259929041888 140260463478485 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 32112640 140736339131073 140736339133847 140736339133847 140736339136463 0
[pid=12937/tid=13010] ppid=12934 vsize=11130628 CPUtime=1.32 cores=1,3,5,7,9,11,13,15
/proc/12937/task/13010/stat : 13010 (java) S 12934 12937 7954 0 -1 1077944384 1497 12297 0 0 61 59 8 4 20 0 22 0 5673118 11397763072 441659 33554432000 4194304 4196468 140736339124784 140259927989424 140260463479426 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 45 0 0 6293624 6294260 32112640 140736339131073 140736339133847 140736339133847 140736339136463 0
Current children cumulated CPU time (s) 2400.87
Current children cumulated vsize (KiB) 11130628
Child status: 143
Real time (s): 2323.59
CPU time (s): 2401.11
CPU user time (s): 2396.38
CPU system time (s): 4.73765
CPU usage (%): 103.336
Max. virtual memory (cumulated for all children) (KiB): 11130628
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2396.38
system time used= 4.73765
maximum resident set size= 1767200
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 308494
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2712
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 279804
involuntary context switches= 171862
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.1157 second user time and 19.9589 second system time
The end