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-4246813-1500688117/watcher-4246813-1500688117 -o /tmp/evaluation-result-4246813-1500688117/solver-4246813-1500688117 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node132-1500682387-18842 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1255815242 HOME/instance-4246813-1500688117.xml
pid=6153
running on 8 cores: 4-7,12-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.48 15.11 14.74 10/275 6156
/proc/meminfo: memFree=24533516/32770624 swapFree=5944/248652
[pid=6156] ppid=6153 vsize=9512 CPUtime=0 cores=4-7,12-15
/proc/6156/stat : 6156 (xcsp3-exec) S 6153 6156 18810 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4078880 9740288 346 33554432000 4194304 5098028 140723962665392 140723962663496 140196400890492 0 65536 4100 65538 18446744071579417331 0 0 17 14 0 0 0 0 0 7196144 7232144 20328448 140723962668174 140723962668384 140723962668384 140723962671083 0
/proc/6156/statm: 2378 346 289 221 0 87 0
[startup+0.100102 s]
/proc/loadavg: 15.48 15.11 14.74 10/275 6156
/proc/meminfo: memFree=24533516/32770624 swapFree=5944/248652
[pid=6156] ppid=6153 vsize=9512 CPUtime=0 cores=4-7,12-15
/proc/6156/stat : 6156 (xcsp3-exec) S 6153 6156 18810 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4078880 9740288 346 33554432000 4194304 5098028 140723962665392 140723962663496 140196400890492 0 65536 4100 65538 18446744071579417331 0 0 17 14 0 0 0 0 0 7196144 7232144 20328448 140723962668174 140723962668384 140723962668384 140723962671083 0
/proc/6156/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.20028 s]
/proc/loadavg: 15.48 15.11 14.74 10/275 6156
/proc/meminfo: memFree=24533516/32770624 swapFree=5944/248652
[pid=6156] ppid=6153 vsize=9512 CPUtime=0 cores=4-7,12-15
/proc/6156/stat : 6156 (xcsp3-exec) S 6153 6156 18810 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4078880 9740288 346 33554432000 4194304 5098028 140723962665392 140723962663496 140196400890492 0 65536 4100 65538 18446744071579417331 0 0 17 14 0 0 0 0 0 7196144 7232144 20328448 140723962668174 140723962668384 140723962668384 140723962671083 0
/proc/6156/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300272 s]
/proc/loadavg: 15.48 15.11 14.74 10/275 6156
/proc/meminfo: memFree=24533516/32770624 swapFree=5944/248652
[pid=6156] ppid=6153 vsize=9512 CPUtime=0 cores=4-7,12-15
/proc/6156/stat : 6156 (xcsp3-exec) S 6153 6156 18810 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4078880 9740288 346 33554432000 4194304 5098028 140723962665392 140723962663496 140196400890492 0 65536 4100 65538 18446744071579417331 0 0 17 14 0 0 0 0 0 7196144 7232144 20328448 140723962668174 140723962668384 140723962668384 140723962671083 0
/proc/6156/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700184 s]
/proc/loadavg: 15.48 15.11 14.74 10/275 6156
/proc/meminfo: memFree=24533516/32770624 swapFree=5944/248652
[pid=6156] ppid=6153 vsize=9512 CPUtime=0 cores=4-7,12-15
/proc/6156/stat : 6156 (xcsp3-exec) S 6153 6156 18810 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4078880 9740288 346 33554432000 4194304 5098028 140723962665392 140723962663496 140196400890492 0 65536 4100 65538 18446744071579417331 0 0 17 14 0 0 0 0 0 7196144 7232144 20328448 140723962668174 140723962668384 140723962668384 140723962671083 0
/proc/6156/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50119 s]
/proc/loadavg: 15.48 15.11 14.74 13/296 6177
/proc/meminfo: memFree=24356044/32770624 swapFree=5944/248688
[pid=6156] ppid=6153 vsize=9512 CPUtime=0 cores=4-7,12-15
/proc/6156/stat : 6156 (xcsp3-exec) S 6153 6156 18810 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4078880 9740288 346 33554432000 4194304 5098028 140723962665392 140723962663496 140196400890492 0 65536 4100 65538 18446744071579417331 0 0 17 14 0 0 0 0 0 7196144 7232144 20328448 140723962668174 140723962668384 140723962668384 140723962671083 0
/proc/6156/statm: 2378 346 289 221 0 87 0
[pid=6157] ppid=6156 vsize=13801768 CPUtime=6.33 cores=4-7,12-15
/proc/6157/stat : 6157 (java) S 6156 6156 18810 0 -1 1077944320 24236 0 0 0 614 19 0 0 20 0 28 0 4078880 14133010432 56308 33554432000 4194304 4196468 140722602361120 140722602343664 140654529212151 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 23187456 140722602366140 140722602366316 140722602366316 140722602368975 0
/proc/6157/statm: 3450442 56308 3255 1 0 3437675 0
[pid=6157/tid=6158] ppid=6156 vsize=13801768 CPUtime=1.08 cores=4-7,12-15
/proc/6157/task/6158/stat : 6158 (java) S 6156 6156 18810 0 -1 1077944384 8495 0 0 0 104 4 0 0 20 0 28 0 4078881 14133010432 56308 33554432000 4194304 4196468 140722602361120 140654533452928 140654529222357 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 23187456 140722602366140 140722602366316 140722602366316 140722602368975 0
[pid=6157/tid=6160] ppid=6156 vsize=13801768 CPUtime=0.02 cores=4-7,12-15
/proc/6157/task/6160/stat : 6160 (java) S 6156 6156 18810 0 -1 1077944384 72 0 0 0 2 0 0 0 20 0 28 0 4078881 14133010432 56308 33554432000 4194304 4196468 140722602361120 140654481832464 140654529222357 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 23187456 140722602366140 140722602366316 140722602366316 140722602368975 0
[pid=6157/tid=6161] ppid=6156 vsize=13801768 CPUtime=0.01 cores=4-7,12-15
/proc/6157/task/6161/stat : 6161 (java) S 6156 6156 18810 0 -1 1077944384 11 0 0 0 0 1 0 0 20 0 28 0 4078881 14133010432 56308 33554432000 4194304 4196468 140722602361120 140654480779920 140654529222357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23187456 140722602366140 140722602366316 140722602366316 140722602368975 0
[pid=6157/tid=6162] ppid=6156 vsize=13801768 CPUtime=0.01 cores=4-7,12-15
/proc/6157/task/6162/stat : 6162 (java) S 6156 6156 18810 0 -1 1077944384 13 0 0 0 0 1 0 0 20 0 28 0 4078881 14133010432 56308 33554432000 4194304 4196468 140722602361120 140654479726864 140654529222357 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 23187456 140722602366140 140722602366316 140722602366316 140722602368975 0
[pid=6157/tid=6163] ppid=6156 vsize=13801768 CPUtime=0.01 cores=4-7,12-15
/proc/6157/task/6163/stat : 6163 (java) S 6156 6156 18810 0 -1 1077944384 10 0 0 0 0 1 0 0 20 0 28 0 4078881 14133010432 56308 33554432000 4194304 4196468 140722602361120 140654478674320 140654529222357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23187456 140722602366140 140722602366316 140722602366316 140722602368975 0
[pid=6157/tid=6164] ppid=6156 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/6157/task/6164/stat : 6164 (java) S 6156 6156 18810 0 -1 1077944384 101 0 0 0 0 0 0 0 20 0 28 0 4078881 14133010432 56308 33554432000 4194304 4196468 140722602361120 140654477622288 140654529222357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23187456 140722602366140 140722602366316 140722602366316 140722602368975 0
[pid=6157/tid=6165] ppid=6156 vsize=13801768 CPUtime=0.03 cores=4-7,12-15
/proc/6157/task/6165/stat : 6165 (java) S 6156 6156 18810 0 -1 1077944384 37 0 0 0 2 1 0 0 20 0 28 0 4078881 14133010432 56308 33554432000 4194304 4196468 140722602361120 140654476569744 140654529222357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23187456 140722602366140 140722602366316 140722602366316 140722602368975 0
[pid=6157/tid=6166] ppid=6156 vsize=13801768 CPUtime=0.01 cores=4-7,12-15
/proc/6157/task/6166/stat : 6166 (java) S 6156 6156 18810 0 -1 1077944384 11 0 0 0 0 1 0 0 20 0 28 0 4078881 14133010432 56308 33554432000 4194304 4196468 140722602361120 140654121777936 140654529222357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23187456 140722602366140 140722602366316 140722602366316 140722602368975 0
[pid=6157/tid=6167] ppid=6156 vsize=13801768 CPUtime=0.02 cores=4-7,12-15
/proc/6157/task/6167/stat : 6167 (java) S 6156 6156 18810 0 -1 1077944384 23 0 0 0 1 1 0 0 20 0 28 0 4078881 14133010432 56308 33554432000 4194304 4196468 140722602361120 140654120725392 140654529222357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23187456 140722602366140 140722602366316 140722602366316 140722602368975 0
[pid=6157/tid=6168] ppid=6156 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/6157/task/6168/stat : 6168 (java) S 6156 6156 18810 0 -1 1077944384 193 0 0 0 0 0 0 0 20 0 28 0 4078883 14133010432 56308 33554432000 4194304 4196468 140722602361120 140653722802416 140654529223298 0 0 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 23187456 140722602366140 140722602366316 140722602366316 140722602368975 0
[pid=6157/tid=6169] ppid=6156 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/6157/task/6169/stat : 6169 (java) S 6156 6156 18810 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 4078884 14133010432 56308 33554432000 4194304 4196468 140722602361120 140653721748640 140654529222357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23187456 140722602366140 140722602366316 140722602366316 140722602368975 0
[pid=6157/tid=6170] ppid=6156 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/6157/task/6170/stat : 6170 (java) S 6156 6156 18810 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 4078884 14133010432 56308 33554432000 4194304 4196468 140722602361120 140653720695536 140654529222357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23187456 140722602366140 140722602366316 140722602366316 140722602368975 0
[pid=6157/tid=6171] ppid=6156 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/6157/task/6171/stat : 6171 (java) S 6156 6156 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4078888 14133010432 56308 33554432000 4194304 4196468 140722602361120 140653719644112 140654529230747 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 23187456 140722602366140 140722602366316 140722602366316 140722602368975 0
[pid=6157/tid=6172] ppid=6156 vsize=13801768 CPUtime=0.83 cores=4-7,12-15
/proc/6157/task/6172/stat : 6172 (java) R 6156 6156 18810 0 -1 4202560 3835 0 0 0 82 1 0 0 20 0 28 0 4078888 14133010432 56308 33554432000 4194304 4196468 140722602361120 140653718578784 140654512770738 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 23187456 140722602366140 140722602366316 140722602366316 140722602368975 0
[pid=6157/tid=6173] ppid=6156 vsize=13801768 CPUtime=0.78 cores=4-7,12-15
/proc/6157/task/6173/stat : 6173 (java) R 6156 6156 18810 0 -1 4202560 3135 0 0 0 78 0 0 0 20 0 28 0 4078888 14133010432 56308 33554432000 4194304 4196468 140722602361120 140653717526200 140654514819376 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23187456 140722602366140 140722602366316 140722602366316 140722602368975 0
[pid=6157/tid=6174] ppid=6156 vsize=13801768 CPUtime=0.78 cores=4-7,12-15
/proc/6157/task/6174/stat : 6174 (java) R 6156 6156 18810 0 -1 4202560 3332 0 0 0 78 0 0 0 20 0 28 0 4078888 14133010432 56308 33554432000 4194304 4196468 140722602361120 140653716472520 140654514321072 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 23187456 140722602366140 140722602366316 140722602366316 140722602368975 0
[pid=6157/tid=6175] ppid=6156 vsize=13801768 CPUtime=0.65 cores=4-7,12-15
/proc/6157/task/6175/stat : 6175 (java) S 6156 6156 18810 0 -1 1077944384 3260 0 0 0 64 1 0 0 20 0 28 0 4078888 14133010432 56308 33554432000 4194304 4196468 140722602361120 140653715434096 140654529223298 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 23187456 140722602366140 140722602366316 140722602366316 140722602368975 0
[pid=6157/tid=6176] ppid=6156 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/6157/task/6176/stat : 6176 (java) S 6156 6156 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4078888 14133010432 56308 33554432000 4194304 4196468 140722602361120 140653714381280 140654529222357 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 23187456 140722602366140 140722602366316 140722602366316 140722602368975 0
[pid=6157/tid=6177] ppid=6156 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/6157/task/6177/stat : 6177 (java) S 6156 6156 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4078888 14133010432 56308 33554432000 4194304 4196468 140722602361120 140653713328816 140654529223298 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 23187456 140722602366140 140722602366316 140722602366316 140722602368975 0
Current children cumulated CPU time (s) 6.33
Current children cumulated vsize (KiB) 13811280
[startup+3.10146 s]
/proc/loadavg: 15.48 15.11 14.74 10/304 6209
/proc/meminfo: memFree=24309144/32770624 swapFree=5944/248688
[pid=6156] ppid=6153 vsize=9512 CPUtime=0 cores=4-7,12-15
/proc/6156/stat : 6156 (xcsp3-exec) S 6153 6156 18810 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4078880 9740288 346 33554432000 4194304 5098028 140723962665392 140723962663496 140196400890492 0 65536 4100 65538 18446744071579417331 0 0 17 14 0 0 0 0 0 7196144 7232144 20328448 140723962668174 140723962668384 140723962668384 140723962671083 0
/proc/6156/statm: 2378 346 289 221 0 87 0
[pid=6157] ppid=6156 vsize=13801768 CPUtime=15.95 cores=4-7,12-15
/proc/6157/stat : 6157 (java) S 6156 6156 18810 0 -1 1077944320 29380 0 0 0 1574 21 0 0 20 0 28 0 4078880 14133010432 58987 33554432000 4194304 4196468 140722602361120 140722602343664 140654529212151 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 23187456 140722602366140 140722602366316 140722602366316 140722602368975 0
/proc/6157/statm: 3450442 58987 3275 1 0 3437675 0
[pid=6157/tid=6158] ppid=6156 vsize=13801768 CPUtime=1.09 cores=4-7,12-15
/proc/6157/task/6158/stat : 6158 (java) S 6156 6156 18810 0 -1 1077944384 8506 0 0 0 104 5 0 0 20 0 28 0 4078881 14133010432 58987 33554432000 4194304 4196468 140722602361120 140654533452928 140654529222357 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 23187456 140722602366140 140722602366316 140722602366316 140722602368975 0
[pid=6157/tid=6160] ppid=6156 vsize=13801768 CPUtime=0.02 cores=4-7,12-15
/proc/6157/task/6160/stat : 6160 (java) S 6156 6156 18810 0 -1 1077944384 72 0 0 0 2 0 0 0 20 0 28 0 4078881 14133010432 58987 33554432000 4194304 4196468 140722602361120 140654481832464 140654529222357 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 23187456 140722602366140 140722602366316 140722602366316 140722602368975 0
[pid=6157/tid=6161] ppid=6156 vsize=13801768 CPUtime=0.01 cores=4-7,12-15
/proc/6157/task/6161/stat : 6161 (java) S 6156 6156 18810 0 -1 1077944384 11 0 0 0 0 1 0 0 20 0 28 0 4078881 14133010432 58987 33554432000 4194304 4196468 140722602361120 140654480779920 140654529222357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23187456 140722602366140 140722602366316 140722602366316 140722602368975 0
[pid=6157/tid=6162] ppid=6156 vsize=13801768 CPUtime=0.01 cores=4-7,12-15
/proc/6157/task/6162/stat : 6162 (java) S 6156 6156 18810 0 -1 1077944384 13 0 0 0 0 1 0 0 20 0 28 0 4078881 14133010432 58987 33554432000 4194304 4196468 140722602361120 140654479726864 140654529222357 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 23187456 140722602366140 140722602366316 140722602366316 140722602368975 0
[pid=6157/tid=6163] ppid=6156 vsize=13801768 CPUtime=0.01 cores=4-7,12-15
/proc/6157/task/6163/stat : 6163 (java) S 6156 6156 18810 0 -1 1077944384 10 0 0 0 0 1 0 0 20 0 28 0 4078881 14133010432 58987 33554432000 4194304 4196468 140722602361120 140654478674320 140654529222357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23187456 140722602366140 140722602366316 140722602366316 140722602368975 0
[pid=6157/tid=6164] ppid=6156 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/6157/task/6164/stat : 6164 (java) S 6156 6156 18810 0 -1 1077944384 101 0 0 0 0 0 0 0 20 0 28 0 4078881 14133010432 58987 33554432000 4194304 4196468 140722602361120 140654477622288 140654529222357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23187456 140722602366140 140722602366316 140722602366316 140722602368975 0
[pid=6157/tid=6165] ppid=6156 vsize=13801768 CPUtime=0.03 cores=4-7,12-15
/proc/6157/task/6165/stat : 6165 (java) S 6156 6156 18810 0 -1 1077944384 37 0 0 0 2 1 0 0 20 0 28 0 4078881 14133010432 58987 33554432000 4194304 4196468 140722602361120 140654476569744 140654529222357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23187456 140722602366140 140722602366316 140722602366316 140722602368975 0
[pid=6157/tid=6166] ppid=6156 vsize=13801768 CPUtime=0.01 cores=4-7,12-15
/proc/6157/task/6166/stat : 6166 (java) S 6156 6156 18810 0 -1 1077944384 11 0 0 0 0 1 0 0 20 0 28 0 4078881 14133010432 58987 33554432000 4194304 4196468 140722602361120 140654121777936 140654529222357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23187456 140722602366140 140722602366316 140722602366316 140722602368975 0
[pid=6157/tid=6167] ppid=6156 vsize=13801768 CPUtime=0.02 cores=4-7,12-15
/proc/6157/task/6167/stat : 6167 (java) S 6156 6156 18810 0 -1 1077944384 23 0 0 0 1 1 0 0 20 0 28 0 4078881 14133010432 58987 33554432000 4194304 4196468 140722602361120 140654120725392 140654529222357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23187456 140722602366140 140722602366316 140722602366316 140722602368975 0
[pid=6157/tid=6168] ppid=6156 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/6157/task/6168/stat : 6168 (java) S 6156 6156 18810 0 -1 1077944384 193 0 0 0 0 0 0 0 20 0 28 0 4078883 14133010432 58987 33554432000 4194304 4196468 140722602361120 140653722802416 140654529223298 0 0 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 23187456 140722602366140 140722602366316 140722602366316 140722602368975 0
[pid=6157/tid=6169] ppid=6156 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/6157/task/6169/stat : 6169 (java) S 6156 6156 18810 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 4078884 14133010432 58987 33554432000 4194304 4196468 140722602361120 140653721748640 140654529222357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23187456 140722602366140 140722602366316 140722602366316 140722602368975 0
[pid=6157/tid=6170] ppid=6156 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/6157/task/6170/stat : 6170 (java) S 6156 6156 18810 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 4078884 14133010432 58987 33554432000 4194304 4196468 140722602361120 140653720695536 140654529222357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23187456 140722602366140 140722602366316 140722602366316 140722602368975 0
[pid=6157/tid=6171] ppid=6156 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/6157/task/6171/stat : 6171 (java) S 6156 6156 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4078888 14133010432 58987 33554432000 4194304 4196468 140722602361120 140653719644112 140654529230747 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 23187456 140722602366140 140722602366316 140722602366316 140722602368975 0
[pid=6157/tid=6172] ppid=6156 vsize=13801768 CPUtime=1.59 cores=4-7,12-15
/proc/6157/task/6172/stat : 6172 (java) S 6156 6156 18810 0 -1 1077944384 5650 0 0 0 158 1 0 0 20 0 28 0 4078888 14133010432 58987 33554432000 4194304 4196468 140722602361120 140653718592240 140654529223298 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 23187456 140722602366140 140722602366316 140722602366316 140722602368975 0
[pid=6157/tid=6173] ppid=6156 vsize=13801768 CPUtime=1.32 cores=4-7,12-15
/proc/6157/task/6173/stat : 6173 (java) S 6156 6156 18810 0 -1 1077944384 4730 0 0 0 131 1 0 0 20 0 28 0 4078888 14133010432 58987 33554432000 4194304 4196468 140722602361120 140653717539696 140654529223298 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23187456 140722602366140 140722602366316 140722602366316 140722602368975 0
[pid=6157/tid=6174] ppid=6156 vsize=13801768 CPUtime=1.57 cores=4-7,12-15
/proc/6157/task/6174/stat : 6174 (java) S 6156 6156 18810 0 -1 1077944384 3914 0 0 0 156 1 0 0 20 0 28 0 4078888 14133010432 58987 33554432000 4194304 4196468 140722602361120 140653716486640 140654529223298 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23187456 140722602366140 140722602366316 140722602366316 140722602368975 0
[pid=6157/tid=6175] ppid=6156 vsize=13801768 CPUtime=0.83 cores=4-7,12-15
/proc/6157/task/6175/stat : 6175 (java) S 6156 6156 18810 0 -1 1077944384 3499 0 0 0 82 1 0 0 20 0 28 0 4078888 14133010432 58987 33554432000 4194304 4196468 140722602361120 140653715434096 140654529223298 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 23187456 140722602366140 140722602366316 140722602366316 140722602368975 0
[pid=6157/tid=6176] ppid=6156 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/6157/task/6176/stat : 6176 (java) S 6156 6156 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4078888 14133010432 58987 33554432000 4194304 4196468 140722602361120 140653714381280 140654529222357 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 23187456 140722602366140 140722602366316 140722602366316 140722602368975 0
[pid=6157/tid=6177] ppid=6156 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/6157/task/6177/stat : 6177 (java) S 6156 6156 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4078888 14133010432 58987 33554432000 4194304 4196468 140722602361120 140653713328816 140654529223298 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23187456 140722602366140 140722602366316 140722602366316 140722602368975 0
Current children cumulated CPU time (s) 15.95
Current children cumulated vsize (KiB) 13811280
[startup+6.30166 s]
/proc/loadavg: 15.60 15.14 14.75 18/304 6257
/proc/meminfo: memFree=24228460/32770624 swapFree=5944/248700
[pid=6156] ppid=6153 vsize=9512 CPUtime=0 cores=4-7,12-15
/proc/6156/stat : 6156 (xcsp3-exec) S 6153 6156 18810 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4078880 9740288 346 33554432000 4194304 5098028 140723962665392 140723962663496 140196400890492 0 65536 4100 65538 18446744071579417331 0 0 17 14 0 0 0 0 0 7196144 7232144 20328448 140723962668174 140723962668384 140723962668384 140723962671083 0
/proc/6156/statm: 2378 346 289 221 0 87 0
[pid=6157] ppid=6156 vsize=13801768 CPUtime=41.03 cores=4-7,12-15
/proc/6157/stat : 6157 (java) S 6156 6156 18810 0 -1 1077944320 33710 0 0 0 4047 56 0 0 20 0 28 0 4078880 14133010432 76951 33554432000 4194304 4196468 140722602361120 140722602343664 140654529212151 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 23187456 140722602366140 140722602366316 140722602366316 140722602368975 0
/proc/6157/statm: 3450442 76951 3281 1 0 3437675 0
[pid=6157/tid=6158] ppid=6156 vsize=13801768 CPUtime=1.1 cores=4-7,12-15
/proc/6157/task/6158/stat : 6158 (java) S 6156 6156 18810 0 -1 1077944384 8506 0 0 0 105 5 0 0 20 0 28 0 4078881 14133010432 76951 33554432000 4194304 4196468 140722602361120 140654533452928 140654529222357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23187456 140722602366140 140722602366316 140722602366316 140722602368975 0
[pid=6157/tid=6160] ppid=6156 vsize=13801768 CPUtime=0.08 cores=4-7,12-15
/proc/6157/task/6160/stat : 6160 (java) S 6156 6156 18810 0 -1 1077944384 101 0 0 0 4 4 0 0 20 0 28 0 4078881 14133010432 76951 33554432000 4194304 4196468 140722602361120 140654481832464 140654529222357 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 23187456 140722602366140 140722602366316 140722602366316 140722602368975 0
[pid=6157/tid=6161] ppid=6156 vsize=13801768 CPUtime=0.08 cores=4-7,12-15
/proc/6157/task/6161/stat : 6161 (java) S 6156 6156 18810 0 -1 1077944384 42 0 0 0 3 5 0 0 20 0 28 0 4078881 14133010432 76951 33554432000 4194304 4196468 140722602361120 140654480779920 140654529222357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23187456 140722602366140 140722602366316 140722602366316 140722602368975 0
[pid=6157/tid=6162] ppid=6156 vsize=13801768 CPUtime=0.08 cores=4-7,12-15
/proc/6157/task/6162/stat : 6162 (java) S 6156 6156 18810 0 -1 1077944384 42 0 0 0 3 5 0 0 20 0 28 0 4078881 14133010432 76951 33554432000 4194304 4196468 140722602361120 140654479726864 140654529222357 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 23187456 140722602366140 140722602366316 140722602366316 140722602368975 0
[pid=6157/tid=6163] ppid=6156 vsize=13801768 CPUtime=0.06 cores=4-7,12-15
/proc/6157/task/6163/stat : 6163 (java) S 6156 6156 18810 0 -1 1077944384 38 0 0 0 2 4 0 0 20 0 28 0 4078881 14133010432 76951 33554432000 4194304 4196468 140722602361120 140654478674320 140654529222357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23187456 140722602366140 140722602366316 140722602366316 140722602368975 0
[pid=6157/tid=6164] ppid=6156 vsize=13801768 CPUtime=0.07 cores=4-7,12-15
/proc/6157/task/6164/stat : 6164 (java) S 6156 6156 18810 0 -1 1077944384 139 0 0 0 3 4 0 0 20 0 28 0 4078881 14133010432 76951 33554432000 4194304 4196468 140722602361120 140654477622288 140654529222357 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 23187456 140722602366140 140722602366316 140722602366316 140722602368975 0
[pid=6157/tid=6165] ppid=6156 vsize=13801768 CPUtime=0.08 cores=4-7,12-15
/proc/6157/task/6165/stat : 6165 (java) S 6156 6156 18810 0 -1 1077944384 67 0 0 0 4 4 0 0 20 0 28 0 4078881 14133010432 76951 33554432000 4194304 4196468 140722602361120 140654476569744 140654529222357 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 23187456 140722602366140 140722602366316 140722602366316 140722602368975 0
[pid=6157/tid=6166] ppid=6156 vsize=13801768 CPUtime=0.07 cores=4-7,12-15
/proc/6157/task/6166/stat : 6166 (java) S 6156 6156 18810 0 -1 1077944384 36 0 0 0 3 4 0 0 20 0 28 0 4078881 14133010432 76951 33554432000 4194304 4196468 140722602361120 140654121777936 140654529222357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23187456 140722602366140 140722602366316 140722602366316 140722602368975 0
[pid=6157/tid=6167] ppid=6156 vsize=13801768 CPUtime=0.08 cores=4-7,12-15
/proc/6157/task/6167/stat : 6167 (java) S 6156 6156 18810 0 -1 1077944384 46 0 0 0 4 4 0 0 20 0 28 0 4078881 14133010432 76951 33554432000 4194304 4196468 140722602361120 140654120725392 140654529222357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23187456 140722602366140 140722602366316 140722602366316 140722602368975 0
[pid=6157/tid=6168] ppid=6156 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/6157/task/6168/stat : 6168 (java) S 6156 6156 18810 0 -1 1077944384 224 0 0 0 0 0 0 0 20 0 28 0 4078883 14133010432 76951 33554432000 4194304 4196468 140722602361120 140653722802416 140654529223298 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23187456 140722602366140 140722602366316 140722602366316 140722602368975 0
[pid=6157/tid=6169] ppid=6156 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/6157/task/6169/stat : 6169 (java) S 6156 6156 18810 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 4078884 14133010432 76951 33554432000 4194304 4196468 140722602361120 140653721748704 140654529222357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23187456 140722602366140 140722602366316 140722602366316 140722602368975 0
[pid=6157/tid=6170] ppid=6156 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/6157/task/6170/stat : 6170 (java) S 6156 6156 18810 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 4078884 14133010432 76951 33554432000 4194304 4196468 140722602361120 140653720695536 140654529222357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23187456 140722602366140 140722602366316 140722602366316 140722602368975 0
[pid=6157/tid=6171] ppid=6156 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/6157/task/6171/stat : 6171 (java) S 6156 6156 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4078888 14133010432 76951 33554432000 4194304 4196468 140722602361120 140653719644112 140654529230747 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 23187456 140722602366140 140722602366316 140722602366316 140722602368975 0
################
# More data... #
################
/proc/6157/task/6161/stat : 6161 (java) S 6156 6156 18810 0 -1 1077944384 66 0 0 0 5 6 0 0 20 0 28 0 4078881 14133010432 112763 33554432000 4194304 4196468 140722602361120 140654480779920 140654529222357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23187456 140722602366140 140722602366316 140722602366316 140722602368975 0
[pid=6157/tid=6162] ppid=6156 vsize=13801768 CPUtime=0.12 cores=4-7,12-15
/proc/6157/task/6162/stat : 6162 (java) S 6156 6156 18810 0 -1 1077944384 62 0 0 0 5 7 0 0 20 0 28 0 4078881 14133010432 112763 33554432000 4194304 4196468 140722602361120 140654479726864 140654529222357 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 23187456 140722602366140 140722602366316 140722602366316 140722602368975 0
[pid=6157/tid=6163] ppid=6156 vsize=13801768 CPUtime=0.1 cores=4-7,12-15
/proc/6157/task/6163/stat : 6163 (java) S 6156 6156 18810 0 -1 1077944384 267 0 0 0 4 6 0 0 20 0 28 0 4078881 14133010432 112763 33554432000 4194304 4196468 140722602361120 140654478674320 140654529222357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23187456 140722602366140 140722602366316 140722602366316 140722602368975 0
[pid=6157/tid=6164] ppid=6156 vsize=13801768 CPUtime=0.11 cores=4-7,12-15
/proc/6157/task/6164/stat : 6164 (java) S 6156 6156 18810 0 -1 1077944384 876 0 0 0 5 6 0 0 20 0 28 0 4078881 14133010432 112763 33554432000 4194304 4196468 140722602361120 140654477622288 140654529222357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23187456 140722602366140 140722602366316 140722602366316 140722602368975 0
[pid=6157/tid=6165] ppid=6156 vsize=13801768 CPUtime=0.12 cores=4-7,12-15
/proc/6157/task/6165/stat : 6165 (java) S 6156 6156 18810 0 -1 1077944384 105 0 0 0 6 6 0 0 20 0 28 0 4078881 14133010432 112763 33554432000 4194304 4196468 140722602361120 140654476569744 140654529222357 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 23187456 140722602366140 140722602366316 140722602366316 140722602368975 0
[pid=6157/tid=6166] ppid=6156 vsize=13801768 CPUtime=0.11 cores=4-7,12-15
/proc/6157/task/6166/stat : 6166 (java) S 6156 6156 18810 0 -1 1077944384 60 0 0 0 5 6 0 0 20 0 28 0 4078881 14133010432 112763 33554432000 4194304 4196468 140722602361120 140654121777936 140654529222357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23187456 140722602366140 140722602366316 140722602366316 140722602368975 0
[pid=6157/tid=6167] ppid=6156 vsize=13801768 CPUtime=0.12 cores=4-7,12-15
/proc/6157/task/6167/stat : 6167 (java) S 6156 6156 18810 0 -1 1077944384 102 0 0 0 6 6 0 0 20 0 28 0 4078881 14133010432 112763 33554432000 4194304 4196468 140722602361120 140654120725392 140654529222357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23187456 140722602366140 140722602366316 140722602366316 140722602368975 0
[pid=6157/tid=6168] ppid=6156 vsize=13801768 CPUtime=0.02 cores=4-7,12-15
/proc/6157/task/6168/stat : 6168 (java) S 6156 6156 18810 0 -1 1077944384 689 0 0 0 1 1 0 0 20 0 28 0 4078883 14133010432 112763 33554432000 4194304 4196468 140722602361120 140653722802416 140654529223298 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23187456 140722602366140 140722602366316 140722602366316 140722602368975 0
[pid=6157/tid=6169] ppid=6156 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/6157/task/6169/stat : 6169 (java) S 6156 6156 18810 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 4078884 14133010432 112763 33554432000 4194304 4196468 140722602361120 140653721748704 140654529222357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23187456 140722602366140 140722602366316 140722602366316 140722602368975 0
[pid=6157/tid=6170] ppid=6156 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/6157/task/6170/stat : 6170 (java) S 6156 6156 18810 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 4078884 14133010432 112763 33554432000 4194304 4196468 140722602361120 140653720695536 140654529222357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23187456 140722602366140 140722602366316 140722602366316 140722602368975 0
[pid=6157/tid=6171] ppid=6156 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/6157/task/6171/stat : 6171 (java) S 6156 6156 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4078888 14133010432 112763 33554432000 4194304 4196468 140722602361120 140653719644112 140654529230747 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 23187456 140722602366140 140722602366316 140722602366316 140722602368975 0
[pid=6157/tid=6172] ppid=6156 vsize=13801768 CPUtime=3.11 cores=4-7,12-15
/proc/6157/task/6172/stat : 6172 (java) S 6156 6156 18810 0 -1 1077944384 10670 0 0 0 309 2 0 0 20 0 28 0 4078888 14133010432 112763 33554432000 4194304 4196468 140722602361120 140653718592240 140654529223298 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 7 0 0 6293624 6294260 23187456 140722602366140 140722602366316 140722602366316 140722602368975 0
[pid=6157/tid=6173] ppid=6156 vsize=13801768 CPUtime=3.16 cores=4-7,12-15
/proc/6157/task/6173/stat : 6173 (java) S 6156 6156 18810 0 -1 1077944384 10042 0 0 0 314 2 0 0 20 0 28 0 4078888 14133010432 112763 33554432000 4194304 4196468 140722602361120 140653717539696 140654529223298 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23187456 140722602366140 140722602366316 140722602366316 140722602368975 0
[pid=6157/tid=6174] ppid=6156 vsize=13801768 CPUtime=3.08 cores=4-7,12-15
/proc/6157/task/6174/stat : 6174 (java) S 6156 6156 18810 0 -1 1077944384 9085 0 0 0 306 2 0 0 20 0 28 0 4078888 14133010432 112763 33554432000 4194304 4196468 140722602361120 140653716486640 140654529223298 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 23187456 140722602366140 140722602366316 140722602366316 140722602368975 0
[pid=6157/tid=6175] ppid=6156 vsize=13801768 CPUtime=1.04 cores=4-7,12-15
/proc/6157/task/6175/stat : 6175 (java) S 6156 6156 18810 0 -1 1077944384 5775 0 0 0 102 2 0 0 20 0 28 0 4078888 14133010432 112763 33554432000 4194304 4196468 140722602361120 140653715434096 140654529223298 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 7 0 0 6293624 6294260 23187456 140722602366140 140722602366316 140722602366316 140722602368975 0
[pid=6157/tid=6176] ppid=6156 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/6157/task/6176/stat : 6176 (java) S 6156 6156 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4078888 14133010432 112763 33554432000 4194304 4196468 140722602361120 140653714381280 140654529222357 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 23187456 140722602366140 140722602366316 140722602366316 140722602368975 0
[pid=6157/tid=6177] ppid=6156 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/6157/task/6177/stat : 6177 (java) S 6156 6156 18810 0 -1 1077944384 606 0 0 0 0 0 0 0 20 0 28 0 4078888 14133010432 112763 33554432000 4194304 4196468 140722602361120 140653713328816 140654529223298 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 7 0 0 6293624 6294260 23187456 140722602366140 140722602366316 140722602366316 140722602368975 0
[pid=6157/tid=6274] ppid=6156 vsize=13801768 CPUtime=7.59 cores=4-7,12-15
/proc/6157/task/6274/stat : 6274 (java) R 6156 6156 18810 0 -1 4202560 570 0 0 0 759 0 0 0 20 0 28 0 4079873 14133010432 112763 33554432000 4194304 4196468 140722602361120 140653698997480 140654163441496 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 23187456 140722602366140 140722602366316 140722602366316 140722602368975 0
[pid=6157/tid=6275] ppid=6156 vsize=13801768 CPUtime=7.63 cores=4-7,12-15
/proc/6157/task/6275/stat : 6275 (java) R 6156 6156 18810 0 -1 4202560 136 0 0 0 763 0 0 0 20 0 28 0 4079873 14133010432 112763 33554432000 4194304 4196468 140722602361120 140653704261288 140654163350551 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 23187456 140722602366140 140722602366316 140722602366316 140722602368975 0
[pid=6157/tid=6276] ppid=6156 vsize=13801768 CPUtime=7.37 cores=4-7,12-15
/proc/6157/task/6276/stat : 6276 (java) R 6156 6156 18810 0 -1 4202560 267 0 0 0 737 0 0 0 20 0 28 0 4079873 14133010432 112763 33554432000 4194304 4196468 140722602361120 140653702156488 140654162923656 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23187456 140722602366140 140722602366316 140722602366316 140722602368975 0
[pid=6157/tid=6277] ppid=6156 vsize=13801768 CPUtime=7.54 cores=4-7,12-15
/proc/6157/task/6277/stat : 6277 (java) R 6156 6156 18810 0 -1 4202560 431 0 0 0 754 0 0 0 20 0 28 0 4079873 14133010432 112763 33554432000 4194304 4196468 140722602361120 140653697945776 140654163351865 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 23187456 140722602366140 140722602366316 140722602366316 140722602368975 0
[pid=6157/tid=6278] ppid=6156 vsize=13801768 CPUtime=7.49 cores=4-7,12-15
/proc/6157/task/6278/stat : 6278 (java) R 6156 6156 18810 0 -1 4202560 282 0 0 0 749 0 0 0 20 0 28 0 4079873 14133010432 112763 33554432000 4194304 4196468 140722602361120 140653703209320 140654162708288 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 23187456 140722602366140 140722602366316 140722602366316 140722602368975 0
[pid=6157/tid=6279] ppid=6156 vsize=13801768 CPUtime=7.37 cores=4-7,12-15
/proc/6157/task/6279/stat : 6279 (java) R 6156 6156 18810 0 -1 4202560 215 0 0 0 737 0 0 0 20 0 28 0 4079873 14133010432 112763 33554432000 4194304 4196468 140722602361120 140653701103832 140654162923753 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 23187456 140722602366140 140722602366316 140722602366316 140722602368975 0
[pid=6157/tid=6281] ppid=6156 vsize=13801768 CPUtime=7.23 cores=4-7,12-15
/proc/6157/task/6281/stat : 6281 (java) R 6156 6156 18810 0 -1 4202560 788 0 0 0 721 2 0 0 20 0 28 0 4079873 14133010432 112763 33554432000 4194304 4196468 140722602361120 140653705316000 140654163441752 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 23187456 140722602366140 140722602366316 140722602366316 140722602368975 0
[pid=6157/tid=6282] ppid=6156 vsize=13801768 CPUtime=7.47 cores=4-7,12-15
/proc/6157/task/6282/stat : 6282 (java) R 6156 6156 18810 0 -1 4202560 221 0 0 0 747 0 0 0 20 0 28 0 4079873 14133010432 112763 33554432000 4194304 4196468 140722602361120 140653700050504 140654163441679 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23187456 140722602366140 140722602366316 140722602366316 140722602368975 0
Current children cumulated CPU time (s) 130.24
Current children cumulated vsize (KiB) 13811280
[startup+18.4013 s]
/proc/loadavg: 14.66 14.95 14.70 17/304 6290
/proc/meminfo: memFree=24084120/32770624 swapFree=5944/248712
[pid=6156] ppid=6153 vsize=9512 CPUtime=0 cores=4-7,12-15
/proc/6156/stat : 6156 (xcsp3-exec) S 6153 6156 18810 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4078880 9740288 346 33554432000 4194304 5098028 140723962665392 140723962663496 140196400890492 0 65536 4100 65538 18446744071579417331 0 0 17 14 0 0 0 0 0 7196144 7232144 20328448 140723962668174 140723962668384 140723962668384 140723962671083 0
/proc/6156/statm: 2378 346 289 221 0 87 0
[pid=6157] ppid=6156 vsize=13801768 CPUtime=134.89 cores=4-7,12-15
/proc/6157/stat : 6157 (java) S 6156 6156 18810 0 -1 1077944320 56029 0 0 0 13413 76 0 0 20 0 28 0 4078880 14133010432 112640 33554432000 4194304 4196468 140722602361120 140722602343664 140654529212151 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 23187456 140722602366140 140722602366316 140722602366316 140722602368975 0
/proc/6157/statm: 3450442 112640 3285 1 0 3437675 0
[pid=6157/tid=6158] ppid=6156 vsize=13801768 CPUtime=1.1 cores=4-7,12-15
/proc/6157/task/6158/stat : 6158 (java) S 6156 6156 18810 0 -1 1077944384 8792 0 0 0 105 5 0 0 20 0 28 0 4078881 14133010432 112640 33554432000 4194304 4196468 140722602361120 140654533452928 140654529222357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23187456 140722602366140 140722602366316 140722602366316 140722602368975 0
[pid=6157/tid=6160] ppid=6156 vsize=13801768 CPUtime=0.12 cores=4-7,12-15
/proc/6157/task/6160/stat : 6160 (java) S 6156 6156 18810 0 -1 1077944384 281 0 0 0 6 6 0 0 20 0 28 0 4078881 14133010432 112640 33554432000 4194304 4196468 140722602361120 140654481832464 140654529222357 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 23187456 140722602366140 140722602366316 140722602366316 140722602368975 0
[pid=6157/tid=6161] ppid=6156 vsize=13801768 CPUtime=0.11 cores=4-7,12-15
/proc/6157/task/6161/stat : 6161 (java) S 6156 6156 18810 0 -1 1077944384 66 0 0 0 5 6 0 0 20 0 28 0 4078881 14133010432 112640 33554432000 4194304 4196468 140722602361120 140654480779920 140654529222357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23187456 140722602366140 140722602366316 140722602366316 140722602368975 0
[pid=6157/tid=6162] ppid=6156 vsize=13801768 CPUtime=0.12 cores=4-7,12-15
/proc/6157/task/6162/stat : 6162 (java) S 6156 6156 18810 0 -1 1077944384 62 0 0 0 5 7 0 0 20 0 28 0 4078881 14133010432 112640 33554432000 4194304 4196468 140722602361120 140654479726864 140654529222357 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 23187456 140722602366140 140722602366316 140722602366316 140722602368975 0
[pid=6157/tid=6163] ppid=6156 vsize=13801768 CPUtime=0.1 cores=4-7,12-15
/proc/6157/task/6163/stat : 6163 (java) S 6156 6156 18810 0 -1 1077944384 267 0 0 0 4 6 0 0 20 0 28 0 4078881 14133010432 112640 33554432000 4194304 4196468 140722602361120 140654478674320 140654529222357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23187456 140722602366140 140722602366316 140722602366316 140722602368975 0
[pid=6157/tid=6164] ppid=6156 vsize=13801768 CPUtime=0.11 cores=4-7,12-15
/proc/6157/task/6164/stat : 6164 (java) S 6156 6156 18810 0 -1 1077944384 876 0 0 0 5 6 0 0 20 0 28 0 4078881 14133010432 112640 33554432000 4194304 4196468 140722602361120 140654477622288 140654529222357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23187456 140722602366140 140722602366316 140722602366316 140722602368975 0
[pid=6157/tid=6165] ppid=6156 vsize=13801768 CPUtime=0.12 cores=4-7,12-15
/proc/6157/task/6165/stat : 6165 (java) S 6156 6156 18810 0 -1 1077944384 105 0 0 0 6 6 0 0 20 0 28 0 4078881 14133010432 112640 33554432000 4194304 4196468 140722602361120 140654476569744 140654529222357 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 23187456 140722602366140 140722602366316 140722602366316 140722602368975 0
[pid=6157/tid=6166] ppid=6156 vsize=13801768 CPUtime=0.11 cores=4-7,12-15
/proc/6157/task/6166/stat : 6166 (java) S 6156 6156 18810 0 -1 1077944384 60 0 0 0 5 6 0 0 20 0 28 0 4078881 14133010432 112640 33554432000 4194304 4196468 140722602361120 140654121777936 140654529222357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23187456 140722602366140 140722602366316 140722602366316 140722602368975 0
[pid=6157/tid=6167] ppid=6156 vsize=13801768 CPUtime=0.12 cores=4-7,12-15
/proc/6157/task/6167/stat : 6167 (java) S 6156 6156 18810 0 -1 1077944384 102 0 0 0 6 6 0 0 20 0 28 0 4078881 14133010432 112640 33554432000 4194304 4196468 140722602361120 140654120725392 140654529222357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23187456 140722602366140 140722602366316 140722602366316 140722602368975 0
[pid=6157/tid=6168] ppid=6156 vsize=13801768 CPUtime=0.02 cores=4-7,12-15
/proc/6157/task/6168/stat : 6168 (java) S 6156 6156 18810 0 -1 1077944384 690 0 0 0 1 1 0 0 20 0 28 0 4078883 14133010432 112640 33554432000 4194304 4196468 140722602361120 140653722802416 140654529223298 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23187456 140722602366140 140722602366316 140722602366316 140722602368975 0
[pid=6157/tid=6169] ppid=6156 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/6157/task/6169/stat : 6169 (java) S 6156 6156 18810 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 4078884 14133010432 112640 33554432000 4194304 4196468 140722602361120 140653721748704 140654529222357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23187456 140722602366140 140722602366316 140722602366316 140722602368975 0
[pid=6157/tid=6170] ppid=6156 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/6157/task/6170/stat : 6170 (java) S 6156 6156 18810 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 4078884 14133010432 112640 33554432000 4194304 4196468 140722602361120 140653720695536 140654529222357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23187456 140722602366140 140722602366316 140722602366316 140722602368975 0
[pid=6157/tid=6171] ppid=6156 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/6157/task/6171/stat : 6171 (java) S 6156 6156 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4078888 14133010432 112640 33554432000 4194304 4196468 140722602361120 140653719644112 140654529230747 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 23187456 140722602366140 140722602366316 140722602366316 140722602368975 0
[pid=6157/tid=6172] ppid=6156 vsize=13801768 CPUtime=3.11 cores=4-7,12-15
/proc/6157/task/6172/stat : 6172 (java) S 6156 6156 18810 0 -1 1077944384 10711 0 0 0 309 2 0 0 20 0 28 0 4078888 14133010432 112640 33554432000 4194304 4196468 140722602361120 140653718592240 140654529223298 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 7 0 0 6293624 6294260 23187456 140722602366140 140722602366316 140722602366316 140722602368975 0
[pid=6157/tid=6173] ppid=6156 vsize=13801768 CPUtime=3.16 cores=4-7,12-15
/proc/6157/task/6173/stat : 6173 (java) S 6156 6156 18810 0 -1 1077944384 10148 0 0 0 314 2 0 0 20 0 28 0 4078888 14133010432 112640 33554432000 4194304 4196468 140722602361120 140653717539696 140654529223298 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 23187456 140722602366140 140722602366316 140722602366316 140722602368975 0
[pid=6157/tid=6174] ppid=6156 vsize=13801768 CPUtime=3.1 cores=4-7,12-15
/proc/6157/task/6174/stat : 6174 (java) S 6156 6156 18810 0 -1 1077944384 9155 0 0 0 308 2 0 0 20 0 28 0 4078888 14133010432 112640 33554432000 4194304 4196468 140722602361120 140653716486640 140654529223298 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 23187456 140722602366140 140722602366316 140722602366316 140722602368975 0
[pid=6157/tid=6175] ppid=6156 vsize=13801768 CPUtime=1.05 cores=4-7,12-15
/proc/6157/task/6175/stat : 6175 (java) S 6156 6156 18810 0 -1 1077944384 6042 0 0 0 103 2 0 0 20 0 28 0 4078888 14133010432 112640 33554432000 4194304 4196468 140722602361120 140653715434096 140654529223298 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 7 0 0 6293624 6294260 23187456 140722602366140 140722602366316 140722602366316 140722602368975 0
[pid=6157/tid=6176] ppid=6156 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/6157/task/6176/stat : 6176 (java) S 6156 6156 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4078888 14133010432 112640 33554432000 4194304 4196468 140722602361120 140653714381280 140654529222357 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 23187456 140722602366140 140722602366316 140722602366316 140722602368975 0
[pid=6157/tid=6177] ppid=6156 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/6157/task/6177/stat : 6177 (java) S 6156 6156 18810 0 -1 1077944384 606 0 0 0 0 0 0 0 20 0 28 0 4078888 14133010432 112640 33554432000 4194304 4196468 140722602361120 140653713328816 140654529223298 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 7 0 0 6293624 6294260 23187456 140722602366140 140722602366316 140722602366316 140722602368975 0
Current children cumulated CPU time (s) 134.89
Current children cumulated vsize (KiB) 13811280
[startup+18.8153 s]
/proc/loadavg: 14.66 14.95 14.70 17/304 6298
/proc/meminfo: memFree=24083996/32770624 swapFree=5944/248716
[pid=6156] ppid=6153 vsize=9512 CPUtime=0 cores=4-7,12-15
/proc/6156/stat : 6156 (xcsp3-exec) S 6153 6156 18810 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4078880 9740288 346 33554432000 4194304 5098028 140723962665392 140723962663496 140196400890492 0 65536 4100 65538 18446744071579417331 0 0 17 14 0 0 0 0 0 7196144 7232144 20328448 140723962668174 140723962668384 140723962668384 140723962671083 0
/proc/6156/statm: 2378 346 289 221 0 87 0
[pid=6157] ppid=6156 vsize=13801768 CPUtime=138.18 cores=4-7,12-15
/proc/6157/stat : 6157 (java) S 6156 6156 18810 0 -1 1077944320 56030 0 0 0 13742 76 0 0 20 0 28 0 4078880 14133010432 112640 33554432000 4194304 4196468 140722602361120 140722602343664 140654529212151 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 23187456 140722602366140 140722602366316 140722602366316 140722602368975 0
/proc/6157/statm: 3450442 112640 3285 1 0 3437675 0
[pid=6157/tid=6158] ppid=6156 vsize=13801768 CPUtime=1.1 cores=4-7,12-15
/proc/6157/task/6158/stat : 6158 (java) S 6156 6156 18810 0 -1 1077944384 8792 0 0 0 105 5 0 0 20 0 28 0 4078881 14133010432 112640 33554432000 4194304 4196468 140722602361120 140654533452928 140654529222357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23187456 140722602366140 140722602366316 140722602366316 140722602368975 0
[pid=6157/tid=6160] ppid=6156 vsize=13801768 CPUtime=0.12 cores=4-7,12-15
/proc/6157/task/6160/stat : 6160 (java) S 6156 6156 18810 0 -1 1077944384 281 0 0 0 6 6 0 0 20 0 28 0 4078881 14133010432 112640 33554432000 4194304 4196468 140722602361120 140654481832464 140654529222357 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 23187456 140722602366140 140722602366316 140722602366316 140722602368975 0
[pid=6157/tid=6161] ppid=6156 vsize=13801768 CPUtime=0.11 cores=4-7,12-15
/proc/6157/task/6161/stat : 6161 (java) S 6156 6156 18810 0 -1 1077944384 66 0 0 0 5 6 0 0 20 0 28 0 4078881 14133010432 112640 33554432000 4194304 4196468 140722602361120 140654480779920 140654529222357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23187456 140722602366140 140722602366316 140722602366316 140722602368975 0
[pid=6157/tid=6162] ppid=6156 vsize=13801768 CPUtime=0.12 cores=4-7,12-15
/proc/6157/task/6162/stat : 6162 (java) S 6156 6156 18810 0 -1 1077944384 62 0 0 0 5 7 0 0 20 0 28 0 4078881 14133010432 112640 33554432000 4194304 4196468 140722602361120 140654479726864 140654529222357 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 23187456 140722602366140 140722602366316 140722602366316 140722602368975 0
[pid=6157/tid=6163] ppid=6156 vsize=13801768 CPUtime=0.1 cores=4-7,12-15
/proc/6157/task/6163/stat : 6163 (java) S 6156 6156 18810 0 -1 1077944384 267 0 0 0 4 6 0 0 20 0 28 0 4078881 14133010432 112640 33554432000 4194304 4196468 140722602361120 140654478674320 140654529222357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23187456 140722602366140 140722602366316 140722602366316 140722602368975 0
[pid=6157/tid=6164] ppid=6156 vsize=13801768 CPUtime=0.11 cores=4-7,12-15
/proc/6157/task/6164/stat : 6164 (java) S 6156 6156 18810 0 -1 1077944384 876 0 0 0 5 6 0 0 20 0 28 0 4078881 14133010432 112640 33554432000 4194304 4196468 140722602361120 140654477622288 140654529222357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23187456 140722602366140 140722602366316 140722602366316 140722602368975 0
[pid=6157/tid=6165] ppid=6156 vsize=13801768 CPUtime=0.12 cores=4-7,12-15
/proc/6157/task/6165/stat : 6165 (java) S 6156 6156 18810 0 -1 1077944384 105 0 0 0 6 6 0 0 20 0 28 0 4078881 14133010432 112640 33554432000 4194304 4196468 140722602361120 140654476569744 140654529222357 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 23187456 140722602366140 140722602366316 140722602366316 140722602368975 0
[pid=6157/tid=6166] ppid=6156 vsize=13801768 CPUtime=0.11 cores=4-7,12-15
/proc/6157/task/6166/stat : 6166 (java) S 6156 6156 18810 0 -1 1077944384 60 0 0 0 5 6 0 0 20 0 28 0 4078881 14133010432 112640 33554432000 4194304 4196468 140722602361120 140654121777936 140654529222357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23187456 140722602366140 140722602366316 140722602366316 140722602368975 0
[pid=6157/tid=6167] ppid=6156 vsize=13801768 CPUtime=0.12 cores=4-7,12-15
/proc/6157/task/6167/stat : 6167 (java) S 6156 6156 18810 0 -1 1077944384 102 0 0 0 6 6 0 0 20 0 28 0 4078881 14133010432 112640 33554432000 4194304 4196468 140722602361120 140654120725392 140654529222357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23187456 140722602366140 140722602366316 140722602366316 140722602368975 0
[pid=6157/tid=6168] ppid=6156 vsize=13801768 CPUtime=0.02 cores=4-7,12-15
/proc/6157/task/6168/stat : 6168 (java) S 6156 6156 18810 0 -1 1077944384 690 0 0 0 1 1 0 0 20 0 28 0 4078883 14133010432 112640 33554432000 4194304 4196468 140722602361120 140653722802416 140654529223298 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23187456 140722602366140 140722602366316 140722602366316 140722602368975 0
[pid=6157/tid=6169] ppid=6156 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/6157/task/6169/stat : 6169 (java) S 6156 6156 18810 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 4078884 14133010432 112640 33554432000 4194304 4196468 140722602361120 140653721748704 140654529222357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23187456 140722602366140 140722602366316 140722602366316 140722602368975 0
[pid=6157/tid=6170] ppid=6156 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/6157/task/6170/stat : 6170 (java) S 6156 6156 18810 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 4078884 14133010432 112640 33554432000 4194304 4196468 140722602361120 140653720695536 140654529222357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23187456 140722602366140 140722602366316 140722602366316 140722602368975 0
[pid=6157/tid=6171] ppid=6156 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/6157/task/6171/stat : 6171 (java) S 6156 6156 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4078888 14133010432 112640 33554432000 4194304 4196468 140722602361120 140653719644112 140654529230747 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 23187456 140722602366140 140722602366316 140722602366316 140722602368975 0
[pid=6157/tid=6172] ppid=6156 vsize=13801768 CPUtime=3.11 cores=4-7,12-15
/proc/6157/task/6172/stat : 6172 (java) S 6156 6156 18810 0 -1 1077944384 10711 0 0 0 309 2 0 0 20 0 28 0 4078888 14133010432 112640 33554432000 4194304 4196468 140722602361120 140653718592240 140654529223298 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 7 0 0 6293624 6294260 23187456 140722602366140 140722602366316 140722602366316 140722602368975 0
[pid=6157/tid=6173] ppid=6156 vsize=13801768 CPUtime=3.16 cores=4-7,12-15
/proc/6157/task/6173/stat : 6173 (java) S 6156 6156 18810 0 -1 1077944384 10148 0 0 0 314 2 0 0 20 0 28 0 4078888 14133010432 112640 33554432000 4194304 4196468 140722602361120 140653717539696 140654529223298 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 23187456 140722602366140 140722602366316 140722602366316 140722602368975 0
[pid=6157/tid=6174] ppid=6156 vsize=13801768 CPUtime=3.1 cores=4-7,12-15
/proc/6157/task/6174/stat : 6174 (java) S 6156 6156 18810 0 -1 1077944384 9155 0 0 0 308 2 0 0 20 0 28 0 4078888 14133010432 112640 33554432000 4194304 4196468 140722602361120 140653716486640 140654529223298 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 23187456 140722602366140 140722602366316 140722602366316 140722602368975 0
[pid=6157/tid=6175] ppid=6156 vsize=13801768 CPUtime=1.05 cores=4-7,12-15
/proc/6157/task/6175/stat : 6175 (java) S 6156 6156 18810 0 -1 1077944384 6042 0 0 0 103 2 0 0 20 0 28 0 4078888 14133010432 112640 33554432000 4194304 4196468 140722602361120 140653715434096 140654529223298 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 7 0 0 6293624 6294260 23187456 140722602366140 140722602366316 140722602366316 140722602368975 0
[pid=6157/tid=6176] ppid=6156 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/6157/task/6176/stat : 6176 (java) S 6156 6156 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4078888 14133010432 112640 33554432000 4194304 4196468 140722602361120 140653714381280 140654529222357 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 23187456 140722602366140 140722602366316 140722602366316 140722602368975 0
[pid=6157/tid=6177] ppid=6156 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/6157/task/6177/stat : 6177 (java) S 6156 6156 18810 0 -1 1077944384 606 0 0 0 0 0 0 0 20 0 28 0 4078888 14133010432 112640 33554432000 4194304 4196468 140722602361120 140653713328816 140654529223298 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 7 0 0 6293624 6294260 23187456 140722602366140 140722602366316 140722602366316 140722602368975 0
[pid=6157/tid=6291] ppid=6156 vsize=13801768 CPUtime=0.62 cores=4-7,12-15
/proc/6157/task/6291/stat : 6291 (java) R 6156 6156 18810 0 -1 4202560 25 0 0 0 62 0 0 0 20 0 28 0 4080699 14133010432 112640 33554432000 4194304 4196468 140722602361120 140653704264568 140654164824516 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 23187456 140722602366140 140722602366316 140722602366316 140722602368975 0
[pid=6157/tid=6292] ppid=6156 vsize=13801768 CPUtime=0.62 cores=4-7,12-15
/proc/6157/task/6292/stat : 6292 (java) R 6156 6156 18810 0 -1 4202560 19 0 0 0 62 0 0 0 20 0 28 0 4080699 14133010432 112640 33554432000 4194304 4196468 140722602361120 140653701107688 140654162607850 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 23187456 140722602366140 140722602366316 140722602366316 140722602368975 0
[pid=6157/tid=6293] ppid=6156 vsize=13801768 CPUtime=0.62 cores=4-7,12-15
/proc/6157/task/6293/stat : 6293 (java) R 6156 6156 18810 0 -1 4202560 16 0 0 0 62 0 0 0 20 0 28 0 4080699 14133010432 112640 33554432000 4194304 4196468 140722602361120 140653700056184 140654163106764 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23187456 140722602366140 140722602366316 140722602366316 140722602368975 0
[pid=6157/tid=6294] ppid=6156 vsize=13801768 CPUtime=0.6 cores=4-7,12-15
/proc/6157/task/6294/stat : 6294 (java) R 6156 6156 18810 0 -1 4202560 18 0 0 0 60 0 0 0 20 0 28 0 4080699 14133010432 112640 33554432000 4194304 4196468 140722602361120 140653703213800 140654162607328 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 23187456 140722602366140 140722602366316 140722602366316 140722602368975 0
[pid=6157/tid=6295] ppid=6156 vsize=13801768 CPUtime=0.61 cores=4-7,12-15
/proc/6157/task/6295/stat : 6295 (java) R 6156 6156 18810 0 -1 4202560 17 0 0 0 61 0 0 0 20 0 28 0 4080699 14133010432 112640 33554432000 4194304 4196468 140722602361120 140653697952968 140654163351050 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 23187456 140722602366140 140722602366316 140722602366316 140722602368975 0
[pid=6157/tid=6296] ppid=6156 vsize=13801768 CPUtime=0.61 cores=4-7,12-15
/proc/6157/task/6296/stat : 6296 (java) R 6156 6156 18810 0 -1 4202560 16 0 0 0 61 0 0 0 20 0 28 0 4080699 14133010432 112640 33554432000 4194304 4196468 140722602361120 140653705321800 140654163351195 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 23187456 140722602366140 140722602366316 140722602366316 140722602368975 0
[pid=6157/tid=6297] ppid=6156 vsize=13801768 CPUtime=0.61 cores=4-7,12-15
/proc/6157/task/6297/stat : 6297 (java) R 6156 6156 18810 0 -1 4202560 20 0 0 0 61 0 0 0 20 0 28 0 4080699 14133010432 112640 33554432000 4194304 4196468 140722602361120 140653702158344 140654162923706 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 23187456 140722602366140 140722602366316 140722602366316 140722602368975 0
[pid=6157/tid=6298] ppid=6156 vsize=13801768 CPUtime=0.62 cores=4-7,12-15
/proc/6157/task/6298/stat : 6298 (java) R 6156 6156 18810 0 -1 4202560 17 0 0 0 62 0 0 0 20 0 28 0 4080699 14133010432 112640 33554432000 4194304 4196468 140722602361120 140653699005512 140654163350429 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23187456 140722602366140 140722602366316 140722602366316 140722602368975 0
Current children cumulated CPU time (s) 138.18
Current children cumulated vsize (KiB) 13811280
Child status: 0
Real time (s): 18.8783
CPU time (s): 138.622
CPU user time (s): 137.85
CPU system time (s): 0.77268
CPU usage (%): 734.295
Max. virtual memory (cumulated for all children) (KiB): 13813168
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 137.85
system time used= 0.77268
maximum resident set size= 451088
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 56877
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6611
involuntary context switches= 10794
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.202893 second user time and 0.299555 second system time
The end