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-4249176-1500759092/watcher-4249176-1500759092 -o /tmp/evaluation-result-4249176-1500759092/solver-4249176-1500759092 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node133-1500754473-3381 --watchdog 2560 bin/concrete HOME/instance-4249176-1500759092.xml
pid=4227
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.58 1.50 1.46 2/265 4230
/proc/meminfo: memFree=30877608/32770624 swapFree=5892/368424
[pid=4230] ppid=4227 vsize=9508 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4230/stat : 4230 (bash) S 4227 4230 3349 0 -1 4202496 685 1533 0 0 0 0 0 0 20 0 1 0 11176145 9736192 350 33554432000 4194304 5098028 140735722241456 140735722239096 139932118072320 0 0 4100 65536 18446744071580971376 0 0 17 9 0 0 0 0 0 7196144 7232144 29900800 140735722247438 140735722247523 140735722247523 140735722250222 0
/proc/4230/statm: 2377 350 277 221 0 86 0
[startup+0.100127 s]
/proc/loadavg: 1.58 1.50 1.46 2/265 4230
/proc/meminfo: memFree=30877608/32770624 swapFree=5892/368424
[pid=4230] ppid=4227 vsize=9640 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/4230/stat : 4230 (bash) S 4227 4230 3349 0 -1 4202496 879 6421 0 0 0 0 0 1 20 0 1 0 11176145 9871360 378 33554432000 4194304 5098028 140735722241456 140735722235464 139932118072320 0 0 4100 65536 18446744071580971376 0 0 17 9 0 0 0 0 0 7196144 7232144 29900800 140735722247438 140735722247523 140735722247523 140735722250222 0
/proc/4230/statm: 2410 378 296 221 0 119 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9640
[startup+0.200341 s]
/proc/loadavg: 1.58 1.50 1.46 2/265 4230
/proc/meminfo: memFree=30877608/32770624 swapFree=5892/368424
[pid=4230] ppid=4227 vsize=10435860 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/4230/stat : 4230 (java) S 4227 4230 3349 0 -1 1077944320 4755 12280 0 0 6 1 8 4 20 0 13 0 11176145 10686320640 5113 33554432000 4194304 4196468 140730775394944 140730775377488 139825893183223 0 0 0 16800971 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 30121984 140730775399105 140730775401879 140730775401879 140730775404495 0
/proc/4230/statm: 2608965 5113 2171 1 0 2597403 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 10435860
[startup+0.300297 s]
/proc/loadavg: 1.58 1.50 1.46 2/265 4230
/proc/meminfo: memFree=30877608/32770624 swapFree=5892/368424
[pid=4230] ppid=4227 vsize=10902392 CPUtime=0.36 cores=1,3,5,7,9,11,13,15
/proc/4230/stat : 4230 (java) S 4227 4230 3349 0 -1 1077944320 9305 12280 0 0 22 2 8 4 20 0 20 0 11176145 11164049408 10411 33554432000 4194304 4196468 140730775394944 140730775377488 139825893183223 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 30121984 140730775399105 140730775401879 140730775401879 140730775404495 0
/proc/4230/statm: 2725598 10411 2997 1 0 2713890 0
Current children cumulated CPU time (s) 0.36
Current children cumulated vsize (KiB) 10902392
[startup+0.700182 s]
/proc/loadavg: 1.58 1.50 1.46 2/265 4230
/proc/meminfo: memFree=30877608/32770624 swapFree=5892/368424
[pid=4230] ppid=4227 vsize=10902720 CPUtime=0.99 cores=1,3,5,7,9,11,13,15
/proc/4230/stat : 4230 (java) S 4227 4230 3349 0 -1 1077944320 12994 12280 0 0 82 5 8 4 20 0 20 0 11176145 11164385280 16376 33554432000 4194304 4196468 140730775394944 140730775377488 139825893183223 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 30121984 140730775399105 140730775401879 140730775401879 140730775404495 0
/proc/4230/statm: 2725680 16376 3231 1 0 2713890 0
Current children cumulated CPU time (s) 0.99
Current children cumulated vsize (KiB) 10902720
[startup+1.50222 s]
/proc/loadavg: 1.62 1.51 1.47 3/285 4303
/proc/meminfo: memFree=30769820/32770624 swapFree=5892/368528
[pid=4230] ppid=4227 vsize=10915392 CPUtime=2.34 cores=1,3,5,7,9,11,13,15
/proc/4230/stat : 4230 (java) S 4227 4230 3349 0 -1 1077944320 27554 12280 0 0 207 15 8 4 20 0 20 0 11176145 11177361408 44650 33554432000 4194304 4196468 140730775394944 140730775377488 139825893183223 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 30121984 140730775399105 140730775401879 140730775401879 140730775404495 0
/proc/4230/statm: 2728848 44650 3411 1 0 2716962 0
[pid=4230/tid=4285] ppid=4227 vsize=10915392 CPUtime=1.44 cores=1,3,5,7,9,11,13,15
/proc/4230/task/4285/stat : 4285 (java) R 4227 4230 3349 0 -1 4202560 19579 12280 0 0 126 6 8 4 20 0 20 0 11176157 11177361408 44650 33554432000 4194304 4196468 140730775394944 139825897414112 139825878554155 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 30121984 140730775399105 140730775401879 140730775401879 140730775404495 0
[pid=4230/tid=4286] ppid=4227 vsize=10915392 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/4230/task/4286/stat : 4286 (java) S 4227 4230 3349 0 -1 1077944384 47 12280 0 0 0 0 8 4 20 0 20 0 11176158 11177361408 44650 33554432000 4194304 4196468 140730775394944 139825819257232 139825893193429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30121984 140730775399105 140730775401879 140730775401879 140730775404495 0
[pid=4230/tid=4287] ppid=4227 vsize=10915392 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/4230/task/4287/stat : 4287 (java) S 4227 4230 3349 0 -1 1077944384 28 12280 0 0 1 0 8 4 20 0 20 0 11176158 11177361408 44650 33554432000 4194304 4196468 140730775394944 139825818204432 139825893193429 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 30121984 140730775399105 140730775401879 140730775401879 140730775404495 0
[pid=4230/tid=4288] ppid=4227 vsize=10915392 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/4230/task/4288/stat : 4288 (java) S 4227 4230 3349 0 -1 1077944384 17 12280 0 0 1 0 8 4 20 0 20 0 11176158 11177361408 44650 33554432000 4194304 4196468 140730775394944 139825817152144 139825893193429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30121984 140730775399105 140730775401879 140730775401879 140730775404495 0
[pid=4230/tid=4289] ppid=4227 vsize=10915392 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/4230/task/4289/stat : 4289 (java) S 4227 4230 3349 0 -1 1077944384 25 12280 0 0 1 0 8 4 20 0 20 0 11176158 11177361408 44650 33554432000 4194304 4196468 140730775394944 139825816099344 139825893193429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30121984 140730775399105 140730775401879 140730775401879 140730775404495 0
[pid=4230/tid=4290] ppid=4227 vsize=10915392 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/4230/task/4290/stat : 4290 (java) S 4227 4230 3349 0 -1 1077944384 29 12280 0 0 1 0 8 4 20 0 20 0 11176158 11177361408 44650 33554432000 4194304 4196468 140730775394944 139825495665552 139825893193429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30121984 140730775399105 140730775401879 140730775401879 140730775404495 0
[pid=4230/tid=4291] ppid=4227 vsize=10915392 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/4230/task/4291/stat : 4291 (java) S 4227 4230 3349 0 -1 1077944384 45 12280 0 0 1 0 8 4 20 0 20 0 11176158 11177361408 44650 33554432000 4194304 4196468 140730775394944 139825494612752 139825893193429 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 30121984 140730775399105 140730775401879 140730775401879 140730775404495 0
[pid=4230/tid=4292] ppid=4227 vsize=10915392 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/4230/task/4292/stat : 4292 (java) S 4227 4230 3349 0 -1 1077944384 132 12280 0 0 0 0 8 4 20 0 20 0 11176158 11177361408 44650 33554432000 4194304 4196468 140730775394944 139825493560464 139825893193429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30121984 140730775399105 140730775401879 140730775401879 140730775404495 0
[pid=4230/tid=4293] ppid=4227 vsize=10915392 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/4230/task/4293/stat : 4293 (java) S 4227 4230 3349 0 -1 1077944384 18 12280 0 0 1 0 8 4 20 0 20 0 11176158 11177361408 44650 33554432000 4194304 4196468 140730775394944 139825492507664 139825893193429 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 30121984 140730775399105 140730775401879 140730775401879 140730775404495 0
[pid=4230/tid=4294] ppid=4227 vsize=10915392 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/4230/task/4294/stat : 4294 (java) S 4227 4230 3349 0 -1 1077944384 1287 12280 0 0 1 0 8 4 20 0 20 0 11176160 11177361408 44650 33554432000 4194304 4196468 140730775394944 139825367672944 139825893194370 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30121984 140730775399105 140730775401879 140730775401879 140730775404495 0
[pid=4230/tid=4295] ppid=4227 vsize=10915392 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/4230/task/4295/stat : 4295 (java) S 4227 4230 3349 0 -1 1077944384 56 12280 0 0 0 0 8 4 20 0 20 0 11176161 11177361408 44650 33554432000 4194304 4196468 140730775394944 139825366618976 139825893193429 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 30121984 140730775399105 140730775401879 140730775401879 140730775404495 0
[pid=4230/tid=4296] ppid=4227 vsize=10915392 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/4230/task/4296/stat : 4296 (java) S 4227 4230 3349 0 -1 1077944384 44 12280 0 0 0 0 8 4 20 0 20 0 11176161 11177361408 44650 33554432000 4194304 4196468 140730775394944 139825365566592 139825893193429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30121984 140730775399105 140730775401879 140730775401879 140730775404495 0
[pid=4230/tid=4297] ppid=4227 vsize=10915392 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/4230/task/4297/stat : 4297 (java) S 4227 4230 3349 0 -1 1077944384 1 12280 0 0 0 0 8 4 20 0 20 0 11176165 11177361408 44650 33554432000 4194304 4196468 140730775394944 139825364514896 139825893201819 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 30121984 140730775399105 140730775401879 140730775401879 140730775404495 0
[pid=4230/tid=4298] ppid=4227 vsize=10915392 CPUtime=0.26 cores=1,3,5,7,9,11,13,15
/proc/4230/task/4298/stat : 4298 (java) S 4227 4230 3349 0 -1 1077944384 794 12280 0 0 14 0 8 4 20 0 20 0 11176165 11177361408 44650 33554432000 4194304 4196468 140730775394944 139825363462768 139825893194370 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 30121984 140730775399105 140730775401879 140730775401879 140730775404495 0
[pid=4230/tid=4299] ppid=4227 vsize=10915392 CPUtime=0.26 cores=1,3,5,7,9,11,13,15
/proc/4230/task/4299/stat : 4299 (java) S 4227 4230 3349 0 -1 1077944384 1287 12280 0 0 14 0 8 4 20 0 20 0 11176165 11177361408 44650 33554432000 4194304 4196468 140730775394944 139825362409968 139825893194370 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 30121984 140730775399105 140730775401879 140730775401879 140730775404495 0
[pid=4230/tid=4300] ppid=4227 vsize=10915392 CPUtime=0.25 cores=1,3,5,7,9,11,13,15
/proc/4230/task/4300/stat : 4300 (java) S 4227 4230 3349 0 -1 1077944384 556 12280 0 0 13 0 8 4 20 0 20 0 11176165 11177361408 44650 33554432000 4194304 4196468 140730775394944 139825361357680 139825893194370 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30121984 140730775399105 140730775401879 140730775401879 140730775404495 0
[pid=4230/tid=4301] ppid=4227 vsize=10915392 CPUtime=0.39 cores=1,3,5,7,9,11,13,15
/proc/4230/task/4301/stat : 4301 (java) S 4227 4230 3349 0 -1 1077944384 1471 12280 0 0 27 0 8 4 20 0 20 0 11176165 11177361408 44650 33554432000 4194304 4196468 140730775394944 139825360304880 139825893194370 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30121984 140730775399105 140730775401879 140730775401879 140730775404495 0
[pid=4230/tid=4302] ppid=4227 vsize=10915392 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/4230/task/4302/stat : 4302 (java) S 4227 4230 3349 0 -1 1077944384 3 12280 0 0 0 0 8 4 20 0 20 0 11176165 11177361408 44650 33554432000 4194304 4196468 140730775394944 139825359251808 139825893193429 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 30121984 140730775399105 140730775401879 140730775401879 140730775404495 0
[pid=4230/tid=4303] ppid=4227 vsize=10915392 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/4230/task/4303/stat : 4303 (java) S 4227 4230 3349 0 -1 1077944384 6 12280 0 0 0 0 8 4 20 0 20 0 11176166 11177361408 44650 33554432000 4194304 4196468 140730775394944 139825358199088 139825893194370 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 30121984 140730775399105 140730775401879 140730775401879 140730775404495 0
Current children cumulated CPU time (s) 2.34
Current children cumulated vsize (KiB) 10915392
[startup+3.10072 s]
/proc/loadavg: 1.62 1.51 1.47 4/285 4303
/proc/meminfo: memFree=30696396/32770624 swapFree=5892/368524
[pid=4230] ppid=4227 vsize=10927868 CPUtime=6.37 cores=1,3,5,7,9,11,13,15
/proc/4230/stat : 4230 (java) S 4227 4230 3349 0 -1 1077944320 47872 12280 0 0 605 20 8 4 20 0 20 0 11176145 11190136832 57939 33554432000 4194304 4196468 140730775394944 140730775377488 139825893183223 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 30121984 140730775399105 140730775401879 140730775401879 140730775404495 0
/proc/4230/statm: 2731967 57939 3476 1 0 2719522 0
[pid=4230/tid=4285] ppid=4227 vsize=10927868 CPUtime=3.03 cores=1,3,5,7,9,11,13,15
/proc/4230/task/4285/stat : 4285 (java) R 4227 4230 3349 0 -1 4202560 31763 12280 0 0 282 9 8 4 20 0 20 0 11176157 11190136832 57939 33554432000 4194304 4196468 140730775394944 139825897411128 139825893195158 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 30121984 140730775399105 140730775401879 140730775401879 140730775404495 0
[pid=4230/tid=4286] ppid=4227 vsize=10927868 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/4230/task/4286/stat : 4286 (java) S 4227 4230 3349 0 -1 1077944384 47 12280 0 0 0 0 8 4 20 0 20 0 11176158 11190136832 57939 33554432000 4194304 4196468 140730775394944 139825819257232 139825893193429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30121984 140730775399105 140730775401879 140730775401879 140730775404495 0
[pid=4230/tid=4287] ppid=4227 vsize=10927868 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/4230/task/4287/stat : 4287 (java) S 4227 4230 3349 0 -1 1077944384 28 12280 0 0 1 0 8 4 20 0 20 0 11176158 11190136832 57939 33554432000 4194304 4196468 140730775394944 139825818204432 139825893193429 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 30121984 140730775399105 140730775401879 140730775401879 140730775404495 0
[pid=4230/tid=4288] ppid=4227 vsize=10927868 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/4230/task/4288/stat : 4288 (java) S 4227 4230 3349 0 -1 1077944384 17 12280 0 0 1 0 8 4 20 0 20 0 11176158 11190136832 57939 33554432000 4194304 4196468 140730775394944 139825817152144 139825893193429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30121984 140730775399105 140730775401879 140730775401879 140730775404495 0
[pid=4230/tid=4289] ppid=4227 vsize=10927868 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/4230/task/4289/stat : 4289 (java) S 4227 4230 3349 0 -1 1077944384 25 12280 0 0 1 0 8 4 20 0 20 0 11176158 11190136832 57939 33554432000 4194304 4196468 140730775394944 139825816099344 139825893193429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30121984 140730775399105 140730775401879 140730775401879 140730775404495 0
[pid=4230/tid=4290] ppid=4227 vsize=10927868 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/4230/task/4290/stat : 4290 (java) S 4227 4230 3349 0 -1 1077944384 29 12280 0 0 1 0 8 4 20 0 20 0 11176158 11190136832 57939 33554432000 4194304 4196468 140730775394944 139825495665552 139825893193429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30121984 140730775399105 140730775401879 140730775401879 140730775404495 0
[pid=4230/tid=4291] ppid=4227 vsize=10927868 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/4230/task/4291/stat : 4291 (java) S 4227 4230 3349 0 -1 1077944384 45 12280 0 0 1 0 8 4 20 0 20 0 11176158 11190136832 57939 33554432000 4194304 4196468 140730775394944 139825494612752 139825893193429 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 30121984 140730775399105 140730775401879 140730775401879 140730775404495 0
[pid=4230/tid=4292] ppid=4227 vsize=10927868 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/4230/task/4292/stat : 4292 (java) S 4227 4230 3349 0 -1 1077944384 132 12280 0 0 0 0 8 4 20 0 20 0 11176158 11190136832 57939 33554432000 4194304 4196468 140730775394944 139825493560464 139825893193429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30121984 140730775399105 140730775401879 140730775401879 140730775404495 0
[pid=4230/tid=4293] ppid=4227 vsize=10927868 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/4230/task/4293/stat : 4293 (java) S 4227 4230 3349 0 -1 1077944384 18 12280 0 0 1 0 8 4 20 0 20 0 11176158 11190136832 57939 33554432000 4194304 4196468 140730775394944 139825492507664 139825893193429 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 30121984 140730775399105 140730775401879 140730775401879 140730775404495 0
[pid=4230/tid=4294] ppid=4227 vsize=10927868 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/4230/task/4294/stat : 4294 (java) S 4227 4230 3349 0 -1 1077944384 1301 12280 0 0 1 0 8 4 20 0 20 0 11176160 11190136832 57939 33554432000 4194304 4196468 140730775394944 139825367672944 139825893194370 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30121984 140730775399105 140730775401879 140730775401879 140730775404495 0
[pid=4230/tid=4295] ppid=4227 vsize=10927868 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/4230/task/4295/stat : 4295 (java) S 4227 4230 3349 0 -1 1077944384 56 12280 0 0 0 0 8 4 20 0 20 0 11176161 11190136832 57939 33554432000 4194304 4196468 140730775394944 139825366618976 139825893193429 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 30121984 140730775399105 140730775401879 140730775401879 140730775404495 0
[pid=4230/tid=4296] ppid=4227 vsize=10927868 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/4230/task/4296/stat : 4296 (java) S 4227 4230 3349 0 -1 1077944384 44 12280 0 0 0 0 8 4 20 0 20 0 11176161 11190136832 57939 33554432000 4194304 4196468 140730775394944 139825365566592 139825893193429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30121984 140730775399105 140730775401879 140730775401879 140730775404495 0
[pid=4230/tid=4297] ppid=4227 vsize=10927868 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/4230/task/4297/stat : 4297 (java) S 4227 4230 3349 0 -1 1077944384 1 12280 0 0 0 0 8 4 20 0 20 0 11176165 11190136832 57939 33554432000 4194304 4196468 140730775394944 139825364514896 139825893201819 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 30121984 140730775399105 140730775401879 140730775401879 140730775404495 0
[pid=4230/tid=4298] ppid=4227 vsize=10927868 CPUtime=0.77 cores=1,3,5,7,9,11,13,15
/proc/4230/task/4298/stat : 4298 (java) R 4227 4230 3349 0 -1 4202560 1878 12280 0 0 65 0 8 4 20 0 20 0 11176165 11190136832 57939 33554432000 4194304 4196468 140730775394944 139825363444608 139825876683429 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 30121984 140730775399105 140730775401879 140730775401879 140730775404495 0
[pid=4230/tid=4299] ppid=4227 vsize=10927868 CPUtime=0.64 cores=1,3,5,7,9,11,13,15
/proc/4230/task/4299/stat : 4299 (java) R 4227 4230 3349 0 -1 4202560 1918 12280 0 0 51 1 8 4 20 0 20 0 11176165 11190136832 57939 33554432000 4194304 4196468 140730775394944 139825362410264 139825872900359 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30121984 140730775399105 140730775401879 140730775401879 140730775404495 0
[pid=4230/tid=4300] ppid=4227 vsize=10927868 CPUtime=1.04 cores=1,3,5,7,9,11,13,15
/proc/4230/task/4300/stat : 4300 (java) R 4227 4230 3349 0 -1 4202560 4532 12280 0 0 91 1 8 4 20 0 20 0 11176165 11190136832 57939 33554432000 4194304 4196468 140730775394944 139825361356864 139825893204570 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 30121984 140730775399105 140730775401879 140730775401879 140730775404495 0
[pid=4230/tid=4301] ppid=4227 vsize=10927868 CPUtime=1.16 cores=1,3,5,7,9,11,13,15
/proc/4230/task/4301/stat : 4301 (java) S 4227 4230 3349 0 -1 1077944384 3901 12280 0 0 103 1 8 4 20 0 20 0 11176165 11190136832 57939 33554432000 4194304 4196468 140730775394944 139825360304880 139825893194370 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30121984 140730775399105 140730775401879 140730775401879 140730775404495 0
[pid=4230/tid=4302] ppid=4227 vsize=10927868 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/4230/task/4302/stat : 4302 (java) S 4227 4230 3349 0 -1 1077944384 3 12280 0 0 0 0 8 4 20 0 20 0 11176165 11190136832 57939 33554432000 4194304 4196468 140730775394944 139825359251808 139825893193429 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 30121984 140730775399105 140730775401879 140730775401879 140730775404495 0
[pid=4230/tid=4303] ppid=4227 vsize=10927868 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/4230/task/4303/stat : 4303 (java) S 4227 4230 3349 0 -1 1077944384 7 12280 0 0 0 0 8 4 20 0 20 0 11176166 11190136832 57939 33554432000 4194304 4196468 140730775394944 139825358199088 139825893194370 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30121984 140730775399105 140730775401879 140730775401879 140730775404495 0
Current children cumulated CPU time (s) 6.37
Current children cumulated vsize (KiB) 10927868
[startup+6.30125 s]
/proc/loadavg: 1.62 1.51 1.47 6/285 4443
/proc/meminfo: memFree=30973920/32770624 swapFree=5892/368576
[pid=4230] ppid=4227 vsize=10997500 CPUtime=19.68 cores=1,3,5,7,9,11,13,15
/proc/4230/stat : 4230 (java) S 4227 4230 3349 0 -1 1077944320 61971 12280 0 0 1910 46 8 4 20 0 20 0 11176145 11261440000 132108 33554432000 4194304 4196468 140730775394944 140730775377488 139825893183223 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 30121984 140730775399105 140730775401879 140730775401879 140730775404495 0
/proc/4230/statm: 2749375 132108 3507 1 0 2736930 0
[pid=4230/tid=4285] ppid=4227 vsize=10997500 CPUtime=5.71 cores=1,3,5,7,9,11,13,15
/proc/4230/task/4285/stat : 4285 (java) R 4227 4230 3349 0 -1 4202560 38768 12280 0 0 546 13 8 4 20 0 20 0 11176157 11261440000 132108 33554432000 4194304 4196468 140730775394944 139825897413608 139825509336304 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 30121984 140730775399105 140730775401879 140730775401879 140730775404495 0
[pid=4230/tid=4286] ppid=4227 vsize=10997500 CPUtime=0.48 cores=1,3,5,7,9,11,13,15
/proc/4230/task/4286/stat : 4286 (java) S 4227 4230 3349 0 -1 1077944384 101 12280 0 0 34 2 8 4 20 0 20 0 11176158 11261440000 132108 33554432000 4194304 4196468 140730775394944 139825819257232 139825893193429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30121984 140730775399105 140730775401879 140730775401879 140730775404495 0
[pid=4230/tid=4287] ppid=4227 vsize=10997500 CPUtime=0.48 cores=1,3,5,7,9,11,13,15
/proc/4230/task/4287/stat : 4287 (java) S 4227 4230 3349 0 -1 1077944384 86 12280 0 0 33 3 8 4 20 0 20 0 11176158 11261440000 132108 33554432000 4194304 4196468 140730775394944 139825818204432 139825893193429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30121984 140730775399105 140730775401879 140730775401879 140730775404495 0
[pid=4230/tid=4288] ppid=4227 vsize=10997500 CPUtime=0.5 cores=1,3,5,7,9,11,13,15
/proc/4230/task/4288/stat : 4288 (java) S 4227 4230 3349 0 -1 1077944384 93 12280 0 0 35 3 8 4 20 0 20 0 11176158 11261440000 132108 33554432000 4194304 4196468 140730775394944 139825817152144 139825893193429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30121984 140730775399105 140730775401879 140730775401879 140730775404495 0
[pid=4230/tid=4289] ppid=4227 vsize=10997500 CPUtime=0.5 cores=1,3,5,7,9,11,13,15
/proc/4230/task/4289/stat : 4289 (java) S 4227 4230 3349 0 -1 1077944384 100 12280 0 0 35 3 8 4 20 0 20 0 11176158 11261440000 132108 33554432000 4194304 4196468 140730775394944 139825816099344 139825893193429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30121984 140730775399105 140730775401879 140730775401879 140730775404495 0
[pid=4230/tid=4290] ppid=4227 vsize=10997500 CPUtime=0.5 cores=1,3,5,7,9,11,13,15
/proc/4230/task/4290/stat : 4290 (java) S 4227 4230 3349 0 -1 1077944384 125 12280 0 0 35 3 8 4 20 0 20 0 11176158 11261440000 132108 33554432000 4194304 4196468 140730775394944 139825495665552 139825893193429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30121984 140730775399105 140730775401879 140730775401879 140730775404495 0
[pid=4230/tid=4291] ppid=4227 vsize=10997500 CPUtime=0.47 cores=1,3,5,7,9,11,13,15
/proc/4230/task/4291/stat : 4291 (java) S 4227 4230 3349 0 -1 1077944384 146 12280 0 0 33 2 8 4 20 0 20 0 11176158 11261440000 132108 33554432000 4194304 4196468 140730775394944 139825494612752 139825893193429 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 30121984 140730775399105 140730775401879 140730775401879 140730775404495 0
[pid=4230/tid=4292] ppid=4227 vsize=10997500 CPUtime=0.48 cores=1,3,5,7,9,11,13,15
/proc/4230/task/4292/stat : 4292 (java) S 4227 4230 3349 0 -1 1077944384 168 12280 0 0 33 3 8 4 20 0 20 0 11176158 11261440000 132108 33554432000 4194304 4196468 140730775394944 139825493560464 139825893193429 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 30121984 140730775399105 140730775401879 140730775401879 140730775404495 0
[pid=4230/tid=4293] ppid=4227 vsize=10997500 CPUtime=0.5 cores=1,3,5,7,9,11,13,15
/proc/4230/task/4293/stat : 4293 (java) S 4227 4230 3349 0 -1 1077944384 77 12280 0 0 36 2 8 4 20 0 20 0 11176158 11261440000 132108 33554432000 4194304 4196468 140730775394944 139825492507664 139825893193429 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 30121984 140730775399105 140730775401879 140730775401879 140730775404495 0
[pid=4230/tid=4294] ppid=4227 vsize=10997500 CPUtime=0.24 cores=1,3,5,7,9,11,13,15
/proc/4230/task/4294/stat : 4294 (java) S 4227 4230 3349 0 -1 1077944384 2204 12280 0 0 12 0 8 4 20 0 20 0 11176160 11261440000 132108 33554432000 4194304 4196468 140730775394944 139825367672944 139825893194370 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30121984 140730775399105 140730775401879 140730775401879 140730775404495 0
[pid=4230/tid=4295] ppid=4227 vsize=10997500 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/4230/task/4295/stat : 4295 (java) S 4227 4230 3349 0 -1 1077944384 57 12280 0 0 0 0 8 4 20 0 20 0 11176161 11261440000 132108 33554432000 4194304 4196468 140730775394944 139825366618976 139825893193429 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 30121984 140730775399105 140730775401879 140730775401879 140730775404495 0
[pid=4230/tid=4296] ppid=4227 vsize=10997500 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/4230/task/4296/stat : 4296 (java) S 4227 4230 3349 0 -1 1077944384 44 12280 0 0 0 0 8 4 20 0 20 0 11176161 11261440000 132108 33554432000 4194304 4196468 140730775394944 139825365566592 139825893193429 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 30121984 140730775399105 140730775401879 140730775401879 140730775404495 0
[pid=4230/tid=4297] ppid=4227 vsize=10997500 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/4230/task/4297/stat : 4297 (java) S 4227 4230 3349 0 -1 1077944384 1 12280 0 0 0 0 8 4 20 0 20 0 11176165 11261440000 132108 33554432000 4194304 4196468 140730775394944 139825364514896 139825893201819 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 30121984 140730775399105 140730775401879 140730775401879 140730775404495 0
[pid=4230/tid=4298] ppid=4227 vsize=10997500 CPUtime=3.04 cores=1,3,5,7,9,11,13,15
/proc/4230/task/4298/stat : 4298 (java) R 4227 4230 3349 0 -1 4202560 3177 12280 0 0 291 1 8 4 20 0 20 0 11176165 11261440000 132108 33554432000 4194304 4196468 140730775394944 139825363443784 139825876680011 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 30121984 140730775399105 140730775401879 140730775401879 140730775404495 0
[pid=4230/tid=4299] ppid=4227 vsize=10997500 CPUtime=2.99 cores=1,3,5,7,9,11,13,15
/proc/4230/task/4299/stat : 4299 (java) R 4227 4230 3349 0 -1 4202560 3199 12280 0 0 286 1 8 4 20 0 20 0 11176165 11261440000 132108 33554432000 4194304 4196468 140730775394944 139825362395848 139825871194036 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 30121984 140730775399105 140730775401879 140730775401879 140730775404495 0
[pid=4230/tid=4300] ppid=4227 vsize=10997500 CPUtime=3.29 cores=1,3,5,7,9,11,13,15
/proc/4230/task/4300/stat : 4300 (java) R 4227 4230 3349 0 -1 4202560 5656 12280 0 0 316 1 8 4 20 0 20 0 11176165 11261440000 132108 33554432000 4194304 4196468 140730775394944 139825361338784 139825876680007 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30121984 140730775399105 140730775401879 140730775401879 140730775404495 0
[pid=4230/tid=4301] ppid=4227 vsize=10997500 CPUtime=1.91 cores=1,3,5,7,9,11,13,15
/proc/4230/task/4301/stat : 4301 (java) S 4227 4230 3349 0 -1 1077944384 5825 12280 0 0 177 2 8 4 20 0 20 0 11176165 11261440000 132108 33554432000 4194304 4196468 140730775394944 139825360304880 139825893194370 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 30121984 140730775399105 140730775401879 140730775401879 140730775404495 0
[pid=4230/tid=4302] ppid=4227 vsize=10997500 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
################
# More data... #
################
/proc/4230/task/4299/stat : 4299 (java) S 4227 4230 3349 0 -1 1077944384 16472 12280 0 0 516 4 8 4 20 0 20 0 11176165 11261440000 800466 33554432000 4194304 4196468 140730775394944 139825362409968 139825893194370 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30121984 140730775399105 140730775401879 140730775401879 140730775404495 0
[pid=4230/tid=4300] ppid=4227 vsize=10997500 CPUtime=5.52 cores=1,3,5,7,9,11,13,15
/proc/4230/task/4300/stat : 4300 (java) S 4227 4230 3349 0 -1 1077944384 14238 12280 0 0 537 3 8 4 20 0 20 0 11176165 11261440000 800466 33554432000 4194304 4196468 140730775394944 139825361357680 139825893194370 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30121984 140730775399105 140730775401879 140730775401879 140730775404495 0
[pid=4230/tid=4301] ppid=4227 vsize=10997500 CPUtime=2.95 cores=1,3,5,7,9,11,13,15
/proc/4230/task/4301/stat : 4301 (java) S 4227 4230 3349 0 -1 1077944384 18658 12280 0 0 279 4 8 4 20 0 20 0 11176165 11261440000 800466 33554432000 4194304 4196468 140730775394944 139825360304880 139825893194370 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 30121984 140730775399105 140730775401879 140730775401879 140730775404495 0
[pid=4230/tid=4302] ppid=4227 vsize=10997500 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/4230/task/4302/stat : 4302 (java) S 4227 4230 3349 0 -1 1077944384 3 12280 0 0 0 0 8 4 20 0 20 0 11176165 11261440000 800466 33554432000 4194304 4196468 140730775394944 139825359251808 139825893193429 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 30121984 140730775399105 140730775401879 140730775401879 140730775404495 0
[pid=4230/tid=4303] ppid=4227 vsize=10997500 CPUtime=1.28 cores=1,3,5,7,9,11,13,15
/proc/4230/task/4303/stat : 4303 (java) S 4227 4230 3349 0 -1 1077944384 923 12280 0 0 52 64 8 4 20 0 20 0 11176166 11261440000 800466 33554432000 4194304 4196468 140730775394944 139825358199088 139825893194370 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30121984 140730775399105 140730775401879 140730775401879 140730775404495 0
Current children cumulated CPU time (s) 2317.85
Current children cumulated vsize (KiB) 10997500
[startup+2322.3 s]
/proc/loadavg: 1.69 1.65 1.60 4/285 4713
/proc/meminfo: memFree=27977456/32770624 swapFree=5892/370632
[pid=4230] ppid=4227 vsize=10997500 CPUtime=2378.19 cores=1,3,5,7,9,11,13,15
/proc/4230/stat : 4230 (java) S 4227 4230 3349 0 -1 1077944320 376977 12280 0 0 236968 839 8 4 20 0 20 0 11176145 11261440000 800246 33554432000 4194304 4196468 140730775394944 140730775377488 139825893183223 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 30121984 140730775399105 140730775401879 140730775401879 140730775404495 0
/proc/4230/statm: 2749375 800246 3515 1 0 2736930 0
[pid=4230/tid=4285] ppid=4227 vsize=10997500 CPUtime=2313.33 cores=1,3,5,7,9,11,13,15
/proc/4230/task/4285/stat : 4285 (java) R 4227 4230 3349 0 -1 4202560 186428 12280 0 0 231226 95 8 4 20 0 20 0 11176157 11261440000 800246 33554432000 4194304 4196468 140730775394944 139825897416032 139825511890231 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30121984 140730775399105 140730775401879 140730775401879 140730775404495 0
[pid=4230/tid=4286] ppid=4227 vsize=10997500 CPUtime=5.49 cores=1,3,5,7,9,11,13,15
/proc/4230/task/4286/stat : 4286 (java) S 4227 4230 3349 0 -1 1077944384 12753 12280 0 0 455 82 8 4 20 0 20 0 11176158 11261440000 800246 33554432000 4194304 4196468 140730775394944 139825819257232 139825893193429 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 30121984 140730775399105 140730775401879 140730775401879 140730775404495 0
[pid=4230/tid=4287] ppid=4227 vsize=10997500 CPUtime=5.55 cores=1,3,5,7,9,11,13,15
/proc/4230/task/4287/stat : 4287 (java) S 4227 4230 3349 0 -1 1077944384 9887 12280 0 0 463 80 8 4 20 0 20 0 11176158 11261440000 800246 33554432000 4194304 4196468 140730775394944 139825818204432 139825893193429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30121984 140730775399105 140730775401879 140730775401879 140730775404495 0
[pid=4230/tid=4288] ppid=4227 vsize=10997500 CPUtime=5.57 cores=1,3,5,7,9,11,13,15
/proc/4230/task/4288/stat : 4288 (java) S 4227 4230 3349 0 -1 1077944384 11080 12280 0 0 462 83 8 4 20 0 20 0 11176158 11261440000 800246 33554432000 4194304 4196468 140730775394944 139825817152144 139825893193429 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 30121984 140730775399105 140730775401879 140730775401879 140730775404495 0
[pid=4230/tid=4289] ppid=4227 vsize=10997500 CPUtime=5.6 cores=1,3,5,7,9,11,13,15
/proc/4230/task/4289/stat : 4289 (java) S 4227 4230 3349 0 -1 1077944384 16916 12280 0 0 467 81 8 4 20 0 20 0 11176158 11261440000 800246 33554432000 4194304 4196468 140730775394944 139825816099344 139825893193429 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 30121984 140730775399105 140730775401879 140730775401879 140730775404495 0
[pid=4230/tid=4290] ppid=4227 vsize=10997500 CPUtime=5.6 cores=1,3,5,7,9,11,13,15
/proc/4230/task/4290/stat : 4290 (java) S 4227 4230 3349 0 -1 1077944384 13561 12280 0 0 464 84 8 4 20 0 20 0 11176158 11261440000 800246 33554432000 4194304 4196468 140730775394944 139825495665552 139825893193429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30121984 140730775399105 140730775401879 140730775401879 140730775404495 0
[pid=4230/tid=4291] ppid=4227 vsize=10997500 CPUtime=5.56 cores=1,3,5,7,9,11,13,15
/proc/4230/task/4291/stat : 4291 (java) S 4227 4230 3349 0 -1 1077944384 8684 12280 0 0 460 84 8 4 20 0 20 0 11176158 11261440000 800246 33554432000 4194304 4196468 140730775394944 139825494612752 139825893193429 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 30121984 140730775399105 140730775401879 140730775401879 140730775404495 0
[pid=4230/tid=4292] ppid=4227 vsize=10997500 CPUtime=5.55 cores=1,3,5,7,9,11,13,15
/proc/4230/task/4292/stat : 4292 (java) S 4227 4230 3349 0 -1 1077944384 12748 12280 0 0 457 86 8 4 20 0 20 0 11176158 11261440000 800246 33554432000 4194304 4196468 140730775394944 139825493560464 139825893193429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30121984 140730775399105 140730775401879 140730775401879 140730775404495 0
[pid=4230/tid=4293] ppid=4227 vsize=10997500 CPUtime=5.55 cores=1,3,5,7,9,11,13,15
/proc/4230/task/4293/stat : 4293 (java) S 4227 4230 3349 0 -1 1077944384 8876 12280 0 0 460 83 8 4 20 0 20 0 11176158 11261440000 800246 33554432000 4194304 4196468 140730775394944 139825492507664 139825893193429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30121984 140730775399105 140730775401879 140730775401879 140730775404495 0
[pid=4230/tid=4294] ppid=4227 vsize=10997500 CPUtime=1.47 cores=1,3,5,7,9,11,13,15
/proc/4230/task/4294/stat : 4294 (java) S 4227 4230 3349 0 -1 1077944384 29540 12280 0 0 113 22 8 4 20 0 20 0 11176160 11261440000 800246 33554432000 4194304 4196468 140730775394944 139825367672944 139825893194370 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30121984 140730775399105 140730775401879 140730775401879 140730775404495 0
[pid=4230/tid=4295] ppid=4227 vsize=10997500 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/4230/task/4295/stat : 4295 (java) S 4227 4230 3349 0 -1 1077944384 65 12280 0 0 0 0 8 4 20 0 20 0 11176161 11261440000 800246 33554432000 4194304 4196468 140730775394944 139825366618976 139825893193429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30121984 140730775399105 140730775401879 140730775401879 140730775404495 0
[pid=4230/tid=4296] ppid=4227 vsize=10997500 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/4230/task/4296/stat : 4296 (java) S 4227 4230 3349 0 -1 1077944384 44 12280 0 0 0 0 8 4 20 0 20 0 11176161 11261440000 800246 33554432000 4194304 4196468 140730775394944 139825365566592 139825893193429 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 30121984 140730775399105 140730775401879 140730775401879 140730775404495 0
[pid=4230/tid=4297] ppid=4227 vsize=10997500 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/4230/task/4297/stat : 4297 (java) S 4227 4230 3349 0 -1 1077944384 1 12280 0 0 0 0 8 4 20 0 20 0 11176165 11261440000 800246 33554432000 4194304 4196468 140730775394944 139825364514896 139825893201819 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 30121984 140730775399105 140730775401879 140730775401879 140730775404495 0
[pid=4230/tid=4298] ppid=4227 vsize=10997500 CPUtime=5.31 cores=1,3,5,7,9,11,13,15
/proc/4230/task/4298/stat : 4298 (java) S 4227 4230 3349 0 -1 1077944384 13948 12280 0 0 516 3 8 4 20 0 20 0 11176165 11261440000 800246 33554432000 4194304 4196468 140730775394944 139825363462768 139825893194370 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30121984 140730775399105 140730775401879 140730775401879 140730775404495 0
[pid=4230/tid=4299] ppid=4227 vsize=10997500 CPUtime=5.32 cores=1,3,5,7,9,11,13,15
/proc/4230/task/4299/stat : 4299 (java) S 4227 4230 3349 0 -1 1077944384 16474 12280 0 0 516 4 8 4 20 0 20 0 11176165 11261440000 800246 33554432000 4194304 4196468 140730775394944 139825362409968 139825893194370 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30121984 140730775399105 140730775401879 140730775401879 140730775404495 0
[pid=4230/tid=4300] ppid=4227 vsize=10997500 CPUtime=5.52 cores=1,3,5,7,9,11,13,15
/proc/4230/task/4300/stat : 4300 (java) S 4227 4230 3349 0 -1 1077944384 14240 12280 0 0 537 3 8 4 20 0 20 0 11176165 11261440000 800246 33554432000 4194304 4196468 140730775394944 139825361357680 139825893194370 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30121984 140730775399105 140730775401879 140730775401879 140730775404495 0
[pid=4230/tid=4301] ppid=4227 vsize=10997500 CPUtime=2.95 cores=1,3,5,7,9,11,13,15
/proc/4230/task/4301/stat : 4301 (java) S 4227 4230 3349 0 -1 1077944384 18660 12280 0 0 279 4 8 4 20 0 20 0 11176165 11261440000 800246 33554432000 4194304 4196468 140730775394944 139825360304880 139825893194370 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 30121984 140730775399105 140730775401879 140730775401879 140730775404495 0
[pid=4230/tid=4302] ppid=4227 vsize=10997500 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/4230/task/4302/stat : 4302 (java) S 4227 4230 3349 0 -1 1077944384 3 12280 0 0 0 0 8 4 20 0 20 0 11176165 11261440000 800246 33554432000 4194304 4196468 140730775394944 139825359251808 139825893193429 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 30121984 140730775399105 140730775401879 140730775401879 140730775404495 0
[pid=4230/tid=4303] ppid=4227 vsize=10997500 CPUtime=1.31 cores=1,3,5,7,9,11,13,15
/proc/4230/task/4303/stat : 4303 (java) S 4227 4230 3349 0 -1 1077944384 940 12280 0 0 53 66 8 4 20 0 20 0 11176166 11261440000 800246 33554432000 4194304 4196468 140730775394944 139825358199088 139825893194370 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30121984 140730775399105 140730775401879 140730775401879 140730775404495 0
Current children cumulated CPU time (s) 2378.19
Current children cumulated vsize (KiB) 10997500
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2344.1 s]
/proc/loadavg: 2.14 1.76 1.64 10/284 4713
/proc/meminfo: memFree=25201008/32770624 swapFree=5892/370652
[pid=4230] ppid=4227 vsize=10997500 CPUtime=2400.1 cores=1,3,5,7,9,11,13,15
/proc/4230/stat : 4230 (java) S 4227 4230 3349 0 -1 1077944320 377649 12280 0 0 239159 839 8 4 20 0 20 0 11176145 11261440000 800249 33554432000 4194304 4196468 140730775394944 140730775377488 139825893183223 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 30121984 140730775399105 140730775401879 140730775401879 140730775404495 0
/proc/4230/statm: 2749375 800249 3515 1 0 2736930 0
[pid=4230/tid=4285] ppid=4227 vsize=10997500 CPUtime=2335.1 cores=1,3,5,7,9,11,13,15
/proc/4230/task/4285/stat : 4285 (java) R 4227 4230 3349 0 -1 4202560 186896 12280 0 0 233403 95 8 4 20 0 20 0 11176157 11261440000 800249 33554432000 4194304 4196468 140730775394944 139825897416768 139825509907328 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30121984 140730775399105 140730775401879 140730775401879 140730775404495 0
[pid=4230/tid=4286] ppid=4227 vsize=10997500 CPUtime=5.51 cores=1,3,5,7,9,11,13,15
/proc/4230/task/4286/stat : 4286 (java) S 4227 4230 3349 0 -1 1077944384 12766 12280 0 0 457 82 8 4 20 0 20 0 11176158 11261440000 800249 33554432000 4194304 4196468 140730775394944 139825819257232 139825893193429 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 30121984 140730775399105 140730775401879 140730775401879 140730775404495 0
[pid=4230/tid=4287] ppid=4227 vsize=10997500 CPUtime=5.57 cores=1,3,5,7,9,11,13,15
/proc/4230/task/4287/stat : 4287 (java) S 4227 4230 3349 0 -1 1077944384 9958 12280 0 0 465 80 8 4 20 0 20 0 11176158 11261440000 800249 33554432000 4194304 4196468 140730775394944 139825818204432 139825893193429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30121984 140730775399105 140730775401879 140730775401879 140730775404495 0
[pid=4230/tid=4288] ppid=4227 vsize=10997500 CPUtime=5.59 cores=1,3,5,7,9,11,13,15
/proc/4230/task/4288/stat : 4288 (java) S 4227 4230 3349 0 -1 1077944384 11141 12280 0 0 464 83 8 4 20 0 20 0 11176158 11261440000 800249 33554432000 4194304 4196468 140730775394944 139825817152144 139825893193429 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 30121984 140730775399105 140730775401879 140730775401879 140730775404495 0
[pid=4230/tid=4289] ppid=4227 vsize=10997500 CPUtime=5.61 cores=1,3,5,7,9,11,13,15
/proc/4230/task/4289/stat : 4289 (java) S 4227 4230 3349 0 -1 1077944384 16922 12280 0 0 468 81 8 4 20 0 20 0 11176158 11261440000 800249 33554432000 4194304 4196468 140730775394944 139825816099344 139825893193429 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 30121984 140730775399105 140730775401879 140730775401879 140730775404495 0
[pid=4230/tid=4290] ppid=4227 vsize=10997500 CPUtime=5.62 cores=1,3,5,7,9,11,13,15
/proc/4230/task/4290/stat : 4290 (java) S 4227 4230 3349 0 -1 1077944384 13565 12280 0 0 466 84 8 4 20 0 20 0 11176158 11261440000 800249 33554432000 4194304 4196468 140730775394944 139825495665552 139825893193429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30121984 140730775399105 140730775401879 140730775401879 140730775404495 0
[pid=4230/tid=4291] ppid=4227 vsize=10997500 CPUtime=5.57 cores=1,3,5,7,9,11,13,15
/proc/4230/task/4291/stat : 4291 (java) S 4227 4230 3349 0 -1 1077944384 8686 12280 0 0 461 84 8 4 20 0 20 0 11176158 11261440000 800249 33554432000 4194304 4196468 140730775394944 139825494612752 139825893193429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30121984 140730775399105 140730775401879 140730775401879 140730775404495 0
[pid=4230/tid=4292] ppid=4227 vsize=10997500 CPUtime=5.57 cores=1,3,5,7,9,11,13,15
/proc/4230/task/4292/stat : 4292 (java) S 4227 4230 3349 0 -1 1077944384 12777 12280 0 0 459 86 8 4 20 0 20 0 11176158 11261440000 800249 33554432000 4194304 4196468 140730775394944 139825493560464 139825893193429 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 30121984 140730775399105 140730775401879 140730775401879 140730775404495 0
[pid=4230/tid=4293] ppid=4227 vsize=10997500 CPUtime=5.57 cores=1,3,5,7,9,11,13,15
/proc/4230/task/4293/stat : 4293 (java) S 4227 4230 3349 0 -1 1077944384 8880 12280 0 0 462 83 8 4 20 0 20 0 11176158 11261440000 800249 33554432000 4194304 4196468 140730775394944 139825492507664 139825893193429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30121984 140730775399105 140730775401879 140730775401879 140730775404495 0
[pid=4230/tid=4294] ppid=4227 vsize=10997500 CPUtime=1.47 cores=1,3,5,7,9,11,13,15
/proc/4230/task/4294/stat : 4294 (java) S 4227 4230 3349 0 -1 1077944384 29552 12280 0 0 113 22 8 4 20 0 20 0 11176160 11261440000 800249 33554432000 4194304 4196468 140730775394944 139825367672944 139825893194370 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30121984 140730775399105 140730775401879 140730775401879 140730775404495 0
[pid=4230/tid=4295] ppid=4227 vsize=10997500 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/4230/task/4295/stat : 4295 (java) S 4227 4230 3349 0 -1 1077944384 65 12280 0 0 0 0 8 4 20 0 20 0 11176161 11261440000 800249 33554432000 4194304 4196468 140730775394944 139825366618976 139825893193429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30121984 140730775399105 140730775401879 140730775401879 140730775404495 0
[pid=4230/tid=4296] ppid=4227 vsize=10997500 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/4230/task/4296/stat : 4296 (java) S 4227 4230 3349 0 -1 1077944384 44 12280 0 0 0 0 8 4 20 0 20 0 11176161 11261440000 800249 33554432000 4194304 4196468 140730775394944 139825365566592 139825893193429 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 30121984 140730775399105 140730775401879 140730775401879 140730775404495 0
[pid=4230/tid=4297] ppid=4227 vsize=10997500 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/4230/task/4297/stat : 4297 (java) S 4227 4230 3349 0 -1 1077944384 1 12280 0 0 0 0 8 4 20 0 20 0 11176165 11261440000 800249 33554432000 4194304 4196468 140730775394944 139825364514896 139825893201819 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 30121984 140730775399105 140730775401879 140730775401879 140730775404495 0
[pid=4230/tid=4298] ppid=4227 vsize=10997500 CPUtime=5.31 cores=1,3,5,7,9,11,13,15
/proc/4230/task/4298/stat : 4298 (java) S 4227 4230 3349 0 -1 1077944384 13948 12280 0 0 516 3 8 4 20 0 20 0 11176165 11261440000 800249 33554432000 4194304 4196468 140730775394944 139825363462768 139825893194370 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30121984 140730775399105 140730775401879 140730775401879 140730775404495 0
[pid=4230/tid=4299] ppid=4227 vsize=10997500 CPUtime=5.32 cores=1,3,5,7,9,11,13,15
/proc/4230/task/4299/stat : 4299 (java) S 4227 4230 3349 0 -1 1077944384 16474 12280 0 0 516 4 8 4 20 0 20 0 11176165 11261440000 800249 33554432000 4194304 4196468 140730775394944 139825362409968 139825893194370 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30121984 140730775399105 140730775401879 140730775401879 140730775404495 0
[pid=4230/tid=4300] ppid=4227 vsize=10997500 CPUtime=5.52 cores=1,3,5,7,9,11,13,15
/proc/4230/task/4300/stat : 4300 (java) S 4227 4230 3349 0 -1 1077944384 14240 12280 0 0 537 3 8 4 20 0 20 0 11176165 11261440000 800249 33554432000 4194304 4196468 140730775394944 139825361357680 139825893194370 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30121984 140730775399105 140730775401879 140730775401879 140730775404495 0
[pid=4230/tid=4301] ppid=4227 vsize=10997500 CPUtime=2.95 cores=1,3,5,7,9,11,13,15
/proc/4230/task/4301/stat : 4301 (java) S 4227 4230 3349 0 -1 1077944384 18660 12280 0 0 279 4 8 4 20 0 20 0 11176165 11261440000 800249 33554432000 4194304 4196468 140730775394944 139825360304880 139825893194370 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 30121984 140730775399105 140730775401879 140730775401879 140730775404495 0
[pid=4230/tid=4302] ppid=4227 vsize=10997500 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/4230/task/4302/stat : 4302 (java) S 4227 4230 3349 0 -1 1077944384 3 12280 0 0 0 0 8 4 20 0 20 0 11176165 11261440000 800249 33554432000 4194304 4196468 140730775394944 139825359251808 139825893193429 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 30121984 140730775399105 140730775401879 140730775401879 140730775404495 0
[pid=4230/tid=4303] ppid=4227 vsize=10997500 CPUtime=1.33 cores=1,3,5,7,9,11,13,15
/proc/4230/task/4303/stat : 4303 (java) S 4227 4230 3349 0 -1 1077944384 942 12280 0 0 54 67 8 4 20 0 20 0 11176166 11261440000 800249 33554432000 4194304 4196468 140730775394944 139825358199088 139825893194370 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30121984 140730775399105 140730775401879 140730775401879 140730775404495 0
Current children cumulated CPU time (s) 2400.1
Current children cumulated vsize (KiB) 10997500
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 4230 sig 9
??? kill -4230 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2344.1 s]
/proc/loadavg: 2.14 1.76 1.64 10/284 4713
/proc/meminfo: memFree=25201008/32770624 swapFree=5892/370652
[pid=4230] ppid=4227 vsize=10997500 CPUtime=2400.1 cores=1,3,5,7,9,11,13,15
/proc/4230/stat : 4230 (java) S 4227 4230 3349 0 -1 1077944320 377649 12280 0 0 239159 839 8 4 20 0 20 0 11176145 11261440000 800249 33554432000 4194304 4196468 140730775394944 140730775377488 139825893183223 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 30121984 140730775399105 140730775401879 140730775401879 140730775404495 0
/proc/4230/statm: 2749375 800249 3515 1 0 2736930 0
[pid=4230/tid=4285] ppid=4227 vsize=10997500 CPUtime=2335.1 cores=1,3,5,7,9,11,13,15
/proc/4230/task/4285/stat : 4285 (java) R 4227 4230 3349 0 -1 4202560 186896 12280 0 0 233403 95 8 4 20 0 20 0 11176157 11261440000 800249 33554432000 4194304 4196468 140730775394944 139825897416768 139825509907328 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30121984 140730775399105 140730775401879 140730775401879 140730775404495 0
[pid=4230/tid=4286] ppid=4227 vsize=10997500 CPUtime=5.51 cores=1,3,5,7,9,11,13,15
/proc/4230/task/4286/stat : 4286 (java) S 4227 4230 3349 0 -1 1077944384 12766 12280 0 0 457 82 8 4 20 0 20 0 11176158 11261440000 800249 33554432000 4194304 4196468 140730775394944 139825819257232 139825893193429 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 30121984 140730775399105 140730775401879 140730775401879 140730775404495 0
[pid=4230/tid=4287] ppid=4227 vsize=10997500 CPUtime=5.57 cores=1,3,5,7,9,11,13,15
/proc/4230/task/4287/stat : 4287 (java) S 4227 4230 3349 0 -1 1077944384 9958 12280 0 0 465 80 8 4 20 0 20 0 11176158 11261440000 800249 33554432000 4194304 4196468 140730775394944 139825818204432 139825893193429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30121984 140730775399105 140730775401879 140730775401879 140730775404495 0
[pid=4230/tid=4288] ppid=4227 vsize=10997500 CPUtime=5.59 cores=1,3,5,7,9,11,13,15
/proc/4230/task/4288/stat : 4288 (java) S 4227 4230 3349 0 -1 1077944384 11141 12280 0 0 464 83 8 4 20 0 20 0 11176158 11261440000 800249 33554432000 4194304 4196468 140730775394944 139825817152144 139825893193429 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 30121984 140730775399105 140730775401879 140730775401879 140730775404495 0
[pid=4230/tid=4289] ppid=4227 vsize=10997500 CPUtime=5.61 cores=1,3,5,7,9,11,13,15
/proc/4230/task/4289/stat : 4289 (java) S 4227 4230 3349 0 -1 1077944384 16922 12280 0 0 468 81 8 4 20 0 20 0 11176158 11261440000 800249 33554432000 4194304 4196468 140730775394944 139825816099344 139825893193429 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 30121984 140730775399105 140730775401879 140730775401879 140730775404495 0
[pid=4230/tid=4290] ppid=4227 vsize=10997500 CPUtime=5.62 cores=1,3,5,7,9,11,13,15
/proc/4230/task/4290/stat : 4290 (java) S 4227 4230 3349 0 -1 1077944384 13565 12280 0 0 466 84 8 4 20 0 20 0 11176158 11261440000 800249 33554432000 4194304 4196468 140730775394944 139825495665552 139825893193429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30121984 140730775399105 140730775401879 140730775401879 140730775404495 0
[pid=4230/tid=4291] ppid=4227 vsize=10997500 CPUtime=5.57 cores=1,3,5,7,9,11,13,15
/proc/4230/task/4291/stat : 4291 (java) S 4227 4230 3349 0 -1 1077944384 8686 12280 0 0 461 84 8 4 20 0 20 0 11176158 11261440000 800249 33554432000 4194304 4196468 140730775394944 139825494612752 139825893193429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30121984 140730775399105 140730775401879 140730775401879 140730775404495 0
[pid=4230/tid=4292] ppid=4227 vsize=10997500 CPUtime=5.57 cores=1,3,5,7,9,11,13,15
/proc/4230/task/4292/stat : 4292 (java) S 4227 4230 3349 0 -1 1077944384 12777 12280 0 0 459 86 8 4 20 0 20 0 11176158 11261440000 800249 33554432000 4194304 4196468 140730775394944 139825493560464 139825893193429 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 30121984 140730775399105 140730775401879 140730775401879 140730775404495 0
[pid=4230/tid=4293] ppid=4227 vsize=10997500 CPUtime=5.57 cores=1,3,5,7,9,11,13,15
/proc/4230/task/4293/stat : 4293 (java) S 4227 4230 3349 0 -1 1077944384 8880 12280 0 0 462 83 8 4 20 0 20 0 11176158 11261440000 800249 33554432000 4194304 4196468 140730775394944 139825492507664 139825893193429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30121984 140730775399105 140730775401879 140730775401879 140730775404495 0
[pid=4230/tid=4294] ppid=4227 vsize=10997500 CPUtime=1.47 cores=1,3,5,7,9,11,13,15
/proc/4230/task/4294/stat : 4294 (java) S 4227 4230 3349 0 -1 1077944384 29552 12280 0 0 113 22 8 4 20 0 20 0 11176160 11261440000 800249 33554432000 4194304 4196468 140730775394944 139825367672944 139825893194370 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30121984 140730775399105 140730775401879 140730775401879 140730775404495 0
[pid=4230/tid=4295] ppid=4227 vsize=10997500 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/4230/task/4295/stat : 4295 (java) S 4227 4230 3349 0 -1 1077944384 65 12280 0 0 0 0 8 4 20 0 20 0 11176161 11261440000 800249 33554432000 4194304 4196468 140730775394944 139825366618976 139825893193429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30121984 140730775399105 140730775401879 140730775401879 140730775404495 0
[pid=4230/tid=4296] ppid=4227 vsize=10997500 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/4230/task/4296/stat : 4296 (java) S 4227 4230 3349 0 -1 1077944384 44 12280 0 0 0 0 8 4 20 0 20 0 11176161 11261440000 800249 33554432000 4194304 4196468 140730775394944 139825365566592 139825893193429 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 30121984 140730775399105 140730775401879 140730775401879 140730775404495 0
[pid=4230/tid=4297] ppid=4227 vsize=10997500 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/4230/task/4297/stat : 4297 (java) S 4227 4230 3349 0 -1 1077944384 1 12280 0 0 0 0 8 4 20 0 20 0 11176165 11261440000 800249 33554432000 4194304 4196468 140730775394944 139825364514896 139825893201819 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 30121984 140730775399105 140730775401879 140730775401879 140730775404495 0
[pid=4230/tid=4298] ppid=4227 vsize=10997500 CPUtime=5.31 cores=1,3,5,7,9,11,13,15
/proc/4230/task/4298/stat : 4298 (java) S 4227 4230 3349 0 -1 1077944384 13948 12280 0 0 516 3 8 4 20 0 20 0 11176165 11261440000 800249 33554432000 4194304 4196468 140730775394944 139825363462768 139825893194370 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30121984 140730775399105 140730775401879 140730775401879 140730775404495 0
[pid=4230/tid=4299] ppid=4227 vsize=10997500 CPUtime=5.32 cores=1,3,5,7,9,11,13,15
/proc/4230/task/4299/stat : 4299 (java) S 4227 4230 3349 0 -1 1077944384 16474 12280 0 0 516 4 8 4 20 0 20 0 11176165 11261440000 800249 33554432000 4194304 4196468 140730775394944 139825362409968 139825893194370 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30121984 140730775399105 140730775401879 140730775401879 140730775404495 0
[pid=4230/tid=4300] ppid=4227 vsize=10997500 CPUtime=5.52 cores=1,3,5,7,9,11,13,15
/proc/4230/task/4300/stat : 4300 (java) S 4227 4230 3349 0 -1 1077944384 14240 12280 0 0 537 3 8 4 20 0 20 0 11176165 11261440000 800249 33554432000 4194304 4196468 140730775394944 139825361357680 139825893194370 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30121984 140730775399105 140730775401879 140730775401879 140730775404495 0
[pid=4230/tid=4301] ppid=4227 vsize=10997500 CPUtime=2.95 cores=1,3,5,7,9,11,13,15
/proc/4230/task/4301/stat : 4301 (java) S 4227 4230 3349 0 -1 1077944384 18660 12280 0 0 279 4 8 4 20 0 20 0 11176165 11261440000 800249 33554432000 4194304 4196468 140730775394944 139825360304880 139825893194370 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 30121984 140730775399105 140730775401879 140730775401879 140730775404495 0
[pid=4230/tid=4302] ppid=4227 vsize=10997500 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/4230/task/4302/stat : 4302 (java) S 4227 4230 3349 0 -1 1077944384 3 12280 0 0 0 0 8 4 20 0 20 0 11176165 11261440000 800249 33554432000 4194304 4196468 140730775394944 139825359251808 139825893193429 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 30121984 140730775399105 140730775401879 140730775401879 140730775404495 0
[pid=4230/tid=4303] ppid=4227 vsize=10997500 CPUtime=1.33 cores=1,3,5,7,9,11,13,15
/proc/4230/task/4303/stat : 4303 (java) S 4227 4230 3349 0 -1 1077944384 942 12280 0 0 54 67 8 4 20 0 20 0 11176166 11261440000 800249 33554432000 4194304 4196468 140730775394944 139825358199088 139825893194370 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30121984 140730775399105 140730775401879 140730775401879 140730775404495 0
Current children cumulated CPU time (s) 2400.1
Current children cumulated vsize (KiB) 10997500
Child status: 143
Real time (s): 2344.15
CPU time (s): 2400.16
CPU user time (s): 2391.7
CPU system time (s): 8.46044
CPU usage (%): 102.389
Max. virtual memory (cumulated for all children) (KiB): 10997500
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2391.7
system time used= 8.46044
maximum resident set size= 3201980
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 391160
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2720
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 99349
involuntary context switches= 131610
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.6907 second user time and 23.8743 second system time
The end