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-4245515-1500700489/watcher-4245515-1500700489 -o /tmp/evaluation-result-4245515-1500700489/solver-4245515-1500700489 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node123-1500682662-9705 --watchdog 2560 java -jar HOME/AbsCon-basic.jar HOME/instance-4245515-1500700489.xml
pid=13596
running on 8 cores: 1,3,5,7,9,11,13,15
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 1.74 1.93 1.95 2/263 13599
/proc/meminfo: memFree=31701628/32770624 swapFree=6252/95488
[pid=13599] ppid=13596 vsize=8353856 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13599/stat : 13599 (java) S 13596 13599 8385 0 -1 1077944320 2239 0 0 0 0 0 0 0 20 0 6 0 5317312 8554348544 1950 33554432000 4194304 4196468 140731419381216 140731419363760 140006643551991 0 0 0 16784584 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 26677248 140731419387075 140731419387204 140731419387204 140731419389903 0
/proc/13599/statm: 2088464 1950 1198 1 0 2077375 0
[pid=13599/tid=13600] ppid=13596 vsize=8355912 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13599/task/13600/stat : 13600 (java) S 13596 13599 8385 0 -1 1077944384 941 0 0 0 0 0 0 0 20 0 8 0 5317312 8556453888 1950 33554432000 4194304 4196468 140731419381216 140006647793360 140006643562197 0 4 0 16784584 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 26677248 140731419387075 140731419387204 140731419387204 140731419389903 0
[pid=13599/tid=13601] ppid=13596 vsize=8355912 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13599/task/13601/stat : 13601 (java) S 13596 13599 8385 0 -1 1077944384 0 0 0 0 0 0 0 0 20 0 8 0 5317313 8556453888 1950 33554432000 4194304 4196468 140731419381216 140006249912928 140006643562197 0 4 0 16784584 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 26677248 140731419387075 140731419387204 140731419387204 140731419389903 0
[pid=13599/tid=13602] ppid=13596 vsize=8355912 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13599/task/13602/stat : 13602 (java) S 13596 13599 8385 0 -1 1077944384 0 0 0 0 0 0 0 0 20 0 8 0 5317313 8556453888 1950 33554432000 4194304 4196468 140731419381216 140006248860384 140006643562197 0 4 0 16784584 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 26677248 140731419387075 140731419387204 140731419387204 140731419389903 0
[pid=13599/tid=13603] ppid=13596 vsize=8356940 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13599/task/13603/stat : 13603 (java) S 13596 13599 8385 0 -1 1077944384 0 0 0 0 0 0 0 0 20 0 9 0 5317313 8557506560 1950 33554432000 4194304 4196468 140731419381216 140006247807840 140006643562197 0 4 0 16784584 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 26677248 140731419387075 140731419387204 140731419387204 140731419389903 0
[pid=13599/tid=13604] ppid=13596 vsize=8356940 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13599/task/13604/stat : 13604 (java) S 13596 13599 8385 0 -1 1077944384 0 0 0 0 0 0 0 0 20 0 9 0 5317313 8557506560 1950 33554432000 4194304 4196468 140731419381216 140006246755296 140006643562197 0 4 0 16784584 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 26677248 140731419387075 140731419387204 140731419387204 140731419389903 0
[pid=13599/tid=13605] ppid=13596 vsize=8357968 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13599/task/13605/stat : 13605 (java) S 13596 13599 8385 0 -1 1077944384 0 0 0 0 0 0 0 0 20 0 10 0 5317313 8558559232 2016 33554432000 4194304 4196468 140731419381216 140006245702752 140006643562197 0 4 0 16784584 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 26677248 140731419387075 140731419387204 140731419387204 140731419389903 0
[pid=13599/tid=13606] ppid=13596 vsize=8357968 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13599/task/13606/stat : 13606 (java) R 13596 13599 8385 0 -1 1077944384 0 0 0 0 0 0 0 0 20 0 10 0 5317313 8558559232 2016 33554432000 4194304 4196468 140731419381216 140006244650208 140006643562197 0 4 0 16784584 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 26677248 140731419387075 140731419387204 140731419387204 140731419389903 0
[pid=13599/tid=13607] ppid=13596 vsize=8854252 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13599/task/13607/stat : 13607 (java) R 13596 13599 8385 0 -1 1077944384 0 0 0 0 0 0 0 0 20 0 10 0 5317313 9066754048 2016 33554432000 4194304 4196468 140731419381216 140006243597664 140006643562197 0 4 0 16784584 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 26677248 140731419387075 140731419387204 140731419387204 140731419389903 0
[pid=13599/tid=13608] ppid=13596 vsize=9013328 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13599/task/13608/stat : 13608 (java) D 13596 13599 8385 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 10 0 5317313 9229647872 2016 33554432000 4194304 4196468 140731419381216 140006242544264 140006636268954 0 4 0 16784584 18446744071582151463 0 0 -1 9 0 0 0 0 0 6293624 6294260 26677248 140731419387075 140731419387204 140731419387204 140731419389903 0
[startup+0.100175 s]
/proc/loadavg: 1.74 1.93 1.95 2/263 13599
/proc/meminfo: memFree=31701628/32770624 swapFree=6252/95488
[pid=13599] ppid=13596 vsize=10900580 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/13599/stat : 13599 (java) S 13596 13599 8385 0 -1 1077944320 4763 0 0 0 8 1 0 0 20 0 20 0 5317312 11162193920 5880 33554432000 4194304 4196468 140731419381216 140731419363760 140006643551991 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 26677248 140731419387075 140731419387204 140731419387204 140731419389903 0
/proc/13599/statm: 2725145 5880 2631 1 0 2713552 0
[pid=13599/tid=13600] ppid=13596 vsize=10900580 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/13599/task/13600/stat : 13600 (java) R 13596 13599 8385 0 -1 4202560 2858 0 0 0 7 1 0 0 20 0 20 0 5317312 11162193920 5880 33554432000 4194304 4196468 140731419381216 140006647794272 140006643573917 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 26677248 140731419387075 140731419387204 140731419387204 140731419389903 0
[pid=13599/tid=13601] ppid=13596 vsize=10900580 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13599/task/13601/stat : 13601 (java) S 13596 13599 8385 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 5317313 11162193920 5880 33554432000 4194304 4196468 140731419381216 140006249912592 140006643562197 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 26677248 140731419387075 140731419387204 140731419387204 140731419389903 0
[pid=13599/tid=13602] ppid=13596 vsize=10900580 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13599/task/13602/stat : 13602 (java) S 13596 13599 8385 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 5317313 11162193920 5880 33554432000 4194304 4196468 140731419381216 140006248860048 140006643562197 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 26677248 140731419387075 140731419387204 140731419387204 140731419389903 0
[pid=13599/tid=13603] ppid=13596 vsize=10900580 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13599/task/13603/stat : 13603 (java) S 13596 13599 8385 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 5317313 11162193920 5880 33554432000 4194304 4196468 140731419381216 140006247807504 140006643562197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26677248 140731419387075 140731419387204 140731419387204 140731419389903 0
[pid=13599/tid=13604] ppid=13596 vsize=10900580 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13599/task/13604/stat : 13604 (java) S 13596 13599 8385 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 5317313 11162193920 5880 33554432000 4194304 4196468 140731419381216 140006246754960 140006643562197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26677248 140731419387075 140731419387204 140731419387204 140731419389903 0
[pid=13599/tid=13605] ppid=13596 vsize=10900580 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13599/task/13605/stat : 13605 (java) S 13596 13599 8385 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 5317313 11162193920 5880 33554432000 4194304 4196468 140731419381216 140006245702416 140006643562197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26677248 140731419387075 140731419387204 140731419387204 140731419389903 0
[pid=13599/tid=13606] ppid=13596 vsize=10900580 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13599/task/13606/stat : 13606 (java) S 13596 13599 8385 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5317313 11162193920 5880 33554432000 4194304 4196468 140731419381216 140006244649872 140006643562197 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 26677248 140731419387075 140731419387204 140731419387204 140731419389903 0
[pid=13599/tid=13607] ppid=13596 vsize=10900580 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13599/task/13607/stat : 13607 (java) S 13596 13599 8385 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 5317313 11162193920 5880 33554432000 4194304 4196468 140731419381216 140006243597328 140006643562197 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 26677248 140731419387075 140731419387204 140731419387204 140731419389903 0
[pid=13599/tid=13608] ppid=13596 vsize=10900580 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13599/task/13608/stat : 13608 (java) S 13596 13599 8385 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5317313 11162193920 5880 33554432000 4194304 4196468 140731419381216 140006242544784 140006643562197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26677248 140731419387075 140731419387204 140731419387204 140731419389903 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10900580
[startup+0.20091 s]
/proc/loadavg: 1.74 1.93 1.95 2/263 13599
/proc/meminfo: memFree=31701628/32770624 swapFree=6252/95488
[pid=13599] ppid=13596 vsize=10903200 CPUtime=0.28 cores=1,3,5,7,9,11,13,15
/proc/13599/stat : 13599 (java) S 13596 13599 8385 0 -1 1077944320 6712 0 0 0 26 2 0 0 20 0 20 0 5317312 11164876800 8704 33554432000 4194304 4196468 140731419381216 140731419363760 140006643551991 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 26677248 140731419387075 140731419387204 140731419387204 140731419389903 0
/proc/13599/statm: 2725800 8770 2916 1 0 2714207 0
[pid=13599/tid=13600] ppid=13596 vsize=10903200 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/13599/task/13600/stat : 13600 (java) R 13596 13599 8385 0 -1 4202560 3902 0 0 0 17 1 0 0 20 0 20 0 5317312 11164876800 8770 33554432000 4194304 4196468 140731419381216 140006647765808 140006636231709 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 26677248 140731419387075 140731419387204 140731419387204 140731419389903 0
[pid=13599/tid=13601] ppid=13596 vsize=10903200 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13599/task/13601/stat : 13601 (java) S 13596 13599 8385 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 5317313 11164876800 8770 33554432000 4194304 4196468 140731419381216 140006249912592 140006643562197 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 26677248 140731419387075 140731419387204 140731419387204 140731419389903 0
[pid=13599/tid=13602] ppid=13596 vsize=10903200 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13599/task/13602/stat : 13602 (java) S 13596 13599 8385 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 5317313 11164876800 8770 33554432000 4194304 4196468 140731419381216 140006248860048 140006643562197 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 26677248 140731419387075 140731419387204 140731419387204 140731419389903 0
[pid=13599/tid=13603] ppid=13596 vsize=10903200 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13599/task/13603/stat : 13603 (java) S 13596 13599 8385 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 5317313 11164876800 8836 33554432000 4194304 4196468 140731419381216 140006247807504 140006643562197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26677248 140731419387075 140731419387204 140731419387204 140731419389903 0
[pid=13599/tid=13604] ppid=13596 vsize=10903200 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13599/task/13604/stat : 13604 (java) S 13596 13599 8385 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 5317313 11164876800 8836 33554432000 4194304 4196468 140731419381216 140006246754960 140006643562197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26677248 140731419387075 140731419387204 140731419387204 140731419389903 0
[pid=13599/tid=13605] ppid=13596 vsize=10903200 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13599/task/13605/stat : 13605 (java) S 13596 13599 8385 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 5317313 11164876800 8836 33554432000 4194304 4196468 140731419381216 140006245702416 140006643562197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26677248 140731419387075 140731419387204 140731419387204 140731419389903 0
[pid=13599/tid=13606] ppid=13596 vsize=10903200 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13599/task/13606/stat : 13606 (java) S 13596 13599 8385 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5317313 11164876800 8836 33554432000 4194304 4196468 140731419381216 140006244649872 140006643562197 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 26677248 140731419387075 140731419387204 140731419387204 140731419389903 0
[pid=13599/tid=13607] ppid=13596 vsize=10903200 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13599/task/13607/stat : 13607 (java) S 13596 13599 8385 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 5317313 11164876800 8836 33554432000 4194304 4196468 140731419381216 140006243597328 140006643562197 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 26677248 140731419387075 140731419387204 140731419387204 140731419389903 0
[pid=13599/tid=13608] ppid=13596 vsize=10903200 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13599/task/13608/stat : 13608 (java) S 13596 13599 8385 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5317313 11164876800 8902 33554432000 4194304 4196468 140731419381216 140006242544784 140006643562197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26677248 140731419387075 140731419387204 140731419387204 140731419389903 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 10903200
[startup+0.300722 s]
/proc/loadavg: 1.74 1.93 1.95 2/263 13599
/proc/meminfo: memFree=31701628/32770624 swapFree=6252/95488
[pid=13599] ppid=13596 vsize=10969228 CPUtime=0.48 cores=1,3,5,7,9,11,13,15
/proc/13599/stat : 13599 (java) S 13596 13599 8385 0 -1 1077944320 8489 0 0 0 45 3 0 0 20 0 21 0 5317312 11232489472 13323 33554432000 4194304 4196468 140731419381216 140731419363760 140006643551991 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 26677248 140731419387075 140731419387204 140731419387204 140731419389903 0
/proc/13599/statm: 2742307 13323 2987 1 0 2730193 0
[pid=13599/tid=13600] ppid=13596 vsize=10969228 CPUtime=0.26 cores=1,3,5,7,9,11,13,15
/proc/13599/task/13600/stat : 13600 (java) S 13596 13599 8385 0 -1 1077944384 5191 0 0 0 24 2 0 0 20 0 21 0 5317312 11232489472 13323 33554432000 4194304 4196468 140731419381216 140006647794864 140006643562197 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 26677248 140731419387075 140731419387204 140731419387204 140731419389903 0
[pid=13599/tid=13601] ppid=13596 vsize=10969228 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13599/task/13601/stat : 13601 (java) S 13596 13599 8385 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 5317313 11232489472 13323 33554432000 4194304 4196468 140731419381216 140006249912592 140006643562197 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 26677248 140731419387075 140731419387204 140731419387204 140731419389903 0
[pid=13599/tid=13602] ppid=13596 vsize=10969228 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13599/task/13602/stat : 13602 (java) S 13596 13599 8385 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 5317313 11232489472 13323 33554432000 4194304 4196468 140731419381216 140006248860048 140006643562197 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 26677248 140731419387075 140731419387204 140731419387204 140731419389903 0
[pid=13599/tid=13603] ppid=13596 vsize=10969228 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13599/task/13603/stat : 13603 (java) S 13596 13599 8385 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 5317313 11232489472 13323 33554432000 4194304 4196468 140731419381216 140006247807504 140006643562197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26677248 140731419387075 140731419387204 140731419387204 140731419389903 0
[pid=13599/tid=13604] ppid=13596 vsize=10969228 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13599/task/13604/stat : 13604 (java) S 13596 13599 8385 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 5317313 11232489472 13323 33554432000 4194304 4196468 140731419381216 140006246754960 140006643562197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26677248 140731419387075 140731419387204 140731419387204 140731419389903 0
[pid=13599/tid=13605] ppid=13596 vsize=10969228 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13599/task/13605/stat : 13605 (java) S 13596 13599 8385 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 5317313 11232489472 13323 33554432000 4194304 4196468 140731419381216 140006245702416 140006643562197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26677248 140731419387075 140731419387204 140731419387204 140731419389903 0
[pid=13599/tid=13606] ppid=13596 vsize=10969228 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13599/task/13606/stat : 13606 (java) S 13596 13599 8385 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 5317313 11232489472 13323 33554432000 4194304 4196468 140731419381216 140006244649872 140006643562197 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 26677248 140731419387075 140731419387204 140731419387204 140731419389903 0
[pid=13599/tid=13607] ppid=13596 vsize=10969228 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13599/task/13607/stat : 13607 (java) S 13596 13599 8385 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 5317313 11232489472 13323 33554432000 4194304 4196468 140731419381216 140006243597328 140006643562197 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 26677248 140731419387075 140731419387204 140731419387204 140731419389903 0
[pid=13599/tid=13608] ppid=13596 vsize=10969228 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13599/task/13608/stat : 13608 (java) S 13596 13599 8385 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 5317313 11232489472 13323 33554432000 4194304 4196468 140731419381216 140006242544784 140006643562197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26677248 140731419387075 140731419387204 140731419387204 140731419389903 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 10969228
[startup+0.700653 s]
/proc/loadavg: 1.74 1.93 1.95 2/263 13599
/proc/meminfo: memFree=31701628/32770624 swapFree=6252/95488
[pid=13599] ppid=13596 vsize=10971352 CPUtime=1.41 cores=1,3,5,7,9,11,13,15
/proc/13599/stat : 13599 (java) S 13596 13599 8385 0 -1 1077944320 11948 0 0 0 135 6 0 0 20 0 21 0 5317312 11234664448 22687 33554432000 4194304 4196468 140731419381216 140731419363760 140006643551991 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 26677248 140731419387075 140731419387204 140731419387204 140731419389903 0
/proc/13599/statm: 2742838 22687 3119 1 0 2730705 0
[pid=13599/tid=13600] ppid=13596 vsize=10971352 CPUtime=0.26 cores=1,3,5,7,9,11,13,15
/proc/13599/task/13600/stat : 13600 (java) S 13596 13599 8385 0 -1 1077944384 5191 0 0 0 24 2 0 0 20 0 21 0 5317312 11234664448 22687 33554432000 4194304 4196468 140731419381216 140006647794864 140006643562197 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 26677248 140731419387075 140731419387204 140731419387204 140731419389903 0
[pid=13599/tid=13601] ppid=13596 vsize=10971352 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13599/task/13601/stat : 13601 (java) S 13596 13599 8385 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 5317313 11234664448 22687 33554432000 4194304 4196468 140731419381216 140006249912592 140006643562197 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 26677248 140731419387075 140731419387204 140731419387204 140731419389903 0
[pid=13599/tid=13602] ppid=13596 vsize=10971352 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13599/task/13602/stat : 13602 (java) S 13596 13599 8385 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 5317313 11234664448 22687 33554432000 4194304 4196468 140731419381216 140006248860048 140006643562197 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 26677248 140731419387075 140731419387204 140731419387204 140731419389903 0
[pid=13599/tid=13603] ppid=13596 vsize=10971352 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13599/task/13603/stat : 13603 (java) S 13596 13599 8385 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 5317313 11234664448 22687 33554432000 4194304 4196468 140731419381216 140006247807504 140006643562197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26677248 140731419387075 140731419387204 140731419387204 140731419389903 0
[pid=13599/tid=13604] ppid=13596 vsize=10971352 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13599/task/13604/stat : 13604 (java) S 13596 13599 8385 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 5317313 11234664448 22687 33554432000 4194304 4196468 140731419381216 140006246754960 140006643562197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26677248 140731419387075 140731419387204 140731419387204 140731419389903 0
[pid=13599/tid=13605] ppid=13596 vsize=10971352 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13599/task/13605/stat : 13605 (java) S 13596 13599 8385 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 5317313 11234664448 22687 33554432000 4194304 4196468 140731419381216 140006245702416 140006643562197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26677248 140731419387075 140731419387204 140731419387204 140731419389903 0
[pid=13599/tid=13606] ppid=13596 vsize=10971352 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13599/task/13606/stat : 13606 (java) S 13596 13599 8385 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 5317313 11234664448 22687 33554432000 4194304 4196468 140731419381216 140006244649872 140006643562197 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 26677248 140731419387075 140731419387204 140731419387204 140731419389903 0
[pid=13599/tid=13607] ppid=13596 vsize=10971352 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13599/task/13607/stat : 13607 (java) S 13596 13599 8385 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 5317313 11234664448 22687 33554432000 4194304 4196468 140731419381216 140006243597328 140006643562197 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 26677248 140731419387075 140731419387204 140731419387204 140731419389903 0
[pid=13599/tid=13608] ppid=13596 vsize=10971352 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13599/task/13608/stat : 13608 (java) S 13596 13599 8385 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 5317313 11234664448 22687 33554432000 4194304 4196468 140731419381216 140006242544784 140006643562197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26677248 140731419387075 140731419387204 140731419387204 140731419389903 0
Current children cumulated CPU time (s) 1.41
Current children cumulated vsize (KiB) 10971352
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 13599 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+0.800855 s]
/proc/loadavg: 1.74 1.93 1.95 2/263 13599
/proc/meminfo: memFree=31701628/32770624 swapFree=6252/95488
[pid=13599] ppid=13596 vsize=10973400 CPUtime=1.86 cores=1,3,5,7,9,11,13,15
/proc/13599/stat : 13599 (java) S 13596 13599 8385 0 -1 1077944320 14298 0 0 0 179 7 0 0 20 0 21 0 5317312 11236761600 25041 33554432000 4194304 4196468 140731419381216 140731419363760 140006643551991 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 26677248 140731419387075 140731419387204 140731419387204 140731419389903 0
/proc/13599/statm: 2743350 25041 3124 1 0 2731217 0
[pid=13599/tid=13600] ppid=13596 vsize=10973400 CPUtime=0.26 cores=1,3,5,7,9,11,13,15
/proc/13599/task/13600/stat : 13600 (java) S 13596 13599 8385 0 -1 1077944384 5191 0 0 0 24 2 0 0 20 0 21 0 5317312 11236761600 25041 33554432000 4194304 4196468 140731419381216 140006647794864 140006643562197 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 26677248 140731419387075 140731419387204 140731419387204 140731419389903 0
[pid=13599/tid=13601] ppid=13596 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13599/task/13601/stat : 13601 (java) S 13596 13599 8385 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 5317313 11236761600 25041 33554432000 4194304 4196468 140731419381216 140006249912592 140006643562197 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 26677248 140731419387075 140731419387204 140731419387204 140731419389903 0
[pid=13599/tid=13602] ppid=13596 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13599/task/13602/stat : 13602 (java) S 13596 13599 8385 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 5317313 11236761600 25041 33554432000 4194304 4196468 140731419381216 140006248860048 140006643562197 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 26677248 140731419387075 140731419387204 140731419387204 140731419389903 0
[pid=13599/tid=13603] ppid=13596 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13599/task/13603/stat : 13603 (java) S 13596 13599 8385 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 5317313 11236761600 25041 33554432000 4194304 4196468 140731419381216 140006247807504 140006643562197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26677248 140731419387075 140731419387204 140731419387204 140731419389903 0
[pid=13599/tid=13604] ppid=13596 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13599/task/13604/stat : 13604 (java) S 13596 13599 8385 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 5317313 11236761600 25041 33554432000 4194304 4196468 140731419381216 140006246754960 140006643562197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26677248 140731419387075 140731419387204 140731419387204 140731419389903 0
[pid=13599/tid=13605] ppid=13596 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13599/task/13605/stat : 13605 (java) S 13596 13599 8385 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 5317313 11236761600 25041 33554432000 4194304 4196468 140731419381216 140006245702416 140006643562197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26677248 140731419387075 140731419387204 140731419387204 140731419389903 0
[pid=13599/tid=13606] ppid=13596 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13599/task/13606/stat : 13606 (java) S 13596 13599 8385 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 5317313 11236761600 25041 33554432000 4194304 4196468 140731419381216 140006244649872 140006643562197 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 26677248 140731419387075 140731419387204 140731419387204 140731419389903 0
[pid=13599/tid=13607] ppid=13596 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13599/task/13607/stat : 13607 (java) S 13596 13599 8385 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 5317313 11236761600 25041 33554432000 4194304 4196468 140731419381216 140006243597328 140006643562197 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 26677248 140731419387075 140731419387204 140731419387204 140731419389903 0
[pid=13599/tid=13608] ppid=13596 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13599/task/13608/stat : 13608 (java) S 13596 13599 8385 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 5317313 11236761600 25041 33554432000 4194304 4196468 140731419381216 140006242544784 140006643562197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26677248 140731419387075 140731419387204 140731419387204 140731419389903 0
Current children cumulated CPU time (s) 1.86
Current children cumulated vsize (KiB) 10973400
[startup+1.2091 s]
/proc/loadavg: 1.74 1.93 1.95 3/284 13620
/proc/meminfo: memFree=31610148/32770624 swapFree=6252/95536
[pid=13599] ppid=13596 vsize=10973400 CPUtime=2.91 cores=1,3,5,7,9,11,13,15
/proc/13599/stat : 13599 (java) S 13596 13599 8385 0 -1 1077944320 14891 0 0 0 283 8 0 0 20 0 21 0 5317312 11236761600 26587 33554432000 4194304 4196468 140731419381216 140731419363760 140006643551991 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 26677248 140731419387075 140731419387204 140731419387204 140731419389903 0
/proc/13599/statm: 2743350 26587 3125 1 0 2731217 0
[pid=13599/tid=13600] ppid=13596 vsize=10973400 CPUtime=0.26 cores=1,3,5,7,9,11,13,15
/proc/13599/task/13600/stat : 13600 (java) S 13596 13599 8385 0 -1 1077944384 5191 0 0 0 24 2 0 0 20 0 21 0 5317312 11236761600 26587 33554432000 4194304 4196468 140731419381216 140006647794864 140006643562197 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 26677248 140731419387075 140731419387204 140731419387204 140731419389903 0
[pid=13599/tid=13601] ppid=13596 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13599/task/13601/stat : 13601 (java) S 13596 13599 8385 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 5317313 11236761600 26587 33554432000 4194304 4196468 140731419381216 140006249912592 140006643562197 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 26677248 140731419387075 140731419387204 140731419387204 140731419389903 0
[pid=13599/tid=13602] ppid=13596 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13599/task/13602/stat : 13602 (java) S 13596 13599 8385 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 5317313 11236761600 26587 33554432000 4194304 4196468 140731419381216 140006248860048 140006643562197 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 26677248 140731419387075 140731419387204 140731419387204 140731419389903 0
[pid=13599/tid=13603] ppid=13596 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13599/task/13603/stat : 13603 (java) S 13596 13599 8385 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 5317313 11236761600 26587 33554432000 4194304 4196468 140731419381216 140006247807504 140006643562197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26677248 140731419387075 140731419387204 140731419387204 140731419389903 0
[pid=13599/tid=13604] ppid=13596 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13599/task/13604/stat : 13604 (java) S 13596 13599 8385 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 5317313 11236761600 26587 33554432000 4194304 4196468 140731419381216 140006246754960 140006643562197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26677248 140731419387075 140731419387204 140731419387204 140731419389903 0
[pid=13599/tid=13605] ppid=13596 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13599/task/13605/stat : 13605 (java) S 13596 13599 8385 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 5317313 11236761600 26587 33554432000 4194304 4196468 140731419381216 140006245702416 140006643562197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26677248 140731419387075 140731419387204 140731419387204 140731419389903 0
[pid=13599/tid=13606] ppid=13596 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13599/task/13606/stat : 13606 (java) S 13596 13599 8385 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 5317313 11236761600 26587 33554432000 4194304 4196468 140731419381216 140006244649872 140006643562197 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 26677248 140731419387075 140731419387204 140731419387204 140731419389903 0
[pid=13599/tid=13607] ppid=13596 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13599/task/13607/stat : 13607 (java) S 13596 13599 8385 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 5317313 11236761600 26587 33554432000 4194304 4196468 140731419381216 140006243597328 140006643562197 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 26677248 140731419387075 140731419387204 140731419387204 140731419389903 0
[pid=13599/tid=13608] ppid=13596 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13599/task/13608/stat : 13608 (java) S 13596 13599 8385 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 5317313 11236761600 26587 33554432000 4194304 4196468 140731419381216 140006242544784 140006643562197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26677248 140731419387075 140731419387204 140731419387204 140731419389903 0
[pid=13599/tid=13610] ppid=13596 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13599/task/13610/stat : 13610 (java) S 13596 13599 8385 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 21 0 5317315 11236761600 26587 33554432000 4194304 4196468 140731419381216 140006119106544 140006643563138 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26677248 140731419387075 140731419387204 140731419387204 140731419389903 0
[pid=13599/tid=13611] ppid=13596 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13599/task/13611/stat : 13611 (java) S 13596 13599 8385 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 21 0 5317316 11236761600 26587 33554432000 4194304 4196468 140731419381216 140006118052768 140006643562197 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 26677248 140731419387075 140731419387204 140731419387204 140731419389903 0
[pid=13599/tid=13612] ppid=13596 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13599/task/13612/stat : 13612 (java) S 13596 13599 8385 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 21 0 5317317 11236761600 26587 33554432000 4194304 4196468 140731419381216 140006117000176 140006643562197 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 26677248 140731419387075 140731419387204 140731419387204 140731419389903 0
[pid=13599/tid=13613] ppid=13596 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13599/task/13613/stat : 13613 (java) S 13596 13599 8385 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 5317320 11236761600 26587 33554432000 4194304 4196468 140731419381216 140006115948752 140006643570587 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 26677248 140731419387075 140731419387204 140731419387204 140731419389903 0
[pid=13599/tid=13614] ppid=13596 vsize=10973400 CPUtime=0.45 cores=1,3,5,7,9,11,13,15
/proc/13599/task/13614/stat : 13614 (java) S 13596 13599 8385 0 -1 1077944384 1535 0 0 0 45 0 0 0 20 0 21 0 5317320 11236761600 26587 33554432000 4194304 4196468 140731419381216 140006114896368 140006643563138 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 26677248 140731419387075 140731419387204 140731419387204 140731419389903 0
[pid=13599/tid=13615] ppid=13596 vsize=10973400 CPUtime=0.46 cores=1,3,5,7,9,11,13,15
/proc/13599/task/13615/stat : 13615 (java) S 13596 13599 8385 0 -1 1077944384 1021 0 0 0 46 0 0 0 20 0 21 0 5317320 11236761600 26587 33554432000 4194304 4196468 140731419381216 140006113843824 140006643563138 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 26677248 140731419387075 140731419387204 140731419387204 140731419389903 0
[pid=13599/tid=13616] ppid=13596 vsize=10973400 CPUtime=0.4 cores=1,3,5,7,9,11,13,15
/proc/13599/task/13616/stat : 13616 (java) S 13596 13599 8385 0 -1 1077944384 1327 0 0 0 40 0 0 0 20 0 21 0 5317320 11236761600 26587 33554432000 4194304 4196468 140731419381216 140006112791280 140006643563138 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26677248 140731419387075 140731419387204 140731419387204 140731419389903 0
[pid=13599/tid=13617] ppid=13596 vsize=10973400 CPUtime=0.37 cores=1,3,5,7,9,11,13,15
/proc/13599/task/13617/stat : 13617 (java) S 13596 13599 8385 0 -1 1077944384 1667 0 0 0 36 1 0 0 20 0 21 0 5317321 11236761600 26587 33554432000 4194304 4196468 140731419381216 140006111738736 140006643563138 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 26677248 140731419387075 140731419387204 140731419387204 140731419389903 0
[pid=13599/tid=13618] ppid=13596 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13599/task/13618/stat : 13618 (java) S 13596 13599 8385 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 5317321 11236761600 26587 33554432000 4194304 4196468 140731419381216 140006110685408 140006643562197 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 26677248 140731419387075 140731419387204 140731419387204 140731419389903 0
[pid=13599/tid=13619] ppid=13596 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13599/task/13619/stat : 13619 (java) S 13596 13599 8385 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 5317321 11236761600 26587 33554432000 4194304 4196468 140731419381216 140006109632944 140006643563138 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 26677248 140731419387075 140731419387204 140731419387204 140731419389903 0
[pid=13599/tid=13620] ppid=13596 vsize=10973400 CPUtime=0.9 cores=1,3,5,7,9,11,13,15
/proc/13599/task/13620/stat : 13620 (java) R 13596 13599 8385 0 -1 4202560 2763 0 0 0 88 2 0 0 20 0 21 0 5317340 11236761600 26587 33554432000 4194304 4196468 140731419381216 140006106441272 140006284810008 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 26677248 140731419387075 140731419387204 140731419387204 140731419389903 0
Current children cumulated CPU time (s) 2.91
Current children cumulated vsize (KiB) 10973400
Child status: 0
Real time (s): 1.29884
CPU time (s): 3.01462
CPU user time (s): 2.92703
CPU system time (s): 0.087586
CPU usage (%): 232.101
Max. virtual memory (cumulated for all children) (KiB): 10973400
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.92703
system time used= 0.087586
maximum resident set size= 107052
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14960
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2803
involuntary context switches= 227
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.01988 second user time and 0.015462 second system time
The end