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-4246240-1500686887/watcher-4246240-1500686887 -o /tmp/evaluation-result-4246240-1500686887/solver-4246240-1500686887 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node127-1500682387-7776 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1155304364 HOME/instance-4246240-1500686887.xml
pid=25183
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: 15.22 14.98 14.73 10/271 25186
/proc/meminfo: memFree=31295624/32770624 swapFree=5880/249144
[pid=25186] ppid=25183 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/25186/stat : 25186 (xcsp3-exec) S 25183 25186 7744 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3956355 9740288 346 33554432000 4194304 5098028 140736347276560 140736347274664 139862056141436 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 13103104 140736347280526 140736347280736 140736347280736 140736347283435 0
/proc/25186/statm: 2378 346 289 221 0 87 0
[startup+0.100083 s]
/proc/loadavg: 15.22 14.98 14.73 10/271 25186
/proc/meminfo: memFree=31295624/32770624 swapFree=5880/249144
[pid=25186] ppid=25183 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/25186/stat : 25186 (xcsp3-exec) S 25183 25186 7744 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3956355 9740288 346 33554432000 4194304 5098028 140736347276560 140736347274664 139862056141436 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 13103104 140736347280526 140736347280736 140736347280736 140736347283435 0
/proc/25186/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200377 s]
/proc/loadavg: 15.22 14.98 14.73 10/271 25186
/proc/meminfo: memFree=31295624/32770624 swapFree=5880/249144
[pid=25186] ppid=25183 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/25186/stat : 25186 (xcsp3-exec) S 25183 25186 7744 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3956355 9740288 346 33554432000 4194304 5098028 140736347276560 140736347274664 139862056141436 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 13103104 140736347280526 140736347280736 140736347280736 140736347283435 0
/proc/25186/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300381 s]
/proc/loadavg: 15.22 14.98 14.73 10/271 25186
/proc/meminfo: memFree=31295624/32770624 swapFree=5880/249144
[pid=25186] ppid=25183 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/25186/stat : 25186 (xcsp3-exec) S 25183 25186 7744 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3956355 9740288 346 33554432000 4194304 5098028 140736347276560 140736347274664 139862056141436 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 13103104 140736347280526 140736347280736 140736347280736 140736347283435 0
/proc/25186/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700237 s]
/proc/loadavg: 15.22 14.98 14.73 10/271 25186
/proc/meminfo: memFree=31295624/32770624 swapFree=5880/249144
[pid=25186] ppid=25183 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/25186/stat : 25186 (xcsp3-exec) S 25183 25186 7744 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3956355 9740288 346 33554432000 4194304 5098028 140736347276560 140736347274664 139862056141436 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 13103104 140736347280526 140736347280736 140736347280736 140736347283435 0
/proc/25186/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50163 s]
/proc/loadavg: 15.22 14.98 14.73 19/300 25215
/proc/meminfo: memFree=31211328/32770624 swapFree=5880/249172
[pid=25186] ppid=25183 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/25186/stat : 25186 (xcsp3-exec) S 25183 25186 7744 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3956355 9740288 346 33554432000 4194304 5098028 140736347276560 140736347274664 139862056141436 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 13103104 140736347280526 140736347280736 140736347280736 140736347283435 0
/proc/25186/statm: 2378 346 289 221 0 87 0
[pid=25187] ppid=25186 vsize=13801768 CPUtime=7.56 cores=1,3,5,7,9,11,13,15
/proc/25187/stat : 25187 (java) S 25186 25186 7744 0 -1 1077944320 17517 0 0 0 748 8 0 0 20 0 28 0 3956355 14133010432 27534 33554432000 4194304 4196468 140730439326912 140730439309456 140642015780599 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 26320896 140730439333052 140730439333228 140730439333228 140730439335887 0
/proc/25187/statm: 3450442 27534 3213 1 0 3437675 0
[pid=25187/tid=25188] ppid=25186 vsize=13801768 CPUtime=0.6 cores=1,3,5,7,9,11,13,15
/proc/25187/task/25188/stat : 25188 (java) S 25186 25186 7744 0 -1 1077944384 6353 0 0 0 57 3 0 0 20 0 28 0 3956355 14133010432 27534 33554432000 4194304 4196468 140730439326912 140642020021376 140642015790805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26320896 140730439333052 140730439333228 140730439333228 140730439335887 0
[pid=25187/tid=25190] ppid=25186 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/25187/task/25190/stat : 25190 (java) S 25186 25186 7744 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 3956356 14133010432 27534 33554432000 4194304 4196468 140730439326912 140641934261008 140642015790805 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 26320896 140730439333052 140730439333228 140730439333228 140730439335887 0
[pid=25187/tid=25191] ppid=25186 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/25187/task/25191/stat : 25191 (java) S 25186 25186 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3956356 14133010432 27534 33554432000 4194304 4196468 140730439326912 140641933208464 140642015790805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26320896 140730439333052 140730439333228 140730439333228 140730439335887 0
[pid=25187/tid=25192] ppid=25186 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/25187/task/25192/stat : 25192 (java) S 25186 25186 7744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3956356 14133010432 27534 33554432000 4194304 4196468 140730439326912 140641932155920 140642015790805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26320896 140730439333052 140730439333228 140730439333228 140730439335887 0
[pid=25187/tid=25193] ppid=25186 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/25187/task/25193/stat : 25193 (java) S 25186 25186 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3956356 14133010432 27534 33554432000 4194304 4196468 140730439326912 140641931103376 140642015790805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26320896 140730439333052 140730439333228 140730439333228 140730439335887 0
[pid=25187/tid=25194] ppid=25186 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/25187/task/25194/stat : 25194 (java) S 25186 25186 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3956356 14133010432 27534 33554432000 4194304 4196468 140730439326912 140641930049808 140642015790805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26320896 140730439333052 140730439333228 140730439333228 140730439335887 0
[pid=25187/tid=25195] ppid=25186 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/25187/task/25195/stat : 25195 (java) S 25186 25186 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3956356 14133010432 27534 33554432000 4194304 4196468 140730439326912 140641928997264 140642015790805 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 26320896 140730439333052 140730439333228 140730439333228 140730439335887 0
[pid=25187/tid=25196] ppid=25186 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/25187/task/25196/stat : 25196 (java) S 25186 25186 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3956356 14133010432 27534 33554432000 4194304 4196468 140730439326912 140641927944720 140642015790805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26320896 140730439333052 140730439333228 140730439333228 140730439335887 0
[pid=25187/tid=25197] ppid=25186 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/25187/task/25197/stat : 25197 (java) S 25186 25186 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3956356 14133010432 27534 33554432000 4194304 4196468 140730439326912 140641926892176 140642015790805 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 26320896 140730439333052 140730439333228 140730439333228 140730439335887 0
[pid=25187/tid=25198] ppid=25186 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/25187/task/25198/stat : 25198 (java) S 25186 25186 7744 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 3956359 14133010432 27534 33554432000 4194304 4196468 140730439326912 140641209653744 140642015791746 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26320896 140730439333052 140730439333228 140730439333228 140730439335887 0
[pid=25187/tid=25199] ppid=25186 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/25187/task/25199/stat : 25199 (java) S 25186 25186 7744 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 3956360 14133010432 27534 33554432000 4194304 4196468 140730439326912 140641208599968 140642015790805 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 26320896 140730439333052 140730439333228 140730439333228 140730439335887 0
[pid=25187/tid=25200] ppid=25186 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/25187/task/25200/stat : 25200 (java) S 25186 25186 7744 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 3956360 14133010432 27534 33554432000 4194304 4196468 140730439326912 140641207547376 140642015790805 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 26320896 140730439333052 140730439333228 140730439333228 140730439335887 0
[pid=25187/tid=25201] ppid=25186 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/25187/task/25201/stat : 25201 (java) S 25186 25186 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3956365 14133010432 27534 33554432000 4194304 4196468 140730439326912 140641206495952 140642015799195 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 26320896 140730439333052 140730439333228 140730439333228 140730439335887 0
[pid=25187/tid=25202] ppid=25186 vsize=13801768 CPUtime=0.58 cores=1,3,5,7,9,11,13,15
/proc/25187/task/25202/stat : 25202 (java) R 25186 25186 7744 0 -1 4202560 2097 0 0 0 58 0 0 0 20 0 28 0 3956365 14133010432 27534 33554432000 4194304 4196468 140730439326912 140641205428640 140642008070053 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 26320896 140730439333052 140730439333228 140730439333228 140730439335887 0
[pid=25187/tid=25203] ppid=25186 vsize=13801768 CPUtime=0.65 cores=1,3,5,7,9,11,13,15
/proc/25187/task/25203/stat : 25203 (java) R 25186 25186 7744 0 -1 4202560 2709 0 0 0 65 0 0 0 20 0 28 0 3956365 14133010432 27534 33554432000 4194304 4196468 140730439326912 140641204376024 140641997300252 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26320896 140730439333052 140730439333228 140730439333228 140730439335887 0
[pid=25187/tid=25204] ppid=25186 vsize=13801768 CPUtime=0.56 cores=1,3,5,7,9,11,13,15
/proc/25187/task/25204/stat : 25204 (java) R 25186 25186 7744 0 -1 4202560 1900 0 0 0 55 1 0 0 20 0 28 0 3956365 14133010432 27534 33554432000 4194304 4196468 140730439326912 140641203318472 140641999312090 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 26320896 140730439333052 140730439333228 140730439333228 140730439335887 0
[pid=25187/tid=25205] ppid=25186 vsize=13801768 CPUtime=0.58 cores=1,3,5,7,9,11,13,15
/proc/25187/task/25205/stat : 25205 (java) S 25186 25186 7744 0 -1 1077944384 2625 0 0 0 57 1 0 0 20 0 28 0 3956365 14133010432 27534 33554432000 4194304 4196468 140730439326912 140641202284912 140642015791746 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 6 0 0 6293624 6294260 26320896 140730439333052 140730439333228 140730439333228 140730439335887 0
[pid=25187/tid=25206] ppid=25186 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/25187/task/25206/stat : 25206 (java) S 25186 25186 7744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3956365 14133010432 27534 33554432000 4194304 4196468 140730439326912 140641201232608 140642015790805 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 26320896 140730439333052 140730439333228 140730439333228 140730439335887 0
[pid=25187/tid=25207] ppid=25186 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/25187/task/25207/stat : 25207 (java) S 25186 25186 7744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3956365 14133010432 27534 33554432000 4194304 4196468 140730439326912 140641200180144 140642015791746 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26320896 140730439333052 140730439333228 140730439333228 140730439335887 0
[pid=25187/tid=25208] ppid=25186 vsize=13801768 CPUtime=0.57 cores=1,3,5,7,9,11,13,15
/proc/25187/task/25208/stat : 25208 (java) R 25186 25186 7744 0 -1 4202560 78 0 0 0 57 0 0 0 20 0 28 0 3956417 14133010432 27534 33554432000 4194304 4196468 140730439326912 140641192163472 140641610111455 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 26320896 140730439333052 140730439333228 140730439333228 140730439335887 0
[pid=25187/tid=25209] ppid=25186 vsize=13801768 CPUtime=0.53 cores=1,3,5,7,9,11,13,15
/proc/25187/task/25209/stat : 25209 (java) R 25186 25186 7744 0 -1 4202560 69 0 0 0 53 0 0 0 20 0 28 0 3956417 14133010432 27534 33554432000 4194304 4196468 140730439326912 140641191112352 140641607703231 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 26320896 140730439333052 140730439333228 140730439333228 140730439335887 0
[pid=25187/tid=25210] ppid=25186 vsize=13801768 CPUtime=0.55 cores=1,3,5,7,9,11,13,15
/proc/25187/task/25210/stat : 25210 (java) R 25186 25186 7744 0 -1 4202560 63 0 0 0 55 0 0 0 20 0 28 0 3956417 14133010432 27534 33554432000 4194304 4196468 140730439326912 140641190058624 140641610822768 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 26320896 140730439333052 140730439333228 140730439333228 140730439335887 0
[pid=25187/tid=25211] ppid=25186 vsize=13801768 CPUtime=0.63 cores=1,3,5,7,9,11,13,15
/proc/25187/task/25211/stat : 25211 (java) R 25186 25186 7744 0 -1 4202560 93 0 0 0 63 0 0 0 20 0 28 0 3956418 14133010432 27534 33554432000 4194304 4196468 140730439326912 140641189006776 140641610012609 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26320896 140730439333052 140730439333228 140730439333228 140730439335887 0
[pid=25187/tid=25212] ppid=25186 vsize=13801768 CPUtime=0.6 cores=1,3,5,7,9,11,13,15
/proc/25187/task/25212/stat : 25212 (java) R 25186 25186 7744 0 -1 4202560 59 0 0 0 60 0 0 0 20 0 28 0 3956418 14133010432 27534 33554432000 4194304 4196468 140730439326912 140641120010040 140641610346825 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26320896 140730439333052 140730439333228 140730439333228 140730439335887 0
[pid=25187/tid=25213] ppid=25186 vsize=13801768 CPUtime=0.52 cores=1,3,5,7,9,11,13,15
/proc/25187/task/25213/stat : 25213 (java) R 25186 25186 7744 0 -1 4202560 61 0 0 0 52 0 0 0 20 0 28 0 3956418 14133010432 27534 33554432000 4194304 4196468 140730439326912 140641118961080 140641610688752 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26320896 140730439333052 140730439333228 140730439333228 140730439335887 0
[pid=25187/tid=25214] ppid=25186 vsize=13801768 CPUtime=0.48 cores=1,3,5,7,9,11,13,15
/proc/25187/task/25214/stat : 25214 (java) R 25186 25186 7744 0 -1 4202560 54 0 0 0 48 0 0 0 20 0 28 0 3956418 14133010432 27534 33554432000 4194304 4196468 140730439326912 140641117904952 140641610515710 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 26320896 140730439333052 140730439333228 140730439333228 140730439335887 0
[pid=25187/tid=25215] ppid=25186 vsize=13801768 CPUtime=0.64 cores=1,3,5,7,9,11,13,15
/proc/25187/task/25215/stat : 25215 (java) R 25186 25186 7744 0 -1 4202560 43 0 0 0 64 0 0 0 20 0 28 0 3956418 14133010432 27534 33554432000 4194304 4196468 140730439326912 140641116855672 140641609938201 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 26320896 140730439333052 140730439333228 140730439333228 140730439335887 0
Current children cumulated CPU time (s) 7.56
Current children cumulated vsize (KiB) 13811280
[startup+3.10157 s]
/proc/loadavg: 15.22 14.98 14.73 20/300 25215
/proc/meminfo: memFree=31180736/32770624 swapFree=5880/249188
[pid=25186] ppid=25183 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/25186/stat : 25186 (xcsp3-exec) S 25183 25186 7744 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3956355 9740288 346 33554432000 4194304 5098028 140736347276560 140736347274664 139862056141436 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 13103104 140736347280526 140736347280736 140736347280736 140736347283435 0
/proc/25186/statm: 2378 346 289 221 0 87 0
[pid=25187] ppid=25186 vsize=13801768 CPUtime=20.27 cores=1,3,5,7,9,11,13,15
/proc/25187/stat : 25187 (java) S 25186 25186 7744 0 -1 1077944320 27628 0 0 0 2015 12 0 0 20 0 28 0 3956355 14133010432 38210 33554432000 4194304 4196468 140730439326912 140730439309456 140642015780599 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 26320896 140730439333052 140730439333228 140730439333228 140730439335887 0
/proc/25187/statm: 3450442 38210 3230 1 0 3437675 0
[pid=25187/tid=25188] ppid=25186 vsize=13801768 CPUtime=0.6 cores=1,3,5,7,9,11,13,15
/proc/25187/task/25188/stat : 25188 (java) S 25186 25186 7744 0 -1 1077944384 6353 0 0 0 57 3 0 0 20 0 28 0 3956355 14133010432 38210 33554432000 4194304 4196468 140730439326912 140642020021376 140642015790805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26320896 140730439333052 140730439333228 140730439333228 140730439335887 0
[pid=25187/tid=25190] ppid=25186 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/25187/task/25190/stat : 25190 (java) S 25186 25186 7744 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 3956356 14133010432 38210 33554432000 4194304 4196468 140730439326912 140641934261008 140642015790805 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 26320896 140730439333052 140730439333228 140730439333228 140730439335887 0
[pid=25187/tid=25191] ppid=25186 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/25187/task/25191/stat : 25191 (java) S 25186 25186 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3956356 14133010432 38210 33554432000 4194304 4196468 140730439326912 140641933208464 140642015790805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26320896 140730439333052 140730439333228 140730439333228 140730439335887 0
[pid=25187/tid=25192] ppid=25186 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/25187/task/25192/stat : 25192 (java) S 25186 25186 7744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3956356 14133010432 38210 33554432000 4194304 4196468 140730439326912 140641932155920 140642015790805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26320896 140730439333052 140730439333228 140730439333228 140730439335887 0
[pid=25187/tid=25193] ppid=25186 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/25187/task/25193/stat : 25193 (java) S 25186 25186 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3956356 14133010432 38210 33554432000 4194304 4196468 140730439326912 140641931103376 140642015790805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26320896 140730439333052 140730439333228 140730439333228 140730439335887 0
[pid=25187/tid=25194] ppid=25186 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/25187/task/25194/stat : 25194 (java) S 25186 25186 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3956356 14133010432 38210 33554432000 4194304 4196468 140730439326912 140641930049808 140642015790805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26320896 140730439333052 140730439333228 140730439333228 140730439335887 0
[pid=25187/tid=25195] ppid=25186 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/25187/task/25195/stat : 25195 (java) S 25186 25186 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3956356 14133010432 38210 33554432000 4194304 4196468 140730439326912 140641928997264 140642015790805 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 26320896 140730439333052 140730439333228 140730439333228 140730439335887 0
[pid=25187/tid=25196] ppid=25186 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/25187/task/25196/stat : 25196 (java) S 25186 25186 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3956356 14133010432 38210 33554432000 4194304 4196468 140730439326912 140641927944720 140642015790805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26320896 140730439333052 140730439333228 140730439333228 140730439335887 0
[pid=25187/tid=25197] ppid=25186 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/25187/task/25197/stat : 25197 (java) S 25186 25186 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3956356 14133010432 38210 33554432000 4194304 4196468 140730439326912 140641926892176 140642015790805 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 26320896 140730439333052 140730439333228 140730439333228 140730439335887 0
[pid=25187/tid=25198] ppid=25186 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/25187/task/25198/stat : 25198 (java) S 25186 25186 7744 0 -1 1077944384 31 0 0 0 0 0 0 0 20 0 28 0 3956359 14133010432 38210 33554432000 4194304 4196468 140730439326912 140641209653744 140642015791746 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26320896 140730439333052 140730439333228 140730439333228 140730439335887 0
[pid=25187/tid=25199] ppid=25186 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/25187/task/25199/stat : 25199 (java) S 25186 25186 7744 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 3956360 14133010432 38210 33554432000 4194304 4196468 140730439326912 140641208599968 140642015790805 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 26320896 140730439333052 140730439333228 140730439333228 140730439335887 0
[pid=25187/tid=25200] ppid=25186 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/25187/task/25200/stat : 25200 (java) S 25186 25186 7744 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 3956360 14133010432 38210 33554432000 4194304 4196468 140730439326912 140641207547376 140642015790805 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 26320896 140730439333052 140730439333228 140730439333228 140730439335887 0
[pid=25187/tid=25201] ppid=25186 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/25187/task/25201/stat : 25201 (java) S 25186 25186 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3956365 14133010432 38210 33554432000 4194304 4196468 140730439326912 140641206495952 140642015799195 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 26320896 140730439333052 140730439333228 140730439333228 140730439335887 0
[pid=25187/tid=25202] ppid=25186 vsize=13801768 CPUtime=1.88 cores=1,3,5,7,9,11,13,15
/proc/25187/task/25202/stat : 25202 (java) R 25186 25186 7744 0 -1 4202560 5526 0 0 0 187 1 0 0 20 0 28 0 3956365 14133010432 38210 33554432000 4194304 4196468 140730439326912 140641205432144 140642000904112 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 26320896 140730439333052 140730439333228 140730439333228 140730439335887 0
[pid=25187/tid=25203] ppid=25186 vsize=13801768 CPUtime=1.9 cores=1,3,5,7,9,11,13,15
/proc/25187/task/25203/stat : 25203 (java) R 25186 25186 7744 0 -1 4202560 6247 0 0 0 189 1 0 0 20 0 28 0 3956365 14133010432 38210 33554432000 4194304 4196468 140730439326912 140641204378400 140642015801946 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 26320896 140730439333052 140730439333228 140730439333228 140730439335887 0
[pid=25187/tid=25204] ppid=25186 vsize=13801768 CPUtime=1.67 cores=1,3,5,7,9,11,13,15
/proc/25187/task/25204/stat : 25204 (java) R 25186 25186 7744 0 -1 4202560 4393 0 0 0 166 1 0 0 20 0 28 0 3956365 14133010432 38210 33554432000 4194304 4196468 140730439326912 140641203320864 140642000662342 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 26320896 140730439333052 140730439333228 140730439333228 140730439335887 0
[pid=25187/tid=25205] ppid=25186 vsize=13801768 CPUtime=0.65 cores=1,3,5,7,9,11,13,15
/proc/25187/task/25205/stat : 25205 (java) S 25186 25186 7744 0 -1 1077944384 2719 0 0 0 64 1 0 0 20 0 28 0 3956365 14133010432 38210 33554432000 4194304 4196468 140730439326912 140641202284912 140642015791746 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 6 0 0 6293624 6294260 26320896 140730439333052 140730439333228 140730439333228 140730439335887 0
[pid=25187/tid=25206] ppid=25186 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/25187/task/25206/stat : 25206 (java) S 25186 25186 7744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3956365 14133010432 38210 33554432000 4194304 4196468 140730439326912 140641201232608 140642015790805 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 26320896 140730439333052 140730439333228 140730439333228 140730439335887 0
[pid=25187/tid=25207] ppid=25186 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/25187/task/25207/stat : 25207 (java) S 25186 25186 7744 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 3956365 14133010432 38210 33554432000 4194304 4196468 140730439326912 140641200180144 140642015791746 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26320896 140730439333052 140730439333228 140730439333228 140730439335887 0
[pid=25187/tid=25208] ppid=25186 vsize=13801768 CPUtime=1.72 cores=1,3,5,7,9,11,13,15
/proc/25187/task/25208/stat : 25208 (java) R 25186 25186 7744 0 -1 4202560 135 0 0 0 172 0 0 0 20 0 28 0 3956417 14133010432 38210 33554432000 4194304 4196468 140730439326912 140641192163856 140641612376826 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 26320896 140730439333052 140730439333228 140730439333228 140730439335887 0
[pid=25187/tid=25209] ppid=25186 vsize=13801768 CPUtime=1.68 cores=1,3,5,7,9,11,13,15
/proc/25187/task/25209/stat : 25209 (java) R 25186 25186 7744 0 -1 4202560 108 0 0 0 168 0 0 0 20 0 28 0 3956417 14133010432 38210 33554432000 4194304 4196468 140730439326912 140641191114008 140641606686408 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26320896 140730439333052 140730439333228 140730439333228 140730439335887 0
[pid=25187/tid=25210] ppid=25186 vsize=13801768 CPUtime=1.72 cores=1,3,5,7,9,11,13,15
/proc/25187/task/25210/stat : 25210 (java) R 25186 25186 7744 0 -1 4202560 157 0 0 0 172 0 0 0 20 0 28 0 3956417 14133010432 38210 33554432000 4194304 4196468 140730439326912 140641190061424 140641612212854 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 26320896 140730439333052 140730439333228 140730439333228 140730439335887 0
[pid=25187/tid=25211] ppid=25186 vsize=13801768 CPUtime=1.95 cores=1,3,5,7,9,11,13,15
/proc/25187/task/25211/stat : 25211 (java) R 25186 25186 7744 0 -1 4202560 192 0 0 0 195 0 0 0 20 0 28 0 3956418 14133010432 38210 33554432000 4194304 4196468 140730439326912 140641189006624 140641610772054 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 26320896 140730439333052 140730439333228 140730439333228 140730439335887 0
[pid=25187/tid=25212] ppid=25186 vsize=13801768 CPUtime=1.61 cores=1,3,5,7,9,11,13,15
/proc/25187/task/25212/stat : 25212 (java) R 25186 25186 7744 0 -1 4202560 125 0 0 0 161 0 0 0 20 0 28 0 3956418 14133010432 38210 33554432000 4194304 4196468 140730439326912 140641120015128 140641611956999 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26320896 140730439333052 140730439333228 140730439333228 140730439335887 0
[pid=25187/tid=25213] ppid=25186 vsize=13801768 CPUtime=1.65 cores=1,3,5,7,9,11,13,15
/proc/25187/task/25213/stat : 25213 (java) R 25186 25186 7744 0 -1 4202560 120 0 0 0 165 0 0 0 20 0 28 0 3956418 14133010432 38210 33554432000 4194304 4196468 140730439326912 140641118962360 140641611503935 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26320896 140730439333052 140730439333228 140730439333228 140730439335887 0
[pid=25187/tid=25214] ppid=25186 vsize=13801768 CPUtime=1.51 cores=1,3,5,7,9,11,13,15
/proc/25187/task/25214/stat : 25214 (java) R 25186 25186 7744 0 -1 4202560 133 0 0 0 151 0 0 0 20 0 28 0 3956418 14133010432 38210 33554432000 4194304 4196468 140730439326912 140641117911240 140641610318595 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26320896 140730439333052 140730439333228 140730439333228 140730439335887 0
[pid=25187/tid=25215] ppid=25186 vsize=13801768 CPUtime=1.64 cores=1,3,5,7,9,11,13,15
/proc/25187/task/25215/stat : 25215 (java) R 25186 25186 7744 0 -1 4202560 79 0 0 0 164 0 0 0 20 0 28 0 3956418 14133010432 38210 33554432000 4194304 4196468 140730439326912 140641116856312 140641606597957 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26320896 140730439333052 140730439333228 140730439333228 140730439335887 0
Current children cumulated CPU time (s) 20.27
Current children cumulated vsize (KiB) 13811280
[startup+6.30168 s]
/proc/loadavg: 15.28 15.00 14.73 17/300 25215
/proc/meminfo: memFree=31072256/32770624 swapFree=5880/249188
################
# More data... #
################
[pid=25187/tid=25214] ppid=25186 vsize=13801768 CPUtime=216.56 cores=1,3,5,7,9,11,13,15
/proc/25187/task/25214/stat : 25214 (java) R 25186 25186 7744 0 -1 4202560 5332 0 0 0 21652 4 0 0 20 0 28 0 3956418 14133010432 427023 33554432000 4194304 4196468 140730439326912 140641117909256 140641611509467 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 26320896 140730439333052 140730439333228 140730439333228 140730439335887 0
[pid=25187/tid=25215] ppid=25186 vsize=13801768 CPUtime=217.72 cores=1,3,5,7,9,11,13,15
/proc/25187/task/25215/stat : 25215 (java) R 25186 25186 7744 0 -1 4202560 4037 0 0 0 21767 5 0 0 20 0 28 0 3956418 14133010432 427023 33554432000 4194304 4196468 140730439326912 140641116856696 140641610318102 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 26320896 140730439333052 140730439333228 140730439333228 140730439335887 0
Current children cumulated CPU time (s) 1756.53
Current children cumulated vsize (KiB) 13811280
[startup+282.302 s]
/proc/loadavg: 15.80 15.56 15.04 17/301 25441
/proc/meminfo: memFree=28923384/32770624 swapFree=5880/249584
[pid=25186] ppid=25183 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/25186/stat : 25186 (xcsp3-exec) S 25183 25186 7744 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3956355 9740288 346 33554432000 4194304 5098028 140736347276560 140736347274664 139862056141436 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 13103104 140736347280526 140736347280736 140736347280736 140736347283435 0
/proc/25186/statm: 2378 346 289 221 0 87 0
[pid=25187] ppid=25186 vsize=13801768 CPUtime=2232.81 cores=1,3,5,7,9,11,13,15
/proc/25187/stat : 25187 (java) S 25186 25186 7744 0 -1 1077944320 87794 0 0 0 222964 317 0 0 20 0 28 0 3956355 14133010432 401662 33554432000 4194304 4196468 140730439326912 140730439309456 140642015780599 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 26320896 140730439333052 140730439333228 140730439333228 140730439335887 0
/proc/25187/statm: 3450442 401662 3279 1 0 3437675 0
[pid=25187/tid=25188] ppid=25186 vsize=13801768 CPUtime=0.6 cores=1,3,5,7,9,11,13,15
/proc/25187/task/25188/stat : 25188 (java) S 25186 25186 7744 0 -1 1077944384 6353 0 0 0 57 3 0 0 20 0 28 0 3956355 14133010432 401662 33554432000 4194304 4196468 140730439326912 140642020021376 140642015790805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26320896 140730439333052 140730439333228 140730439333228 140730439335887 0
[pid=25187/tid=25190] ppid=25186 vsize=13801768 CPUtime=1.39 cores=1,3,5,7,9,11,13,15
/proc/25187/task/25190/stat : 25190 (java) S 25186 25186 7744 0 -1 1077944384 1150 0 0 0 113 26 0 0 20 0 28 0 3956356 14133010432 401662 33554432000 4194304 4196468 140730439326912 140641934261008 140642015790805 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 26320896 140730439333052 140730439333228 140730439333228 140730439335887 0
[pid=25187/tid=25191] ppid=25186 vsize=13801768 CPUtime=1.31 cores=1,3,5,7,9,11,13,15
/proc/25187/task/25191/stat : 25191 (java) S 25186 25186 7744 0 -1 1077944384 1765 0 0 0 105 26 0 0 20 0 28 0 3956356 14133010432 401662 33554432000 4194304 4196468 140730439326912 140641933208464 140642015790805 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 26320896 140730439333052 140730439333228 140730439333228 140730439335887 0
[pid=25187/tid=25192] ppid=25186 vsize=13801768 CPUtime=1.35 cores=1,3,5,7,9,11,13,15
/proc/25187/task/25192/stat : 25192 (java) S 25186 25186 7744 0 -1 1077944384 2350 0 0 0 110 25 0 0 20 0 28 0 3956356 14133010432 401662 33554432000 4194304 4196468 140730439326912 140641932155920 140642015790805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26320896 140730439333052 140730439333228 140730439333228 140730439335887 0
[pid=25187/tid=25193] ppid=25186 vsize=13801768 CPUtime=1.36 cores=1,3,5,7,9,11,13,15
/proc/25187/task/25193/stat : 25193 (java) S 25186 25186 7744 0 -1 1077944384 977 0 0 0 109 27 0 0 20 0 28 0 3956356 14133010432 401662 33554432000 4194304 4196468 140730439326912 140641931103376 140642015790805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26320896 140730439333052 140730439333228 140730439333228 140730439335887 0
[pid=25187/tid=25194] ppid=25186 vsize=13801768 CPUtime=1.31 cores=1,3,5,7,9,11,13,15
/proc/25187/task/25194/stat : 25194 (java) S 25186 25186 7744 0 -1 1077944384 1119 0 0 0 106 25 0 0 20 0 28 0 3956356 14133010432 401662 33554432000 4194304 4196468 140730439326912 140641930049808 140642015790805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26320896 140730439333052 140730439333228 140730439333228 140730439335887 0
[pid=25187/tid=25195] ppid=25186 vsize=13801768 CPUtime=1.36 cores=1,3,5,7,9,11,13,15
/proc/25187/task/25195/stat : 25195 (java) S 25186 25186 7744 0 -1 1077944384 2365 0 0 0 108 28 0 0 20 0 28 0 3956356 14133010432 401662 33554432000 4194304 4196468 140730439326912 140641928997264 140642015790805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26320896 140730439333052 140730439333228 140730439333228 140730439335887 0
[pid=25187/tid=25196] ppid=25186 vsize=13801768 CPUtime=1.36 cores=1,3,5,7,9,11,13,15
/proc/25187/task/25196/stat : 25196 (java) S 25186 25186 7744 0 -1 1077944384 1582 0 0 0 109 27 0 0 20 0 28 0 3956356 14133010432 401662 33554432000 4194304 4196468 140730439326912 140641927944720 140642015790805 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 26320896 140730439333052 140730439333228 140730439333228 140730439335887 0
[pid=25187/tid=25197] ppid=25186 vsize=13801768 CPUtime=1.33 cores=1,3,5,7,9,11,13,15
/proc/25187/task/25197/stat : 25197 (java) S 25186 25186 7744 0 -1 1077944384 2299 0 0 0 107 26 0 0 20 0 28 0 3956356 14133010432 401662 33554432000 4194304 4196468 140730439326912 140641926892176 140642015790805 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 26320896 140730439333052 140730439333228 140730439333228 140730439335887 0
[pid=25187/tid=25198] ppid=25186 vsize=13801768 CPUtime=0.91 cores=1,3,5,7,9,11,13,15
/proc/25187/task/25198/stat : 25198 (java) S 25186 25186 7744 0 -1 1077944384 5893 0 0 0 47 44 0 0 20 0 28 0 3956359 14133010432 401662 33554432000 4194304 4196468 140730439326912 140641209653744 140642015791746 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26320896 140730439333052 140730439333228 140730439333228 140730439335887 0
[pid=25187/tid=25199] ppid=25186 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/25187/task/25199/stat : 25199 (java) S 25186 25186 7744 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 28 0 3956360 14133010432 401662 33554432000 4194304 4196468 140730439326912 140641208599968 140642015790805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26320896 140730439333052 140730439333228 140730439333228 140730439335887 0
[pid=25187/tid=25200] ppid=25186 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/25187/task/25200/stat : 25200 (java) S 25186 25186 7744 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 28 0 3956360 14133010432 401662 33554432000 4194304 4196468 140730439326912 140641207547376 140642015790805 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 26320896 140730439333052 140730439333228 140730439333228 140730439335887 0
[pid=25187/tid=25201] ppid=25186 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/25187/task/25201/stat : 25201 (java) S 25186 25186 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3956365 14133010432 401662 33554432000 4194304 4196468 140730439326912 140641206495952 140642015799195 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 26320896 140730439333052 140730439333228 140730439333228 140730439335887 0
[pid=25187/tid=25202] ppid=25186 vsize=13801768 CPUtime=2.48 cores=1,3,5,7,9,11,13,15
/proc/25187/task/25202/stat : 25202 (java) S 25186 25186 7744 0 -1 1077944384 7518 0 0 0 247 1 0 0 20 0 28 0 3956365 14133010432 401662 33554432000 4194304 4196468 140730439326912 140641205442544 140642015791746 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 26320896 140730439333052 140730439333228 140730439333228 140730439335887 0
[pid=25187/tid=25203] ppid=25186 vsize=13801768 CPUtime=2.55 cores=1,3,5,7,9,11,13,15
/proc/25187/task/25203/stat : 25203 (java) S 25186 25186 7744 0 -1 1077944384 8539 0 0 0 254 1 0 0 20 0 28 0 3956365 14133010432 401662 33554432000 4194304 4196468 140730439326912 140641204390000 140642015791746 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26320896 140730439333052 140730439333228 140730439333228 140730439335887 0
[pid=25187/tid=25204] ppid=25186 vsize=13801768 CPUtime=2.55 cores=1,3,5,7,9,11,13,15
/proc/25187/task/25204/stat : 25204 (java) S 25186 25186 7744 0 -1 1077944384 9677 0 0 0 253 2 0 0 20 0 28 0 3956365 14133010432 401662 33554432000 4194304 4196468 140730439326912 140641203337456 140642015791746 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26320896 140730439333052 140730439333228 140730439333228 140730439335887 0
[pid=25187/tid=25205] ppid=25186 vsize=13801768 CPUtime=0.73 cores=1,3,5,7,9,11,13,15
/proc/25187/task/25205/stat : 25205 (java) S 25186 25186 7744 0 -1 1077944384 4357 0 0 0 72 1 0 0 20 0 28 0 3956365 14133010432 401662 33554432000 4194304 4196468 140730439326912 140641202284912 140642015791746 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 6 0 0 6293624 6294260 26320896 140730439333052 140730439333228 140730439333228 140730439335887 0
[pid=25187/tid=25206] ppid=25186 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/25187/task/25206/stat : 25206 (java) S 25186 25186 7744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3956365 14133010432 401662 33554432000 4194304 4196468 140730439326912 140641201232608 140642015790805 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 26320896 140730439333052 140730439333228 140730439333228 140730439335887 0
[pid=25187/tid=25207] ppid=25186 vsize=13801768 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/25187/task/25207/stat : 25207 (java) S 25186 25186 7744 0 -1 1077944384 489 0 0 0 8 10 0 0 20 0 28 0 3956365 14133010432 401662 33554432000 4194304 4196468 140730439326912 140641200180144 140642015791746 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 26320896 140730439333052 140730439333228 140730439333228 140730439335887 0
[pid=25187/tid=25208] ppid=25186 vsize=13801768 CPUtime=276.79 cores=1,3,5,7,9,11,13,15
/proc/25187/task/25208/stat : 25208 (java) R 25186 25186 7744 0 -1 4202560 3845 0 0 0 27675 4 0 0 20 0 28 0 3956417 14133010432 401662 33554432000 4194304 4196468 140730439326912 140641192164112 140641610317967 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26320896 140730439333052 140730439333228 140730439333228 140730439335887 0
[pid=25187/tid=25209] ppid=25186 vsize=13801768 CPUtime=276.75 cores=1,3,5,7,9,11,13,15
/proc/25187/task/25209/stat : 25209 (java) R 25186 25186 7744 0 -1 4202560 2540 0 0 0 27669 6 0 0 20 0 28 0 3956417 14133010432 401662 33554432000 4194304 4196468 140730439326912 140641191116128 140642008601483 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 26320896 140730439333052 140730439333228 140730439333228 140730439335887 0
[pid=25187/tid=25210] ppid=25186 vsize=13801768 CPUtime=276.19 cores=1,3,5,7,9,11,13,15
/proc/25187/task/25210/stat : 25210 (java) R 25186 25186 7744 0 -1 4202560 3697 0 0 0 27614 5 0 0 20 0 28 0 3956417 14133010432 401662 33554432000 4194304 4196468 140730439326912 140641190059096 140641612383550 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 26320896 140730439333052 140730439333228 140730439333228 140730439335887 0
[pid=25187/tid=25211] ppid=25186 vsize=13801768 CPUtime=276.38 cores=1,3,5,7,9,11,13,15
/proc/25187/task/25211/stat : 25211 (java) R 25186 25186 7744 0 -1 4202560 5091 0 0 0 27631 7 0 0 20 0 28 0 3956418 14133010432 401662 33554432000 4194304 4196468 140730439326912 140641189006984 140641997186888 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 26320896 140730439333052 140730439333228 140730439333228 140730439335887 0
[pid=25187/tid=25212] ppid=25186 vsize=13801768 CPUtime=276.43 cores=1,3,5,7,9,11,13,15
/proc/25187/task/25212/stat : 25212 (java) R 25186 25186 7744 0 -1 4202560 4530 0 0 0 27639 4 0 0 20 0 28 0 3956418 14133010432 401662 33554432000 4194304 4196468 140730439326912 140641120013912 140641612009420 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 26320896 140730439333052 140730439333228 140730439333228 140730439335887 0
[pid=25187/tid=25213] ppid=25186 vsize=13801768 CPUtime=276.69 cores=1,3,5,7,9,11,13,15
/proc/25187/task/25213/stat : 25213 (java) R 25186 25186 7744 0 -1 4202560 579 0 0 0 27668 1 0 0 20 0 28 0 3956418 14133010432 401662 33554432000 4194304 4196468 140730439326912 140641118962216 140641612030199 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26320896 140730439333052 140730439333228 140730439333228 140730439335887 0
[pid=25187/tid=25214] ppid=25186 vsize=13801768 CPUtime=275.41 cores=1,3,5,7,9,11,13,15
/proc/25187/task/25214/stat : 25214 (java) R 25186 25186 7744 0 -1 4202560 5646 0 0 0 27536 5 0 0 20 0 28 0 3956418 14133010432 401662 33554432000 4194304 4196468 140730439326912 140641117909656 140641611897647 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 26320896 140730439333052 140730439333228 140730439333228 140730439335887 0
[pid=25187/tid=25215] ppid=25186 vsize=13801768 CPUtime=277.17 cores=1,3,5,7,9,11,13,15
/proc/25187/task/25215/stat : 25215 (java) R 25186 25186 7744 0 -1 4202560 4089 0 0 0 27711 6 0 0 20 0 28 0 3956418 14133010432 401662 33554432000 4194304 4196468 140730439326912 140641116857128 140641612402684 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26320896 140730439333052 140730439333228 140730439333228 140730439335887 0
Current children cumulated CPU time (s) 2232.81
Current children cumulated vsize (KiB) 13811280
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+303.402 s]
/proc/loadavg: 15.92 15.60 15.07 17/301 25441
/proc/meminfo: memFree=27840396/32770624 swapFree=5880/249596
[pid=25186] ppid=25183 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/25186/stat : 25186 (xcsp3-exec) S 25183 25186 7744 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3956355 9740288 346 33554432000 4194304 5098028 140736347276560 140736347274664 139862056141436 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 13103104 140736347280526 140736347280736 140736347280736 140736347283435 0
/proc/25186/statm: 2378 346 289 221 0 87 0
[pid=25187] ppid=25186 vsize=13801768 CPUtime=2400.15 cores=1,3,5,7,9,11,13,15
/proc/25187/stat : 25187 (java) S 25186 25186 7744 0 -1 1077944320 90011 0 0 0 239673 342 0 0 20 0 28 0 3956355 14133010432 479698 33554432000 4194304 4196468 140730439326912 140730439309456 140642015780599 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 26320896 140730439333052 140730439333228 140730439333228 140730439335887 0
/proc/25187/statm: 3450442 479698 3279 1 0 3437675 0
[pid=25187/tid=25188] ppid=25186 vsize=13801768 CPUtime=0.6 cores=1,3,5,7,9,11,13,15
/proc/25187/task/25188/stat : 25188 (java) S 25186 25186 7744 0 -1 1077944384 6353 0 0 0 57 3 0 0 20 0 28 0 3956355 14133010432 479698 33554432000 4194304 4196468 140730439326912 140642020021376 140642015790805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26320896 140730439333052 140730439333228 140730439333228 140730439335887 0
[pid=25187/tid=25190] ppid=25186 vsize=13801768 CPUtime=1.51 cores=1,3,5,7,9,11,13,15
/proc/25187/task/25190/stat : 25190 (java) S 25186 25186 7744 0 -1 1077944384 1196 0 0 0 123 28 0 0 20 0 28 0 3956356 14133010432 479698 33554432000 4194304 4196468 140730439326912 140641934261008 140642015790805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26320896 140730439333052 140730439333228 140730439333228 140730439335887 0
[pid=25187/tid=25191] ppid=25186 vsize=13801768 CPUtime=1.45 cores=1,3,5,7,9,11,13,15
/proc/25187/task/25191/stat : 25191 (java) S 25186 25186 7744 0 -1 1077944384 1888 0 0 0 116 29 0 0 20 0 28 0 3956356 14133010432 479698 33554432000 4194304 4196468 140730439326912 140641933208464 140642015790805 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 26320896 140730439333052 140730439333228 140730439333228 140730439335887 0
[pid=25187/tid=25192] ppid=25186 vsize=13801768 CPUtime=1.45 cores=1,3,5,7,9,11,13,15
/proc/25187/task/25192/stat : 25192 (java) S 25186 25186 7744 0 -1 1077944384 2505 0 0 0 119 26 0 0 20 0 28 0 3956356 14133010432 479698 33554432000 4194304 4196468 140730439326912 140641932155920 140642015790805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26320896 140730439333052 140730439333228 140730439333228 140730439335887 0
[pid=25187/tid=25193] ppid=25186 vsize=13801768 CPUtime=1.46 cores=1,3,5,7,9,11,13,15
/proc/25187/task/25193/stat : 25193 (java) S 25186 25186 7744 0 -1 1077944384 1077 0 0 0 118 28 0 0 20 0 28 0 3956356 14133010432 479698 33554432000 4194304 4196468 140730439326912 140641931103376 140642015790805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26320896 140730439333052 140730439333228 140730439333228 140730439335887 0
[pid=25187/tid=25194] ppid=25186 vsize=13801768 CPUtime=1.44 cores=1,3,5,7,9,11,13,15
/proc/25187/task/25194/stat : 25194 (java) S 25186 25186 7744 0 -1 1077944384 1238 0 0 0 116 28 0 0 20 0 28 0 3956356 14133010432 479698 33554432000 4194304 4196468 140730439326912 140641930049808 140642015790805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26320896 140730439333052 140730439333228 140730439333228 140730439335887 0
[pid=25187/tid=25195] ppid=25186 vsize=13801768 CPUtime=1.47 cores=1,3,5,7,9,11,13,15
/proc/25187/task/25195/stat : 25195 (java) S 25186 25186 7744 0 -1 1077944384 2431 0 0 0 117 30 0 0 20 0 28 0 3956356 14133010432 479698 33554432000 4194304 4196468 140730439326912 140641928997264 140642015790805 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 26320896 140730439333052 140730439333228 140730439333228 140730439335887 0
[pid=25187/tid=25196] ppid=25186 vsize=13801768 CPUtime=1.48 cores=1,3,5,7,9,11,13,15
/proc/25187/task/25196/stat : 25196 (java) S 25186 25186 7744 0 -1 1077944384 1683 0 0 0 119 29 0 0 20 0 28 0 3956356 14133010432 479698 33554432000 4194304 4196468 140730439326912 140641927944720 140642015790805 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 26320896 140730439333052 140730439333228 140730439333228 140730439335887 0
[pid=25187/tid=25197] ppid=25186 vsize=13801768 CPUtime=1.44 cores=1,3,5,7,9,11,13,15
/proc/25187/task/25197/stat : 25197 (java) S 25186 25186 7744 0 -1 1077944384 2375 0 0 0 116 28 0 0 20 0 28 0 3956356 14133010432 479698 33554432000 4194304 4196468 140730439326912 140641926892176 140642015790805 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 26320896 140730439333052 140730439333228 140730439333228 140730439335887 0
[pid=25187/tid=25198] ppid=25186 vsize=13801768 CPUtime=0.95 cores=1,3,5,7,9,11,13,15
/proc/25187/task/25198/stat : 25198 (java) S 25186 25186 7744 0 -1 1077944384 6439 0 0 0 49 46 0 0 20 0 28 0 3956359 14133010432 479698 33554432000 4194304 4196468 140730439326912 140641209653744 140642015791746 0 0 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 26320896 140730439333052 140730439333228 140730439333228 140730439335887 0
[pid=25187/tid=25199] ppid=25186 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/25187/task/25199/stat : 25199 (java) S 25186 25186 7744 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 28 0 3956360 14133010432 479698 33554432000 4194304 4196468 140730439326912 140641208599968 140642015790805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26320896 140730439333052 140730439333228 140730439333228 140730439335887 0
[pid=25187/tid=25200] ppid=25186 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/25187/task/25200/stat : 25200 (java) S 25186 25186 7744 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 28 0 3956360 14133010432 479698 33554432000 4194304 4196468 140730439326912 140641207547376 140642015790805 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 26320896 140730439333052 140730439333228 140730439333228 140730439335887 0
[pid=25187/tid=25201] ppid=25186 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/25187/task/25201/stat : 25201 (java) S 25186 25186 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3956365 14133010432 479698 33554432000 4194304 4196468 140730439326912 140641206495952 140642015799195 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 26320896 140730439333052 140730439333228 140730439333228 140730439335887 0
[pid=25187/tid=25202] ppid=25186 vsize=13801768 CPUtime=2.48 cores=1,3,5,7,9,11,13,15
/proc/25187/task/25202/stat : 25202 (java) S 25186 25186 7744 0 -1 1077944384 7521 0 0 0 247 1 0 0 20 0 28 0 3956365 14133010432 479698 33554432000 4194304 4196468 140730439326912 140641205442544 140642015791746 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 26320896 140730439333052 140730439333228 140730439333228 140730439335887 0
[pid=25187/tid=25203] ppid=25186 vsize=13801768 CPUtime=2.55 cores=1,3,5,7,9,11,13,15
/proc/25187/task/25203/stat : 25203 (java) S 25186 25186 7744 0 -1 1077944384 8541 0 0 0 254 1 0 0 20 0 28 0 3956365 14133010432 479698 33554432000 4194304 4196468 140730439326912 140641204390000 140642015791746 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26320896 140730439333052 140730439333228 140730439333228 140730439335887 0
[pid=25187/tid=25204] ppid=25186 vsize=13801768 CPUtime=2.55 cores=1,3,5,7,9,11,13,15
/proc/25187/task/25204/stat : 25204 (java) S 25186 25186 7744 0 -1 1077944384 9679 0 0 0 253 2 0 0 20 0 28 0 3956365 14133010432 479698 33554432000 4194304 4196468 140730439326912 140641203337456 140642015791746 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26320896 140730439333052 140730439333228 140730439333228 140730439335887 0
[pid=25187/tid=25205] ppid=25186 vsize=13801768 CPUtime=0.73 cores=1,3,5,7,9,11,13,15
/proc/25187/task/25205/stat : 25205 (java) S 25186 25186 7744 0 -1 1077944384 4359 0 0 0 72 1 0 0 20 0 28 0 3956365 14133010432 479698 33554432000 4194304 4196468 140730439326912 140641202284912 140642015791746 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 6 0 0 6293624 6294260 26320896 140730439333052 140730439333228 140730439333228 140730439335887 0
[pid=25187/tid=25206] ppid=25186 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/25187/task/25206/stat : 25206 (java) S 25186 25186 7744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3956365 14133010432 479698 33554432000 4194304 4196468 140730439326912 140641201232608 140642015790805 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 26320896 140730439333052 140730439333228 140730439333228 140730439335887 0
[pid=25187/tid=25207] ppid=25186 vsize=13801768 CPUtime=0.2 cores=1,3,5,7,9,11,13,15
/proc/25187/task/25207/stat : 25207 (java) S 25186 25186 7744 0 -1 1077944384 507 0 0 0 9 11 0 0 20 0 28 0 3956365 14133010432 479698 33554432000 4194304 4196468 140730439326912 140641200180144 140642015791746 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 26320896 140730439333052 140730439333228 140730439333228 140730439335887 0
[pid=25187/tid=25208] ppid=25186 vsize=13801768 CPUtime=297.65 cores=1,3,5,7,9,11,13,15
/proc/25187/task/25208/stat : 25208 (java) R 25186 25186 7744 0 -1 4202560 3930 0 0 0 29761 4 0 0 20 0 28 0 3956417 14133010432 479698 33554432000 4194304 4196468 140730439326912 140641192164600 140641611615408 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 26320896 140730439333052 140730439333228 140730439333228 140730439335887 0
[pid=25187/tid=25209] ppid=25186 vsize=13801768 CPUtime=297.64 cores=1,3,5,7,9,11,13,15
/proc/25187/task/25209/stat : 25209 (java) R 25186 25186 7744 0 -1 4202560 2644 0 0 0 29757 7 0 0 20 0 28 0 3956417 14133010432 479698 33554432000 4194304 4196468 140730439326912 140641191113176 140642001848724 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 26320896 140730439333052 140730439333228 140730439333228 140730439335887 0
[pid=25187/tid=25210] ppid=25186 vsize=13801768 CPUtime=296.94 cores=1,3,5,7,9,11,13,15
/proc/25187/task/25210/stat : 25210 (java) R 25186 25186 7744 0 -1 4202560 3906 0 0 0 29688 6 0 0 20 0 28 0 3956417 14133010432 479698 33554432000 4194304 4196468 140730439326912 140641190059768 140641612134304 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26320896 140730439333052 140730439333228 140730439333228 140730439335887 0
[pid=25187/tid=25211] ppid=25186 vsize=13801768 CPUtime=297.16 cores=1,3,5,7,9,11,13,15
/proc/25187/task/25211/stat : 25211 (java) R 25186 25186 7744 0 -1 4202560 5255 0 0 0 29708 8 0 0 20 0 28 0 3956418 14133010432 479698 33554432000 4194304 4196468 140730439326912 140641189006880 140641612009517 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26320896 140730439333052 140730439333228 140730439333228 140730439335887 0
[pid=25187/tid=25212] ppid=25186 vsize=13801768 CPUtime=297.06 cores=1,3,5,7,9,11,13,15
/proc/25187/task/25212/stat : 25212 (java) R 25186 25186 7744 0 -1 4202560 4565 0 0 0 29702 4 0 0 20 0 28 0 3956418 14133010432 479698 33554432000 4194304 4196468 140730439326912 140641120017120 140641612009260 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 26320896 140730439333052 140730439333228 140730439333228 140730439335887 0
[pid=25187/tid=25213] ppid=25186 vsize=13801768 CPUtime=297.58 cores=1,3,5,7,9,11,13,15
/proc/25187/task/25213/stat : 25213 (java) R 25186 25186 7744 0 -1 4202560 635 0 0 0 29757 1 0 0 20 0 28 0 3956418 14133010432 479698 33554432000 4194304 4196468 140730439326912 140641118961800 140641611509623 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26320896 140730439333052 140730439333228 140730439333228 140730439335887 0
[pid=25187/tid=25214] ppid=25186 vsize=13801768 CPUtime=296.14 cores=1,3,5,7,9,11,13,15
/proc/25187/task/25214/stat : 25214 (java) R 25186 25186 7744 0 -1 4202560 5722 0 0 0 29608 6 0 0 20 0 28 0 3956418 14133010432 479698 33554432000 4194304 4196468 140730439326912 140641117909160 140641612917322 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 26320896 140730439333052 140730439333228 140730439333228 140730439335887 0
[pid=25187/tid=25215] ppid=25186 vsize=13801768 CPUtime=297.99 cores=1,3,5,7,9,11,13,15
/proc/25187/task/25215/stat : 25215 (java) R 25186 25186 7744 0 -1 4202560 4218 0 0 0 29791 8 0 0 20 0 28 0 3956418 14133010432 479698 33554432000 4194304 4196468 140730439326912 140641116856696 140641612009359 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 26320896 140730439333052 140730439333228 140730439333228 140730439335887 0
Current children cumulated CPU time (s) 2400.15
Current children cumulated vsize (KiB) 13811280
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 25187 sig 9
??? kill 25186 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 25186 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=1096
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=2193
# CPU time returned by wait4() is 0.003289
# while last known CPU time is 2400.15
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 303.414
CPU time (s): 2400.15
CPU user time (s): 2396.73
CPU system time (s): 3.42
CPU usage (%): 791.048
Max. virtual memory (cumulated for all children) (KiB): 13813404
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.001096
system time used= 0.002193
maximum resident set size= 1388
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 517
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 1
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.96329 second user time and 4.96327 second system time
The end