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-4249830-1500774874/watcher-4249830-1500774874 -o /tmp/evaluation-result-4249830-1500774874/solver-4249830-1500774874 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node146-1500774822-2158 --watchdog 2560 bin/concrete HOME/instance-4249830-1500774874.xml
pid=3133
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.75 1.07 1.20 3/261 3136
/proc/meminfo: memFree=30745872/32770624 swapFree=5776/340448
[pid=3136] ppid=3133 vsize=9508 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/3136/stat : 3136 (bash) S 3133 3136 32063 0 -1 4202496 686 1531 0 0 0 0 0 0 20 0 1 0 12752811 9736192 350 33554432000 4194304 5098028 140737203401280 140737203398920 140691743951872 0 0 4100 65536 18446744071580971376 0 0 17 8 0 0 0 0 0 7196144 7232144 8884224 140737203406094 140737203406179 140737203406179 140737203408878 0
/proc/3136/statm: 2377 350 277 221 0 86 0
[startup+0.100188 s]
/proc/loadavg: 1.75 1.07 1.20 3/261 3136
/proc/meminfo: memFree=30745872/32770624 swapFree=5776/340448
[pid=3136] ppid=3133 vsize=9640 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/3136/stat : 3136 (bash) S 3133 3136 32063 0 -1 4202496 880 6415 0 0 0 0 0 1 20 0 1 0 12752811 9871360 378 33554432000 4194304 5098028 140737203401280 140737203395288 140691743951872 0 0 4100 65536 18446744071580971376 0 0 17 8 0 0 0 0 0 7196144 7232144 8884224 140737203406094 140737203406179 140737203406179 140737203408878 0
/proc/3136/statm: 2410 378 296 221 0 119 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9640
[startup+0.200274 s]
/proc/loadavg: 1.75 1.07 1.20 3/261 3136
/proc/meminfo: memFree=30745872/32770624 swapFree=5776/340448
[pid=3136] ppid=3133 vsize=10435860 CPUtime=0.19 cores=0,2,4,6,8,10,12,14
/proc/3136/stat : 3136 (java) S 3133 3136 32063 0 -1 1077944320 4902 12646 0 0 6 1 8 4 20 0 13 0 12752811 10686320640 5267 33554432000 4194304 4196468 140732125273968 140732125256512 140389769314039 0 0 0 16800971 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 26918912 140732125276865 140732125279639 140732125279639 140732125282255 0
/proc/3136/statm: 2608965 5267 2171 1 0 2597403 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 10435860
[startup+0.300288 s]
/proc/loadavg: 1.75 1.07 1.20 3/261 3136
/proc/meminfo: memFree=30745872/32770624 swapFree=5776/340448
[pid=3136] ppid=3133 vsize=10902292 CPUtime=0.36 cores=0,2,4,6,8,10,12,14
/proc/3136/stat : 3136 (java) S 3133 3136 32063 0 -1 1077944320 8165 12646 0 0 22 2 8 4 20 0 20 0 12752811 11163947008 9244 33554432000 4194304 4196468 140732125273968 140732125256512 140389769314039 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 26918912 140732125276865 140732125279639 140732125279639 140732125282255 0
/proc/3136/statm: 2725573 9244 2964 1 0 2713890 0
Current children cumulated CPU time (s) 0.36
Current children cumulated vsize (KiB) 10902292
[startup+0.700164 s]
/proc/loadavg: 1.75 1.07 1.20 3/261 3136
/proc/meminfo: memFree=30745872/32770624 swapFree=5776/340448
[pid=3136] ppid=3133 vsize=10902720 CPUtime=0.94 cores=0,2,4,6,8,10,12,14
/proc/3136/stat : 3136 (java) S 3133 3136 32063 0 -1 1077944320 12656 12646 0 0 78 4 8 4 20 0 20 0 12752811 11164385280 15969 33554432000 4194304 4196468 140732125273968 140732125256512 140389769314039 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 26918912 140732125276865 140732125279639 140732125279639 140732125282255 0
/proc/3136/statm: 2725680 16035 3219 1 0 2713890 0
Current children cumulated CPU time (s) 0.94
Current children cumulated vsize (KiB) 10902720
[startup+1.50122 s]
/proc/loadavg: 1.75 1.07 1.20 5/281 3209
/proc/meminfo: memFree=30638388/32770624 swapFree=5776/340460
[pid=3136] ppid=3133 vsize=10913344 CPUtime=2.23 cores=0,2,4,6,8,10,12,14
/proc/3136/stat : 3136 (java) S 3133 3136 32063 0 -1 1077944320 27425 12646 0 0 199 12 8 4 20 0 20 0 12752811 11175264256 44598 33554432000 4194304 4196468 140732125273968 140732125256512 140389769314039 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 26918912 140732125276865 140732125279639 140732125279639 140732125282255 0
/proc/3136/statm: 2728336 44598 3399 1 0 2716450 0
[pid=3136/tid=3191] ppid=3133 vsize=10913344 CPUtime=1.42 cores=0,2,4,6,8,10,12,14
/proc/3136/task/3191/stat : 3191 (java) R 3133 3136 32063 0 -1 4202560 19774 12646 0 0 125 5 8 4 20 0 20 0 12752824 11175264256 44598 33554432000 4194304 4196468 140732125273968 140389773534192 140389754486928 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 26918912 140732125276865 140732125279639 140732125279639 140732125282255 0
[pid=3136/tid=3192] ppid=3133 vsize=10913344 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/3136/task/3192/stat : 3192 (java) S 3133 3136 32063 0 -1 1077944384 136 12646 0 0 0 0 8 4 20 0 20 0 12752824 11175264256 44598 33554432000 4194304 4196468 140732125273968 140389376564368 140389769324245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26918912 140732125276865 140732125279639 140732125279639 140732125282255 0
[pid=3136/tid=3193] ppid=3133 vsize=10913344 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/3136/task/3193/stat : 3193 (java) S 3133 3136 32063 0 -1 1077944384 49 12646 0 0 1 0 8 4 20 0 20 0 12752824 11175264256 44598 33554432000 4194304 4196468 140732125273968 140389375511568 140389769324245 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 26918912 140732125276865 140732125279639 140732125279639 140732125282255 0
[pid=3136/tid=3194] ppid=3133 vsize=10913344 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/3136/task/3194/stat : 3194 (java) S 3133 3136 32063 0 -1 1077944384 26 12646 0 0 1 0 8 4 20 0 20 0 12752824 11175264256 44598 33554432000 4194304 4196468 140732125273968 140389374458768 140389769324245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26918912 140732125276865 140732125279639 140732125279639 140732125282255 0
[pid=3136/tid=3195] ppid=3133 vsize=10913344 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/3136/task/3195/stat : 3195 (java) S 3133 3136 32063 0 -1 1077944384 20 12646 0 0 0 0 8 4 20 0 20 0 12752825 11175264256 44598 33554432000 4194304 4196468 140732125273968 140389373405968 140389769324245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26918912 140732125276865 140732125279639 140732125279639 140732125282255 0
[pid=3136/tid=3196] ppid=3133 vsize=10913344 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/3136/task/3196/stat : 3196 (java) S 3133 3136 32063 0 -1 1077944384 17 12646 0 0 1 0 8 4 20 0 20 0 12752825 11175264256 44602 33554432000 4194304 4196468 140732125273968 140389372353168 140389769324245 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 26918912 140732125276865 140732125279639 140732125279639 140732125282255 0
[pid=3136/tid=3197] ppid=3133 vsize=10913344 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/3136/task/3197/stat : 3197 (java) S 3133 3136 32063 0 -1 1077944384 38 12646 0 0 0 0 8 4 20 0 20 0 12752825 11175264256 44602 33554432000 4194304 4196468 140732125273968 140389371300368 140389769324245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26918912 140732125276865 140732125279639 140732125279639 140732125282255 0
[pid=3136/tid=3198] ppid=3133 vsize=10913344 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/3136/task/3198/stat : 3198 (java) S 3133 3136 32063 0 -1 1077944384 13 12646 0 0 0 0 8 4 20 0 20 0 12752825 11175264256 44602 33554432000 4194304 4196468 140732125273968 140389370247568 140389769324245 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 26918912 140732125276865 140732125279639 140732125279639 140732125282255 0
[pid=3136/tid=3199] ppid=3133 vsize=10913344 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/3136/task/3199/stat : 3199 (java) S 3133 3136 32063 0 -1 1077944384 21 12646 0 0 1 0 8 4 20 0 20 0 12752825 11175264256 44602 33554432000 4194304 4196468 140732125273968 140389369194768 140389769324245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26918912 140732125276865 140732125279639 140732125279639 140732125282255 0
[pid=3136/tid=3200] ppid=3133 vsize=10913344 CPUtime=0.14 cores=0,2,4,6,8,10,12,14
/proc/3136/task/3200/stat : 3200 (java) S 3133 3136 32063 0 -1 1077944384 1204 12646 0 0 2 0 8 4 20 0 20 0 12752827 11175264256 44602 33554432000 4194304 4196468 140732125273968 140389109635952 140389769325186 0 0 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 26918912 140732125276865 140732125279639 140732125279639 140732125282255 0
[pid=3136/tid=3201] ppid=3133 vsize=10913344 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/3136/task/3201/stat : 3201 (java) S 3133 3136 32063 0 -1 1077944384 55 12646 0 0 0 0 8 4 20 0 20 0 12752827 11175264256 44602 33554432000 4194304 4196468 140732125273968 140389108581984 140389769324245 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 26918912 140732125276865 140732125279639 140732125279639 140732125282255 0
[pid=3136/tid=3202] ppid=3133 vsize=10913344 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/3136/task/3202/stat : 3202 (java) S 3133 3136 32063 0 -1 1077944384 44 12646 0 0 0 0 8 4 20 0 20 0 12752828 11175264256 44602 33554432000 4194304 4196468 140732125273968 140389107529088 140389769324245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26918912 140732125276865 140732125279639 140732125279639 140732125282255 0
[pid=3136/tid=3203] ppid=3133 vsize=10913344 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/3136/task/3203/stat : 3203 (java) S 3133 3136 32063 0 -1 1077944384 1 12646 0 0 0 0 8 4 20 0 20 0 12752832 11175264256 44602 33554432000 4194304 4196468 140732125273968 140389106477392 140389769332635 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 26918912 140732125276865 140732125279639 140732125279639 140732125282255 0
[pid=3136/tid=3204] ppid=3133 vsize=10913344 CPUtime=0.25 cores=0,2,4,6,8,10,12,14
/proc/3136/task/3204/stat : 3204 (java) S 3133 3136 32063 0 -1 1077944384 1523 12646 0 0 13 0 8 4 20 0 20 0 12752832 11175264256 44602 33554432000 4194304 4196468 140732125273968 140389105424752 140389769325186 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26918912 140732125276865 140732125279639 140732125279639 140732125282255 0
[pid=3136/tid=3205] ppid=3133 vsize=10913344 CPUtime=0.24 cores=0,2,4,6,8,10,12,14
/proc/3136/task/3205/stat : 3205 (java) S 3133 3136 32063 0 -1 1077944384 624 12646 0 0 12 0 8 4 20 0 20 0 12752832 11175264256 44602 33554432000 4194304 4196468 140732125273968 140389104371952 140389769325186 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26918912 140732125276865 140732125279639 140732125279639 140732125282255 0
[pid=3136/tid=3206] ppid=3133 vsize=10913344 CPUtime=0.23 cores=0,2,4,6,8,10,12,14
/proc/3136/task/3206/stat : 3206 (java) S 3133 3136 32063 0 -1 1077944384 494 12646 0 0 11 0 8 4 20 0 20 0 12752832 11175264256 44602 33554432000 4194304 4196468 140732125273968 140389103319152 140389769325186 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 26918912 140732125276865 140732125279639 140732125279639 140732125282255 0
[pid=3136/tid=3207] ppid=3133 vsize=10913344 CPUtime=0.36 cores=0,2,4,6,8,10,12,14
/proc/3136/task/3207/stat : 3207 (java) S 3133 3136 32063 0 -1 1077944384 1252 12646 0 0 24 0 8 4 20 0 20 0 12752832 11175264256 44602 33554432000 4194304 4196468 140732125273968 140389102266352 140389769325186 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 26918912 140732125276865 140732125279639 140732125279639 140732125282255 0
[pid=3136/tid=3208] ppid=3133 vsize=10913344 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/3136/task/3208/stat : 3208 (java) S 3133 3136 32063 0 -1 1077944384 3 12646 0 0 0 0 8 4 20 0 20 0 12752832 11175264256 44602 33554432000 4194304 4196468 140732125273968 140389101214816 140389769324245 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 26918912 140732125276865 140732125279639 140732125279639 140732125282255 0
[pid=3136/tid=3209] ppid=3133 vsize=10913344 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/3136/task/3209/stat : 3209 (java) S 3133 3136 32063 0 -1 1077944384 3 12646 0 0 0 0 8 4 20 0 20 0 12752832 11175264256 44602 33554432000 4194304 4196468 140732125273968 140389100162096 140389769325186 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26918912 140732125276865 140732125279639 140732125279639 140732125282255 0
Current children cumulated CPU time (s) 2.23
Current children cumulated vsize (KiB) 10913344
[startup+3.10118 s]
/proc/loadavg: 1.75 1.07 1.20 4/281 3209
/proc/meminfo: memFree=30555348/32770624 swapFree=5776/340460
[pid=3136] ppid=3133 vsize=10927868 CPUtime=6.07 cores=0,2,4,6,8,10,12,14
/proc/3136/stat : 3136 (java) S 3133 3136 32063 0 -1 1077944320 49089 12646 0 0 576 19 8 4 20 0 20 0 12752811 11190136832 55497 33554432000 4194304 4196468 140732125273968 140732125256512 140389769314039 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 26918912 140732125276865 140732125279639 140732125279639 140732125282255 0
/proc/3136/statm: 2731967 55497 3473 1 0 2719522 0
[pid=3136/tid=3191] ppid=3133 vsize=10927868 CPUtime=3.01 cores=0,2,4,6,8,10,12,14
/proc/3136/task/3191/stat : 3191 (java) R 3133 3136 32063 0 -1 4202560 33266 12646 0 0 281 8 8 4 20 0 20 0 12752824 11190136832 55497 33554432000 4194304 4196468 140732125273968 140389773534360 140389769325974 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 26918912 140732125276865 140732125279639 140732125279639 140732125282255 0
[pid=3136/tid=3192] ppid=3133 vsize=10927868 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/3136/task/3192/stat : 3192 (java) S 3133 3136 32063 0 -1 1077944384 136 12646 0 0 0 0 8 4 20 0 20 0 12752824 11190136832 55497 33554432000 4194304 4196468 140732125273968 140389376564368 140389769324245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26918912 140732125276865 140732125279639 140732125279639 140732125282255 0
[pid=3136/tid=3193] ppid=3133 vsize=10927868 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/3136/task/3193/stat : 3193 (java) S 3133 3136 32063 0 -1 1077944384 49 12646 0 0 1 0 8 4 20 0 20 0 12752824 11190136832 55497 33554432000 4194304 4196468 140732125273968 140389375511568 140389769324245 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 26918912 140732125276865 140732125279639 140732125279639 140732125282255 0
[pid=3136/tid=3194] ppid=3133 vsize=10927868 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/3136/task/3194/stat : 3194 (java) S 3133 3136 32063 0 -1 1077944384 26 12646 0 0 1 0 8 4 20 0 20 0 12752824 11190136832 55497 33554432000 4194304 4196468 140732125273968 140389374458768 140389769324245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26918912 140732125276865 140732125279639 140732125279639 140732125282255 0
[pid=3136/tid=3195] ppid=3133 vsize=10927868 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/3136/task/3195/stat : 3195 (java) S 3133 3136 32063 0 -1 1077944384 20 12646 0 0 0 0 8 4 20 0 20 0 12752825 11190136832 55497 33554432000 4194304 4196468 140732125273968 140389373405968 140389769324245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26918912 140732125276865 140732125279639 140732125279639 140732125282255 0
[pid=3136/tid=3196] ppid=3133 vsize=10927868 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/3136/task/3196/stat : 3196 (java) S 3133 3136 32063 0 -1 1077944384 17 12646 0 0 1 0 8 4 20 0 20 0 12752825 11190136832 55497 33554432000 4194304 4196468 140732125273968 140389372353168 140389769324245 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 26918912 140732125276865 140732125279639 140732125279639 140732125282255 0
[pid=3136/tid=3197] ppid=3133 vsize=10927868 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/3136/task/3197/stat : 3197 (java) S 3133 3136 32063 0 -1 1077944384 38 12646 0 0 0 0 8 4 20 0 20 0 12752825 11190136832 55497 33554432000 4194304 4196468 140732125273968 140389371300368 140389769324245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26918912 140732125276865 140732125279639 140732125279639 140732125282255 0
[pid=3136/tid=3198] ppid=3133 vsize=10927868 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/3136/task/3198/stat : 3198 (java) S 3133 3136 32063 0 -1 1077944384 13 12646 0 0 0 0 8 4 20 0 20 0 12752825 11190136832 55497 33554432000 4194304 4196468 140732125273968 140389370247568 140389769324245 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 26918912 140732125276865 140732125279639 140732125279639 140732125282255 0
[pid=3136/tid=3199] ppid=3133 vsize=10927868 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/3136/task/3199/stat : 3199 (java) S 3133 3136 32063 0 -1 1077944384 21 12646 0 0 1 0 8 4 20 0 20 0 12752825 11190136832 55497 33554432000 4194304 4196468 140732125273968 140389369194768 140389769324245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26918912 140732125276865 140732125279639 140732125279639 140732125282255 0
[pid=3136/tid=3200] ppid=3133 vsize=10927868 CPUtime=0.14 cores=0,2,4,6,8,10,12,14
/proc/3136/task/3200/stat : 3200 (java) S 3133 3136 32063 0 -1 1077944384 1221 12646 0 0 2 0 8 4 20 0 20 0 12752827 11190136832 55497 33554432000 4194304 4196468 140732125273968 140389109635952 140389769325186 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26918912 140732125276865 140732125279639 140732125279639 140732125282255 0
[pid=3136/tid=3201] ppid=3133 vsize=10927868 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/3136/task/3201/stat : 3201 (java) S 3133 3136 32063 0 -1 1077944384 55 12646 0 0 0 0 8 4 20 0 20 0 12752827 11190136832 55497 33554432000 4194304 4196468 140732125273968 140389108581984 140389769324245 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 26918912 140732125276865 140732125279639 140732125279639 140732125282255 0
[pid=3136/tid=3202] ppid=3133 vsize=10927868 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/3136/task/3202/stat : 3202 (java) S 3133 3136 32063 0 -1 1077944384 44 12646 0 0 0 0 8 4 20 0 20 0 12752828 11190136832 55497 33554432000 4194304 4196468 140732125273968 140389107529088 140389769324245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26918912 140732125276865 140732125279639 140732125279639 140732125282255 0
[pid=3136/tid=3203] ppid=3133 vsize=10927868 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/3136/task/3203/stat : 3203 (java) S 3133 3136 32063 0 -1 1077944384 1 12646 0 0 0 0 8 4 20 0 20 0 12752832 11190136832 55497 33554432000 4194304 4196468 140732125273968 140389106477392 140389769332635 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 26918912 140732125276865 140732125279639 140732125279639 140732125282255 0
[pid=3136/tid=3204] ppid=3133 vsize=10927868 CPUtime=0.62 cores=0,2,4,6,8,10,12,14
/proc/3136/task/3204/stat : 3204 (java) S 3133 3136 32063 0 -1 1077944384 2481 12646 0 0 49 1 8 4 20 0 20 0 12752832 11190136832 55497 33554432000 4194304 4196468 140732125273968 140389105424752 140389769325186 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 26918912 140732125276865 140732125279639 140732125279639 140732125282255 0
[pid=3136/tid=3205] ppid=3133 vsize=10927868 CPUtime=0.64 cores=0,2,4,6,8,10,12,14
/proc/3136/task/3205/stat : 3205 (java) S 3133 3136 32063 0 -1 1077944384 1688 12646 0 0 51 1 8 4 20 0 20 0 12752832 11190136832 55497 33554432000 4194304 4196468 140732125273968 140389104371952 140389769325186 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26918912 140732125276865 140732125279639 140732125279639 140732125282255 0
[pid=3136/tid=3206] ppid=3133 vsize=10927868 CPUtime=0.96 cores=0,2,4,6,8,10,12,14
/proc/3136/task/3206/stat : 3206 (java) S 3133 3136 32063 0 -1 1077944384 4133 12646 0 0 83 1 8 4 20 0 20 0 12752832 11190136832 55497 33554432000 4194304 4196468 140732125273968 140389103319152 140389769325186 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26918912 140732125276865 140732125279639 140732125279639 140732125282255 0
[pid=3136/tid=3207] ppid=3133 vsize=10927868 CPUtime=1.11 cores=0,2,4,6,8,10,12,14
/proc/3136/task/3207/stat : 3207 (java) S 3133 3136 32063 0 -1 1077944384 3743 12646 0 0 98 1 8 4 20 0 20 0 12752832 11190136832 55497 33554432000 4194304 4196468 140732125273968 140389102266352 140389769325186 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 26918912 140732125276865 140732125279639 140732125279639 140732125282255 0
[pid=3136/tid=3208] ppid=3133 vsize=10927868 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/3136/task/3208/stat : 3208 (java) S 3133 3136 32063 0 -1 1077944384 3 12646 0 0 0 0 8 4 20 0 20 0 12752832 11190136832 55497 33554432000 4194304 4196468 140732125273968 140389101214816 140389769324245 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 26918912 140732125276865 140732125279639 140732125279639 140732125282255 0
[pid=3136/tid=3209] ppid=3133 vsize=10927868 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/3136/task/3209/stat : 3209 (java) S 3133 3136 32063 0 -1 1077944384 5 12646 0 0 0 0 8 4 20 0 20 0 12752832 11190136832 55497 33554432000 4194304 4196468 140732125273968 140389100162096 140389769325186 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 26918912 140732125276865 140732125279639 140732125279639 140732125282255 0
Current children cumulated CPU time (s) 6.07
Current children cumulated vsize (KiB) 10927868
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 3136 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.20147 s]
/proc/loadavg: 1.75 1.07 1.20 4/281 3209
/proc/meminfo: memFree=30555348/32770624 swapFree=5776/340460
[pid=3136] ppid=3133 vsize=10927868 CPUtime=6.33 cores=0,2,4,6,8,10,12,14
/proc/3136/stat : 3136 (java) S 3133 3136 32063 0 -1 1077944320 49317 12646 0 0 601 20 8 4 20 0 20 0 12752811 11190136832 56754 33554432000 4194304 4196468 140732125273968 140732125256512 140389769314039 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 26918912 140732125276865 140732125279639 140732125279639 140732125282255 0
/proc/3136/statm: 2731967 56754 3475 1 0 2719522 0
[pid=3136/tid=3191] ppid=3133 vsize=10927868 CPUtime=3.11 cores=0,2,4,6,8,10,12,14
/proc/3136/task/3191/stat : 3191 (java) R 3133 3136 32063 0 -1 4202560 33277 12646 0 0 291 8 8 4 20 0 20 0 12752824 11190136832 56754 33554432000 4194304 4196468 140732125273968 140389773545568 140389407179165 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 26918912 140732125276865 140732125279639 140732125279639 140732125282255 0
[pid=3136/tid=3192] ppid=3133 vsize=10927868 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/3136/task/3192/stat : 3192 (java) S 3133 3136 32063 0 -1 1077944384 136 12646 0 0 0 0 8 4 20 0 20 0 12752824 11190136832 56754 33554432000 4194304 4196468 140732125273968 140389376564368 140389769324245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26918912 140732125276865 140732125279639 140732125279639 140732125282255 0
[pid=3136/tid=3193] ppid=3133 vsize=10927868 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/3136/task/3193/stat : 3193 (java) S 3133 3136 32063 0 -1 1077944384 49 12646 0 0 1 0 8 4 20 0 20 0 12752824 11190136832 56754 33554432000 4194304 4196468 140732125273968 140389375511568 140389769324245 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 26918912 140732125276865 140732125279639 140732125279639 140732125282255 0
[pid=3136/tid=3194] ppid=3133 vsize=10927868 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/3136/task/3194/stat : 3194 (java) S 3133 3136 32063 0 -1 1077944384 26 12646 0 0 1 0 8 4 20 0 20 0 12752824 11190136832 56754 33554432000 4194304 4196468 140732125273968 140389374458768 140389769324245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26918912 140732125276865 140732125279639 140732125279639 140732125282255 0
[pid=3136/tid=3195] ppid=3133 vsize=10927868 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/3136/task/3195/stat : 3195 (java) S 3133 3136 32063 0 -1 1077944384 20 12646 0 0 0 0 8 4 20 0 20 0 12752825 11190136832 56754 33554432000 4194304 4196468 140732125273968 140389373405968 140389769324245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26918912 140732125276865 140732125279639 140732125279639 140732125282255 0
[pid=3136/tid=3196] ppid=3133 vsize=10927868 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/3136/task/3196/stat : 3196 (java) S 3133 3136 32063 0 -1 1077944384 17 12646 0 0 1 0 8 4 20 0 20 0 12752825 11190136832 56754 33554432000 4194304 4196468 140732125273968 140389372353168 140389769324245 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 26918912 140732125276865 140732125279639 140732125279639 140732125282255 0
[pid=3136/tid=3197] ppid=3133 vsize=10927868 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/3136/task/3197/stat : 3197 (java) S 3133 3136 32063 0 -1 1077944384 38 12646 0 0 0 0 8 4 20 0 20 0 12752825 11190136832 56754 33554432000 4194304 4196468 140732125273968 140389371300368 140389769324245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26918912 140732125276865 140732125279639 140732125279639 140732125282255 0
[pid=3136/tid=3198] ppid=3133 vsize=10927868 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/3136/task/3198/stat : 3198 (java) S 3133 3136 32063 0 -1 1077944384 13 12646 0 0 0 0 8 4 20 0 20 0 12752825 11190136832 56754 33554432000 4194304 4196468 140732125273968 140389370247568 140389769324245 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 26918912 140732125276865 140732125279639 140732125279639 140732125282255 0
[pid=3136/tid=3199] ppid=3133 vsize=10927868 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/3136/task/3199/stat : 3199 (java) S 3133 3136 32063 0 -1 1077944384 21 12646 0 0 1 0 8 4 20 0 20 0 12752825 11190136832 56754 33554432000 4194304 4196468 140732125273968 140389369194768 140389769324245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26918912 140732125276865 140732125279639 140732125279639 140732125282255 0
[pid=3136/tid=3200] ppid=3133 vsize=10927868 CPUtime=0.14 cores=0,2,4,6,8,10,12,14
/proc/3136/task/3200/stat : 3200 (java) S 3133 3136 32063 0 -1 1077944384 1221 12646 0 0 2 0 8 4 20 0 20 0 12752827 11190136832 56754 33554432000 4194304 4196468 140732125273968 140389109635952 140389769325186 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26918912 140732125276865 140732125279639 140732125279639 140732125282255 0
[pid=3136/tid=3201] ppid=3133 vsize=10927868 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/3136/task/3201/stat : 3201 (java) S 3133 3136 32063 0 -1 1077944384 55 12646 0 0 0 0 8 4 20 0 20 0 12752827 11190136832 56754 33554432000 4194304 4196468 140732125273968 140389108581984 140389769324245 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 26918912 140732125276865 140732125279639 140732125279639 140732125282255 0
[pid=3136/tid=3202] ppid=3133 vsize=10927868 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/3136/task/3202/stat : 3202 (java) S 3133 3136 32063 0 -1 1077944384 44 12646 0 0 0 0 8 4 20 0 20 0 12752828 11190136832 56754 33554432000 4194304 4196468 140732125273968 140389107529088 140389769324245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26918912 140732125276865 140732125279639 140732125279639 140732125282255 0
[pid=3136/tid=3203] ppid=3133 vsize=10927868 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/3136/task/3203/stat : 3203 (java) S 3133 3136 32063 0 -1 1077944384 1 12646 0 0 0 0 8 4 20 0 20 0 12752832 11190136832 56754 33554432000 4194304 4196468 140732125273968 140389106477392 140389769332635 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 26918912 140732125276865 140732125279639 140732125279639 140732125282255 0
[pid=3136/tid=3204] ppid=3133 vsize=10927868 CPUtime=0.65 cores=0,2,4,6,8,10,12,14
/proc/3136/task/3204/stat : 3204 (java) R 3133 3136 32063 0 -1 4202560 2512 12646 0 0 52 1 8 4 20 0 20 0 12752832 11190136832 56754 33554432000 4194304 4196468 140732125273968 140389105423936 140389769335386 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 26918912 140732125276865 140732125279639 140732125279639 140732125282255 0
################
# More data... #
################
[pid=3136/tid=3198] ppid=3133 vsize=11000004 CPUtime=0.27 cores=0,2,4,6,8,10,12,14
/proc/3136/task/3198/stat : 3198 (java) S 3133 3136 32063 0 -1 1077944384 32 12646 0 0 15 0 8 4 20 0 20 0 12752825 11264004096 79324 33554432000 4194304 4196468 140732125273968 140389370247568 140389769324245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26918912 140732125276865 140732125279639 140732125279639 140732125282255 0
[pid=3136/tid=3199] ppid=3133 vsize=11000004 CPUtime=0.27 cores=0,2,4,6,8,10,12,14
/proc/3136/task/3199/stat : 3199 (java) S 3133 3136 32063 0 -1 1077944384 60 12646 0 0 15 0 8 4 20 0 20 0 12752825 11264004096 79324 33554432000 4194304 4196468 140732125273968 140389369194768 140389769324245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26918912 140732125276865 140732125279639 140732125279639 140732125282255 0
[pid=3136/tid=3200] ppid=3133 vsize=11000004 CPUtime=0.25 cores=0,2,4,6,8,10,12,14
/proc/3136/task/3200/stat : 3200 (java) S 3133 3136 32063 0 -1 1077944384 2047 12646 0 0 13 0 8 4 20 0 20 0 12752827 11264004096 79324 33554432000 4194304 4196468 140732125273968 140389109635952 140389769325186 0 0 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 26918912 140732125276865 140732125279639 140732125279639 140732125282255 0
[pid=3136/tid=3201] ppid=3133 vsize=11000004 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/3136/task/3201/stat : 3201 (java) S 3133 3136 32063 0 -1 1077944384 57 12646 0 0 0 0 8 4 20 0 20 0 12752827 11264004096 79324 33554432000 4194304 4196468 140732125273968 140389108582048 140389769324245 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 26918912 140732125276865 140732125279639 140732125279639 140732125282255 0
[pid=3136/tid=3202] ppid=3133 vsize=11000004 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/3136/task/3202/stat : 3202 (java) S 3133 3136 32063 0 -1 1077944384 44 12646 0 0 0 0 8 4 20 0 20 0 12752828 11264004096 79324 33554432000 4194304 4196468 140732125273968 140389107529088 140389769324245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26918912 140732125276865 140732125279639 140732125279639 140732125282255 0
[pid=3136/tid=3203] ppid=3133 vsize=11000004 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/3136/task/3203/stat : 3203 (java) S 3133 3136 32063 0 -1 1077944384 1 12646 0 0 0 0 8 4 20 0 20 0 12752832 11264004096 79324 33554432000 4194304 4196468 140732125273968 140389106477392 140389769332635 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 26918912 140732125276865 140732125279639 140732125279639 140732125282255 0
[pid=3136/tid=3204] ppid=3133 vsize=11000004 CPUtime=1.92 cores=0,2,4,6,8,10,12,14
/proc/3136/task/3204/stat : 3204 (java) R 3133 3136 32063 0 -1 4202560 7503 12646 0 0 178 2 8 4 20 0 20 0 12752832 11264004096 79324 33554432000 4194304 4196468 140732125273968 140389105411008 140389754235840 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 26918912 140732125276865 140732125279639 140732125279639 140732125282255 0
[pid=3136/tid=3205] ppid=3133 vsize=11000004 CPUtime=1.6 cores=0,2,4,6,8,10,12,14
/proc/3136/task/3205/stat : 3205 (java) R 3133 3136 32063 0 -1 4202560 2126 12646 0 0 147 1 8 4 20 0 20 0 12752832 11264004096 79324 33554432000 4194304 4196468 140732125273968 140389104352528 140389750014610 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 26918912 140732125276865 140732125279639 140732125279639 140732125282255 0
[pid=3136/tid=3206] ppid=3133 vsize=11000004 CPUtime=1.91 cores=0,2,4,6,8,10,12,14
/proc/3136/task/3206/stat : 3206 (java) R 3133 3136 32063 0 -1 4202560 4397 12646 0 0 178 1 8 4 20 0 20 0 12752832 11264004096 79324 33554432000 4194304 4196468 140732125273968 140389103311096 140389747336714 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26918912 140732125276865 140732125279639 140732125279639 140732125282255 0
[pid=3136/tid=3207] ppid=3133 vsize=11000004 CPUtime=1.74 cores=0,2,4,6,8,10,12,14
/proc/3136/task/3207/stat : 3207 (java) S 3133 3136 32063 0 -1 1077944384 5153 12646 0 0 160 2 8 4 20 0 20 0 12752832 11264004096 79324 33554432000 4194304 4196468 140732125273968 140389102266352 140389769325186 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 26918912 140732125276865 140732125279639 140732125279639 140732125282255 0
[pid=3136/tid=3208] ppid=3133 vsize=11000004 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/3136/task/3208/stat : 3208 (java) S 3133 3136 32063 0 -1 1077944384 3 12646 0 0 0 0 8 4 20 0 20 0 12752832 11264004096 79324 33554432000 4194304 4196468 140732125273968 140389101214816 140389769324245 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 26918912 140732125276865 140732125279639 140732125279639 140732125282255 0
[pid=3136/tid=3209] ppid=3133 vsize=11000004 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/3136/task/3209/stat : 3209 (java) S 3133 3136 32063 0 -1 1077944384 8 12646 0 0 0 0 8 4 20 0 20 0 12752832 11264004096 79324 33554432000 4194304 4196468 140732125273968 140389100162096 140389769325186 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 26918912 140732125276865 140732125279639 140732125279639 140732125282255 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 11000004
[startup+5.60884 s]
/proc/loadavg: 1.93 1.12 1.22 4/281 3209
/proc/meminfo: memFree=30362824/32770624 swapFree=5776/340468
[pid=3136] ppid=3133 vsize=10997500 CPUtime=15.07 cores=0,2,4,6,8,10,12,14
/proc/3136/stat : 3136 (java) S 3133 3136 32063 0 -1 1077944320 66799 12646 0 0 1466 29 8 4 20 0 20 0 12752811 11261440000 92889 33554432000 4194304 4196468 140732125273968 140732125256512 140389769314039 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 26918912 140732125276865 140732125279639 140732125279639 140732125282255 0
/proc/3136/statm: 2749375 92889 3506 1 0 2736930 0
[pid=3136/tid=3191] ppid=3133 vsize=10997500 CPUtime=5.24 cores=0,2,4,6,8,10,12,14
/proc/3136/task/3191/stat : 3191 (java) R 3133 3136 32063 0 -1 4202560 42255 12646 0 0 500 12 8 4 20 0 20 0 12752824 11261440000 92889 33554432000 4194304 4196468 140732125273968 140389773545672 140389423605061 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26918912 140732125276865 140732125279639 140732125279639 140732125282255 0
[pid=3136/tid=3192] ppid=3133 vsize=10997500 CPUtime=0.26 cores=0,2,4,6,8,10,12,14
/proc/3136/task/3192/stat : 3192 (java) S 3133 3136 32063 0 -1 1077944384 151 12646 0 0 14 0 8 4 20 0 20 0 12752824 11261440000 92889 33554432000 4194304 4196468 140732125273968 140389376564368 140389769324245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26918912 140732125276865 140732125279639 140732125279639 140732125282255 0
[pid=3136/tid=3193] ppid=3133 vsize=10997500 CPUtime=0.28 cores=0,2,4,6,8,10,12,14
/proc/3136/task/3193/stat : 3193 (java) S 3133 3136 32063 0 -1 1077944384 109 12646 0 0 15 1 8 4 20 0 20 0 12752824 11261440000 92889 33554432000 4194304 4196468 140732125273968 140389375511568 140389769324245 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 26918912 140732125276865 140732125279639 140732125279639 140732125282255 0
[pid=3136/tid=3194] ppid=3133 vsize=10997500 CPUtime=0.26 cores=0,2,4,6,8,10,12,14
/proc/3136/task/3194/stat : 3194 (java) S 3133 3136 32063 0 -1 1077944384 50 12646 0 0 14 0 8 4 20 0 20 0 12752824 11261440000 92889 33554432000 4194304 4196468 140732125273968 140389374458768 140389769324245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26918912 140732125276865 140732125279639 140732125279639 140732125282255 0
[pid=3136/tid=3195] ppid=3133 vsize=10997500 CPUtime=0.28 cores=0,2,4,6,8,10,12,14
/proc/3136/task/3195/stat : 3195 (java) S 3133 3136 32063 0 -1 1077944384 66 12646 0 0 15 1 8 4 20 0 20 0 12752825 11261440000 92889 33554432000 4194304 4196468 140732125273968 140389373405968 140389769324245 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 26918912 140732125276865 140732125279639 140732125279639 140732125282255 0
[pid=3136/tid=3196] ppid=3133 vsize=10997500 CPUtime=0.26 cores=0,2,4,6,8,10,12,14
/proc/3136/task/3196/stat : 3196 (java) S 3133 3136 32063 0 -1 1077944384 39 12646 0 0 14 0 8 4 20 0 20 0 12752825 11261440000 92889 33554432000 4194304 4196468 140732125273968 140389372353168 140389769324245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26918912 140732125276865 140732125279639 140732125279639 140732125282255 0
[pid=3136/tid=3197] ppid=3133 vsize=10997500 CPUtime=0.25 cores=0,2,4,6,8,10,12,14
/proc/3136/task/3197/stat : 3197 (java) S 3133 3136 32063 0 -1 1077944384 55 12646 0 0 13 0 8 4 20 0 20 0 12752825 11261440000 92889 33554432000 4194304 4196468 140732125273968 140389371300368 140389769324245 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 26918912 140732125276865 140732125279639 140732125279639 140732125282255 0
[pid=3136/tid=3198] ppid=3133 vsize=10997500 CPUtime=0.28 cores=0,2,4,6,8,10,12,14
/proc/3136/task/3198/stat : 3198 (java) S 3133 3136 32063 0 -1 1077944384 33 12646 0 0 15 1 8 4 20 0 20 0 12752825 11261440000 92889 33554432000 4194304 4196468 140732125273968 140389370247568 140389769324245 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 26918912 140732125276865 140732125279639 140732125279639 140732125282255 0
[pid=3136/tid=3199] ppid=3133 vsize=10997500 CPUtime=0.27 cores=0,2,4,6,8,10,12,14
/proc/3136/task/3199/stat : 3199 (java) S 3133 3136 32063 0 -1 1077944384 60 12646 0 0 15 0 8 4 20 0 20 0 12752825 11261440000 92889 33554432000 4194304 4196468 140732125273968 140389369194768 140389769324245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26918912 140732125276865 140732125279639 140732125279639 140732125282255 0
[pid=3136/tid=3200] ppid=3133 vsize=10997500 CPUtime=0.25 cores=0,2,4,6,8,10,12,14
/proc/3136/task/3200/stat : 3200 (java) S 3133 3136 32063 0 -1 1077944384 2065 12646 0 0 13 0 8 4 20 0 20 0 12752827 11261440000 92889 33554432000 4194304 4196468 140732125273968 140389109635952 140389769325186 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26918912 140732125276865 140732125279639 140732125279639 140732125282255 0
[pid=3136/tid=3201] ppid=3133 vsize=10997500 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/3136/task/3201/stat : 3201 (java) S 3133 3136 32063 0 -1 1077944384 57 12646 0 0 0 0 8 4 20 0 20 0 12752827 11261440000 92889 33554432000 4194304 4196468 140732125273968 140389108582048 140389769324245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26918912 140732125276865 140732125279639 140732125279639 140732125282255 0
[pid=3136/tid=3202] ppid=3133 vsize=10997500 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/3136/task/3202/stat : 3202 (java) S 3133 3136 32063 0 -1 1077944384 44 12646 0 0 0 0 8 4 20 0 20 0 12752828 11261440000 92889 33554432000 4194304 4196468 140732125273968 140389107529088 140389769324245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26918912 140732125276865 140732125279639 140732125279639 140732125282255 0
[pid=3136/tid=3203] ppid=3133 vsize=10997500 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/3136/task/3203/stat : 3203 (java) S 3133 3136 32063 0 -1 1077944384 1 12646 0 0 0 0 8 4 20 0 20 0 12752832 11261440000 92889 33554432000 4194304 4196468 140732125273968 140389106477392 140389769332635 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 26918912 140732125276865 140732125279639 140732125279639 140732125282255 0
[pid=3136/tid=3204] ppid=3133 vsize=10997500 CPUtime=2.45 cores=0,2,4,6,8,10,12,14
/proc/3136/task/3204/stat : 3204 (java) S 3133 3136 32063 0 -1 1077944384 7617 12646 0 0 231 2 8 4 20 0 20 0 12752832 11261440000 92889 33554432000 4194304 4196468 140732125273968 140389105424752 140389769325186 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 26918912 140732125276865 140732125279639 140732125279639 140732125282255 0
[pid=3136/tid=3205] ppid=3133 vsize=10997500 CPUtime=2.13 cores=0,2,4,6,8,10,12,14
/proc/3136/task/3205/stat : 3205 (java) S 3133 3136 32063 0 -1 1077944384 2344 12646 0 0 200 1 8 4 20 0 20 0 12752832 11261440000 92889 33554432000 4194304 4196468 140732125273968 140389104371952 140389769325186 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 26918912 140732125276865 140732125279639 140732125279639 140732125282255 0
[pid=3136/tid=3206] ppid=3133 vsize=10997500 CPUtime=2.43 cores=0,2,4,6,8,10,12,14
/proc/3136/task/3206/stat : 3206 (java) S 3133 3136 32063 0 -1 1077944384 4478 12646 0 0 230 1 8 4 20 0 20 0 12752832 11261440000 92889 33554432000 4194304 4196468 140732125273968 140389103319152 140389769325186 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26918912 140732125276865 140732125279639 140732125279639 140732125282255 0
[pid=3136/tid=3207] ppid=3133 vsize=10997500 CPUtime=1.84 cores=0,2,4,6,8,10,12,14
/proc/3136/task/3207/stat : 3207 (java) S 3133 3136 32063 0 -1 1077944384 5234 12646 0 0 169 3 8 4 20 0 20 0 12752832 11261440000 92889 33554432000 4194304 4196468 140732125273968 140389102266352 140389769325186 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 26918912 140732125276865 140732125279639 140732125279639 140732125282255 0
[pid=3136/tid=3208] ppid=3133 vsize=10997500 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/3136/task/3208/stat : 3208 (java) S 3133 3136 32063 0 -1 1077944384 3 12646 0 0 0 0 8 4 20 0 20 0 12752832 11261440000 92889 33554432000 4194304 4196468 140732125273968 140389101214816 140389769324245 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 26918912 140732125276865 140732125279639 140732125279639 140732125282255 0
[pid=3136/tid=3209] ppid=3133 vsize=10997500 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/3136/task/3209/stat : 3209 (java) S 3133 3136 32063 0 -1 1077944384 9 12646 0 0 0 0 8 4 20 0 20 0 12752832 11261440000 92889 33554432000 4194304 4196468 140732125273968 140389100162096 140389769325186 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 26918912 140732125276865 140732125279639 140732125279639 140732125282255 0
Current children cumulated CPU time (s) 15.07
Current children cumulated vsize (KiB) 10997500
[startup+5.80079 s]
/proc/loadavg: 1.93 1.12 1.22 4/281 3209
/proc/meminfo: memFree=30362824/32770624 swapFree=5776/340468
[pid=3136] ppid=3133 vsize=10997500 CPUtime=15.42 cores=0,2,4,6,8,10,12,14
/proc/3136/stat : 3136 (java) S 3133 3136 32063 0 -1 1077944320 66848 12646 0 0 1501 29 8 4 20 0 20 0 12752811 11261440000 92942 33554432000 4194304 4196468 140732125273968 140732125256512 140389769314039 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 26918912 140732125276865 140732125279639 140732125279639 140732125282255 0
/proc/3136/statm: 2749375 92942 3506 1 0 2736930 0
[pid=3136/tid=3191] ppid=3133 vsize=10997500 CPUtime=5.42 cores=0,2,4,6,8,10,12,14
/proc/3136/task/3191/stat : 3191 (java) R 3133 3136 32063 0 -1 4202560 42256 12646 0 0 518 12 8 4 20 0 20 0 12752824 11261440000 92942 33554432000 4194304 4196468 140732125273968 140389773546344 140389423319340 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 26918912 140732125276865 140732125279639 140732125279639 140732125282255 0
[pid=3136/tid=3192] ppid=3133 vsize=10997500 CPUtime=0.27 cores=0,2,4,6,8,10,12,14
/proc/3136/task/3192/stat : 3192 (java) S 3133 3136 32063 0 -1 1077944384 151 12646 0 0 15 0 8 4 20 0 20 0 12752824 11261440000 92942 33554432000 4194304 4196468 140732125273968 140389376564368 140389769324245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26918912 140732125276865 140732125279639 140732125279639 140732125282255 0
[pid=3136/tid=3193] ppid=3133 vsize=10997500 CPUtime=0.28 cores=0,2,4,6,8,10,12,14
/proc/3136/task/3193/stat : 3193 (java) S 3133 3136 32063 0 -1 1077944384 109 12646 0 0 15 1 8 4 20 0 20 0 12752824 11261440000 92942 33554432000 4194304 4196468 140732125273968 140389375511568 140389769324245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26918912 140732125276865 140732125279639 140732125279639 140732125282255 0
[pid=3136/tid=3194] ppid=3133 vsize=10997500 CPUtime=0.26 cores=0,2,4,6,8,10,12,14
/proc/3136/task/3194/stat : 3194 (java) S 3133 3136 32063 0 -1 1077944384 50 12646 0 0 14 0 8 4 20 0 20 0 12752824 11261440000 92942 33554432000 4194304 4196468 140732125273968 140389374458768 140389769324245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26918912 140732125276865 140732125279639 140732125279639 140732125282255 0
[pid=3136/tid=3195] ppid=3133 vsize=10997500 CPUtime=0.28 cores=0,2,4,6,8,10,12,14
/proc/3136/task/3195/stat : 3195 (java) S 3133 3136 32063 0 -1 1077944384 66 12646 0 0 15 1 8 4 20 0 20 0 12752825 11261440000 92942 33554432000 4194304 4196468 140732125273968 140389373405968 140389769324245 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 26918912 140732125276865 140732125279639 140732125279639 140732125282255 0
[pid=3136/tid=3196] ppid=3133 vsize=10997500 CPUtime=0.26 cores=0,2,4,6,8,10,12,14
/proc/3136/task/3196/stat : 3196 (java) S 3133 3136 32063 0 -1 1077944384 39 12646 0 0 14 0 8 4 20 0 20 0 12752825 11261440000 92942 33554432000 4194304 4196468 140732125273968 140389372353168 140389769324245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26918912 140732125276865 140732125279639 140732125279639 140732125282255 0
[pid=3136/tid=3197] ppid=3133 vsize=10997500 CPUtime=0.25 cores=0,2,4,6,8,10,12,14
/proc/3136/task/3197/stat : 3197 (java) S 3133 3136 32063 0 -1 1077944384 55 12646 0 0 13 0 8 4 20 0 20 0 12752825 11261440000 92942 33554432000 4194304 4196468 140732125273968 140389371300368 140389769324245 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 26918912 140732125276865 140732125279639 140732125279639 140732125282255 0
[pid=3136/tid=3198] ppid=3133 vsize=10997500 CPUtime=0.28 cores=0,2,4,6,8,10,12,14
/proc/3136/task/3198/stat : 3198 (java) S 3133 3136 32063 0 -1 1077944384 33 12646 0 0 15 1 8 4 20 0 20 0 12752825 11261440000 92942 33554432000 4194304 4196468 140732125273968 140389370247568 140389769324245 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 26918912 140732125276865 140732125279639 140732125279639 140732125282255 0
[pid=3136/tid=3199] ppid=3133 vsize=10997500 CPUtime=0.27 cores=0,2,4,6,8,10,12,14
/proc/3136/task/3199/stat : 3199 (java) S 3133 3136 32063 0 -1 1077944384 60 12646 0 0 15 0 8 4 20 0 20 0 12752825 11261440000 92942 33554432000 4194304 4196468 140732125273968 140389369194768 140389769324245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26918912 140732125276865 140732125279639 140732125279639 140732125282255 0
[pid=3136/tid=3200] ppid=3133 vsize=10997500 CPUtime=0.25 cores=0,2,4,6,8,10,12,14
/proc/3136/task/3200/stat : 3200 (java) S 3133 3136 32063 0 -1 1077944384 2069 12646 0 0 13 0 8 4 20 0 20 0 12752827 11261440000 92942 33554432000 4194304 4196468 140732125273968 140389109635952 140389769325186 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26918912 140732125276865 140732125279639 140732125279639 140732125282255 0
[pid=3136/tid=3201] ppid=3133 vsize=10997500 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/3136/task/3201/stat : 3201 (java) S 3133 3136 32063 0 -1 1077944384 57 12646 0 0 0 0 8 4 20 0 20 0 12752827 11261440000 92942 33554432000 4194304 4196468 140732125273968 140389108582048 140389769324245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26918912 140732125276865 140732125279639 140732125279639 140732125282255 0
[pid=3136/tid=3202] ppid=3133 vsize=10997500 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/3136/task/3202/stat : 3202 (java) S 3133 3136 32063 0 -1 1077944384 44 12646 0 0 0 0 8 4 20 0 20 0 12752828 11261440000 92942 33554432000 4194304 4196468 140732125273968 140389107529088 140389769324245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26918912 140732125276865 140732125279639 140732125279639 140732125282255 0
[pid=3136/tid=3203] ppid=3133 vsize=10997500 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/3136/task/3203/stat : 3203 (java) S 3133 3136 32063 0 -1 1077944384 1 12646 0 0 0 0 8 4 20 0 20 0 12752832 11261440000 92942 33554432000 4194304 4196468 140732125273968 140389106477392 140389769332635 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 26918912 140732125276865 140732125279639 140732125279639 140732125282255 0
[pid=3136/tid=3204] ppid=3133 vsize=10997500 CPUtime=2.49 cores=0,2,4,6,8,10,12,14
/proc/3136/task/3204/stat : 3204 (java) S 3133 3136 32063 0 -1 1077944384 7631 12646 0 0 235 2 8 4 20 0 20 0 12752832 11261440000 92942 33554432000 4194304 4196468 140732125273968 140389105424752 140389769325186 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 26918912 140732125276865 140732125279639 140732125279639 140732125282255 0
[pid=3136/tid=3205] ppid=3133 vsize=10997500 CPUtime=2.18 cores=0,2,4,6,8,10,12,14
/proc/3136/task/3205/stat : 3205 (java) S 3133 3136 32063 0 -1 1077944384 2346 12646 0 0 205 1 8 4 20 0 20 0 12752832 11261440000 92942 33554432000 4194304 4196468 140732125273968 140389104371952 140389769325186 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 26918912 140732125276865 140732125279639 140732125279639 140732125282255 0
[pid=3136/tid=3206] ppid=3133 vsize=10997500 CPUtime=2.47 cores=0,2,4,6,8,10,12,14
/proc/3136/task/3206/stat : 3206 (java) R 3133 3136 32063 0 -1 4202560 4488 12646 0 0 234 1 8 4 20 0 20 0 12752832 11261440000 92942 33554432000 4194304 4196468 140732125273968 140389103319448 140389748560631 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26918912 140732125276865 140732125279639 140732125279639 140732125282255 0
[pid=3136/tid=3207] ppid=3133 vsize=10997500 CPUtime=1.86 cores=0,2,4,6,8,10,12,14
/proc/3136/task/3207/stat : 3207 (java) S 3133 3136 32063 0 -1 1077944384 5252 12646 0 0 171 3 8 4 20 0 20 0 12752832 11261440000 92942 33554432000 4194304 4196468 140732125273968 140389102266352 140389769325186 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 26918912 140732125276865 140732125279639 140732125279639 140732125282255 0
[pid=3136/tid=3208] ppid=3133 vsize=10997500 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/3136/task/3208/stat : 3208 (java) S 3133 3136 32063 0 -1 1077944384 3 12646 0 0 0 0 8 4 20 0 20 0 12752832 11261440000 92942 33554432000 4194304 4196468 140732125273968 140389101214816 140389769324245 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 26918912 140732125276865 140732125279639 140732125279639 140732125282255 0
[pid=3136/tid=3209] ppid=3133 vsize=10997500 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/3136/task/3209/stat : 3209 (java) S 3133 3136 32063 0 -1 1077944384 9 12646 0 0 0 0 8 4 20 0 20 0 12752832 11261440000 92942 33554432000 4194304 4196468 140732125273968 140389100162096 140389769325186 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 26918912 140732125276865 140732125279639 140732125279639 140732125282255 0
Current children cumulated CPU time (s) 15.42
Current children cumulated vsize (KiB) 10997500
[startup+5.90128 s]
/proc/loadavg: 1.93 1.12 1.22 4/281 3209
/proc/meminfo: memFree=30362824/32770624 swapFree=5776/340468
[pid=3136] ppid=3133 vsize=10997500 CPUtime=15.62 cores=0,2,4,6,8,10,12,14
/proc/3136/stat : 3136 (java) S 3133 3136 32063 0 -1 1077944320 67014 12646 0 0 1521 29 8 4 20 0 20 0 12752811 11261440000 92968 33554432000 4194304 4196468 140732125273968 140732125256512 140389769314039 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 26918912 140732125276865 140732125279639 140732125279639 140732125282255 0
/proc/3136/statm: 2749375 92981 3506 1 0 2736930 0
[pid=3136/tid=3191] ppid=3133 vsize=10997500 CPUtime=5.53 cores=0,2,4,6,8,10,12,14
/proc/3136/task/3191/stat : 3191 (java) R 3133 3136 32063 0 -1 4202560 42351 12646 0 0 529 12 8 4 20 0 20 0 12752824 11261440000 92981 33554432000 4194304 4196468 140732125273968 140389773545624 140389769325974 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 26918912 140732125276865 140732125279639 140732125279639 140732125282255 0
[pid=3136/tid=3192] ppid=3133 vsize=10997500 CPUtime=0.27 cores=0,2,4,6,8,10,12,14
/proc/3136/task/3192/stat : 3192 (java) S 3133 3136 32063 0 -1 1077944384 151 12646 0 0 15 0 8 4 20 0 20 0 12752824 11261440000 92981 33554432000 4194304 4196468 140732125273968 140389376564368 140389769324245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26918912 140732125276865 140732125279639 140732125279639 140732125282255 0
[pid=3136/tid=3193] ppid=3133 vsize=10997500 CPUtime=0.28 cores=0,2,4,6,8,10,12,14
/proc/3136/task/3193/stat : 3193 (java) S 3133 3136 32063 0 -1 1077944384 109 12646 0 0 15 1 8 4 20 0 20 0 12752824 11261440000 92981 33554432000 4194304 4196468 140732125273968 140389375511568 140389769324245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26918912 140732125276865 140732125279639 140732125279639 140732125282255 0
[pid=3136/tid=3194] ppid=3133 vsize=10997500 CPUtime=0.26 cores=0,2,4,6,8,10,12,14
/proc/3136/task/3194/stat : 3194 (java) S 3133 3136 32063 0 -1 1077944384 50 12646 0 0 14 0 8 4 20 0 20 0 12752824 11261440000 92981 33554432000 4194304 4196468 140732125273968 140389374458768 140389769324245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26918912 140732125276865 140732125279639 140732125279639 140732125282255 0
[pid=3136/tid=3195] ppid=3133 vsize=10997500 CPUtime=0.28 cores=0,2,4,6,8,10,12,14
/proc/3136/task/3195/stat : 3195 (java) S 3133 3136 32063 0 -1 1077944384 66 12646 0 0 15 1 8 4 20 0 20 0 12752825 11261440000 92981 33554432000 4194304 4196468 140732125273968 140389373405968 140389769324245 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 26918912 140732125276865 140732125279639 140732125279639 140732125282255 0
[pid=3136/tid=3196] ppid=3133 vsize=10997500 CPUtime=0.26 cores=0,2,4,6,8,10,12,14
/proc/3136/task/3196/stat : 3196 (java) S 3133 3136 32063 0 -1 1077944384 39 12646 0 0 14 0 8 4 20 0 20 0 12752825 11261440000 92981 33554432000 4194304 4196468 140732125273968 140389372353168 140389769324245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26918912 140732125276865 140732125279639 140732125279639 140732125282255 0
[pid=3136/tid=3197] ppid=3133 vsize=10997500 CPUtime=0.25 cores=0,2,4,6,8,10,12,14
/proc/3136/task/3197/stat : 3197 (java) S 3133 3136 32063 0 -1 1077944384 55 12646 0 0 13 0 8 4 20 0 20 0 12752825 11261440000 92981 33554432000 4194304 4196468 140732125273968 140389371300368 140389769324245 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 26918912 140732125276865 140732125279639 140732125279639 140732125282255 0
[pid=3136/tid=3198] ppid=3133 vsize=10997500 CPUtime=0.28 cores=0,2,4,6,8,10,12,14
/proc/3136/task/3198/stat : 3198 (java) S 3133 3136 32063 0 -1 1077944384 33 12646 0 0 15 1 8 4 20 0 20 0 12752825 11261440000 92981 33554432000 4194304 4196468 140732125273968 140389370247568 140389769324245 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 26918912 140732125276865 140732125279639 140732125279639 140732125282255 0
[pid=3136/tid=3199] ppid=3133 vsize=10997500 CPUtime=0.27 cores=0,2,4,6,8,10,12,14
/proc/3136/task/3199/stat : 3199 (java) S 3133 3136 32063 0 -1 1077944384 60 12646 0 0 15 0 8 4 20 0 20 0 12752825 11261440000 92981 33554432000 4194304 4196468 140732125273968 140389369194768 140389769324245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26918912 140732125276865 140732125279639 140732125279639 140732125282255 0
[pid=3136/tid=3200] ppid=3133 vsize=10997500 CPUtime=0.25 cores=0,2,4,6,8,10,12,14
/proc/3136/task/3200/stat : 3200 (java) S 3133 3136 32063 0 -1 1077944384 2069 12646 0 0 13 0 8 4 20 0 20 0 12752827 11261440000 92981 33554432000 4194304 4196468 140732125273968 140389109635952 140389769325186 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26918912 140732125276865 140732125279639 140732125279639 140732125282255 0
[pid=3136/tid=3201] ppid=3133 vsize=10997500 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/3136/task/3201/stat : 3201 (java) S 3133 3136 32063 0 -1 1077944384 57 12646 0 0 0 0 8 4 20 0 20 0 12752827 11261440000 92981 33554432000 4194304 4196468 140732125273968 140389108582048 140389769324245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26918912 140732125276865 140732125279639 140732125279639 140732125282255 0
[pid=3136/tid=3202] ppid=3133 vsize=10997500 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/3136/task/3202/stat : 3202 (java) S 3133 3136 32063 0 -1 1077944384 44 12646 0 0 0 0 8 4 20 0 20 0 12752828 11261440000 92981 33554432000 4194304 4196468 140732125273968 140389107529088 140389769324245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26918912 140732125276865 140732125279639 140732125279639 140732125282255 0
[pid=3136/tid=3203] ppid=3133 vsize=10997500 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/3136/task/3203/stat : 3203 (java) S 3133 3136 32063 0 -1 1077944384 1 12646 0 0 0 0 8 4 20 0 20 0 12752832 11261440000 92981 33554432000 4194304 4196468 140732125273968 140389106477392 140389769332635 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 26918912 140732125276865 140732125279639 140732125279639 140732125282255 0
[pid=3136/tid=3204] ppid=3133 vsize=10997500 CPUtime=2.52 cores=0,2,4,6,8,10,12,14
/proc/3136/task/3204/stat : 3204 (java) S 3133 3136 32063 0 -1 1077944384 7636 12646 0 0 238 2 8 4 20 0 20 0 12752832 11261440000 92981 33554432000 4194304 4196468 140732125273968 140389105424752 140389769325186 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 26918912 140732125276865 140732125279639 140732125279639 140732125282255 0
[pid=3136/tid=3205] ppid=3133 vsize=10997500 CPUtime=2.2 cores=0,2,4,6,8,10,12,14
/proc/3136/task/3205/stat : 3205 (java) R 3133 3136 32063 0 -1 4202560 2410 12646 0 0 207 1 8 4 20 0 20 0 12752832 11261440000 92981 33554432000 4194304 4196468 140732125273968 140389104372248 140389748491472 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 26918912 140732125276865 140732125279639 140732125279639 140732125282255 0
[pid=3136/tid=3206] ppid=3133 vsize=10997500 CPUtime=2.51 cores=0,2,4,6,8,10,12,14
/proc/3136/task/3206/stat : 3206 (java) R 3133 3136 32063 0 -1 4202560 4508 12646 0 0 238 1 8 4 20 0 20 0 12752832 11261440000 92981 33554432000 4194304 4196468 140732125273968 140389103319152 140389748642882 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26918912 140732125276865 140732125279639 140732125279639 140732125282255 0
[pid=3136/tid=3207] ppid=3133 vsize=10997500 CPUtime=1.86 cores=0,2,4,6,8,10,12,14
/proc/3136/task/3207/stat : 3207 (java) S 3133 3136 32063 0 -1 1077944384 5254 12646 0 0 171 3 8 4 20 0 20 0 12752832 11261440000 92981 33554432000 4194304 4196468 140732125273968 140389102266352 140389769325186 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 26918912 140732125276865 140732125279639 140732125279639 140732125282255 0
[pid=3136/tid=3208] ppid=3133 vsize=10997500 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/3136/task/3208/stat : 3208 (java) S 3133 3136 32063 0 -1 1077944384 3 12646 0 0 0 0 8 4 20 0 20 0 12752832 11261440000 92981 33554432000 4194304 4196468 140732125273968 140389101214816 140389769324245 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 26918912 140732125276865 140732125279639 140732125279639 140732125282255 0
[pid=3136/tid=3209] ppid=3133 vsize=10997500 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/3136/task/3209/stat : 3209 (java) S 3133 3136 32063 0 -1 1077944384 9 12646 0 0 0 0 8 4 20 0 20 0 12752832 11261440000 92981 33554432000 4194304 4196468 140732125273968 140389100162096 140389769325186 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26918912 140732125276865 140732125279639 140732125279639 140732125282255 0
Current children cumulated CPU time (s) 15.62
Current children cumulated vsize (KiB) 10997500
Child status: 0
Real time (s): 5.96882
CPU time (s): 15.7246
CPU user time (s): 15.3717
CPU system time (s): 0.352955
CPU usage (%): 263.446
Max. virtual memory (cumulated for all children) (KiB): 11000004
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 15.3717
system time used= 0.352955
maximum resident set size= 372996
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 80057
page faults= 0
swaps= 0
block input operations= 0
block output operations= 184
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 10904
involuntary context switches= 1495
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.05237 second user time and 0.071767 second system time
The end