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-4246769-1500717875/watcher-4246769-1500717875 -o /tmp/evaluation-result-4246769-1500717875/solver-4246769-1500717875 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node146-1500717875-23066 --watchdog 2560 bin/concrete HOME/instance-4246769-1500717875.xml
pid=23091
running on 8 cores: 1,3,5,7,9,11,13,15
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 1.52 1.67 1.68 4/246 23097
/proc/meminfo: memFree=31697372/32770624 swapFree=5776/294688
[pid=23097] ppid=23091 vsize=9508 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/23097/stat : 23097 (bash) S 23091 23097 23034 0 -1 4202496 653 0 0 0 0 0 0 0 20 0 1 0 7052891 9736192 350 33554432000 4194304 5098028 140720746057472 140720746055112 140354285292544 0 0 4100 65536 18446744071580971376 0 0 17 9 0 0 0 0 0 7196144 7232144 9383936 140720746059022 140720746059107 140720746059107 140720746061806 0
/proc/23097/statm: 2377 350 278 221 0 86 0
[startup+0.100142 s]
/proc/loadavg: 1.52 1.67 1.68 4/246 23097
/proc/meminfo: memFree=31697372/32770624 swapFree=5776/294688
[pid=23097] ppid=23091 vsize=9640 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/23097/stat : 23097 (bash) S 23091 23097 23034 0 -1 4202496 878 6424 0 1 0 0 0 1 20 0 1 0 7052891 9871360 377 33554432000 4194304 5098028 140720746057472 140720746051480 140354285292544 0 0 4100 65536 18446744071580971376 0 0 17 3 0 0 0 0 0 7196144 7232144 9383936 140720746059022 140720746059107 140720746059107 140720746061806 0
/proc/23097/statm: 2410 377 296 221 0 119 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9640
[startup+0.200351 s]
/proc/loadavg: 1.52 1.67 1.68 4/246 23097
/proc/meminfo: memFree=31697372/32770624 swapFree=5776/294688
[pid=23097] ppid=23091 vsize=10435860 CPUtime=0.16 cores=1,3,5,7,9,11,13,15
/proc/23097/stat : 23097 (java) S 23091 23097 23034 0 -1 1077944320 4611 12661 0 1 3 1 8 4 20 0 13 0 7052891 10686320640 4943 33554432000 4194304 4196468 140730344035696 140730344018240 140043403448055 0 0 0 16784584 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 17899520 140730344037057 140730344039831 140730344039831 140730344042447 0
/proc/23097/statm: 2608965 4943 2099 1 0 2597403 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 10435860
[startup+0.300238 s]
/proc/loadavg: 1.52 1.67 1.68 4/246 23097
/proc/meminfo: memFree=31697372/32770624 swapFree=5776/294688
[pid=23097] ppid=23091 vsize=10902392 CPUtime=0.33 cores=1,3,5,7,9,11,13,15
/proc/23097/stat : 23097 (java) S 23091 23097 23034 0 -1 1077944320 6607 12661 0 1 19 2 8 4 20 0 20 0 7052891 11164049408 8838 33554432000 4194304 4196468 140730344035696 140730344018240 140043403448055 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 17899520 140730344037057 140730344039831 140730344039831 140730344042447 0
/proc/23097/statm: 2725598 8838 2978 1 0 2713890 0
Current children cumulated CPU time (s) 0.33
Current children cumulated vsize (KiB) 10902392
[startup+0.70022 s]
/proc/loadavg: 1.52 1.67 1.68 4/246 23097
/proc/meminfo: memFree=31697372/32770624 swapFree=5776/294688
[pid=23097] ppid=23091 vsize=10902720 CPUtime=0.86 cores=1,3,5,7,9,11,13,15
/proc/23097/stat : 23097 (java) S 23091 23097 23034 0 -1 1077944320 11752 12661 0 1 70 4 8 4 20 0 20 0 7052891 11164385280 15065 33554432000 4194304 4196468 140730344035696 140730344018240 140043403448055 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 17899520 140730344037057 140730344039831 140730344039831 140730344042447 0
/proc/23097/statm: 2725680 15065 3157 1 0 2713890 0
Current children cumulated CPU time (s) 0.86
Current children cumulated vsize (KiB) 10902720
[startup+1.50069 s]
/proc/loadavg: 1.47 1.66 1.67 4/286 23243
/proc/meminfo: memFree=31497584/32770624 swapFree=5776/294868
[pid=23097] ppid=23091 vsize=10913344 CPUtime=2.18 cores=1,3,5,7,9,11,13,15
/proc/23097/stat : 23097 (java) S 23091 23097 23034 0 -1 1077944320 25798 12661 0 1 194 12 8 4 20 0 20 0 7052891 11175264256 44094 33554432000 4194304 4196468 140730344035696 140730344018240 140043403448055 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 17899520 140730344037057 140730344039831 140730344039831 140730344042447 0
/proc/23097/statm: 2728336 44094 3407 1 0 2716450 0
[pid=23097/tid=23207] ppid=23091 vsize=10913344 CPUtime=1.38 cores=1,3,5,7,9,11,13,15
/proc/23097/task/23207/stat : 23207 (java) R 23091 23097 23034 0 -1 4202560 18881 12661 0 1 121 5 8 4 20 0 20 0 7052907 11175264256 44094 33554432000 4194304 4196468 140730344035696 140043407675328 140043386634482 0 4 0 16800975 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 17899520 140730344037057 140730344039831 140730344039831 140730344042447 0
[pid=23097/tid=23216] ppid=23091 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/23097/task/23216/stat : 23216 (java) S 23091 23097 23034 0 -1 1077944384 33 12661 0 1 0 0 8 4 20 0 20 0 7052908 11175264256 44094 33554432000 4194304 4196468 140730344035696 140043329522704 140043403458261 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 17899520 140730344037057 140730344039831 140730344039831 140730344042447 0
[pid=23097/tid=23217] ppid=23091 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/23097/task/23217/stat : 23217 (java) S 23091 23097 23034 0 -1 1077944384 124 12661 0 1 0 0 8 4 20 0 20 0 7052908 11175264256 44094 33554432000 4194304 4196468 140730344035696 140043328470160 140043403458261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17899520 140730344037057 140730344039831 140730344039831 140730344042447 0
[pid=23097/tid=23218] ppid=23091 vsize=10913344 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/23097/task/23218/stat : 23218 (java) S 23091 23097 23034 0 -1 1077944384 50 12661 0 1 1 0 8 4 20 0 20 0 7052908 11175264256 44094 33554432000 4194304 4196468 140730344035696 140043327417104 140043403458261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17899520 140730344037057 140730344039831 140730344039831 140730344042447 0
[pid=23097/tid=23219] ppid=23091 vsize=10913344 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/23097/task/23219/stat : 23219 (java) S 23091 23097 23034 0 -1 1077944384 11 12661 0 1 1 0 8 4 20 0 20 0 7052908 11175264256 44094 33554432000 4194304 4196468 140730344035696 140043326364560 140043403458261 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 17899520 140730344037057 140730344039831 140730344039831 140730344042447 0
[pid=23097/tid=23220] ppid=23091 vsize=10913344 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/23097/task/23220/stat : 23220 (java) S 23091 23097 23034 0 -1 1077944384 44 12661 0 1 1 0 8 4 20 0 20 0 7052908 11175264256 44094 33554432000 4194304 4196468 140730344035696 140043325311504 140043403458261 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 17899520 140730344037057 140730344039831 140730344039831 140730344042447 0
[pid=23097/tid=23221] ppid=23091 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/23097/task/23221/stat : 23221 (java) S 23091 23097 23034 0 -1 1077944384 25 12661 0 1 0 0 8 4 20 0 20 0 7052908 11175264256 44094 33554432000 4194304 4196468 140730344035696 140043324258960 140043403458261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17899520 140730344037057 140730344039831 140730344039831 140730344042447 0
[pid=23097/tid=23222] ppid=23091 vsize=10913344 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/23097/task/23222/stat : 23222 (java) S 23091 23097 23034 0 -1 1077944384 31 12661 0 1 1 0 8 4 20 0 20 0 7052908 11175264256 44094 33554432000 4194304 4196468 140730344035696 140043323205904 140043403458261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17899520 140730344037057 140730344039831 140730344039831 140730344042447 0
[pid=23097/tid=23223] ppid=23091 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/23097/task/23223/stat : 23223 (java) S 23091 23097 23034 0 -1 1077944384 9 12661 0 1 0 0 8 4 20 0 20 0 7052908 11175264256 44094 33554432000 4194304 4196468 140730344035696 140043322153360 140043403458261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17899520 140730344037057 140730344039831 140730344039831 140730344042447 0
[pid=23097/tid=23225] ppid=23091 vsize=10913344 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/23097/task/23225/stat : 23225 (java) S 23091 23097 23034 0 -1 1077944384 1135 12661 0 1 1 0 8 4 20 0 20 0 7052910 11175264256 44094 33554432000 4194304 4196468 140730344035696 140042609519344 140043403459202 0 0 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 17899520 140730344037057 140730344039831 140730344039831 140730344042447 0
[pid=23097/tid=23228] ppid=23091 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/23097/task/23228/stat : 23228 (java) S 23091 23097 23034 0 -1 1077944384 55 12661 0 1 0 0 8 4 20 0 20 0 7052911 11175264256 44094 33554432000 4194304 4196468 140730344035696 140042608465632 140043403458261 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 17899520 140730344037057 140730344039831 140730344039831 140730344042447 0
[pid=23097/tid=23229] ppid=23091 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/23097/task/23229/stat : 23229 (java) S 23091 23097 23034 0 -1 1077944384 44 12661 0 1 0 0 8 4 20 0 20 0 7052911 11175264256 44094 33554432000 4194304 4196468 140730344035696 140042607412464 140043403458261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17899520 140730344037057 140730344039831 140730344039831 140730344042447 0
[pid=23097/tid=23235] ppid=23091 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/23097/task/23235/stat : 23235 (java) S 23091 23097 23034 0 -1 1077944384 1 12661 0 1 0 0 8 4 20 0 20 0 7052915 11175264256 44094 33554432000 4194304 4196468 140730344035696 140042606361040 140043403466651 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 17899520 140730344037057 140730344039831 140730344039831 140730344042447 0
[pid=23097/tid=23237] ppid=23091 vsize=10913344 CPUtime=0.26 cores=1,3,5,7,9,11,13,15
/proc/23097/task/23237/stat : 23237 (java) S 23091 23097 23034 0 -1 1077944384 502 12661 0 1 14 0 8 4 20 0 20 0 7052915 11175264256 44094 33554432000 4194304 4196468 140730344035696 140042605308144 140043403459202 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17899520 140730344037057 140730344039831 140730344039831 140730344042447 0
[pid=23097/tid=23238] ppid=23091 vsize=10913344 CPUtime=0.24 cores=1,3,5,7,9,11,13,15
/proc/23097/task/23238/stat : 23238 (java) S 23091 23097 23034 0 -1 1077944384 486 12661 0 1 12 0 8 4 20 0 20 0 7052915 11175264256 44094 33554432000 4194304 4196468 140730344035696 140042604255600 140043403459202 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 17899520 140730344037057 140730344039831 140730344039831 140730344042447 0
[pid=23097/tid=23239] ppid=23091 vsize=10913344 CPUtime=0.23 cores=1,3,5,7,9,11,13,15
/proc/23097/task/23239/stat : 23239 (java) S 23091 23097 23034 0 -1 1077944384 966 12661 0 1 11 0 8 4 20 0 20 0 7052915 11175264256 44094 33554432000 4194304 4196468 140730344035696 140042603202544 140043403459202 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 17899520 140730344037057 140730344039831 140730344039831 140730344042447 0
[pid=23097/tid=23240] ppid=23091 vsize=10913344 CPUtime=0.36 cores=1,3,5,7,9,11,13,15
/proc/23097/task/23240/stat : 23240 (java) S 23091 23097 23034 0 -1 1077944384 1263 12661 0 1 24 0 8 4 20 0 20 0 7052915 11175264256 44094 33554432000 4194304 4196468 140730344035696 140042602150000 140043403459202 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17899520 140730344037057 140730344039831 140730344039831 140730344042447 0
[pid=23097/tid=23242] ppid=23091 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/23097/task/23242/stat : 23242 (java) S 23091 23097 23034 0 -1 1077944384 3 12661 0 1 0 0 8 4 20 0 20 0 7052915 11175264256 44094 33554432000 4194304 4196468 140730344035696 140042601098208 140043403458261 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 17899520 140730344037057 140730344039831 140730344039831 140730344042447 0
[pid=23097/tid=23243] ppid=23091 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/23097/task/23243/stat : 23243 (java) S 23091 23097 23034 0 -1 1077944384 7 12661 0 1 0 0 8 4 20 0 20 0 7052916 11175264256 44094 33554432000 4194304 4196468 140730344035696 140042600045744 140043403459202 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17899520 140730344037057 140730344039831 140730344039831 140730344042447 0
Current children cumulated CPU time (s) 2.18
Current children cumulated vsize (KiB) 10913344
[startup+3.10121 s]
/proc/loadavg: 1.47 1.66 1.67 7/286 23243
/proc/meminfo: memFree=31340248/32770624 swapFree=5776/296260
[pid=23097] ppid=23091 vsize=10927868 CPUtime=6.36 cores=1,3,5,7,9,11,13,15
/proc/23097/stat : 23097 (java) S 23091 23097 23034 0 -1 1077944320 41048 12661 0 1 604 20 8 4 20 0 20 0 7052891 11190136832 53682 33554432000 4194304 4196468 140730344035696 140730344018240 140043403448055 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 17899520 140730344037057 140730344039831 140730344039831 140730344042447 0
/proc/23097/statm: 2731967 53682 3474 1 0 2719522 0
[pid=23097/tid=23207] ppid=23091 vsize=10927868 CPUtime=2.97 cores=1,3,5,7,9,11,13,15
/proc/23097/task/23207/stat : 23207 (java) R 23091 23097 23034 0 -1 4202560 26341 12661 0 1 277 8 8 4 20 0 20 0 7052907 11190136832 53682 33554432000 4194304 4196468 140730344035696 140043407681424 140043387491685 0 4 0 16800975 0 0 0 -1 7 0 0 3 0 0 6293624 6294260 17899520 140730344037057 140730344039831 140730344039831 140730344042447 0
[pid=23097/tid=23216] ppid=23091 vsize=10927868 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/23097/task/23216/stat : 23216 (java) S 23091 23097 23034 0 -1 1077944384 33 12661 0 1 0 0 8 4 20 0 20 0 7052908 11190136832 53682 33554432000 4194304 4196468 140730344035696 140043329522704 140043403458261 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 17899520 140730344037057 140730344039831 140730344039831 140730344042447 0
[pid=23097/tid=23217] ppid=23091 vsize=10927868 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/23097/task/23217/stat : 23217 (java) S 23091 23097 23034 0 -1 1077944384 124 12661 0 1 0 0 8 4 20 0 20 0 7052908 11190136832 53682 33554432000 4194304 4196468 140730344035696 140043328470160 140043403458261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17899520 140730344037057 140730344039831 140730344039831 140730344042447 0
[pid=23097/tid=23218] ppid=23091 vsize=10927868 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/23097/task/23218/stat : 23218 (java) S 23091 23097 23034 0 -1 1077944384 50 12661 0 1 1 0 8 4 20 0 20 0 7052908 11190136832 53682 33554432000 4194304 4196468 140730344035696 140043327417104 140043403458261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17899520 140730344037057 140730344039831 140730344039831 140730344042447 0
[pid=23097/tid=23219] ppid=23091 vsize=10927868 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/23097/task/23219/stat : 23219 (java) S 23091 23097 23034 0 -1 1077944384 11 12661 0 1 1 0 8 4 20 0 20 0 7052908 11190136832 53682 33554432000 4194304 4196468 140730344035696 140043326364560 140043403458261 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 17899520 140730344037057 140730344039831 140730344039831 140730344042447 0
[pid=23097/tid=23220] ppid=23091 vsize=10927868 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/23097/task/23220/stat : 23220 (java) S 23091 23097 23034 0 -1 1077944384 44 12661 0 1 1 0 8 4 20 0 20 0 7052908 11190136832 53682 33554432000 4194304 4196468 140730344035696 140043325311504 140043403458261 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 17899520 140730344037057 140730344039831 140730344039831 140730344042447 0
[pid=23097/tid=23221] ppid=23091 vsize=10927868 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/23097/task/23221/stat : 23221 (java) S 23091 23097 23034 0 -1 1077944384 25 12661 0 1 0 0 8 4 20 0 20 0 7052908 11190136832 53682 33554432000 4194304 4196468 140730344035696 140043324258960 140043403458261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17899520 140730344037057 140730344039831 140730344039831 140730344042447 0
[pid=23097/tid=23222] ppid=23091 vsize=10927868 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/23097/task/23222/stat : 23222 (java) S 23091 23097 23034 0 -1 1077944384 31 12661 0 1 1 0 8 4 20 0 20 0 7052908 11190136832 53682 33554432000 4194304 4196468 140730344035696 140043323205904 140043403458261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17899520 140730344037057 140730344039831 140730344039831 140730344042447 0
[pid=23097/tid=23223] ppid=23091 vsize=10927868 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/23097/task/23223/stat : 23223 (java) S 23091 23097 23034 0 -1 1077944384 9 12661 0 1 0 0 8 4 20 0 20 0 7052908 11190136832 53682 33554432000 4194304 4196468 140730344035696 140043322153360 140043403458261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17899520 140730344037057 140730344039831 140730344039831 140730344042447 0
[pid=23097/tid=23225] ppid=23091 vsize=10927868 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/23097/task/23225/stat : 23225 (java) S 23091 23097 23034 0 -1 1077944384 1148 12661 0 1 1 0 8 4 20 0 20 0 7052910 11190136832 53682 33554432000 4194304 4196468 140730344035696 140042609519344 140043403459202 0 0 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 17899520 140730344037057 140730344039831 140730344039831 140730344042447 0
[pid=23097/tid=23228] ppid=23091 vsize=10927868 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/23097/task/23228/stat : 23228 (java) S 23091 23097 23034 0 -1 1077944384 55 12661 0 1 0 0 8 4 20 0 20 0 7052911 11190136832 53682 33554432000 4194304 4196468 140730344035696 140042608465632 140043403458261 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 17899520 140730344037057 140730344039831 140730344039831 140730344042447 0
[pid=23097/tid=23229] ppid=23091 vsize=10927868 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/23097/task/23229/stat : 23229 (java) S 23091 23097 23034 0 -1 1077944384 44 12661 0 1 0 0 8 4 20 0 20 0 7052911 11190136832 53682 33554432000 4194304 4196468 140730344035696 140042607412464 140043403458261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17899520 140730344037057 140730344039831 140730344039831 140730344042447 0
[pid=23097/tid=23235] ppid=23091 vsize=10927868 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/23097/task/23235/stat : 23235 (java) S 23091 23097 23034 0 -1 1077944384 1 12661 0 1 0 0 8 4 20 0 20 0 7052915 11190136832 53682 33554432000 4194304 4196468 140730344035696 140042606361040 140043403466651 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 17899520 140730344037057 140730344039831 140730344039831 140730344042447 0
[pid=23097/tid=23237] ppid=23091 vsize=10927868 CPUtime=0.76 cores=1,3,5,7,9,11,13,15
/proc/23097/task/23237/stat : 23237 (java) S 23091 23097 23034 0 -1 1077944384 1724 12661 0 1 63 1 8 4 20 0 20 0 7052915 11190136832 53682 33554432000 4194304 4196468 140730344035696 140042605308144 140043403459202 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 17899520 140730344037057 140730344039831 140730344039831 140730344042447 0
[pid=23097/tid=23238] ppid=23091 vsize=10927868 CPUtime=1.06 cores=1,3,5,7,9,11,13,15
/proc/23097/task/23238/stat : 23238 (java) S 23091 23097 23034 0 -1 1077944384 4089 12661 0 1 93 1 8 4 20 0 20 0 7052915 11190136832 53682 33554432000 4194304 4196468 140730344035696 140042604255600 140043403459202 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 17899520 140730344037057 140730344039831 140730344039831 140730344042447 0
[pid=23097/tid=23239] ppid=23091 vsize=10927868 CPUtime=0.64 cores=1,3,5,7,9,11,13,15
/proc/23097/task/23239/stat : 23239 (java) S 23091 23097 23034 0 -1 1077944384 1870 12661 0 1 51 1 8 4 20 0 20 0 7052915 11190136832 53682 33554432000 4194304 4196468 140730344035696 140042603202544 140043403459202 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 17899520 140730344037057 140730344039831 140730344039831 140730344042447 0
[pid=23097/tid=23240] ppid=23091 vsize=10927868 CPUtime=1.22 cores=1,3,5,7,9,11,13,15
/proc/23097/task/23240/stat : 23240 (java) S 23091 23097 23034 0 -1 1077944384 3310 12661 0 1 108 2 8 4 20 0 20 0 7052915 11190136832 53682 33554432000 4194304 4196468 140730344035696 140042602150000 140043403459202 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17899520 140730344037057 140730344039831 140730344039831 140730344042447 0
[pid=23097/tid=23242] ppid=23091 vsize=10927868 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/23097/task/23242/stat : 23242 (java) S 23091 23097 23034 0 -1 1077944384 3 12661 0 1 0 0 8 4 20 0 20 0 7052915 11190136832 53682 33554432000 4194304 4196468 140730344035696 140042601098208 140043403458261 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 17899520 140730344037057 140730344039831 140730344039831 140730344042447 0
[pid=23097/tid=23243] ppid=23091 vsize=10927868 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/23097/task/23243/stat : 23243 (java) S 23091 23097 23034 0 -1 1077944384 9 12661 0 1 0 0 8 4 20 0 20 0 7052916 11190136832 53682 33554432000 4194304 4196468 140730344035696 140042600045744 140043403459202 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17899520 140730344037057 140730344039831 140730344039831 140730344042447 0
Current children cumulated CPU time (s) 6.36
Current children cumulated vsize (KiB) 10927868
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 23097 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.20733 s]
/proc/loadavg: 1.47 1.66 1.67 7/286 23243
/proc/meminfo: memFree=31340248/32770624 swapFree=5776/296260
[pid=23097] ppid=23091 vsize=10927868 CPUtime=6.65 cores=1,3,5,7,9,11,13,15
/proc/23097/stat : 23097 (java) S 23091 23097 23034 0 -1 1077944320 41741 12661 0 1 632 21 8 4 20 0 20 0 7052891 11190136832 56805 33554432000 4194304 4196468 140730344035696 140730344018240 140043403448055 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 17899520 140730344037057 140730344039831 140730344039831 140730344042447 0
/proc/23097/statm: 2731967 56805 3474 1 0 2719522 0
[pid=23097/tid=23207] ppid=23091 vsize=10927868 CPUtime=3.07 cores=1,3,5,7,9,11,13,15
/proc/23097/task/23207/stat : 23207 (java) S 23091 23097 23034 0 -1 1077944384 26878 12661 0 1 287 8 8 4 20 0 20 0 7052907 11190136832 56805 33554432000 4194304 4196468 140730344035696 140043407665136 140043403458261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 3 0 0 6293624 6294260 17899520 140730344037057 140730344039831 140730344039831 140730344042447 0
[pid=23097/tid=23216] ppid=23091 vsize=10927868 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/23097/task/23216/stat : 23216 (java) S 23091 23097 23034 0 -1 1077944384 35 12661 0 1 0 0 8 4 20 0 20 0 7052908 11190136832 56805 33554432000 4194304 4196468 140730344035696 140043329522704 140043403458261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17899520 140730344037057 140730344039831 140730344039831 140730344042447 0
[pid=23097/tid=23217] ppid=23091 vsize=10927868 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/23097/task/23217/stat : 23217 (java) S 23091 23097 23034 0 -1 1077944384 130 12661 0 1 1 0 8 4 20 0 20 0 7052908 11190136832 56805 33554432000 4194304 4196468 140730344035696 140043328470160 140043403458261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17899520 140730344037057 140730344039831 140730344039831 140730344042447 0
[pid=23097/tid=23218] ppid=23091 vsize=10927868 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/23097/task/23218/stat : 23218 (java) S 23091 23097 23034 0 -1 1077944384 57 12661 0 1 1 0 8 4 20 0 20 0 7052908 11190136832 56805 33554432000 4194304 4196468 140730344035696 140043327417104 140043403458261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17899520 140730344037057 140730344039831 140730344039831 140730344042447 0
[pid=23097/tid=23219] ppid=23091 vsize=10927868 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/23097/task/23219/stat : 23219 (java) S 23091 23097 23034 0 -1 1077944384 28 12661 0 1 1 0 8 4 20 0 20 0 7052908 11190136832 56805 33554432000 4194304 4196468 140730344035696 140043326364560 140043403458261 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 17899520 140730344037057 140730344039831 140730344039831 140730344042447 0
[pid=23097/tid=23220] ppid=23091 vsize=10927868 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/23097/task/23220/stat : 23220 (java) S 23091 23097 23034 0 -1 1077944384 46 12661 0 1 1 0 8 4 20 0 20 0 7052908 11190136832 56805 33554432000 4194304 4196468 140730344035696 140043325311504 140043403458261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17899520 140730344037057 140730344039831 140730344039831 140730344042447 0
[pid=23097/tid=23221] ppid=23091 vsize=10927868 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/23097/task/23221/stat : 23221 (java) S 23091 23097 23034 0 -1 1077944384 33 12661 0 1 1 0 8 4 20 0 20 0 7052908 11190136832 56805 33554432000 4194304 4196468 140730344035696 140043324258960 140043403458261 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 17899520 140730344037057 140730344039831 140730344039831 140730344042447 0
[pid=23097/tid=23222] ppid=23091 vsize=10927868 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/23097/task/23222/stat : 23222 (java) S 23091 23097 23034 0 -1 1077944384 78 12661 0 1 1 0 8 4 20 0 20 0 7052908 11190136832 56805 33554432000 4194304 4196468 140730344035696 140043323205904 140043403458261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17899520 140730344037057 140730344039831 140730344039831 140730344042447 0
[pid=23097/tid=23223] ppid=23091 vsize=10927868 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/23097/task/23223/stat : 23223 (java) S 23091 23097 23034 0 -1 1077944384 11 12661 0 1 0 0 8 4 20 0 20 0 7052908 11190136832 56805 33554432000 4194304 4196468 140730344035696 140043322153360 140043403458261 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 17899520 140730344037057 140730344039831 140730344039831 140730344042447 0
[pid=23097/tid=23225] ppid=23091 vsize=10927868 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/23097/task/23225/stat : 23225 (java) R 23091 23097 23034 0 -1 4202560 1149 12661 0 1 1 0 8 4 20 0 20 0 7052910 11190136832 56805 33554432000 4194304 4196468 140730344035696 140042609517824 140043387807347 0 0 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17899520 140730344037057 140730344039831 140730344039831 140730344042447 0
[pid=23097/tid=23228] ppid=23091 vsize=10927868 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/23097/task/23228/stat : 23228 (java) S 23091 23097 23034 0 -1 1077944384 55 12661 0 1 0 0 8 4 20 0 20 0 7052911 11190136832 56805 33554432000 4194304 4196468 140730344035696 140042608465632 140043403458261 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 17899520 140730344037057 140730344039831 140730344039831 140730344042447 0
[pid=23097/tid=23229] ppid=23091 vsize=10927868 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/23097/task/23229/stat : 23229 (java) S 23091 23097 23034 0 -1 1077944384 44 12661 0 1 0 0 8 4 20 0 20 0 7052911 11190136832 56805 33554432000 4194304 4196468 140730344035696 140042607412464 140043403458261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17899520 140730344037057 140730344039831 140730344039831 140730344042447 0
[pid=23097/tid=23235] ppid=23091 vsize=10927868 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/23097/task/23235/stat : 23235 (java) S 23091 23097 23034 0 -1 1077944384 1 12661 0 1 0 0 8 4 20 0 20 0 7052915 11190136832 56805 33554432000 4194304 4196468 140730344035696 140042606361040 140043403466651 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 17899520 140730344037057 140730344039831 140730344039831 140730344042447 0
[pid=23097/tid=23237] ppid=23091 vsize=10927868 CPUtime=0.81 cores=1,3,5,7,9,11,13,15
/proc/23097/task/23237/stat : 23237 (java) S 23091 23097 23034 0 -1 1077944384 1727 12661 0 1 68 1 8 4 20 0 20 0 7052915 11190136832 56805 33554432000 4194304 4196468 140730344035696 140042605293136 140043403458261 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 17899520 140730344037057 140730344039831 140730344039831 140730344042447 0
[pid=23097/tid=23238] ppid=23091 vsize=10927868 CPUtime=1.12 cores=1,3,5,7,9,11,13,15
/proc/23097/task/23238/stat : 23238 (java) R 23091 23097 23034 0 -1 4202560 4092 12661 0 1 99 1 8 4 20 0 20 0 7052915 11190136832 56805 33554432000 4194304 4196468 140730344035696 140042604241824 140043396551632 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 17899520 140730344037057 140730344039831 140730344039831 140730344042447 0
[pid=23097/tid=23239] ppid=23091 vsize=10927868 CPUtime=0.67 cores=1,3,5,7,9,11,13,15
/proc/23097/task/23239/stat : 23239 (java) S 23091 23097 23034 0 -1 1077944384 1883 12661 0 1 54 1 8 4 20 0 20 0 7052915 11190136832 56805 33554432000 4194304 4196468 140730344035696 140042603182096 140043403458261 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 17899520 140730344037057 140730344039831 140730344039831 140730344042447 0
[pid=23097/tid=23240] ppid=23091 vsize=10927868 CPUtime=1.24 cores=1,3,5,7,9,11,13,15
/proc/23097/task/23240/stat : 23240 (java) S 23091 23097 23034 0 -1 1077944384 3354 12661 0 1 110 2 8 4 20 0 20 0 7052915 11190136832 56805 33554432000 4194304 4196468 140730344035696 140042602150000 140043403459202 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17899520 140730344037057 140730344039831 140730344039831 140730344042447 0
[pid=23097/tid=23242] ppid=23091 vsize=10927868 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/23097/task/23242/stat : 23242 (java) S 23091 23097 23034 0 -1 1077944384 3 12661 0 1 0 0 8 4 20 0 20 0 7052915 11190136832 56805 33554432000 4194304 4196468 140730344035696 140042601098208 140043403458261 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 17899520 140730344037057 140730344039831 140730344039831 140730344042447 0
[pid=23097/tid=23243] ppid=23091 vsize=10927868 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/23097/task/23243/stat : 23243 (java) S 23091 23097 23034 0 -1 1077944384 9 12661 0 1 0 0 8 4 20 0 20 0 7052916 11190136832 56805 33554432000 4194304 4196468 140730344035696 140042600045744 140043403459202 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17899520 140730344037057 140730344039831 140730344039831 140730344042447 0
Current children cumulated CPU time (s) 6.65
Current children cumulated vsize (KiB) 10927868
[startup+4.00075 s]
/proc/loadavg: 1.47 1.66 1.67 8/286 23243
/proc/meminfo: memFree=31172344/32770624 swapFree=5776/296592
[pid=23097] ppid=23091 vsize=10995452 CPUtime=9.55 cores=1,3,5,7,9,11,13,15
/proc/23097/stat : 23097 (java) S 23091 23097 23034 0 -1 1077944320 61749 12661 0 1 917 26 8 4 20 0 20 0 7052891 11259342848 75438 33554432000 4194304 4196468 140730344035696 140730344018240 140043403448055 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 17899520 140730344037057 140730344039831 140730344039831 140730344042447 0
/proc/23097/statm: 2748863 75438 3477 1 0 2736418 0
[pid=23097/tid=23207] ppid=23091 vsize=10995452 CPUtime=3.62 cores=1,3,5,7,9,11,13,15
/proc/23097/task/23207/stat : 23207 (java) R 23091 23097 23034 0 -1 4202560 40817 12661 0 1 340 10 8 4 20 0 20 0 7052907 11259342848 75438 33554432000 4194304 4196468 140730344035696 140043407678920 140042995576620 0 4 0 16800975 0 0 0 -1 15 0 0 3 0 0 6293624 6294260 17899520 140730344037057 140730344039831 140730344039831 140730344042447 0
[pid=23097/tid=23216] ppid=23091 vsize=10995452 CPUtime=0.26 cores=1,3,5,7,9,11,13,15
/proc/23097/task/23216/stat : 23216 (java) S 23091 23097 23034 0 -1 1077944384 46 12661 0 1 13 1 8 4 20 0 20 0 7052908 11259342848 75438 33554432000 4194304 4196468 140730344035696 140043329522704 140043403458261 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 17899520 140730344037057 140730344039831 140730344039831 140730344042447 0
[pid=23097/tid=23217] ppid=23091 vsize=10995452 CPUtime=0.25 cores=1,3,5,7,9,11,13,15
/proc/23097/task/23217/stat : 23217 (java) S 23091 23097 23034 0 -1 1077944384 134 12661 0 1 13 0 8 4 20 0 20 0 7052908 11259342848 75438 33554432000 4194304 4196468 140730344035696 140043328470160 140043403458261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17899520 140730344037057 140730344039831 140730344039831 140730344042447 0
[pid=23097/tid=23218] ppid=23091 vsize=10995452 CPUtime=0.2 cores=1,3,5,7,9,11,13,15
/proc/23097/task/23218/stat : 23218 (java) S 23091 23097 23034 0 -1 1077944384 65 12661 0 1 8 0 8 4 20 0 20 0 7052908 11259342848 75438 33554432000 4194304 4196468 140730344035696 140043327417104 140043403458261 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 17899520 140730344037057 140730344039831 140730344039831 140730344042447 0
[pid=23097/tid=23219] ppid=23091 vsize=10995452 CPUtime=0.26 cores=1,3,5,7,9,11,13,15
/proc/23097/task/23219/stat : 23219 (java) S 23091 23097 23034 0 -1 1077944384 54 12661 0 1 14 0 8 4 20 0 20 0 7052908 11259342848 75438 33554432000 4194304 4196468 140730344035696 140043326364560 140043403458261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17899520 140730344037057 140730344039831 140730344039831 140730344042447 0
[pid=23097/tid=23220] ppid=23091 vsize=10995452 CPUtime=0.25 cores=1,3,5,7,9,11,13,15
/proc/23097/task/23220/stat : 23220 (java) S 23091 23097 23034 0 -1 1077944384 56 12661 0 1 13 0 8 4 20 0 20 0 7052908 11259342848 75438 33554432000 4194304 4196468 140730344035696 140043325311504 140043403458261 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 17899520 140730344037057 140730344039831 140730344039831 140730344042447 0
[pid=23097/tid=23221] ppid=23091 vsize=10995452 CPUtime=0.26 cores=1,3,5,7,9,11,13,15
/proc/23097/task/23221/stat : 23221 (java) S 23091 23097 23034 0 -1 1077944384 56 12661 0 1 14 0 8 4 20 0 20 0 7052908 11259342848 75438 33554432000 4194304 4196468 140730344035696 140043324258960 140043403458261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17899520 140730344037057 140730344039831 140730344039831 140730344042447 0
[pid=23097/tid=23222] ppid=23091 vsize=10995452 CPUtime=0.22 cores=1,3,5,7,9,11,13,15
/proc/23097/task/23222/stat : 23222 (java) S 23091 23097 23034 0 -1 1077944384 84 12661 0 1 10 0 8 4 20 0 20 0 7052908 11259342848 75438 33554432000 4194304 4196468 140730344035696 140043323205904 140043403458261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17899520 140730344037057 140730344039831 140730344039831 140730344042447 0
[pid=23097/tid=23223] ppid=23091 vsize=10995452 CPUtime=0.24 cores=1,3,5,7,9,11,13,15
/proc/23097/task/23223/stat : 23223 (java) S 23091 23097 23034 0 -1 1077944384 21 12661 0 1 12 0 8 4 20 0 20 0 7052908 11259342848 75438 33554432000 4194304 4196468 140730344035696 140043322153360 140043403458261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17899520 140730344037057 140730344039831 140730344039831 140730344042447 0
[pid=23097/tid=23225] ppid=23091 vsize=10995452 CPUtime=0.23 cores=1,3,5,7,9,11,13,15
/proc/23097/task/23225/stat : 23225 (java) S 23091 23097 23034 0 -1 1077944384 1996 12661 0 1 11 0 8 4 20 0 20 0 7052910 11259342848 75438 33554432000 4194304 4196468 140730344035696 140042609519344 140043403459202 0 0 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 17899520 140730344037057 140730344039831 140730344039831 140730344042447 0
[pid=23097/tid=23228] ppid=23091 vsize=10995452 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/23097/task/23228/stat : 23228 (java) S 23091 23097 23034 0 -1 1077944384 56 12661 0 1 0 0 8 4 20 0 20 0 7052911 11259342848 75438 33554432000 4194304 4196468 140730344035696 140042608465632 140043403458261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17899520 140730344037057 140730344039831 140730344039831 140730344042447 0
[pid=23097/tid=23229] ppid=23091 vsize=10995452 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/23097/task/23229/stat : 23229 (java) S 23091 23097 23034 0 -1 1077944384 46 12661 0 1 0 0 8 4 20 0 20 0 7052911 11259342848 75438 33554432000 4194304 4196468 140730344035696 140042607412480 140043403458261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17899520 140730344037057 140730344039831 140730344039831 140730344042447 0
[pid=23097/tid=23235] ppid=23091 vsize=10995452 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/23097/task/23235/stat : 23235 (java) S 23091 23097 23034 0 -1 1077944384 1 12661 0 1 0 0 8 4 20 0 20 0 7052915 11259342848 75438 33554432000 4194304 4196468 140730344035696 140042606361040 140043403466651 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 17899520 140730344037057 140730344039831 140730344039831 140730344042447 0
[pid=23097/tid=23237] ppid=23091 vsize=10995452 CPUtime=1.52 cores=1,3,5,7,9,11,13,15
/proc/23097/task/23237/stat : 23237 (java) R 23091 23097 23034 0 -1 4202560 6190 12661 0 1 138 2 8 4 20 0 20 0 7052915 11259342848 75438 33554432000 4194304 4196468 140730344035696 140042605293648 140043381849063 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17899520 140730344037057 140730344039831 140730344039831 140730344042447 0
[pid=23097/tid=23238] ppid=23091 vsize=10995452 CPUtime=1.31 cores=1,3,5,7,9,11,13,15
/proc/23097/task/23238/stat : 23238 (java) R 23091 23097 23034 0 -1 4202560 4157 12661 0 1 118 1 8 4 20 0 20 0 7052915 11259342848 75438 33554432000 4194304 4196468 140730344035696 140042604234224 140043383148352 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 17899520 140730344037057 140730344039831 140730344039831 140730344042447 0
[pid=23097/tid=23239] ppid=23091 vsize=10995452 CPUtime=0.88 cores=1,3,5,7,9,11,13,15
/proc/23097/task/23239/stat : 23239 (java) R 23091 23097 23034 0 -1 4202560 1975 12661 0 1 75 1 8 4 20 0 20 0 7052915 11259342848 75438 33554432000 4194304 4196468 140730344035696 140042603189328 140043389462364 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17899520 140730344037057 140730344039831 140730344039831 140730344042447 0
[pid=23097/tid=23240] ppid=23091 vsize=10995452 CPUtime=1.45 cores=1,3,5,7,9,11,13,15
/proc/23097/task/23240/stat : 23240 (java) S 23091 23097 23034 0 -1 1077944384 3856 12661 0 1 131 2 8 4 20 0 20 0 7052915 11259342848 75438 33554432000 4194304 4196468 140730344035696 140042602150000 140043403459202 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17899520 140730344037057 140730344039831 140730344039831 140730344042447 0
[pid=23097/tid=23242] ppid=23091 vsize=10995452 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/23097/task/23242/stat : 23242 (java) S 23091 23097 23034 0 -1 1077944384 3 12661 0 1 0 0 8 4 20 0 20 0 7052915 11259342848 75438 33554432000 4194304 4196468 140730344035696 140042601098208 140043403458261 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 17899520 140730344037057 140730344039831 140730344039831 140730344042447 0
[pid=23097/tid=23243] ppid=23091 vsize=10995452 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/23097/task/23243/stat : 23243 (java) S 23091 23097 23034 0 -1 1077944384 9 12661 0 1 0 0 8 4 20 0 20 0 7052916 11259342848 75438 33554432000 4194304 4196468 140730344035696 140042600045744 140043403459202 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17899520 140730344037057 140730344039831 140730344039831 140730344042447 0
Current children cumulated CPU time (s) 9.55
Current children cumulated vsize (KiB) 10995452
[startup+4.40077 s]
/proc/loadavg: 1.47 1.66 1.67 12/286 23243
/proc/meminfo: memFree=31095208/32770624 swapFree=5776/296608
[pid=23097] ppid=23091 vsize=10997500 CPUtime=11.43 cores=1,3,5,7,9,11,13,15
/proc/23097/stat : 23097 (java) S 23091 23097 23034 0 -1 1077944320 63209 12661 0 1 1104 27 8 4 20 0 20 0 7052891 11261440000 74762 33554432000 4194304 4196468 140730344035696 140730344018240 140043403448055 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 17899520 140730344037057 140730344039831 140730344039831 140730344042447 0
/proc/23097/statm: 2749375 74762 3479 1 0 2736930 0
[pid=23097/tid=23207] ppid=23091 vsize=10997500 CPUtime=4.03 cores=1,3,5,7,9,11,13,15
/proc/23097/task/23207/stat : 23207 (java) R 23091 23097 23034 0 -1 4202560 40981 12661 0 1 380 11 8 4 20 0 20 0 7052907 11261440000 74762 33554432000 4194304 4196468 140730344035696 140043407676720 140043403469885 0 4 0 16800975 0 0 0 -1 7 0 0 3 0 0 6293624 6294260 17899520 140730344037057 140730344039831 140730344039831 140730344042447 0
[pid=23097/tid=23216] ppid=23091 vsize=10997500 CPUtime=0.26 cores=1,3,5,7,9,11,13,15
/proc/23097/task/23216/stat : 23216 (java) S 23091 23097 23034 0 -1 1077944384 46 12661 0 1 13 1 8 4 20 0 20 0 7052908 11261440000 74762 33554432000 4194304 4196468 140730344035696 140043329522704 140043403458261 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 17899520 140730344037057 140730344039831 140730344039831 140730344042447 0
[pid=23097/tid=23217] ppid=23091 vsize=10997500 CPUtime=0.25 cores=1,3,5,7,9,11,13,15
/proc/23097/task/23217/stat : 23217 (java) S 23091 23097 23034 0 -1 1077944384 134 12661 0 1 13 0 8 4 20 0 20 0 7052908 11261440000 74762 33554432000 4194304 4196468 140730344035696 140043328470160 140043403458261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17899520 140730344037057 140730344039831 140730344039831 140730344042447 0
[pid=23097/tid=23218] ppid=23091 vsize=10997500 CPUtime=0.2 cores=1,3,5,7,9,11,13,15
/proc/23097/task/23218/stat : 23218 (java) S 23091 23097 23034 0 -1 1077944384 65 12661 0 1 8 0 8 4 20 0 20 0 7052908 11261440000 74762 33554432000 4194304 4196468 140730344035696 140043327417104 140043403458261 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 17899520 140730344037057 140730344039831 140730344039831 140730344042447 0
[pid=23097/tid=23219] ppid=23091 vsize=10997500 CPUtime=0.26 cores=1,3,5,7,9,11,13,15
/proc/23097/task/23219/stat : 23219 (java) S 23091 23097 23034 0 -1 1077944384 54 12661 0 1 14 0 8 4 20 0 20 0 7052908 11261440000 74762 33554432000 4194304 4196468 140730344035696 140043326364560 140043403458261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17899520 140730344037057 140730344039831 140730344039831 140730344042447 0
[pid=23097/tid=23220] ppid=23091 vsize=10997500 CPUtime=0.25 cores=1,3,5,7,9,11,13,15
/proc/23097/task/23220/stat : 23220 (java) S 23091 23097 23034 0 -1 1077944384 56 12661 0 1 13 0 8 4 20 0 20 0 7052908 11261440000 74762 33554432000 4194304 4196468 140730344035696 140043325311504 140043403458261 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 17899520 140730344037057 140730344039831 140730344039831 140730344042447 0
[pid=23097/tid=23221] ppid=23091 vsize=10997500 CPUtime=0.26 cores=1,3,5,7,9,11,13,15
/proc/23097/task/23221/stat : 23221 (java) S 23091 23097 23034 0 -1 1077944384 56 12661 0 1 14 0 8 4 20 0 20 0 7052908 11261440000 74762 33554432000 4194304 4196468 140730344035696 140043324258960 140043403458261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17899520 140730344037057 140730344039831 140730344039831 140730344042447 0
[pid=23097/tid=23222] ppid=23091 vsize=10997500 CPUtime=0.22 cores=1,3,5,7,9,11,13,15
/proc/23097/task/23222/stat : 23222 (java) S 23091 23097 23034 0 -1 1077944384 84 12661 0 1 10 0 8 4 20 0 20 0 7052908 11261440000 74762 33554432000 4194304 4196468 140730344035696 140043323205904 140043403458261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17899520 140730344037057 140730344039831 140730344039831 140730344042447 0
[pid=23097/tid=23223] ppid=23091 vsize=10997500 CPUtime=0.24 cores=1,3,5,7,9,11,13,15
/proc/23097/task/23223/stat : 23223 (java) S 23091 23097 23034 0 -1 1077944384 21 12661 0 1 12 0 8 4 20 0 20 0 7052908 11261440000 74762 33554432000 4194304 4196468 140730344035696 140043322153360 140043403458261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17899520 140730344037057 140730344039831 140730344039831 140730344042447 0
[pid=23097/tid=23225] ppid=23091 vsize=10997500 CPUtime=0.23 cores=1,3,5,7,9,11,13,15
/proc/23097/task/23225/stat : 23225 (java) S 23091 23097 23034 0 -1 1077944384 1996 12661 0 1 11 0 8 4 20 0 20 0 7052910 11261440000 74762 33554432000 4194304 4196468 140730344035696 140042609519344 140043403459202 0 0 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 17899520 140730344037057 140730344039831 140730344039831 140730344042447 0
[pid=23097/tid=23228] ppid=23091 vsize=10997500 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/23097/task/23228/stat : 23228 (java) S 23091 23097 23034 0 -1 1077944384 56 12661 0 1 0 0 8 4 20 0 20 0 7052911 11261440000 74762 33554432000 4194304 4196468 140730344035696 140042608465632 140043403458261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17899520 140730344037057 140730344039831 140730344039831 140730344042447 0
[pid=23097/tid=23229] ppid=23091 vsize=10997500 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/23097/task/23229/stat : 23229 (java) S 23091 23097 23034 0 -1 1077944384 46 12661 0 1 0 0 8 4 20 0 20 0 7052911 11261440000 74762 33554432000 4194304 4196468 140730344035696 140042607412480 140043403458261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17899520 140730344037057 140730344039831 140730344039831 140730344042447 0
[pid=23097/tid=23235] ppid=23091 vsize=10997500 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/23097/task/23235/stat : 23235 (java) S 23091 23097 23034 0 -1 1077944384 1 12661 0 1 0 0 8 4 20 0 20 0 7052915 11261440000 74762 33554432000 4194304 4196468 140730344035696 140042606361040 140043403466651 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 17899520 140730344037057 140730344039831 140730344039831 140730344042447 0
[pid=23097/tid=23237] ppid=23091 vsize=10997500 CPUtime=1.93 cores=1,3,5,7,9,11,13,15
/proc/23097/task/23237/stat : 23237 (java) R 23091 23097 23034 0 -1 4202560 6305 12661 0 1 179 2 8 4 20 0 20 0 7052915 11261440000 74762 33554432000 4194304 4196468 140730344035696 140042605301168 140043384083890 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17899520 140730344037057 140730344039831 140730344039831 140730344042447 0
[pid=23097/tid=23238] ppid=23091 vsize=10997500 CPUtime=1.72 cores=1,3,5,7,9,11,13,15
/proc/23097/task/23238/stat : 23238 (java) R 23091 23097 23034 0 -1 4202560 4911 12661 0 1 159 1 8 4 20 0 20 0 7052915 11261440000 74762 33554432000 4194304 4196468 140730344035696 140042604244144 140043388372421 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 17899520 140730344037057 140730344039831 140730344039831 140730344042447 0
[pid=23097/tid=23239] ppid=23091 vsize=10997500 CPUtime=1.29 cores=1,3,5,7,9,11,13,15
/proc/23097/task/23239/stat : 23239 (java) R 23091 23097 23034 0 -1 4202560 2064 12661 0 1 116 1 8 4 20 0 20 0 7052915 11261440000 74762 33554432000 4194304 4196468 140730344035696 140042603188640 140043384992195 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17899520 140730344037057 140730344039831 140730344039831 140730344042447 0
[pid=23097/tid=23240] ppid=23091 vsize=10997500 CPUtime=1.7 cores=1,3,5,7,9,11,13,15
/proc/23097/task/23240/stat : 23240 (java) R 23091 23097 23034 0 -1 4202560 4192 12661 0 1 155 3 8 4 20 0 20 0 7052915 11261440000 74762 33554432000 4194304 4196468 140730344035696 140042602150128 140043381964736 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 17899520 140730344037057 140730344039831 140730344039831 140730344042447 0
[pid=23097/tid=23242] ppid=23091 vsize=10997500 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/23097/task/23242/stat : 23242 (java) S 23091 23097 23034 0 -1 1077944384 3 12661 0 1 0 0 8 4 20 0 20 0 7052915 11261440000 74762 33554432000 4194304 4196468 140730344035696 140042601098208 140043403458261 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 17899520 140730344037057 140730344039831 140730344039831 140730344042447 0
[pid=23097/tid=23243] ppid=23091 vsize=10997500 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/23097/task/23243/stat : 23243 (java) S 23091 23097 23034 0 -1 1077944384 10 12661 0 1 0 0 8 4 20 0 20 0 7052916 11261440000 74762 33554432000 4194304 4196468 140730344035696 140042600045744 140043403459202 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 17899520 140730344037057 140730344039831 140730344039831 140730344042447 0
Current children cumulated CPU time (s) 11.43
Current children cumulated vsize (KiB) 10997500
[startup+4.60103 s]
/proc/loadavg: 1.47 1.66 1.67 12/286 23243
/proc/meminfo: memFree=31095208/32770624 swapFree=5776/296608
[pid=23097] ppid=23091 vsize=10997500 CPUtime=12.17 cores=1,3,5,7,9,11,13,15
/proc/23097/stat : 23097 (java) S 23091 23097 23034 0 -1 1077944320 63424 12661 0 1 1178 27 8 4 20 0 20 0 7052891 11261440000 74943 33554432000 4194304 4196468 140730344035696 140730344018240 140043403448055 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 17899520 140730344037057 140730344039831 140730344039831 140730344042447 0
/proc/23097/statm: 2749375 74943 3479 1 0 2736930 0
[pid=23097/tid=23207] ppid=23091 vsize=10997500 CPUtime=4.21 cores=1,3,5,7,9,11,13,15
/proc/23097/task/23207/stat : 23207 (java) R 23091 23097 23034 0 -1 4202560 40996 12661 0 1 398 11 8 4 20 0 20 0 7052907 11261440000 74943 33554432000 4194304 4196468 140730344035696 140043407679568 140043403469885 0 4 0 16800975 0 0 0 -1 7 0 0 3 0 0 6293624 6294260 17899520 140730344037057 140730344039831 140730344039831 140730344042447 0
[pid=23097/tid=23216] ppid=23091 vsize=10997500 CPUtime=0.26 cores=1,3,5,7,9,11,13,15
/proc/23097/task/23216/stat : 23216 (java) S 23091 23097 23034 0 -1 1077944384 46 12661 0 1 13 1 8 4 20 0 20 0 7052908 11261440000 74943 33554432000 4194304 4196468 140730344035696 140043329522704 140043403458261 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 17899520 140730344037057 140730344039831 140730344039831 140730344042447 0
[pid=23097/tid=23217] ppid=23091 vsize=10997500 CPUtime=0.25 cores=1,3,5,7,9,11,13,15
/proc/23097/task/23217/stat : 23217 (java) S 23091 23097 23034 0 -1 1077944384 134 12661 0 1 13 0 8 4 20 0 20 0 7052908 11261440000 74943 33554432000 4194304 4196468 140730344035696 140043328470160 140043403458261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17899520 140730344037057 140730344039831 140730344039831 140730344042447 0
[pid=23097/tid=23218] ppid=23091 vsize=10997500 CPUtime=0.2 cores=1,3,5,7,9,11,13,15
/proc/23097/task/23218/stat : 23218 (java) S 23091 23097 23034 0 -1 1077944384 65 12661 0 1 8 0 8 4 20 0 20 0 7052908 11261440000 74943 33554432000 4194304 4196468 140730344035696 140043327417104 140043403458261 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 17899520 140730344037057 140730344039831 140730344039831 140730344042447 0
[pid=23097/tid=23219] ppid=23091 vsize=10997500 CPUtime=0.26 cores=1,3,5,7,9,11,13,15
/proc/23097/task/23219/stat : 23219 (java) S 23091 23097 23034 0 -1 1077944384 54 12661 0 1 14 0 8 4 20 0 20 0 7052908 11261440000 74943 33554432000 4194304 4196468 140730344035696 140043326364560 140043403458261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17899520 140730344037057 140730344039831 140730344039831 140730344042447 0
[pid=23097/tid=23220] ppid=23091 vsize=10997500 CPUtime=0.25 cores=1,3,5,7,9,11,13,15
/proc/23097/task/23220/stat : 23220 (java) S 23091 23097 23034 0 -1 1077944384 56 12661 0 1 13 0 8 4 20 0 20 0 7052908 11261440000 74943 33554432000 4194304 4196468 140730344035696 140043325311504 140043403458261 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 17899520 140730344037057 140730344039831 140730344039831 140730344042447 0
[pid=23097/tid=23221] ppid=23091 vsize=10997500 CPUtime=0.26 cores=1,3,5,7,9,11,13,15
/proc/23097/task/23221/stat : 23221 (java) S 23091 23097 23034 0 -1 1077944384 56 12661 0 1 14 0 8 4 20 0 20 0 7052908 11261440000 74943 33554432000 4194304 4196468 140730344035696 140043324258960 140043403458261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17899520 140730344037057 140730344039831 140730344039831 140730344042447 0
[pid=23097/tid=23222] ppid=23091 vsize=10997500 CPUtime=0.22 cores=1,3,5,7,9,11,13,15
/proc/23097/task/23222/stat : 23222 (java) S 23091 23097 23034 0 -1 1077944384 84 12661 0 1 10 0 8 4 20 0 20 0 7052908 11261440000 74943 33554432000 4194304 4196468 140730344035696 140043323205904 140043403458261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17899520 140730344037057 140730344039831 140730344039831 140730344042447 0
[pid=23097/tid=23223] ppid=23091 vsize=10997500 CPUtime=0.24 cores=1,3,5,7,9,11,13,15
/proc/23097/task/23223/stat : 23223 (java) S 23091 23097 23034 0 -1 1077944384 21 12661 0 1 12 0 8 4 20 0 20 0 7052908 11261440000 74943 33554432000 4194304 4196468 140730344035696 140043322153360 140043403458261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17899520 140730344037057 140730344039831 140730344039831 140730344042447 0
[pid=23097/tid=23225] ppid=23091 vsize=10997500 CPUtime=0.23 cores=1,3,5,7,9,11,13,15
/proc/23097/task/23225/stat : 23225 (java) S 23091 23097 23034 0 -1 1077944384 1996 12661 0 1 11 0 8 4 20 0 20 0 7052910 11261440000 74943 33554432000 4194304 4196468 140730344035696 140042609519344 140043403459202 0 0 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 17899520 140730344037057 140730344039831 140730344039831 140730344042447 0
[pid=23097/tid=23228] ppid=23091 vsize=10997500 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/23097/task/23228/stat : 23228 (java) S 23091 23097 23034 0 -1 1077944384 56 12661 0 1 0 0 8 4 20 0 20 0 7052911 11261440000 74943 33554432000 4194304 4196468 140730344035696 140042608465632 140043403458261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17899520 140730344037057 140730344039831 140730344039831 140730344042447 0
[pid=23097/tid=23229] ppid=23091 vsize=10997500 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/23097/task/23229/stat : 23229 (java) S 23091 23097 23034 0 -1 1077944384 46 12661 0 1 0 0 8 4 20 0 20 0 7052911 11261440000 74943 33554432000 4194304 4196468 140730344035696 140042607412480 140043403458261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17899520 140730344037057 140730344039831 140730344039831 140730344042447 0
[pid=23097/tid=23235] ppid=23091 vsize=10997500 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/23097/task/23235/stat : 23235 (java) S 23091 23097 23034 0 -1 1077944384 1 12661 0 1 0 0 8 4 20 0 20 0 7052915 11261440000 74943 33554432000 4194304 4196468 140730344035696 140042606361040 140043403466651 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 17899520 140730344037057 140730344039831 140730344039831 140730344042447 0
[pid=23097/tid=23237] ppid=23091 vsize=10997500 CPUtime=2.09 cores=1,3,5,7,9,11,13,15
/proc/23097/task/23237/stat : 23237 (java) R 23091 23097 23034 0 -1 4202560 6340 12661 0 1 195 2 8 4 20 0 20 0 7052915 11261440000 74943 33554432000 4194304 4196468 140730344035696 140042605292352 140043381297440 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17899520 140730344037057 140730344039831 140730344039831 140730344042447 0
[pid=23097/tid=23238] ppid=23091 vsize=10997500 CPUtime=1.88 cores=1,3,5,7,9,11,13,15
/proc/23097/task/23238/stat : 23238 (java) S 23091 23097 23034 0 -1 1077944384 4947 12661 0 1 175 1 8 4 20 0 20 0 7052915 11261440000 74943 33554432000 4194304 4196468 140730344035696 140042604255600 140043403459202 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 17899520 140730344037057 140730344039831 140730344039831 140730344042447 0
[pid=23097/tid=23239] ppid=23091 vsize=10997500 CPUtime=1.46 cores=1,3,5,7,9,11,13,15
/proc/23097/task/23239/stat : 23239 (java) R 23091 23097 23034 0 -1 4202560 2115 12661 0 1 133 1 8 4 20 0 20 0 7052915 11261440000 74943 33554432000 4194304 4196468 140730344035696 140042603183808 140043384969291 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17899520 140730344037057 140730344039831 140730344039831 140730344042447 0
[pid=23097/tid=23240] ppid=23091 vsize=10997500 CPUtime=1.76 cores=1,3,5,7,9,11,13,15
/proc/23097/task/23240/stat : 23240 (java) R 23091 23097 23034 0 -1 4202560 4271 12661 0 1 161 3 8 4 20 0 20 0 7052915 11261440000 74943 33554432000 4194304 4196468 140730344035696 140042602142864 140043396544891 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 17899520 140730344037057 140730344039831 140730344039831 140730344042447 0
[pid=23097/tid=23242] ppid=23091 vsize=10997500 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/23097/task/23242/stat : 23242 (java) S 23091 23097 23034 0 -1 1077944384 3 12661 0 1 0 0 8 4 20 0 20 0 7052915 11261440000 74943 33554432000 4194304 4196468 140730344035696 140042601098208 140043403458261 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 17899520 140730344037057 140730344039831 140730344039831 140730344042447 0
[pid=23097/tid=23243] ppid=23091 vsize=10997500 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/23097/task/23243/stat : 23243 (java) S 23091 23097 23034 0 -1 1077944384 10 12661 0 1 0 0 8 4 20 0 20 0 7052916 11261440000 74943 33554432000 4194304 4196468 140730344035696 140042600045744 140043403459202 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17899520 140730344037057 140730344039831 140730344039831 140730344042447 0
Current children cumulated CPU time (s) 12.17
Current children cumulated vsize (KiB) 10997500
Child status: 0
Real time (s): 4.67541
CPU time (s): 12.4129
CPU user time (s): 12.0745
CPU system time (s): 0.338473
CPU usage (%): 265.494
Max. virtual memory (cumulated for all children) (KiB): 10997552
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 12.0745
system time used= 0.338473
maximum resident set size= 303240
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 76268
page faults= 1
swaps= 0
block input operations= 4664
block output operations= 184
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9718
involuntary context switches= 2131
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.04979 second user time and 0.058449 second system time
The end