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-4243302-1500669915/watcher-4243302-1500669915 -o /tmp/evaluation-result-4243302-1500669915/solver-4243302-1500669915 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node123-1500669915-6181 --watchdog 2560 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4243302-1500669915.xml
pid=6202
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.01 1.02 1.32 3/240 6205
/proc/meminfo: memFree=32166140/32770624 swapFree=6268/11644
[pid=6205] ppid=6202 vsize=8353856 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6205/stat : 6205 (java) S 6202 6205 2456 0 -1 1077944320 2239 0 0 0 0 0 0 0 20 0 6 0 2259924 8554348544 1998 33554432000 4194304 4196468 140736659929552 140736659912096 140210653302519 0 0 0 16784584 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 10788864 140736659936427 140736659936580 140736659936580 140736659939279 0
/proc/6205/statm: 2088464 1998 1208 1 0 2077375 0
[pid=6205/tid=6206] ppid=6202 vsize=8355912 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6205/task/6206/stat : 6206 (java) S 6202 6205 2456 0 -1 1077944384 941 0 0 0 0 0 0 0 20 0 8 0 2259924 8556453888 1998 33554432000 4194304 4196468 140736659929552 140210657543888 140210653312725 0 4 0 16784584 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 10788864 140736659936427 140736659936580 140736659936580 140736659939279 0
[pid=6205/tid=6209] ppid=6202 vsize=8355912 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6205/task/6209/stat : 6209 (java) S 6202 6205 2456 0 -1 1077944384 0 0 0 0 0 0 0 0 20 0 8 0 2259925 8556453888 1998 33554432000 4194304 4196468 140736659929552 140210618583904 140210653312725 0 4 0 16784584 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 10788864 140736659936427 140736659936580 140736659936580 140736659939279 0
[pid=6205/tid=6210] ppid=6202 vsize=8356940 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6205/task/6210/stat : 6210 (java) S 6202 6205 2456 0 -1 1077944384 0 0 0 0 0 0 0 0 20 0 9 0 2259925 8557506560 1998 33554432000 4194304 4196468 140736659929552 140210258684896 140210653312725 0 4 0 16784584 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 10788864 140736659936427 140736659936580 140736659936580 140736659939279 0
[pid=6205/tid=6211] ppid=6202 vsize=8357968 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6205/task/6211/stat : 6211 (java) S 6202 6205 2456 0 -1 1077944384 0 0 0 0 0 0 0 0 20 0 9 0 2259925 8558559232 1998 33554432000 4194304 4196468 140736659929552 140210257631840 140210653312725 0 4 0 16784584 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 10788864 140736659936427 140736659936580 140736659936580 140736659939279 0
[pid=6205/tid=6212] ppid=6202 vsize=8357968 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6205/task/6212/stat : 6212 (java) S 6202 6205 2456 0 -1 1077944384 0 0 0 0 0 0 0 0 20 0 10 0 2259925 8558559232 1998 33554432000 4194304 4196468 140736659929552 140210256579296 140210653312725 0 4 0 16784584 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 10788864 140736659936427 140736659936580 140736659936580 140736659939279 0
[pid=6205/tid=6213] ppid=6202 vsize=8357968 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6205/task/6213/stat : 6213 (java) S 6202 6205 2456 0 -1 1077944384 0 0 0 0 0 0 0 0 20 0 10 0 2259925 8558559232 1998 33554432000 4194304 4196468 140736659929552 140210255527264 140210653312725 0 4 0 16784584 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 10788864 140736659936427 140736659936580 140736659936580 140736659939279 0
[pid=6205/tid=6214] ppid=6202 vsize=8357968 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6205/task/6214/stat : 6214 (java) S 6202 6205 2456 0 -1 1077944384 0 0 0 0 0 0 0 0 20 0 10 0 2259925 8558559232 1998 33554432000 4194304 4196468 140736659929552 140210254474720 140210653312725 0 4 0 16784584 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 10788864 140736659936427 140736659936580 140736659936580 140736659939279 0
[pid=6205/tid=6215] ppid=6202 vsize=8357968 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6205/task/6215/stat : 6215 (java) S 6202 6205 2456 0 -1 1077944384 0 0 0 0 0 0 0 0 20 0 10 0 2259925 8558559232 1998 33554432000 4194304 4196468 140736659929552 140210253421664 140210653312725 0 4 0 16784584 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 10788864 140736659936427 140736659936580 140736659936580 140736659939279 0
[pid=6205/tid=6216] ppid=6202 vsize=8853156 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6205/task/6216/stat : 6216 (java) S 6202 6205 2456 0 -1 1077944384 0 0 0 0 0 0 0 0 20 0 10 0 2259925 9065631744 1998 33554432000 4194304 4196468 140736659929552 140210252369120 140210653312725 0 4 0 16784584 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 10788864 140736659936427 140736659936580 140736659936580 140736659939279 0
[startup+0.100129 s]
/proc/loadavg: 1.01 1.02 1.32 3/240 6205
/proc/meminfo: memFree=32166140/32770624 swapFree=6268/11644
[pid=6205] ppid=6202 vsize=10900556 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/6205/stat : 6205 (java) S 6202 6205 2456 0 -1 1077944320 5058 0 0 0 8 1 0 0 20 0 20 0 2259924 11162169344 6190 33554432000 4194304 4196468 140736659929552 140736659912096 140210653302519 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 10788864 140736659936427 140736659936580 140736659936580 140736659939279 0
/proc/6205/statm: 2725139 6190 2653 1 0 2713552 0
[pid=6205/tid=6206] ppid=6202 vsize=10900556 CPUtime=0.07 cores=1,3,5,7,9,11,13,15
/proc/6205/task/6206/stat : 6206 (java) R 6202 6205 2456 0 -1 4202560 3148 0 0 0 7 0 0 0 20 0 20 0 2259924 11162169344 6190 33554432000 4194304 4196468 140736659929552 140210657544800 140210637383012 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 10788864 140736659936427 140736659936580 140736659936580 140736659939279 0
[pid=6205/tid=6209] ppid=6202 vsize=10900556 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6205/task/6209/stat : 6209 (java) S 6202 6205 2456 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 2259925 11162169344 6190 33554432000 4194304 4196468 140736659929552 140210618583568 140210653312725 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 10788864 140736659936427 140736659936580 140736659936580 140736659939279 0
[pid=6205/tid=6210] ppid=6202 vsize=10900556 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6205/task/6210/stat : 6210 (java) S 6202 6205 2456 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2259925 11162169344 6190 33554432000 4194304 4196468 140736659929552 140210258684560 140210653312725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10788864 140736659936427 140736659936580 140736659936580 140736659939279 0
[pid=6205/tid=6211] ppid=6202 vsize=10900556 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6205/task/6211/stat : 6211 (java) S 6202 6205 2456 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 2259925 11162169344 6190 33554432000 4194304 4196468 140736659929552 140210257631504 140210653312725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10788864 140736659936427 140736659936580 140736659936580 140736659939279 0
[pid=6205/tid=6212] ppid=6202 vsize=10900556 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6205/task/6212/stat : 6212 (java) S 6202 6205 2456 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 2259925 11162169344 6190 33554432000 4194304 4196468 140736659929552 140210256578960 140210653312725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10788864 140736659936427 140736659936580 140736659936580 140736659939279 0
[pid=6205/tid=6213] ppid=6202 vsize=10900556 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6205/task/6213/stat : 6213 (java) S 6202 6205 2456 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 2259925 11162169344 6190 33554432000 4194304 4196468 140736659929552 140210255526928 140210653312725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10788864 140736659936427 140736659936580 140736659936580 140736659939279 0
[pid=6205/tid=6214] ppid=6202 vsize=10900556 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6205/task/6214/stat : 6214 (java) S 6202 6205 2456 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 2259925 11162169344 6190 33554432000 4194304 4196468 140736659929552 140210254474384 140210653312725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10788864 140736659936427 140736659936580 140736659936580 140736659939279 0
[pid=6205/tid=6215] ppid=6202 vsize=10900556 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6205/task/6215/stat : 6215 (java) S 6202 6205 2456 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 2259925 11162169344 6190 33554432000 4194304 4196468 140736659929552 140210253421328 140210653312725 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 10788864 140736659936427 140736659936580 140736659936580 140736659939279 0
[pid=6205/tid=6216] ppid=6202 vsize=10900556 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6205/task/6216/stat : 6216 (java) S 6202 6205 2456 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 2259925 11162169344 6190 33554432000 4194304 4196468 140736659929552 140210252368784 140210653312725 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 10788864 140736659936427 140736659936580 140736659936580 140736659939279 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10900556
[startup+0.200825 s]
/proc/loadavg: 1.01 1.02 1.32 3/240 6205
/proc/meminfo: memFree=32166140/32770624 swapFree=6268/11644
[pid=6205] ppid=6202 vsize=10900556 CPUtime=0.24 cores=1,3,5,7,9,11,13,15
/proc/6205/stat : 6205 (java) S 6202 6205 2456 0 -1 1077944320 7138 0 0 0 21 3 0 0 20 0 20 0 2259924 11162169344 7928 33554432000 4194304 4196468 140736659929552 140736659912096 140210653302519 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 10788864 140736659936427 140736659936580 140736659936580 140736659939279 0
/proc/6205/statm: 2725139 7928 2849 1 0 2713552 0
[pid=6205/tid=6206] ppid=6202 vsize=10900556 CPUtime=0.17 cores=1,3,5,7,9,11,13,15
/proc/6205/task/6206/stat : 6206 (java) R 6202 6205 2456 0 -1 4202560 4820 0 0 0 15 2 0 0 20 0 20 0 2259924 11162169344 7928 33554432000 4194304 4196468 140736659929552 140210657533248 140210637383006 0 4 0 16800975 0 0 0 -1 9 0 0 1 0 0 6293624 6294260 10788864 140736659936427 140736659936580 140736659936580 140736659939279 0
[pid=6205/tid=6209] ppid=6202 vsize=10900556 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6205/task/6209/stat : 6209 (java) S 6202 6205 2456 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 2259925 11162169344 7928 33554432000 4194304 4196468 140736659929552 140210618583568 140210653312725 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 10788864 140736659936427 140736659936580 140736659936580 140736659939279 0
[pid=6205/tid=6210] ppid=6202 vsize=10900556 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6205/task/6210/stat : 6210 (java) S 6202 6205 2456 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2259925 11162169344 7928 33554432000 4194304 4196468 140736659929552 140210258684560 140210653312725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10788864 140736659936427 140736659936580 140736659936580 140736659939279 0
[pid=6205/tid=6211] ppid=6202 vsize=10900556 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6205/task/6211/stat : 6211 (java) S 6202 6205 2456 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 2259925 11162169344 7928 33554432000 4194304 4196468 140736659929552 140210257631504 140210653312725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10788864 140736659936427 140736659936580 140736659936580 140736659939279 0
[pid=6205/tid=6212] ppid=6202 vsize=10900556 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6205/task/6212/stat : 6212 (java) S 6202 6205 2456 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 2259925 11162169344 7928 33554432000 4194304 4196468 140736659929552 140210256578960 140210653312725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10788864 140736659936427 140736659936580 140736659936580 140736659939279 0
[pid=6205/tid=6213] ppid=6202 vsize=10900556 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6205/task/6213/stat : 6213 (java) S 6202 6205 2456 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 2259925 11162169344 7928 33554432000 4194304 4196468 140736659929552 140210255526928 140210653312725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10788864 140736659936427 140736659936580 140736659936580 140736659939279 0
[pid=6205/tid=6214] ppid=6202 vsize=10900556 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6205/task/6214/stat : 6214 (java) S 6202 6205 2456 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 2259925 11162169344 7928 33554432000 4194304 4196468 140736659929552 140210254474384 140210653312725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10788864 140736659936427 140736659936580 140736659936580 140736659939279 0
[pid=6205/tid=6215] ppid=6202 vsize=10900556 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6205/task/6215/stat : 6215 (java) S 6202 6205 2456 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 2259925 11162169344 7928 33554432000 4194304 4196468 140736659929552 140210253421328 140210653312725 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 10788864 140736659936427 140736659936580 140736659936580 140736659939279 0
[pid=6205/tid=6216] ppid=6202 vsize=10900556 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6205/task/6216/stat : 6216 (java) S 6202 6205 2456 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 2259925 11162169344 7928 33554432000 4194304 4196468 140736659929552 140210252368784 140210653312725 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 10788864 140736659936427 140736659936580 140736659936580 140736659939279 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 10900556
[startup+0.300657 s]
/proc/loadavg: 1.01 1.02 1.32 3/240 6205
/proc/meminfo: memFree=32166140/32770624 swapFree=6268/11644
[pid=6205] ppid=6202 vsize=10900556 CPUtime=0.39 cores=1,3,5,7,9,11,13,15
/proc/6205/stat : 6205 (java) S 6202 6205 2456 0 -1 1077944320 8170 0 0 0 36 3 0 0 20 0 20 0 2259924 11162169344 10001 33554432000 4194304 4196468 140736659929552 140736659912096 140210653302519 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 10788864 140736659936427 140736659936580 140736659936580 140736659939279 0
/proc/6205/statm: 2725139 10001 2924 1 0 2713552 0
[pid=6205/tid=6206] ppid=6202 vsize=10900556 CPUtime=0.26 cores=1,3,5,7,9,11,13,15
/proc/6205/task/6206/stat : 6206 (java) R 6202 6205 2456 0 -1 4202560 5304 0 0 0 24 2 0 0 20 0 20 0 2259924 11162169344 10001 33554432000 4194304 4196468 140736659929552 140210657531984 140210653314454 0 4 0 16800975 0 0 0 -1 9 0 0 1 0 0 6293624 6294260 10788864 140736659936427 140736659936580 140736659936580 140736659939279 0
[pid=6205/tid=6209] ppid=6202 vsize=10900556 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6205/task/6209/stat : 6209 (java) S 6202 6205 2456 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 2259925 11162169344 10001 33554432000 4194304 4196468 140736659929552 140210618583568 140210653312725 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 10788864 140736659936427 140736659936580 140736659936580 140736659939279 0
[pid=6205/tid=6210] ppid=6202 vsize=10900556 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6205/task/6210/stat : 6210 (java) S 6202 6205 2456 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2259925 11162169344 10001 33554432000 4194304 4196468 140736659929552 140210258684560 140210653312725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10788864 140736659936427 140736659936580 140736659936580 140736659939279 0
[pid=6205/tid=6211] ppid=6202 vsize=10900556 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6205/task/6211/stat : 6211 (java) S 6202 6205 2456 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 2259925 11162169344 10001 33554432000 4194304 4196468 140736659929552 140210257631504 140210653312725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10788864 140736659936427 140736659936580 140736659936580 140736659939279 0
[pid=6205/tid=6212] ppid=6202 vsize=10900556 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6205/task/6212/stat : 6212 (java) S 6202 6205 2456 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 2259925 11162169344 10001 33554432000 4194304 4196468 140736659929552 140210256578960 140210653312725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10788864 140736659936427 140736659936580 140736659936580 140736659939279 0
[pid=6205/tid=6213] ppid=6202 vsize=10900556 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6205/task/6213/stat : 6213 (java) S 6202 6205 2456 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 2259925 11162169344 10001 33554432000 4194304 4196468 140736659929552 140210255526928 140210653312725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10788864 140736659936427 140736659936580 140736659936580 140736659939279 0
[pid=6205/tid=6214] ppid=6202 vsize=10900556 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6205/task/6214/stat : 6214 (java) S 6202 6205 2456 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 2259925 11162169344 10001 33554432000 4194304 4196468 140736659929552 140210254474384 140210653312725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10788864 140736659936427 140736659936580 140736659936580 140736659939279 0
[pid=6205/tid=6215] ppid=6202 vsize=10900556 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6205/task/6215/stat : 6215 (java) S 6202 6205 2456 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 2259925 11162169344 10001 33554432000 4194304 4196468 140736659929552 140210253421328 140210653312725 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 10788864 140736659936427 140736659936580 140736659936580 140736659939279 0
[pid=6205/tid=6216] ppid=6202 vsize=10900556 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6205/task/6216/stat : 6216 (java) S 6202 6205 2456 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 2259925 11162169344 10001 33554432000 4194304 4196468 140736659929552 140210252368784 140210653312725 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 10788864 140736659936427 140736659936580 140736659936580 140736659939279 0
Current children cumulated CPU time (s) 0.39
Current children cumulated vsize (KiB) 10900556
[startup+0.700537 s]
/proc/loadavg: 1.01 1.02 1.32 3/240 6205
/proc/meminfo: memFree=32166140/32770624 swapFree=6268/11644
[pid=6205] ppid=6202 vsize=10900632 CPUtime=1.78 cores=1,3,5,7,9,11,13,15
/proc/6205/stat : 6205 (java) S 6202 6205 2456 0 -1 1077944320 10127 0 0 0 141 37 0 0 20 0 20 0 2259924 11162247168 71544 33554432000 4194304 4196468 140736659929552 140736659912096 140210653302519 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 10788864 140736659936427 140736659936580 140736659936580 140736659939279 0
/proc/6205/statm: 2725158 71544 3076 1 0 2713552 0
[pid=6205/tid=6206] ppid=6202 vsize=10900632 CPUtime=0.58 cores=1,3,5,7,9,11,13,15
/proc/6205/task/6206/stat : 6206 (java) R 6202 6205 2456 0 -1 4202560 5799 0 0 0 53 5 0 0 20 0 20 0 2259924 11162247168 71544 33554432000 4194304 4196468 140736659929552 140210657540184 140210639370638 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 10788864 140736659936427 140736659936580 140736659936580 140736659939279 0
[pid=6205/tid=6209] ppid=6202 vsize=10900632 CPUtime=0.06 cores=1,3,5,7,9,11,13,15
/proc/6205/task/6209/stat : 6209 (java) S 6202 6205 2456 0 -1 1077944384 76 0 0 0 3 3 0 0 20 0 20 0 2259925 11162247168 71544 33554432000 4194304 4196468 140736659929552 140210618583568 140210653312725 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 10788864 140736659936427 140736659936580 140736659936580 140736659939279 0
[pid=6205/tid=6210] ppid=6202 vsize=10900632 CPUtime=0.06 cores=1,3,5,7,9,11,13,15
/proc/6205/task/6210/stat : 6210 (java) S 6202 6205 2456 0 -1 1077944384 73 0 0 0 3 3 0 0 20 0 20 0 2259925 11162247168 71544 33554432000 4194304 4196468 140736659929552 140210258684560 140210653312725 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 10788864 140736659936427 140736659936580 140736659936580 140736659939279 0
[pid=6205/tid=6211] ppid=6202 vsize=10900632 CPUtime=0.05 cores=1,3,5,7,9,11,13,15
/proc/6205/task/6211/stat : 6211 (java) S 6202 6205 2456 0 -1 1077944384 69 0 0 0 2 3 0 0 20 0 20 0 2259925 11162247168 71544 33554432000 4194304 4196468 140736659929552 140210257631504 140210653312725 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 10788864 140736659936427 140736659936580 140736659936580 140736659939279 0
[pid=6205/tid=6212] ppid=6202 vsize=10900632 CPUtime=0.07 cores=1,3,5,7,9,11,13,15
/proc/6205/task/6212/stat : 6212 (java) S 6202 6205 2456 0 -1 1077944384 80 0 0 0 3 4 0 0 20 0 20 0 2259925 11162247168 71544 33554432000 4194304 4196468 140736659929552 140210256578960 140210653312725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10788864 140736659936427 140736659936580 140736659936580 140736659939279 0
[pid=6205/tid=6213] ppid=6202 vsize=10900632 CPUtime=0.06 cores=1,3,5,7,9,11,13,15
/proc/6205/task/6213/stat : 6213 (java) S 6202 6205 2456 0 -1 1077944384 75 0 0 0 3 3 0 0 20 0 20 0 2259925 11162247168 71544 33554432000 4194304 4196468 140736659929552 140210255526928 140210653312725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10788864 140736659936427 140736659936580 140736659936580 140736659939279 0
[pid=6205/tid=6214] ppid=6202 vsize=10900632 CPUtime=0.07 cores=1,3,5,7,9,11,13,15
/proc/6205/task/6214/stat : 6214 (java) S 6202 6205 2456 0 -1 1077944384 84 0 0 0 3 4 0 0 20 0 20 0 2259925 11162247168 71544 33554432000 4194304 4196468 140736659929552 140210254474384 140210653312725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10788864 140736659936427 140736659936580 140736659936580 140736659939279 0
[pid=6205/tid=6215] ppid=6202 vsize=10900632 CPUtime=0.06 cores=1,3,5,7,9,11,13,15
/proc/6205/task/6215/stat : 6215 (java) S 6202 6205 2456 0 -1 1077944384 81 0 0 0 3 3 0 0 20 0 20 0 2259925 11162247168 71544 33554432000 4194304 4196468 140736659929552 140210253421328 140210653312725 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 10788864 140736659936427 140736659936580 140736659936580 140736659939279 0
[pid=6205/tid=6216] ppid=6202 vsize=10900632 CPUtime=0.06 cores=1,3,5,7,9,11,13,15
/proc/6205/task/6216/stat : 6216 (java) S 6202 6205 2456 0 -1 1077944384 76 0 0 0 3 3 0 0 20 0 20 0 2259925 11162247168 71544 33554432000 4194304 4196468 140736659929552 140210252368784 140210653312725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10788864 140736659936427 140736659936580 140736659936580 140736659939279 0
Current children cumulated CPU time (s) 1.78
Current children cumulated vsize (KiB) 10900632
[startup+1.50082 s]
/proc/loadavg: 1.09 1.04 1.32 4/282 6250
/proc/meminfo: memFree=31172140/32770624 swapFree=6268/12860
[pid=6205] ppid=6202 vsize=10900632 CPUtime=4.22 cores=1,3,5,7,9,11,13,15
/proc/6205/stat : 6205 (java) S 6202 6205 2456 0 -1 1077944320 15312 0 0 0 332 90 0 0 20 0 20 0 2259924 11162247168 118525 33554432000 4194304 4196468 140736659929552 140736659912096 140210653302519 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 10788864 140736659936427 140736659936580 140736659936580 140736659939279 0
/proc/6205/statm: 2725158 118525 3111 1 0 2713552 0
[pid=6205/tid=6206] ppid=6202 vsize=10900632 CPUtime=1.24 cores=1,3,5,7,9,11,13,15
/proc/6205/task/6206/stat : 6206 (java) R 6202 6205 2456 0 -1 4202560 6300 0 0 0 118 6 0 0 20 0 20 0 2259924 11162247168 118525 33554432000 4194304 4196468 140736659929552 140210657533736 140210292418169 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 10788864 140736659936427 140736659936580 140736659936580 140736659939279 0
[pid=6205/tid=6209] ppid=6202 vsize=10900632 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/6205/task/6209/stat : 6209 (java) S 6202 6205 2456 0 -1 1077944384 186 0 0 0 9 10 0 0 20 0 20 0 2259925 11162247168 118525 33554432000 4194304 4196468 140736659929552 140210618583568 140210653312725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10788864 140736659936427 140736659936580 140736659936580 140736659939279 0
[pid=6205/tid=6210] ppid=6202 vsize=10900632 CPUtime=0.2 cores=1,3,5,7,9,11,13,15
/proc/6205/task/6210/stat : 6210 (java) S 6202 6205 2456 0 -1 1077944384 142 0 0 0 10 10 0 0 20 0 20 0 2259925 11162247168 118525 33554432000 4194304 4196468 140736659929552 140210258684560 140210653312725 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 10788864 140736659936427 140736659936580 140736659936580 140736659939279 0
[pid=6205/tid=6211] ppid=6202 vsize=10900632 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/6205/task/6211/stat : 6211 (java) S 6202 6205 2456 0 -1 1077944384 127 0 0 0 10 9 0 0 20 0 20 0 2259925 11162247168 118525 33554432000 4194304 4196468 140736659929552 140210257631504 140210653312725 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 10788864 140736659936427 140736659936580 140736659936580 140736659939279 0
[pid=6205/tid=6212] ppid=6202 vsize=10900632 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/6205/task/6212/stat : 6212 (java) S 6202 6205 2456 0 -1 1077944384 192 0 0 0 10 11 0 0 20 0 20 0 2259925 11162247168 118525 33554432000 4194304 4196468 140736659929552 140210256578960 140210653312725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10788864 140736659936427 140736659936580 140736659936580 140736659939279 0
[pid=6205/tid=6213] ppid=6202 vsize=10900632 CPUtime=0.2 cores=1,3,5,7,9,11,13,15
/proc/6205/task/6213/stat : 6213 (java) S 6202 6205 2456 0 -1 1077944384 196 0 0 0 10 10 0 0 20 0 20 0 2259925 11162247168 118525 33554432000 4194304 4196468 140736659929552 140210255526928 140210653312725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10788864 140736659936427 140736659936580 140736659936580 140736659939279 0
[pid=6205/tid=6214] ppid=6202 vsize=10900632 CPUtime=0.2 cores=1,3,5,7,9,11,13,15
/proc/6205/task/6214/stat : 6214 (java) S 6202 6205 2456 0 -1 1077944384 194 0 0 0 10 10 0 0 20 0 20 0 2259925 11162247168 118525 33554432000 4194304 4196468 140736659929552 140210254474384 140210653312725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10788864 140736659936427 140736659936580 140736659936580 140736659939279 0
[pid=6205/tid=6215] ppid=6202 vsize=10900632 CPUtime=0.2 cores=1,3,5,7,9,11,13,15
/proc/6205/task/6215/stat : 6215 (java) S 6202 6205 2456 0 -1 1077944384 136 0 0 0 10 10 0 0 20 0 20 0 2259925 11162247168 118525 33554432000 4194304 4196468 140736659929552 140210253421328 140210653312725 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 10788864 140736659936427 140736659936580 140736659936580 140736659939279 0
[pid=6205/tid=6216] ppid=6202 vsize=10900632 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/6205/task/6216/stat : 6216 (java) S 6202 6205 2456 0 -1 1077944384 126 0 0 0 10 8 0 0 20 0 20 0 2259925 11162247168 118525 33554432000 4194304 4196468 140736659929552 140210252368784 140210653312725 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 10788864 140736659936427 140736659936580 140736659936580 140736659939279 0
[pid=6205/tid=6231] ppid=6202 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6205/task/6231/stat : 6231 (java) S 6202 6205 2456 0 -1 1077944384 208 0 0 0 0 0 0 0 20 0 20 0 2259928 11162247168 118525 33554432000 4194304 4196468 140736659929552 140209994782960 140210653313666 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10788864 140736659936427 140736659936580 140736659936580 140736659939279 0
[pid=6205/tid=6232] ppid=6202 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6205/task/6232/stat : 6232 (java) S 6202 6205 2456 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 20 0 2259928 11162247168 118525 33554432000 4194304 4196468 140736659929552 140209993729248 140210653312725 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 10788864 140736659936427 140736659936580 140736659936580 140736659939279 0
[pid=6205/tid=6233] ppid=6202 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6205/task/6233/stat : 6233 (java) S 6202 6205 2456 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 2259929 11162247168 118525 33554432000 4194304 4196468 140736659929552 140209992676080 140210653312725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10788864 140736659936427 140736659936580 140736659936580 140736659939279 0
[pid=6205/tid=6237] ppid=6202 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6205/task/6237/stat : 6237 (java) S 6202 6205 2456 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2259932 11162247168 119037 33554432000 4194304 4196468 140736659929552 140209991624656 140210653321115 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 10788864 140736659936427 140736659936580 140736659936580 140736659939279 0
[pid=6205/tid=6238] ppid=6202 vsize=10900632 CPUtime=0.42 cores=1,3,5,7,9,11,13,15
/proc/6205/task/6238/stat : 6238 (java) S 6202 6205 2456 0 -1 1077944384 2494 0 0 0 42 0 0 0 20 0 20 0 2259932 11162247168 119037 33554432000 4194304 4196468 140736659929552 140209990572784 140210653313666 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10788864 140736659936427 140736659936580 140736659936580 140736659939279 0
[pid=6205/tid=6239] ppid=6202 vsize=10900632 CPUtime=0.36 cores=1,3,5,7,9,11,13,15
/proc/6205/task/6239/stat : 6239 (java) S 6202 6205 2456 0 -1 1077944384 1186 0 0 0 36 0 0 0 20 0 20 0 2259933 11162247168 119037 33554432000 4194304 4196468 140736659929552 140209989520240 140210653313666 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10788864 140736659936427 140736659936580 140736659936580 140736659939279 0
[pid=6205/tid=6240] ppid=6202 vsize=10900632 CPUtime=0.24 cores=1,3,5,7,9,11,13,15
/proc/6205/task/6240/stat : 6240 (java) S 6202 6205 2456 0 -1 1077944384 1344 0 0 0 24 0 0 0 20 0 20 0 2259933 11162247168 119037 33554432000 4194304 4196468 140736659929552 140209988467184 140210653313666 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 10788864 140736659936427 140736659936580 140736659936580 140736659939279 0
[pid=6205/tid=6241] ppid=6202 vsize=10900632 CPUtime=0.25 cores=1,3,5,7,9,11,13,15
/proc/6205/task/6241/stat : 6241 (java) S 6202 6205 2456 0 -1 1077944384 1113 0 0 0 25 0 0 0 20 0 20 0 2259933 11162247168 119037 33554432000 4194304 4196468 140736659929552 140209987414640 140210653313666 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 10788864 140736659936427 140736659936580 140736659936580 140736659939279 0
[pid=6205/tid=6242] ppid=6202 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6205/task/6242/stat : 6242 (java) S 6202 6205 2456 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 2259933 11162247168 119037 33554432000 4194304 4196468 140736659929552 140209986361824 140210653312725 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 10788864 140736659936427 140736659936580 140736659936580 140736659939279 0
[pid=6205/tid=6243] ppid=6202 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6205/task/6243/stat : 6243 (java) S 6202 6205 2456 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2259933 11162247168 119037 33554432000 4194304 4196468 140736659929552 140209985309360 140210653313666 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 10788864 140736659936427 140736659936580 140736659936580 140736659939279 0
Current children cumulated CPU time (s) 4.22
################
# More data... #
################
[pid=6205/tid=6239] ppid=6202 vsize=10900632 CPUtime=0.41 cores=1,3,5,7,9,11,13,15
/proc/6205/task/6239/stat : 6239 (java) S 6202 6205 2456 0 -1 1077944384 1924 0 0 0 41 0 0 0 20 0 20 0 2259933 11162247168 2037680 33554432000 4194304 4196468 140736659929552 140209989520240 140210653313666 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10788864 140736659936427 140736659936580 140736659936580 140736659939279 0
[pid=6205/tid=6240] ppid=6202 vsize=10900632 CPUtime=0.32 cores=1,3,5,7,9,11,13,15
/proc/6205/task/6240/stat : 6240 (java) S 6202 6205 2456 0 -1 1077944384 2858 0 0 0 32 0 0 0 20 0 20 0 2259933 11162247168 2037680 33554432000 4194304 4196468 140736659929552 140209988467184 140210653313666 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10788864 140736659936427 140736659936580 140736659936580 140736659939279 0
[pid=6205/tid=6241] ppid=6202 vsize=10900632 CPUtime=0.28 cores=1,3,5,7,9,11,13,15
/proc/6205/task/6241/stat : 6241 (java) S 6202 6205 2456 0 -1 1077944384 2403 0 0 0 28 0 0 0 20 0 20 0 2259933 11162247168 2037680 33554432000 4194304 4196468 140736659929552 140209987414640 140210653313666 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10788864 140736659936427 140736659936580 140736659936580 140736659939279 0
[pid=6205/tid=6242] ppid=6202 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6205/task/6242/stat : 6242 (java) S 6202 6205 2456 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 2259933 11162247168 2037680 33554432000 4194304 4196468 140736659929552 140209986361824 140210653312725 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 10788864 140736659936427 140736659936580 140736659936580 140736659939279 0
[pid=6205/tid=6243] ppid=6202 vsize=10900632 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/6205/task/6243/stat : 6243 (java) S 6202 6205 2456 0 -1 1077944384 658 0 0 0 7 5 0 0 20 0 20 0 2259933 11162247168 2037680 33554432000 4194304 4196468 140736659929552 140209985309360 140210653313666 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 10788864 140736659936427 140736659936580 140736659936580 140736659939279 0
Current children cumulated CPU time (s) 2400.7
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 -6205
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 6205 sig 9
??? end of watcher thread
Solver just ended.
Dumping a history of the last processes samples
[startup+334.401 s]
/proc/loadavg: 15.61 10.03 5.13 17/282 6262
/proc/meminfo: memFree=15679560/32770624 swapFree=6268/13624
[pid=6205] ppid=6202 vsize=10900632 CPUtime=2407.17 cores=1,3,5,7,9,11,13,15
/proc/6205/stat : 6205 (java) S 6202 6205 2456 0 -1 1077944320 368412 0 4 0 237760 2957 0 0 20 0 20 0 2259924 11162247168 2037683 33554432000 4194304 4196468 140736659929552 140736659912096 140210653302519 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 10788864 140736659936427 140736659936580 140736659936580 140736659939279 0
/proc/6205/statm: 2725158 2037683 3131 1 0 2713552 0
[pid=6205/tid=6206] ppid=6202 vsize=10900632 CPUtime=14.91 cores=1,3,5,7,9,11,13,15
/proc/6205/task/6206/stat : 6206 (java) S 6202 6205 2456 0 -1 1077944384 17482 0 0 0 1477 14 0 0 20 0 20 0 2259924 11162247168 2037683 33554432000 4194304 4196468 140736659929552 140210657539584 140210653312725 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 1 0 0 6293624 6294260 10788864 140736659936427 140736659936580 140736659936580 140736659939279 0
[pid=6205/tid=6209] ppid=6202 vsize=10900632 CPUtime=297.24 cores=1,3,5,7,9,11,13,15
/proc/6205/task/6209/stat : 6209 (java) R 6202 6205 2456 0 -1 4202560 39333 0 0 0 29390 334 0 0 20 0 20 0 2259925 11162247168 2037683 33554432000 4194304 4196468 140736659929552 140210618583768 140210634899005 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10788864 140736659936427 140736659936580 140736659936580 140736659939279 0
[pid=6205/tid=6210] ppid=6202 vsize=10900632 CPUtime=296.82 cores=1,3,5,7,9,11,13,15
/proc/6205/task/6210/stat : 6210 (java) R 6202 6205 2456 0 -1 4202560 38351 0 1 0 29308 374 0 0 20 0 20 0 2259925 11162247168 2037683 33554432000 4194304 4196468 140736659929552 140210258684760 140210634898476 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10788864 140736659936427 140736659936580 140736659936580 140736659939279 0
[pid=6205/tid=6211] ppid=6202 vsize=10900632 CPUtime=296.41 cores=1,3,5,7,9,11,13,15
/proc/6205/task/6211/stat : 6211 (java) R 6202 6205 2456 0 -1 4202560 31219 0 0 0 29264 377 0 0 20 0 20 0 2259925 11162247168 2037683 33554432000 4194304 4196468 140736659929552 140210257631704 140210634899579 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 10788864 140736659936427 140736659936580 140736659936580 140736659939279 0
[pid=6205/tid=6212] ppid=6202 vsize=10900632 CPUtime=297.27 cores=1,3,5,7,9,11,13,15
/proc/6205/task/6212/stat : 6212 (java) R 6202 6205 2456 0 -1 4202560 23070 0 0 0 29353 374 0 0 20 0 20 0 2259925 11162247168 2037683 33554432000 4194304 4196468 140736659929552 140210256578848 140210638287815 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 10788864 140736659936427 140736659936580 140736659936580 140736659939279 0
[pid=6205/tid=6213] ppid=6202 vsize=10900632 CPUtime=296.99 cores=1,3,5,7,9,11,13,15
/proc/6205/task/6213/stat : 6213 (java) R 6202 6205 2456 0 -1 4202560 46539 0 0 0 29324 375 0 0 20 0 20 0 2259925 11162247168 2037683 33554432000 4194304 4196468 140736659929552 140210255527128 140210634898465 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10788864 140736659936427 140736659936580 140736659936580 140736659939279 0
[pid=6205/tid=6214] ppid=6202 vsize=10900632 CPUtime=296.85 cores=1,3,5,7,9,11,13,15
/proc/6205/task/6214/stat : 6214 (java) R 6202 6205 2456 0 -1 4202560 21310 0 1 0 29329 356 0 0 20 0 20 0 2259925 11162247168 2037683 33554432000 4194304 4196468 140736659929552 140210254474584 140210638000107 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 10788864 140736659936427 140736659936580 140736659936580 140736659939279 0
[pid=6205/tid=6215] ppid=6202 vsize=10900632 CPUtime=295.43 cores=1,3,5,7,9,11,13,15
/proc/6205/task/6215/stat : 6215 (java) R 6202 6205 2456 0 -1 4202560 29379 0 0 0 29177 366 0 0 20 0 20 0 2259925 11162247168 2037683 33554432000 4194304 4196468 140736659929552 140210253421528 140210634899067 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 10788864 140736659936427 140736659936580 140736659936580 140736659939279 0
[pid=6205/tid=6216] ppid=6202 vsize=10900632 CPUtime=295.91 cores=1,3,5,7,9,11,13,15
/proc/6205/task/6216/stat : 6216 (java) R 6202 6205 2456 0 -1 4202560 46873 0 0 0 29219 372 0 0 20 0 20 0 2259925 11162247168 2037683 33554432000 4194304 4196468 140736659929552 140210252368984 140210638253646 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 10788864 140736659936427 140736659936580 140736659936580 140736659939279 0
[pid=6205/tid=6231] ppid=6202 vsize=10900632 CPUtime=17.56 cores=1,3,5,7,9,11,13,15
/proc/6205/task/6231/stat : 6231 (java) S 6202 6205 2456 0 -1 1077944384 61740 0 2 0 1753 3 0 0 20 0 20 0 2259928 11162247168 2037683 33554432000 4194304 4196468 140736659929552 140209994781280 140210653312725 0 0 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 10788864 140736659936427 140736659936580 140736659936580 140736659939279 0
[pid=6205/tid=6232] ppid=6202 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6205/task/6232/stat : 6232 (java) S 6202 6205 2456 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 20 0 2259928 11162247168 2037683 33554432000 4194304 4196468 140736659929552 140209993729248 140210653312725 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 10788864 140736659936427 140736659936580 140736659936580 140736659939279 0
[pid=6205/tid=6233] ppid=6202 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6205/task/6233/stat : 6233 (java) S 6202 6205 2456 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 20 0 2259929 11162247168 2037683 33554432000 4194304 4196468 140736659929552 140209992676096 140210653312725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10788864 140736659936427 140736659936580 140736659936580 140736659939279 0
[pid=6205/tid=6237] ppid=6202 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6205/task/6237/stat : 6237 (java) S 6202 6205 2456 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 2259932 11162247168 2037683 33554432000 4194304 4196468 140736659929552 140209991624304 140210653312725 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 10788864 140736659936427 140736659936580 140736659936580 140736659939279 0
[pid=6205/tid=6238] ppid=6202 vsize=10900632 CPUtime=0.49 cores=1,3,5,7,9,11,13,15
/proc/6205/task/6238/stat : 6238 (java) S 6202 6205 2456 0 -1 1077944384 3823 0 0 0 49 0 0 0 20 0 20 0 2259932 11162247168 2037683 33554432000 4194304 4196468 140736659929552 140209990572784 140210653313666 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10788864 140736659936427 140736659936580 140736659936580 140736659939279 0
[pid=6205/tid=6239] ppid=6202 vsize=10900632 CPUtime=0.41 cores=1,3,5,7,9,11,13,15
/proc/6205/task/6239/stat : 6239 (java) S 6202 6205 2456 0 -1 1077944384 1924 0 0 0 41 0 0 0 20 0 20 0 2259933 11162247168 2037683 33554432000 4194304 4196468 140736659929552 140209989520240 140210653313666 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10788864 140736659936427 140736659936580 140736659936580 140736659939279 0
[pid=6205/tid=6240] ppid=6202 vsize=10900632 CPUtime=0.32 cores=1,3,5,7,9,11,13,15
/proc/6205/task/6240/stat : 6240 (java) S 6202 6205 2456 0 -1 1077944384 2858 0 0 0 32 0 0 0 20 0 20 0 2259933 11162247168 2037683 33554432000 4194304 4196468 140736659929552 140209988467184 140210653313666 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10788864 140736659936427 140736659936580 140736659936580 140736659939279 0
[pid=6205/tid=6241] ppid=6202 vsize=10900632 CPUtime=0.28 cores=1,3,5,7,9,11,13,15
/proc/6205/task/6241/stat : 6241 (java) S 6202 6205 2456 0 -1 1077944384 2403 0 0 0 28 0 0 0 20 0 20 0 2259933 11162247168 2037683 33554432000 4194304 4196468 140736659929552 140209987414640 140210653313666 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10788864 140736659936427 140736659936580 140736659936580 140736659939279 0
[pid=6205/tid=6242] ppid=6202 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6205/task/6242/stat : 6242 (java) S 6202 6205 2456 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 2259933 11162247168 2037683 33554432000 4194304 4196468 140736659929552 140209986361824 140210653312725 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 10788864 140736659936427 140736659936580 140736659936580 140736659939279 0
[pid=6205/tid=6243] ppid=6202 vsize=10900632 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/6205/task/6243/stat : 6243 (java) S 6202 6205 2456 0 -1 1077944384 658 0 0 0 7 5 0 0 20 0 20 0 2259933 11162247168 2037683 33554432000 4194304 4196468 140736659929552 140209985309360 140210653313666 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 10788864 140736659936427 140736659936580 140736659936580 140736659939279 0
Current children cumulated CPU time (s) 2407.17
Current children cumulated vsize (KiB) 10900632
[startup+335.201 s]
/proc/loadavg: 15.61 10.03 5.13 17/282 6262
/proc/meminfo: memFree=15679560/32770624 swapFree=6268/13624
[pid=6205] ppid=6202 vsize=10900632 CPUtime=2413.41 cores=1,3,5,7,9,11,13,15
/proc/6205/stat : 6205 (java) S 6202 6205 2456 0 -1 1077944320 368414 0 4 0 238383 2958 0 0 20 0 20 0 2259924 11162247168 2037683 33554432000 4194304 4196468 140736659929552 140736659912096 140210653302519 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 10788864 140736659936427 140736659936580 140736659936580 140736659939279 0
/proc/6205/statm: 2725158 2037683 3131 1 0 2713552 0
[pid=6205/tid=6206] ppid=6202 vsize=10900632 CPUtime=14.91 cores=1,3,5,7,9,11,13,15
/proc/6205/task/6206/stat : 6206 (java) S 6202 6205 2456 0 -1 1077944384 17482 0 0 0 1477 14 0 0 20 0 20 0 2259924 11162247168 2037683 33554432000 4194304 4196468 140736659929552 140210657539584 140210653312725 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 1 0 0 6293624 6294260 10788864 140736659936427 140736659936580 140736659936580 140736659939279 0
[pid=6205/tid=6209] ppid=6202 vsize=10900632 CPUtime=298.01 cores=1,3,5,7,9,11,13,15
/proc/6205/task/6209/stat : 6209 (java) R 6202 6205 2456 0 -1 4202560 39333 0 0 0 29467 334 0 0 20 0 20 0 2259925 11162247168 2037683 33554432000 4194304 4196468 140736659929552 140210618583152 140210645930727 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10788864 140736659936427 140736659936580 140736659936580 140736659939279 0
[pid=6205/tid=6210] ppid=6202 vsize=10900632 CPUtime=297.6 cores=1,3,5,7,9,11,13,15
/proc/6205/task/6210/stat : 6210 (java) R 6202 6205 2456 0 -1 4202560 38352 0 1 0 29386 374 0 0 20 0 20 0 2259925 11162247168 2037683 33554432000 4194304 4196468 140736659929552 140210258684144 140210645930727 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10788864 140736659936427 140736659936580 140736659936580 140736659939279 0
[pid=6205/tid=6211] ppid=6202 vsize=10900632 CPUtime=297.2 cores=1,3,5,7,9,11,13,15
/proc/6205/task/6211/stat : 6211 (java) R 6202 6205 2456 0 -1 4202560 31219 0 0 0 29342 378 0 0 20 0 20 0 2259925 11162247168 2037683 33554432000 4194304 4196468 140736659929552 140210257631088 140210645930727 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 10788864 140736659936427 140736659936580 140736659936580 140736659939279 0
[pid=6205/tid=6212] ppid=6202 vsize=10900632 CPUtime=298.05 cores=1,3,5,7,9,11,13,15
/proc/6205/task/6212/stat : 6212 (java) R 6202 6205 2456 0 -1 4202560 23070 0 0 0 29431 374 0 0 20 0 20 0 2259925 11162247168 2037683 33554432000 4194304 4196468 140736659929552 140210256578848 140210638287773 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 10788864 140736659936427 140736659936580 140736659936580 140736659939279 0
[pid=6205/tid=6213] ppid=6202 vsize=10900632 CPUtime=297.77 cores=1,3,5,7,9,11,13,15
/proc/6205/task/6213/stat : 6213 (java) R 6202 6205 2456 0 -1 4202560 46539 0 0 0 29402 375 0 0 20 0 20 0 2259925 11162247168 2037683 33554432000 4194304 4196468 140736659929552 140210255526824 140210645930727 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10788864 140736659936427 140736659936580 140736659936580 140736659939279 0
[pid=6205/tid=6214] ppid=6202 vsize=10900632 CPUtime=297.64 cores=1,3,5,7,9,11,13,15
/proc/6205/task/6214/stat : 6214 (java) R 6202 6205 2456 0 -1 4202560 21310 0 1 0 29407 357 0 0 20 0 20 0 2259925 11162247168 2037683 33554432000 4194304 4196468 140736659929552 140210254474280 140210645930727 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 10788864 140736659936427 140736659936580 140736659936580 140736659939279 0
[pid=6205/tid=6215] ppid=6202 vsize=10900632 CPUtime=296.21 cores=1,3,5,7,9,11,13,15
/proc/6205/task/6215/stat : 6215 (java) R 6202 6205 2456 0 -1 4202560 29379 0 0 0 29255 366 0 0 20 0 20 0 2259925 11162247168 2037683 33554432000 4194304 4196468 140736659929552 140210253421224 140210645930727 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 10788864 140736659936427 140736659936580 140736659936580 140736659939279 0
[pid=6205/tid=6216] ppid=6202 vsize=10900632 CPUtime=296.69 cores=1,3,5,7,9,11,13,15
/proc/6205/task/6216/stat : 6216 (java) R 6202 6205 2456 0 -1 4202560 46874 0 0 0 29297 372 0 0 20 0 20 0 2259925 11162247168 2037683 33554432000 4194304 4196468 140736659929552 140210252368984 140210638253646 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 10788864 140736659936427 140736659936580 140736659936580 140736659939279 0
[pid=6205/tid=6231] ppid=6202 vsize=10900632 CPUtime=17.56 cores=1,3,5,7,9,11,13,15
/proc/6205/task/6231/stat : 6231 (java) S 6202 6205 2456 0 -1 1077944384 61740 0 2 0 1753 3 0 0 20 0 20 0 2259928 11162247168 2037683 33554432000 4194304 4196468 140736659929552 140209994781280 140210653312725 0 0 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 10788864 140736659936427 140736659936580 140736659936580 140736659939279 0
[pid=6205/tid=6232] ppid=6202 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6205/task/6232/stat : 6232 (java) S 6202 6205 2456 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 20 0 2259928 11162247168 2037683 33554432000 4194304 4196468 140736659929552 140209993729248 140210653312725 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 10788864 140736659936427 140736659936580 140736659936580 140736659939279 0
[pid=6205/tid=6233] ppid=6202 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6205/task/6233/stat : 6233 (java) S 6202 6205 2456 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 20 0 2259929 11162247168 2037683 33554432000 4194304 4196468 140736659929552 140209992676096 140210653312725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10788864 140736659936427 140736659936580 140736659936580 140736659939279 0
[pid=6205/tid=6237] ppid=6202 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6205/task/6237/stat : 6237 (java) S 6202 6205 2456 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 2259932 11162247168 2037683 33554432000 4194304 4196468 140736659929552 140209991624304 140210653312725 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 10788864 140736659936427 140736659936580 140736659936580 140736659939279 0
[pid=6205/tid=6238] ppid=6202 vsize=10900632 CPUtime=0.49 cores=1,3,5,7,9,11,13,15
/proc/6205/task/6238/stat : 6238 (java) S 6202 6205 2456 0 -1 1077944384 3823 0 0 0 49 0 0 0 20 0 20 0 2259932 11162247168 2037683 33554432000 4194304 4196468 140736659929552 140209990572784 140210653313666 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10788864 140736659936427 140736659936580 140736659936580 140736659939279 0
[pid=6205/tid=6239] ppid=6202 vsize=10900632 CPUtime=0.41 cores=1,3,5,7,9,11,13,15
/proc/6205/task/6239/stat : 6239 (java) S 6202 6205 2456 0 -1 1077944384 1924 0 0 0 41 0 0 0 20 0 20 0 2259933 11162247168 2037683 33554432000 4194304 4196468 140736659929552 140209989520240 140210653313666 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10788864 140736659936427 140736659936580 140736659936580 140736659939279 0
[pid=6205/tid=6240] ppid=6202 vsize=10900632 CPUtime=0.32 cores=1,3,5,7,9,11,13,15
/proc/6205/task/6240/stat : 6240 (java) S 6202 6205 2456 0 -1 1077944384 2858 0 0 0 32 0 0 0 20 0 20 0 2259933 11162247168 2037683 33554432000 4194304 4196468 140736659929552 140209988467184 140210653313666 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10788864 140736659936427 140736659936580 140736659936580 140736659939279 0
[pid=6205/tid=6241] ppid=6202 vsize=10900632 CPUtime=0.28 cores=1,3,5,7,9,11,13,15
/proc/6205/task/6241/stat : 6241 (java) S 6202 6205 2456 0 -1 1077944384 2403 0 0 0 28 0 0 0 20 0 20 0 2259933 11162247168 2037683 33554432000 4194304 4196468 140736659929552 140209987414640 140210653313666 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10788864 140736659936427 140736659936580 140736659936580 140736659939279 0
[pid=6205/tid=6242] ppid=6202 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6205/task/6242/stat : 6242 (java) S 6202 6205 2456 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 2259933 11162247168 2037683 33554432000 4194304 4196468 140736659929552 140209986361824 140210653312725 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 10788864 140736659936427 140736659936580 140736659936580 140736659939279 0
[pid=6205/tid=6243] ppid=6202 vsize=10900632 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/6205/task/6243/stat : 6243 (java) S 6202 6205 2456 0 -1 1077944384 658 0 0 0 7 5 0 0 20 0 20 0 2259933 11162247168 2037683 33554432000 4194304 4196468 140736659929552 140209985309360 140210653313666 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 10788864 140736659936427 140736659936580 140736659936580 140736659939279 0
Current children cumulated CPU time (s) 2413.41
Current children cumulated vsize (KiB) 10900632
[startup+335.613 s]
/proc/loadavg: 15.64 10.13 5.19 17/282 6262
/proc/meminfo: memFree=15679560/32770624 swapFree=6268/13624
[pid=6205] ppid=6202 vsize=10900632 CPUtime=2416.61 cores=1,3,5,7,9,11,13,15
/proc/6205/stat : 6205 (java) S 6202 6205 2456 0 -1 1077944320 368414 0 4 0 238701 2960 0 0 20 0 20 0 2259924 11162247168 2037683 33554432000 4194304 4196468 140736659929552 140736659912096 140210653302519 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 10788864 140736659936427 140736659936580 140736659936580 140736659939279 0
/proc/6205/statm: 2725158 2037683 3131 1 0 2713552 0
[pid=6205/tid=6206] ppid=6202 vsize=10900632 CPUtime=14.91 cores=1,3,5,7,9,11,13,15
/proc/6205/task/6206/stat : 6206 (java) S 6202 6205 2456 0 -1 1077944384 17482 0 0 0 1477 14 0 0 20 0 20 0 2259924 11162247168 2037683 33554432000 4194304 4196468 140736659929552 140210657539584 140210653312725 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 1 0 0 6293624 6294260 10788864 140736659936427 140736659936580 140736659936580 140736659939279 0
[pid=6205/tid=6209] ppid=6202 vsize=10900632 CPUtime=298.41 cores=1,3,5,7,9,11,13,15
/proc/6205/task/6209/stat : 6209 (java) R 6202 6205 2456 0 -1 4202560 39333 0 0 0 29507 334 0 0 20 0 20 0 2259925 11162247168 2037683 33554432000 4194304 4196468 140736659929552 140210618583152 140210645930727 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10788864 140736659936427 140736659936580 140736659936580 140736659939279 0
[pid=6205/tid=6210] ppid=6202 vsize=10900632 CPUtime=298.01 cores=1,3,5,7,9,11,13,15
/proc/6205/task/6210/stat : 6210 (java) R 6202 6205 2456 0 -1 4202560 38352 0 1 0 29426 375 0 0 20 0 20 0 2259925 11162247168 2037683 33554432000 4194304 4196468 140736659929552 140210258684456 140210645930727 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10788864 140736659936427 140736659936580 140736659936580 140736659939279 0
[pid=6205/tid=6211] ppid=6202 vsize=10900632 CPUtime=297.6 cores=1,3,5,7,9,11,13,15
/proc/6205/task/6211/stat : 6211 (java) R 6202 6205 2456 0 -1 4202560 31219 0 0 0 29382 378 0 0 20 0 20 0 2259925 11162247168 2037683 33554432000 4194304 4196468 140736659929552 140210257631088 140210645930727 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 10788864 140736659936427 140736659936580 140736659936580 140736659939279 0
[pid=6205/tid=6212] ppid=6202 vsize=10900632 CPUtime=298.47 cores=1,3,5,7,9,11,13,15
/proc/6205/task/6212/stat : 6212 (java) R 6202 6205 2456 0 -1 4202560 23070 0 0 0 29473 374 0 0 20 0 20 0 2259925 11162247168 2037683 33554432000 4194304 4196468 140736659929552 140210256578848 140210638253616 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 10788864 140736659936427 140736659936580 140736659936580 140736659939279 0
[pid=6205/tid=6213] ppid=6202 vsize=10900632 CPUtime=298.16 cores=1,3,5,7,9,11,13,15
/proc/6205/task/6213/stat : 6213 (java) R 6202 6205 2456 0 -1 4202560 46539 0 0 0 29441 375 0 0 20 0 20 0 2259925 11162247168 2037683 33554432000 4194304 4196468 140736659929552 140210255526824 140210645930727 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10788864 140736659936427 140736659936580 140736659936580 140736659939279 0
[pid=6205/tid=6214] ppid=6202 vsize=10900632 CPUtime=298.03 cores=1,3,5,7,9,11,13,15
/proc/6205/task/6214/stat : 6214 (java) R 6202 6205 2456 0 -1 4202560 21310 0 1 0 29446 357 0 0 20 0 20 0 2259925 11162247168 2037683 33554432000 4194304 4196468 140736659929552 140210254473968 140210645930727 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 10788864 140736659936427 140736659936580 140736659936580 140736659939279 0
[pid=6205/tid=6215] ppid=6202 vsize=10900632 CPUtime=296.59 cores=1,3,5,7,9,11,13,15
/proc/6205/task/6215/stat : 6215 (java) R 6202 6205 2456 0 -1 4202560 29379 0 0 0 29293 366 0 0 20 0 20 0 2259925 11162247168 2037683 33554432000 4194304 4196468 140736659929552 140210253421224 140210636685552 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 10788864 140736659936427 140736659936580 140736659936580 140736659939279 0
[pid=6205/tid=6216] ppid=6202 vsize=10900632 CPUtime=297.1 cores=1,3,5,7,9,11,13,15
/proc/6205/task/6216/stat : 6216 (java) R 6202 6205 2456 0 -1 4202560 46874 0 0 0 29338 372 0 0 20 0 20 0 2259925 11162247168 2037683 33554432000 4194304 4196468 140736659929552 140210252368984 140210638000294 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 10788864 140736659936427 140736659936580 140736659936580 140736659939279 0
[pid=6205/tid=6231] ppid=6202 vsize=10900632 CPUtime=17.56 cores=1,3,5,7,9,11,13,15
/proc/6205/task/6231/stat : 6231 (java) S 6202 6205 2456 0 -1 1077944384 61740 0 2 0 1753 3 0 0 20 0 20 0 2259928 11162247168 2037683 33554432000 4194304 4196468 140736659929552 140209994781280 140210653312725 0 0 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 10788864 140736659936427 140736659936580 140736659936580 140736659939279 0
[pid=6205/tid=6232] ppid=6202 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6205/task/6232/stat : 6232 (java) S 6202 6205 2456 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 20 0 2259928 11162247168 2037683 33554432000 4194304 4196468 140736659929552 140209993729248 140210653312725 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 10788864 140736659936427 140736659936580 140736659936580 140736659939279 0
[pid=6205/tid=6233] ppid=6202 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6205/task/6233/stat : 6233 (java) S 6202 6205 2456 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 20 0 2259929 11162247168 2037683 33554432000 4194304 4196468 140736659929552 140209992676096 140210653312725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10788864 140736659936427 140736659936580 140736659936580 140736659939279 0
[pid=6205/tid=6237] ppid=6202 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6205/task/6237/stat : 6237 (java) S 6202 6205 2456 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 2259932 11162247168 2037683 33554432000 4194304 4196468 140736659929552 140209991624304 140210653312725 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 10788864 140736659936427 140736659936580 140736659936580 140736659939279 0
[pid=6205/tid=6238] ppid=6202 vsize=10900632 CPUtime=0.49 cores=1,3,5,7,9,11,13,15
/proc/6205/task/6238/stat : 6238 (java) S 6202 6205 2456 0 -1 1077944384 3823 0 0 0 49 0 0 0 20 0 20 0 2259932 11162247168 2037683 33554432000 4194304 4196468 140736659929552 140209990572784 140210653313666 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10788864 140736659936427 140736659936580 140736659936580 140736659939279 0
[pid=6205/tid=6239] ppid=6202 vsize=10900632 CPUtime=0.41 cores=1,3,5,7,9,11,13,15
/proc/6205/task/6239/stat : 6239 (java) S 6202 6205 2456 0 -1 1077944384 1924 0 0 0 41 0 0 0 20 0 20 0 2259933 11162247168 2037683 33554432000 4194304 4196468 140736659929552 140209989520240 140210653313666 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10788864 140736659936427 140736659936580 140736659936580 140736659939279 0
[pid=6205/tid=6240] ppid=6202 vsize=10900632 CPUtime=0.32 cores=1,3,5,7,9,11,13,15
/proc/6205/task/6240/stat : 6240 (java) S 6202 6205 2456 0 -1 1077944384 2858 0 0 0 32 0 0 0 20 0 20 0 2259933 11162247168 2037683 33554432000 4194304 4196468 140736659929552 140209988467184 140210653313666 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10788864 140736659936427 140736659936580 140736659936580 140736659939279 0
[pid=6205/tid=6241] ppid=6202 vsize=10900632 CPUtime=0.28 cores=1,3,5,7,9,11,13,15
/proc/6205/task/6241/stat : 6241 (java) S 6202 6205 2456 0 -1 1077944384 2403 0 0 0 28 0 0 0 20 0 20 0 2259933 11162247168 2037683 33554432000 4194304 4196468 140736659929552 140209987414640 140210653313666 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10788864 140736659936427 140736659936580 140736659936580 140736659939279 0
[pid=6205/tid=6242] ppid=6202 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6205/task/6242/stat : 6242 (java) S 6202 6205 2456 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 2259933 11162247168 2037683 33554432000 4194304 4196468 140736659929552 140209986361824 140210653312725 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 10788864 140736659936427 140736659936580 140736659936580 140736659939279 0
[pid=6205/tid=6243] ppid=6202 vsize=10900632 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/6205/task/6243/stat : 6243 (java) S 6202 6205 2456 0 -1 1077944384 658 0 0 0 7 5 0 0 20 0 20 0 2259933 11162247168 2037683 33554432000 4194304 4196468 140736659929552 140209985309360 140210653313666 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 10788864 140736659936427 140736659936580 140736659936580 140736659939279 0
Current children cumulated CPU time (s) 2416.61
Current children cumulated vsize (KiB) 10900632
Child ended because it received signal 9 (SIGKILL)
Real time (s): 335.655
CPU time (s): 2416.69
CPU user time (s): 2387.05
CPU system time (s): 29.6394
CPU usage (%): 719.993
Max. virtual memory (cumulated for all children) (KiB): 10900632
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2387.05
system time used= 29.6394
maximum resident set size= 8150960
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 368418
page faults= 4
swaps= 0
block input operations= 3648
block output operations= 480
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 41102
involuntary context switches= 202205
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.04572 second user time and 3.64812 second system time
The end