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-4244149-1500681045/watcher-4244149-1500681045 -o /tmp/evaluation-result-4244149-1500681045/solver-4244149-1500681045 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node123-1500681045-8417 --watchdog 2560 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4244149-1500681045.xml
pid=8432
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: 13.65 9.99 5.39 3/240 8435
/proc/meminfo: memFree=32141300/32770624 swapFree=6252/30872
[pid=8435] ppid=8432 vsize=8339376 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8435/stat : 8435 (java) S 8432 8435 8385 0 -1 1077944320 1774 0 0 0 0 0 0 0 20 0 2 0 3372874 8539521024 1537 33554432000 4194304 4196468 140734034037424 140734034019968 140066569629431 0 0 0 16784584 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 13897728 140734034039979 140734034040132 140734034040132 140734034042831 0
/proc/8435/statm: 2084844 1537 1182 1 0 2073755 0
[pid=8435/tid=8436] ppid=8432 vsize=8339376 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8435/task/8436/stat : 8436 (java) R 8432 8435 8385 0 -1 4202560 564 0 0 0 0 0 0 0 20 0 2 0 3372875 8539521024 1602 33554432000 4194304 4196468 140734034037424 140066573871520 140066555032896 0 4 0 16784584 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 13897728 140734034039979 140734034040132 140734034040132 140734034042831 0
[startup+0.100176 s]
/proc/loadavg: 13.65 9.99 5.39 3/240 8435
/proc/meminfo: memFree=32141300/32770624 swapFree=6252/30872
[pid=8435] ppid=8432 vsize=10900556 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/8435/stat : 8435 (java) S 8432 8435 8385 0 -1 1077944320 4876 0 0 0 8 2 0 0 20 0 20 0 3372874 11162169344 5932 33554432000 4194304 4196468 140734034037424 140734034019968 140066569629431 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 13897728 140734034039979 140734034040132 140734034040132 140734034042831 0
/proc/8435/statm: 2725139 5932 2632 1 0 2713552 0
[pid=8435/tid=8436] ppid=8432 vsize=10900556 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/8435/task/8436/stat : 8436 (java) R 8432 8435 8385 0 -1 4202560 2962 0 0 0 7 1 0 0 20 0 20 0 3372875 11162169344 5932 33554432000 4194304 4196468 140734034037424 140066573859728 140066569651357 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 13897728 140734034039979 140734034040132 140734034040132 140734034042831 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10900556
[startup+0.200365 s]
/proc/loadavg: 13.65 9.99 5.39 3/240 8435
/proc/meminfo: memFree=32141300/32770624 swapFree=6252/30872
[pid=8435] ppid=8432 vsize=10900556 CPUtime=0.26 cores=1,3,5,7,9,11,13,15
/proc/8435/stat : 8435 (java) S 8432 8435 8385 0 -1 1077944320 7225 0 0 0 23 3 0 0 20 0 20 0 3372874 11162169344 9040 33554432000 4194304 4196468 140734034037424 140734034019968 140066569629431 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 13897728 140734034039979 140734034040132 140734034040132 140734034042831 0
/proc/8435/statm: 2725139 9040 2888 1 0 2713552 0
[pid=8435/tid=8436] ppid=8432 vsize=10900556 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/8435/task/8436/stat : 8436 (java) R 8432 8435 8385 0 -1 4202560 4782 0 0 0 16 2 0 0 20 0 20 0 3372875 11162169344 9040 33554432000 4194304 4196468 140734034037424 140066573860968 140066553709918 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 13897728 140734034039979 140734034040132 140734034040132 140734034042831 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 10900556
[startup+0.30031 s]
/proc/loadavg: 13.65 9.99 5.39 3/240 8435
/proc/meminfo: memFree=32141300/32770624 swapFree=6252/30872
[pid=8435] ppid=8432 vsize=10900556 CPUtime=0.46 cores=1,3,5,7,9,11,13,15
/proc/8435/stat : 8435 (java) S 8432 8435 8385 0 -1 1077944320 8409 0 0 0 42 4 0 0 20 0 20 0 3372874 11162169344 10800 33554432000 4194304 4196468 140734034037424 140734034019968 140066569629431 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 13897728 140734034039979 140734034040132 140734034040132 140734034042831 0
/proc/8435/statm: 2725139 10800 2986 1 0 2713552 0
[pid=8435/tid=8436] ppid=8432 vsize=10900556 CPUtime=0.27 cores=1,3,5,7,9,11,13,15
/proc/8435/task/8436/stat : 8436 (java) R 8432 8435 8385 0 -1 4202560 5377 0 0 0 25 2 0 0 20 0 20 0 3372875 11162169344 10800 33554432000 4194304 4196468 140734034037424 140066573856992 140066569641366 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 13897728 140734034039979 140734034040132 140734034040132 140734034042831 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 10900556
[startup+0.700316 s]
/proc/loadavg: 13.65 9.99 5.39 3/240 8435
/proc/meminfo: memFree=32141300/32770624 swapFree=6252/30872
[pid=8435] ppid=8432 vsize=10900632 CPUtime=1.95 cores=1,3,5,7,9,11,13,15
/proc/8435/stat : 8435 (java) S 8432 8435 8385 0 -1 1077944320 12048 0 0 0 189 6 0 0 20 0 20 0 3372874 11162247168 42597 33554432000 4194304 4196468 140734034037424 140734034019968 140066569629431 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 13897728 140734034039979 140734034040132 140734034040132 140734034042831 0
/proc/8435/statm: 2725158 42597 3086 1 0 2713552 0
[pid=8435/tid=8436] ppid=8432 vsize=10900632 CPUtime=0.68 cores=1,3,5,7,9,11,13,15
/proc/8435/task/8436/stat : 8436 (java) R 8432 8435 8385 0 -1 4202560 5774 0 0 0 64 4 0 0 20 0 20 0 3372875 11162247168 42597 33554432000 4194304 4196468 140734034037424 140066573865288 140066209849767 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 13897728 140734034039979 140734034040132 140734034040132 140734034042831 0
Current children cumulated CPU time (s) 1.95
Current children cumulated vsize (KiB) 10900632
[startup+1.50117 s]
/proc/loadavg: 13.65 9.99 5.39 5/283 8485
/proc/meminfo: memFree=31735124/32770624 swapFree=6252/31048
[pid=8435] ppid=8432 vsize=10902836 CPUtime=5.15 cores=1,3,5,7,9,11,13,15
/proc/8435/stat : 8435 (java) S 8432 8435 8385 0 -1 1077944320 25136 0 0 0 478 37 0 0 20 0 20 0 3372874 11164504064 76123 33554432000 4194304 4196468 140734034037424 140734034019968 140066569629431 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 13897728 140734034039979 140734034040132 140734034040132 140734034042831 0
/proc/8435/statm: 2725709 76123 3138 1 0 2714103 0
[pid=8435/tid=8436] ppid=8432 vsize=10902836 CPUtime=1.36 cores=1,3,5,7,9,11,13,15
/proc/8435/task/8436/stat : 8436 (java) R 8432 8435 8385 0 -1 4202560 5999 0 0 0 132 4 0 0 20 0 20 0 3372875 11164504064 76123 33554432000 4194304 4196468 140734034037424 140066573847608 140066555892401 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 13897728 140734034039979 140734034040132 140734034040132 140734034042831 0
[pid=8435/tid=8438] ppid=8432 vsize=10902836 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/8435/task/8438/stat : 8438 (java) S 8432 8435 8385 0 -1 1077944384 101 0 0 0 6 3 0 0 20 0 20 0 3372876 11164504064 76123 33554432000 4194304 4196468 140734034037424 140066175953680 140066569639637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13897728 140734034039979 140734034040132 140734034040132 140734034042831 0
[pid=8435/tid=8439] ppid=8432 vsize=10902836 CPUtime=0.05 cores=1,3,5,7,9,11,13,15
/proc/8435/task/8439/stat : 8439 (java) S 8432 8435 8385 0 -1 1077944384 40 0 0 0 2 3 0 0 20 0 20 0 3372876 11164504064 76123 33554432000 4194304 4196468 140734034037424 140066174901136 140066569639637 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 13897728 140734034039979 140734034040132 140734034040132 140734034042831 0
[pid=8435/tid=8440] ppid=8432 vsize=10902836 CPUtime=0.05 cores=1,3,5,7,9,11,13,15
/proc/8435/task/8440/stat : 8440 (java) S 8432 8435 8385 0 -1 1077944384 63 0 0 0 2 3 0 0 20 0 20 0 3372876 11164504064 76123 33554432000 4194304 4196468 140734034037424 140066173848592 140066569639637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13897728 140734034039979 140734034040132 140734034040132 140734034042831 0
[pid=8435/tid=8441] ppid=8432 vsize=10902836 CPUtime=0.06 cores=1,3,5,7,9,11,13,15
/proc/8435/task/8441/stat : 8441 (java) S 8432 8435 8385 0 -1 1077944384 65 0 0 0 3 3 0 0 20 0 20 0 3372876 11164504064 76123 33554432000 4194304 4196468 140734034037424 140066172796048 140066569639637 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 13897728 140734034039979 140734034040132 140734034040132 140734034042831 0
[pid=8435/tid=8442] ppid=8432 vsize=10902836 CPUtime=0.06 cores=1,3,5,7,9,11,13,15
/proc/8435/task/8442/stat : 8442 (java) S 8432 8435 8385 0 -1 1077944384 70 0 0 0 3 3 0 0 20 0 20 0 3372876 11164504064 76123 33554432000 4194304 4196468 140734034037424 140066171742480 140066569639637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13897728 140734034039979 140734034040132 140734034040132 140734034042831 0
[pid=8435/tid=8443] ppid=8432 vsize=10902836 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/8435/task/8443/stat : 8443 (java) S 8432 8435 8385 0 -1 1077944384 84 0 0 0 4 4 0 0 20 0 20 0 3372876 11164504064 76123 33554432000 4194304 4196468 140734034037424 140066170689936 140066569639637 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 13897728 140734034039979 140734034040132 140734034040132 140734034042831 0
[pid=8435/tid=8444] ppid=8432 vsize=10902836 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/8435/task/8444/stat : 8444 (java) S 8432 8435 8385 0 -1 1077944384 79 0 0 0 6 3 0 0 20 0 20 0 3372876 11164504064 76123 33554432000 4194304 4196468 140734034037424 140066169637392 140066569639637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13897728 140734034039979 140734034040132 140734034040132 140734034042831 0
[pid=8435/tid=8445] ppid=8432 vsize=10902836 CPUtime=0.07 cores=1,3,5,7,9,11,13,15
/proc/8435/task/8445/stat : 8445 (java) S 8432 8435 8385 0 -1 1077944384 40 0 0 0 3 4 0 0 20 0 20 0 3372876 11164504064 76123 33554432000 4194304 4196468 140734034037424 140066168584848 140066569639637 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 13897728 140734034039979 140734034040132 140734034040132 140734034042831 0
[pid=8435/tid=8446] ppid=8432 vsize=10902836 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8435/task/8446/stat : 8446 (java) S 8432 8435 8385 0 -1 1077944384 86 0 0 0 0 0 0 0 20 0 20 0 3372878 11164504064 76123 33554432000 4194304 4196468 140734034037424 140065843890672 140066569640578 0 0 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 13897728 140734034039979 140734034040132 140734034040132 140734034042831 0
[pid=8435/tid=8448] ppid=8432 vsize=10902836 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8435/task/8448/stat : 8448 (java) S 8432 8435 8385 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 3372879 11164504064 76123 33554432000 4194304 4196468 140734034037424 140065842836960 140066569639637 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 13897728 140734034039979 140734034040132 140734034040132 140734034042831 0
[pid=8435/tid=8449] ppid=8432 vsize=10902836 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8435/task/8449/stat : 8449 (java) S 8432 8435 8385 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 20 0 3372879 11164504064 76123 33554432000 4194304 4196468 140734034037424 140065841784320 140066569639637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13897728 140734034039979 140734034040132 140734034040132 140734034042831 0
[pid=8435/tid=8454] ppid=8432 vsize=10902836 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8435/task/8454/stat : 8454 (java) S 8432 8435 8385 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3372882 11164504064 76123 33554432000 4194304 4196468 140734034037424 140065840732880 140066569648027 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 13897728 140734034039979 140734034040132 140734034040132 140734034042831 0
[pid=8435/tid=8455] ppid=8432 vsize=10902836 CPUtime=1.04 cores=1,3,5,7,9,11,13,15
/proc/8435/task/8455/stat : 8455 (java) R 8432 8435 8385 0 -1 4202560 5341 0 0 0 103 1 0 0 20 0 20 0 3372882 11164504064 76123 33554432000 4194304 4196468 140734034037424 140065839665496 140066551174938 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13897728 140734034039979 140734034040132 140734034040132 140734034042831 0
[pid=8435/tid=8456] ppid=8432 vsize=10902836 CPUtime=0.64 cores=1,3,5,7,9,11,13,15
/proc/8435/task/8456/stat : 8456 (java) R 8432 8435 8385 0 -1 4202560 3514 0 0 0 64 0 0 0 20 0 20 0 3372882 11164504064 76123 33554432000 4194304 4196468 140734034037424 140065838607944 140066554511199 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 13897728 140734034039979 140734034040132 140734034040132 140734034042831 0
[pid=8435/tid=8457] ppid=8432 vsize=10902836 CPUtime=1.05 cores=1,3,5,7,9,11,13,15
/proc/8435/task/8457/stat : 8457 (java) R 8432 8435 8385 0 -1 4202560 6467 0 0 0 104 1 0 0 20 0 20 0 3372882 11164504064 76123 33554432000 4194304 4196468 140734034037424 140065837560952 140066547795099 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13897728 140734034039979 140734034040132 140734034040132 140734034042831 0
[pid=8435/tid=8458] ppid=8432 vsize=10902836 CPUtime=0.39 cores=1,3,5,7,9,11,13,15
/proc/8435/task/8458/stat : 8458 (java) S 8432 8435 8385 0 -1 1077944384 1819 0 0 0 39 0 0 0 20 0 20 0 3372882 11164504064 76123 33554432000 4194304 4196468 140734034037424 140065836521840 140066569640578 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 13897728 140734034039979 140734034040132 140734034040132 140734034042831 0
[pid=8435/tid=8459] ppid=8432 vsize=10902836 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8435/task/8459/stat : 8459 (java) S 8432 8435 8385 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3372882 11164504064 76123 33554432000 4194304 4196468 140734034037424 140065835469536 140066569639637 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 13897728 140734034039979 140734034040132 140734034040132 140734034042831 0
[pid=8435/tid=8462] ppid=8432 vsize=10902836 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8435/task/8462/stat : 8462 (java) S 8432 8435 8385 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3372883 11164504064 76123 33554432000 4194304 4196468 140734034037424 140065834417072 140066569640578 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 13897728 140734034039979 140734034040132 140734034040132 140734034042831 0
Current children cumulated CPU time (s) 5.15
Current children cumulated vsize (KiB) 10902836
[startup+3.10082 s]
/proc/loadavg: 13.65 9.99 5.39 3/283 8485
/proc/meminfo: memFree=31449080/32770624 swapFree=6252/31048
[pid=8435] ppid=8432 vsize=10900632 CPUtime=9.65 cores=1,3,5,7,9,11,13,15
/proc/8435/stat : 8435 (java) S 8432 8435 8385 0 -1 1077944320 28736 0 0 0 845 120 0 0 20 0 20 0 3372874 11162247168 200625 33554432000 4194304 4196468 140734034037424 140734034019968 140066569629431 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 13897728 140734034039979 140734034040132 140734034040132 140734034042831 0
/proc/8435/statm: 2725158 200625 3142 1 0 2713552 0
[pid=8435/tid=8436] ppid=8432 vsize=10900632 CPUtime=2.71 cores=1,3,5,7,9,11,13,15
/proc/8435/task/8436/stat : 8436 (java) R 8432 8435 8385 0 -1 4202560 6463 0 0 0 263 8 0 0 20 0 20 0 3372875 11162247168 200625 33554432000 4194304 4196468 140734034037424 140066573857224 140066211265488 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13897728 140734034039979 140734034040132 140734034040132 140734034042831 0
[pid=8435/tid=8438] ppid=8432 vsize=10900632 CPUtime=0.35 cores=1,3,5,7,9,11,13,15
/proc/8435/task/8438/stat : 8438 (java) S 8432 8435 8385 0 -1 1077944384 218 0 0 0 22 13 0 0 20 0 20 0 3372876 11162247168 200625 33554432000 4194304 4196468 140734034037424 140066175953680 140066569639637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13897728 140734034039979 140734034040132 140734034040132 140734034042831 0
[pid=8435/tid=8439] ppid=8432 vsize=10900632 CPUtime=0.28 cores=1,3,5,7,9,11,13,15
/proc/8435/task/8439/stat : 8439 (java) S 8432 8435 8385 0 -1 1077944384 244 0 0 0 16 12 0 0 20 0 20 0 3372876 11162247168 200625 33554432000 4194304 4196468 140734034037424 140066174901136 140066569639637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13897728 140734034039979 140734034040132 140734034040132 140734034042831 0
[pid=8435/tid=8440] ppid=8432 vsize=10900632 CPUtime=0.31 cores=1,3,5,7,9,11,13,15
/proc/8435/task/8440/stat : 8440 (java) S 8432 8435 8385 0 -1 1077944384 242 0 0 0 18 13 0 0 20 0 20 0 3372876 11162247168 200625 33554432000 4194304 4196468 140734034037424 140066173848592 140066569639637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13897728 140734034039979 140734034040132 140734034040132 140734034042831 0
[pid=8435/tid=8441] ppid=8432 vsize=10900632 CPUtime=0.32 cores=1,3,5,7,9,11,13,15
/proc/8435/task/8441/stat : 8441 (java) S 8432 8435 8385 0 -1 1077944384 151 0 0 0 19 13 0 0 20 0 20 0 3372876 11162247168 200625 33554432000 4194304 4196468 140734034037424 140066172796048 140066569639637 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 13897728 140734034039979 140734034040132 140734034040132 140734034042831 0
[pid=8435/tid=8442] ppid=8432 vsize=10900632 CPUtime=0.31 cores=1,3,5,7,9,11,13,15
/proc/8435/task/8442/stat : 8442 (java) S 8432 8435 8385 0 -1 1077944384 257 0 0 0 18 13 0 0 20 0 20 0 3372876 11162247168 200625 33554432000 4194304 4196468 140734034037424 140066171742480 140066569639637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13897728 140734034039979 140734034040132 140734034040132 140734034042831 0
[pid=8435/tid=8443] ppid=8432 vsize=10900632 CPUtime=0.34 cores=1,3,5,7,9,11,13,15
/proc/8435/task/8443/stat : 8443 (java) S 8432 8435 8385 0 -1 1077944384 206 0 0 0 19 15 0 0 20 0 20 0 3372876 11162247168 200625 33554432000 4194304 4196468 140734034037424 140066170689936 140066569639637 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 13897728 140734034039979 140734034040132 140734034040132 140734034042831 0
[pid=8435/tid=8444] ppid=8432 vsize=10900632 CPUtime=0.33 cores=1,3,5,7,9,11,13,15
/proc/8435/task/8444/stat : 8444 (java) S 8432 8435 8385 0 -1 1077944384 157 0 0 0 21 12 0 0 20 0 20 0 3372876 11162247168 200625 33554432000 4194304 4196468 140734034037424 140066169637392 140066569639637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13897728 140734034039979 140734034040132 140734034040132 140734034042831 0
[pid=8435/tid=8445] ppid=8432 vsize=10900632 CPUtime=0.32 cores=1,3,5,7,9,11,13,15
/proc/8435/task/8445/stat : 8445 (java) S 8432 8435 8385 0 -1 1077944384 173 0 0 0 18 14 0 0 20 0 20 0 3372876 11162247168 200625 33554432000 4194304 4196468 140734034037424 140066168584848 140066569639637 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 13897728 140734034039979 140734034040132 140734034040132 140734034042831 0
[pid=8435/tid=8446] ppid=8432 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8435/task/8446/stat : 8446 (java) S 8432 8435 8385 0 -1 1077944384 212 0 0 0 0 0 0 0 20 0 20 0 3372878 11162247168 200625 33554432000 4194304 4196468 140734034037424 140065843890672 140066569640578 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13897728 140734034039979 140734034040132 140734034040132 140734034042831 0
[pid=8435/tid=8448] ppid=8432 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8435/task/8448/stat : 8448 (java) S 8432 8435 8385 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 3372879 11162247168 200625 33554432000 4194304 4196468 140734034037424 140065842836960 140066569639637 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 13897728 140734034039979 140734034040132 140734034040132 140734034042831 0
[pid=8435/tid=8449] ppid=8432 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8435/task/8449/stat : 8449 (java) S 8432 8435 8385 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 20 0 3372879 11162247168 200625 33554432000 4194304 4196468 140734034037424 140065841784320 140066569639637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13897728 140734034039979 140734034040132 140734034040132 140734034042831 0
[pid=8435/tid=8454] ppid=8432 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8435/task/8454/stat : 8454 (java) S 8432 8435 8385 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3372882 11162247168 200625 33554432000 4194304 4196468 140734034037424 140065840732880 140066569648027 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 13897728 140734034039979 140734034040132 140734034040132 140734034042831 0
[pid=8435/tid=8455] ppid=8432 vsize=10900632 CPUtime=1.42 cores=1,3,5,7,9,11,13,15
/proc/8435/task/8455/stat : 8455 (java) S 8432 8435 8385 0 -1 1077944384 6118 0 0 0 141 1 0 0 20 0 20 0 3372882 11162247168 200625 33554432000 4194304 4196468 140734034037424 140065839679472 140066569640578 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13897728 140734034039979 140734034040132 140734034040132 140734034042831 0
[pid=8435/tid=8456] ppid=8432 vsize=10900632 CPUtime=1.01 cores=1,3,5,7,9,11,13,15
/proc/8435/task/8456/stat : 8456 (java) S 8432 8435 8385 0 -1 1077944384 4545 0 0 0 100 1 0 0 20 0 20 0 3372882 11162247168 200625 33554432000 4194304 4196468 140734034037424 140065838626928 140066569640578 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13897728 140734034039979 140734034040132 140734034040132 140734034042831 0
[pid=8435/tid=8457] ppid=8432 vsize=10900632 CPUtime=1.45 cores=1,3,5,7,9,11,13,15
/proc/8435/task/8457/stat : 8457 (java) S 8432 8435 8385 0 -1 1077944384 6553 0 0 0 144 1 0 0 20 0 20 0 3372882 11162247168 200625 33554432000 4194304 4196468 140734034037424 140065837574384 140066569640578 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 13897728 140734034039979 140734034040132 140734034040132 140734034042831 0
[pid=8435/tid=8458] ppid=8432 vsize=10900632 CPUtime=0.4 cores=1,3,5,7,9,11,13,15
/proc/8435/task/8458/stat : 8458 (java) S 8432 8435 8385 0 -1 1077944384 1827 0 0 0 40 0 0 0 20 0 20 0 3372882 11162247168 200625 33554432000 4194304 4196468 140734034037424 140065836521840 140066569640578 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 13897728 140734034039979 140734034040132 140734034040132 140734034042831 0
[pid=8435/tid=8459] ppid=8432 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8435/task/8459/stat : 8459 (java) S 8432 8435 8385 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3372882 11162247168 200625 33554432000 4194304 4196468 140734034037424 140065835469536 140066569639637 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 13897728 140734034039979 140734034040132 140734034040132 140734034042831 0
[pid=8435/tid=8462] ppid=8432 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8435/task/8462/stat : 8462 (java) S 8432 8435 8385 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3372883 11162247168 200625 33554432000 4194304 4196468 140734034037424 140065834417072 140066569640578 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 13897728 140734034039979 140734034040132 140734034040132 140734034042831 0
Current children cumulated CPU time (s) 9.65
Current children cumulated vsize (KiB) 10900632
[startup+6.30087 s]
/proc/loadavg: 12.64 9.84 5.37 4/283 8485
/proc/meminfo: memFree=29896268/32770624 swapFree=6252/31056
[pid=8435] ppid=8432 vsize=10900632 CPUtime=22.25 cores=1,3,5,7,9,11,13,15
/proc/8435/stat : 8435 (java) S 8432 8435 8385 0 -1 1077944320 40579 0 0 0 1999 226 0 0 20 0 20 0 3372874 11162247168 295108 33554432000 4194304 4196468 140734034037424 140734034019968 140066569629431 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 13897728 140734034039979 140734034040132 140734034040132 140734034042831 0
/proc/8435/statm: 2725158 295108 3158 1 0 2713552 0
[pid=8435/tid=8436] ppid=8432 vsize=10900632 CPUtime=3.98 cores=1,3,5,7,9,11,13,15
/proc/8435/task/8436/stat : 8436 (java) R 8432 8435 8385 0 -1 4202560 8302 0 0 0 390 8 0 0 20 0 20 0 3372875 11162247168 295108 33554432000 4194304 4196468 140734034037424 140066573859528 140066210519034 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 13897728 140734034039979 140734034040132 140734034040132 140734034042831 0
[pid=8435/tid=8438] ppid=8432 vsize=10900632 CPUtime=1.69 cores=1,3,5,7,9,11,13,15
/proc/8435/task/8438/stat : 8438 (java) S 8432 8435 8385 0 -1 1077944384 602 0 0 0 141 28 0 0 20 0 20 0 3372876 11162247168 295108 33554432000 4194304 4196468 140734034037424 140066175953680 140066569639637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13897728 140734034039979 140734034040132 140734034040132 140734034042831 0
[pid=8435/tid=8439] ppid=8432 vsize=10900632 CPUtime=1.59 cores=1,3,5,7,9,11,13,15
/proc/8435/task/8439/stat : 8439 (java) S 8432 8435 8385 0 -1 1077944384 500 0 0 0 134 25 0 0 20 0 20 0 3372876 11162247168 295108 33554432000 4194304 4196468 140734034037424 140066174901136 140066569639637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13897728 140734034039979 140734034040132 140734034040132 140734034042831 0
[pid=8435/tid=8440] ppid=8432 vsize=10900632 CPUtime=1.65 cores=1,3,5,7,9,11,13,15
/proc/8435/task/8440/stat : 8440 (java) S 8432 8435 8385 0 -1 1077944384 907 0 0 0 137 28 0 0 20 0 20 0 3372876 11162247168 295108 33554432000 4194304 4196468 140734034037424 140066173848592 140066569639637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13897728 140734034039979 140734034040132 140734034040132 140734034042831 0
[pid=8435/tid=8441] ppid=8432 vsize=10900632 CPUtime=1.63 cores=1,3,5,7,9,11,13,15
/proc/8435/task/8441/stat : 8441 (java) S 8432 8435 8385 0 -1 1077944384 717 0 0 0 137 26 0 0 20 0 20 0 3372876 11162247168 295108 33554432000 4194304 4196468 140734034037424 140066172796048 140066569639637 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 13897728 140734034039979 140734034040132 140734034040132 140734034042831 0
[pid=8435/tid=8442] ppid=8432 vsize=10900632 CPUtime=1.61 cores=1,3,5,7,9,11,13,15
/proc/8435/task/8442/stat : 8442 (java) S 8432 8435 8385 0 -1 1077944384 792 0 0 0 137 24 0 0 20 0 20 0 3372876 11162247168 295108 33554432000 4194304 4196468 140734034037424 140066171742480 140066569639637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13897728 140734034039979 140734034040132 140734034040132 140734034042831 0
[pid=8435/tid=8443] ppid=8432 vsize=10900632 CPUtime=1.69 cores=1,3,5,7,9,11,13,15
/proc/8435/task/8443/stat : 8443 (java) S 8432 8435 8385 0 -1 1077944384 596 0 0 0 141 28 0 0 20 0 20 0 3372876 11162247168 295108 33554432000 4194304 4196468 140734034037424 140066170689936 140066569639637 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 13897728 140734034039979 140734034040132 140734034040132 140734034042831 0
[pid=8435/tid=8444] ppid=8432 vsize=10900632 CPUtime=1.65 cores=1,3,5,7,9,11,13,15
/proc/8435/task/8444/stat : 8444 (java) S 8432 8435 8385 0 -1 1077944384 1617 0 0 0 143 22 0 0 20 0 20 0 3372876 11162247168 295108 33554432000 4194304 4196468 140734034037424 140066169637392 140066569639637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13897728 140734034039979 140734034040132 140734034040132 140734034042831 0
[pid=8435/tid=8445] ppid=8432 vsize=10900632 CPUtime=1.66 cores=1,3,5,7,9,11,13,15
/proc/8435/task/8445/stat : 8445 (java) S 8432 8435 8385 0 -1 1077944384 527 0 0 0 138 28 0 0 20 0 20 0 3372876 11162247168 295108 33554432000 4194304 4196468 140734034037424 140066168584848 140066569639637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13897728 140734034039979 140734034040132 140734034040132 140734034042831 0
[pid=8435/tid=8446] ppid=8432 vsize=10900632 CPUtime=0.56 cores=1,3,5,7,9,11,13,15
/proc/8435/task/8446/stat : 8446 (java) S 8432 8435 8385 0 -1 1077944384 1683 0 0 0 56 0 0 0 20 0 20 0 3372878 11162247168 295108 33554432000 4194304 4196468 140734034037424 140065843890672 140066569640578 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13897728 140734034039979 140734034040132 140734034040132 140734034042831 0
[pid=8435/tid=8448] ppid=8432 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8435/task/8448/stat : 8448 (java) S 8432 8435 8385 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 20 0 3372879 11162247168 295108 33554432000 4194304 4196468 140734034037424 140065842836960 140066569639637 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 13897728 140734034039979 140734034040132 140734034040132 140734034042831 0
[pid=8435/tid=8449] ppid=8432 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8435/task/8449/stat : 8449 (java) S 8432 8435 8385 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 20 0 3372879 11162247168 295108 33554432000 4194304 4196468 140734034037424 140065841784320 140066569639637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13897728 140734034039979 140734034040132 140734034040132 140734034042831 0
[pid=8435/tid=8454] ppid=8432 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
################
# More data... #
################
[pid=8435/tid=8456] ppid=8432 vsize=10900632 CPUtime=1.31 cores=1,3,5,7,9,11,13,15
/proc/8435/task/8456/stat : 8456 (java) S 8432 8435 8385 0 -1 1077944384 6665 0 0 0 130 1 0 0 20 0 20 0 3372882 11162247168 2088766 33554432000 4194304 4196468 140734034037424 140065838626928 140066569640578 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 13897728 140734034039979 140734034040132 140734034040132 140734034042831 0
[pid=8435/tid=8457] ppid=8432 vsize=10900632 CPUtime=1.5 cores=1,3,5,7,9,11,13,15
/proc/8435/task/8457/stat : 8457 (java) S 8432 8435 8385 0 -1 1077944384 7275 0 0 0 149 1 0 0 20 0 20 0 3372882 11162247168 2088766 33554432000 4194304 4196468 140734034037424 140065837574384 140066569640578 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 13897728 140734034039979 140734034040132 140734034040132 140734034042831 0
[pid=8435/tid=8458] ppid=8432 vsize=10900632 CPUtime=0.4 cores=1,3,5,7,9,11,13,15
/proc/8435/task/8458/stat : 8458 (java) S 8432 8435 8385 0 -1 1077944384 2121 0 0 0 40 0 0 0 20 0 20 0 3372882 11162247168 2088766 33554432000 4194304 4196468 140734034037424 140065836521840 140066569640578 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13897728 140734034039979 140734034040132 140734034040132 140734034042831 0
[pid=8435/tid=8459] ppid=8432 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8435/task/8459/stat : 8459 (java) S 8432 8435 8385 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3372882 11162247168 2088766 33554432000 4194304 4196468 140734034037424 140065835469536 140066569639637 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 13897728 140734034039979 140734034040132 140734034040132 140734034042831 0
[pid=8435/tid=8462] ppid=8432 vsize=10900632 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/8435/task/8462/stat : 8462 (java) S 8432 8435 8385 0 -1 1077944384 1792 0 0 0 9 6 0 0 20 0 20 0 3372883 11162247168 2088766 33554432000 4194304 4196468 140734034037424 140065834417072 140066569640578 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 6 0 0 6293624 6294260 13897728 140734034039979 140734034040132 140734034040132 140734034042831 0
Current children cumulated CPU time (s) 2400.17
Current children cumulated vsize (KiB) 10900632
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -8435
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 8435 sig 9
??? end of watcher thread
Solver just ended.
Dumping a history of the last processes samples
[startup+360.001 s]
/proc/loadavg: 15.43 12.61 7.90 17/281 8491
/proc/meminfo: memFree=15413056/32770624 swapFree=6252/31392
[pid=8435] ppid=8432 vsize=10900632 CPUtime=2406.39 cores=1,3,5,7,9,11,13,15
/proc/8435/stat : 8435 (java) S 8432 8435 8385 0 -1 1077944320 725363 0 0 0 238521 2118 0 0 20 0 20 0 3372874 11162247168 2088766 33554432000 4194304 4196468 140734034037424 140734034019968 140066569629431 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 13897728 140734034039979 140734034040132 140734034040132 140734034042831 0
/proc/8435/statm: 2725158 2088766 3159 1 0 2713552 0
[pid=8435/tid=8436] ppid=8432 vsize=10900632 CPUtime=39.17 cores=1,3,5,7,9,11,13,15
/proc/8435/task/8436/stat : 8436 (java) S 8432 8435 8385 0 -1 1077944384 20696 0 0 0 3901 16 0 0 20 0 20 0 3372875 11162247168 2088766 33554432000 4194304 4196468 140734034037424 140066573862960 140066569639637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13897728 140734034039979 140734034040132 140734034040132 140734034042831 0
[pid=8435/tid=8438] ppid=8432 vsize=10900632 CPUtime=292.2 cores=1,3,5,7,9,11,13,15
/proc/8435/task/8438/stat : 8438 (java) R 8432 8435 8385 0 -1 4202560 45453 0 0 0 28950 270 0 0 20 0 20 0 3372876 11162247168 2088766 33554432000 4194304 4196468 140734034037424 140066175953576 140066555388248 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 13897728 140734034039979 140734034040132 140734034040132 140734034042831 0
[pid=8435/tid=8439] ppid=8432 vsize=10900632 CPUtime=291.78 cores=1,3,5,7,9,11,13,15
/proc/8435/task/8439/stat : 8439 (java) R 8432 8435 8385 0 -1 4202560 98453 0 0 0 28904 274 0 0 20 0 20 0 3372876 11162247168 2088766 33554432000 4194304 4196468 140734034037424 140066174901336 140066554083378 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 13897728 140734034039979 140734034040132 140734034040132 140734034042831 0
[pid=8435/tid=8440] ppid=8432 vsize=10900632 CPUtime=292.56 cores=1,3,5,7,9,11,13,15
/proc/8435/task/8440/stat : 8440 (java) R 8432 8435 8385 0 -1 4202560 36322 0 0 0 28995 261 0 0 20 0 20 0 3372876 11162247168 2088766 33554432000 4194304 4196468 140734034037424 140066173848488 140066562257639 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13897728 140734034039979 140734034040132 140734034040132 140734034042831 0
[pid=8435/tid=8441] ppid=8432 vsize=10900632 CPUtime=292.84 cores=1,3,5,7,9,11,13,15
/proc/8435/task/8441/stat : 8441 (java) R 8432 8435 8385 0 -1 4202560 45607 0 0 0 29028 256 0 0 20 0 20 0 3372876 11162247168 2088766 33554432000 4194304 4196468 140734034037424 140066172795944 140066562257639 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 13897728 140734034039979 140734034040132 140734034040132 140734034042831 0
[pid=8435/tid=8442] ppid=8432 vsize=10900632 CPUtime=292.17 cores=1,3,5,7,9,11,13,15
/proc/8435/task/8442/stat : 8442 (java) R 8432 8435 8385 0 -1 4202560 69974 0 0 0 28943 274 0 0 20 0 20 0 3372876 11162247168 2088766 33554432000 4194304 4196468 140734034037424 140066171742376 140066562257639 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 13897728 140734034039979 140734034040132 140734034040132 140734034042831 0
[pid=8435/tid=8443] ppid=8432 vsize=10900632 CPUtime=292.11 cores=1,3,5,7,9,11,13,15
/proc/8435/task/8443/stat : 8443 (java) R 8432 8435 8385 0 -1 4202560 72298 0 0 0 28953 258 0 0 20 0 20 0 3372876 11162247168 2088766 33554432000 4194304 4196468 140734034037424 140066170689520 140066562257639 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13897728 140734034039979 140734034040132 140734034040132 140734034042831 0
[pid=8435/tid=8444] ppid=8432 vsize=10900632 CPUtime=293.29 cores=1,3,5,7,9,11,13,15
/proc/8435/task/8444/stat : 8444 (java) R 8432 8435 8385 0 -1 4202560 179940 0 0 0 29090 239 0 0 20 0 20 0 3372876 11162247168 2088766 33554432000 4194304 4196468 140734034037424 140066169637288 140066562257639 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13897728 140734034039979 140734034040132 140734034040132 140734034042831 0
[pid=8435/tid=8445] ppid=8432 vsize=10900632 CPUtime=292.32 cores=1,3,5,7,9,11,13,15
/proc/8435/task/8445/stat : 8445 (java) R 8432 8435 8385 0 -1 4202560 61789 0 0 0 28980 252 0 0 20 0 20 0 3372876 11162247168 2088766 33554432000 4194304 4196468 140734034037424 140066168584744 140066562257639 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 13897728 140734034039979 140734034040132 140734034040132 140734034042831 0
[pid=8435/tid=8446] ppid=8432 vsize=10900632 CPUtime=22.97 cores=1,3,5,7,9,11,13,15
/proc/8435/task/8446/stat : 8446 (java) S 8432 8435 8385 0 -1 1077944384 69088 0 0 0 2293 4 0 0 20 0 20 0 3372878 11162247168 2088766 33554432000 4194304 4196468 140734034037424 140065843888992 140066569639637 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13897728 140734034039979 140734034040132 140734034040132 140734034042831 0
[pid=8435/tid=8448] ppid=8432 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8435/task/8448/stat : 8448 (java) S 8432 8435 8385 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 20 0 3372879 11162247168 2088766 33554432000 4194304 4196468 140734034037424 140065842836960 140066569639637 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 13897728 140734034039979 140734034040132 140734034040132 140734034042831 0
[pid=8435/tid=8449] ppid=8432 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8435/task/8449/stat : 8449 (java) S 8432 8435 8385 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 20 0 3372879 11162247168 2088766 33554432000 4194304 4196468 140734034037424 140065841784320 140066569639637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13897728 140734034039979 140734034040132 140734034040132 140734034042831 0
[pid=8435/tid=8454] ppid=8432 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8435/task/8454/stat : 8454 (java) S 8432 8435 8385 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 3372882 11162247168 2088766 33554432000 4194304 4196468 140734034037424 140065840732528 140066569639637 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 13897728 140734034039979 140734034040132 140734034040132 140734034042831 0
[pid=8435/tid=8455] ppid=8432 vsize=10900632 CPUtime=1.47 cores=1,3,5,7,9,11,13,15
/proc/8435/task/8455/stat : 8455 (java) S 8432 8435 8385 0 -1 1077944384 6489 0 0 0 146 1 0 0 20 0 20 0 3372882 11162247168 2088766 33554432000 4194304 4196468 140734034037424 140065839679472 140066569640578 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13897728 140734034039979 140734034040132 140734034040132 140734034042831 0
[pid=8435/tid=8456] ppid=8432 vsize=10900632 CPUtime=1.31 cores=1,3,5,7,9,11,13,15
/proc/8435/task/8456/stat : 8456 (java) S 8432 8435 8385 0 -1 1077944384 6665 0 0 0 130 1 0 0 20 0 20 0 3372882 11162247168 2088766 33554432000 4194304 4196468 140734034037424 140065838626928 140066569640578 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 13897728 140734034039979 140734034040132 140734034040132 140734034042831 0
[pid=8435/tid=8457] ppid=8432 vsize=10900632 CPUtime=1.5 cores=1,3,5,7,9,11,13,15
/proc/8435/task/8457/stat : 8457 (java) S 8432 8435 8385 0 -1 1077944384 7275 0 0 0 149 1 0 0 20 0 20 0 3372882 11162247168 2088766 33554432000 4194304 4196468 140734034037424 140065837574384 140066569640578 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 13897728 140734034039979 140734034040132 140734034040132 140734034042831 0
[pid=8435/tid=8458] ppid=8432 vsize=10900632 CPUtime=0.4 cores=1,3,5,7,9,11,13,15
/proc/8435/task/8458/stat : 8458 (java) S 8432 8435 8385 0 -1 1077944384 2121 0 0 0 40 0 0 0 20 0 20 0 3372882 11162247168 2088766 33554432000 4194304 4196468 140734034037424 140065836521840 140066569640578 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13897728 140734034039979 140734034040132 140734034040132 140734034042831 0
[pid=8435/tid=8459] ppid=8432 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8435/task/8459/stat : 8459 (java) S 8432 8435 8385 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3372882 11162247168 2088766 33554432000 4194304 4196468 140734034037424 140065835469536 140066569639637 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 13897728 140734034039979 140734034040132 140734034040132 140734034042831 0
[pid=8435/tid=8462] ppid=8432 vsize=10900632 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/8435/task/8462/stat : 8462 (java) S 8432 8435 8385 0 -1 1077944384 1792 0 0 0 9 6 0 0 20 0 20 0 3372883 11162247168 2088766 33554432000 4194304 4196468 140734034037424 140065834417072 140066569640578 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 6 0 0 6293624 6294260 13897728 140734034039979 140734034040132 140734034040132 140734034042831 0
Current children cumulated CPU time (s) 2406.39
Current children cumulated vsize (KiB) 10900632
[startup+360.801 s]
/proc/loadavg: 15.43 12.61 7.90 17/281 8492
/proc/meminfo: memFree=15412692/32770624 swapFree=6252/31392
[pid=8435] ppid=8432 vsize=10900632 CPUtime=2412.66 cores=1,3,5,7,9,11,13,15
/proc/8435/stat : 8435 (java) S 8432 8435 8385 0 -1 1077944320 725363 0 0 0 239146 2120 0 0 20 0 20 0 3372874 11162247168 2088766 33554432000 4194304 4196468 140734034037424 140734034019968 140066569629431 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 13897728 140734034039979 140734034040132 140734034040132 140734034042831 0
/proc/8435/statm: 2725158 2088766 3159 1 0 2713552 0
[pid=8435/tid=8436] ppid=8432 vsize=10900632 CPUtime=39.17 cores=1,3,5,7,9,11,13,15
/proc/8435/task/8436/stat : 8436 (java) S 8432 8435 8385 0 -1 1077944384 20696 0 0 0 3901 16 0 0 20 0 20 0 3372875 11162247168 2088766 33554432000 4194304 4196468 140734034037424 140066573862960 140066569639637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13897728 140734034039979 140734034040132 140734034040132 140734034042831 0
[pid=8435/tid=8438] ppid=8432 vsize=10900632 CPUtime=292.98 cores=1,3,5,7,9,11,13,15
/proc/8435/task/8438/stat : 8438 (java) R 8432 8435 8385 0 -1 4202560 45453 0 0 0 29027 271 0 0 20 0 20 0 3372876 11162247168 2088766 33554432000 4194304 4196468 140734034037424 140066175953576 140066562257639 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 13897728 140734034039979 140734034040132 140734034040132 140734034042831 0
[pid=8435/tid=8439] ppid=8432 vsize=10900632 CPUtime=292.59 cores=1,3,5,7,9,11,13,15
/proc/8435/task/8439/stat : 8439 (java) R 8432 8435 8385 0 -1 4202560 98453 0 0 0 28985 274 0 0 20 0 20 0 3372876 11162247168 2088766 33554432000 4194304 4196468 140734034037424 140066174901336 140066554083429 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 13897728 140734034039979 140734034040132 140734034040132 140734034042831 0
[pid=8435/tid=8440] ppid=8432 vsize=10900632 CPUtime=293.36 cores=1,3,5,7,9,11,13,15
/proc/8435/task/8440/stat : 8440 (java) R 8432 8435 8385 0 -1 4202560 36322 0 0 0 29074 262 0 0 20 0 20 0 3372876 11162247168 2088766 33554432000 4194304 4196468 140734034037424 140066173848488 140066562257639 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13897728 140734034039979 140734034040132 140734034040132 140734034042831 0
[pid=8435/tid=8441] ppid=8432 vsize=10900632 CPUtime=293.63 cores=1,3,5,7,9,11,13,15
/proc/8435/task/8441/stat : 8441 (java) R 8432 8435 8385 0 -1 4202560 45607 0 0 0 29107 256 0 0 20 0 20 0 3372876 11162247168 2088766 33554432000 4194304 4196468 140734034037424 140066172795632 140066562257639 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 13897728 140734034039979 140734034040132 140734034040132 140734034042831 0
[pid=8435/tid=8442] ppid=8432 vsize=10900632 CPUtime=292.92 cores=1,3,5,7,9,11,13,15
/proc/8435/task/8442/stat : 8442 (java) R 8432 8435 8385 0 -1 4202560 69974 0 0 0 29018 274 0 0 20 0 20 0 3372876 11162247168 2088766 33554432000 4194304 4196468 140734034037424 140066171742376 140066562257639 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13897728 140734034039979 140734034040132 140734034040132 140734034042831 0
[pid=8435/tid=8443] ppid=8432 vsize=10900632 CPUtime=292.9 cores=1,3,5,7,9,11,13,15
/proc/8435/task/8443/stat : 8443 (java) R 8432 8435 8385 0 -1 4202560 72298 0 0 0 29032 258 0 0 20 0 20 0 3372876 11162247168 2088766 33554432000 4194304 4196468 140734034037424 140066170689832 140066562257639 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13897728 140734034039979 140734034040132 140734034040132 140734034042831 0
[pid=8435/tid=8444] ppid=8432 vsize=10900632 CPUtime=294.08 cores=1,3,5,7,9,11,13,15
/proc/8435/task/8444/stat : 8444 (java) R 8432 8435 8385 0 -1 4202560 179940 0 0 0 29168 240 0 0 20 0 20 0 3372876 11162247168 2088766 33554432000 4194304 4196468 140734034037424 140066169636976 140066562257639 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13897728 140734034039979 140734034040132 140734034040132 140734034042831 0
[pid=8435/tid=8445] ppid=8432 vsize=10900632 CPUtime=293.11 cores=1,3,5,7,9,11,13,15
/proc/8435/task/8445/stat : 8445 (java) R 8432 8435 8385 0 -1 4202560 61789 0 0 0 29059 252 0 0 20 0 20 0 3372876 11162247168 2088766 33554432000 4194304 4196468 140734034037424 140066168584432 140066562257639 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 13897728 140734034039979 140734034040132 140734034040132 140734034042831 0
[pid=8435/tid=8446] ppid=8432 vsize=10900632 CPUtime=22.97 cores=1,3,5,7,9,11,13,15
/proc/8435/task/8446/stat : 8446 (java) S 8432 8435 8385 0 -1 1077944384 69088 0 0 0 2293 4 0 0 20 0 20 0 3372878 11162247168 2088766 33554432000 4194304 4196468 140734034037424 140065843888992 140066569639637 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13897728 140734034039979 140734034040132 140734034040132 140734034042831 0
[pid=8435/tid=8448] ppid=8432 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8435/task/8448/stat : 8448 (java) S 8432 8435 8385 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 20 0 3372879 11162247168 2088766 33554432000 4194304 4196468 140734034037424 140065842836960 140066569639637 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 13897728 140734034039979 140734034040132 140734034040132 140734034042831 0
[pid=8435/tid=8449] ppid=8432 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8435/task/8449/stat : 8449 (java) S 8432 8435 8385 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 20 0 3372879 11162247168 2088766 33554432000 4194304 4196468 140734034037424 140065841784320 140066569639637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13897728 140734034039979 140734034040132 140734034040132 140734034042831 0
[pid=8435/tid=8454] ppid=8432 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8435/task/8454/stat : 8454 (java) S 8432 8435 8385 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 3372882 11162247168 2088766 33554432000 4194304 4196468 140734034037424 140065840732528 140066569639637 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 13897728 140734034039979 140734034040132 140734034040132 140734034042831 0
[pid=8435/tid=8455] ppid=8432 vsize=10900632 CPUtime=1.47 cores=1,3,5,7,9,11,13,15
/proc/8435/task/8455/stat : 8455 (java) S 8432 8435 8385 0 -1 1077944384 6489 0 0 0 146 1 0 0 20 0 20 0 3372882 11162247168 2088766 33554432000 4194304 4196468 140734034037424 140065839679472 140066569640578 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13897728 140734034039979 140734034040132 140734034040132 140734034042831 0
[pid=8435/tid=8456] ppid=8432 vsize=10900632 CPUtime=1.31 cores=1,3,5,7,9,11,13,15
/proc/8435/task/8456/stat : 8456 (java) S 8432 8435 8385 0 -1 1077944384 6665 0 0 0 130 1 0 0 20 0 20 0 3372882 11162247168 2088766 33554432000 4194304 4196468 140734034037424 140065838626928 140066569640578 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 13897728 140734034039979 140734034040132 140734034040132 140734034042831 0
[pid=8435/tid=8457] ppid=8432 vsize=10900632 CPUtime=1.5 cores=1,3,5,7,9,11,13,15
/proc/8435/task/8457/stat : 8457 (java) S 8432 8435 8385 0 -1 1077944384 7275 0 0 0 149 1 0 0 20 0 20 0 3372882 11162247168 2088766 33554432000 4194304 4196468 140734034037424 140065837574384 140066569640578 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 13897728 140734034039979 140734034040132 140734034040132 140734034042831 0
[pid=8435/tid=8458] ppid=8432 vsize=10900632 CPUtime=0.4 cores=1,3,5,7,9,11,13,15
/proc/8435/task/8458/stat : 8458 (java) S 8432 8435 8385 0 -1 1077944384 2121 0 0 0 40 0 0 0 20 0 20 0 3372882 11162247168 2088766 33554432000 4194304 4196468 140734034037424 140065836521840 140066569640578 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13897728 140734034039979 140734034040132 140734034040132 140734034042831 0
[pid=8435/tid=8459] ppid=8432 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8435/task/8459/stat : 8459 (java) S 8432 8435 8385 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3372882 11162247168 2088766 33554432000 4194304 4196468 140734034037424 140065835469536 140066569639637 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 13897728 140734034039979 140734034040132 140734034040132 140734034042831 0
[pid=8435/tid=8462] ppid=8432 vsize=10900632 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/8435/task/8462/stat : 8462 (java) S 8432 8435 8385 0 -1 1077944384 1792 0 0 0 9 6 0 0 20 0 20 0 3372883 11162247168 2088766 33554432000 4194304 4196468 140734034037424 140065834417072 140066569640578 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 6 0 0 6293624 6294260 13897728 140734034039979 140734034040132 140734034040132 140734034042831 0
Current children cumulated CPU time (s) 2412.66
Current children cumulated vsize (KiB) 10900632
[startup+361.201 s]
/proc/loadavg: 15.43 12.61 7.90 17/281 8492
/proc/meminfo: memFree=15412692/32770624 swapFree=6252/31392
[pid=8435] ppid=8432 vsize=10900632 CPUtime=2415.68 cores=1,3,5,7,9,11,13,15
/proc/8435/stat : 8435 (java) S 8432 8435 8385 0 -1 1077944320 725363 0 0 0 239446 2122 0 0 20 0 20 0 3372874 11162247168 2088766 33554432000 4194304 4196468 140734034037424 140734034019968 140066569629431 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 13897728 140734034039979 140734034040132 140734034040132 140734034042831 0
/proc/8435/statm: 2725158 2088766 3159 1 0 2713552 0
[pid=8435/tid=8436] ppid=8432 vsize=10900632 CPUtime=39.17 cores=1,3,5,7,9,11,13,15
/proc/8435/task/8436/stat : 8436 (java) S 8432 8435 8385 0 -1 1077944384 20696 0 0 0 3901 16 0 0 20 0 20 0 3372875 11162247168 2088766 33554432000 4194304 4196468 140734034037424 140066573862960 140066569639637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13897728 140734034039979 140734034040132 140734034040132 140734034042831 0
[pid=8435/tid=8438] ppid=8432 vsize=10900632 CPUtime=293.36 cores=1,3,5,7,9,11,13,15
/proc/8435/task/8438/stat : 8438 (java) R 8432 8435 8385 0 -1 4202560 45453 0 0 0 29065 271 0 0 20 0 20 0 3372876 11162247168 2088766 33554432000 4194304 4196468 140734034037424 140066175953264 140066562257639 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 13897728 140734034039979 140734034040132 140734034040132 140734034042831 0
[pid=8435/tid=8439] ppid=8432 vsize=10900632 CPUtime=292.98 cores=1,3,5,7,9,11,13,15
/proc/8435/task/8439/stat : 8439 (java) R 8432 8435 8385 0 -1 4202560 98453 0 0 0 29024 274 0 0 20 0 20 0 3372876 11162247168 2088766 33554432000 4194304 4196468 140734034037424 140066174901336 140066554580606 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 13897728 140734034039979 140734034040132 140734034040132 140734034042831 0
[pid=8435/tid=8440] ppid=8432 vsize=10900632 CPUtime=293.73 cores=1,3,5,7,9,11,13,15
/proc/8435/task/8440/stat : 8440 (java) R 8432 8435 8385 0 -1 4202560 36322 0 0 0 29111 262 0 0 20 0 20 0 3372876 11162247168 2088766 33554432000 4194304 4196468 140734034037424 140066173848488 140066562257639 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13897728 140734034039979 140734034040132 140734034040132 140734034042831 0
[pid=8435/tid=8441] ppid=8432 vsize=10900632 CPUtime=294.01 cores=1,3,5,7,9,11,13,15
/proc/8435/task/8441/stat : 8441 (java) R 8432 8435 8385 0 -1 4202560 45607 0 0 0 29145 256 0 0 20 0 20 0 3372876 11162247168 2088766 33554432000 4194304 4196468 140734034037424 140066172795944 140066562257639 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 13897728 140734034039979 140734034040132 140734034040132 140734034042831 0
[pid=8435/tid=8442] ppid=8432 vsize=10900632 CPUtime=293.29 cores=1,3,5,7,9,11,13,15
/proc/8435/task/8442/stat : 8442 (java) R 8432 8435 8385 0 -1 4202560 69974 0 0 0 29055 274 0 0 20 0 20 0 3372876 11162247168 2088766 33554432000 4194304 4196468 140734034037424 140066171742376 140066562257639 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13897728 140734034039979 140734034040132 140734034040132 140734034042831 0
[pid=8435/tid=8443] ppid=8432 vsize=10900632 CPUtime=293.27 cores=1,3,5,7,9,11,13,15
/proc/8435/task/8443/stat : 8443 (java) R 8432 8435 8385 0 -1 4202560 72298 0 0 0 29068 259 0 0 20 0 20 0 3372876 11162247168 2088766 33554432000 4194304 4196468 140734034037424 140066170689832 140066555388240 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 13897728 140734034039979 140734034040132 140734034040132 140734034042831 0
[pid=8435/tid=8444] ppid=8432 vsize=10900632 CPUtime=294.46 cores=1,3,5,7,9,11,13,15
/proc/8435/task/8444/stat : 8444 (java) R 8432 8435 8385 0 -1 4202560 179940 0 0 0 29206 240 0 0 20 0 20 0 3372876 11162247168 2088766 33554432000 4194304 4196468 140734034037424 140066169637288 140066562257639 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13897728 140734034039979 140734034040132 140734034040132 140734034042831 0
[pid=8435/tid=8445] ppid=8432 vsize=10900632 CPUtime=293.48 cores=1,3,5,7,9,11,13,15
/proc/8435/task/8445/stat : 8445 (java) R 8432 8435 8385 0 -1 4202560 61789 0 0 0 29096 252 0 0 20 0 20 0 3372876 11162247168 2088766 33554432000 4194304 4196468 140734034037424 140066168584744 140066562257639 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 13897728 140734034039979 140734034040132 140734034040132 140734034042831 0
[pid=8435/tid=8446] ppid=8432 vsize=10900632 CPUtime=22.97 cores=1,3,5,7,9,11,13,15
/proc/8435/task/8446/stat : 8446 (java) S 8432 8435 8385 0 -1 1077944384 69088 0 0 0 2293 4 0 0 20 0 20 0 3372878 11162247168 2088766 33554432000 4194304 4196468 140734034037424 140065843888992 140066569639637 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13897728 140734034039979 140734034040132 140734034040132 140734034042831 0
[pid=8435/tid=8448] ppid=8432 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8435/task/8448/stat : 8448 (java) S 8432 8435 8385 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 20 0 3372879 11162247168 2088766 33554432000 4194304 4196468 140734034037424 140065842836960 140066569639637 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 13897728 140734034039979 140734034040132 140734034040132 140734034042831 0
[pid=8435/tid=8449] ppid=8432 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8435/task/8449/stat : 8449 (java) S 8432 8435 8385 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 20 0 3372879 11162247168 2088766 33554432000 4194304 4196468 140734034037424 140065841784320 140066569639637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13897728 140734034039979 140734034040132 140734034040132 140734034042831 0
[pid=8435/tid=8454] ppid=8432 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8435/task/8454/stat : 8454 (java) S 8432 8435 8385 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 3372882 11162247168 2088766 33554432000 4194304 4196468 140734034037424 140065840732528 140066569639637 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 13897728 140734034039979 140734034040132 140734034040132 140734034042831 0
[pid=8435/tid=8455] ppid=8432 vsize=10900632 CPUtime=1.47 cores=1,3,5,7,9,11,13,15
/proc/8435/task/8455/stat : 8455 (java) S 8432 8435 8385 0 -1 1077944384 6489 0 0 0 146 1 0 0 20 0 20 0 3372882 11162247168 2088766 33554432000 4194304 4196468 140734034037424 140065839679520 140066569639637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13897728 140734034039979 140734034040132 140734034040132 140734034042831 0
[pid=8435/tid=8456] ppid=8432 vsize=10900632 CPUtime=1.31 cores=1,3,5,7,9,11,13,15
/proc/8435/task/8456/stat : 8456 (java) S 8432 8435 8385 0 -1 1077944384 6665 0 0 0 130 1 0 0 20 0 20 0 3372882 11162247168 2088766 33554432000 4194304 4196468 140734034037424 140065838626976 140066569639637 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 13897728 140734034039979 140734034040132 140734034040132 140734034042831 0
[pid=8435/tid=8457] ppid=8432 vsize=10900632 CPUtime=1.5 cores=1,3,5,7,9,11,13,15
/proc/8435/task/8457/stat : 8457 (java) S 8432 8435 8385 0 -1 1077944384 7275 0 0 0 149 1 0 0 20 0 20 0 3372882 11162247168 2088766 33554432000 4194304 4196468 140734034037424 140065837574144 140066569639637 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 13897728 140734034039979 140734034040132 140734034040132 140734034042831 0
[pid=8435/tid=8458] ppid=8432 vsize=10900632 CPUtime=0.4 cores=1,3,5,7,9,11,13,15
/proc/8435/task/8458/stat : 8458 (java) S 8432 8435 8385 0 -1 1077944384 2121 0 0 0 40 0 0 0 20 0 20 0 3372882 11162247168 2088766 33554432000 4194304 4196468 140734034037424 140065836521888 140066569639637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13897728 140734034039979 140734034040132 140734034040132 140734034042831 0
[pid=8435/tid=8459] ppid=8432 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8435/task/8459/stat : 8459 (java) S 8432 8435 8385 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3372882 11162247168 2088766 33554432000 4194304 4196468 140734034037424 140065835469536 140066569639637 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 13897728 140734034039979 140734034040132 140734034040132 140734034042831 0
[pid=8435/tid=8462] ppid=8432 vsize=10900632 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/8435/task/8462/stat : 8462 (java) S 8432 8435 8385 0 -1 1077944384 1792 0 0 0 9 6 0 0 20 0 20 0 3372883 11162247168 2088766 33554432000 4194304 4196468 140734034037424 140065834417072 140066569640578 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 6 0 0 6293624 6294260 13897728 140734034039979 140734034040132 140734034040132 140734034042831 0
Current children cumulated CPU time (s) 2415.68
Current children cumulated vsize (KiB) 10900632
Child ended because it received signal 9 (SIGKILL)
Real time (s): 361.259
CPU time (s): 2415.76
CPU user time (s): 2394.49
CPU system time (s): 21.2727
CPU usage (%): 668.707
Max. virtual memory (cumulated for all children) (KiB): 10903176
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2394.49
system time used= 21.2727
maximum resident set size= 8355376
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 725367
page faults= 0
swaps= 0
block input operations= 0
block output operations= 480
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 44730
involuntary context switches= 203719
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.19253 second user time and 3.82018 second system time
The end