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-4244383-1500683902/watcher-4244383-1500683902 -o /tmp/evaluation-result-4244383-1500683902/solver-4244383-1500683902 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node135-1500683902-15710 --watchdog 2560 java -Xmx10000m -jar oscar-cp-xcsp3-alns.jar --randomseed 1989092776 --timelimit 2400 --memlimit 15500 --nbcore 8 HOME/instance-4244383-1500683902.xml
pid=15735
running on 8 cores: 0,2,4,6,8,10,12,14
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 1.04 1.24 1.64 3/245 15739
/proc/meminfo: memFree=31876760/32770624 swapFree=5932/219448
[pid=15739] ppid=15735 vsize=10621200 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15739/stat : 15739 (java) S 15735 15739 15122 0 -1 1077944320 1872 0 0 0 0 0 0 0 20 0 2 0 3657207 10876108800 2121 33554432000 4194304 4196468 140732598567312 140732598549856 140282553028343 0 0 0 16784584 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 31776768 140732598576271 140732598576452 140732598576452 140732598579151 0
/proc/15739/statm: 2658634 2121 1179 1 0 2647545 0
[pid=15739/tid=15743] ppid=15735 vsize=10634536 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15739/task/15743/stat : 15743 (java) R 15735 15739 15122 0 -1 4202560 629 0 0 0 0 0 0 0 20 0 2 0 3657207 10889764864 2187 33554432000 4194304 4196468 140732598567312 140282557269064 140282545317792 0 4 0 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31776768 140732598576271 140732598576452 140732598576452 140732598579151 0
[startup+0.100102 s]
/proc/loadavg: 1.04 1.24 1.64 3/245 15739
/proc/meminfo: memFree=31876760/32770624 swapFree=5932/219448
[pid=15739] ppid=15735 vsize=13264380 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/15739/stat : 15739 (java) S 15735 15739 15122 0 -1 1077944320 5556 0 0 0 8 1 0 0 20 0 20 0 3657207 13582725120 6183 33554432000 4194304 4196468 140732598567312 140732598549856 140282553028343 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 31776768 140732598576271 140732598576452 140732598576452 140732598579151 0
/proc/15739/statm: 3316095 6183 3335 1 0 3303815 0
[pid=15739/tid=15743] ppid=15735 vsize=13264380 CPUtime=0.08 cores=0,2,4,6,8,10,12,14
/proc/15739/task/15743/stat : 15743 (java) R 15735 15739 15122 0 -1 4202560 3642 0 0 0 7 1 0 0 20 0 20 0 3657207 13582725120 6183 33554432000 4194304 4196468 140732598567312 140282557268120 140282537108830 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31776768 140732598576271 140732598576452 140732598576452 140732598579151 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13264380
[startup+0.200377 s]
/proc/loadavg: 1.04 1.24 1.64 3/245 15739
/proc/meminfo: memFree=31876760/32770624 swapFree=5932/219448
[pid=15739] ppid=15735 vsize=13263912 CPUtime=0.27 cores=0,2,4,6,8,10,12,14
/proc/15739/stat : 15739 (java) S 15735 15739 15122 0 -1 1077944320 8756 0 0 0 24 3 0 0 20 0 20 0 3657207 13582245888 8722 33554432000 4194304 4196468 140732598567312 140732598549856 140282553028343 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 31776768 140732598576271 140732598576452 140732598576452 140732598579151 0
/proc/15739/statm: 3315978 8722 3532 1 0 3303698 0
[pid=15739/tid=15743] ppid=15735 vsize=13263912 CPUtime=0.18 cores=0,2,4,6,8,10,12,14
/proc/15739/task/15743/stat : 15743 (java) R 15735 15739 15122 0 -1 4202560 6448 0 0 0 16 2 0 0 20 0 20 0 3657207 13582245888 8722 33554432000 4194304 4196468 140732598567312 140282557256720 140282534591876 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31776768 140732598576271 140732598576452 140732598576452 140732598579151 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 13263912
[startup+0.300344 s]
/proc/loadavg: 1.04 1.24 1.64 3/245 15739
/proc/meminfo: memFree=31876760/32770624 swapFree=5932/219448
[pid=15739] ppid=15735 vsize=13263912 CPUtime=0.42 cores=0,2,4,6,8,10,12,14
/proc/15739/stat : 15739 (java) S 15735 15739 15122 0 -1 1077944320 9786 0 0 0 39 3 0 0 20 0 20 0 3657207 13582245888 11049 33554432000 4194304 4196468 140732598567312 140732598549856 140282553028343 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 31776768 140732598576271 140732598576452 140732598576452 140732598579151 0
/proc/15739/statm: 3315978 11049 3626 1 0 3303698 0
[pid=15739/tid=15743] ppid=15735 vsize=13263912 CPUtime=0.27 cores=0,2,4,6,8,10,12,14
/proc/15739/task/15743/stat : 15743 (java) R 15735 15739 15122 0 -1 4202560 7207 0 0 0 25 2 0 0 20 0 20 0 3657207 13582245888 11049 33554432000 4194304 4196468 140732598567312 140282557242736 140282531291960 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31776768 140732598576271 140732598576452 140732598576452 140732598579151 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 13263912
[startup+0.700196 s]
/proc/loadavg: 1.04 1.24 1.64 3/245 15739
/proc/meminfo: memFree=31876760/32770624 swapFree=5932/219448
[pid=15739] ppid=15735 vsize=13265980 CPUtime=1.23 cores=0,2,4,6,8,10,12,14
/proc/15739/stat : 15739 (java) S 15735 15739 15122 0 -1 1077944320 12315 0 1 0 118 5 0 0 20 0 20 0 3657207 13584363520 17212 33554432000 4194304 4196468 140732598567312 140732598549856 140282553028343 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 31776768 140732598576271 140732598576452 140732598576452 140732598579151 0
/proc/15739/statm: 3316495 17212 3761 1 0 3304210 0
[pid=15739/tid=15743] ppid=15735 vsize=13265980 CPUtime=0.66 cores=0,2,4,6,8,10,12,14
/proc/15739/task/15743/stat : 15743 (java) R 15735 15739 15122 0 -1 4202560 8585 0 1 0 63 3 0 0 20 0 20 0 3657207 13584363520 17212 33554432000 4194304 4196468 140732598567312 140282557256880 140282171622420 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31776768 140732598576271 140732598576452 140732598576452 140732598579151 0
Current children cumulated CPU time (s) 1.23
Current children cumulated vsize (KiB) 13265980
[startup+1.50108 s]
/proc/loadavg: 1.28 1.28 1.65 9/288 15782
/proc/meminfo: memFree=31680176/32770624 swapFree=5932/219672
[pid=15739] ppid=15735 vsize=13270076 CPUtime=3.95 cores=0,2,4,6,8,10,12,14
/proc/15739/stat : 15739 (java) S 15735 15739 15122 0 -1 1077944320 31663 0 1 0 386 9 0 0 20 0 20 0 3657207 13588557824 39279 33554432000 4194304 4196468 140732598567312 140732598549856 140282553028343 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 31776768 140732598576271 140732598576452 140732598576452 140732598579151 0
/proc/15739/statm: 3317519 39279 3780 1 0 3305234 0
[pid=15739/tid=15743] ppid=15735 vsize=13270076 CPUtime=1.46 cores=0,2,4,6,8,10,12,14
/proc/15739/task/15743/stat : 15743 (java) R 15735 15739 15122 0 -1 4202560 11243 0 1 0 141 5 0 0 20 0 20 0 3657207 13588557824 39279 33554432000 4194304 4196468 140732598567312 140282557259328 140282178448058 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31776768 140732598576271 140732598576452 140732598576452 140732598579151 0
[pid=15739/tid=15746] ppid=15735 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15739/task/15746/stat : 15746 (java) S 15735 15739 15122 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 3657208 13588557824 39279 33554432000 4194304 4196468 140732598567312 140282491992848 140282553038549 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 31776768 140732598576271 140732598576452 140732598576452 140732598579151 0
[pid=15739/tid=15747] ppid=15735 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15739/task/15747/stat : 15747 (java) S 15735 15739 15122 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 3657208 13588557824 39279 33554432000 4194304 4196468 140732598567312 140282151000976 140282553038549 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 31776768 140732598576271 140732598576452 140732598576452 140732598579151 0
[pid=15739/tid=15748] ppid=15735 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15739/task/15748/stat : 15748 (java) S 15735 15739 15122 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3657208 13588557824 39279 33554432000 4194304 4196468 140732598567312 140282149948432 140282553038549 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31776768 140732598576271 140732598576452 140732598576452 140732598579151 0
[pid=15739/tid=15751] ppid=15735 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15739/task/15751/stat : 15751 (java) S 15735 15739 15122 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 3657208 13588557824 39279 33554432000 4194304 4196468 140732598567312 140282148895888 140282553038549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31776768 140732598576271 140732598576452 140732598576452 140732598579151 0
[pid=15739/tid=15752] ppid=15735 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15739/task/15752/stat : 15752 (java) S 15735 15739 15122 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3657208 13588557824 39279 33554432000 4194304 4196468 140732598567312 140282147842320 140282553038549 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 31776768 140732598576271 140732598576452 140732598576452 140732598579151 0
[pid=15739/tid=15754] ppid=15735 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15739/task/15754/stat : 15754 (java) S 15735 15739 15122 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 3657208 13588557824 39279 33554432000 4194304 4196468 140732598567312 140282146789776 140282553038549 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 31776768 140732598576271 140732598576452 140732598576452 140732598579151 0
[pid=15739/tid=15755] ppid=15735 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15739/task/15755/stat : 15755 (java) S 15735 15739 15122 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 3657208 13588557824 39279 33554432000 4194304 4196468 140732598567312 140282145737232 140282553038549 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31776768 140732598576271 140732598576452 140732598576452 140732598579151 0
[pid=15739/tid=15757] ppid=15735 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15739/task/15757/stat : 15757 (java) S 15735 15739 15122 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3657208 13588557824 39279 33554432000 4194304 4196468 140732598567312 140282144684688 140282553038549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31776768 140732598576271 140732598576452 140732598576452 140732598579151 0
[pid=15739/tid=15763] ppid=15735 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15739/task/15763/stat : 15763 (java) S 15735 15739 15122 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 20 0 3657210 13588557824 39279 33554432000 4194304 4196468 140732598567312 140281285945840 140282553039490 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31776768 140732598576271 140732598576452 140732598576452 140732598579151 0
[pid=15739/tid=15764] ppid=15735 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15739/task/15764/stat : 15764 (java) S 15735 15739 15122 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 3657210 13588557824 39279 33554432000 4194304 4196468 140732598567312 140281284892064 140282553038549 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 31776768 140732598576271 140732598576452 140732598576452 140732598579151 0
[pid=15739/tid=15766] ppid=15735 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15739/task/15766/stat : 15766 (java) S 15735 15739 15122 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 3657211 13588557824 39279 33554432000 4194304 4196468 140732598567312 140281283839472 140282553038549 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 31776768 140732598576271 140732598576452 140732598576452 140732598579151 0
[pid=15739/tid=15769] ppid=15735 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15739/task/15769/stat : 15769 (java) S 15735 15739 15122 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3657215 13588557824 39279 33554432000 4194304 4196468 140732598567312 140281080965840 140282553046939 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 31776768 140732598576271 140732598576452 140732598576452 140732598579151 0
[pid=15739/tid=15770] ppid=15735 vsize=13270076 CPUtime=0.62 cores=0,2,4,6,8,10,12,14
/proc/15739/task/15770/stat : 15770 (java) R 15735 15739 15122 0 -1 4202560 3101 0 0 0 61 1 0 0 20 0 20 0 3657215 13588557824 39279 33554432000 4194304 4196468 140732598567312 140281079901200 140282536522521 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 31776768 140732598576271 140732598576452 140732598576452 140732598579151 0
[pid=15739/tid=15771] ppid=15735 vsize=13270076 CPUtime=0.59 cores=0,2,4,6,8,10,12,14
/proc/15739/task/15771/stat : 15771 (java) R 15735 15739 15122 0 -1 4202560 2608 0 0 0 59 0 0 0 20 0 20 0 3657215 13588557824 39279 33554432000 4194304 4196468 140732598567312 140281078845728 140282539087841 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 31776768 140732598576271 140732598576452 140732598576452 140732598579151 0
[pid=15739/tid=15772] ppid=15735 vsize=13270076 CPUtime=0.63 cores=0,2,4,6,8,10,12,14
/proc/15739/task/15772/stat : 15772 (java) R 15735 15739 15122 0 -1 4202560 5875 0 0 0 62 1 0 0 20 0 20 0 3657215 13588557824 39279 33554432000 4194304 4196468 140732598567312 140281077793368 140282534546131 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 31776768 140732598576271 140732598576452 140732598576452 140732598579151 0
[pid=15739/tid=15773] ppid=15735 vsize=13270076 CPUtime=0.61 cores=0,2,4,6,8,10,12,14
/proc/15739/task/15773/stat : 15773 (java) S 15735 15739 15122 0 -1 1077944384 7429 0 0 0 60 1 0 0 20 0 20 0 3657215 13588557824 39279 33554432000 4194304 4196468 140732598567312 140281076754800 140282553039490 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 31776768 140732598576271 140732598576452 140732598576452 140732598579151 0
[pid=15739/tid=15774] ppid=15735 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15739/task/15774/stat : 15774 (java) S 15735 15739 15122 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3657215 13588557824 39279 33554432000 4194304 4196468 140732598567312 140281075702496 140282553038549 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 31776768 140732598576271 140732598576452 140732598576452 140732598579151 0
[pid=15739/tid=15780] ppid=15735 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15739/task/15780/stat : 15780 (java) S 15735 15739 15122 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3657215 13588557824 39279 33554432000 4194304 4196468 140732598567312 140281074650032 140282553039490 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31776768 140732598576271 140732598576452 140732598576452 140732598579151 0
Current children cumulated CPU time (s) 3.95
Current children cumulated vsize (KiB) 13270076
[startup+3.10068 s]
/proc/loadavg: 1.28 1.28 1.65 4/288 15782
/proc/meminfo: memFree=31562860/32770624 swapFree=5932/219856
[pid=15739] ppid=15735 vsize=13270076 CPUtime=6.53 cores=0,2,4,6,8,10,12,14
/proc/15739/stat : 15739 (java) S 15735 15739 15122 0 -1 1077944320 33935 0 1 0 643 10 0 0 20 0 20 0 3657207 13588557824 48246 33554432000 4194304 4196468 140732598567312 140732598549856 140282553028343 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 31776768 140732598576271 140732598576452 140732598576452 140732598579151 0
/proc/15739/statm: 3317519 48246 3788 1 0 3305234 0
[pid=15739/tid=15743] ppid=15735 vsize=13270076 CPUtime=3.06 cores=0,2,4,6,8,10,12,14
/proc/15739/task/15743/stat : 15743 (java) R 15735 15739 15122 0 -1 4202560 11576 0 1 0 301 5 0 0 20 0 20 0 3657207 13588557824 48246 33554432000 4194304 4196468 140732598567312 140282557264424 140282179041815 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31776768 140732598576271 140732598576452 140732598576452 140732598579151 0
[pid=15739/tid=15746] ppid=15735 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15739/task/15746/stat : 15746 (java) S 15735 15739 15122 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 3657208 13588557824 48246 33554432000 4194304 4196468 140732598567312 140282491992848 140282553038549 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 31776768 140732598576271 140732598576452 140732598576452 140732598579151 0
[pid=15739/tid=15747] ppid=15735 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15739/task/15747/stat : 15747 (java) S 15735 15739 15122 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 3657208 13588557824 48246 33554432000 4194304 4196468 140732598567312 140282151000976 140282553038549 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 31776768 140732598576271 140732598576452 140732598576452 140732598579151 0
[pid=15739/tid=15748] ppid=15735 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15739/task/15748/stat : 15748 (java) S 15735 15739 15122 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3657208 13588557824 48246 33554432000 4194304 4196468 140732598567312 140282149948432 140282553038549 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31776768 140732598576271 140732598576452 140732598576452 140732598579151 0
[pid=15739/tid=15751] ppid=15735 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15739/task/15751/stat : 15751 (java) S 15735 15739 15122 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 3657208 13588557824 48246 33554432000 4194304 4196468 140732598567312 140282148895888 140282553038549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31776768 140732598576271 140732598576452 140732598576452 140732598579151 0
[pid=15739/tid=15752] ppid=15735 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15739/task/15752/stat : 15752 (java) S 15735 15739 15122 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3657208 13588557824 48246 33554432000 4194304 4196468 140732598567312 140282147842320 140282553038549 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 31776768 140732598576271 140732598576452 140732598576452 140732598579151 0
[pid=15739/tid=15754] ppid=15735 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15739/task/15754/stat : 15754 (java) S 15735 15739 15122 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 3657208 13588557824 48246 33554432000 4194304 4196468 140732598567312 140282146789776 140282553038549 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 31776768 140732598576271 140732598576452 140732598576452 140732598579151 0
[pid=15739/tid=15755] ppid=15735 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15739/task/15755/stat : 15755 (java) S 15735 15739 15122 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 3657208 13588557824 48246 33554432000 4194304 4196468 140732598567312 140282145737232 140282553038549 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31776768 140732598576271 140732598576452 140732598576452 140732598579151 0
[pid=15739/tid=15757] ppid=15735 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15739/task/15757/stat : 15757 (java) S 15735 15739 15122 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3657208 13588557824 48246 33554432000 4194304 4196468 140732598567312 140282144684688 140282553038549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31776768 140732598576271 140732598576452 140732598576452 140732598579151 0
[pid=15739/tid=15763] ppid=15735 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15739/task/15763/stat : 15763 (java) S 15735 15739 15122 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 20 0 3657210 13588557824 48246 33554432000 4194304 4196468 140732598567312 140281285945840 140282553039490 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31776768 140732598576271 140732598576452 140732598576452 140732598579151 0
[pid=15739/tid=15764] ppid=15735 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15739/task/15764/stat : 15764 (java) S 15735 15739 15122 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 3657210 13588557824 48246 33554432000 4194304 4196468 140732598567312 140281284892064 140282553038549 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 31776768 140732598576271 140732598576452 140732598576452 140732598579151 0
[pid=15739/tid=15766] ppid=15735 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15739/task/15766/stat : 15766 (java) S 15735 15739 15122 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 3657211 13588557824 48246 33554432000 4194304 4196468 140732598567312 140281283839472 140282553038549 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 31776768 140732598576271 140732598576452 140732598576452 140732598579151 0
[pid=15739/tid=15769] ppid=15735 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15739/task/15769/stat : 15769 (java) S 15735 15739 15122 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3657215 13588557824 48246 33554432000 4194304 4196468 140732598567312 140281080965840 140282553046939 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 31776768 140732598576271 140732598576452 140732598576452 140732598579151 0
[pid=15739/tid=15770] ppid=15735 vsize=13270076 CPUtime=0.91 cores=0,2,4,6,8,10,12,14
/proc/15739/task/15770/stat : 15770 (java) S 15735 15739 15122 0 -1 1077944384 3428 0 0 0 90 1 0 0 20 0 20 0 3657215 13588557824 48246 33554432000 4194304 4196468 140732598567312 140281079912432 140282553039490 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 31776768 140732598576271 140732598576452 140732598576452 140732598579151 0
[pid=15739/tid=15771] ppid=15735 vsize=13270076 CPUtime=0.94 cores=0,2,4,6,8,10,12,14
/proc/15739/task/15771/stat : 15771 (java) S 15735 15739 15122 0 -1 1077944384 3091 0 0 0 94 0 0 0 20 0 20 0 3657215 13588557824 48246 33554432000 4194304 4196468 140732598567312 140281078859888 140282553039490 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31776768 140732598576271 140732598576452 140732598576452 140732598579151 0
[pid=15739/tid=15772] ppid=15735 vsize=13270076 CPUtime=0.95 cores=0,2,4,6,8,10,12,14
/proc/15739/task/15772/stat : 15772 (java) S 15735 15739 15122 0 -1 1077944384 6888 0 0 0 94 1 0 0 20 0 20 0 3657215 13588557824 48246 33554432000 4194304 4196468 140732598567312 140281077807344 140282553039490 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 31776768 140732598576271 140732598576452 140732598576452 140732598579151 0
[pid=15739/tid=15773] ppid=15735 vsize=13270076 CPUtime=0.63 cores=0,2,4,6,8,10,12,14
/proc/15739/task/15773/stat : 15773 (java) S 15735 15739 15122 0 -1 1077944384 7485 0 0 0 62 1 0 0 20 0 20 0 3657215 13588557824 48246 33554432000 4194304 4196468 140732598567312 140281076754800 140282553039490 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 31776768 140732598576271 140732598576452 140732598576452 140732598579151 0
[pid=15739/tid=15774] ppid=15735 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15739/task/15774/stat : 15774 (java) S 15735 15739 15122 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3657215 13588557824 48246 33554432000 4194304 4196468 140732598567312 140281075702496 140282553038549 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 31776768 140732598576271 140732598576452 140732598576452 140732598579151 0
[pid=15739/tid=15780] ppid=15735 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15739/task/15780/stat : 15780 (java) S 15735 15739 15122 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 3657215 13588557824 48246 33554432000 4194304 4196468 140732598567312 140281074650032 140282553039490 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31776768 140732598576271 140732598576452 140732598576452 140732598579151 0
Current children cumulated CPU time (s) 6.53
Current children cumulated vsize (KiB) 13270076
[startup+6.30073 s]
/proc/loadavg: 1.41 1.31 1.66 3/288 15782
/proc/meminfo: memFree=31044420/32770624 swapFree=5932/219884
[pid=15739] ppid=15735 vsize=13270076 CPUtime=10.09 cores=0,2,4,6,8,10,12,14
/proc/15739/stat : 15739 (java) S 15735 15739 15122 0 -1 1077944320 41974 0 1 0 995 14 0 0 20 0 20 0 3657207 13588557824 58035 33554432000 4194304 4196468 140732598567312 140732598549856 140282553028343 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 31776768 140732598576271 140732598576452 140732598576452 140732598579151 0
/proc/15739/statm: 3317519 58035 3808 1 0 3305234 0
[pid=15739/tid=15743] ppid=15735 vsize=13270076 CPUtime=6.24 cores=0,2,4,6,8,10,12,14
/proc/15739/task/15743/stat : 15743 (java) R 15735 15739 15122 0 -1 4202560 11795 0 1 0 619 5 0 0 20 0 20 0 3657207 13588557824 58035 33554432000 4194304 4196468 140732598567312 140282557266392 140282179539660 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31776768 140732598576271 140732598576452 140732598576452 140732598579151 0
[pid=15739/tid=15746] ppid=15735 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15739/task/15746/stat : 15746 (java) S 15735 15739 15122 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 3657208 13588557824 58035 33554432000 4194304 4196468 140732598567312 140282491992848 140282553038549 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 31776768 140732598576271 140732598576452 140732598576452 140732598579151 0
[pid=15739/tid=15747] ppid=15735 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15739/task/15747/stat : 15747 (java) S 15735 15739 15122 0 -1 1077944384 171 0 0 0 0 0 0 0 20 0 20 0 3657208 13588557824 58035 33554432000 4194304 4196468 140732598567312 140282151000976 140282553038549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31776768 140732598576271 140732598576452 140732598576452 140732598579151 0
[pid=15739/tid=15748] ppid=15735 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15739/task/15748/stat : 15748 (java) S 15735 15739 15122 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 20 0 3657208 13588557824 58035 33554432000 4194304 4196468 140732598567312 140282149948432 140282553038549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31776768 140732598576271 140732598576452 140732598576452 140732598579151 0
[pid=15739/tid=15751] ppid=15735 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15739/task/15751/stat : 15751 (java) S 15735 15739 15122 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 20 0 3657208 13588557824 58035 33554432000 4194304 4196468 140732598567312 140282148895888 140282553038549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31776768 140732598576271 140732598576452 140732598576452 140732598579151 0
[pid=15739/tid=15752] ppid=15735 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15739/task/15752/stat : 15752 (java) S 15735 15739 15122 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 20 0 3657208 13588557824 58035 33554432000 4194304 4196468 140732598567312 140282147842320 140282553038549 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 31776768 140732598576271 140732598576452 140732598576452 140732598579151 0
[pid=15739/tid=15754] ppid=15735 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15739/task/15754/stat : 15754 (java) S 15735 15739 15122 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 20 0 3657208 13588557824 58035 33554432000 4194304 4196468 140732598567312 140282146789776 140282553038549 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 31776768 140732598576271 140732598576452 140732598576452 140732598579151 0
[pid=15739/tid=15755] ppid=15735 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15739/task/15755/stat : 15755 (java) S 15735 15739 15122 0 -1 1077944384 793 0 0 0 0 0 0 0 20 0 20 0 3657208 13588557824 58035 33554432000 4194304 4196468 140732598567312 140282145737232 140282553038549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31776768 140732598576271 140732598576452 140732598576452 140732598579151 0
[pid=15739/tid=15757] ppid=15735 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15739/task/15757/stat : 15757 (java) S 15735 15739 15122 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 20 0 3657208 13588557824 58035 33554432000 4194304 4196468 140732598567312 140282144684688 140282553038549 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31776768 140732598576271 140732598576452 140732598576452 140732598579151 0
[pid=15739/tid=15763] ppid=15735 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15739/task/15763/stat : 15763 (java) S 15735 15739 15122 0 -1 1077944384 733 0 0 0 0 0 0 0 20 0 20 0 3657210 13588557824 58035 33554432000 4194304 4196468 140732598567312 140281285945840 140282553039490 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31776768 140732598576271 140732598576452 140732598576452 140732598579151 0
[pid=15739/tid=15764] ppid=15735 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15739/task/15764/stat : 15764 (java) S 15735 15739 15122 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 20 0 3657210 13588557824 58035 33554432000 4194304 4196468 140732598567312 140281284892128 140282553038549 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 31776768 140732598576271 140732598576452 140732598576452 140732598579151 0
[pid=15739/tid=15766] ppid=15735 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15739/task/15766/stat : 15766 (java) S 15735 15739 15122 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 20 0 3657211 13588557824 58035 33554432000 4194304 4196468 140732598567312 140281283839488 140282553038549 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31776768 140732598576271 140732598576452 140732598576452 140732598579151 0
[pid=15739/tid=15769] ppid=15735 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
################
# More data... #
################
/proc/15739/task/15771/stat : 15771 (java) S 15735 15739 15122 0 -1 1077944384 4667 0 0 0 99 0 0 0 20 0 20 0 3657215 13588557824 56382 33554432000 4194304 4196468 140732598567312 140281078859888 140282553039490 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31776768 140732598576271 140732598576452 140732598576452 140732598579151 0
[pid=15739/tid=15772] ppid=15735 vsize=13270076 CPUtime=1.06 cores=0,2,4,6,8,10,12,14
/proc/15739/task/15772/stat : 15772 (java) S 15735 15739 15122 0 -1 1077944384 8778 0 0 0 105 1 0 0 20 0 20 0 3657215 13588557824 56382 33554432000 4194304 4196468 140732598567312 140281077807344 140282553039490 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31776768 140732598576271 140732598576452 140732598576452 140732598579151 0
[pid=15739/tid=15773] ppid=15735 vsize=13270076 CPUtime=0.67 cores=0,2,4,6,8,10,12,14
/proc/15739/task/15773/stat : 15773 (java) S 15735 15739 15122 0 -1 1077944384 9335 0 0 0 65 2 0 0 20 0 20 0 3657215 13588557824 56382 33554432000 4194304 4196468 140732598567312 140281076754800 140282553039490 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31776768 140732598576271 140732598576452 140732598576452 140732598579151 0
[pid=15739/tid=15774] ppid=15735 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15739/task/15774/stat : 15774 (java) S 15735 15739 15122 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3657215 13588557824 56382 33554432000 4194304 4196468 140732598567312 140281075702496 140282553038549 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 31776768 140732598576271 140732598576452 140732598576452 140732598579151 0
[pid=15739/tid=15780] ppid=15735 vsize=13270076 CPUtime=0.61 cores=0,2,4,6,8,10,12,14
/proc/15739/task/15780/stat : 15780 (java) S 15735 15739 15122 0 -1 1077944384 1628 0 0 0 31 30 0 0 20 0 20 0 3657215 13588557824 56382 33554432000 4194304 4196468 140732598567312 140281074650032 140282553039490 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31776768 140732598576271 140732598576452 140732598576452 140732598579151 0
Current children cumulated CPU time (s) 2333.99
Current children cumulated vsize (KiB) 13270076
[startup+2382.3 s]
/proc/loadavg: 1.78 1.57 1.55 3/286 15966
/proc/meminfo: memFree=31429452/32770624 swapFree=5932/222140
[pid=15739] ppid=15735 vsize=13270076 CPUtime=2394.22 cores=0,2,4,6,8,10,12,14
/proc/15739/stat : 15739 (java) S 15735 15739 15122 0 -1 1077944320 69307 0 1 0 239326 96 0 0 20 0 20 0 3657207 13588557824 56910 33554432000 4194304 4196468 140732598567312 140732598549856 140282553028343 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 31776768 140732598576271 140732598576452 140732598576452 140732598579151 0
/proc/15739/statm: 3317519 56910 3818 1 0 3305234 0
[pid=15739/tid=15743] ppid=15735 vsize=13270076 CPUtime=2379.43 cores=0,2,4,6,8,10,12,14
/proc/15739/task/15743/stat : 15743 (java) R 15735 15739 15122 0 -1 4202560 20743 0 1 0 237935 8 0 0 20 0 20 0 3657207 13588557824 56910 33554432000 4194304 4196468 140732598567312 140282557266528 140282179540614 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31776768 140732598576271 140732598576452 140732598576452 140732598579151 0
[pid=15739/tid=15746] ppid=15735 vsize=13270076 CPUtime=1.21 cores=0,2,4,6,8,10,12,14
/proc/15739/task/15746/stat : 15746 (java) S 15735 15739 15122 0 -1 1077944384 1512 0 0 0 114 7 0 0 20 0 20 0 3657208 13588557824 56910 33554432000 4194304 4196468 140732598567312 140282491992848 140282553038549 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 31776768 140732598576271 140732598576452 140732598576452 140732598579151 0
[pid=15739/tid=15747] ppid=15735 vsize=13270076 CPUtime=1.19 cores=0,2,4,6,8,10,12,14
/proc/15739/task/15747/stat : 15747 (java) S 15735 15739 15122 0 -1 1077944384 1537 0 0 0 112 7 0 0 20 0 20 0 3657208 13588557824 56910 33554432000 4194304 4196468 140732598567312 140282151000976 140282553038549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31776768 140732598576271 140732598576452 140732598576452 140732598579151 0
[pid=15739/tid=15748] ppid=15735 vsize=13270076 CPUtime=1.15 cores=0,2,4,6,8,10,12,14
/proc/15739/task/15748/stat : 15748 (java) S 15735 15739 15122 0 -1 1077944384 922 0 0 0 109 6 0 0 20 0 20 0 3657208 13588557824 56910 33554432000 4194304 4196468 140732598567312 140282149948432 140282553038549 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 31776768 140732598576271 140732598576452 140732598576452 140732598579151 0
[pid=15739/tid=15751] ppid=15735 vsize=13270076 CPUtime=1.19 cores=0,2,4,6,8,10,12,14
/proc/15739/task/15751/stat : 15751 (java) S 15735 15739 15122 0 -1 1077944384 879 0 0 0 113 6 0 0 20 0 20 0 3657208 13588557824 56910 33554432000 4194304 4196468 140732598567312 140282148895888 140282553038549 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 31776768 140732598576271 140732598576452 140732598576452 140732598579151 0
[pid=15739/tid=15752] ppid=15735 vsize=13270076 CPUtime=1.15 cores=0,2,4,6,8,10,12,14
/proc/15739/task/15752/stat : 15752 (java) S 15735 15739 15122 0 -1 1077944384 809 0 0 0 109 6 0 0 20 0 20 0 3657208 13588557824 56910 33554432000 4194304 4196468 140732598567312 140282147842320 140282553038549 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31776768 140732598576271 140732598576452 140732598576452 140732598579151 0
[pid=15739/tid=15754] ppid=15735 vsize=13270076 CPUtime=1.15 cores=0,2,4,6,8,10,12,14
/proc/15739/task/15754/stat : 15754 (java) S 15735 15739 15122 0 -1 1077944384 1481 0 0 0 108 7 0 0 20 0 20 0 3657208 13588557824 56910 33554432000 4194304 4196468 140732598567312 140282146789776 140282553038549 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31776768 140732598576271 140732598576452 140732598576452 140732598579151 0
[pid=15739/tid=15755] ppid=15735 vsize=13270076 CPUtime=1.17 cores=0,2,4,6,8,10,12,14
/proc/15739/task/15755/stat : 15755 (java) S 15735 15739 15122 0 -1 1077944384 3879 0 0 0 110 7 0 0 20 0 20 0 3657208 13588557824 56910 33554432000 4194304 4196468 140732598567312 140282145737232 140282553038549 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 31776768 140732598576271 140732598576452 140732598576452 140732598579151 0
[pid=15739/tid=15757] ppid=15735 vsize=13270076 CPUtime=1.15 cores=0,2,4,6,8,10,12,14
/proc/15739/task/15757/stat : 15757 (java) S 15735 15739 15122 0 -1 1077944384 2463 0 0 0 109 6 0 0 20 0 20 0 3657208 13588557824 56910 33554432000 4194304 4196468 140732598567312 140282144684688 140282553038549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31776768 140732598576271 140732598576452 140732598576452 140732598579151 0
[pid=15739/tid=15763] ppid=15735 vsize=13270076 CPUtime=0.83 cores=0,2,4,6,8,10,12,14
/proc/15739/task/15763/stat : 15763 (java) S 15735 15739 15122 0 -1 1077944384 4576 0 0 0 74 9 0 0 20 0 20 0 3657210 13588557824 56910 33554432000 4194304 4196468 140732598567312 140281285945840 140282553039490 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31776768 140732598576271 140732598576452 140732598576452 140732598579151 0
[pid=15739/tid=15764] ppid=15735 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15739/task/15764/stat : 15764 (java) S 15735 15739 15122 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 20 0 3657210 13588557824 56910 33554432000 4194304 4196468 140732598567312 140281284892128 140282553038549 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 31776768 140732598576271 140732598576452 140732598576452 140732598579151 0
[pid=15739/tid=15766] ppid=15735 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15739/task/15766/stat : 15766 (java) S 15735 15739 15122 0 -1 1077944384 85 0 0 0 0 0 0 0 20 0 20 0 3657211 13588557824 56910 33554432000 4194304 4196468 140732598567312 140281283839488 140282553038549 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31776768 140732598576271 140732598576452 140732598576452 140732598579151 0
[pid=15739/tid=15769] ppid=15735 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15739/task/15769/stat : 15769 (java) S 15735 15739 15122 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3657215 13588557824 56910 33554432000 4194304 4196468 140732598567312 140281080965840 140282553046939 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 31776768 140732598576271 140732598576452 140732598576452 140732598579151 0
[pid=15739/tid=15770] ppid=15735 vsize=13270076 CPUtime=1.1 cores=0,2,4,6,8,10,12,14
/proc/15739/task/15770/stat : 15770 (java) S 15735 15739 15122 0 -1 1077944384 4631 0 0 0 109 1 0 0 20 0 20 0 3657215 13588557824 56910 33554432000 4194304 4196468 140732598567312 140281079912432 140282553039490 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 31776768 140732598576271 140732598576452 140732598576452 140732598579151 0
[pid=15739/tid=15771] ppid=15735 vsize=13270076 CPUtime=0.99 cores=0,2,4,6,8,10,12,14
/proc/15739/task/15771/stat : 15771 (java) S 15735 15739 15122 0 -1 1077944384 4667 0 0 0 99 0 0 0 20 0 20 0 3657215 13588557824 56910 33554432000 4194304 4196468 140732598567312 140281078859888 140282553039490 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31776768 140732598576271 140732598576452 140732598576452 140732598579151 0
[pid=15739/tid=15772] ppid=15735 vsize=13270076 CPUtime=1.06 cores=0,2,4,6,8,10,12,14
/proc/15739/task/15772/stat : 15772 (java) S 15735 15739 15122 0 -1 1077944384 8778 0 0 0 105 1 0 0 20 0 20 0 3657215 13588557824 56910 33554432000 4194304 4196468 140732598567312 140281077807344 140282553039490 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31776768 140732598576271 140732598576452 140732598576452 140732598579151 0
[pid=15739/tid=15773] ppid=15735 vsize=13270076 CPUtime=0.67 cores=0,2,4,6,8,10,12,14
/proc/15739/task/15773/stat : 15773 (java) S 15735 15739 15122 0 -1 1077944384 9335 0 0 0 65 2 0 0 20 0 20 0 3657215 13588557824 56910 33554432000 4194304 4196468 140732598567312 140281076754800 140282553039490 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31776768 140732598576271 140732598576452 140732598576452 140732598579151 0
[pid=15739/tid=15774] ppid=15735 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15739/task/15774/stat : 15774 (java) S 15735 15739 15122 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3657215 13588557824 56910 33554432000 4194304 4196468 140732598567312 140281075702496 140282553038549 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 31776768 140732598576271 140732598576452 140732598576452 140732598579151 0
[pid=15739/tid=15780] ppid=15735 vsize=13270076 CPUtime=0.63 cores=0,2,4,6,8,10,12,14
/proc/15739/task/15780/stat : 15780 (java) S 15735 15739 15122 0 -1 1077944384 1632 0 0 0 32 31 0 0 20 0 20 0 3657215 13588557824 56910 33554432000 4194304 4196468 140732598567312 140281074650032 140282553039490 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31776768 140732598576271 140732598576452 140732598576452 140732598579151 0
Current children cumulated CPU time (s) 2394.22
Current children cumulated vsize (KiB) 13270076
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2388.1 s]
/proc/loadavg: 1.80 1.58 1.55 3/286 15966
/proc/meminfo: memFree=31432056/32770624 swapFree=5932/222144
[pid=15739] ppid=15735 vsize=13270076 CPUtime=2400.04 cores=0,2,4,6,8,10,12,14
/proc/15739/stat : 15739 (java) S 15735 15739 15122 0 -1 1077944320 69317 0 1 0 239908 96 0 0 20 0 20 0 3657207 13588557824 56910 33554432000 4194304 4196468 140732598567312 140732598549856 140282553028343 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 31776768 140732598576271 140732598576452 140732598576452 140732598579151 0
/proc/15739/statm: 3317519 56910 3818 1 0 3305234 0
[pid=15739/tid=15743] ppid=15735 vsize=13270076 CPUtime=2385.23 cores=0,2,4,6,8,10,12,14
/proc/15739/task/15743/stat : 15743 (java) R 15735 15739 15122 0 -1 4202560 20747 0 1 0 238515 8 0 0 20 0 20 0 3657207 13588557824 56910 33554432000 4194304 4196468 140732598567312 140282557266528 140282179540891 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31776768 140732598576271 140732598576452 140732598576452 140732598579151 0
[pid=15739/tid=15746] ppid=15735 vsize=13270076 CPUtime=1.21 cores=0,2,4,6,8,10,12,14
/proc/15739/task/15746/stat : 15746 (java) S 15735 15739 15122 0 -1 1077944384 1513 0 0 0 114 7 0 0 20 0 20 0 3657208 13588557824 56910 33554432000 4194304 4196468 140732598567312 140282491992848 140282553038549 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31776768 140732598576271 140732598576452 140732598576452 140732598579151 0
[pid=15739/tid=15747] ppid=15735 vsize=13270076 CPUtime=1.19 cores=0,2,4,6,8,10,12,14
/proc/15739/task/15747/stat : 15747 (java) S 15735 15739 15122 0 -1 1077944384 1537 0 0 0 112 7 0 0 20 0 20 0 3657208 13588557824 56910 33554432000 4194304 4196468 140732598567312 140282151000976 140282553038549 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31776768 140732598576271 140732598576452 140732598576452 140732598579151 0
[pid=15739/tid=15748] ppid=15735 vsize=13270076 CPUtime=1.15 cores=0,2,4,6,8,10,12,14
/proc/15739/task/15748/stat : 15748 (java) S 15735 15739 15122 0 -1 1077944384 922 0 0 0 109 6 0 0 20 0 20 0 3657208 13588557824 56910 33554432000 4194304 4196468 140732598567312 140282149948432 140282553038549 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 31776768 140732598576271 140732598576452 140732598576452 140732598579151 0
[pid=15739/tid=15751] ppid=15735 vsize=13270076 CPUtime=1.2 cores=0,2,4,6,8,10,12,14
/proc/15739/task/15751/stat : 15751 (java) S 15735 15739 15122 0 -1 1077944384 879 0 0 0 114 6 0 0 20 0 20 0 3657208 13588557824 56910 33554432000 4194304 4196468 140732598567312 140282148895888 140282553038549 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 31776768 140732598576271 140732598576452 140732598576452 140732598579151 0
[pid=15739/tid=15752] ppid=15735 vsize=13270076 CPUtime=1.15 cores=0,2,4,6,8,10,12,14
/proc/15739/task/15752/stat : 15752 (java) S 15735 15739 15122 0 -1 1077944384 811 0 0 0 109 6 0 0 20 0 20 0 3657208 13588557824 56910 33554432000 4194304 4196468 140732598567312 140282147842320 140282553038549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31776768 140732598576271 140732598576452 140732598576452 140732598579151 0
[pid=15739/tid=15754] ppid=15735 vsize=13270076 CPUtime=1.15 cores=0,2,4,6,8,10,12,14
/proc/15739/task/15754/stat : 15754 (java) S 15735 15739 15122 0 -1 1077944384 1482 0 0 0 108 7 0 0 20 0 20 0 3657208 13588557824 56910 33554432000 4194304 4196468 140732598567312 140282146789776 140282553038549 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 31776768 140732598576271 140732598576452 140732598576452 140732598579151 0
[pid=15739/tid=15755] ppid=15735 vsize=13270076 CPUtime=1.17 cores=0,2,4,6,8,10,12,14
/proc/15739/task/15755/stat : 15755 (java) S 15735 15739 15122 0 -1 1077944384 3881 0 0 0 110 7 0 0 20 0 20 0 3657208 13588557824 56910 33554432000 4194304 4196468 140732598567312 140282145737232 140282553038549 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 31776768 140732598576271 140732598576452 140732598576452 140732598579151 0
[pid=15739/tid=15757] ppid=15735 vsize=13270076 CPUtime=1.15 cores=0,2,4,6,8,10,12,14
/proc/15739/task/15757/stat : 15757 (java) S 15735 15739 15122 0 -1 1077944384 2463 0 0 0 109 6 0 0 20 0 20 0 3657208 13588557824 56910 33554432000 4194304 4196468 140732598567312 140282144684688 140282553038549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31776768 140732598576271 140732598576452 140732598576452 140732598579151 0
[pid=15739/tid=15763] ppid=15735 vsize=13270076 CPUtime=0.84 cores=0,2,4,6,8,10,12,14
/proc/15739/task/15763/stat : 15763 (java) S 15735 15739 15122 0 -1 1077944384 4576 0 0 0 75 9 0 0 20 0 20 0 3657210 13588557824 56910 33554432000 4194304 4196468 140732598567312 140281285945840 140282553039490 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31776768 140732598576271 140732598576452 140732598576452 140732598579151 0
[pid=15739/tid=15764] ppid=15735 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15739/task/15764/stat : 15764 (java) S 15735 15739 15122 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 20 0 3657210 13588557824 56910 33554432000 4194304 4196468 140732598567312 140281284892128 140282553038549 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 31776768 140732598576271 140732598576452 140732598576452 140732598579151 0
[pid=15739/tid=15766] ppid=15735 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15739/task/15766/stat : 15766 (java) S 15735 15739 15122 0 -1 1077944384 85 0 0 0 0 0 0 0 20 0 20 0 3657211 13588557824 56910 33554432000 4194304 4196468 140732598567312 140281283839488 140282553038549 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31776768 140732598576271 140732598576452 140732598576452 140732598579151 0
[pid=15739/tid=15769] ppid=15735 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15739/task/15769/stat : 15769 (java) S 15735 15739 15122 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3657215 13588557824 56910 33554432000 4194304 4196468 140732598567312 140281080965840 140282553046939 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 31776768 140732598576271 140732598576452 140732598576452 140732598579151 0
[pid=15739/tid=15770] ppid=15735 vsize=13270076 CPUtime=1.1 cores=0,2,4,6,8,10,12,14
/proc/15739/task/15770/stat : 15770 (java) S 15735 15739 15122 0 -1 1077944384 4631 0 0 0 109 1 0 0 20 0 20 0 3657215 13588557824 56910 33554432000 4194304 4196468 140732598567312 140281079912432 140282553039490 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 31776768 140732598576271 140732598576452 140732598576452 140732598579151 0
[pid=15739/tid=15771] ppid=15735 vsize=13270076 CPUtime=0.99 cores=0,2,4,6,8,10,12,14
/proc/15739/task/15771/stat : 15771 (java) S 15735 15739 15122 0 -1 1077944384 4667 0 0 0 99 0 0 0 20 0 20 0 3657215 13588557824 56910 33554432000 4194304 4196468 140732598567312 140281078859888 140282553039490 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31776768 140732598576271 140732598576452 140732598576452 140732598579151 0
[pid=15739/tid=15772] ppid=15735 vsize=13270076 CPUtime=1.06 cores=0,2,4,6,8,10,12,14
/proc/15739/task/15772/stat : 15772 (java) S 15735 15739 15122 0 -1 1077944384 8778 0 0 0 105 1 0 0 20 0 20 0 3657215 13588557824 56910 33554432000 4194304 4196468 140732598567312 140281077807344 140282553039490 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31776768 140732598576271 140732598576452 140732598576452 140732598579151 0
[pid=15739/tid=15773] ppid=15735 vsize=13270076 CPUtime=0.67 cores=0,2,4,6,8,10,12,14
/proc/15739/task/15773/stat : 15773 (java) S 15735 15739 15122 0 -1 1077944384 9335 0 0 0 65 2 0 0 20 0 20 0 3657215 13588557824 56910 33554432000 4194304 4196468 140732598567312 140281076754800 140282553039490 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31776768 140732598576271 140732598576452 140732598576452 140732598579151 0
[pid=15739/tid=15774] ppid=15735 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15739/task/15774/stat : 15774 (java) S 15735 15739 15122 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3657215 13588557824 56910 33554432000 4194304 4196468 140732598567312 140281075702496 140282553038549 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 31776768 140732598576271 140732598576452 140732598576452 140732598579151 0
[pid=15739/tid=15780] ppid=15735 vsize=13270076 CPUtime=0.64 cores=0,2,4,6,8,10,12,14
/proc/15739/task/15780/stat : 15780 (java) S 15735 15739 15122 0 -1 1077944384 1632 0 0 0 32 32 0 0 20 0 20 0 3657215 13588557824 56910 33554432000 4194304 4196468 140732598567312 140281074650032 140282553039490 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31776768 140732598576271 140732598576452 140732598576452 140732598579151 0
Current children cumulated CPU time (s) 2400.04
Current children cumulated vsize (KiB) 13270076
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 15739 sig 9
??? kill -15739 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2388.1 s]
/proc/loadavg: 1.80 1.58 1.55 3/286 15966
/proc/meminfo: memFree=31432056/32770624 swapFree=5932/222144
[pid=15739] ppid=15735 vsize=13270076 CPUtime=2400.04 cores=0,2,4,6,8,10,12,14
/proc/15739/stat : 15739 (java) S 15735 15739 15122 0 -1 1077944320 69317 0 1 0 239908 96 0 0 20 0 20 0 3657207 13588557824 56910 33554432000 4194304 4196468 140732598567312 140732598549856 140282553028343 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 31776768 140732598576271 140732598576452 140732598576452 140732598579151 0
/proc/15739/statm: 3317519 56910 3818 1 0 3305234 0
[pid=15739/tid=15743] ppid=15735 vsize=13270076 CPUtime=2385.23 cores=0,2,4,6,8,10,12,14
/proc/15739/task/15743/stat : 15743 (java) R 15735 15739 15122 0 -1 4202560 20747 0 1 0 238515 8 0 0 20 0 20 0 3657207 13588557824 56910 33554432000 4194304 4196468 140732598567312 140282557266528 140282179540891 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31776768 140732598576271 140732598576452 140732598576452 140732598579151 0
[pid=15739/tid=15746] ppid=15735 vsize=13270076 CPUtime=1.21 cores=0,2,4,6,8,10,12,14
/proc/15739/task/15746/stat : 15746 (java) S 15735 15739 15122 0 -1 1077944384 1513 0 0 0 114 7 0 0 20 0 20 0 3657208 13588557824 56910 33554432000 4194304 4196468 140732598567312 140282491992848 140282553038549 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31776768 140732598576271 140732598576452 140732598576452 140732598579151 0
[pid=15739/tid=15747] ppid=15735 vsize=13270076 CPUtime=1.19 cores=0,2,4,6,8,10,12,14
/proc/15739/task/15747/stat : 15747 (java) S 15735 15739 15122 0 -1 1077944384 1537 0 0 0 112 7 0 0 20 0 20 0 3657208 13588557824 56910 33554432000 4194304 4196468 140732598567312 140282151000976 140282553038549 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31776768 140732598576271 140732598576452 140732598576452 140732598579151 0
[pid=15739/tid=15748] ppid=15735 vsize=13270076 CPUtime=1.15 cores=0,2,4,6,8,10,12,14
/proc/15739/task/15748/stat : 15748 (java) S 15735 15739 15122 0 -1 1077944384 922 0 0 0 109 6 0 0 20 0 20 0 3657208 13588557824 56910 33554432000 4194304 4196468 140732598567312 140282149948432 140282553038549 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 31776768 140732598576271 140732598576452 140732598576452 140732598579151 0
[pid=15739/tid=15751] ppid=15735 vsize=13270076 CPUtime=1.2 cores=0,2,4,6,8,10,12,14
/proc/15739/task/15751/stat : 15751 (java) S 15735 15739 15122 0 -1 1077944384 879 0 0 0 114 6 0 0 20 0 20 0 3657208 13588557824 56910 33554432000 4194304 4196468 140732598567312 140282148895888 140282553038549 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 31776768 140732598576271 140732598576452 140732598576452 140732598579151 0
[pid=15739/tid=15752] ppid=15735 vsize=13270076 CPUtime=1.15 cores=0,2,4,6,8,10,12,14
/proc/15739/task/15752/stat : 15752 (java) S 15735 15739 15122 0 -1 1077944384 811 0 0 0 109 6 0 0 20 0 20 0 3657208 13588557824 56910 33554432000 4194304 4196468 140732598567312 140282147842320 140282553038549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31776768 140732598576271 140732598576452 140732598576452 140732598579151 0
[pid=15739/tid=15754] ppid=15735 vsize=13270076 CPUtime=1.15 cores=0,2,4,6,8,10,12,14
/proc/15739/task/15754/stat : 15754 (java) S 15735 15739 15122 0 -1 1077944384 1482 0 0 0 108 7 0 0 20 0 20 0 3657208 13588557824 56910 33554432000 4194304 4196468 140732598567312 140282146789776 140282553038549 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 31776768 140732598576271 140732598576452 140732598576452 140732598579151 0
[pid=15739/tid=15755] ppid=15735 vsize=13270076 CPUtime=1.17 cores=0,2,4,6,8,10,12,14
/proc/15739/task/15755/stat : 15755 (java) S 15735 15739 15122 0 -1 1077944384 3881 0 0 0 110 7 0 0 20 0 20 0 3657208 13588557824 56910 33554432000 4194304 4196468 140732598567312 140282145737232 140282553038549 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 31776768 140732598576271 140732598576452 140732598576452 140732598579151 0
[pid=15739/tid=15757] ppid=15735 vsize=13270076 CPUtime=1.15 cores=0,2,4,6,8,10,12,14
/proc/15739/task/15757/stat : 15757 (java) S 15735 15739 15122 0 -1 1077944384 2463 0 0 0 109 6 0 0 20 0 20 0 3657208 13588557824 56910 33554432000 4194304 4196468 140732598567312 140282144684688 140282553038549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31776768 140732598576271 140732598576452 140732598576452 140732598579151 0
[pid=15739/tid=15763] ppid=15735 vsize=13270076 CPUtime=0.84 cores=0,2,4,6,8,10,12,14
/proc/15739/task/15763/stat : 15763 (java) S 15735 15739 15122 0 -1 1077944384 4576 0 0 0 75 9 0 0 20 0 20 0 3657210 13588557824 56910 33554432000 4194304 4196468 140732598567312 140281285945840 140282553039490 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31776768 140732598576271 140732598576452 140732598576452 140732598579151 0
[pid=15739/tid=15764] ppid=15735 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15739/task/15764/stat : 15764 (java) S 15735 15739 15122 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 20 0 3657210 13588557824 56910 33554432000 4194304 4196468 140732598567312 140281284892128 140282553038549 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 31776768 140732598576271 140732598576452 140732598576452 140732598579151 0
[pid=15739/tid=15766] ppid=15735 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15739/task/15766/stat : 15766 (java) S 15735 15739 15122 0 -1 1077944384 85 0 0 0 0 0 0 0 20 0 20 0 3657211 13588557824 56910 33554432000 4194304 4196468 140732598567312 140281283839488 140282553038549 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31776768 140732598576271 140732598576452 140732598576452 140732598579151 0
[pid=15739/tid=15769] ppid=15735 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15739/task/15769/stat : 15769 (java) S 15735 15739 15122 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3657215 13588557824 56910 33554432000 4194304 4196468 140732598567312 140281080965840 140282553046939 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 31776768 140732598576271 140732598576452 140732598576452 140732598579151 0
[pid=15739/tid=15770] ppid=15735 vsize=13270076 CPUtime=1.1 cores=0,2,4,6,8,10,12,14
/proc/15739/task/15770/stat : 15770 (java) S 15735 15739 15122 0 -1 1077944384 4631 0 0 0 109 1 0 0 20 0 20 0 3657215 13588557824 56910 33554432000 4194304 4196468 140732598567312 140281079912432 140282553039490 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 31776768 140732598576271 140732598576452 140732598576452 140732598579151 0
[pid=15739/tid=15771] ppid=15735 vsize=13270076 CPUtime=0.99 cores=0,2,4,6,8,10,12,14
/proc/15739/task/15771/stat : 15771 (java) S 15735 15739 15122 0 -1 1077944384 4667 0 0 0 99 0 0 0 20 0 20 0 3657215 13588557824 56910 33554432000 4194304 4196468 140732598567312 140281078859888 140282553039490 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31776768 140732598576271 140732598576452 140732598576452 140732598579151 0
[pid=15739/tid=15772] ppid=15735 vsize=13270076 CPUtime=1.06 cores=0,2,4,6,8,10,12,14
/proc/15739/task/15772/stat : 15772 (java) S 15735 15739 15122 0 -1 1077944384 8778 0 0 0 105 1 0 0 20 0 20 0 3657215 13588557824 56910 33554432000 4194304 4196468 140732598567312 140281077807344 140282553039490 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31776768 140732598576271 140732598576452 140732598576452 140732598579151 0
[pid=15739/tid=15773] ppid=15735 vsize=13270076 CPUtime=0.67 cores=0,2,4,6,8,10,12,14
/proc/15739/task/15773/stat : 15773 (java) S 15735 15739 15122 0 -1 1077944384 9335 0 0 0 65 2 0 0 20 0 20 0 3657215 13588557824 56910 33554432000 4194304 4196468 140732598567312 140281076754800 140282553039490 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31776768 140732598576271 140732598576452 140732598576452 140732598579151 0
[pid=15739/tid=15774] ppid=15735 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15739/task/15774/stat : 15774 (java) S 15735 15739 15122 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3657215 13588557824 56910 33554432000 4194304 4196468 140732598567312 140281075702496 140282553038549 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 31776768 140732598576271 140732598576452 140732598576452 140732598579151 0
[pid=15739/tid=15780] ppid=15735 vsize=13270076 CPUtime=0.64 cores=0,2,4,6,8,10,12,14
/proc/15739/task/15780/stat : 15780 (java) S 15735 15739 15122 0 -1 1077944384 1632 0 0 0 32 32 0 0 20 0 20 0 3657215 13588557824 56910 33554432000 4194304 4196468 140732598567312 140281074650032 140282553039490 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31776768 140732598576271 140732598576452 140732598576452 140732598579151 0
Current children cumulated CPU time (s) 2400.04
Current children cumulated vsize (KiB) 13270076
Child status: 143
Real time (s): 2388.12
CPU time (s): 2400.07
CPU user time (s): 2399.1
CPU system time (s): 0.971238
CPU usage (%): 100.5
Max. virtual memory (cumulated for all children) (KiB): 13270076
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.1
system time used= 0.971238
maximum resident set size= 240712
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 69509
page faults= 1
swaps= 0
block input operations= 536
block output operations= 2608
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 90989
involuntary context switches= 128329
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.3099 second user time and 18.9436 second system time
The end