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-4245257-1500701951/watcher-4245257-1500701951 -o /tmp/evaluation-result-4245257-1500701951/solver-4245257-1500701951 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node136-1500683313-13637 --watchdog 2560 bin/concrete HOME/instance-4245257-1500701951.xml
pid=18543
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.14 1.34 1.45 3/261 18546
/proc/meminfo: memFree=30019620/32770624 swapFree=5844/255808
[pid=18546] ppid=18543 vsize=9508 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18546/stat : 18546 (bash) S 18543 18546 13605 0 -1 4202496 686 1530 0 0 0 0 0 0 20 0 1 0 5461945 9736192 351 33554432000 4194304 5098028 140723056317536 140723056315176 140548643605504 0 0 4100 65536 18446744071580971376 0 0 17 13 0 0 0 0 0 7196144 7232144 40157184 140723056321806 140723056321891 140723056321891 140723056324590 0
/proc/18546/statm: 2377 351 278 221 0 86 0
[startup+0.10017 s]
/proc/loadavg: 1.14 1.34 1.45 3/261 18546
/proc/meminfo: memFree=30019620/32770624 swapFree=5844/255808
[pid=18546] ppid=18543 vsize=9640 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/18546/stat : 18546 (bash) S 18543 18546 13605 0 -1 4202496 884 6413 0 0 0 0 0 1 20 0 1 0 5461945 9871360 378 33554432000 4194304 5098028 140723056317536 140723056311544 140548643605504 0 0 4100 65536 18446744071580971376 0 0 17 13 0 0 0 0 0 7196144 7232144 40157184 140723056321806 140723056321891 140723056321891 140723056324590 0
/proc/18546/statm: 2410 378 296 221 0 119 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9640
[startup+0.200382 s]
/proc/loadavg: 1.14 1.34 1.45 3/261 18546
/proc/meminfo: memFree=30019620/32770624 swapFree=5844/255808
[pid=18546] ppid=18543 vsize=10901872 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/18546/stat : 18546 (java) S 18543 18546 13605 0 -1 1077944320 5600 12389 0 0 8 1 7 3 20 0 20 0 5461945 11163516928 6856 33554432000 4194304 4196468 140731533659216 140731533641760 139635582365431 0 0 0 16800975 18446744073709551615 0 0 17 15 0 0 0 0 0 6293624 6294260 37044224 140731533662913 140731533665687 140731533665687 140731533668303 0
/proc/18546/statm: 2725468 6856 2710 1 0 2713890 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 10901872
[startup+0.30034 s]
/proc/loadavg: 1.14 1.34 1.45 3/261 18546
/proc/meminfo: memFree=30019620/32770624 swapFree=5844/255808
[pid=18546] ppid=18543 vsize=10902392 CPUtime=0.34 cores=1,3,5,7,9,11,13,15
/proc/18546/stat : 18546 (java) S 18543 18546 13605 0 -1 1077944320 9626 12389 0 0 22 2 7 3 20 0 20 0 5461945 11164049408 11156 33554432000 4194304 4196468 140731533659216 140731533641760 139635582365431 0 0 0 16800975 18446744073709551615 0 0 17 15 0 0 0 0 0 6293624 6294260 37044224 140731533662913 140731533665687 140731533665687 140731533668303 0
/proc/18546/statm: 2725598 11156 2971 1 0 2713890 0
Current children cumulated CPU time (s) 0.34
Current children cumulated vsize (KiB) 10902392
[startup+0.700227 s]
/proc/loadavg: 1.14 1.34 1.45 3/261 18546
/proc/meminfo: memFree=30019620/32770624 swapFree=5844/255808
[pid=18546] ppid=18543 vsize=10902720 CPUtime=1.01 cores=1,3,5,7,9,11,13,15
/proc/18546/stat : 18546 (java) S 18543 18546 13605 0 -1 1077944320 13639 12389 0 0 87 4 7 3 20 0 20 0 5461945 11164385280 17522 33554432000 4194304 4196468 140731533659216 140731533641760 139635582365431 0 0 0 16800975 18446744073709551615 0 0 17 15 0 0 0 0 0 6293624 6294260 37044224 140731533662913 140731533665687 140731533665687 140731533668303 0
/proc/18546/statm: 2725680 17522 3238 1 0 2713890 0
Current children cumulated CPU time (s) 1.01
Current children cumulated vsize (KiB) 10902720
[startup+1.502 s]
/proc/loadavg: 1.14 1.34 1.45 3/281 18619
/proc/meminfo: memFree=29909396/32770624 swapFree=5844/255864
[pid=18546] ppid=18543 vsize=10915392 CPUtime=2.3 cores=1,3,5,7,9,11,13,15
/proc/18546/stat : 18546 (java) S 18543 18546 13605 0 -1 1077944320 26427 12389 0 0 207 13 7 3 20 0 20 0 5461945 11177361408 44336 33554432000 4194304 4196468 140731533659216 140731533641760 139635582365431 0 0 0 16800975 18446744073709551615 0 0 17 15 0 0 0 0 0 6293624 6294260 37044224 140731533662913 140731533665687 140731533665687 140731533668303 0
/proc/18546/statm: 2728848 44336 3409 1 0 2716962 0
[pid=18546/tid=18601] ppid=18543 vsize=10915392 CPUtime=1.41 cores=1,3,5,7,9,11,13,15
/proc/18546/task/18601/stat : 18601 (java) R 18543 18546 13605 0 -1 4202560 18514 12389 0 0 126 5 7 3 20 0 20 0 5461957 11177361408 44336 33554432000 4194304 4196468 140731533659216 139635586596320 139635582377366 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 37044224 140731533662913 140731533665687 140731533665687 140731533668303 0
[pid=18546/tid=18602] ppid=18543 vsize=10915392 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/18546/task/18602/stat : 18602 (java) S 18543 18546 13605 0 -1 1077944384 33 12389 0 0 0 0 7 3 20 0 20 0 5461958 11177361408 44336 33554432000 4194304 4196468 140731533659216 139635508439952 139635582375637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37044224 140731533662913 140731533665687 140731533665687 140731533668303 0
[pid=18546/tid=18603] ppid=18543 vsize=10915392 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/18546/task/18603/stat : 18603 (java) S 18543 18546 13605 0 -1 1077944384 35 12389 0 0 0 0 7 3 20 0 20 0 5461958 11177361408 44336 33554432000 4194304 4196468 140731533659216 139635507387152 139635582375637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37044224 140731533662913 140731533665687 140731533665687 140731533668303 0
[pid=18546/tid=18604] ppid=18543 vsize=10915392 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/18546/task/18604/stat : 18604 (java) S 18543 18546 13605 0 -1 1077944384 15 12389 0 0 0 0 7 3 20 0 20 0 5461958 11177361408 44336 33554432000 4194304 4196468 140731533659216 139635506334864 139635582375637 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 37044224 140731533662913 140731533665687 140731533665687 140731533668303 0
[pid=18546/tid=18605] ppid=18543 vsize=10915392 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/18546/task/18605/stat : 18605 (java) S 18543 18546 13605 0 -1 1077944384 150 12389 0 0 1 0 7 3 20 0 20 0 5461958 11177361408 44336 33554432000 4194304 4196468 140731533659216 139635505282064 139635582375637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37044224 140731533662913 140731533665687 140731533665687 140731533668303 0
[pid=18546/tid=18606] ppid=18543 vsize=10915392 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/18546/task/18606/stat : 18606 (java) S 18543 18546 13605 0 -1 1077944384 14 12389 0 0 0 0 7 3 20 0 20 0 5461958 11177361408 44336 33554432000 4194304 4196468 140731533659216 139635504228752 139635582375637 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 37044224 140731533662913 140731533665687 140731533665687 140731533668303 0
[pid=18546/tid=18607] ppid=18543 vsize=10915392 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/18546/task/18607/stat : 18607 (java) S 18543 18546 13605 0 -1 1077944384 16 12389 0 0 0 0 7 3 20 0 20 0 5461958 11177361408 44336 33554432000 4194304 4196468 140731533659216 139635503175952 139635582375637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37044224 140731533662913 140731533665687 140731533665687 140731533668303 0
[pid=18546/tid=18608] ppid=18543 vsize=10915392 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/18546/task/18608/stat : 18608 (java) S 18543 18546 13605 0 -1 1077944384 17 12389 0 0 0 0 7 3 20 0 20 0 5461958 11177361408 44336 33554432000 4194304 4196468 140731533659216 139635502123664 139635582375637 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 37044224 140731533662913 140731533665687 140731533665687 140731533668303 0
[pid=18546/tid=18609] ppid=18543 vsize=10915392 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/18546/task/18609/stat : 18609 (java) S 18543 18546 13605 0 -1 1077944384 55 12389 0 0 1 0 7 3 20 0 20 0 5461958 11177361408 44336 33554432000 4194304 4196468 140731533659216 139635501070864 139635582375637 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 37044224 140731533662913 140731533665687 140731533665687 140731533668303 0
[pid=18546/tid=18610] ppid=18543 vsize=10915392 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/18546/task/18610/stat : 18610 (java) S 18543 18546 13605 0 -1 1077944384 1169 12389 0 0 1 0 7 3 20 0 20 0 5461960 11177361408 44336 33554432000 4194304 4196468 140731533659216 139635056982640 139635582376578 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37044224 140731533662913 140731533665687 140731533665687 140731533668303 0
[pid=18546/tid=18611] ppid=18543 vsize=10915392 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/18546/task/18611/stat : 18611 (java) S 18543 18546 13605 0 -1 1077944384 55 12389 0 0 0 0 7 3 20 0 20 0 5461960 11177361408 44336 33554432000 4194304 4196468 140731533659216 139635055928608 139635582375637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37044224 140731533662913 140731533665687 140731533665687 140731533668303 0
[pid=18546/tid=18612] ppid=18543 vsize=10915392 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/18546/task/18612/stat : 18612 (java) S 18543 18546 13605 0 -1 1077944384 47 12389 0 0 0 0 7 3 20 0 20 0 5461961 11177361408 44336 33554432000 4194304 4196468 140731533659216 139635054876272 139635582375637 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 37044224 140731533662913 140731533665687 140731533665687 140731533668303 0
[pid=18546/tid=18613] ppid=18543 vsize=10915392 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/18546/task/18613/stat : 18613 (java) S 18543 18546 13605 0 -1 1077944384 1 12389 0 0 0 0 7 3 20 0 20 0 5461964 11177361408 44336 33554432000 4194304 4196468 140731533659216 139635053824592 139635582384027 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 37044224 140731533662913 140731533665687 140731533665687 140731533668303 0
[pid=18546/tid=18614] ppid=18543 vsize=10915392 CPUtime=0.27 cores=1,3,5,7,9,11,13,15
/proc/18546/task/18614/stat : 18614 (java) S 18543 18546 13605 0 -1 1077944384 1712 12389 0 0 17 0 7 3 20 0 20 0 5461964 11177361408 44336 33554432000 4194304 4196468 140731533659216 139635052771440 139635582376578 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 37044224 140731533662913 140731533665687 140731533665687 140731533668303 0
[pid=18546/tid=18615] ppid=18543 vsize=10915392 CPUtime=0.22 cores=1,3,5,7,9,11,13,15
/proc/18546/task/18615/stat : 18615 (java) S 18543 18546 13605 0 -1 1077944384 575 12389 0 0 12 0 7 3 20 0 20 0 5461964 11177361408 44336 33554432000 4194304 4196468 140731533659216 139635051718640 139635582376578 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37044224 140731533662913 140731533665687 140731533665687 140731533668303 0
[pid=18546/tid=18616] ppid=18543 vsize=10915392 CPUtime=0.2 cores=1,3,5,7,9,11,13,15
/proc/18546/task/18616/stat : 18616 (java) S 18543 18546 13605 0 -1 1077944384 397 12389 0 0 10 0 7 3 20 0 20 0 5461964 11177361408 44336 33554432000 4194304 4196468 140731533659216 139635050666352 139635582376578 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37044224 140731533662913 140731533665687 140731533665687 140731533668303 0
[pid=18546/tid=18617] ppid=18543 vsize=10915392 CPUtime=0.39 cores=1,3,5,7,9,11,13,15
/proc/18546/task/18617/stat : 18617 (java) R 18543 18546 13605 0 -1 4202560 1479 12389 0 0 29 0 7 3 20 0 20 0 5461964 11177361408 44336 33554432000 4194304 4196468 140731533659216 139635049613552 139635566445918 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 37044224 140731533662913 140731533665687 140731533665687 140731533668303 0
[pid=18546/tid=18618] ppid=18543 vsize=10915392 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/18546/task/18618/stat : 18618 (java) S 18543 18546 13605 0 -1 1077944384 3 12389 0 0 0 0 7 3 20 0 20 0 5461964 11177361408 44336 33554432000 4194304 4196468 140731533659216 139635048561504 139635582375637 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 37044224 140731533662913 140731533665687 140731533665687 140731533668303 0
[pid=18546/tid=18619] ppid=18543 vsize=10915392 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/18546/task/18619/stat : 18619 (java) S 18543 18546 13605 0 -1 1077944384 8 12389 0 0 0 0 7 3 20 0 20 0 5461964 11177361408 44336 33554432000 4194304 4196468 140731533659216 139635047508784 139635582376578 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37044224 140731533662913 140731533665687 140731533665687 140731533668303 0
Current children cumulated CPU time (s) 2.3
Current children cumulated vsize (KiB) 10915392
[startup+3.10073 s]
/proc/loadavg: 1.13 1.33 1.44 6/281 18619
/proc/meminfo: memFree=29837236/32770624 swapFree=5844/255864
[pid=18546] ppid=18543 vsize=10925820 CPUtime=7.55 cores=1,3,5,7,9,11,13,15
/proc/18546/stat : 18546 (java) S 18543 18546 13605 0 -1 1077944320 44794 12389 0 0 727 18 7 3 20 0 20 0 5461945 11188039680 58527 33554432000 4194304 4196468 140731533659216 140731533641760 139635582365431 0 0 0 16800975 18446744073709551615 0 0 17 15 0 0 0 0 0 6293624 6294260 37044224 140731533662913 140731533665687 140731533665687 140731533668303 0
/proc/18546/statm: 2731455 58527 3476 1 0 2719010 0
[pid=18546/tid=18601] ppid=18543 vsize=10925820 CPUtime=3 cores=1,3,5,7,9,11,13,15
/proc/18546/task/18601/stat : 18601 (java) R 18543 18546 13605 0 -1 4202560 25003 12389 0 0 283 7 7 3 20 0 20 0 5461957 11188039680 58527 33554432000 4194304 4196468 140731533659216 139635586596312 139635174965312 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 37044224 140731533662913 140731533665687 140731533665687 140731533668303 0
[pid=18546/tid=18602] ppid=18543 vsize=10925820 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/18546/task/18602/stat : 18602 (java) S 18543 18546 13605 0 -1 1077944384 33 12389 0 0 0 0 7 3 20 0 20 0 5461958 11188039680 58527 33554432000 4194304 4196468 140731533659216 139635508439952 139635582375637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37044224 140731533662913 140731533665687 140731533665687 140731533668303 0
[pid=18546/tid=18603] ppid=18543 vsize=10925820 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/18546/task/18603/stat : 18603 (java) S 18543 18546 13605 0 -1 1077944384 35 12389 0 0 0 0 7 3 20 0 20 0 5461958 11188039680 58527 33554432000 4194304 4196468 140731533659216 139635507387152 139635582375637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37044224 140731533662913 140731533665687 140731533665687 140731533668303 0
[pid=18546/tid=18604] ppid=18543 vsize=10925820 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/18546/task/18604/stat : 18604 (java) S 18543 18546 13605 0 -1 1077944384 15 12389 0 0 0 0 7 3 20 0 20 0 5461958 11188039680 58527 33554432000 4194304 4196468 140731533659216 139635506334864 139635582375637 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 37044224 140731533662913 140731533665687 140731533665687 140731533668303 0
[pid=18546/tid=18605] ppid=18543 vsize=10925820 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/18546/task/18605/stat : 18605 (java) S 18543 18546 13605 0 -1 1077944384 150 12389 0 0 1 0 7 3 20 0 20 0 5461958 11188039680 58527 33554432000 4194304 4196468 140731533659216 139635505282064 139635582375637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37044224 140731533662913 140731533665687 140731533665687 140731533668303 0
[pid=18546/tid=18606] ppid=18543 vsize=10925820 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/18546/task/18606/stat : 18606 (java) S 18543 18546 13605 0 -1 1077944384 14 12389 0 0 0 0 7 3 20 0 20 0 5461958 11188039680 58527 33554432000 4194304 4196468 140731533659216 139635504228752 139635582375637 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 37044224 140731533662913 140731533665687 140731533665687 140731533668303 0
[pid=18546/tid=18607] ppid=18543 vsize=10925820 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/18546/task/18607/stat : 18607 (java) S 18543 18546 13605 0 -1 1077944384 16 12389 0 0 0 0 7 3 20 0 20 0 5461958 11188039680 58527 33554432000 4194304 4196468 140731533659216 139635503175952 139635582375637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37044224 140731533662913 140731533665687 140731533665687 140731533668303 0
[pid=18546/tid=18608] ppid=18543 vsize=10925820 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/18546/task/18608/stat : 18608 (java) S 18543 18546 13605 0 -1 1077944384 17 12389 0 0 0 0 7 3 20 0 20 0 5461958 11188039680 58527 33554432000 4194304 4196468 140731533659216 139635502123664 139635582375637 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 37044224 140731533662913 140731533665687 140731533665687 140731533668303 0
[pid=18546/tid=18609] ppid=18543 vsize=10925820 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/18546/task/18609/stat : 18609 (java) S 18543 18546 13605 0 -1 1077944384 55 12389 0 0 1 0 7 3 20 0 20 0 5461958 11188039680 58527 33554432000 4194304 4196468 140731533659216 139635501070864 139635582375637 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 37044224 140731533662913 140731533665687 140731533665687 140731533668303 0
[pid=18546/tid=18610] ppid=18543 vsize=10925820 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/18546/task/18610/stat : 18610 (java) S 18543 18546 13605 0 -1 1077944384 1194 12389 0 0 1 0 7 3 20 0 20 0 5461960 11188039680 58527 33554432000 4194304 4196468 140731533659216 139635056982640 139635582376578 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37044224 140731533662913 140731533665687 140731533665687 140731533668303 0
[pid=18546/tid=18611] ppid=18543 vsize=10925820 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/18546/task/18611/stat : 18611 (java) S 18543 18546 13605 0 -1 1077944384 55 12389 0 0 0 0 7 3 20 0 20 0 5461960 11188039680 58527 33554432000 4194304 4196468 140731533659216 139635055928608 139635582375637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37044224 140731533662913 140731533665687 140731533665687 140731533668303 0
[pid=18546/tid=18612] ppid=18543 vsize=10925820 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/18546/task/18612/stat : 18612 (java) S 18543 18546 13605 0 -1 1077944384 47 12389 0 0 0 0 7 3 20 0 20 0 5461961 11188039680 58527 33554432000 4194304 4196468 140731533659216 139635054876272 139635582375637 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 37044224 140731533662913 140731533665687 140731533665687 140731533668303 0
[pid=18546/tid=18613] ppid=18543 vsize=10925820 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/18546/task/18613/stat : 18613 (java) S 18543 18546 13605 0 -1 1077944384 1 12389 0 0 0 0 7 3 20 0 20 0 5461964 11188039680 58527 33554432000 4194304 4196468 140731533659216 139635053824592 139635582384027 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 37044224 140731533662913 140731533665687 140731533665687 140731533668303 0
[pid=18546/tid=18614] ppid=18543 vsize=10925820 CPUtime=1.38 cores=1,3,5,7,9,11,13,15
/proc/18546/task/18614/stat : 18614 (java) R 18543 18546 13605 0 -1 4202560 5653 12389 0 0 127 1 7 3 20 0 20 0 5461964 11188039680 58527 33554432000 4194304 4196468 140731533659216 139635052754544 139635563545089 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 37044224 140731533662913 140731533665687 140731533665687 140731533668303 0
[pid=18546/tid=18615] ppid=18543 vsize=10925820 CPUtime=1.05 cores=1,3,5,7,9,11,13,15
/proc/18546/task/18615/stat : 18615 (java) R 18543 18546 13605 0 -1 4202560 2416 12389 0 0 94 1 7 3 20 0 20 0 5461964 11188039680 58527 33554432000 4194304 4196468 140731533659216 139635051705488 139635560531912 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37044224 140731533662913 140731533665687 140731533665687 140731533668303 0
[pid=18546/tid=18616] ppid=18543 vsize=10925820 CPUtime=0.95 cores=1,3,5,7,9,11,13,15
/proc/18546/task/18616/stat : 18616 (java) R 18543 18546 13605 0 -1 4202560 2385 12389 0 0 84 1 7 3 20 0 20 0 5461964 11188039680 58527 33554432000 4194304 4196468 140731533659216 139635050652232 139635563886807 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 37044224 140731533662913 140731533665687 140731533665687 140731533668303 0
[pid=18546/tid=18617] ppid=18543 vsize=10925820 CPUtime=1.36 cores=1,3,5,7,9,11,13,15
/proc/18546/task/18617/stat : 18617 (java) R 18543 18546 13605 0 -1 4202560 5559 12389 0 0 125 1 7 3 20 0 20 0 5461964 11188039680 58527 33554432000 4194304 4196468 140731533659216 139635049612656 139635565706721 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 37044224 140731533662913 140731533665687 140731533665687 140731533668303 0
[pid=18546/tid=18618] ppid=18543 vsize=10925820 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/18546/task/18618/stat : 18618 (java) S 18543 18546 13605 0 -1 1077944384 3 12389 0 0 0 0 7 3 20 0 20 0 5461964 11188039680 58527 33554432000 4194304 4196468 140731533659216 139635048561504 139635582375637 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 37044224 140731533662913 140731533665687 140731533665687 140731533668303 0
[pid=18546/tid=18619] ppid=18543 vsize=10925820 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/18546/task/18619/stat : 18619 (java) S 18543 18546 13605 0 -1 1077944384 11 12389 0 0 0 0 7 3 20 0 20 0 5461964 11188039680 58527 33554432000 4194304 4196468 140731533659216 139635047508784 139635582376578 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37044224 140731533662913 140731533665687 140731533665687 140731533668303 0
Current children cumulated CPU time (s) 7.55
Current children cumulated vsize (KiB) 10925820
[startup+6.3009 s]
/proc/loadavg: 1.13 1.33 1.44 3/281 18619
/proc/meminfo: memFree=29609984/32770624 swapFree=5844/255876
[pid=18546] ppid=18543 vsize=10995452 CPUtime=16.57 cores=1,3,5,7,9,11,13,15
/proc/18546/stat : 18546 (java) S 18543 18546 13605 0 -1 1077944320 79447 12389 0 0 1606 41 7 3 20 0 20 0 5461945 11259342848 133385 33554432000 4194304 4196468 140731533659216 140731533641760 139635582365431 0 0 0 16800975 18446744073709551615 0 0 17 15 0 0 0 0 0 6293624 6294260 37044224 140731533662913 140731533665687 140731533665687 140731533668303 0
/proc/18546/statm: 2748863 133385 3505 1 0 2736418 0
[pid=18546/tid=18601] ppid=18543 vsize=10995452 CPUtime=6.09 cores=1,3,5,7,9,11,13,15
/proc/18546/task/18601/stat : 18601 (java) R 18543 18546 13605 0 -1 4202560 37496 12389 0 0 586 13 7 3 20 0 20 0 5461957 11259342848 133385 33554432000 4194304 4196468 140731533659216 139635586597208 139635562261927 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 37044224 140731533662913 140731533665687 140731533665687 140731533668303 0
[pid=18546/tid=18602] ppid=18543 vsize=10995452 CPUtime=0.17 cores=1,3,5,7,9,11,13,15
/proc/18546/task/18602/stat : 18602 (java) S 18543 18546 13605 0 -1 1077944384 707 12389 0 0 5 2 7 3 20 0 20 0 5461958 11259342848 133385 33554432000 4194304 4196468 140731533659216 139635508439952 139635582375637 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 37044224 140731533662913 140731533665687 140731533665687 140731533668303 0
[pid=18546/tid=18603] ppid=18543 vsize=10995452 CPUtime=0.17 cores=1,3,5,7,9,11,13,15
/proc/18546/task/18603/stat : 18603 (java) S 18543 18546 13605 0 -1 1077944384 380 12389 0 0 5 2 7 3 20 0 20 0 5461958 11259342848 133385 33554432000 4194304 4196468 140731533659216 139635507387152 139635582375637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37044224 140731533662913 140731533665687 140731533665687 140731533668303 0
[pid=18546/tid=18604] ppid=18543 vsize=10995452 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/18546/task/18604/stat : 18604 (java) S 18543 18546 13605 0 -1 1077944384 38 12389 0 0 4 1 7 3 20 0 20 0 5461958 11259342848 133385 33554432000 4194304 4196468 140731533659216 139635506334864 139635582375637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37044224 140731533662913 140731533665687 140731533665687 140731533668303 0
[pid=18546/tid=18605] ppid=18543 vsize=10995452 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/18546/task/18605/stat : 18605 (java) S 18543 18546 13605 0 -1 1077944384 188 12389 0 0 6 2 7 3 20 0 20 0 5461958 11259342848 133385 33554432000 4194304 4196468 140731533659216 139635505282064 139635582375637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37044224 140731533662913 140731533665687 140731533665687 140731533668303 0
[pid=18546/tid=18606] ppid=18543 vsize=10995452 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/18546/task/18606/stat : 18606 (java) S 18543 18546 13605 0 -1 1077944384 65 12389 0 0 4 1 7 3 20 0 20 0 5461958 11259342848 133385 33554432000 4194304 4196468 140731533659216 139635504228752 139635582375637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37044224 140731533662913 140731533665687 140731533665687 140731533668303 0
[pid=18546/tid=18607] ppid=18543 vsize=10995452 CPUtime=0.16 cores=1,3,5,7,9,11,13,15
/proc/18546/task/18607/stat : 18607 (java) S 18543 18546 13605 0 -1 1077944384 101 12389 0 0 4 2 7 3 20 0 20 0 5461958 11259342848 133385 33554432000 4194304 4196468 140731533659216 139635503175952 139635582375637 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 37044224 140731533662913 140731533665687 140731533665687 140731533668303 0
[pid=18546/tid=18608] ppid=18543 vsize=10995452 CPUtime=0.16 cores=1,3,5,7,9,11,13,15
/proc/18546/task/18608/stat : 18608 (java) S 18543 18546 13605 0 -1 1077944384 187 12389 0 0 5 1 7 3 20 0 20 0 5461958 11259342848 133385 33554432000 4194304 4196468 140731533659216 139635502123664 139635582375637 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 37044224 140731533662913 140731533665687 140731533665687 140731533668303 0
[pid=18546/tid=18609] ppid=18543 vsize=10995452 CPUtime=0.17 cores=1,3,5,7,9,11,13,15
/proc/18546/task/18609/stat : 18609 (java) S 18543 18546 13605 0 -1 1077944384 106 12389 0 0 5 2 7 3 20 0 20 0 5461958 11259342848 133385 33554432000 4194304 4196468 140731533659216 139635501070864 139635582375637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37044224 140731533662913 140731533665687 140731533665687 140731533668303 0
[pid=18546/tid=18610] ppid=18543 vsize=10995452 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/18546/task/18610/stat : 18610 (java) S 18543 18546 13605 0 -1 1077944384 2331 12389 0 0 5 0 7 3 20 0 20 0 5461960 11259342848 133385 33554432000 4194304 4196468 140731533659216 139635056982640 139635582376578 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37044224 140731533662913 140731533665687 140731533665687 140731533668303 0
[pid=18546/tid=18611] ppid=18543 vsize=10995452 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/18546/task/18611/stat : 18611 (java) S 18543 18546 13605 0 -1 1077944384 55 12389 0 0 0 0 7 3 20 0 20 0 5461960 11259342848 133385 33554432000 4194304 4196468 140731533659216 139635055928672 139635582375637 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 37044224 140731533662913 140731533665687 140731533665687 140731533668303 0
[pid=18546/tid=18612] ppid=18543 vsize=10995452 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/18546/task/18612/stat : 18612 (java) S 18543 18546 13605 0 -1 1077944384 47 12389 0 0 0 0 7 3 20 0 20 0 5461961 11259342848 133385 33554432000 4194304 4196468 140731533659216 139635054876288 139635582375637 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 37044224 140731533662913 140731533665687 140731533665687 140731533668303 0
[pid=18546/tid=18613] ppid=18543 vsize=10995452 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/18546/task/18613/stat : 18613 (java) S 18543 18546 13605 0 -1 1077944384 1 12389 0 0 0 0 7 3 20 0 20 0 5461964 11259342848 133385 33554432000 4194304 4196468 140731533659216 139635053824592 139635582384027 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 37044224 140731533662913 140731533665687 140731533665687 140731533668303 0
[pid=18546/tid=18614] ppid=18543 vsize=10995452 CPUtime=2.88 cores=1,3,5,7,9,11,13,15
/proc/18546/task/18614/stat : 18614 (java) S 18543 18546 13605 0 -1 1077944384 9549 12389 0 0 277 1 7 3 20 0 20 0 5461964 11259342848 133385 33554432000 4194304 4196468 140731533659216 139635052771440 139635582376578 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 37044224 140731533662913 140731533665687 140731533665687 140731533668303 0
[pid=18546/tid=18615] ppid=18543 vsize=10995452 CPUtime=2.57 cores=1,3,5,7,9,11,13,15
/proc/18546/task/18615/stat : 18615 (java) S 18543 18546 13605 0 -1 1077944384 4598 12389 0 0 245 2 7 3 20 0 20 0 5461964 11259342848 133385 33554432000 4194304 4196468 140731533659216 139635051718640 139635582376578 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37044224 140731533662913 140731533665687 140731533665687 140731533668303 0
[pid=18546/tid=18616] ppid=18543 vsize=10995452 CPUtime=2.54 cores=1,3,5,7,9,11,13,15
/proc/18546/task/18616/stat : 18616 (java) S 18543 18546 13605 0 -1 1077944384 12314 12389 0 0 242 2 7 3 20 0 20 0 5461964 11259342848 133385 33554432000 4194304 4196468 140731533659216 139635050666352 139635582376578 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37044224 140731533662913 140731533665687 140731533665687 140731533668303 0
[pid=18546/tid=18617] ppid=18543 vsize=10995452 CPUtime=2.17 cores=1,3,5,7,9,11,13,15
/proc/18546/task/18617/stat : 18617 (java) R 18543 18546 13605 0 -1 4202560 9084 12389 0 0 205 2 7 3 20 0 20 0 5461964 11259342848 133385 33554432000 4194304 4196468 140731533659216 139635049613848 139635565740606 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37044224 140731533662913 140731533665687 140731533665687 140731533668303 0
[pid=18546/tid=18618] ppid=18543 vsize=10995452 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
################
# More data... #
################
[pid=18546/tid=18615] ppid=18543 vsize=10995452 CPUtime=3.08 cores=1,3,5,7,9,11,13,15
/proc/18546/task/18615/stat : 18615 (java) S 18543 18546 13605 0 -1 1077944384 10490 12389 0 0 295 3 7 3 20 0 20 0 5461964 11259342848 788577 33554432000 4194304 4196468 140731533659216 139635051718640 139635582376578 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 37044224 140731533662913 140731533665687 140731533665687 140731533668303 0
[pid=18546/tid=18616] ppid=18543 vsize=10995452 CPUtime=3.14 cores=1,3,5,7,9,11,13,15
/proc/18546/task/18616/stat : 18616 (java) S 18543 18546 13605 0 -1 1077944384 22681 12389 0 0 301 3 7 3 20 0 20 0 5461964 11259342848 788577 33554432000 4194304 4196468 140731533659216 139635050666352 139635582376578 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37044224 140731533662913 140731533665687 140731533665687 140731533668303 0
[pid=18546/tid=18617] ppid=18543 vsize=10995452 CPUtime=2.31 cores=1,3,5,7,9,11,13,15
/proc/18546/task/18617/stat : 18617 (java) S 18543 18546 13605 0 -1 1077944384 18446 12389 0 0 217 4 7 3 20 0 20 0 5461964 11259342848 788577 33554432000 4194304 4196468 140731533659216 139635049613552 139635582376578 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37044224 140731533662913 140731533665687 140731533665687 140731533668303 0
[pid=18546/tid=18618] ppid=18543 vsize=10995452 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/18546/task/18618/stat : 18618 (java) S 18543 18546 13605 0 -1 1077944384 3 12389 0 0 0 0 7 3 20 0 20 0 5461964 11259342848 788577 33554432000 4194304 4196468 140731533659216 139635048561504 139635582375637 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 37044224 140731533662913 140731533665687 140731533665687 140731533668303 0
[pid=18546/tid=18619] ppid=18543 vsize=10995452 CPUtime=1.36 cores=1,3,5,7,9,11,13,15
/proc/18546/task/18619/stat : 18619 (java) S 18543 18546 13605 0 -1 1077944384 1222 12389 0 0 60 66 7 3 20 0 20 0 5461964 11259342848 788577 33554432000 4194304 4196468 140731533659216 139635047508784 139635582376578 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37044224 140731533662913 140731533665687 140731533665687 140731533668303 0
Current children cumulated CPU time (s) 2312.94
Current children cumulated vsize (KiB) 10995452
[startup+2322.3 s]
/proc/loadavg: 1.83 1.79 1.64 3/281 18851
/proc/meminfo: memFree=25453724/32770624 swapFree=5844/258456
[pid=18546] ppid=18543 vsize=10995452 CPUtime=2373.23 cores=1,3,5,7,9,11,13,15
/proc/18546/stat : 18546 (java) S 18543 18546 13605 0 -1 1077944320 645355 12389 0 0 236799 514 7 3 20 0 20 0 5461945 11259342848 788395 33554432000 4194304 4196468 140731533659216 140731533641760 139635582365431 0 0 0 16800975 18446744073709551615 0 0 17 15 0 0 0 0 0 6293624 6294260 37044224 140731533662913 140731533665687 140731533665687 140731533668303 0
/proc/18546/statm: 2748863 788395 3513 1 0 2736418 0
[pid=18546/tid=18601] ppid=18543 vsize=10995452 CPUtime=2310.03 cores=1,3,5,7,9,11,13,15
/proc/18546/task/18601/stat : 18601 (java) R 18543 18546 13605 0 -1 4202560 476452 12389 0 0 230893 100 7 3 20 0 20 0 5461957 11259342848 788395 33554432000 4194304 4196468 140731533659216 139635586599456 139635192403821 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37044224 140731533662913 140731533665687 140731533665687 140731533668303 0
[pid=18546/tid=18602] ppid=18543 vsize=10995452 CPUtime=6 cores=1,3,5,7,9,11,13,15
/proc/18546/task/18602/stat : 18602 (java) S 18543 18546 13605 0 -1 1077944384 9334 12389 0 0 552 38 7 3 20 0 20 0 5461958 11259342848 788395 33554432000 4194304 4196468 140731533659216 139635508439952 139635582375637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37044224 140731533662913 140731533665687 140731533665687 140731533668303 0
[pid=18546/tid=18603] ppid=18543 vsize=10995452 CPUtime=5.93 cores=1,3,5,7,9,11,13,15
/proc/18546/task/18603/stat : 18603 (java) S 18543 18546 13605 0 -1 1077944384 5474 12389 0 0 544 39 7 3 20 0 20 0 5461958 11259342848 788395 33554432000 4194304 4196468 140731533659216 139635507387152 139635582375637 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 37044224 140731533662913 140731533665687 140731533665687 140731533668303 0
[pid=18546/tid=18604] ppid=18543 vsize=10995452 CPUtime=5.88 cores=1,3,5,7,9,11,13,15
/proc/18546/task/18604/stat : 18604 (java) S 18543 18546 13605 0 -1 1077944384 7854 12389 0 0 535 43 7 3 20 0 20 0 5461958 11259342848 788395 33554432000 4194304 4196468 140731533659216 139635506334864 139635582375637 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 37044224 140731533662913 140731533665687 140731533665687 140731533668303 0
[pid=18546/tid=18605] ppid=18543 vsize=10995452 CPUtime=5.88 cores=1,3,5,7,9,11,13,15
/proc/18546/task/18605/stat : 18605 (java) S 18543 18546 13605 0 -1 1077944384 11535 12389 0 0 535 43 7 3 20 0 20 0 5461958 11259342848 788395 33554432000 4194304 4196468 140731533659216 139635505282064 139635582375637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37044224 140731533662913 140731533665687 140731533665687 140731533668303 0
[pid=18546/tid=18606] ppid=18543 vsize=10995452 CPUtime=5.92 cores=1,3,5,7,9,11,13,15
/proc/18546/task/18606/stat : 18606 (java) S 18543 18546 13605 0 -1 1077944384 8735 12389 0 0 542 40 7 3 20 0 20 0 5461958 11259342848 788395 33554432000 4194304 4196468 140731533659216 139635504228752 139635582375637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37044224 140731533662913 140731533665687 140731533665687 140731533668303 0
[pid=18546/tid=18607] ppid=18543 vsize=10995452 CPUtime=5.82 cores=1,3,5,7,9,11,13,15
/proc/18546/task/18607/stat : 18607 (java) S 18543 18546 13605 0 -1 1077944384 8976 12389 0 0 533 39 7 3 20 0 20 0 5461958 11259342848 788395 33554432000 4194304 4196468 140731533659216 139635503175952 139635582375637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37044224 140731533662913 140731533665687 140731533665687 140731533668303 0
[pid=18546/tid=18608] ppid=18543 vsize=10995452 CPUtime=5.78 cores=1,3,5,7,9,11,13,15
/proc/18546/task/18608/stat : 18608 (java) S 18543 18546 13605 0 -1 1077944384 5963 12389 0 0 529 39 7 3 20 0 20 0 5461958 11259342848 788395 33554432000 4194304 4196468 140731533659216 139635502123664 139635582375637 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 37044224 140731533662913 140731533665687 140731533665687 140731533668303 0
[pid=18546/tid=18609] ppid=18543 vsize=10995452 CPUtime=5.92 cores=1,3,5,7,9,11,13,15
/proc/18546/task/18609/stat : 18609 (java) S 18543 18546 13605 0 -1 1077944384 10979 12389 0 0 543 39 7 3 20 0 20 0 5461958 11259342848 788395 33554432000 4194304 4196468 140731533659216 139635501070864 139635582375637 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 37044224 140731533662913 140731533665687 140731533665687 140731533668303 0
[pid=18546/tid=18610] ppid=18543 vsize=10995452 CPUtime=3.77 cores=1,3,5,7,9,11,13,15
/proc/18546/task/18610/stat : 18610 (java) S 18543 18546 13605 0 -1 1077944384 26482 12389 0 0 320 47 7 3 20 0 20 0 5461960 11259342848 788395 33554432000 4194304 4196468 140731533659216 139635056982640 139635582376578 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37044224 140731533662913 140731533665687 140731533665687 140731533668303 0
[pid=18546/tid=18611] ppid=18543 vsize=10995452 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/18546/task/18611/stat : 18611 (java) S 18543 18546 13605 0 -1 1077944384 55 12389 0 0 0 0 7 3 20 0 20 0 5461960 11259342848 788395 33554432000 4194304 4196468 140731533659216 139635055928672 139635582375637 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 37044224 140731533662913 140731533665687 140731533665687 140731533668303 0
[pid=18546/tid=18612] ppid=18543 vsize=10995452 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/18546/task/18612/stat : 18612 (java) S 18543 18546 13605 0 -1 1077944384 47 12389 0 0 0 0 7 3 20 0 20 0 5461961 11259342848 788395 33554432000 4194304 4196468 140731533659216 139635054876288 139635582375637 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 37044224 140731533662913 140731533665687 140731533665687 140731533668303 0
[pid=18546/tid=18613] ppid=18543 vsize=10995452 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/18546/task/18613/stat : 18613 (java) S 18543 18546 13605 0 -1 1077944384 1 12389 0 0 0 0 7 3 20 0 20 0 5461964 11259342848 788395 33554432000 4194304 4196468 140731533659216 139635053824592 139635582384027 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 37044224 140731533662913 140731533665687 140731533665687 140731533668303 0
[pid=18546/tid=18614] ppid=18543 vsize=10995452 CPUtime=3.59 cores=1,3,5,7,9,11,13,15
/proc/18546/task/18614/stat : 18614 (java) S 18543 18546 13605 0 -1 1077944384 18182 12389 0 0 347 2 7 3 20 0 20 0 5461964 11259342848 788395 33554432000 4194304 4196468 140731533659216 139635052771440 139635582376578 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 37044224 140731533662913 140731533665687 140731533665687 140731533668303 0
[pid=18546/tid=18615] ppid=18543 vsize=10995452 CPUtime=3.08 cores=1,3,5,7,9,11,13,15
/proc/18546/task/18615/stat : 18615 (java) S 18543 18546 13605 0 -1 1077944384 10492 12389 0 0 295 3 7 3 20 0 20 0 5461964 11259342848 788395 33554432000 4194304 4196468 140731533659216 139635051718640 139635582376578 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 37044224 140731533662913 140731533665687 140731533665687 140731533668303 0
[pid=18546/tid=18616] ppid=18543 vsize=10995452 CPUtime=3.14 cores=1,3,5,7,9,11,13,15
/proc/18546/task/18616/stat : 18616 (java) S 18543 18546 13605 0 -1 1077944384 22967 12389 0 0 301 3 7 3 20 0 20 0 5461964 11259342848 788395 33554432000 4194304 4196468 140731533659216 139635050666352 139635582376578 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37044224 140731533662913 140731533665687 140731533665687 140731533668303 0
[pid=18546/tid=18617] ppid=18543 vsize=10995452 CPUtime=2.32 cores=1,3,5,7,9,11,13,15
/proc/18546/task/18617/stat : 18617 (java) S 18543 18546 13605 0 -1 1077944384 18448 12389 0 0 218 4 7 3 20 0 20 0 5461964 11259342848 788395 33554432000 4194304 4196468 140731533659216 139635049613552 139635582376578 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37044224 140731533662913 140731533665687 140731533665687 140731533668303 0
[pid=18546/tid=18618] ppid=18543 vsize=10995452 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/18546/task/18618/stat : 18618 (java) S 18543 18546 13605 0 -1 1077944384 3 12389 0 0 0 0 7 3 20 0 20 0 5461964 11259342848 788395 33554432000 4194304 4196468 140731533659216 139635048561504 139635582375637 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 37044224 140731533662913 140731533665687 140731533665687 140731533668303 0
[pid=18546/tid=18619] ppid=18543 vsize=10995452 CPUtime=1.4 cores=1,3,5,7,9,11,13,15
/proc/18546/task/18619/stat : 18619 (java) S 18543 18546 13605 0 -1 1077944384 1243 12389 0 0 62 68 7 3 20 0 20 0 5461964 11259342848 788395 33554432000 4194304 4196468 140731533659216 139635047508784 139635582376578 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37044224 140731533662913 140731533665687 140731533665687 140731533668303 0
Current children cumulated CPU time (s) 2373.23
Current children cumulated vsize (KiB) 10995452
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2349 s]
/proc/loadavg: 1.82 1.79 1.65 3/281 18851
/proc/meminfo: memFree=25453660/32770624 swapFree=5844/258472
[pid=18546] ppid=18543 vsize=10995452 CPUtime=2400.04 cores=1,3,5,7,9,11,13,15
/proc/18546/stat : 18546 (java) S 18543 18546 13605 0 -1 1077944320 657954 12389 0 0 239479 515 7 3 20 0 20 0 5461945 11259342848 788421 33554432000 4194304 4196468 140731533659216 140731533641760 139635582365431 0 0 0 16800975 18446744073709551615 0 0 17 15 0 0 0 0 0 6293624 6294260 37044224 140731533662913 140731533665687 140731533665687 140731533668303 0
/proc/18546/statm: 2748863 788421 3513 1 0 2736418 0
[pid=18546/tid=18601] ppid=18543 vsize=10995452 CPUtime=2336.69 cores=1,3,5,7,9,11,13,15
/proc/18546/task/18601/stat : 18601 (java) R 18543 18546 13605 0 -1 4202560 488829 12389 0 0 233558 101 7 3 20 0 20 0 5461957 11259342848 788421 33554432000 4194304 4196468 140731533659216 139635586599456 139635191681546 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37044224 140731533662913 140731533665687 140731533665687 140731533668303 0
[pid=18546/tid=18602] ppid=18543 vsize=10995452 CPUtime=6.02 cores=1,3,5,7,9,11,13,15
/proc/18546/task/18602/stat : 18602 (java) S 18543 18546 13605 0 -1 1077944384 9363 12389 0 0 554 38 7 3 20 0 20 0 5461958 11259342848 788421 33554432000 4194304 4196468 140731533659216 139635508439952 139635582375637 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 37044224 140731533662913 140731533665687 140731533665687 140731533668303 0
[pid=18546/tid=18603] ppid=18543 vsize=10995452 CPUtime=5.94 cores=1,3,5,7,9,11,13,15
/proc/18546/task/18603/stat : 18603 (java) S 18543 18546 13605 0 -1 1077944384 5515 12389 0 0 545 39 7 3 20 0 20 0 5461958 11259342848 788421 33554432000 4194304 4196468 140731533659216 139635507387152 139635582375637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37044224 140731533662913 140731533665687 140731533665687 140731533668303 0
[pid=18546/tid=18604] ppid=18543 vsize=10995452 CPUtime=5.9 cores=1,3,5,7,9,11,13,15
/proc/18546/task/18604/stat : 18604 (java) S 18543 18546 13605 0 -1 1077944384 7869 12389 0 0 537 43 7 3 20 0 20 0 5461958 11259342848 788421 33554432000 4194304 4196468 140731533659216 139635506334864 139635582375637 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 37044224 140731533662913 140731533665687 140731533665687 140731533668303 0
[pid=18546/tid=18605] ppid=18543 vsize=10995452 CPUtime=5.9 cores=1,3,5,7,9,11,13,15
/proc/18546/task/18605/stat : 18605 (java) S 18543 18546 13605 0 -1 1077944384 11560 12389 0 0 537 43 7 3 20 0 20 0 5461958 11259342848 788421 33554432000 4194304 4196468 140731533659216 139635505282064 139635582375637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37044224 140731533662913 140731533665687 140731533665687 140731533668303 0
[pid=18546/tid=18606] ppid=18543 vsize=10995452 CPUtime=5.93 cores=1,3,5,7,9,11,13,15
/proc/18546/task/18606/stat : 18606 (java) S 18543 18546 13605 0 -1 1077944384 8763 12389 0 0 543 40 7 3 20 0 20 0 5461958 11259342848 788421 33554432000 4194304 4196468 140731533659216 139635504228752 139635582375637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37044224 140731533662913 140731533665687 140731533665687 140731533668303 0
[pid=18546/tid=18607] ppid=18543 vsize=10995452 CPUtime=5.84 cores=1,3,5,7,9,11,13,15
/proc/18546/task/18607/stat : 18607 (java) S 18543 18546 13605 0 -1 1077944384 9029 12389 0 0 535 39 7 3 20 0 20 0 5461958 11259342848 788421 33554432000 4194304 4196468 140731533659216 139635503175952 139635582375637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37044224 140731533662913 140731533665687 140731533665687 140731533668303 0
[pid=18546/tid=18608] ppid=18543 vsize=10995452 CPUtime=5.8 cores=1,3,5,7,9,11,13,15
/proc/18546/task/18608/stat : 18608 (java) S 18543 18546 13605 0 -1 1077944384 5989 12389 0 0 531 39 7 3 20 0 20 0 5461958 11259342848 788421 33554432000 4194304 4196468 140731533659216 139635502123664 139635582375637 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 37044224 140731533662913 140731533665687 140731533665687 140731533668303 0
[pid=18546/tid=18609] ppid=18543 vsize=10995452 CPUtime=5.94 cores=1,3,5,7,9,11,13,15
/proc/18546/task/18609/stat : 18609 (java) S 18543 18546 13605 0 -1 1077944384 10980 12389 0 0 545 39 7 3 20 0 20 0 5461958 11259342848 788421 33554432000 4194304 4196468 140731533659216 139635501070864 139635582375637 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 37044224 140731533662913 140731533665687 140731533665687 140731533668303 0
[pid=18546/tid=18610] ppid=18543 vsize=10995452 CPUtime=3.78 cores=1,3,5,7,9,11,13,15
/proc/18546/task/18610/stat : 18610 (java) S 18543 18546 13605 0 -1 1077944384 26484 12389 0 0 321 47 7 3 20 0 20 0 5461960 11259342848 788421 33554432000 4194304 4196468 140731533659216 139635056982640 139635582376578 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37044224 140731533662913 140731533665687 140731533665687 140731533668303 0
[pid=18546/tid=18611] ppid=18543 vsize=10995452 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/18546/task/18611/stat : 18611 (java) S 18543 18546 13605 0 -1 1077944384 55 12389 0 0 0 0 7 3 20 0 20 0 5461960 11259342848 788421 33554432000 4194304 4196468 140731533659216 139635055928672 139635582375637 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 37044224 140731533662913 140731533665687 140731533665687 140731533668303 0
[pid=18546/tid=18612] ppid=18543 vsize=10995452 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/18546/task/18612/stat : 18612 (java) S 18543 18546 13605 0 -1 1077944384 47 12389 0 0 0 0 7 3 20 0 20 0 5461961 11259342848 788421 33554432000 4194304 4196468 140731533659216 139635054876288 139635582375637 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 37044224 140731533662913 140731533665687 140731533665687 140731533668303 0
[pid=18546/tid=18613] ppid=18543 vsize=10995452 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/18546/task/18613/stat : 18613 (java) S 18543 18546 13605 0 -1 1077944384 1 12389 0 0 0 0 7 3 20 0 20 0 5461964 11259342848 788421 33554432000 4194304 4196468 140731533659216 139635053824592 139635582384027 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 37044224 140731533662913 140731533665687 140731533665687 140731533668303 0
[pid=18546/tid=18614] ppid=18543 vsize=10995452 CPUtime=3.59 cores=1,3,5,7,9,11,13,15
/proc/18546/task/18614/stat : 18614 (java) S 18543 18546 13605 0 -1 1077944384 18182 12389 0 0 347 2 7 3 20 0 20 0 5461964 11259342848 788421 33554432000 4194304 4196468 140731533659216 139635052771440 139635582376578 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 37044224 140731533662913 140731533665687 140731533665687 140731533668303 0
[pid=18546/tid=18615] ppid=18543 vsize=10995452 CPUtime=3.08 cores=1,3,5,7,9,11,13,15
/proc/18546/task/18615/stat : 18615 (java) S 18543 18546 13605 0 -1 1077944384 10492 12389 0 0 295 3 7 3 20 0 20 0 5461964 11259342848 788421 33554432000 4194304 4196468 140731533659216 139635051718640 139635582376578 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 37044224 140731533662913 140731533665687 140731533665687 140731533668303 0
[pid=18546/tid=18616] ppid=18543 vsize=10995452 CPUtime=3.14 cores=1,3,5,7,9,11,13,15
/proc/18546/task/18616/stat : 18616 (java) S 18543 18546 13605 0 -1 1077944384 22967 12389 0 0 301 3 7 3 20 0 20 0 5461964 11259342848 788421 33554432000 4194304 4196468 140731533659216 139635050666352 139635582376578 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37044224 140731533662913 140731533665687 140731533665687 140731533668303 0
[pid=18546/tid=18617] ppid=18543 vsize=10995452 CPUtime=2.32 cores=1,3,5,7,9,11,13,15
/proc/18546/task/18617/stat : 18617 (java) S 18543 18546 13605 0 -1 1077944384 18448 12389 0 0 218 4 7 3 20 0 20 0 5461964 11259342848 788421 33554432000 4194304 4196468 140731533659216 139635049613552 139635582376578 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37044224 140731533662913 140731533665687 140731533665687 140731533668303 0
[pid=18546/tid=18618] ppid=18543 vsize=10995452 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/18546/task/18618/stat : 18618 (java) S 18543 18546 13605 0 -1 1077944384 3 12389 0 0 0 0 7 3 20 0 20 0 5461964 11259342848 788421 33554432000 4194304 4196468 140731533659216 139635048561504 139635582375637 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 37044224 140731533662913 140731533665687 140731533665687 140731533668303 0
[pid=18546/tid=18619] ppid=18543 vsize=10995452 CPUtime=1.41 cores=1,3,5,7,9,11,13,15
/proc/18546/task/18619/stat : 18619 (java) S 18543 18546 13605 0 -1 1077944384 1245 12389 0 0 62 69 7 3 20 0 20 0 5461964 11259342848 788421 33554432000 4194304 4196468 140731533659216 139635047508784 139635582376578 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37044224 140731533662913 140731533665687 140731533665687 140731533668303 0
Current children cumulated CPU time (s) 2400.04
Current children cumulated vsize (KiB) 10995452
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 18546 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2349.2 s]
/proc/loadavg: 1.82 1.79 1.65 3/281 18851
/proc/meminfo: memFree=25453660/32770624 swapFree=5844/258472
[pid=18546] ppid=18543 vsize=11128580 CPUtime=2400.92 cores=1,3,5,7,9,11,13,15
/proc/18546/stat : 18546 (java) S 18543 18546 13605 0 -1 1077944320 663208 12389 0 0 239565 517 7 3 20 0 22 0 5461945 11395665920 789514 33554432000 4194304 4196468 140731533659216 140731533641760 139635582365431 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37044224 140731533662913 140731533665687 140731533665687 140731533668303 0
/proc/18546/statm: 2782145 789514 3513 1 0 2769700 0
[pid=18546/tid=18601] ppid=18543 vsize=11128580 CPUtime=2336.7 cores=1,3,5,7,9,11,13,15
/proc/18546/task/18601/stat : 18601 (java) S 18543 18546 13605 0 -1 1077944384 489096 12389 0 0 233559 101 7 3 20 0 22 0 5461957 11395665920 789514 33554432000 4194304 4196468 140731533659216 139635586602976 139635582375637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37044224 140731533662913 140731533665687 140731533665687 140731533668303 0
[pid=18546/tid=18602] ppid=18543 vsize=11128580 CPUtime=6.12 cores=1,3,5,7,9,11,13,15
/proc/18546/task/18602/stat : 18602 (java) R 18543 18546 13605 0 -1 4202560 9373 12389 0 0 564 38 7 3 20 0 22 0 5461958 11395665920 789514 33554432000 4194304 4196468 140731533659216 139635508440152 139635567361841 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37044224 140731533662913 140731533665687 140731533665687 140731533668303 0
[pid=18546/tid=18603] ppid=18543 vsize=11128580 CPUtime=6.02 cores=1,3,5,7,9,11,13,15
/proc/18546/task/18603/stat : 18603 (java) R 18543 18546 13605 0 -1 4202560 5560 12389 0 0 553 39 7 3 20 0 22 0 5461958 11395665920 789514 33554432000 4194304 4196468 140731533659216 139635507387352 139635574993639 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37044224 140731533662913 140731533665687 140731533665687 140731533668303 0
[pid=18546/tid=18604] ppid=18543 vsize=11128580 CPUtime=6 cores=1,3,5,7,9,11,13,15
/proc/18546/task/18604/stat : 18604 (java) R 18543 18546 13605 0 -1 4202560 7933 12389 0 0 547 43 7 3 20 0 22 0 5461958 11395665920 789514 33554432000 4194304 4196468 140731533659216 139635506335064 139635574993639 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 37044224 140731533662913 140731533665687 140731533665687 140731533668303 0
[pid=18546/tid=18605] ppid=18543 vsize=11128580 CPUtime=6 cores=1,3,5,7,9,11,13,15
/proc/18546/task/18605/stat : 18605 (java) R 18543 18546 13605 0 -1 4202560 11573 12389 0 0 547 43 7 3 20 0 22 0 5461958 11395665920 789514 33554432000 4194304 4196468 140731533659216 139635505282064 139635574993639 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37044224 140731533662913 140731533665687 140731533665687 140731533668303 0
[pid=18546/tid=18606] ppid=18543 vsize=11128580 CPUtime=6.03 cores=1,3,5,7,9,11,13,15
/proc/18546/task/18606/stat : 18606 (java) R 18543 18546 13605 0 -1 4202560 8878 12389 0 0 553 40 7 3 20 0 22 0 5461958 11395665920 789514 33554432000 4194304 4196468 140731533659216 139635504228872 139635565748466 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 37044224 140731533662913 140731533665687 140731533665687 140731533668303 0
[pid=18546/tid=18607] ppid=18543 vsize=11128580 CPUtime=5.94 cores=1,3,5,7,9,11,13,15
/proc/18546/task/18607/stat : 18607 (java) R 18543 18546 13605 0 -1 4202560 9048 12389 0 0 544 40 7 3 20 0 22 0 5461958 11395665920 789514 33554432000 4194304 4196468 140731533659216 139635503175840 139635574993639 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 37044224 140731533662913 140731533665687 140731533665687 140731533668303 0
[pid=18546/tid=18608] ppid=18543 vsize=11128580 CPUtime=5.9 cores=1,3,5,7,9,11,13,15
/proc/18546/task/18608/stat : 18608 (java) R 18543 18546 13605 0 -1 4202560 5996 12389 0 0 541 39 7 3 20 0 22 0 5461958 11395665920 789514 33554432000 4194304 4196468 140731533659216 139635502123864 139635574993639 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 37044224 140731533662913 140731533665687 140731533665687 140731533668303 0
[pid=18546/tid=18609] ppid=18543 vsize=11128580 CPUtime=6.04 cores=1,3,5,7,9,11,13,15
/proc/18546/task/18609/stat : 18609 (java) R 18543 18546 13605 0 -1 4202560 11007 12389 0 0 555 39 7 3 20 0 22 0 5461958 11395665920 789514 33554432000 4194304 4196468 140731533659216 139635501071064 139635574993639 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 37044224 140731533662913 140731533665687 140731533665687 140731533668303 0
[pid=18546/tid=18610] ppid=18543 vsize=11128580 CPUtime=3.88 cores=1,3,5,7,9,11,13,15
/proc/18546/task/18610/stat : 18610 (java) S 18543 18546 13605 0 -1 1077944384 30986 12389 0 0 330 48 7 3 20 0 22 0 5461960 11395665920 789514 33554432000 4194304 4196468 140731533659216 139635056981264 139635582375637 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37044224 140731533662913 140731533665687 140731533665687 140731533668303 0
[pid=18546/tid=18611] ppid=18543 vsize=11128580 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/18546/task/18611/stat : 18611 (java) S 18543 18546 13605 0 -1 1077944384 57 12389 0 0 0 0 7 3 20 0 22 0 5461960 11395665920 789514 33554432000 4194304 4196468 140731533659216 139635055928304 139635582375637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37044224 140731533662913 140731533665687 140731533665687 140731533668303 0
[pid=18546/tid=18612] ppid=18543 vsize=11128580 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/18546/task/18612/stat : 18612 (java) S 18543 18546 13605 0 -1 1077944384 47 12389 0 0 0 0 7 3 20 0 22 0 5461961 11395665920 789514 33554432000 4194304 4196468 140731533659216 139635054876288 139635582375637 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 37044224 140731533662913 140731533665687 140731533665687 140731533668303 0
[pid=18546/tid=18613] ppid=18543 vsize=11128580 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/18546/task/18613/stat : 18613 (java) S 18543 18546 13605 0 -1 1077944384 60 12389 0 0 0 0 7 3 20 0 22 0 5461964 11395665920 789514 33554432000 4194304 4196468 140731533659216 139635053824592 139635582384027 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 37044224 140731533662913 140731533665687 140731533665687 140731533668303 0
[pid=18546/tid=18614] ppid=18543 vsize=11128580 CPUtime=3.59 cores=1,3,5,7,9,11,13,15
/proc/18546/task/18614/stat : 18614 (java) S 18543 18546 13605 0 -1 1077944384 18182 12389 0 0 347 2 7 3 20 0 22 0 5461964 11395665920 789514 33554432000 4194304 4196468 140731533659216 139635052771440 139635582376578 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 37044224 140731533662913 140731533665687 140731533665687 140731533668303 0
[pid=18546/tid=18615] ppid=18543 vsize=11128580 CPUtime=3.08 cores=1,3,5,7,9,11,13,15
/proc/18546/task/18615/stat : 18615 (java) S 18543 18546 13605 0 -1 1077944384 10492 12389 0 0 295 3 7 3 20 0 22 0 5461964 11395665920 789514 33554432000 4194304 4196468 140731533659216 139635051718640 139635582376578 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 37044224 140731533662913 140731533665687 140731533665687 140731533668303 0
[pid=18546/tid=18616] ppid=18543 vsize=11128580 CPUtime=3.14 cores=1,3,5,7,9,11,13,15
/proc/18546/task/18616/stat : 18616 (java) S 18543 18546 13605 0 -1 1077944384 22967 12389 0 0 301 3 7 3 20 0 22 0 5461964 11395665920 789514 33554432000 4194304 4196468 140731533659216 139635050666352 139635582376578 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37044224 140731533662913 140731533665687 140731533665687 140731533668303 0
[pid=18546/tid=18617] ppid=18543 vsize=11128580 CPUtime=2.32 cores=1,3,5,7,9,11,13,15
/proc/18546/task/18617/stat : 18617 (java) S 18543 18546 13605 0 -1 1077944384 18467 12389 0 0 218 4 7 3 20 0 22 0 5461964 11395665920 789514 33554432000 4194304 4196468 140731533659216 139635049613120 139635582375637 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 37044224 140731533662913 140731533665687 140731533665687 140731533668303 0
[pid=18546/tid=18618] ppid=18543 vsize=11128580 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/18546/task/18618/stat : 18618 (java) S 18543 18546 13605 0 -1 1077944384 3 12389 0 0 0 0 7 3 20 0 22 0 5461964 11395665920 789514 33554432000 4194304 4196468 140731533659216 139635048561504 139635582375637 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 37044224 140731533662913 140731533665687 140731533665687 140731533668303 0
[pid=18546/tid=18619] ppid=18543 vsize=11128580 CPUtime=1.41 cores=1,3,5,7,9,11,13,15
/proc/18546/task/18619/stat : 18619 (java) S 18543 18546 13605 0 -1 1077944384 1245 12389 0 0 62 69 7 3 20 0 22 0 5461964 11395665920 789514 33554432000 4194304 4196468 140731533659216 139635047508784 139635582376578 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37044224 140731533662913 140731533665687 140731533665687 140731533668303 0
Current children cumulated CPU time (s) 2400.92
Current children cumulated vsize (KiB) 11128580
Child status: 143
Real time (s): 2349.29
CPU time (s): 2401.19
CPU user time (s): 2395.95
CPU system time (s): 5.23665
CPU usage (%): 102.209
Max. virtual memory (cumulated for all children) (KiB): 11128580
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2395.95
system time used= 5.23665
maximum resident set size= 3158704
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 675696
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2768
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 163083
involuntary context switches= 145051
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.0731 second user time and 21.077 second system time
The end