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-4248166-1500691354/watcher-4248166-1500691354 -o /tmp/evaluation-result-4248166-1500691354/solver-4248166-1500691354 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node124-1500683887-7653 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1648746992 HOME/instance-4248166-1500691354.xml
pid=6145
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: 8.60 11.05 12.67 9/263 6148
/proc/meminfo: memFree=22234040/32770624 swapFree=5800/278984
[pid=6148] ppid=6145 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6148/stat : 6148 (xcsp3-exec) S 6145 6148 7621 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4403173 9740288 345 33554432000 4194304 5098028 140729471433616 140729471431720 140555470852732 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 26968064 140729471440014 140729471440224 140729471440224 140729471442923 0
/proc/6148/statm: 2378 345 289 221 0 87 0
[startup+0.10013 s]
/proc/loadavg: 8.60 11.05 12.67 9/263 6148
/proc/meminfo: memFree=22234040/32770624 swapFree=5800/278984
[pid=6148] ppid=6145 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6148/stat : 6148 (xcsp3-exec) S 6145 6148 7621 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4403173 9740288 345 33554432000 4194304 5098028 140729471433616 140729471431720 140555470852732 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 26968064 140729471440014 140729471440224 140729471440224 140729471442923 0
/proc/6148/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200291 s]
/proc/loadavg: 8.60 11.05 12.67 9/263 6148
/proc/meminfo: memFree=22234040/32770624 swapFree=5800/278984
[pid=6148] ppid=6145 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6148/stat : 6148 (xcsp3-exec) S 6145 6148 7621 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4403173 9740288 345 33554432000 4194304 5098028 140729471433616 140729471431720 140555470852732 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 26968064 140729471440014 140729471440224 140729471440224 140729471442923 0
/proc/6148/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300269 s]
/proc/loadavg: 8.60 11.05 12.67 9/263 6148
/proc/meminfo: memFree=22234040/32770624 swapFree=5800/278984
[pid=6148] ppid=6145 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6148/stat : 6148 (xcsp3-exec) S 6145 6148 7621 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4403173 9740288 345 33554432000 4194304 5098028 140729471433616 140729471431720 140555470852732 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 26968064 140729471440014 140729471440224 140729471440224 140729471442923 0
/proc/6148/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700173 s]
/proc/loadavg: 8.60 11.05 12.67 9/263 6148
/proc/meminfo: memFree=22234040/32770624 swapFree=5800/278984
[pid=6148] ppid=6145 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6148/stat : 6148 (xcsp3-exec) S 6145 6148 7621 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4403173 9740288 345 33554432000 4194304 5098028 140729471433616 140729471431720 140555470852732 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 26968064 140729471440014 140729471440224 140729471440224 140729471442923 0
/proc/6148/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50102 s]
/proc/loadavg: 8.60 11.05 12.67 13/284 6169
/proc/meminfo: memFree=22074332/32770624 swapFree=5800/279012
[pid=6148] ppid=6145 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6148/stat : 6148 (xcsp3-exec) S 6145 6148 7621 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4403173 9740288 345 33554432000 4194304 5098028 140729471433616 140729471431720 140555470852732 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 26968064 140729471440014 140729471440224 140729471440224 140729471442923 0
/proc/6148/statm: 2378 345 289 221 0 87 0
[pid=6149] ppid=6148 vsize=13801768 CPUtime=6.4 cores=1,3,5,7,9,11,13,15
/proc/6149/stat : 6149 (java) S 6148 6148 7621 0 -1 1077944320 25613 0 0 0 614 26 0 0 20 0 28 0 4403174 14133010432 56978 33554432000 4194304 4196468 140729081583632 140729081566176 140638839164663 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 24485888 140729081586876 140729081587052 140729081587052 140729081589711 0
/proc/6149/statm: 3450442 56978 3244 1 0 3437675 0
[pid=6149/tid=6150] ppid=6148 vsize=13801768 CPUtime=1.09 cores=1,3,5,7,9,11,13,15
/proc/6149/task/6150/stat : 6150 (java) S 6148 6148 7621 0 -1 1077944384 8228 0 0 0 104 5 0 0 20 0 28 0 4403174 14133010432 56978 33554432000 4194304 4196468 140729081583632 140638843405440 140638839174869 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24485888 140729081586876 140729081587052 140729081587052 140729081589711 0
[pid=6149/tid=6152] ppid=6148 vsize=13801768 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/6149/task/6152/stat : 6152 (java) S 6148 6148 7621 0 -1 1077944384 91 0 0 0 1 1 0 0 20 0 28 0 4403175 14133010432 56978 33554432000 4194304 4196468 140729081583632 140638438787600 140638839174869 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24485888 140729081586876 140729081587052 140729081587052 140729081589711 0
[pid=6149/tid=6153] ppid=6148 vsize=13801768 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/6149/task/6153/stat : 6153 (java) S 6148 6148 7621 0 -1 1077944384 76 0 0 0 1 1 0 0 20 0 28 0 4403175 14133010432 56978 33554432000 4194304 4196468 140729081583632 140638437735056 140638839174869 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 24485888 140729081586876 140729081587052 140729081587052 140729081589711 0
[pid=6149/tid=6154] ppid=6148 vsize=13801768 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/6149/task/6154/stat : 6154 (java) S 6148 6148 7621 0 -1 1077944384 33 0 0 0 1 1 0 0 20 0 28 0 4403175 14133010432 56978 33554432000 4194304 4196468 140729081583632 140638436682000 140638839174869 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 24485888 140729081586876 140729081587052 140729081587052 140729081589711 0
[pid=6149/tid=6155] ppid=6148 vsize=13801768 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/6149/task/6155/stat : 6155 (java) S 6148 6148 7621 0 -1 1077944384 38 0 0 0 1 1 0 0 20 0 28 0 4403175 14133010432 56978 33554432000 4194304 4196468 140729081583632 140638435629456 140638839174869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24485888 140729081586876 140729081587052 140729081587052 140729081589711 0
[pid=6149/tid=6156] ppid=6148 vsize=13801768 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/6149/task/6156/stat : 6156 (java) S 6148 6148 7621 0 -1 1077944384 40 0 0 0 1 1 0 0 20 0 28 0 4403175 14133010432 56978 33554432000 4194304 4196468 140729081583632 140638434577424 140638839174869 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 24485888 140729081586876 140729081587052 140729081587052 140729081589711 0
[pid=6149/tid=6157] ppid=6148 vsize=13801768 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/6149/task/6157/stat : 6157 (java) S 6148 6148 7621 0 -1 1077944384 61 0 0 0 1 2 0 0 20 0 28 0 4403175 14133010432 56978 33554432000 4194304 4196468 140729081583632 140638433524880 140638839174869 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 24485888 140729081586876 140729081587052 140729081587052 140729081589711 0
[pid=6149/tid=6158] ppid=6148 vsize=13801768 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/6149/task/6158/stat : 6158 (java) S 6148 6148 7621 0 -1 1077944384 39 0 0 0 1 1 0 0 20 0 28 0 4403175 14133010432 56978 33554432000 4194304 4196468 140729081583632 140638432471824 140638839174869 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24485888 140729081586876 140729081587052 140729081587052 140729081589711 0
[pid=6149/tid=6159] ppid=6148 vsize=13801768 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/6149/task/6159/stat : 6159 (java) S 6148 6148 7621 0 -1 1077944384 35 0 0 0 1 2 0 0 20 0 28 0 4403175 14133010432 56978 33554432000 4194304 4196468 140729081583632 140638431419280 140638839174869 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 24485888 140729081586876 140729081587052 140729081587052 140729081589711 0
[pid=6149/tid=6160] ppid=6148 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6149/task/6160/stat : 6160 (java) S 6148 6148 7621 0 -1 1077944384 122 0 0 0 0 0 0 0 20 0 28 0 4403177 14133010432 56978 33554432000 4194304 4196468 140729081583632 140638033012976 140638839175810 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24485888 140729081586876 140729081587052 140729081587052 140729081589711 0
[pid=6149/tid=6161] ppid=6148 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6149/task/6161/stat : 6161 (java) S 6148 6148 7621 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 4403178 14133010432 56988 33554432000 4194304 4196468 140729081583632 140638031959200 140638839174869 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 24485888 140729081586876 140729081587052 140729081587052 140729081589711 0
[pid=6149/tid=6162] ppid=6148 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6149/task/6162/stat : 6162 (java) S 6148 6148 7621 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 28 0 4403178 14133010432 56988 33554432000 4194304 4196468 140729081583632 140638030906096 140638839174869 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 24485888 140729081586876 140729081587052 140729081587052 140729081589711 0
[pid=6149/tid=6163] ppid=6148 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6149/task/6163/stat : 6163 (java) S 6148 6148 7621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4403182 14133010432 57054 33554432000 4194304 4196468 140729081583632 140638029854672 140638839183259 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 24485888 140729081586876 140729081587052 140729081587052 140729081589711 0
[pid=6149/tid=6164] ppid=6148 vsize=13801768 CPUtime=0.84 cores=1,3,5,7,9,11,13,15
/proc/6149/task/6164/stat : 6164 (java) R 6148 6148 7621 0 -1 4202560 3831 0 0 0 83 1 0 0 20 0 28 0 4403182 14133010432 57054 33554432000 4194304 4196468 140729081583632 140638028784000 140638819864960 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24485888 140729081586876 140729081587052 140729081587052 140729081589711 0
[pid=6149/tid=6165] ppid=6148 vsize=13801768 CPUtime=0.96 cores=1,3,5,7,9,11,13,15
/proc/6149/task/6165/stat : 6165 (java) R 6148 6148 7621 0 -1 4202560 4036 0 0 0 96 0 0 0 20 0 28 0 4403182 14133010432 57120 33554432000 4194304 4196468 140729081583632 140638027736312 140638820709962 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24485888 140729081586876 140729081587052 140729081587052 140729081589711 0
[pid=6149/tid=6166] ppid=6148 vsize=13801768 CPUtime=0.87 cores=1,3,5,7,9,11,13,15
/proc/6149/task/6166/stat : 6166 (java) R 6148 6148 7621 0 -1 4202560 4630 0 0 0 86 1 0 0 20 0 28 0 4403182 14133010432 57120 33554432000 4194304 4196468 140729081583632 140638026678216 140638839186010 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 24485888 140729081586876 140729081587052 140729081587052 140729081589711 0
[pid=6149/tid=6167] ppid=6148 vsize=13801768 CPUtime=0.6 cores=1,3,5,7,9,11,13,15
/proc/6149/task/6167/stat : 6167 (java) S 6148 6148 7621 0 -1 1077944384 2776 0 0 0 60 0 0 0 20 0 28 0 4403182 14133010432 57120 33554432000 4194304 4196468 140729081583632 140638025644656 140638839175810 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24485888 140729081586876 140729081587052 140729081587052 140729081589711 0
[pid=6149/tid=6168] ppid=6148 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6149/task/6168/stat : 6168 (java) S 6148 6148 7621 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4403182 14133010432 57120 33554432000 4194304 4196468 140729081583632 140638024591840 140638839174869 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 24485888 140729081586876 140729081587052 140729081587052 140729081589711 0
[pid=6149/tid=6169] ppid=6148 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6149/task/6169/stat : 6169 (java) S 6148 6148 7621 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4403183 14133010432 57120 33554432000 4194304 4196468 140729081583632 140638023539376 140638839175810 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 24485888 140729081586876 140729081587052 140729081587052 140729081589711 0
Current children cumulated CPU time (s) 6.4
Current children cumulated vsize (KiB) 13811280
[startup+3.10156 s]
/proc/loadavg: 9.27 11.15 12.70 20/292 6177
/proc/meminfo: memFree=22005488/32770624 swapFree=5800/279008
[pid=6148] ppid=6145 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6148/stat : 6148 (xcsp3-exec) S 6145 6148 7621 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4403173 9740288 345 33554432000 4194304 5098028 140729471433616 140729471431720 140555470852732 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 26968064 140729471440014 140729471440224 140729471440224 140729471442923 0
/proc/6148/statm: 2378 345 289 221 0 87 0
[pid=6149] ppid=6148 vsize=13801768 CPUtime=19.11 cores=1,3,5,7,9,11,13,15
/proc/6149/stat : 6149 (java) S 6148 6148 7621 0 -1 1077944320 30258 0 0 0 1874 37 0 0 20 0 28 0 4403174 14133010432 68290 33554432000 4194304 4196468 140729081583632 140729081566176 140638839164663 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 24485888 140729081586876 140729081587052 140729081587052 140729081589711 0
/proc/6149/statm: 3450442 68290 3259 1 0 3437675 0
[pid=6149/tid=6150] ppid=6148 vsize=13801768 CPUtime=1.09 cores=1,3,5,7,9,11,13,15
/proc/6149/task/6150/stat : 6150 (java) S 6148 6148 7621 0 -1 1077944384 8228 0 0 0 104 5 0 0 20 0 28 0 4403174 14133010432 68290 33554432000 4194304 4196468 140729081583632 140638843405440 140638839174869 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24485888 140729081586876 140729081587052 140729081587052 140729081589711 0
[pid=6149/tid=6152] ppid=6148 vsize=13801768 CPUtime=0.05 cores=1,3,5,7,9,11,13,15
/proc/6149/task/6152/stat : 6152 (java) S 6148 6148 7621 0 -1 1077944384 599 0 0 0 2 3 0 0 20 0 28 0 4403175 14133010432 68290 33554432000 4194304 4196468 140729081583632 140638438787600 140638839174869 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 24485888 140729081586876 140729081587052 140729081587052 140729081589711 0
[pid=6149/tid=6153] ppid=6148 vsize=13801768 CPUtime=0.04 cores=1,3,5,7,9,11,13,15
/proc/6149/task/6153/stat : 6153 (java) S 6148 6148 7621 0 -1 1077944384 152 0 0 0 2 2 0 0 20 0 28 0 4403175 14133010432 68290 33554432000 4194304 4196468 140729081583632 140638437735056 140638839174869 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 24485888 140729081586876 140729081587052 140729081587052 140729081589711 0
[pid=6149/tid=6154] ppid=6148 vsize=13801768 CPUtime=0.05 cores=1,3,5,7,9,11,13,15
/proc/6149/task/6154/stat : 6154 (java) S 6148 6148 7621 0 -1 1077944384 51 0 0 0 2 3 0 0 20 0 28 0 4403175 14133010432 68290 33554432000 4194304 4196468 140729081583632 140638436682000 140638839174869 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 24485888 140729081586876 140729081587052 140729081587052 140729081589711 0
[pid=6149/tid=6155] ppid=6148 vsize=13801768 CPUtime=0.06 cores=1,3,5,7,9,11,13,15
/proc/6149/task/6155/stat : 6155 (java) S 6148 6148 7621 0 -1 1077944384 74 0 0 0 4 2 0 0 20 0 28 0 4403175 14133010432 68290 33554432000 4194304 4196468 140729081583632 140638435629456 140638839174869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24485888 140729081586876 140729081587052 140729081587052 140729081589711 0
[pid=6149/tid=6156] ppid=6148 vsize=13801768 CPUtime=0.04 cores=1,3,5,7,9,11,13,15
/proc/6149/task/6156/stat : 6156 (java) S 6148 6148 7621 0 -1 1077944384 48 0 0 0 2 2 0 0 20 0 28 0 4403175 14133010432 68290 33554432000 4194304 4196468 140729081583632 140638434577424 140638839174869 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 24485888 140729081586876 140729081587052 140729081587052 140729081589711 0
[pid=6149/tid=6157] ppid=6148 vsize=13801768 CPUtime=0.06 cores=1,3,5,7,9,11,13,15
/proc/6149/task/6157/stat : 6157 (java) S 6148 6148 7621 0 -1 1077944384 86 0 0 0 3 3 0 0 20 0 28 0 4403175 14133010432 68290 33554432000 4194304 4196468 140729081583632 140638433524880 140638839174869 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24485888 140729081586876 140729081587052 140729081587052 140729081589711 0
[pid=6149/tid=6158] ppid=6148 vsize=13801768 CPUtime=0.06 cores=1,3,5,7,9,11,13,15
/proc/6149/task/6158/stat : 6158 (java) S 6148 6148 7621 0 -1 1077944384 59 0 0 0 3 3 0 0 20 0 28 0 4403175 14133010432 68290 33554432000 4194304 4196468 140729081583632 140638432471824 140638839174869 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24485888 140729081586876 140729081587052 140729081587052 140729081589711 0
[pid=6149/tid=6159] ppid=6148 vsize=13801768 CPUtime=0.05 cores=1,3,5,7,9,11,13,15
/proc/6149/task/6159/stat : 6159 (java) S 6148 6148 7621 0 -1 1077944384 52 0 0 0 2 3 0 0 20 0 28 0 4403175 14133010432 68290 33554432000 4194304 4196468 140729081583632 140638431419280 140638839174869 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24485888 140729081586876 140729081587052 140729081587052 140729081589711 0
[pid=6149/tid=6160] ppid=6148 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6149/task/6160/stat : 6160 (java) S 6148 6148 7621 0 -1 1077944384 189 0 0 0 0 0 0 0 20 0 28 0 4403177 14133010432 68290 33554432000 4194304 4196468 140729081583632 140638033012976 140638839175810 0 0 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 24485888 140729081586876 140729081587052 140729081587052 140729081589711 0
[pid=6149/tid=6161] ppid=6148 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6149/task/6161/stat : 6161 (java) S 6148 6148 7621 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 28 0 4403178 14133010432 68290 33554432000 4194304 4196468 140729081583632 140638031959264 140638839174869 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 24485888 140729081586876 140729081587052 140729081587052 140729081589711 0
[pid=6149/tid=6162] ppid=6148 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6149/task/6162/stat : 6162 (java) S 6148 6148 7621 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 28 0 4403178 14133010432 68290 33554432000 4194304 4196468 140729081583632 140638030906096 140638839174869 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 24485888 140729081586876 140729081587052 140729081587052 140729081589711 0
[pid=6149/tid=6163] ppid=6148 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6149/task/6163/stat : 6163 (java) S 6148 6148 7621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4403182 14133010432 68290 33554432000 4194304 4196468 140729081583632 140638029854672 140638839183259 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 24485888 140729081586876 140729081587052 140729081587052 140729081589711 0
[pid=6149/tid=6164] ppid=6148 vsize=13801768 CPUtime=1.94 cores=1,3,5,7,9,11,13,15
/proc/6149/task/6164/stat : 6164 (java) R 6148 6148 7621 0 -1 4202560 4740 0 0 0 193 1 0 0 20 0 28 0 4403182 14133010432 68290 33554432000 4194304 4196468 140729081583632 140638028789264 140638818552436 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 24485888 140729081586876 140729081587052 140729081587052 140729081589711 0
[pid=6149/tid=6165] ppid=6148 vsize=13801768 CPUtime=2.25 cores=1,3,5,7,9,11,13,15
/proc/6149/task/6165/stat : 6165 (java) R 6148 6148 7621 0 -1 4202560 5110 0 0 0 225 0 0 0 20 0 28 0 4403182 14133010432 68290 33554432000 4194304 4196468 140729081583632 140638027736824 140638824358344 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 24485888 140729081586876 140729081587052 140729081587052 140729081589711 0
[pid=6149/tid=6166] ppid=6148 vsize=13801768 CPUtime=2.19 cores=1,3,5,7,9,11,13,15
/proc/6149/task/6166/stat : 6166 (java) R 6148 6148 7621 0 -1 4202560 5727 0 0 0 218 1 0 0 20 0 28 0 4403182 14133010432 68290 33554432000 4194304 4196468 140729081583632 140638026683744 140638820685506 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 24485888 140729081586876 140729081587052 140729081587052 140729081589711 0
[pid=6149/tid=6167] ppid=6148 vsize=13801768 CPUtime=0.72 cores=1,3,5,7,9,11,13,15
/proc/6149/task/6167/stat : 6167 (java) S 6148 6148 7621 0 -1 1077944384 3067 0 0 0 71 1 0 0 20 0 28 0 4403182 14133010432 68290 33554432000 4194304 4196468 140729081583632 140638025644656 140638839175810 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24485888 140729081586876 140729081587052 140729081587052 140729081589711 0
[pid=6149/tid=6168] ppid=6148 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6149/task/6168/stat : 6168 (java) S 6148 6148 7621 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4403182 14133010432 68290 33554432000 4194304 4196468 140729081583632 140638024591840 140638839174869 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 24485888 140729081586876 140729081587052 140729081587052 140729081589711 0
[pid=6149/tid=6169] ppid=6148 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6149/task/6169/stat : 6169 (java) S 6148 6148 7621 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 28 0 4403183 14133010432 68290 33554432000 4194304 4196468 140729081583632 140638023539376 140638839175810 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 24485888 140729081586876 140729081587052 140729081587052 140729081589711 0
[pid=6149/tid=6170] ppid=6148 vsize=13801768 CPUtime=1.16 cores=1,3,5,7,9,11,13,15
/proc/6149/task/6170/stat : 6170 (java) R 6148 6148 7621 0 -1 4202560 109 0 0 0 116 0 0 0 20 0 28 0 4403286 14133010432 68290 33554432000 4194304 4196468 140729081583632 140638015524664 140638459117146 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 24485888 140729081586876 140729081587052 140729081587052 140729081589711 0
[pid=6149/tid=6171] ppid=6148 vsize=13801768 CPUtime=1.34 cores=1,3,5,7,9,11,13,15
/proc/6149/task/6171/stat : 6171 (java) R 6148 6148 7621 0 -1 4202560 80 0 0 0 134 0 0 0 20 0 28 0 4403286 14133010432 68290 33554432000 4194304 4196468 140729081583632 140638014474088 140638459117024 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24485888 140729081586876 140729081587052 140729081587052 140729081589711 0
[pid=6149/tid=6172] ppid=6148 vsize=13801768 CPUtime=1.24 cores=1,3,5,7,9,11,13,15
/proc/6149/task/6172/stat : 6172 (java) R 6148 6148 7621 0 -1 4202560 175 0 0 0 124 0 0 0 20 0 28 0 4403286 14133010432 68290 33554432000 4194304 4196468 140729081583632 140638013419744 140638459168723 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24485888 140729081586876 140729081587052 140729081587052 140729081589711 0
[pid=6149/tid=6173] ppid=6148 vsize=13801768 CPUtime=1.46 cores=1,3,5,7,9,11,13,15
/proc/6149/task/6173/stat : 6173 (java) R 6148 6148 7621 0 -1 4202560 59 0 0 0 146 0 0 0 20 0 28 0 4403286 14133010432 68290 33554432000 4194304 4196468 140729081583632 140638012367552 140638458903075 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 24485888 140729081586876 140729081587052 140729081587052 140729081589711 0
[pid=6149/tid=6174] ppid=6148 vsize=13801768 CPUtime=1.23 cores=1,3,5,7,9,11,13,15
/proc/6149/task/6174/stat : 6174 (java) R 6148 6148 7621 0 -1 4202560 108 0 0 0 123 0 0 0 20 0 28 0 4403286 14133010432 68290 33554432000 4194304 4196468 140729081583632 140638011316288 140638459653757 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 24485888 140729081586876 140729081587052 140729081587052 140729081589711 0
[pid=6149/tid=6175] ppid=6148 vsize=13801768 CPUtime=1.23 cores=1,3,5,7,9,11,13,15
/proc/6149/task/6175/stat : 6175 (java) R 6148 6148 7621 0 -1 4202560 36 0 0 0 123 0 0 0 20 0 28 0 4403286 14133010432 68290 33554432000 4194304 4196468 140729081583632 140638010262784 140638459168319 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24485888 140729081586876 140729081587052 140729081587052 140729081589711 0
[pid=6149/tid=6176] ppid=6148 vsize=13801768 CPUtime=1.31 cores=1,3,5,7,9,11,13,15
/proc/6149/task/6176/stat : 6176 (java) R 6148 6148 7621 0 -1 4202560 72 0 0 0 131 0 0 0 20 0 28 0 4403286 14133010432 68290 33554432000 4194304 4196468 140729081583632 140638009209728 140638452481349 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 24485888 140729081586876 140729081587052 140729081587052 140729081589711 0
[pid=6149/tid=6177] ppid=6148 vsize=13801768 CPUtime=1.34 cores=1,3,5,7,9,11,13,15
/proc/6149/task/6177/stat : 6177 (java) R 6148 6148 7621 0 -1 1077944384 88 0 0 0 134 0 0 0 20 0 28 0 4403286 14133010432 68290 33554432000 4194304 4196468 140729081583632 140638008155536 140638839174869 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24485888 140729081586876 140729081587052 140729081587052 140729081589711 0
Current children cumulated CPU time (s) 19.11
Current children cumulated vsize (KiB) 13811280
[startup+6.30492 s]
/proc/loadavg: 9.27 11.15 12.70 12/269 6212
/proc/meminfo: memFree=31425172/32770624 swapFree=5800/279008
[pid=6148] ppid=6145 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6148/stat : 6148 (xcsp3-exec) S 6145 6148 7621 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4403173 9740288 345 33554432000 4194304 5098028 140729471433616 140729471431720 140555470852732 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 26968064 140729471440014 140729471440224 140729471440224 140729471442923 0
/proc/6148/statm: 2378 345 289 221 0 87 0
[pid=6149] ppid=6148 vsize=13801768 CPUtime=44.49 cores=1,3,5,7,9,11,13,15
/proc/6149/stat : 6149 (java) S 6148 6148 7621 0 -1 1077944320 36345 0 0 0 4379 70 0 0 20 0 28 0 4403174 14133010432 145638 33554432000 4194304 4196468 140729081583632 140729081566176 140638839164663 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 24485888 140729081586876 140729081587052 140729081587052 140729081589711 0
/proc/6149/statm: 3450442 145638 3281 1 0 3437675 0
[pid=6149/tid=6150] ppid=6148 vsize=13801768 CPUtime=1.09 cores=1,3,5,7,9,11,13,15
/proc/6149/task/6150/stat : 6150 (java) S 6148 6148 7621 0 -1 1077944384 8228 0 0 0 104 5 0 0 20 0 28 0 4403174 14133010432 145638 33554432000 4194304 4196468 140729081583632 140638843405440 140638839174869 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24485888 140729081586876 140729081587052 140729081587052 140729081589711 0
[pid=6149/tid=6152] ppid=6148 vsize=13801768 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/6149/task/6152/stat : 6152 (java) S 6148 6148 7621 0 -1 1077944384 626 0 0 0 5 6 0 0 20 0 28 0 4403175 14133010432 145638 33554432000 4194304 4196468 140729081583632 140638438787600 140638839174869 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24485888 140729081586876 140729081587052 140729081587052 140729081589711 0
[pid=6149/tid=6153] ppid=6148 vsize=13801768 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/6149/task/6153/stat : 6153 (java) S 6148 6148 7621 0 -1 1077944384 180 0 0 0 4 6 0 0 20 0 28 0 4403175 14133010432 145638 33554432000 4194304 4196468 140729081583632 140638437735056 140638839174869 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24485888 140729081586876 140729081587052 140729081587052 140729081589711 0
[pid=6149/tid=6154] ppid=6148 vsize=13801768 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/6149/task/6154/stat : 6154 (java) S 6148 6148 7621 0 -1 1077944384 80 0 0 0 5 6 0 0 20 0 28 0 4403175 14133010432 145638 33554432000 4194304 4196468 140729081583632 140638436682000 140638839174869 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 24485888 140729081586876 140729081587052 140729081587052 140729081589711 0
[pid=6149/tid=6155] ppid=6148 vsize=13801768 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/6149/task/6155/stat : 6155 (java) S 6148 6148 7621 0 -1 1077944384 97 0 0 0 7 5 0 0 20 0 28 0 4403175 14133010432 145638 33554432000 4194304 4196468 140729081583632 140638435629456 140638839174869 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 24485888 140729081586876 140729081587052 140729081587052 140729081589711 0
################
# More data... #
################
[pid=6149/tid=6176] ppid=6148 vsize=13801768 CPUtime=217.02 cores=1,3,5,7,9,11,13,15
/proc/6149/task/6176/stat : 6176 (java) R 6148 6148 7621 0 -1 4202560 3342 0 0 0 21696 6 0 0 20 0 28 0 4403286 14133010432 569513 33554432000 4194304 4196468 140729081583632 140638009208776 140638460388576 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 24485888 140729081586876 140729081587052 140729081587052 140729081589711 0
[pid=6149/tid=6177] ppid=6148 vsize=13801768 CPUtime=216.3 cores=1,3,5,7,9,11,13,15
/proc/6149/task/6177/stat : 6177 (java) R 6148 6148 7621 0 -1 4202560 1726 0 0 0 21624 6 0 0 20 0 28 0 4403286 14133010432 569513 33554432000 4194304 4196468 140729081583632 140638008156264 140638459915019 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24485888 140729081586876 140729081587052 140729081587052 140729081589711 0
Current children cumulated CPU time (s) 1755.71
Current children cumulated vsize (KiB) 13811280
[startup+282.302 s]
/proc/loadavg: 15.78 13.95 13.48 17/299 6276
/proc/meminfo: memFree=26290336/32770624 swapFree=5800/279392
[pid=6148] ppid=6145 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6148/stat : 6148 (xcsp3-exec) S 6145 6148 7621 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4403173 9740288 345 33554432000 4194304 5098028 140729471433616 140729471431720 140555470852732 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 26968064 140729471440014 140729471440224 140729471440224 140729471442923 0
/proc/6148/statm: 2378 345 289 221 0 87 0
[pid=6149] ppid=6148 vsize=13801768 CPUtime=2228.13 cores=1,3,5,7,9,11,13,15
/proc/6149/stat : 6149 (java) S 6148 6148 7621 0 -1 1077944320 85966 0 0 0 222495 318 0 0 20 0 28 0 4403174 14133010432 576972 33554432000 4194304 4196468 140729081583632 140729081566176 140638839164663 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 24485888 140729081586876 140729081587052 140729081587052 140729081589711 0
/proc/6149/statm: 3450442 576972 3282 1 0 3437675 0
[pid=6149/tid=6150] ppid=6148 vsize=13801768 CPUtime=1.09 cores=1,3,5,7,9,11,13,15
/proc/6149/task/6150/stat : 6150 (java) S 6148 6148 7621 0 -1 1077944384 8228 0 0 0 104 5 0 0 20 0 28 0 4403174 14133010432 576972 33554432000 4194304 4196468 140729081583632 140638843405440 140638839174869 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24485888 140729081586876 140729081587052 140729081587052 140729081589711 0
[pid=6149/tid=6152] ppid=6148 vsize=13801768 CPUtime=1 cores=1,3,5,7,9,11,13,15
/proc/6149/task/6152/stat : 6152 (java) S 6148 6148 7621 0 -1 1077944384 1216 0 0 0 78 22 0 0 20 0 28 0 4403175 14133010432 576972 33554432000 4194304 4196468 140729081583632 140638438787600 140638839174869 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 24485888 140729081586876 140729081587052 140729081587052 140729081589711 0
[pid=6149/tid=6153] ppid=6148 vsize=13801768 CPUtime=1.02 cores=1,3,5,7,9,11,13,15
/proc/6149/task/6153/stat : 6153 (java) S 6148 6148 7621 0 -1 1077944384 2542 0 0 0 79 23 0 0 20 0 28 0 4403175 14133010432 576972 33554432000 4194304 4196468 140729081583632 140638437735056 140638839174869 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24485888 140729081586876 140729081587052 140729081587052 140729081589711 0
[pid=6149/tid=6154] ppid=6148 vsize=13801768 CPUtime=1.02 cores=1,3,5,7,9,11,13,15
/proc/6149/task/6154/stat : 6154 (java) S 6148 6148 7621 0 -1 1077944384 742 0 0 0 79 23 0 0 20 0 28 0 4403175 14133010432 576972 33554432000 4194304 4196468 140729081583632 140638436682000 140638839174869 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 24485888 140729081586876 140729081587052 140729081587052 140729081589711 0
[pid=6149/tid=6155] ppid=6148 vsize=13801768 CPUtime=1.01 cores=1,3,5,7,9,11,13,15
/proc/6149/task/6155/stat : 6155 (java) S 6148 6148 7621 0 -1 1077944384 822 0 0 0 80 21 0 0 20 0 28 0 4403175 14133010432 576972 33554432000 4194304 4196468 140729081583632 140638435629456 140638839174869 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 24485888 140729081586876 140729081587052 140729081587052 140729081589711 0
[pid=6149/tid=6156] ppid=6148 vsize=13801768 CPUtime=1.01 cores=1,3,5,7,9,11,13,15
/proc/6149/task/6156/stat : 6156 (java) S 6148 6148 7621 0 -1 1077944384 1440 0 0 0 78 23 0 0 20 0 28 0 4403175 14133010432 576972 33554432000 4194304 4196468 140729081583632 140638434577424 140638839174869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24485888 140729081586876 140729081587052 140729081587052 140729081589711 0
[pid=6149/tid=6157] ppid=6148 vsize=13801768 CPUtime=1.01 cores=1,3,5,7,9,11,13,15
/proc/6149/task/6157/stat : 6157 (java) S 6148 6148 7621 0 -1 1077944384 708 0 0 0 78 23 0 0 20 0 28 0 4403175 14133010432 576972 33554432000 4194304 4196468 140729081583632 140638433524880 140638839174869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24485888 140729081586876 140729081587052 140729081587052 140729081589711 0
[pid=6149/tid=6158] ppid=6148 vsize=13801768 CPUtime=1.02 cores=1,3,5,7,9,11,13,15
/proc/6149/task/6158/stat : 6158 (java) S 6148 6148 7621 0 -1 1077944384 1833 0 0 0 78 24 0 0 20 0 28 0 4403175 14133010432 576972 33554432000 4194304 4196468 140729081583632 140638432471824 140638839174869 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 24485888 140729081586876 140729081587052 140729081587052 140729081589711 0
[pid=6149/tid=6159] ppid=6148 vsize=13801768 CPUtime=1 cores=1,3,5,7,9,11,13,15
/proc/6149/task/6159/stat : 6159 (java) S 6148 6148 7621 0 -1 1077944384 833 0 0 0 77 23 0 0 20 0 28 0 4403175 14133010432 576972 33554432000 4194304 4196468 140729081583632 140638431419280 140638839174869 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24485888 140729081586876 140729081587052 140729081587052 140729081589711 0
[pid=6149/tid=6160] ppid=6148 vsize=13801768 CPUtime=1.32 cores=1,3,5,7,9,11,13,15
/proc/6149/task/6160/stat : 6160 (java) S 6148 6148 7621 0 -1 1077944384 4519 0 0 0 65 67 0 0 20 0 28 0 4403177 14133010432 576972 33554432000 4194304 4196468 140729081583632 140638033012976 140638839175810 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24485888 140729081586876 140729081587052 140729081587052 140729081589711 0
[pid=6149/tid=6161] ppid=6148 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6149/task/6161/stat : 6161 (java) S 6148 6148 7621 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 28 0 4403178 14133010432 576972 33554432000 4194304 4196468 140729081583632 140638031959264 140638839174869 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 24485888 140729081586876 140729081587052 140729081587052 140729081589711 0
[pid=6149/tid=6162] ppid=6148 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6149/task/6162/stat : 6162 (java) S 6148 6148 7621 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 28 0 4403178 14133010432 576972 33554432000 4194304 4196468 140729081583632 140638030906096 140638839174869 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 24485888 140729081586876 140729081587052 140729081587052 140729081589711 0
[pid=6149/tid=6163] ppid=6148 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6149/task/6163/stat : 6163 (java) S 6148 6148 7621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4403182 14133010432 576972 33554432000 4194304 4196468 140729081583632 140638029854672 140638839183259 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 24485888 140729081586876 140729081587052 140729081587052 140729081589711 0
[pid=6149/tid=6164] ppid=6148 vsize=13801768 CPUtime=3.87 cores=1,3,5,7,9,11,13,15
/proc/6149/task/6164/stat : 6164 (java) S 6148 6148 7621 0 -1 1077944384 10358 0 0 0 386 1 0 0 20 0 28 0 4403182 14133010432 576972 33554432000 4194304 4196468 140729081583632 140638028802800 140638839175810 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24485888 140729081586876 140729081587052 140729081587052 140729081589711 0
[pid=6149/tid=6165] ppid=6148 vsize=13801768 CPUtime=3.94 cores=1,3,5,7,9,11,13,15
/proc/6149/task/6165/stat : 6165 (java) S 6148 6148 7621 0 -1 1077944384 13181 0 0 0 393 1 0 0 20 0 28 0 4403182 14133010432 576972 33554432000 4194304 4196468 140729081583632 140638027750256 140638839175810 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24485888 140729081586876 140729081587052 140729081587052 140729081589711 0
[pid=6149/tid=6166] ppid=6148 vsize=13801768 CPUtime=4.12 cores=1,3,5,7,9,11,13,15
/proc/6149/task/6166/stat : 6166 (java) S 6148 6148 7621 0 -1 1077944384 12002 0 0 0 411 1 0 0 20 0 28 0 4403182 14133010432 576972 33554432000 4194304 4196468 140729081583632 140638026697200 140638839175810 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24485888 140729081586876 140729081587052 140729081587052 140729081589711 0
[pid=6149/tid=6167] ppid=6148 vsize=13801768 CPUtime=1.02 cores=1,3,5,7,9,11,13,15
/proc/6149/task/6167/stat : 6167 (java) S 6148 6148 7621 0 -1 1077944384 7289 0 0 0 100 2 0 0 20 0 28 0 4403182 14133010432 576972 33554432000 4194304 4196468 140729081583632 140638025644656 140638839175810 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 24485888 140729081586876 140729081587052 140729081587052 140729081589711 0
[pid=6149/tid=6168] ppid=6148 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6149/task/6168/stat : 6168 (java) S 6148 6148 7621 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4403182 14133010432 576972 33554432000 4194304 4196468 140729081583632 140638024591840 140638839174869 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 24485888 140729081586876 140729081587052 140729081587052 140729081589711 0
[pid=6149/tid=6169] ppid=6148 vsize=13801768 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/6149/task/6169/stat : 6169 (java) S 6148 6148 7621 0 -1 1077944384 333 0 0 0 6 9 0 0 20 0 28 0 4403183 14133010432 576972 33554432000 4194304 4196468 140729081583632 140638023539376 140638839175810 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 24485888 140729081586876 140729081587052 140729081587052 140729081589711 0
[pid=6149/tid=6170] ppid=6148 vsize=13801768 CPUtime=275.88 cores=1,3,5,7,9,11,13,15
/proc/6149/task/6170/stat : 6170 (java) R 6148 6148 7621 0 -1 4202560 2376 0 0 0 27581 7 0 0 20 0 28 0 4403286 14133010432 576972 33554432000 4194304 4196468 140729081583632 140638015523544 140638460671015 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 24485888 140729081586876 140729081587052 140729081587052 140729081589711 0
[pid=6149/tid=6171] ppid=6148 vsize=13801768 CPUtime=275.45 cores=1,3,5,7,9,11,13,15
/proc/6149/task/6171/stat : 6171 (java) R 6148 6148 7621 0 -1 4202560 3144 0 0 0 27537 8 0 0 20 0 28 0 4403286 14133010432 576972 33554432000 4194304 4196468 140729081583632 140638014472008 140638460387398 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24485888 140729081586876 140729081587052 140729081587052 140729081589711 0
[pid=6149/tid=6172] ppid=6148 vsize=13801768 CPUtime=275.84 cores=1,3,5,7,9,11,13,15
/proc/6149/task/6172/stat : 6172 (java) R 6148 6148 7621 0 -1 4202560 2406 0 0 0 27576 8 0 0 20 0 28 0 4403286 14133010432 576972 33554432000 4194304 4196468 140729081583632 140638013419976 140638460149264 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 24485888 140729081586876 140729081587052 140729081587052 140729081589711 0
[pid=6149/tid=6173] ppid=6148 vsize=13801768 CPUtime=275.7 cores=1,3,5,7,9,11,13,15
/proc/6149/task/6173/stat : 6173 (java) R 6148 6148 7621 0 -1 4202560 1948 0 0 0 27567 3 0 0 20 0 28 0 4403286 14133010432 576972 33554432000 4194304 4196468 140729081583632 140638012367312 140638457874500 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 24485888 140729081586876 140729081587052 140729081587052 140729081589711 0
[pid=6149/tid=6174] ppid=6148 vsize=13801768 CPUtime=275.41 cores=1,3,5,7,9,11,13,15
/proc/6149/task/6174/stat : 6174 (java) R 6148 6148 7621 0 -1 4202560 2043 0 0 0 27534 7 0 0 20 0 28 0 4403286 14133010432 576972 33554432000 4194304 4196468 140729081583632 140638011314360 140638458903723 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24485888 140729081586876 140729081587052 140729081587052 140729081589711 0
[pid=6149/tid=6175] ppid=6148 vsize=13801768 CPUtime=275.28 cores=1,3,5,7,9,11,13,15
/proc/6149/task/6175/stat : 6175 (java) R 6148 6148 7621 0 -1 4202560 963 0 0 0 27525 3 0 0 20 0 28 0 4403286 14133010432 576972 33554432000 4194304 4196468 140729081583632 140638010261816 140638459661008 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24485888 140729081586876 140729081587052 140729081587052 140729081589711 0
[pid=6149/tid=6176] ppid=6148 vsize=13801768 CPUtime=275.7 cores=1,3,5,7,9,11,13,15
/proc/6149/task/6176/stat : 6176 (java) R 6148 6148 7621 0 -1 4202560 3742 0 0 0 27564 6 0 0 20 0 28 0 4403286 14133010432 576972 33554432000 4194304 4196468 140729081583632 140638009208760 140638459035510 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 24485888 140729081586876 140729081587052 140729081587052 140729081589711 0
[pid=6149/tid=6177] ppid=6148 vsize=13801768 CPUtime=274.99 cores=1,3,5,7,9,11,13,15
/proc/6149/task/6177/stat : 6177 (java) R 6148 6148 7621 0 -1 4202560 1959 0 0 0 27493 6 0 0 20 0 28 0 4403286 14133010432 576972 33554432000 4194304 4196468 140729081583632 140638008158592 140638459035674 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 24485888 140729081586876 140729081587052 140729081587052 140729081589711 0
Current children cumulated CPU time (s) 2228.13
Current children cumulated vsize (KiB) 13811280
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+304.201 s]
/proc/loadavg: 15.86 14.11 13.55 17/299 6276
/proc/meminfo: memFree=26240508/32770624 swapFree=5800/279408
[pid=6148] ppid=6145 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6148/stat : 6148 (xcsp3-exec) S 6145 6148 7621 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4403173 9740288 345 33554432000 4194304 5098028 140729471433616 140729471431720 140555470852732 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 26968064 140729471440014 140729471440224 140729471440224 140729471442923 0
/proc/6148/statm: 2378 345 289 221 0 87 0
[pid=6149] ppid=6148 vsize=13801768 CPUtime=2400.67 cores=1,3,5,7,9,11,13,15
/proc/6149/stat : 6149 (java) S 6148 6148 7621 0 -1 1077944320 87292 0 0 0 239725 342 0 0 20 0 28 0 4403174 14133010432 580177 33554432000 4194304 4196468 140729081583632 140729081566176 140638839164663 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 24485888 140729081586876 140729081587052 140729081587052 140729081589711 0
/proc/6149/statm: 3450442 580177 3282 1 0 3437675 0
[pid=6149/tid=6150] ppid=6148 vsize=13801768 CPUtime=1.09 cores=1,3,5,7,9,11,13,15
/proc/6149/task/6150/stat : 6150 (java) S 6148 6148 7621 0 -1 1077944384 8228 0 0 0 104 5 0 0 20 0 28 0 4403174 14133010432 580177 33554432000 4194304 4196468 140729081583632 140638843405440 140638839174869 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24485888 140729081586876 140729081587052 140729081587052 140729081589711 0
[pid=6149/tid=6152] ppid=6148 vsize=13801768 CPUtime=1.11 cores=1,3,5,7,9,11,13,15
/proc/6149/task/6152/stat : 6152 (java) S 6148 6148 7621 0 -1 1077944384 1235 0 0 0 88 23 0 0 20 0 28 0 4403175 14133010432 580177 33554432000 4194304 4196468 140729081583632 140638438787600 140638839174869 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 24485888 140729081586876 140729081587052 140729081587052 140729081589711 0
[pid=6149/tid=6153] ppid=6148 vsize=13801768 CPUtime=1.14 cores=1,3,5,7,9,11,13,15
/proc/6149/task/6153/stat : 6153 (java) S 6148 6148 7621 0 -1 1077944384 2559 0 0 0 90 24 0 0 20 0 28 0 4403175 14133010432 580177 33554432000 4194304 4196468 140729081583632 140638437735056 140638839174869 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24485888 140729081586876 140729081587052 140729081587052 140729081589711 0
[pid=6149/tid=6154] ppid=6148 vsize=13801768 CPUtime=1.14 cores=1,3,5,7,9,11,13,15
/proc/6149/task/6154/stat : 6154 (java) S 6148 6148 7621 0 -1 1077944384 764 0 0 0 89 25 0 0 20 0 28 0 4403175 14133010432 580177 33554432000 4194304 4196468 140729081583632 140638436682000 140638839174869 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 24485888 140729081586876 140729081587052 140729081587052 140729081589711 0
[pid=6149/tid=6155] ppid=6148 vsize=13801768 CPUtime=1.14 cores=1,3,5,7,9,11,13,15
/proc/6149/task/6155/stat : 6155 (java) S 6148 6148 7621 0 -1 1077944384 843 0 0 0 91 23 0 0 20 0 28 0 4403175 14133010432 580177 33554432000 4194304 4196468 140729081583632 140638435629456 140638839174869 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24485888 140729081586876 140729081587052 140729081587052 140729081589711 0
[pid=6149/tid=6156] ppid=6148 vsize=13801768 CPUtime=1.12 cores=1,3,5,7,9,11,13,15
/proc/6149/task/6156/stat : 6156 (java) S 6148 6148 7621 0 -1 1077944384 1457 0 0 0 88 24 0 0 20 0 28 0 4403175 14133010432 580177 33554432000 4194304 4196468 140729081583632 140638434577424 140638839174869 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24485888 140729081586876 140729081587052 140729081587052 140729081589711 0
[pid=6149/tid=6157] ppid=6148 vsize=13801768 CPUtime=1.13 cores=1,3,5,7,9,11,13,15
/proc/6149/task/6157/stat : 6157 (java) S 6148 6148 7621 0 -1 1077944384 729 0 0 0 88 25 0 0 20 0 28 0 4403175 14133010432 580177 33554432000 4194304 4196468 140729081583632 140638433524880 140638839174869 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24485888 140729081586876 140729081587052 140729081587052 140729081589711 0
[pid=6149/tid=6158] ppid=6148 vsize=13801768 CPUtime=1.14 cores=1,3,5,7,9,11,13,15
/proc/6149/task/6158/stat : 6158 (java) S 6148 6148 7621 0 -1 1077944384 1851 0 0 0 89 25 0 0 20 0 28 0 4403175 14133010432 580177 33554432000 4194304 4196468 140729081583632 140638432471824 140638839174869 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 24485888 140729081586876 140729081587052 140729081587052 140729081589711 0
[pid=6149/tid=6159] ppid=6148 vsize=13801768 CPUtime=1.12 cores=1,3,5,7,9,11,13,15
/proc/6149/task/6159/stat : 6159 (java) S 6148 6148 7621 0 -1 1077944384 851 0 0 0 87 25 0 0 20 0 28 0 4403175 14133010432 580177 33554432000 4194304 4196468 140729081583632 140638431419280 140638839174869 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 24485888 140729081586876 140729081587052 140729081587052 140729081589711 0
[pid=6149/tid=6160] ppid=6148 vsize=13801768 CPUtime=1.51 cores=1,3,5,7,9,11,13,15
/proc/6149/task/6160/stat : 6160 (java) S 6148 6148 7621 0 -1 1077944384 4525 0 0 0 75 76 0 0 20 0 28 0 4403177 14133010432 580177 33554432000 4194304 4196468 140729081583632 140638033012976 140638839175810 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24485888 140729081586876 140729081587052 140729081587052 140729081589711 0
[pid=6149/tid=6161] ppid=6148 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6149/task/6161/stat : 6161 (java) S 6148 6148 7621 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 28 0 4403178 14133010432 580177 33554432000 4194304 4196468 140729081583632 140638031959264 140638839174869 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 24485888 140729081586876 140729081587052 140729081587052 140729081589711 0
[pid=6149/tid=6162] ppid=6148 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6149/task/6162/stat : 6162 (java) S 6148 6148 7621 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 28 0 4403178 14133010432 580177 33554432000 4194304 4196468 140729081583632 140638030906096 140638839174869 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 24485888 140729081586876 140729081587052 140729081587052 140729081589711 0
[pid=6149/tid=6163] ppid=6148 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6149/task/6163/stat : 6163 (java) S 6148 6148 7621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4403182 14133010432 580177 33554432000 4194304 4196468 140729081583632 140638029854672 140638839183259 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 24485888 140729081586876 140729081587052 140729081587052 140729081589711 0
[pid=6149/tid=6164] ppid=6148 vsize=13801768 CPUtime=3.87 cores=1,3,5,7,9,11,13,15
/proc/6149/task/6164/stat : 6164 (java) S 6148 6148 7621 0 -1 1077944384 10359 0 0 0 386 1 0 0 20 0 28 0 4403182 14133010432 580177 33554432000 4194304 4196468 140729081583632 140638028802800 140638839175810 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24485888 140729081586876 140729081587052 140729081587052 140729081589711 0
[pid=6149/tid=6165] ppid=6148 vsize=13801768 CPUtime=3.94 cores=1,3,5,7,9,11,13,15
/proc/6149/task/6165/stat : 6165 (java) S 6148 6148 7621 0 -1 1077944384 13181 0 0 0 393 1 0 0 20 0 28 0 4403182 14133010432 580177 33554432000 4194304 4196468 140729081583632 140638027750256 140638839175810 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24485888 140729081586876 140729081587052 140729081587052 140729081589711 0
[pid=6149/tid=6166] ppid=6148 vsize=13801768 CPUtime=4.12 cores=1,3,5,7,9,11,13,15
/proc/6149/task/6166/stat : 6166 (java) S 6148 6148 7621 0 -1 1077944384 12002 0 0 0 411 1 0 0 20 0 28 0 4403182 14133010432 580177 33554432000 4194304 4196468 140729081583632 140638026697200 140638839175810 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24485888 140729081586876 140729081587052 140729081587052 140729081589711 0
[pid=6149/tid=6167] ppid=6148 vsize=13801768 CPUtime=1.02 cores=1,3,5,7,9,11,13,15
/proc/6149/task/6167/stat : 6167 (java) S 6148 6148 7621 0 -1 1077944384 7931 0 0 0 100 2 0 0 20 0 28 0 4403182 14133010432 580177 33554432000 4194304 4196468 140729081583632 140638025644656 140638839175810 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 24485888 140729081586876 140729081587052 140729081587052 140729081589711 0
[pid=6149/tid=6168] ppid=6148 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6149/task/6168/stat : 6168 (java) S 6148 6148 7621 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4403182 14133010432 580177 33554432000 4194304 4196468 140729081583632 140638024591840 140638839174869 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 24485888 140729081586876 140729081587052 140729081587052 140729081589711 0
[pid=6149/tid=6169] ppid=6148 vsize=13801768 CPUtime=0.16 cores=1,3,5,7,9,11,13,15
/proc/6149/task/6169/stat : 6169 (java) S 6148 6148 7621 0 -1 1077944384 335 0 0 0 7 9 0 0 20 0 28 0 4403183 14133010432 580177 33554432000 4194304 4196468 140729081583632 140638023539376 140638839175810 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 24485888 140729081586876 140729081587052 140729081587052 140729081589711 0
[pid=6149/tid=6170] ppid=6148 vsize=13801768 CPUtime=297.15 cores=1,3,5,7,9,11,13,15
/proc/6149/task/6170/stat : 6170 (java) R 6148 6148 7621 0 -1 4202560 2456 0 0 0 29707 8 0 0 20 0 28 0 4403286 14133010432 580177 33554432000 4194304 4196468 140729081583632 140638015523544 140638458703349 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24485888 140729081586876 140729081587052 140729081587052 140729081589711 0
[pid=6149/tid=6171] ppid=6148 vsize=13801768 CPUtime=296.92 cores=1,3,5,7,9,11,13,15
/proc/6149/task/6171/stat : 6171 (java) R 6148 6148 7621 0 -1 4202560 3189 0 0 0 29683 9 0 0 20 0 28 0 4403286 14133010432 580177 33554432000 4194304 4196468 140729081583632 140638014475368 140638459034479 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 24485888 140729081586876 140729081587052 140729081587052 140729081589711 0
[pid=6149/tid=6172] ppid=6148 vsize=13801768 CPUtime=297.12 cores=1,3,5,7,9,11,13,15
/proc/6149/task/6172/stat : 6172 (java) R 6148 6148 7621 0 -1 4202560 2498 0 0 0 29704 8 0 0 20 0 28 0 4403286 14133010432 580177 33554432000 4194304 4196468 140729081583632 140638013419976 140638460068936 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 24485888 140729081586876 140729081587052 140729081587052 140729081589711 0
[pid=6149/tid=6173] ppid=6148 vsize=13801768 CPUtime=297.21 cores=1,3,5,7,9,11,13,15
/proc/6149/task/6173/stat : 6173 (java) R 6148 6148 7621 0 -1 4202560 1984 0 0 0 29717 4 0 0 20 0 28 0 4403286 14133010432 580177 33554432000 4194304 4196468 140729081583632 140638012367176 140638461639980 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 24485888 140729081586876 140729081587052 140729081587052 140729081589711 0
[pid=6149/tid=6174] ppid=6148 vsize=13801768 CPUtime=296.88 cores=1,3,5,7,9,11,13,15
/proc/6149/task/6174/stat : 6174 (java) R 6148 6148 7621 0 -1 4202560 2123 0 0 0 29681 7 0 0 20 0 28 0 4403286 14133010432 580177 33554432000 4194304 4196468 140729081583632 140638011316736 140638459915170 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 24485888 140729081586876 140729081587052 140729081587052 140729081589711 0
[pid=6149/tid=6175] ppid=6148 vsize=13801768 CPUtime=296.74 cores=1,3,5,7,9,11,13,15
/proc/6149/task/6175/stat : 6175 (java) R 6148 6148 7621 0 -1 4202560 972 0 0 0 29671 3 0 0 20 0 28 0 4403286 14133010432 580177 33554432000 4194304 4196468 140729081583632 140638010261568 140638460524713 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24485888 140729081586876 140729081587052 140729081587052 140729081589711 0
[pid=6149/tid=6176] ppid=6148 vsize=13801768 CPUtime=297.2 cores=1,3,5,7,9,11,13,15
/proc/6149/task/6176/stat : 6176 (java) R 6148 6148 7621 0 -1 4202560 3817 0 0 0 29714 6 0 0 20 0 28 0 4403286 14133010432 580177 33554432000 4194304 4196468 140729081583632 140638009208824 140638459915448 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 24485888 140729081586876 140729081587052 140729081587052 140729081589711 0
[pid=6149/tid=6177] ppid=6148 vsize=13801768 CPUtime=296.48 cores=1,3,5,7,9,11,13,15
/proc/6149/task/6177/stat : 6177 (java) R 6148 6148 7621 0 -1 4202560 2064 0 0 0 29641 7 0 0 20 0 28 0 4403286 14133010432 580177 33554432000 4194304 4196468 140729081583632 140638008156232 140638460842879 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24485888 140729081586876 140729081587052 140729081587052 140729081589711 0
Current children cumulated CPU time (s) 2400.67
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 6149 sig 9
??? kill 6148 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 6148 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=2013
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=1006
# CPU time returned by wait4() is 0.003019
# while last known CPU time is 2400.67
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 304.212
CPU time (s): 2400.67
CPU user time (s): 2397.25
CPU system time (s): 3.42
CPU usage (%): 789.143
Max. virtual memory (cumulated for all children) (KiB): 13811280
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.002013
system time used= 0.001006
maximum resident set size= 1384
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.8299 second user time and 4.28864 second system time
The end