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-4263869-1502279782/watcher-4263869-1502279782 -o /tmp/evaluation-result-4263869-1502279782/solver-4263869-1502279782 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node127-1502258002-23062 --watchdog 2580 java -jar HOME/AbsCon-basic.jar HOME/instance-4263869-1502279782.xml
pid=28572
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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: 2.01 1.95 1.83 2/196 28575
/proc/meminfo: memFree=30716668/32770624 swapFree=0/451100
[pid=28575] ppid=28572 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/28575/stat : 28575 (runsolver) D 28572 28575 16590 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 30171770 24240128 107 18446744073709551615 4194304 4338465 140721292420192 140721292417832 140393654776535 0 0 1 24578 18446744071580418449 0 0 17 7 0 0 0 0 0 6438912 6441760 31440896 140721292423328 140721292423754 140721292423754 140721292427210 0
/proc/28575/statm: 5918 107 54 36 0 2156 0
[startup+0.106715 s]
/proc/loadavg: 2.01 1.95 1.83 2/196 28575
/proc/meminfo: memFree=30716668/32770624 swapFree=0/451100
[pid=28575] ppid=28572 vsize=9953008 CPUtime=0.01 cores=1,3,5,7
/proc/28575/stat : 28575 (java) S 28572 28575 16590 0 -1 1077944320 3669 0 0 0 1 0 0 0 20 0 7 0 30171770 10191880192 4385 18446744073709551615 4194304 4196468 140724025785664 140724025768208 140519305481975 0 0 1 16784584 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 37580800 140724025790926 140724025791055 140724025791055 140724025794511 0
/proc/28575/statm: 2488252 4385 1984 1 0 2477749 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9953008
[startup+0.205524 s]
/proc/loadavg: 2.01 1.95 1.83 2/196 28575
/proc/meminfo: memFree=30716668/32770624 swapFree=0/451100
[pid=28575] ppid=28572 vsize=10551180 CPUtime=0.09 cores=1,3,5,7
/proc/28575/stat : 28575 (java) S 28572 28575 16590 0 -1 1077944320 5266 0 0 0 8 1 0 0 20 0 15 0 30171770 10804408320 6752 18446744073709551615 4194304 4196468 140724025785664 140724025768208 140519305481975 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 37580800 140724025790926 140724025791055 140724025791055 140724025794511 0
/proc/28575/statm: 2637795 6752 2666 1 0 2627261 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10551180
[startup+0.300479 s]
/proc/loadavg: 2.01 1.95 1.83 2/196 28575
/proc/meminfo: memFree=30716668/32770624 swapFree=0/451100
[pid=28575] ppid=28572 vsize=10553264 CPUtime=0.27 cores=1,3,5,7
/proc/28575/stat : 28575 (java) S 28572 28575 16590 0 -1 1077944320 8831 0 0 0 25 2 0 0 20 0 15 0 30171770 10806542336 9692 18446744073709551615 4194304 4196468 140724025785664 140724025768208 140519305481975 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 37580800 140724025790926 140724025791055 140724025791055 140724025794511 0
/proc/28575/statm: 2638316 9692 2948 1 0 2627261 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 10553264
[startup+0.704166 s]
/proc/loadavg: 2.01 1.95 1.83 2/196 28575
/proc/meminfo: memFree=30716668/32770624 swapFree=0/451100
[pid=28575] ppid=28572 vsize=10621952 CPUtime=1.25 cores=1,3,5,7
/proc/28575/stat : 28575 (java) S 28572 28575 16590 0 -1 1077944320 12915 0 0 0 121 4 0 0 20 0 16 0 30171770 10876878848 20854 18446744073709551615 4194304 4196468 140724025785664 140724025768208 140519305481975 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 37580800 140724025790926 140724025791055 140724025791055 140724025794511 0
/proc/28575/statm: 2655488 20854 3083 1 0 2644414 0
Current children cumulated CPU time (s) 1.25
Current children cumulated vsize (KiB) 10621952
[startup+1.50076 s]
/proc/loadavg: 2.01 1.95 1.83 6/212 28591
/proc/meminfo: memFree=30564320/32770624 swapFree=0/451100
[pid=28575] ppid=28572 vsize=10624000 CPUtime=3.82 cores=1,3,5,7
/proc/28575/stat : 28575 (java) S 28572 28575 16590 0 -1 1077944320 23089 0 0 0 367 15 0 0 20 0 16 0 30171770 10878976000 64879 18446744073709551615 4194304 4196468 140724025785664 140724025768208 140519305481975 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 37580800 140724025790926 140724025791055 140724025791055 140724025794511 0
/proc/28575/statm: 2656000 64879 3123 1 0 2644926 0
[pid=28575/tid=28577] ppid=28572 vsize=10624000 CPUtime=0.2 cores=1,3,5,7
/proc/28575/task/28577/stat : 28577 (java) S 28572 28575 16590 0 -1 1077944384 6167 0 0 0 19 1 0 0 20 0 16 0 30171779 10878976000 64879 18446744073709551615 4194304 4196468 140724025785664 140519309724848 140519305492181 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 3 0 0 6293624 6294260 37580800 140724025790926 140724025791055 140724025791055 140724025794511 0
[pid=28575/tid=28578] ppid=28572 vsize=10624000 CPUtime=0.02 cores=1,3,5,7
/proc/28575/task/28578/stat : 28578 (java) S 28572 28575 16590 0 -1 1077944384 38 0 0 0 1 1 0 0 20 0 16 0 30171780 10878976000 64879 18446744073709551615 4194304 4196468 140724025785664 140519251831056 140519305492181 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37580800 140724025790926 140724025791055 140724025791055 140724025794511 0
[pid=28575/tid=28579] ppid=28572 vsize=10624000 CPUtime=0.02 cores=1,3,5,7
/proc/28575/task/28579/stat : 28579 (java) S 28572 28575 16590 0 -1 1077944384 36 0 0 0 1 1 0 0 20 0 16 0 30171780 10878976000 64879 18446744073709551615 4194304 4196468 140724025785664 140518915627408 140519305492181 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37580800 140724025790926 140724025791055 140724025791055 140724025794511 0
[pid=28575/tid=28580] ppid=28572 vsize=10624000 CPUtime=0.02 cores=1,3,5,7
/proc/28575/task/28580/stat : 28580 (java) S 28572 28575 16590 0 -1 1077944384 50 0 0 0 1 1 0 0 20 0 16 0 30171780 10878976000 64879 18446744073709551615 4194304 4196468 140724025785664 140518914574864 140519305492181 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37580800 140724025790926 140724025791055 140724025791055 140724025794511 0
[pid=28575/tid=28581] ppid=28572 vsize=10624000 CPUtime=0.02 cores=1,3,5,7
/proc/28575/task/28581/stat : 28581 (java) S 28572 28575 16590 0 -1 1077944384 36 0 0 0 1 1 0 0 20 0 16 0 30171780 10878976000 64879 18446744073709551615 4194304 4196468 140724025785664 140518913522320 140519305492181 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37580800 140724025790926 140724025791055 140724025791055 140724025794511 0
[pid=28575/tid=28582] ppid=28572 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/28575/task/28582/stat : 28582 (java) S 28572 28575 16590 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 16 0 30171781 10878976000 64879 18446744073709551615 4194304 4196468 140724025785664 140518869621232 140519305493122 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37580800 140724025790926 140724025791055 140724025791055 140724025794511 0
[pid=28575/tid=28583] ppid=28572 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/28575/task/28583/stat : 28583 (java) S 28572 28575 16590 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 30171782 10878976000 64879 18446744073709551615 4194304 4196468 140724025785664 140518868567456 140519305492181 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37580800 140724025790926 140724025791055 140724025791055 140724025794511 0
[pid=28575/tid=28584] ppid=28572 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/28575/task/28584/stat : 28584 (java) S 28572 28575 16590 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 30171782 10878976000 64879 18446744073709551615 4194304 4196468 140724025785664 140518867514864 140519305492181 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37580800 140724025790926 140724025791055 140724025791055 140724025794511 0
[pid=28575/tid=28585] ppid=28572 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/28575/task/28585/stat : 28585 (java) S 28572 28575 16590 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 30171784 10878976000 64879 18446744073709551615 4194304 4196468 140724025785664 140518866463440 140519305500571 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37580800 140724025790926 140724025791055 140724025791055 140724025794511 0
[pid=28575/tid=28586] ppid=28572 vsize=10624000 CPUtime=0.89 cores=1,3,5,7
/proc/28575/task/28586/stat : 28586 (java) R 28572 28575 16590 0 -1 4202560 5143 0 0 0 88 1 0 0 20 0 16 0 30171784 10878976000 64879 18446744073709551615 4194304 4196468 140724025785664 140518865396056 140519290591551 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37580800 140724025790926 140724025791055 140724025791055 140724025794511 0
[pid=28575/tid=28587] ppid=28572 vsize=10624000 CPUtime=0.89 cores=1,3,5,7
/proc/28575/task/28587/stat : 28587 (java) R 28572 28575 16590 0 -1 4202560 3529 0 0 0 88 1 0 0 20 0 16 0 30171784 10878976000 64879 18446744073709551615 4194304 4196468 140724025785664 140518864338912 140519288978763 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37580800 140724025790926 140724025791055 140724025791055 140724025794511 0
[pid=28575/tid=28588] ppid=28572 vsize=10624000 CPUtime=0.55 cores=1,3,5,7
/proc/28575/task/28588/stat : 28588 (java) S 28572 28575 16590 0 -1 1077944384 3521 0 0 0 54 1 0 0 20 0 16 0 30171784 10878976000 64879 18446744073709551615 4194304 4196468 140724025785664 140518863304944 140519305493122 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37580800 140724025790926 140724025791055 140724025791055 140724025794511 0
[pid=28575/tid=28589] ppid=28572 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/28575/task/28589/stat : 28589 (java) S 28572 28575 16590 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 30171784 10878976000 64879 18446744073709551615 4194304 4196468 140724025785664 140518862252640 140519305492181 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37580800 140724025790926 140724025791055 140724025791055 140724025794511 0
[pid=28575/tid=28590] ppid=28572 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/28575/task/28590/stat : 28590 (java) S 28572 28575 16590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 30171788 10878976000 64879 18446744073709551615 4194304 4196468 140724025785664 140518861200176 140519305493122 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37580800 140724025790926 140724025791055 140724025791055 140724025794511 0
[pid=28575/tid=28591] ppid=28572 vsize=10624000 CPUtime=1.11 cores=1,3,5,7
/proc/28575/task/28591/stat : 28591 (java) R 28572 28575 16590 0 -1 4202560 3128 0 0 0 108 3 0 0 20 0 16 0 30171805 10878976000 64879 18446744073709551615 4194304 4196468 140724025785664 140518858007872 140518937181047 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37580800 140724025790926 140724025791055 140724025791055 140724025794511 0
Current children cumulated CPU time (s) 3.82
Current children cumulated vsize (KiB) 10624000
[startup+3.10062 s]
/proc/loadavg: 2.01 1.95 1.83 5/212 28591
/proc/meminfo: memFree=30454392/32770624 swapFree=0/451080
[pid=28575] ppid=28572 vsize=10624000 CPUtime=6.98 cores=1,3,5,7
/proc/28575/stat : 28575 (java) S 28572 28575 16590 0 -1 1077944320 27641 0 0 0 681 17 0 0 20 0 16 0 30171770 10878976000 66217 18446744073709551615 4194304 4196468 140724025785664 140724025768208 140519305481975 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 37580800 140724025790926 140724025791055 140724025791055 140724025794511 0
/proc/28575/statm: 2656000 66217 3127 1 0 2644926 0
[pid=28575/tid=28577] ppid=28572 vsize=10624000 CPUtime=0.2 cores=1,3,5,7
/proc/28575/task/28577/stat : 28577 (java) S 28572 28575 16590 0 -1 1077944384 6167 0 0 0 19 1 0 0 20 0 16 0 30171779 10878976000 66217 18446744073709551615 4194304 4196468 140724025785664 140519309724848 140519305492181 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 3 0 0 6293624 6294260 37580800 140724025790926 140724025791055 140724025791055 140724025794511 0
[pid=28575/tid=28578] ppid=28572 vsize=10624000 CPUtime=0.02 cores=1,3,5,7
/proc/28575/task/28578/stat : 28578 (java) S 28572 28575 16590 0 -1 1077944384 38 0 0 0 1 1 0 0 20 0 16 0 30171780 10878976000 66217 18446744073709551615 4194304 4196468 140724025785664 140519251831056 140519305492181 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37580800 140724025790926 140724025791055 140724025791055 140724025794511 0
[pid=28575/tid=28579] ppid=28572 vsize=10624000 CPUtime=0.02 cores=1,3,5,7
/proc/28575/task/28579/stat : 28579 (java) S 28572 28575 16590 0 -1 1077944384 36 0 0 0 1 1 0 0 20 0 16 0 30171780 10878976000 66217 18446744073709551615 4194304 4196468 140724025785664 140518915627408 140519305492181 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37580800 140724025790926 140724025791055 140724025791055 140724025794511 0
[pid=28575/tid=28580] ppid=28572 vsize=10624000 CPUtime=0.02 cores=1,3,5,7
/proc/28575/task/28580/stat : 28580 (java) S 28572 28575 16590 0 -1 1077944384 50 0 0 0 1 1 0 0 20 0 16 0 30171780 10878976000 66217 18446744073709551615 4194304 4196468 140724025785664 140518914574864 140519305492181 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37580800 140724025790926 140724025791055 140724025791055 140724025794511 0
[pid=28575/tid=28581] ppid=28572 vsize=10624000 CPUtime=0.02 cores=1,3,5,7
/proc/28575/task/28581/stat : 28581 (java) S 28572 28575 16590 0 -1 1077944384 36 0 0 0 1 1 0 0 20 0 16 0 30171780 10878976000 66217 18446744073709551615 4194304 4196468 140724025785664 140518913522320 140519305492181 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37580800 140724025790926 140724025791055 140724025791055 140724025794511 0
[pid=28575/tid=28582] ppid=28572 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/28575/task/28582/stat : 28582 (java) S 28572 28575 16590 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 16 0 30171781 10878976000 66217 18446744073709551615 4194304 4196468 140724025785664 140518869621232 140519305493122 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37580800 140724025790926 140724025791055 140724025791055 140724025794511 0
[pid=28575/tid=28583] ppid=28572 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/28575/task/28583/stat : 28583 (java) S 28572 28575 16590 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 30171782 10878976000 66217 18446744073709551615 4194304 4196468 140724025785664 140518868567456 140519305492181 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37580800 140724025790926 140724025791055 140724025791055 140724025794511 0
[pid=28575/tid=28584] ppid=28572 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/28575/task/28584/stat : 28584 (java) S 28572 28575 16590 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 30171782 10878976000 66217 18446744073709551615 4194304 4196468 140724025785664 140518867514864 140519305492181 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37580800 140724025790926 140724025791055 140724025791055 140724025794511 0
[pid=28575/tid=28585] ppid=28572 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/28575/task/28585/stat : 28585 (java) S 28572 28575 16590 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 30171784 10878976000 66217 18446744073709551615 4194304 4196468 140724025785664 140518866463440 140519305500571 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37580800 140724025790926 140724025791055 140724025791055 140724025794511 0
[pid=28575/tid=28586] ppid=28572 vsize=10624000 CPUtime=1.54 cores=1,3,5,7
/proc/28575/task/28586/stat : 28586 (java) S 28572 28575 16590 0 -1 1077944384 5538 0 0 0 153 1 0 0 20 0 16 0 30171784 10878976000 66217 18446744073709551615 4194304 4196468 140724025785664 140518865410032 140519305493122 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37580800 140724025790926 140724025791055 140724025791055 140724025794511 0
[pid=28575/tid=28587] ppid=28572 vsize=10624000 CPUtime=1.72 cores=1,3,5,7
/proc/28575/task/28587/stat : 28587 (java) S 28572 28575 16590 0 -1 1077944384 5842 0 0 0 171 1 0 0 20 0 16 0 30171784 10878976000 66217 18446744073709551615 4194304 4196468 140724025785664 140518864357488 140519305493122 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37580800 140724025790926 140724025791055 140724025791055 140724025794511 0
[pid=28575/tid=28588] ppid=28572 vsize=10624000 CPUtime=0.63 cores=1,3,5,7
/proc/28575/task/28588/stat : 28588 (java) S 28572 28575 16590 0 -1 1077944384 3647 0 0 0 62 1 0 0 20 0 16 0 30171784 10878976000 66217 18446744073709551615 4194304 4196468 140724025785664 140518863304944 140519305493122 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37580800 140724025790926 140724025791055 140724025791055 140724025794511 0
[pid=28575/tid=28589] ppid=28572 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/28575/task/28589/stat : 28589 (java) S 28572 28575 16590 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 30171784 10878976000 66217 18446744073709551615 4194304 4196468 140724025785664 140518862252640 140519305492181 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37580800 140724025790926 140724025791055 140724025791055 140724025794511 0
[pid=28575/tid=28590] ppid=28572 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/28575/task/28590/stat : 28590 (java) S 28572 28575 16590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 30171788 10878976000 66217 18446744073709551615 4194304 4196468 140724025785664 140518861200176 140519305493122 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37580800 140724025790926 140724025791055 140724025791055 140724025794511 0
[pid=28575/tid=28591] ppid=28572 vsize=10624000 CPUtime=2.7 cores=1,3,5,7
/proc/28575/task/28591/stat : 28591 (java) R 28572 28575 16590 0 -1 4202560 4846 0 0 0 266 4 0 0 20 0 16 0 30171805 10878976000 66217 18446744073709551615 4194304 4196468 140724025785664 140518858010184 140518937844987 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37580800 140724025790926 140724025791055 140724025791055 140724025794511 0
Current children cumulated CPU time (s) 6.98
Current children cumulated vsize (KiB) 10624000
[startup+6.30061 s]
/proc/loadavg: 2.01 1.95 1.83 3/212 28591
/proc/meminfo: memFree=30460928/32770624 swapFree=0/451080
[pid=28575] ppid=28572 vsize=10624000 CPUtime=10.34 cores=1,3,5,7
/proc/28575/stat : 28575 (java) S 28572 28575 16590 0 -1 1077944320 32418 0 0 0 1017 17 0 0 20 0 16 0 30171770 10878976000 66346 18446744073709551615 4194304 4196468 140724025785664 140724025768208 140519305481975 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 37580800 140724025790926 140724025791055 140724025791055 140724025794511 0
/proc/28575/statm: 2656000 66346 3130 1 0 2644926 0
[pid=28575/tid=28577] ppid=28572 vsize=10624000 CPUtime=0.2 cores=1,3,5,7
/proc/28575/task/28577/stat : 28577 (java) S 28572 28575 16590 0 -1 1077944384 6167 0 0 0 19 1 0 0 20 0 16 0 30171779 10878976000 66346 18446744073709551615 4194304 4196468 140724025785664 140519309724848 140519305492181 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 3 0 0 6293624 6294260 37580800 140724025790926 140724025791055 140724025791055 140724025794511 0
[pid=28575/tid=28578] ppid=28572 vsize=10624000 CPUtime=0.02 cores=1,3,5,7
/proc/28575/task/28578/stat : 28578 (java) S 28572 28575 16590 0 -1 1077944384 38 0 0 0 1 1 0 0 20 0 16 0 30171780 10878976000 66346 18446744073709551615 4194304 4196468 140724025785664 140519251831056 140519305492181 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37580800 140724025790926 140724025791055 140724025791055 140724025794511 0
[pid=28575/tid=28579] ppid=28572 vsize=10624000 CPUtime=0.02 cores=1,3,5,7
/proc/28575/task/28579/stat : 28579 (java) S 28572 28575 16590 0 -1 1077944384 36 0 0 0 1 1 0 0 20 0 16 0 30171780 10878976000 66346 18446744073709551615 4194304 4196468 140724025785664 140518915627408 140519305492181 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37580800 140724025790926 140724025791055 140724025791055 140724025794511 0
[pid=28575/tid=28580] ppid=28572 vsize=10624000 CPUtime=0.02 cores=1,3,5,7
/proc/28575/task/28580/stat : 28580 (java) S 28572 28575 16590 0 -1 1077944384 50 0 0 0 1 1 0 0 20 0 16 0 30171780 10878976000 66346 18446744073709551615 4194304 4196468 140724025785664 140518914574864 140519305492181 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37580800 140724025790926 140724025791055 140724025791055 140724025794511 0
[pid=28575/tid=28581] ppid=28572 vsize=10624000 CPUtime=0.02 cores=1,3,5,7
/proc/28575/task/28581/stat : 28581 (java) S 28572 28575 16590 0 -1 1077944384 36 0 0 0 1 1 0 0 20 0 16 0 30171780 10878976000 66346 18446744073709551615 4194304 4196468 140724025785664 140518913522320 140519305492181 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37580800 140724025790926 140724025791055 140724025791055 140724025794511 0
[pid=28575/tid=28582] ppid=28572 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/28575/task/28582/stat : 28582 (java) S 28572 28575 16590 0 -1 1077944384 330 0 0 0 0 0 0 0 20 0 16 0 30171781 10878976000 66346 18446744073709551615 4194304 4196468 140724025785664 140518869621232 140519305493122 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37580800 140724025790926 140724025791055 140724025791055 140724025794511 0
[pid=28575/tid=28583] ppid=28572 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/28575/task/28583/stat : 28583 (java) S 28572 28575 16590 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 30171782 10878976000 66346 18446744073709551615 4194304 4196468 140724025785664 140518868567456 140519305492181 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37580800 140724025790926 140724025791055 140724025791055 140724025794511 0
[pid=28575/tid=28584] ppid=28572 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/28575/task/28584/stat : 28584 (java) S 28572 28575 16590 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 30171782 10878976000 66346 18446744073709551615 4194304 4196468 140724025785664 140518867514864 140519305492181 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37580800 140724025790926 140724025791055 140724025791055 140724025794511 0
[pid=28575/tid=28585] ppid=28572 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/28575/task/28585/stat : 28585 (java) S 28572 28575 16590 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 30171784 10878976000 66346 18446744073709551615 4194304 4196468 140724025785664 140518866463440 140519305500571 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37580800 140724025790926 140724025791055 140724025791055 140724025794511 0
[pid=28575/tid=28586] ppid=28572 vsize=10624000 CPUtime=1.62 cores=1,3,5,7
/proc/28575/task/28586/stat : 28586 (java) S 28572 28575 16590 0 -1 1077944384 6812 0 0 0 161 1 0 0 20 0 16 0 30171784 10878976000 66346 18446744073709551615 4194304 4196468 140724025785664 140518865410032 140519305493122 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 37580800 140724025790926 140724025791055 140724025791055 140724025794511 0
[pid=28575/tid=28587] ppid=28572 vsize=10624000 CPUtime=1.79 cores=1,3,5,7
/proc/28575/task/28587/stat : 28587 (java) S 28572 28575 16590 0 -1 1077944384 7455 0 0 0 178 1 0 0 20 0 16 0 30171784 10878976000 66346 18446744073709551615 4194304 4196468 140724025785664 140518864357488 140519305493122 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37580800 140724025790926 140724025791055 140724025791055 140724025794511 0
[pid=28575/tid=28588] ppid=28572 vsize=10624000 CPUtime=0.64 cores=1,3,5,7
/proc/28575/task/28588/stat : 28588 (java) S 28572 28575 16590 0 -1 1077944384 3853 0 0 0 63 1 0 0 20 0 16 0 30171784 10878976000 66346 18446744073709551615 4194304 4196468 140724025785664 140518863304944 140519305493122 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 3 0 0 6293624 6294260 37580800 140724025790926 140724025791055 140724025791055 140724025794511 0
[pid=28575/tid=28589] ppid=28572 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/28575/task/28589/stat : 28589 (java) S 28572 28575 16590 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 30171784 10878976000 66346 18446744073709551615 4194304 4196468 140724025785664 140518862252640 140519305492181 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37580800 140724025790926 140724025791055 140724025791055 140724025794511 0
[pid=28575/tid=28590] ppid=28572 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/28575/task/28590/stat : 28590 (java) S 28572 28575 16590 0 -1 1077944384 808 0 0 0 0 0 0 0 20 0 16 0 30171788 10878976000 66346 18446744073709551615 4194304 4196468 140724025785664 140518861200176 140519305493122 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 10 0 0 6293624 6294260 37580800 140724025790926 140724025791055 140724025791055 140724025794511 0
[pid=28575/tid=28591] ppid=28572 vsize=10624000 CPUtime=5.91 cores=1,3,5,7
/proc/28575/task/28591/stat : 28591 (java) R 28572 28575 16590 0 -1 4202560 5476 0 0 0 586 5 0 0 20 0 16 0 30171805 10878976000 66346 18446744073709551615 4194304 4196468 140724025785664 140518858007360 140518937845677 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37580800 140724025790926 140724025791055 140724025791055 140724025794511 0
Current children cumulated CPU time (s) 10.34
Current children cumulated vsize (KiB) 10624000
[startup+12.7006 s]
/proc/loadavg: 2.01 1.96 1.83 3/212 28591
/proc/meminfo: memFree=30460680/32770624 swapFree=0/451076
[pid=28575] ppid=28572 vsize=10624000 CPUtime=16.78 cores=1,3,5,7
/proc/28575/stat : 28575 (java) S 28572 28575 16590 0 -1 1077944320 34119 0 0 0 1661 17 0 0 20 0 16 0 30171770 10878976000 66359 18446744073709551615 4194304 4196468 140724025785664 140724025768208 140519305481975 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 37580800 140724025790926 140724025791055 140724025791055 140724025794511 0
/proc/28575/statm: 2656000 66359 3130 1 0 2644926 0
[pid=28575/tid=28577] ppid=28572 vsize=10624000 CPUtime=0.2 cores=1,3,5,7
/proc/28575/task/28577/stat : 28577 (java) S 28572 28575 16590 0 -1 1077944384 6167 0 0 0 19 1 0 0 20 0 16 0 30171779 10878976000 66359 18446744073709551615 4194304 4196468 140724025785664 140519309724848 140519305492181 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 3 0 0 6293624 6294260 37580800 140724025790926 140724025791055 140724025791055 140724025794511 0
[pid=28575/tid=28578] ppid=28572 vsize=10624000 CPUtime=0.02 cores=1,3,5,7
/proc/28575/task/28578/stat : 28578 (java) S 28572 28575 16590 0 -1 1077944384 38 0 0 0 1 1 0 0 20 0 16 0 30171780 10878976000 66359 18446744073709551615 4194304 4196468 140724025785664 140519251831056 140519305492181 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37580800 140724025790926 140724025791055 140724025791055 140724025794511 0
[pid=28575/tid=28579] ppid=28572 vsize=10624000 CPUtime=0.02 cores=1,3,5,7
/proc/28575/task/28579/stat : 28579 (java) S 28572 28575 16590 0 -1 1077944384 36 0 0 0 1 1 0 0 20 0 16 0 30171780 10878976000 66359 18446744073709551615 4194304 4196468 140724025785664 140518915627408 140519305492181 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37580800 140724025790926 140724025791055 140724025791055 140724025794511 0
[pid=28575/tid=28580] ppid=28572 vsize=10624000 CPUtime=0.02 cores=1,3,5,7
/proc/28575/task/28580/stat : 28580 (java) S 28572 28575 16590 0 -1 1077944384 50 0 0 0 1 1 0 0 20 0 16 0 30171780 10878976000 66359 18446744073709551615 4194304 4196468 140724025785664 140518914574864 140519305492181 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37580800 140724025790926 140724025791055 140724025791055 140724025794511 0
[pid=28575/tid=28581] ppid=28572 vsize=10624000 CPUtime=0.02 cores=1,3,5,7
/proc/28575/task/28581/stat : 28581 (java) S 28572 28575 16590 0 -1 1077944384 36 0 0 0 1 1 0 0 20 0 16 0 30171780 10878976000 66359 18446744073709551615 4194304 4196468 140724025785664 140518913522320 140519305492181 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37580800 140724025790926 140724025791055 140724025791055 140724025794511 0
[pid=28575/tid=28582] ppid=28572 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/28575/task/28582/stat : 28582 (java) S 28572 28575 16590 0 -1 1077944384 334 0 0 0 0 0 0 0 20 0 16 0 30171781 10878976000 66359 18446744073709551615 4194304 4196468 140724025785664 140518869621232 140519305493122 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37580800 140724025790926 140724025791055 140724025791055 140724025794511 0
################
# More data... #
################
/proc/meminfo: memFree=30858780/32770624 swapFree=0/452108
[pid=28575] ppid=28572 vsize=10624000 CPUtime=2447.03 cores=1,3,5,7
/proc/28575/stat : 28575 (java) S 28572 28575 16590 0 -1 1077944320 54815 0 0 0 244666 37 0 0 20 0 16 0 30171770 10878976000 71331 18446744073709551615 4194304 4196468 140724025785664 140724025768208 140519305481975 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 37580800 140724025790926 140724025791055 140724025791055 140724025794511 0
/proc/28575/statm: 2656000 71331 3136 1 0 2644926 0
[pid=28575/tid=28577] ppid=28572 vsize=10624000 CPUtime=0.2 cores=1,3,5,7
/proc/28575/task/28577/stat : 28577 (java) S 28572 28575 16590 0 -1 1077944384 6167 0 0 0 19 1 0 0 20 0 16 0 30171779 10878976000 71331 18446744073709551615 4194304 4196468 140724025785664 140519309724848 140519305492181 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 3 0 0 6293624 6294260 37580800 140724025790926 140724025791055 140724025791055 140724025794511 0
[pid=28575/tid=28578] ppid=28572 vsize=10624000 CPUtime=0.02 cores=1,3,5,7
/proc/28575/task/28578/stat : 28578 (java) S 28572 28575 16590 0 -1 1077944384 38 0 0 0 1 1 0 0 20 0 16 0 30171780 10878976000 71331 18446744073709551615 4194304 4196468 140724025785664 140519251831056 140519305492181 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37580800 140724025790926 140724025791055 140724025791055 140724025794511 0
[pid=28575/tid=28579] ppid=28572 vsize=10624000 CPUtime=0.02 cores=1,3,5,7
/proc/28575/task/28579/stat : 28579 (java) S 28572 28575 16590 0 -1 1077944384 36 0 0 0 1 1 0 0 20 0 16 0 30171780 10878976000 71331 18446744073709551615 4194304 4196468 140724025785664 140518915627408 140519305492181 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37580800 140724025790926 140724025791055 140724025791055 140724025794511 0
[pid=28575/tid=28580] ppid=28572 vsize=10624000 CPUtime=0.02 cores=1,3,5,7
/proc/28575/task/28580/stat : 28580 (java) S 28572 28575 16590 0 -1 1077944384 50 0 0 0 1 1 0 0 20 0 16 0 30171780 10878976000 71331 18446744073709551615 4194304 4196468 140724025785664 140518914574864 140519305492181 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37580800 140724025790926 140724025791055 140724025791055 140724025794511 0
[pid=28575/tid=28581] ppid=28572 vsize=10624000 CPUtime=0.02 cores=1,3,5,7
/proc/28575/task/28581/stat : 28581 (java) S 28572 28575 16590 0 -1 1077944384 36 0 0 0 1 1 0 0 20 0 16 0 30171780 10878976000 71331 18446744073709551615 4194304 4196468 140724025785664 140518913522320 140519305492181 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37580800 140724025790926 140724025791055 140724025791055 140724025794511 0
[pid=28575/tid=28582] ppid=28572 vsize=10624000 CPUtime=0.02 cores=1,3,5,7
/proc/28575/task/28582/stat : 28582 (java) S 28572 28575 16590 0 -1 1077944384 651 0 0 0 1 1 0 0 20 0 16 0 30171781 10878976000 71331 18446744073709551615 4194304 4196468 140724025785664 140518869621232 140519305493122 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37580800 140724025790926 140724025791055 140724025791055 140724025794511 0
[pid=28575/tid=28583] ppid=28572 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/28575/task/28583/stat : 28583 (java) S 28572 28575 16590 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 30171782 10878976000 71331 18446744073709551615 4194304 4196468 140724025785664 140518868567456 140519305492181 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37580800 140724025790926 140724025791055 140724025791055 140724025794511 0
[pid=28575/tid=28584] ppid=28572 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/28575/task/28584/stat : 28584 (java) S 28572 28575 16590 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 30171782 10878976000 71331 18446744073709551615 4194304 4196468 140724025785664 140518867514864 140519305492181 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37580800 140724025790926 140724025791055 140724025791055 140724025794511 0
[pid=28575/tid=28585] ppid=28572 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/28575/task/28585/stat : 28585 (java) S 28572 28575 16590 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 30171784 10878976000 71331 18446744073709551615 4194304 4196468 140724025785664 140518866463440 140519305500571 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37580800 140724025790926 140724025791055 140724025791055 140724025794511 0
[pid=28575/tid=28586] ppid=28572 vsize=10624000 CPUtime=1.76 cores=1,3,5,7
/proc/28575/task/28586/stat : 28586 (java) S 28572 28575 16590 0 -1 1077944384 10316 0 0 0 174 2 0 0 20 0 16 0 30171784 10878976000 71331 18446744073709551615 4194304 4196468 140724025785664 140518865410032 140519305493122 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 37580800 140724025790926 140724025791055 140724025791055 140724025794511 0
[pid=28575/tid=28587] ppid=28572 vsize=10624000 CPUtime=1.9 cores=1,3,5,7
/proc/28575/task/28587/stat : 28587 (java) S 28572 28575 16590 0 -1 1077944384 10442 0 0 0 188 2 0 0 20 0 16 0 30171784 10878976000 71331 18446744073709551615 4194304 4196468 140724025785664 140518864357488 140519305493122 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37580800 140724025790926 140724025791055 140724025791055 140724025794511 0
[pid=28575/tid=28588] ppid=28572 vsize=10624000 CPUtime=0.67 cores=1,3,5,7
/proc/28575/task/28588/stat : 28588 (java) S 28572 28575 16590 0 -1 1077944384 6109 0 0 0 66 1 0 0 20 0 16 0 30171784 10878976000 71331 18446744073709551615 4194304 4196468 140724025785664 140518863304944 140519305493122 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 3 0 0 6293624 6294260 37580800 140724025790926 140724025791055 140724025791055 140724025794511 0
[pid=28575/tid=28589] ppid=28572 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/28575/task/28589/stat : 28589 (java) S 28572 28575 16590 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 30171784 10878976000 71331 18446744073709551615 4194304 4196468 140724025785664 140518862252640 140519305492181 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37580800 140724025790926 140724025791055 140724025791055 140724025794511 0
[pid=28575/tid=28590] ppid=28572 vsize=10624000 CPUtime=0.48 cores=1,3,5,7
/proc/28575/task/28590/stat : 28590 (java) S 28572 28575 16590 0 -1 1077944384 2119 0 0 0 21 27 0 0 20 0 16 0 30171788 10878976000 71331 18446744073709551615 4194304 4196468 140724025785664 140518861200176 140519305493122 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 10 0 0 6293624 6294260 37580800 140724025790926 140724025791055 140724025791055 140724025794511 0
[pid=28575/tid=28591] ppid=28572 vsize=10624000 CPUtime=2441.81 cores=1,3,5,7
/proc/28575/task/28591/stat : 28591 (java) R 28572 28575 16590 0 -1 4202560 17494 0 0 0 244176 5 0 0 20 0 16 0 30171805 10878976000 71331 18446744073709551615 4194304 4196468 140724025785664 140518858007424 140518937844982 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37580800 140724025790926 140724025791055 140724025791055 140724025794511 0
Current children cumulated CPU time (s) 2447.03
Current children cumulated vsize (KiB) 10624000
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/212 28836
/proc/meminfo: memFree=30855180/32770624 swapFree=0/452096
[pid=28575] ppid=28572 vsize=10624000 CPUtime=2507.04 cores=1,3,5,7
/proc/28575/stat : 28575 (java) S 28572 28575 16590 0 -1 1077944320 54946 0 0 0 250667 37 0 0 20 0 16 0 30171770 10878976000 71331 18446744073709551615 4194304 4196468 140724025785664 140724025768208 140519305481975 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 37580800 140724025790926 140724025791055 140724025791055 140724025794511 0
/proc/28575/statm: 2656000 71331 3136 1 0 2644926 0
[pid=28575/tid=28577] ppid=28572 vsize=10624000 CPUtime=0.2 cores=1,3,5,7
/proc/28575/task/28577/stat : 28577 (java) S 28572 28575 16590 0 -1 1077944384 6167 0 0 0 19 1 0 0 20 0 16 0 30171779 10878976000 71331 18446744073709551615 4194304 4196468 140724025785664 140519309724848 140519305492181 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 3 0 0 6293624 6294260 37580800 140724025790926 140724025791055 140724025791055 140724025794511 0
[pid=28575/tid=28578] ppid=28572 vsize=10624000 CPUtime=0.02 cores=1,3,5,7
/proc/28575/task/28578/stat : 28578 (java) S 28572 28575 16590 0 -1 1077944384 38 0 0 0 1 1 0 0 20 0 16 0 30171780 10878976000 71331 18446744073709551615 4194304 4196468 140724025785664 140519251831056 140519305492181 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37580800 140724025790926 140724025791055 140724025791055 140724025794511 0
[pid=28575/tid=28579] ppid=28572 vsize=10624000 CPUtime=0.02 cores=1,3,5,7
/proc/28575/task/28579/stat : 28579 (java) S 28572 28575 16590 0 -1 1077944384 36 0 0 0 1 1 0 0 20 0 16 0 30171780 10878976000 71331 18446744073709551615 4194304 4196468 140724025785664 140518915627408 140519305492181 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37580800 140724025790926 140724025791055 140724025791055 140724025794511 0
[pid=28575/tid=28580] ppid=28572 vsize=10624000 CPUtime=0.02 cores=1,3,5,7
/proc/28575/task/28580/stat : 28580 (java) S 28572 28575 16590 0 -1 1077944384 50 0 0 0 1 1 0 0 20 0 16 0 30171780 10878976000 71331 18446744073709551615 4194304 4196468 140724025785664 140518914574864 140519305492181 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37580800 140724025790926 140724025791055 140724025791055 140724025794511 0
[pid=28575/tid=28581] ppid=28572 vsize=10624000 CPUtime=0.02 cores=1,3,5,7
/proc/28575/task/28581/stat : 28581 (java) S 28572 28575 16590 0 -1 1077944384 36 0 0 0 1 1 0 0 20 0 16 0 30171780 10878976000 71331 18446744073709551615 4194304 4196468 140724025785664 140518913522320 140519305492181 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37580800 140724025790926 140724025791055 140724025791055 140724025794511 0
[pid=28575/tid=28582] ppid=28572 vsize=10624000 CPUtime=0.02 cores=1,3,5,7
/proc/28575/task/28582/stat : 28582 (java) S 28572 28575 16590 0 -1 1077944384 657 0 0 0 1 1 0 0 20 0 16 0 30171781 10878976000 71331 18446744073709551615 4194304 4196468 140724025785664 140518869621232 140519305493122 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37580800 140724025790926 140724025791055 140724025791055 140724025794511 0
[pid=28575/tid=28583] ppid=28572 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/28575/task/28583/stat : 28583 (java) S 28572 28575 16590 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 30171782 10878976000 71331 18446744073709551615 4194304 4196468 140724025785664 140518868567456 140519305492181 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37580800 140724025790926 140724025791055 140724025791055 140724025794511 0
[pid=28575/tid=28584] ppid=28572 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/28575/task/28584/stat : 28584 (java) S 28572 28575 16590 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 30171782 10878976000 71331 18446744073709551615 4194304 4196468 140724025785664 140518867514864 140519305492181 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37580800 140724025790926 140724025791055 140724025791055 140724025794511 0
[pid=28575/tid=28585] ppid=28572 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/28575/task/28585/stat : 28585 (java) S 28572 28575 16590 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 30171784 10878976000 71331 18446744073709551615 4194304 4196468 140724025785664 140518866463440 140519305500571 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37580800 140724025790926 140724025791055 140724025791055 140724025794511 0
[pid=28575/tid=28586] ppid=28572 vsize=10624000 CPUtime=1.76 cores=1,3,5,7
/proc/28575/task/28586/stat : 28586 (java) S 28572 28575 16590 0 -1 1077944384 10324 0 0 0 174 2 0 0 20 0 16 0 30171784 10878976000 71331 18446744073709551615 4194304 4196468 140724025785664 140518865410032 140519305493122 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 37580800 140724025790926 140724025791055 140724025791055 140724025794511 0
[pid=28575/tid=28587] ppid=28572 vsize=10624000 CPUtime=1.9 cores=1,3,5,7
/proc/28575/task/28587/stat : 28587 (java) S 28572 28575 16590 0 -1 1077944384 10444 0 0 0 188 2 0 0 20 0 16 0 30171784 10878976000 71331 18446744073709551615 4194304 4196468 140724025785664 140518864357488 140519305493122 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37580800 140724025790926 140724025791055 140724025791055 140724025794511 0
[pid=28575/tid=28588] ppid=28572 vsize=10624000 CPUtime=0.67 cores=1,3,5,7
/proc/28575/task/28588/stat : 28588 (java) S 28572 28575 16590 0 -1 1077944384 6111 0 0 0 66 1 0 0 20 0 16 0 30171784 10878976000 71331 18446744073709551615 4194304 4196468 140724025785664 140518863304944 140519305493122 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 3 0 0 6293624 6294260 37580800 140724025790926 140724025791055 140724025791055 140724025794511 0
[pid=28575/tid=28589] ppid=28572 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/28575/task/28589/stat : 28589 (java) S 28572 28575 16590 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 30171784 10878976000 71331 18446744073709551615 4194304 4196468 140724025785664 140518862252640 140519305492181 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37580800 140724025790926 140724025791055 140724025791055 140724025794511 0
[pid=28575/tid=28590] ppid=28572 vsize=10624000 CPUtime=0.49 cores=1,3,5,7
/proc/28575/task/28590/stat : 28590 (java) S 28572 28575 16590 0 -1 1077944384 2150 0 0 0 22 27 0 0 20 0 16 0 30171788 10878976000 71331 18446744073709551615 4194304 4196468 140724025785664 140518861200176 140519305493122 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 10 0 0 6293624 6294260 37580800 140724025790926 140724025791055 140724025791055 140724025794511 0
[pid=28575/tid=28591] ppid=28572 vsize=10624000 CPUtime=2501.81 cores=1,3,5,7
/proc/28575/task/28591/stat : 28591 (java) R 28572 28575 16590 0 -1 4202560 17576 0 0 0 250176 5 0 0 20 0 16 0 30171805 10878976000 71331 18446744073709551615 4194304 4196468 140724025785664 140518858007424 140518937883496 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37580800 140724025790926 140724025791055 140724025791055 140724025794511 0
Current children cumulated CPU time (s) 2507.04
Current children cumulated vsize (KiB) 10624000
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2515.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/212 28836
/proc/meminfo: memFree=30855428/32770624 swapFree=0/452100
[pid=28575] ppid=28572 vsize=10624000 CPUtime=2520.04 cores=1,3,5,7
/proc/28575/stat : 28575 (java) S 28572 28575 16590 0 -1 1077944320 54957 0 0 0 251967 37 0 0 20 0 16 0 30171770 10878976000 71331 18446744073709551615 4194304 4196468 140724025785664 140724025768208 140519305481975 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 37580800 140724025790926 140724025791055 140724025791055 140724025794511 0
/proc/28575/statm: 2656000 71331 3136 1 0 2644926 0
[pid=28575/tid=28577] ppid=28572 vsize=10624000 CPUtime=0.2 cores=1,3,5,7
/proc/28575/task/28577/stat : 28577 (java) S 28572 28575 16590 0 -1 1077944384 6167 0 0 0 19 1 0 0 20 0 16 0 30171779 10878976000 71331 18446744073709551615 4194304 4196468 140724025785664 140519309724848 140519305492181 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 3 0 0 6293624 6294260 37580800 140724025790926 140724025791055 140724025791055 140724025794511 0
[pid=28575/tid=28578] ppid=28572 vsize=10624000 CPUtime=0.02 cores=1,3,5,7
/proc/28575/task/28578/stat : 28578 (java) S 28572 28575 16590 0 -1 1077944384 38 0 0 0 1 1 0 0 20 0 16 0 30171780 10878976000 71331 18446744073709551615 4194304 4196468 140724025785664 140519251831056 140519305492181 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37580800 140724025790926 140724025791055 140724025791055 140724025794511 0
[pid=28575/tid=28579] ppid=28572 vsize=10624000 CPUtime=0.02 cores=1,3,5,7
/proc/28575/task/28579/stat : 28579 (java) S 28572 28575 16590 0 -1 1077944384 36 0 0 0 1 1 0 0 20 0 16 0 30171780 10878976000 71331 18446744073709551615 4194304 4196468 140724025785664 140518915627408 140519305492181 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37580800 140724025790926 140724025791055 140724025791055 140724025794511 0
[pid=28575/tid=28580] ppid=28572 vsize=10624000 CPUtime=0.02 cores=1,3,5,7
/proc/28575/task/28580/stat : 28580 (java) S 28572 28575 16590 0 -1 1077944384 50 0 0 0 1 1 0 0 20 0 16 0 30171780 10878976000 71331 18446744073709551615 4194304 4196468 140724025785664 140518914574864 140519305492181 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37580800 140724025790926 140724025791055 140724025791055 140724025794511 0
[pid=28575/tid=28581] ppid=28572 vsize=10624000 CPUtime=0.02 cores=1,3,5,7
/proc/28575/task/28581/stat : 28581 (java) S 28572 28575 16590 0 -1 1077944384 36 0 0 0 1 1 0 0 20 0 16 0 30171780 10878976000 71331 18446744073709551615 4194304 4196468 140724025785664 140518913522320 140519305492181 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37580800 140724025790926 140724025791055 140724025791055 140724025794511 0
[pid=28575/tid=28582] ppid=28572 vsize=10624000 CPUtime=0.02 cores=1,3,5,7
/proc/28575/task/28582/stat : 28582 (java) S 28572 28575 16590 0 -1 1077944384 657 0 0 0 1 1 0 0 20 0 16 0 30171781 10878976000 71331 18446744073709551615 4194304 4196468 140724025785664 140518869621232 140519305493122 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37580800 140724025790926 140724025791055 140724025791055 140724025794511 0
[pid=28575/tid=28583] ppid=28572 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/28575/task/28583/stat : 28583 (java) S 28572 28575 16590 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 30171782 10878976000 71331 18446744073709551615 4194304 4196468 140724025785664 140518868567456 140519305492181 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37580800 140724025790926 140724025791055 140724025791055 140724025794511 0
[pid=28575/tid=28584] ppid=28572 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/28575/task/28584/stat : 28584 (java) S 28572 28575 16590 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 30171782 10878976000 71331 18446744073709551615 4194304 4196468 140724025785664 140518867514864 140519305492181 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37580800 140724025790926 140724025791055 140724025791055 140724025794511 0
[pid=28575/tid=28585] ppid=28572 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/28575/task/28585/stat : 28585 (java) S 28572 28575 16590 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 30171784 10878976000 71331 18446744073709551615 4194304 4196468 140724025785664 140518866463440 140519305500571 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37580800 140724025790926 140724025791055 140724025791055 140724025794511 0
[pid=28575/tid=28586] ppid=28572 vsize=10624000 CPUtime=1.76 cores=1,3,5,7
/proc/28575/task/28586/stat : 28586 (java) S 28572 28575 16590 0 -1 1077944384 10324 0 0 0 174 2 0 0 20 0 16 0 30171784 10878976000 71331 18446744073709551615 4194304 4196468 140724025785664 140518865410032 140519305493122 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 37580800 140724025790926 140724025791055 140724025791055 140724025794511 0
[pid=28575/tid=28587] ppid=28572 vsize=10624000 CPUtime=1.9 cores=1,3,5,7
/proc/28575/task/28587/stat : 28587 (java) S 28572 28575 16590 0 -1 1077944384 10444 0 0 0 188 2 0 0 20 0 16 0 30171784 10878976000 71331 18446744073709551615 4194304 4196468 140724025785664 140518864357488 140519305493122 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37580800 140724025790926 140724025791055 140724025791055 140724025794511 0
[pid=28575/tid=28588] ppid=28572 vsize=10624000 CPUtime=0.67 cores=1,3,5,7
/proc/28575/task/28588/stat : 28588 (java) S 28572 28575 16590 0 -1 1077944384 6111 0 0 0 66 1 0 0 20 0 16 0 30171784 10878976000 71331 18446744073709551615 4194304 4196468 140724025785664 140518863304944 140519305493122 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 3 0 0 6293624 6294260 37580800 140724025790926 140724025791055 140724025791055 140724025794511 0
[pid=28575/tid=28589] ppid=28572 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/28575/task/28589/stat : 28589 (java) S 28572 28575 16590 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 30171784 10878976000 71331 18446744073709551615 4194304 4196468 140724025785664 140518862252640 140519305492181 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37580800 140724025790926 140724025791055 140724025791055 140724025794511 0
[pid=28575/tid=28590] ppid=28572 vsize=10624000 CPUtime=0.49 cores=1,3,5,7
/proc/28575/task/28590/stat : 28590 (java) S 28572 28575 16590 0 -1 1077944384 2150 0 0 0 22 27 0 0 20 0 16 0 30171788 10878976000 71331 18446744073709551615 4194304 4196468 140724025785664 140518861200176 140519305493122 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 10 0 0 6293624 6294260 37580800 140724025790926 140724025791055 140724025791055 140724025794511 0
[pid=28575/tid=28591] ppid=28572 vsize=10624000 CPUtime=2514.8 cores=1,3,5,7
/proc/28575/task/28591/stat : 28591 (java) R 28572 28575 16590 0 -1 4202560 17587 0 0 0 251475 5 0 0 20 0 16 0 30171805 10878976000 71331 18446744073709551615 4194304 4196468 140724025785664 140518858007424 140518937845654 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37580800 140724025790926 140724025791055 140724025791055 140724025794511 0
Current children cumulated CPU time (s) 2520.04
Current children cumulated vsize (KiB) 10624000
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 28575 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2515.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/212 28836
/proc/meminfo: memFree=30855428/32770624 swapFree=0/452100
[pid=28575] ppid=28572 vsize=10624000 CPUtime=2520.04 cores=1,3,5,7
/proc/28575/stat : 28575 (java) S 28572 28575 16590 0 -1 1077944320 54957 0 0 0 251967 37 0 0 20 0 16 0 30171770 10878976000 71331 18446744073709551615 4194304 4196468 140724025785664 140724025768208 140519305481975 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 37580800 140724025790926 140724025791055 140724025791055 140724025794511 0
/proc/28575/statm: 2656000 71331 3136 1 0 2644926 0
[pid=28575/tid=28577] ppid=28572 vsize=10624000 CPUtime=0.2 cores=1,3,5,7
/proc/28575/task/28577/stat : 28577 (java) S 28572 28575 16590 0 -1 1077944384 6167 0 0 0 19 1 0 0 20 0 16 0 30171779 10878976000 71331 18446744073709551615 4194304 4196468 140724025785664 140519309724848 140519305492181 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 3 0 0 6293624 6294260 37580800 140724025790926 140724025791055 140724025791055 140724025794511 0
[pid=28575/tid=28578] ppid=28572 vsize=10624000 CPUtime=0.02 cores=1,3,5,7
/proc/28575/task/28578/stat : 28578 (java) S 28572 28575 16590 0 -1 1077944384 38 0 0 0 1 1 0 0 20 0 16 0 30171780 10878976000 71331 18446744073709551615 4194304 4196468 140724025785664 140519251831056 140519305492181 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37580800 140724025790926 140724025791055 140724025791055 140724025794511 0
[pid=28575/tid=28579] ppid=28572 vsize=10624000 CPUtime=0.02 cores=1,3,5,7
/proc/28575/task/28579/stat : 28579 (java) S 28572 28575 16590 0 -1 1077944384 36 0 0 0 1 1 0 0 20 0 16 0 30171780 10878976000 71331 18446744073709551615 4194304 4196468 140724025785664 140518915627408 140519305492181 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37580800 140724025790926 140724025791055 140724025791055 140724025794511 0
[pid=28575/tid=28580] ppid=28572 vsize=10624000 CPUtime=0.02 cores=1,3,5,7
/proc/28575/task/28580/stat : 28580 (java) S 28572 28575 16590 0 -1 1077944384 50 0 0 0 1 1 0 0 20 0 16 0 30171780 10878976000 71331 18446744073709551615 4194304 4196468 140724025785664 140518914574864 140519305492181 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37580800 140724025790926 140724025791055 140724025791055 140724025794511 0
[pid=28575/tid=28581] ppid=28572 vsize=10624000 CPUtime=0.02 cores=1,3,5,7
/proc/28575/task/28581/stat : 28581 (java) S 28572 28575 16590 0 -1 1077944384 36 0 0 0 1 1 0 0 20 0 16 0 30171780 10878976000 71331 18446744073709551615 4194304 4196468 140724025785664 140518913522320 140519305492181 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37580800 140724025790926 140724025791055 140724025791055 140724025794511 0
[pid=28575/tid=28582] ppid=28572 vsize=10624000 CPUtime=0.02 cores=1,3,5,7
/proc/28575/task/28582/stat : 28582 (java) S 28572 28575 16590 0 -1 1077944384 657 0 0 0 1 1 0 0 20 0 16 0 30171781 10878976000 71331 18446744073709551615 4194304 4196468 140724025785664 140518869621232 140519305493122 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37580800 140724025790926 140724025791055 140724025791055 140724025794511 0
[pid=28575/tid=28583] ppid=28572 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/28575/task/28583/stat : 28583 (java) S 28572 28575 16590 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 30171782 10878976000 71331 18446744073709551615 4194304 4196468 140724025785664 140518868567456 140519305492181 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37580800 140724025790926 140724025791055 140724025791055 140724025794511 0
[pid=28575/tid=28584] ppid=28572 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/28575/task/28584/stat : 28584 (java) S 28572 28575 16590 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 30171782 10878976000 71331 18446744073709551615 4194304 4196468 140724025785664 140518867514864 140519305492181 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37580800 140724025790926 140724025791055 140724025791055 140724025794511 0
[pid=28575/tid=28585] ppid=28572 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/28575/task/28585/stat : 28585 (java) S 28572 28575 16590 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 30171784 10878976000 71331 18446744073709551615 4194304 4196468 140724025785664 140518866463440 140519305500571 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37580800 140724025790926 140724025791055 140724025791055 140724025794511 0
[pid=28575/tid=28586] ppid=28572 vsize=10624000 CPUtime=1.76 cores=1,3,5,7
/proc/28575/task/28586/stat : 28586 (java) S 28572 28575 16590 0 -1 1077944384 10324 0 0 0 174 2 0 0 20 0 16 0 30171784 10878976000 71331 18446744073709551615 4194304 4196468 140724025785664 140518865410032 140519305493122 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 37580800 140724025790926 140724025791055 140724025791055 140724025794511 0
[pid=28575/tid=28587] ppid=28572 vsize=10624000 CPUtime=1.9 cores=1,3,5,7
/proc/28575/task/28587/stat : 28587 (java) S 28572 28575 16590 0 -1 1077944384 10444 0 0 0 188 2 0 0 20 0 16 0 30171784 10878976000 71331 18446744073709551615 4194304 4196468 140724025785664 140518864357488 140519305493122 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37580800 140724025790926 140724025791055 140724025791055 140724025794511 0
[pid=28575/tid=28588] ppid=28572 vsize=10624000 CPUtime=0.67 cores=1,3,5,7
/proc/28575/task/28588/stat : 28588 (java) S 28572 28575 16590 0 -1 1077944384 6111 0 0 0 66 1 0 0 20 0 16 0 30171784 10878976000 71331 18446744073709551615 4194304 4196468 140724025785664 140518863304944 140519305493122 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 3 0 0 6293624 6294260 37580800 140724025790926 140724025791055 140724025791055 140724025794511 0
[pid=28575/tid=28589] ppid=28572 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/28575/task/28589/stat : 28589 (java) S 28572 28575 16590 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 30171784 10878976000 71331 18446744073709551615 4194304 4196468 140724025785664 140518862252640 140519305492181 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37580800 140724025790926 140724025791055 140724025791055 140724025794511 0
[pid=28575/tid=28590] ppid=28572 vsize=10624000 CPUtime=0.49 cores=1,3,5,7
/proc/28575/task/28590/stat : 28590 (java) S 28572 28575 16590 0 -1 1077944384 2150 0 0 0 22 27 0 0 20 0 16 0 30171788 10878976000 71331 18446744073709551615 4194304 4196468 140724025785664 140518861200176 140519305493122 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 10 0 0 6293624 6294260 37580800 140724025790926 140724025791055 140724025791055 140724025794511 0
[pid=28575/tid=28591] ppid=28572 vsize=10624000 CPUtime=2514.8 cores=1,3,5,7
/proc/28575/task/28591/stat : 28591 (java) R 28572 28575 16590 0 -1 4202560 17587 0 0 0 251475 5 0 0 20 0 16 0 30171805 10878976000 71331 18446744073709551615 4194304 4196468 140724025785664 140518858007424 140518937845654 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37580800 140724025790926 140724025791055 140724025791055 140724025794511 0
Current children cumulated CPU time (s) 2520.04
Current children cumulated vsize (KiB) 10624000
Child status: 143
Real time (s): 2515.31
CPU time (s): 2520.07
CPU user time (s): 2519.68
CPU system time (s): 0.382031
CPU usage (%): 100.189
Max. virtual memory (cumulated for all children) (KiB): 10626076
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.68
system time used= 0.382031
maximum resident set size= 286148
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 55376
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1584
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 57148
involuntary context switches= 746
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.2731 second user time and 13.4059 second system time
The end