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-4246930-1500720764/watcher-4246930-1500720764 -o /tmp/evaluation-result-4246930-1500720764/solver-4246930-1500720764 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node127-1500718419-12024 --watchdog 2560 bin/concrete HOME/instance-4246930-1500720764.xml
pid=12894
running on 8 cores: 0,2,4,6,8,10,12,14
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: 3.38 1.86 1.63 5/261 12897
/proc/meminfo: memFree=31310072/32770624 swapFree=6384/326668
[pid=12897] ppid=12894 vsize=23104 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12897/stat : 12897 (runsolver) D 12894 12897 11993 0 -1 4202560 117 0 0 0 0 0 0 0 20 0 1 0 7344045 23658496 102 33554432000 4194304 4338465 140726738740400 140726738738040 140591607423703 0 0 4096 24578 18446744071580418449 0 0 17 10 0 0 0 0 0 6438912 6441760 9764864 140726738744262 140726738744639 140726738744639 140726738747338 0
/proc/12897/statm: 5776 102 54 36 0 2156 0
[startup+0.100133 s]
/proc/loadavg: 3.38 1.86 1.63 5/261 12897
/proc/meminfo: memFree=31310072/32770624 swapFree=6384/326668
[pid=12897] ppid=12894 vsize=23104 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12897/stat : 12897 (runsolver) D 12894 12897 11993 0 -1 4202560 117 0 0 0 0 0 0 0 20 0 1 0 7344045 23658496 102 33554432000 4194304 4338465 140726738740400 140726738738040 140591607423703 0 0 4096 24578 18446744071580418449 0 0 17 10 0 0 0 0 0 6438912 6441760 9764864 140726738744262 140726738744639 140726738744639 140726738747338 0
/proc/12897/statm: 5776 102 54 36 0 2156 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 23104
[startup+0.20022 s]
/proc/loadavg: 3.38 1.86 1.63 5/261 12897
/proc/meminfo: memFree=31310072/32770624 swapFree=6384/326668
[pid=12897] ppid=12894 vsize=9640 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/12897/stat : 12897 (bash) S 12894 12897 11993 0 -1 4202496 878 6414 0 0 0 0 0 1 20 0 1 0 7344045 9871360 377 33554432000 4194304 5098028 140734331407376 140734331401384 140093270670336 0 0 4100 65536 18446744071580971376 0 0 17 14 0 0 12 0 0 7196144 7232144 37724160 140734331413774 140734331413859 140734331413859 140734331416558 0
/proc/12897/statm: 2410 377 296 221 0 119 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9640
[startup+0.300368 s]
/proc/loadavg: 3.38 1.86 1.63 5/261 12897
/proc/meminfo: memFree=31310072/32770624 swapFree=6384/326668
[pid=12897] ppid=12894 vsize=10369296 CPUtime=0.16 cores=0,2,4,6,8,10,12,14
/proc/12897/stat : 12897 (java) S 12894 12897 11993 0 -1 1077944320 4724 12272 0 0 3 1 9 3 20 0 12 0 7344045 10618159104 4625 33554432000 4194304 4196468 140736289397568 140736289380112 139916057743095 0 0 0 16784584 18446744073709551615 0 0 17 8 0 0 12 0 0 6293624 6294260 33501184 140736289405633 140736289408407 140736289408407 140736289411023 0
/proc/12897/statm: 2592324 4625 2076 1 0 2580762 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 10369296
[startup+0.700331 s]
/proc/loadavg: 3.38 1.86 1.63 5/261 12897
/proc/meminfo: memFree=31310072/32770624 swapFree=6384/326668
[pid=12897] ppid=12894 vsize=10902720 CPUtime=0.7 cores=0,2,4,6,8,10,12,14
/proc/12897/stat : 12897 (java) S 12894 12897 11993 0 -1 1077944320 11664 12272 0 0 54 4 9 3 20 0 20 0 7344045 11164385280 14120 33554432000 4194304 4196468 140736289397568 140736289380112 139916057743095 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 12 0 0 6293624 6294260 33501184 140736289405633 140736289408407 140736289408407 140736289411023 0
/proc/12897/statm: 2725680 14120 3107 1 0 2713890 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 10902720
[startup+1.50082 s]
/proc/loadavg: 3.38 1.86 1.63 8/281 12970
/proc/meminfo: memFree=31211212/32770624 swapFree=6384/326988
[pid=12897] ppid=12894 vsize=10913344 CPUtime=1.95 cores=0,2,4,6,8,10,12,14
/proc/12897/stat : 12897 (java) S 12894 12897 11993 0 -1 1077944320 23687 12272 0 0 175 8 9 3 20 0 20 0 7344045 11175264256 32828 33554432000 4194304 4196468 140736289397568 140736289380112 139916057743095 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 12 0 0 6293624 6294260 33501184 140736289405633 140736289408407 140736289408407 140736289411023 0
/proc/12897/statm: 2728336 32828 3371 1 0 2716450 0
[pid=12897/tid=12952] ppid=12894 vsize=10913344 CPUtime=1.34 cores=0,2,4,6,8,10,12,14
/proc/12897/task/12952/stat : 12952 (java) R 12894 12897 11993 0 -1 4202560 18826 12272 0 0 116 6 9 3 20 0 20 0 7344071 11175264256 32828 33554432000 4194304 4196468 140736289397568 139916061964160 139916038388006 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 33501184 140736289405633 140736289408407 140736289408407 140736289411023 0
[pid=12897/tid=12953] ppid=12894 vsize=10913344 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/12897/task/12953/stat : 12953 (java) S 12894 12897 11993 0 -1 1077944384 2 12272 0 0 0 0 9 3 20 0 20 0 7344072 11175264256 32828 33554432000 4194304 4196468 140736289397568 139916010363920 139916057753301 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 33501184 140736289405633 140736289408407 140736289408407 140736289411023 0
[pid=12897/tid=12954] ppid=12894 vsize=10913344 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/12897/task/12954/stat : 12954 (java) S 12894 12897 11993 0 -1 1077944384 3 12272 0 0 0 0 9 3 20 0 20 0 7344072 11175264256 32828 33554432000 4194304 4196468 140736289397568 139915663432848 139916057753301 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33501184 140736289405633 140736289408407 140736289408407 140736289411023 0
[pid=12897/tid=12955] ppid=12894 vsize=10913344 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/12897/task/12955/stat : 12955 (java) S 12894 12897 11993 0 -1 1077944384 2 12272 0 0 0 0 9 3 20 0 20 0 7344072 11175264256 32828 33554432000 4194304 4196468 140736289397568 139915662379792 139916057753301 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 33501184 140736289405633 140736289408407 140736289408407 140736289411023 0
[pid=12897/tid=12956] ppid=12894 vsize=10913344 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/12897/task/12956/stat : 12956 (java) S 12894 12897 11993 0 -1 1077944384 1 12272 0 0 0 0 9 3 20 0 20 0 7344072 11175264256 32828 33554432000 4194304 4196468 140736289397568 139915661327248 139916057753301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33501184 140736289405633 140736289408407 140736289408407 140736289411023 0
[pid=12897/tid=12957] ppid=12894 vsize=10913344 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/12897/task/12957/stat : 12957 (java) S 12894 12897 11993 0 -1 1077944384 1 12272 0 0 0 0 9 3 20 0 20 0 7344072 11175264256 32828 33554432000 4194304 4196468 140736289397568 139915660274192 139916057753301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33501184 140736289405633 140736289408407 140736289408407 140736289411023 0
[pid=12897/tid=12958] ppid=12894 vsize=10913344 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/12897/task/12958/stat : 12958 (java) S 12894 12897 11993 0 -1 1077944384 2 12272 0 0 0 0 9 3 20 0 20 0 7344072 11175264256 32828 33554432000 4194304 4196468 140736289397568 139915659221648 139916057753301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33501184 140736289405633 140736289408407 140736289408407 140736289411023 0
[pid=12897/tid=12959] ppid=12894 vsize=10913344 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/12897/task/12959/stat : 12959 (java) S 12894 12897 11993 0 -1 1077944384 2 12272 0 0 0 0 9 3 20 0 20 0 7344072 11175264256 32828 33554432000 4194304 4196468 140736289397568 139915658168592 139916057753301 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 33501184 140736289405633 140736289408407 140736289408407 140736289411023 0
[pid=12897/tid=12960] ppid=12894 vsize=10913344 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/12897/task/12960/stat : 12960 (java) S 12894 12897 11993 0 -1 1077944384 2 12272 0 0 0 0 9 3 20 0 20 0 7344072 11175264256 32828 33554432000 4194304 4196468 140736289397568 139915657116048 139916057753301 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 33501184 140736289405633 140736289408407 140736289408407 140736289411023 0
[pid=12897/tid=12961] ppid=12894 vsize=10913344 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/12897/task/12961/stat : 12961 (java) S 12894 12897 11993 0 -1 1077944384 5 12272 0 0 0 0 9 3 20 0 20 0 7344074 11175264256 32828 33554432000 4194304 4196468 140736289397568 139915397397232 139916057754242 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33501184 140736289405633 140736289408407 140736289408407 140736289411023 0
[pid=12897/tid=12962] ppid=12894 vsize=10913344 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/12897/task/12962/stat : 12962 (java) S 12894 12897 11993 0 -1 1077944384 33 12272 0 0 0 0 9 3 20 0 20 0 7344075 11175264256 32828 33554432000 4194304 4196468 140736289397568 139915396343456 139916057753301 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 33501184 140736289405633 140736289408407 140736289408407 140736289411023 0
[pid=12897/tid=12963] ppid=12894 vsize=10913344 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/12897/task/12963/stat : 12963 (java) S 12894 12897 11993 0 -1 1077944384 22 12272 0 0 0 0 9 3 20 0 20 0 7344076 11175264256 32828 33554432000 4194304 4196468 140736289397568 139915395290352 139916057753301 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 33501184 140736289405633 140736289408407 140736289408407 140736289411023 0
[pid=12897/tid=12964] ppid=12894 vsize=10913344 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/12897/task/12964/stat : 12964 (java) S 12894 12897 11993 0 -1 1077944384 1 12272 0 0 0 0 9 3 20 0 20 0 7344080 11175264256 32828 33554432000 4194304 4196468 140736289397568 139915394238928 139916057761691 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 33501184 140736289405633 140736289408407 140736289408407 140736289411023 0
[pid=12897/tid=12965] ppid=12894 vsize=10913344 CPUtime=0.25 cores=0,2,4,6,8,10,12,14
/proc/12897/task/12965/stat : 12965 (java) S 12894 12897 11993 0 -1 1077944384 757 12272 0 0 13 0 9 3 20 0 20 0 7344080 11175264256 32828 33554432000 4194304 4196468 140736289397568 139915393186032 139916057754242 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 33501184 140736289405633 140736289408407 140736289408407 140736289411023 0
[pid=12897/tid=12966] ppid=12894 vsize=10913344 CPUtime=0.23 cores=0,2,4,6,8,10,12,14
/proc/12897/task/12966/stat : 12966 (java) S 12894 12897 11993 0 -1 1077944384 553 12272 0 0 11 0 9 3 20 0 20 0 7344080 11175264256 32828 33554432000 4194304 4196468 140736289397568 139915392133488 139916057754242 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33501184 140736289405633 140736289408407 140736289408407 140736289411023 0
[pid=12897/tid=12967] ppid=12894 vsize=10913344 CPUtime=0.23 cores=0,2,4,6,8,10,12,14
/proc/12897/task/12967/stat : 12967 (java) S 12894 12897 11993 0 -1 1077944384 577 12272 0 0 11 0 9 3 20 0 20 0 7344080 11175264256 32828 33554432000 4194304 4196468 140736289397568 139915391080432 139916057754242 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33501184 140736289405633 140736289408407 140736289408407 140736289411023 0
[pid=12897/tid=12968] ppid=12894 vsize=10913344 CPUtime=0.33 cores=0,2,4,6,8,10,12,14
/proc/12897/task/12968/stat : 12968 (java) S 12894 12897 11993 0 -1 1077944384 761 12272 0 0 21 0 9 3 20 0 20 0 7344080 11175264256 32828 33554432000 4194304 4196468 140736289397568 139915390027888 139916057754242 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33501184 140736289405633 140736289408407 140736289408407 140736289411023 0
[pid=12897/tid=12969] ppid=12894 vsize=10913344 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/12897/task/12969/stat : 12969 (java) S 12894 12897 11993 0 -1 1077944384 3 12272 0 0 0 0 9 3 20 0 20 0 7344080 11175264256 32828 33554432000 4194304 4196468 140736289397568 139915388976096 139916057753301 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 33501184 140736289405633 140736289408407 140736289408407 140736289411023 0
[pid=12897/tid=12970] ppid=12894 vsize=10913344 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/12897/task/12970/stat : 12970 (java) S 12894 12897 11993 0 -1 1077944384 6 12272 0 0 0 0 9 3 20 0 20 0 7344081 11175264256 32828 33554432000 4194304 4196468 140736289397568 139915387923632 139916057754242 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33501184 140736289405633 140736289408407 140736289408407 140736289411023 0
Current children cumulated CPU time (s) 1.95
Current children cumulated vsize (KiB) 10913344
[startup+3.10115 s]
/proc/loadavg: 3.38 1.86 1.63 4/281 12970
/proc/meminfo: memFree=31000984/32770624 swapFree=6384/327024
[pid=12897] ppid=12894 vsize=10923772 CPUtime=6.49 cores=0,2,4,6,8,10,12,14
/proc/12897/stat : 12897 (java) S 12894 12897 11993 0 -1 1077944320 41310 12272 0 0 617 20 9 3 20 0 20 0 7344045 11185942528 53721 33554432000 4194304 4196468 140736289397568 140736289380112 139916057743095 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 12 0 0 6293624 6294260 33501184 140736289405633 140736289408407 140736289408407 140736289411023 0
/proc/12897/statm: 2730943 53721 3477 1 0 2718498 0
[pid=12897/tid=12952] ppid=12894 vsize=10923772 CPUtime=2.89 cores=0,2,4,6,8,10,12,14
/proc/12897/task/12952/stat : 12952 (java) R 12894 12897 11993 0 -1 4202560 24256 12272 0 0 269 8 9 3 20 0 20 0 7344071 11185942528 53721 33554432000 4194304 4196468 140736289397568 139916061972200 139916057755030 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33501184 140736289405633 140736289408407 140736289408407 140736289411023 0
[pid=12897/tid=12953] ppid=12894 vsize=10923772 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/12897/task/12953/stat : 12953 (java) S 12894 12897 11993 0 -1 1077944384 31 12272 0 0 1 0 9 3 20 0 20 0 7344072 11185942528 53773 33554432000 4194304 4196468 140736289397568 139916010363920 139916057753301 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33501184 140736289405633 140736289408407 140736289408407 140736289411023 0
[pid=12897/tid=12954] ppid=12894 vsize=10923772 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/12897/task/12954/stat : 12954 (java) S 12894 12897 11993 0 -1 1077944384 18 12272 0 0 1 0 9 3 20 0 20 0 7344072 11185942528 53773 33554432000 4194304 4196468 140736289397568 139915663432848 139916057753301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33501184 140736289405633 140736289408407 140736289408407 140736289411023 0
[pid=12897/tid=12955] ppid=12894 vsize=10923772 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/12897/task/12955/stat : 12955 (java) S 12894 12897 11993 0 -1 1077944384 122 12272 0 0 0 0 9 3 20 0 20 0 7344072 11185942528 53773 33554432000 4194304 4196468 140736289397568 139915662379792 139916057753301 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 33501184 140736289405633 140736289408407 140736289408407 140736289411023 0
[pid=12897/tid=12956] ppid=12894 vsize=10923772 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/12897/task/12956/stat : 12956 (java) S 12894 12897 11993 0 -1 1077944384 18 12272 0 0 0 0 9 3 20 0 20 0 7344072 11185942528 53773 33554432000 4194304 4196468 140736289397568 139915661327248 139916057753301 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 33501184 140736289405633 140736289408407 140736289408407 140736289411023 0
[pid=12897/tid=12957] ppid=12894 vsize=10923772 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/12897/task/12957/stat : 12957 (java) S 12894 12897 11993 0 -1 1077944384 23 12272 0 0 0 0 9 3 20 0 20 0 7344072 11185942528 53773 33554432000 4194304 4196468 140736289397568 139915660274192 139916057753301 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33501184 140736289405633 140736289408407 140736289408407 140736289411023 0
[pid=12897/tid=12958] ppid=12894 vsize=10923772 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/12897/task/12958/stat : 12958 (java) S 12894 12897 11993 0 -1 1077944384 39 12272 0 0 1 0 9 3 20 0 20 0 7344072 11185942528 53773 33554432000 4194304 4196468 140736289397568 139915659221648 139916057753301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33501184 140736289405633 140736289408407 140736289408407 140736289411023 0
[pid=12897/tid=12959] ppid=12894 vsize=10923772 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/12897/task/12959/stat : 12959 (java) S 12894 12897 11993 0 -1 1077944384 40 12272 0 0 1 0 9 3 20 0 20 0 7344072 11185942528 53773 33554432000 4194304 4196468 140736289397568 139915658168592 139916057753301 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 33501184 140736289405633 140736289408407 140736289408407 140736289411023 0
[pid=12897/tid=12960] ppid=12894 vsize=10923772 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/12897/task/12960/stat : 12960 (java) S 12894 12897 11993 0 -1 1077944384 54 12272 0 0 1 0 9 3 20 0 20 0 7344072 11185942528 53773 33554432000 4194304 4196468 140736289397568 139915657116048 139916057753301 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 33501184 140736289405633 140736289408407 140736289408407 140736289411023 0
[pid=12897/tid=12961] ppid=12894 vsize=10923772 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/12897/task/12961/stat : 12961 (java) S 12894 12897 11993 0 -1 1077944384 1510 12272 0 0 1 0 9 3 20 0 20 0 7344074 11185942528 53773 33554432000 4194304 4196468 140736289397568 139915397397232 139916057754242 0 0 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 33501184 140736289405633 140736289408407 140736289408407 140736289411023 0
[pid=12897/tid=12962] ppid=12894 vsize=10923772 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/12897/task/12962/stat : 12962 (java) S 12894 12897 11993 0 -1 1077944384 55 12272 0 0 0 0 9 3 20 0 20 0 7344075 11185942528 53773 33554432000 4194304 4196468 140736289397568 139915396343520 139916057753301 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 33501184 140736289405633 140736289408407 140736289408407 140736289411023 0
[pid=12897/tid=12963] ppid=12894 vsize=10923772 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/12897/task/12963/stat : 12963 (java) S 12894 12897 11993 0 -1 1077944384 46 12272 0 0 0 0 9 3 20 0 20 0 7344076 11185942528 53773 33554432000 4194304 4196468 140736289397568 139915395290368 139916057753301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33501184 140736289405633 140736289408407 140736289408407 140736289411023 0
[pid=12897/tid=12964] ppid=12894 vsize=10923772 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/12897/task/12964/stat : 12964 (java) S 12894 12897 11993 0 -1 1077944384 1 12272 0 0 0 0 9 3 20 0 20 0 7344080 11185942528 53773 33554432000 4194304 4196468 140736289397568 139915394238928 139916057761691 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 33501184 140736289405633 140736289408407 140736289408407 140736289411023 0
[pid=12897/tid=12965] ppid=12894 vsize=10923772 CPUtime=0.86 cores=0,2,4,6,8,10,12,14
/proc/12897/task/12965/stat : 12965 (java) S 12894 12897 11993 0 -1 1077944384 1989 12272 0 0 73 1 9 3 20 0 20 0 7344080 11185942528 53773 33554432000 4194304 4196468 140736289397568 139915393186032 139916057754242 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 33501184 140736289405633 140736289408407 140736289408407 140736289411023 0
[pid=12897/tid=12966] ppid=12894 vsize=10923772 CPUtime=0.83 cores=0,2,4,6,8,10,12,14
/proc/12897/task/12966/stat : 12966 (java) S 12894 12897 11993 0 -1 1077944384 2498 12272 0 0 70 1 9 3 20 0 20 0 7344080 11185942528 53773 33554432000 4194304 4196468 140736289397568 139915392133488 139916057754242 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 33501184 140736289405633 140736289408407 140736289408407 140736289411023 0
[pid=12897/tid=12967] ppid=12894 vsize=10923772 CPUtime=1 cores=0,2,4,6,8,10,12,14
/proc/12897/task/12967/stat : 12967 (java) S 12894 12897 11993 0 -1 1077944384 4719 12272 0 0 87 1 9 3 20 0 20 0 7344080 11185942528 53773 33554432000 4194304 4196468 140736289397568 139915391080432 139916057754242 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 33501184 140736289405633 140736289408407 140736289408407 140736289411023 0
[pid=12897/tid=12968] ppid=12894 vsize=10923772 CPUtime=1.17 cores=0,2,4,6,8,10,12,14
/proc/12897/task/12968/stat : 12968 (java) R 12894 12897 11993 0 -1 4202560 3754 12272 0 0 104 1 9 3 20 0 20 0 7344080 11185942528 53773 33554432000 4194304 4196468 140736289397568 139915390027888 139916037457884 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33501184 140736289405633 140736289408407 140736289408407 140736289411023 0
[pid=12897/tid=12969] ppid=12894 vsize=10923772 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/12897/task/12969/stat : 12969 (java) S 12894 12897 11993 0 -1 1077944384 3 12272 0 0 0 0 9 3 20 0 20 0 7344080 11185942528 53773 33554432000 4194304 4196468 140736289397568 139915388976096 139916057753301 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 33501184 140736289405633 140736289408407 140736289408407 140736289411023 0
[pid=12897/tid=12970] ppid=12894 vsize=10923772 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/12897/task/12970/stat : 12970 (java) S 12894 12897 11993 0 -1 1077944384 8 12272 0 0 0 0 9 3 20 0 20 0 7344081 11185942528 53773 33554432000 4194304 4196468 140736289397568 139915387923632 139916057754242 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33501184 140736289405633 140736289408407 140736289408407 140736289411023 0
Current children cumulated CPU time (s) 6.49
Current children cumulated vsize (KiB) 10923772
[startup+6.30126 s]
/proc/loadavg: 3.51 1.91 1.65 7/281 12970
/proc/meminfo: memFree=30237700/32770624 swapFree=6384/327036
[pid=12897] ppid=12894 vsize=10927868 CPUtime=19.93 cores=0,2,4,6,8,10,12,14
/proc/12897/stat : 12897 (java) S 12894 12897 11993 0 -1 1077944320 79231 12272 0 0 1927 54 9 3 20 0 20 0 7344045 11190136832 113440 33554432000 4194304 4196468 140736289397568 140736289380112 139916057743095 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 12 0 0 6293624 6294260 33501184 140736289405633 140736289408407 140736289408407 140736289411023 0
/proc/12897/statm: 2731967 113440 3508 1 0 2719522 0
[pid=12897/tid=12952] ppid=12894 vsize=10927868 CPUtime=5.96 cores=0,2,4,6,8,10,12,14
/proc/12897/task/12952/stat : 12952 (java) R 12894 12897 11993 0 -1 4202560 25613 12272 0 0 573 11 9 3 20 0 20 0 7344071 11190136832 113440 33554432000 4194304 4196468 140736289397568 139916061972296 139915697286476 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33501184 140736289405633 140736289408407 140736289408407 140736289411023 0
[pid=12897/tid=12953] ppid=12894 vsize=10927868 CPUtime=0.22 cores=0,2,4,6,8,10,12,14
/proc/12897/task/12953/stat : 12953 (java) S 12894 12897 11993 0 -1 1077944384 122 12272 0 0 7 3 9 3 20 0 20 0 7344072 11190136832 113440 33554432000 4194304 4196468 140736289397568 139916010363920 139916057753301 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 33501184 140736289405633 140736289408407 140736289408407 140736289411023 0
[pid=12897/tid=12954] ppid=12894 vsize=10927868 CPUtime=0.23 cores=0,2,4,6,8,10,12,14
/proc/12897/task/12954/stat : 12954 (java) S 12894 12897 11993 0 -1 1077944384 125 12272 0 0 8 3 9 3 20 0 20 0 7344072 11190136832 113440 33554432000 4194304 4196468 140736289397568 139915663432848 139916057753301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33501184 140736289405633 140736289408407 140736289408407 140736289411023 0
[pid=12897/tid=12955] ppid=12894 vsize=10927868 CPUtime=0.21 cores=0,2,4,6,8,10,12,14
/proc/12897/task/12955/stat : 12955 (java) S 12894 12897 11993 0 -1 1077944384 215 12272 0 0 6 3 9 3 20 0 20 0 7344072 11190136832 113440 33554432000 4194304 4196468 140736289397568 139915662379792 139916057753301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33501184 140736289405633 140736289408407 140736289408407 140736289411023 0
[pid=12897/tid=12956] ppid=12894 vsize=10927868 CPUtime=0.22 cores=0,2,4,6,8,10,12,14
/proc/12897/task/12956/stat : 12956 (java) S 12894 12897 11993 0 -1 1077944384 78 12272 0 0 6 4 9 3 20 0 20 0 7344072 11190136832 113440 33554432000 4194304 4196468 140736289397568 139915661327248 139916057753301 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 33501184 140736289405633 140736289408407 140736289408407 140736289411023 0
[pid=12897/tid=12957] ppid=12894 vsize=10927868 CPUtime=0.22 cores=0,2,4,6,8,10,12,14
/proc/12897/task/12957/stat : 12957 (java) S 12894 12897 11993 0 -1 1077944384 181 12272 0 0 7 3 9 3 20 0 20 0 7344072 11190136832 113440 33554432000 4194304 4196468 140736289397568 139915660274192 139916057753301 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 33501184 140736289405633 140736289408407 140736289408407 140736289411023 0
[pid=12897/tid=12958] ppid=12894 vsize=10927868 CPUtime=0.24 cores=0,2,4,6,8,10,12,14
/proc/12897/task/12958/stat : 12958 (java) S 12894 12897 11993 0 -1 1077944384 149 12272 0 0 8 4 9 3 20 0 20 0 7344072 11190136832 113440 33554432000 4194304 4196468 140736289397568 139915659221648 139916057753301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33501184 140736289405633 140736289408407 140736289408407 140736289411023 0
[pid=12897/tid=12959] ppid=12894 vsize=10927868 CPUtime=0.21 cores=0,2,4,6,8,10,12,14
/proc/12897/task/12959/stat : 12959 (java) S 12894 12897 11993 0 -1 1077944384 119 12272 0 0 6 3 9 3 20 0 20 0 7344072 11190136832 113440 33554432000 4194304 4196468 140736289397568 139915658168592 139916057753301 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33501184 140736289405633 140736289408407 140736289408407 140736289411023 0
[pid=12897/tid=12960] ppid=12894 vsize=10927868 CPUtime=0.19 cores=0,2,4,6,8,10,12,14
/proc/12897/task/12960/stat : 12960 (java) S 12894 12897 11993 0 -1 1077944384 509 12272 0 0 5 2 9 3 20 0 20 0 7344072 11190136832 113440 33554432000 4194304 4196468 140736289397568 139915657116048 139916057753301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33501184 140736289405633 140736289408407 140736289408407 140736289411023 0
[pid=12897/tid=12961] ppid=12894 vsize=10927868 CPUtime=0.14 cores=0,2,4,6,8,10,12,14
/proc/12897/task/12961/stat : 12961 (java) S 12894 12897 11993 0 -1 1077944384 1615 12272 0 0 2 0 9 3 20 0 20 0 7344074 11190136832 113440 33554432000 4194304 4196468 140736289397568 139915397397232 139916057754242 0 0 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 33501184 140736289405633 140736289408407 140736289408407 140736289411023 0
[pid=12897/tid=12962] ppid=12894 vsize=10927868 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/12897/task/12962/stat : 12962 (java) S 12894 12897 11993 0 -1 1077944384 55 12272 0 0 0 0 9 3 20 0 20 0 7344075 11190136832 113440 33554432000 4194304 4196468 140736289397568 139915396343520 139916057753301 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 33501184 140736289405633 140736289408407 140736289408407 140736289411023 0
[pid=12897/tid=12963] ppid=12894 vsize=10927868 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/12897/task/12963/stat : 12963 (java) S 12894 12897 11993 0 -1 1077944384 46 12272 0 0 0 0 9 3 20 0 20 0 7344076 11190136832 113440 33554432000 4194304 4196468 140736289397568 139915395290368 139916057753301 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 33501184 140736289405633 140736289408407 140736289408407 140736289411023 0
[pid=12897/tid=12964] ppid=12894 vsize=10927868 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/12897/task/12964/stat : 12964 (java) S 12894 12897 11993 0 -1 1077944384 1 12272 0 0 0 0 9 3 20 0 20 0 7344080 11190136832 113440 33554432000 4194304 4196468 140736289397568 139915394238928 139916057761691 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 33501184 140736289405633 140736289408407 140736289408407 140736289411023 0
[pid=12897/tid=12965] ppid=12894 vsize=10927868 CPUtime=3.66 cores=0,2,4,6,8,10,12,14
/proc/12897/task/12965/stat : 12965 (java) R 12894 12897 11993 0 -1 4202560 8780 12272 0 0 352 2 9 3 20 0 20 0 7344080 11190136832 113440 33554432000 4194304 4196468 140736289397568 139915393185168 139916042136983 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 33501184 140736289405633 140736289408407 140736289408407 140736289411023 0
[pid=12897/tid=12966] ppid=12894 vsize=10927868 CPUtime=3.78 cores=0,2,4,6,8,10,12,14
/proc/12897/task/12966/stat : 12966 (java) R 12894 12897 11993 0 -1 4202560 11985 12272 0 0 364 2 9 3 20 0 20 0 7344080 11190136832 113440 33554432000 4194304 4196468 140736289397568 139915392118832 139916037429793 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 33501184 140736289405633 140736289408407 140736289408407 140736289411023 0
[pid=12897/tid=12967] ppid=12894 vsize=10927868 CPUtime=3.86 cores=0,2,4,6,8,10,12,14
/proc/12897/task/12967/stat : 12967 (java) R 12894 12897 11993 0 -1 4202560 19958 12272 0 0 371 3 9 3 20 0 20 0 7344080 11190136832 113440 33554432000 4194304 4196468 140736289397568 139915391060144 139916036914454 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33501184 140736289405633 140736289408407 140736289408407 140736289411023 0
[pid=12897/tid=12968] ppid=12894 vsize=10927868 CPUtime=2.18 cores=0,2,4,6,8,10,12,14
/proc/12897/task/12968/stat : 12968 (java) S 12894 12897 11993 0 -1 1077944384 7539 12272 0 0 204 2 9 3 20 0 20 0 7344080 11190136832 113440 33554432000 4194304 4196468 140736289397568 139915390027888 139916057754242 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33501184 140736289405633 140736289408407 140736289408407 140736289411023 0
[pid=12897/tid=12969] ppid=12894 vsize=10927868 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
################
# More data... #
################
[pid=12897/tid=12968] ppid=12894 vsize=10931964 CPUtime=5.42 cores=0,2,4,6,8,10,12,14
/proc/12897/task/12968/stat : 12968 (java) S 12894 12897 11993 0 -1 1077944384 38823 12272 0 0 522 8 9 3 20 0 20 0 7344080 11194331136 603712 33554432000 4194304 4196468 140736289397568 139915390027888 139916057754242 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33501184 140736289405633 140736289408407 140736289408407 140736289411023 0
[pid=12897/tid=12969] ppid=12894 vsize=10931964 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/12897/task/12969/stat : 12969 (java) S 12894 12897 11993 0 -1 1077944384 3 12272 0 0 0 0 9 3 20 0 20 0 7344080 11194331136 603712 33554432000 4194304 4196468 140736289397568 139915388976096 139916057753301 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 33501184 140736289405633 140736289408407 140736289408407 140736289411023 0
[pid=12897/tid=12970] ppid=12894 vsize=10931964 CPUtime=1.72 cores=0,2,4,6,8,10,12,14
/proc/12897/task/12970/stat : 12970 (java) S 12894 12897 11993 0 -1 1077944384 1724 12272 0 0 86 74 9 3 20 0 20 0 7344081 11194331136 603712 33554432000 4194304 4196468 140736289397568 139915387923632 139916057754242 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33501184 140736289405633 140736289408407 140736289408407 140736289411023 0
Current children cumulated CPU time (s) 2400.08
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 12897 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2294.41 s]
/proc/loadavg: 2.09 1.69 1.57 3/282 13205
/proc/meminfo: memFree=27982640/32770624 swapFree=6384/329112
[pid=12897] ppid=12894 vsize=11065092 CPUtime=2400.49 cores=0,2,4,6,8,10,12,14
/proc/12897/stat : 12897 (java) S 12894 12897 11993 0 -1 1077944320 480445 12272 0 0 239457 580 9 3 20 0 22 0 7344045 11330654208 605445 33554432000 4194304 4196468 140736289397568 140736289380112 139916057743095 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 12 0 0 6293624 6294260 33501184 140736289405633 140736289408407 140736289408407 140736289411023 0
/proc/12897/statm: 2766273 605445 3517 1 0 2753828 0
[pid=12897/tid=12952] ppid=12894 vsize=11065092 CPUtime=2273.44 cores=0,2,4,6,8,10,12,14
/proc/12897/task/12952/stat : 12952 (java) S 12894 12897 11993 0 -1 1077944384 152384 12272 0 0 227260 72 9 3 20 0 22 0 7344071 11330654208 605445 33554432000 4194304 4196468 140736289397568 139916061980768 139916057753301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33501184 140736289405633 140736289408407 140736289408407 140736289411023 0
[pid=12897/tid=12953] ppid=12894 vsize=11065092 CPUtime=9.97 cores=0,2,4,6,8,10,12,14
/proc/12897/task/12953/stat : 12953 (java) R 12894 12897 11993 0 -1 4202560 23150 12272 0 0 935 50 9 3 20 0 22 0 7344072 11330654208 605445 33554432000 4194304 4196468 140736289397568 139916010364040 139916050371303 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 33501184 140736289405633 140736289408407 140736289408407 140736289411023 0
[pid=12897/tid=12954] ppid=12894 vsize=11065092 CPUtime=9.89 cores=0,2,4,6,8,10,12,14
/proc/12897/task/12954/stat : 12954 (java) R 12894 12897 11993 0 -1 4202560 17261 12272 0 0 924 53 9 3 20 0 22 0 7344072 11330654208 605445 33554432000 4194304 4196468 140736289397568 139915663432968 139916050371303 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33501184 140736289405633 140736289408407 140736289408407 140736289411023 0
[pid=12897/tid=12955] ppid=12894 vsize=11065092 CPUtime=9.88 cores=0,2,4,6,8,10,12,14
/proc/12897/task/12955/stat : 12955 (java) R 12894 12897 11993 0 -1 4202560 18561 12272 0 0 922 54 9 3 20 0 22 0 7344072 11330654208 605445 33554432000 4194304 4196468 140736289397568 139915662379912 139916050371303 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 33501184 140736289405633 140736289408407 140736289408407 140736289411023 0
[pid=12897/tid=12956] ppid=12894 vsize=11065092 CPUtime=9.86 cores=0,2,4,6,8,10,12,14
/proc/12897/task/12956/stat : 12956 (java) R 12894 12897 11993 0 -1 4202560 15768 12272 0 0 923 51 9 3 20 0 22 0 7344072 11330654208 605445 33554432000 4194304 4196468 140736289397568 139915661327368 139916050371303 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 33501184 140736289405633 140736289408407 140736289408407 140736289411023 0
[pid=12897/tid=12957] ppid=12894 vsize=11065092 CPUtime=9.81 cores=0,2,4,6,8,10,12,14
/proc/12897/task/12957/stat : 12957 (java) R 12894 12897 11993 0 -1 4202560 15903 12272 0 0 918 51 9 3 20 0 22 0 7344072 11330654208 605445 33554432000 4194304 4196468 140736289397568 139915660274312 139916050371303 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33501184 140736289405633 140736289408407 140736289408407 140736289411023 0
[pid=12897/tid=12958] ppid=12894 vsize=11065092 CPUtime=9.95 cores=0,2,4,6,8,10,12,14
/proc/12897/task/12958/stat : 12958 (java) R 12894 12897 11993 0 -1 4202560 17464 12272 0 0 932 51 9 3 20 0 22 0 7344072 11330654208 605445 33554432000 4194304 4196468 140736289397568 139915659221768 139916050371303 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33501184 140736289405633 140736289408407 140736289408407 140736289411023 0
[pid=12897/tid=12959] ppid=12894 vsize=11065092 CPUtime=10.1 cores=0,2,4,6,8,10,12,14
/proc/12897/task/12959/stat : 12959 (java) R 12894 12897 11993 0 -1 4202560 16325 12272 0 0 947 51 9 3 20 0 22 0 7344072 11330654208 605445 33554432000 4194304 4196468 140736289397568 139915658168712 139916050371303 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33501184 140736289405633 140736289408407 140736289408407 140736289411023 0
[pid=12897/tid=12960] ppid=12894 vsize=11065092 CPUtime=9.75 cores=0,2,4,6,8,10,12,14
/proc/12897/task/12960/stat : 12960 (java) R 12894 12897 11993 0 -1 4202560 20233 12272 0 0 914 49 9 3 20 0 22 0 7344072 11330654208 605445 33554432000 4194304 4196468 140736289397568 139915657116248 139916042443710 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 33501184 140736289405633 140736289408407 140736289408407 140736289411023 0
[pid=12897/tid=12961] ppid=12894 vsize=11065092 CPUtime=6.63 cores=0,2,4,6,8,10,12,14
/proc/12897/task/12961/stat : 12961 (java) S 12894 12897 11993 0 -1 1077944384 38875 12272 0 0 606 45 9 3 20 0 22 0 7344074 11330654208 605445 33554432000 4194304 4196468 140736289397568 139915397395856 139916057753301 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33501184 140736289405633 140736289408407 140736289408407 140736289411023 0
[pid=12897/tid=12962] ppid=12894 vsize=11065092 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/12897/task/12962/stat : 12962 (java) S 12894 12897 11993 0 -1 1077944384 61 12272 0 0 0 0 9 3 20 0 22 0 7344075 11330654208 605445 33554432000 4194304 4196468 140736289397568 139915396343520 139916057753301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33501184 140736289405633 140736289408407 140736289408407 140736289411023 0
[pid=12897/tid=12963] ppid=12894 vsize=11065092 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/12897/task/12963/stat : 12963 (java) S 12894 12897 11993 0 -1 1077944384 51 12272 0 0 0 0 9 3 20 0 22 0 7344076 11330654208 605445 33554432000 4194304 4196468 140736289397568 139915395290368 139916057753301 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 33501184 140736289405633 140736289408407 140736289408407 140736289411023 0
[pid=12897/tid=12964] ppid=12894 vsize=11065092 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/12897/task/12964/stat : 12964 (java) S 12894 12897 11993 0 -1 1077944384 316 12272 0 0 0 0 9 3 20 0 22 0 7344080 11330654208 605445 33554432000 4194304 4196468 140736289397568 139915394238928 139916057761691 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 33501184 140736289405633 140736289408407 140736289408407 140736289411023 0
[pid=12897/tid=12965] ppid=12894 vsize=11065092 CPUtime=11.72 cores=0,2,4,6,8,10,12,14
/proc/12897/task/12965/stat : 12965 (java) S 12894 12897 11993 0 -1 1077944384 30652 12272 0 0 1153 7 9 3 20 0 22 0 7344080 11330654208 605445 33554432000 4194304 4196468 140736289397568 139915393186032 139916057754242 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33501184 140736289405633 140736289408407 140736289408407 140736289411023 0
[pid=12897/tid=12966] ppid=12894 vsize=11065092 CPUtime=11.77 cores=0,2,4,6,8,10,12,14
/proc/12897/task/12966/stat : 12966 (java) S 12894 12897 11993 0 -1 1077944384 31716 12272 0 0 1155 10 9 3 20 0 22 0 7344080 11330654208 605445 33554432000 4194304 4196468 140736289397568 139915392133488 139916057754242 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 33501184 140736289405633 140736289408407 140736289408407 140736289411023 0
[pid=12897/tid=12967] ppid=12894 vsize=11065092 CPUtime=12.08 cores=0,2,4,6,8,10,12,14
/proc/12897/task/12967/stat : 12967 (java) S 12894 12897 11993 0 -1 1077944384 38639 12272 0 0 1188 8 9 3 20 0 22 0 7344080 11330654208 605445 33554432000 4194304 4196468 140736289397568 139915391080432 139916057754242 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33501184 140736289405633 140736289408407 140736289408407 140736289411023 0
[pid=12897/tid=12968] ppid=12894 vsize=11065092 CPUtime=5.42 cores=0,2,4,6,8,10,12,14
/proc/12897/task/12968/stat : 12968 (java) S 12894 12897 11993 0 -1 1077944384 38823 12272 0 0 522 8 9 3 20 0 22 0 7344080 11330654208 605445 33554432000 4194304 4196468 140736289397568 139915390027888 139916057754242 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33501184 140736289405633 140736289408407 140736289408407 140736289411023 0
[pid=12897/tid=12969] ppid=12894 vsize=11065092 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/12897/task/12969/stat : 12969 (java) S 12894 12897 11993 0 -1 1077944384 3 12272 0 0 0 0 9 3 20 0 22 0 7344080 11330654208 605445 33554432000 4194304 4196468 140736289397568 139915388976096 139916057753301 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 33501184 140736289405633 140736289408407 140736289408407 140736289411023 0
[pid=12897/tid=12970] ppid=12894 vsize=11065092 CPUtime=1.72 cores=0,2,4,6,8,10,12,14
/proc/12897/task/12970/stat : 12970 (java) S 12894 12897 11993 0 -1 1077944384 1732 12272 0 0 86 74 9 3 20 0 22 0 7344081 11330654208 605445 33554432000 4194304 4196468 140736289397568 139915387923632 139916057754242 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33501184 140736289405633 140736289408407 140736289408407 140736289411023 0
Current children cumulated CPU time (s) 2400.49
Current children cumulated vsize (KiB) 11065092
[startup+2294.8 s]
/proc/loadavg: 2.09 1.69 1.57 10/284 13207
/proc/meminfo: memFree=27972136/32770624 swapFree=6384/329112
[pid=12897] ppid=12894 vsize=11065092 CPUtime=2403.26 cores=0,2,4,6,8,10,12,14
/proc/12897/stat : 12897 (java) S 12894 12897 11993 0 -1 1077944320 480758 12272 0 0 239733 581 9 3 20 0 22 0 7344045 11330654208 605588 33554432000 4194304 4196468 140736289397568 140736289380112 139916057743095 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 12 0 0 6293624 6294260 33501184 140736289405633 140736289408407 140736289408407 140736289411023 0
/proc/12897/statm: 2766273 605588 3517 1 0 2753828 0
[pid=12897/tid=12952] ppid=12894 vsize=11065092 CPUtime=2273.44 cores=0,2,4,6,8,10,12,14
/proc/12897/task/12952/stat : 12952 (java) S 12894 12897 11993 0 -1 1077944384 152385 12272 0 0 227260 72 9 3 20 0 22 0 7344071 11330654208 605588 33554432000 4194304 4196468 140736289397568 139916061980768 139916057753301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33501184 140736289405633 140736289408407 140736289408407 140736289411023 0
[pid=12897/tid=12953] ppid=12894 vsize=11065092 CPUtime=10.32 cores=0,2,4,6,8,10,12,14
/proc/12897/task/12953/stat : 12953 (java) R 12894 12897 11993 0 -1 4202560 23151 12272 0 0 970 50 9 3 20 0 22 0 7344072 11330654208 605588 33554432000 4194304 4196468 140736289397568 139916010363920 139916039340106 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 33501184 140736289405633 140736289408407 140736289408407 140736289411023 0
[pid=12897/tid=12954] ppid=12894 vsize=11065092 CPUtime=10.21 cores=0,2,4,6,8,10,12,14
/proc/12897/task/12954/stat : 12954 (java) R 12894 12897 11993 0 -1 4202560 17266 12272 0 0 956 53 9 3 20 0 22 0 7344072 11330654208 605588 33554432000 4194304 4196468 140736289397568 139915663432848 139916042197852 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33501184 140736289405633 140736289408407 140736289408407 140736289411023 0
[pid=12897/tid=12955] ppid=12894 vsize=11065092 CPUtime=10.23 cores=0,2,4,6,8,10,12,14
/proc/12897/task/12955/stat : 12955 (java) R 12894 12897 11993 0 -1 4202560 18568 12272 0 0 957 54 9 3 20 0 22 0 7344072 11330654208 605588 33554432000 4194304 4196468 140736289397568 139915662379792 139916042751483 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33501184 140736289405633 140736289408407 140736289408407 140736289411023 0
[pid=12897/tid=12956] ppid=12894 vsize=11065092 CPUtime=10.21 cores=0,2,4,6,8,10,12,14
/proc/12897/task/12956/stat : 12956 (java) R 12894 12897 11993 0 -1 4202560 15773 12272 0 0 958 51 9 3 20 0 22 0 7344072 11330654208 605588 33554432000 4194304 4196468 140736289397568 139915661327136 139916042693700 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 33501184 140736289405633 140736289408407 140736289408407 140736289411023 0
[pid=12897/tid=12957] ppid=12894 vsize=11065092 CPUtime=10.16 cores=0,2,4,6,8,10,12,14
/proc/12897/task/12957/stat : 12957 (java) R 12894 12897 11993 0 -1 4202560 15907 12272 0 0 953 51 9 3 20 0 22 0 7344072 11330654208 605588 33554432000 4194304 4196468 140736289397568 139915660274192 139916039339620 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 33501184 140736289405633 140736289408407 140736289408407 140736289411023 0
[pid=12897/tid=12958] ppid=12894 vsize=11065092 CPUtime=10.29 cores=0,2,4,6,8,10,12,14
/proc/12897/task/12958/stat : 12958 (java) R 12894 12897 11993 0 -1 4202560 17475 12272 0 0 966 51 9 3 20 0 22 0 7344072 11330654208 605588 33554432000 4194304 4196468 140736289397568 139915659221648 139916039340106 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33501184 140736289405633 140736289408407 140736289408407 140736289411023 0
[pid=12897/tid=12959] ppid=12894 vsize=11065092 CPUtime=10.45 cores=0,2,4,6,8,10,12,14
/proc/12897/task/12959/stat : 12959 (java) R 12894 12897 11993 0 -1 4202560 16325 12272 0 0 982 51 9 3 20 0 22 0 7344072 11330654208 605588 33554432000 4194304 4196468 140736289397568 139915658168592 139916039339677 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33501184 140736289405633 140736289408407 140736289408407 140736289411023 0
[pid=12897/tid=12960] ppid=12894 vsize=11065092 CPUtime=10.09 cores=0,2,4,6,8,10,12,14
/proc/12897/task/12960/stat : 12960 (java) R 12894 12897 11993 0 -1 4202560 20240 12272 0 0 948 49 9 3 20 0 22 0 7344072 11330654208 605588 33554432000 4194304 4196468 140736289397568 139915657116048 139916039339791 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 33501184 140736289405633 140736289408407 140736289408407 140736289411023 0
[pid=12897/tid=12961] ppid=12894 vsize=11065092 CPUtime=6.67 cores=0,2,4,6,8,10,12,14
/proc/12897/task/12961/stat : 12961 (java) S 12894 12897 11993 0 -1 1077944384 39147 12272 0 0 610 45 9 3 20 0 22 0 7344074 11330654208 605588 33554432000 4194304 4196468 140736289397568 139915397395632 139916057753301 0 0 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 33501184 140736289405633 140736289408407 140736289408407 140736289411023 0
[pid=12897/tid=12962] ppid=12894 vsize=11065092 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/12897/task/12962/stat : 12962 (java) S 12894 12897 11993 0 -1 1077944384 63 12272 0 0 0 0 9 3 20 0 22 0 7344075 11330654208 605588 33554432000 4194304 4196468 140736289397568 139915396343424 139916057753301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33501184 140736289405633 140736289408407 140736289408407 140736289411023 0
[pid=12897/tid=12963] ppid=12894 vsize=11065092 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/12897/task/12963/stat : 12963 (java) S 12894 12897 11993 0 -1 1077944384 51 12272 0 0 0 0 9 3 20 0 22 0 7344076 11330654208 605588 33554432000 4194304 4196468 140736289397568 139915395290368 139916057753301 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 33501184 140736289405633 140736289408407 140736289408407 140736289411023 0
[pid=12897/tid=12964] ppid=12894 vsize=11065092 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/12897/task/12964/stat : 12964 (java) S 12894 12897 11993 0 -1 1077944384 316 12272 0 0 0 0 9 3 20 0 22 0 7344080 11330654208 605588 33554432000 4194304 4196468 140736289397568 139915394238928 139916057761691 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 33501184 140736289405633 140736289408407 140736289408407 140736289411023 0
[pid=12897/tid=12965] ppid=12894 vsize=11065092 CPUtime=11.72 cores=0,2,4,6,8,10,12,14
/proc/12897/task/12965/stat : 12965 (java) S 12894 12897 11993 0 -1 1077944384 30652 12272 0 0 1153 7 9 3 20 0 22 0 7344080 11330654208 605588 33554432000 4194304 4196468 140736289397568 139915393186032 139916057754242 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33501184 140736289405633 140736289408407 140736289408407 140736289411023 0
[pid=12897/tid=12966] ppid=12894 vsize=11065092 CPUtime=11.77 cores=0,2,4,6,8,10,12,14
/proc/12897/task/12966/stat : 12966 (java) S 12894 12897 11993 0 -1 1077944384 31716 12272 0 0 1155 10 9 3 20 0 22 0 7344080 11330654208 605588 33554432000 4194304 4196468 140736289397568 139915392133488 139916057754242 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 33501184 140736289405633 140736289408407 140736289408407 140736289411023 0
[pid=12897/tid=12967] ppid=12894 vsize=11065092 CPUtime=12.08 cores=0,2,4,6,8,10,12,14
/proc/12897/task/12967/stat : 12967 (java) S 12894 12897 11993 0 -1 1077944384 38639 12272 0 0 1188 8 9 3 20 0 22 0 7344080 11330654208 605588 33554432000 4194304 4196468 140736289397568 139915391080432 139916057754242 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33501184 140736289405633 140736289408407 140736289408407 140736289411023 0
[pid=12897/tid=12968] ppid=12894 vsize=11065092 CPUtime=5.42 cores=0,2,4,6,8,10,12,14
/proc/12897/task/12968/stat : 12968 (java) S 12894 12897 11993 0 -1 1077944384 38823 12272 0 0 522 8 9 3 20 0 22 0 7344080 11330654208 605588 33554432000 4194304 4196468 140736289397568 139915390027888 139916057754242 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33501184 140736289405633 140736289408407 140736289408407 140736289411023 0
[pid=12897/tid=12969] ppid=12894 vsize=11065092 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/12897/task/12969/stat : 12969 (java) S 12894 12897 11993 0 -1 1077944384 3 12272 0 0 0 0 9 3 20 0 22 0 7344080 11330654208 605588 33554432000 4194304 4196468 140736289397568 139915388976096 139916057753301 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 33501184 140736289405633 140736289408407 140736289408407 140736289411023 0
[pid=12897/tid=12970] ppid=12894 vsize=11065092 CPUtime=1.72 cores=0,2,4,6,8,10,12,14
/proc/12897/task/12970/stat : 12970 (java) S 12894 12897 11993 0 -1 1077944384 1732 12272 0 0 86 74 9 3 20 0 22 0 7344081 11330654208 605588 33554432000 4194304 4196468 140736289397568 139915387923632 139916057754242 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33501184 140736289405633 140736289408407 140736289408407 140736289411023 0
[pid=12897/tid=13206] ppid=12894 vsize=11065092 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/12897/task/13206/stat : 13206 (java) S 12894 12897 11993 0 -1 1077944384 367 12272 0 0 0 0 9 3 20 0 22 0 7573476 11330654208 605588 33554432000 4194304 4196468 140736289397568 139915357016560 139916057753301 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 33501184 140736289405633 140736289408407 140736289408407 140736289411023 0
[pid=12897/tid=13207] ppid=12894 vsize=11065092 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/12897/task/13207/stat : 13207 (java) S 12894 12897 11993 0 -1 1077944384 31 12272 0 0 0 0 9 3 20 0 22 0 7573476 11330654208 605588 33554432000 4194304 4196468 140736289397568 139915355964736 139916057753301 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 33501184 140736289405633 140736289408407 140736289408407 140736289411023 0
Current children cumulated CPU time (s) 2403.26
Current children cumulated vsize (KiB) 11065092
[startup+2294.9 s]
/proc/loadavg: 2.09 1.69 1.57 10/284 13207
/proc/meminfo: memFree=27972136/32770624 swapFree=6384/329112
[pid=12897] ppid=12894 vsize=11065092 CPUtime=2403.82 cores=0,2,4,6,8,10,12,14
/proc/12897/stat : 12897 (java) S 12894 12897 11993 0 -1 1077944320 480779 12272 0 0 239789 581 9 3 20 0 22 0 7344045 11330654208 605477 33554432000 4194304 4196468 140736289397568 140736289380112 139916057743095 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 12 0 0 6293624 6294260 33501184 140736289405633 140736289408407 140736289408407 140736289411023 0
/proc/12897/statm: 2766273 605477 3517 1 0 2753828 0
[pid=12897/tid=12952] ppid=12894 vsize=11065092 CPUtime=2273.44 cores=0,2,4,6,8,10,12,14
/proc/12897/task/12952/stat : 12952 (java) S 12894 12897 11993 0 -1 1077944384 152386 12272 0 0 227260 72 9 3 20 0 22 0 7344071 11330654208 605477 33554432000 4194304 4196468 140736289397568 139916061980768 139916057753301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33501184 140736289405633 140736289408407 140736289408407 140736289411023 0
[pid=12897/tid=12953] ppid=12894 vsize=11065092 CPUtime=10.38 cores=0,2,4,6,8,10,12,14
/proc/12897/task/12953/stat : 12953 (java) S 12894 12897 11993 0 -1 1077944384 23153 12272 0 0 976 50 9 3 20 0 22 0 7344072 11330654208 605477 33554432000 4194304 4196468 140736289397568 139916010363920 139916057753301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33501184 140736289405633 140736289408407 140736289408407 140736289411023 0
[pid=12897/tid=12954] ppid=12894 vsize=11065092 CPUtime=10.28 cores=0,2,4,6,8,10,12,14
/proc/12897/task/12954/stat : 12954 (java) S 12894 12897 11993 0 -1 1077944384 17270 12272 0 0 963 53 9 3 20 0 22 0 7344072 11330654208 605477 33554432000 4194304 4196468 140736289397568 139915663432848 139916057753301 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33501184 140736289405633 140736289408407 140736289408407 140736289411023 0
[pid=12897/tid=12955] ppid=12894 vsize=11065092 CPUtime=10.29 cores=0,2,4,6,8,10,12,14
/proc/12897/task/12955/stat : 12955 (java) S 12894 12897 11993 0 -1 1077944384 18568 12272 0 0 963 54 9 3 20 0 22 0 7344072 11330654208 605477 33554432000 4194304 4196468 140736289397568 139915662379792 139916057753301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33501184 140736289405633 140736289408407 140736289408407 140736289411023 0
[pid=12897/tid=12956] ppid=12894 vsize=11065092 CPUtime=10.27 cores=0,2,4,6,8,10,12,14
/proc/12897/task/12956/stat : 12956 (java) S 12894 12897 11993 0 -1 1077944384 15776 12272 0 0 964 51 9 3 20 0 22 0 7344072 11330654208 605477 33554432000 4194304 4196468 140736289397568 139915661327248 139916057753301 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 33501184 140736289405633 140736289408407 140736289408407 140736289411023 0
[pid=12897/tid=12957] ppid=12894 vsize=11065092 CPUtime=10.22 cores=0,2,4,6,8,10,12,14
/proc/12897/task/12957/stat : 12957 (java) S 12894 12897 11993 0 -1 1077944384 15909 12272 0 0 959 51 9 3 20 0 22 0 7344072 11330654208 605477 33554432000 4194304 4196468 140736289397568 139915660274192 139916057753301 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 33501184 140736289405633 140736289408407 140736289408407 140736289411023 0
[pid=12897/tid=12958] ppid=12894 vsize=11065092 CPUtime=10.36 cores=0,2,4,6,8,10,12,14
/proc/12897/task/12958/stat : 12958 (java) S 12894 12897 11993 0 -1 1077944384 17475 12272 0 0 973 51 9 3 20 0 22 0 7344072 11330654208 605477 33554432000 4194304 4196468 140736289397568 139915659221648 139916057753301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33501184 140736289405633 140736289408407 140736289408407 140736289411023 0
[pid=12897/tid=12959] ppid=12894 vsize=11065092 CPUtime=10.51 cores=0,2,4,6,8,10,12,14
/proc/12897/task/12959/stat : 12959 (java) S 12894 12897 11993 0 -1 1077944384 16327 12272 0 0 988 51 9 3 20 0 22 0 7344072 11330654208 605477 33554432000 4194304 4196468 140736289397568 139915658168592 139916057753301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33501184 140736289405633 140736289408407 140736289408407 140736289411023 0
[pid=12897/tid=12960] ppid=12894 vsize=11065092 CPUtime=10.16 cores=0,2,4,6,8,10,12,14
/proc/12897/task/12960/stat : 12960 (java) S 12894 12897 11993 0 -1 1077944384 20244 12272 0 0 955 49 9 3 20 0 22 0 7344072 11330654208 605477 33554432000 4194304 4196468 140736289397568 139915657116048 139916057753301 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 33501184 140736289405633 140736289408407 140736289408407 140736289411023 0
[pid=12897/tid=12961] ppid=12894 vsize=11065092 CPUtime=6.71 cores=0,2,4,6,8,10,12,14
/proc/12897/task/12961/stat : 12961 (java) R 12894 12897 11993 0 -1 4202560 39147 12272 0 0 614 45 9 3 20 0 22 0 7344074 11330654208 605477 33554432000 4194304 4196468 140736289397568 139915397395632 139916042099289 0 0 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 33501184 140736289405633 140736289408407 140736289408407 140736289411023 0
[pid=12897/tid=12962] ppid=12894 vsize=11065092 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/12897/task/12962/stat : 12962 (java) S 12894 12897 11993 0 -1 1077944384 63 12272 0 0 0 0 9 3 20 0 22 0 7344075 11330654208 605477 33554432000 4194304 4196468 140736289397568 139915396343424 139916057753301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33501184 140736289405633 140736289408407 140736289408407 140736289411023 0
[pid=12897/tid=12963] ppid=12894 vsize=11065092 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/12897/task/12963/stat : 12963 (java) S 12894 12897 11993 0 -1 1077944384 51 12272 0 0 0 0 9 3 20 0 22 0 7344076 11330654208 605477 33554432000 4194304 4196468 140736289397568 139915395290368 139916057753301 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 33501184 140736289405633 140736289408407 140736289408407 140736289411023 0
[pid=12897/tid=12964] ppid=12894 vsize=11065092 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/12897/task/12964/stat : 12964 (java) S 12894 12897 11993 0 -1 1077944384 316 12272 0 0 0 0 9 3 20 0 22 0 7344080 11330654208 605477 33554432000 4194304 4196468 140736289397568 139915394238928 139916057761691 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 33501184 140736289405633 140736289408407 140736289408407 140736289411023 0
[pid=12897/tid=12965] ppid=12894 vsize=11065092 CPUtime=11.72 cores=0,2,4,6,8,10,12,14
/proc/12897/task/12965/stat : 12965 (java) S 12894 12897 11993 0 -1 1077944384 30652 12272 0 0 1153 7 9 3 20 0 22 0 7344080 11330654208 605477 33554432000 4194304 4196468 140736289397568 139915393186032 139916057754242 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33501184 140736289405633 140736289408407 140736289408407 140736289411023 0
[pid=12897/tid=12966] ppid=12894 vsize=11065092 CPUtime=11.77 cores=0,2,4,6,8,10,12,14
/proc/12897/task/12966/stat : 12966 (java) S 12894 12897 11993 0 -1 1077944384 31716 12272 0 0 1155 10 9 3 20 0 22 0 7344080 11330654208 605477 33554432000 4194304 4196468 140736289397568 139915392133488 139916057754242 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 33501184 140736289405633 140736289408407 140736289408407 140736289411023 0
[pid=12897/tid=12967] ppid=12894 vsize=11065092 CPUtime=12.08 cores=0,2,4,6,8,10,12,14
/proc/12897/task/12967/stat : 12967 (java) S 12894 12897 11993 0 -1 1077944384 38639 12272 0 0 1188 8 9 3 20 0 22 0 7344080 11330654208 605477 33554432000 4194304 4196468 140736289397568 139915391080432 139916057754242 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33501184 140736289405633 140736289408407 140736289408407 140736289411023 0
[pid=12897/tid=12968] ppid=12894 vsize=11065092 CPUtime=5.42 cores=0,2,4,6,8,10,12,14
/proc/12897/task/12968/stat : 12968 (java) S 12894 12897 11993 0 -1 1077944384 38823 12272 0 0 522 8 9 3 20 0 22 0 7344080 11330654208 605477 33554432000 4194304 4196468 140736289397568 139915390027888 139916057754242 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33501184 140736289405633 140736289408407 140736289408407 140736289411023 0
[pid=12897/tid=12969] ppid=12894 vsize=11065092 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/12897/task/12969/stat : 12969 (java) S 12894 12897 11993 0 -1 1077944384 3 12272 0 0 0 0 9 3 20 0 22 0 7344080 11330654208 605477 33554432000 4194304 4196468 140736289397568 139915388976096 139916057753301 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 33501184 140736289405633 140736289408407 140736289408407 140736289411023 0
[pid=12897/tid=12970] ppid=12894 vsize=11065092 CPUtime=1.72 cores=0,2,4,6,8,10,12,14
/proc/12897/task/12970/stat : 12970 (java) S 12894 12897 11993 0 -1 1077944384 1732 12272 0 0 86 74 9 3 20 0 22 0 7344081 11330654208 605477 33554432000 4194304 4196468 140736289397568 139915387923632 139916057754242 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 33501184 140736289405633 140736289408407 140736289408407 140736289411023 0
[pid=12897/tid=13206] ppid=12894 vsize=11065092 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/12897/task/13206/stat : 13206 (java) S 12894 12897 11993 0 -1 1077944384 367 12272 0 0 0 0 9 3 20 0 22 0 7573476 11330654208 605477 33554432000 4194304 4196468 140736289397568 139915357016560 139916057753301 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 33501184 140736289405633 140736289408407 140736289408407 140736289411023 0
[pid=12897/tid=13207] ppid=12894 vsize=11065092 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/12897/task/13207/stat : 13207 (java) S 12894 12897 11993 0 -1 1077944384 32 12272 0 0 0 0 9 3 20 0 22 0 7573476 11330654208 605477 33554432000 4194304 4196468 140736289397568 139915355964736 139916057753301 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 33501184 140736289405633 140736289408407 140736289408407 140736289411023 0
Current children cumulated CPU time (s) 2403.82
Current children cumulated vsize (KiB) 11065092
Child status: 143
Real time (s): 2294.97
CPU time (s): 2404.03
CPU user time (s): 2398.15
CPU system time (s): 5.87955
CPU usage (%): 104.752
Max. virtual memory (cumulated for all children) (KiB): 11065092
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2398.15
system time used= 5.87955
maximum resident set size= 2817396
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 493452
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2720
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 278387
involuntary context switches= 177887
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.4338 second user time and 20.6719 second system time
The end