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-4246877-1500688366/watcher-4246877-1500688366 -o /tmp/evaluation-result-4246877-1500688366/solver-4246877-1500688366 -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 107879738 HOME/instance-4246877-1500688366.xml
pid=2194
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: 11.33 11.85 13.60 9/271 2197
/proc/meminfo: memFree=29489484/32770624 swapFree=5800/274316
[pid=2197] ppid=2194 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/2197/stat : 2197 (xcsp3-exec) S 2194 2197 7621 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4104446 9740288 346 33554432000 4194304 5098028 140731982080448 140731982078552 140337163752060 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 9211904 140731982083215 140731982083424 140731982083424 140731982086123 0
/proc/2197/statm: 2378 346 289 221 0 87 0
[startup+0.100109 s]
/proc/loadavg: 11.33 11.85 13.60 9/271 2197
/proc/meminfo: memFree=29489484/32770624 swapFree=5800/274316
[pid=2197] ppid=2194 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/2197/stat : 2197 (xcsp3-exec) S 2194 2197 7621 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4104446 9740288 346 33554432000 4194304 5098028 140731982080448 140731982078552 140337163752060 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 9211904 140731982083215 140731982083424 140731982083424 140731982086123 0
/proc/2197/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.20032 s]
/proc/loadavg: 11.33 11.85 13.60 9/271 2197
/proc/meminfo: memFree=29489484/32770624 swapFree=5800/274316
[pid=2197] ppid=2194 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/2197/stat : 2197 (xcsp3-exec) S 2194 2197 7621 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4104446 9740288 346 33554432000 4194304 5098028 140731982080448 140731982078552 140337163752060 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 9211904 140731982083215 140731982083424 140731982083424 140731982086123 0
/proc/2197/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300276 s]
/proc/loadavg: 11.33 11.85 13.60 9/271 2197
/proc/meminfo: memFree=29489484/32770624 swapFree=5800/274316
[pid=2197] ppid=2194 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/2197/stat : 2197 (xcsp3-exec) S 2194 2197 7621 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4104446 9740288 346 33554432000 4194304 5098028 140731982080448 140731982078552 140337163752060 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 9211904 140731982083215 140731982083424 140731982083424 140731982086123 0
/proc/2197/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700788 s]
/proc/loadavg: 11.33 11.85 13.60 9/271 2197
/proc/meminfo: memFree=29489484/32770624 swapFree=5800/274316
[pid=2197] ppid=2194 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/2197/stat : 2197 (xcsp3-exec) S 2194 2197 7621 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4104446 9740288 346 33554432000 4194304 5098028 140731982080448 140731982078552 140337163752060 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 9211904 140731982083215 140731982083424 140731982083424 140731982086123 0
/proc/2197/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.51474 s]
/proc/loadavg: 11.33 11.85 13.60 13/292 2218
/proc/meminfo: memFree=28600340/32770624 swapFree=5800/274232
[pid=2197] ppid=2194 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/2197/stat : 2197 (xcsp3-exec) S 2194 2197 7621 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4104446 9740288 346 33554432000 4194304 5098028 140731982080448 140731982078552 140337163752060 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 9211904 140731982083215 140731982083424 140731982083424 140731982086123 0
/proc/2197/statm: 2378 346 289 221 0 87 0
[pid=2198] ppid=2197 vsize=13267208 CPUtime=5.39 cores=1,3,5,7,9,11,13,15
/proc/2198/stat : 2198 (java) S 2197 2197 7621 0 -1 1077944320 15650 0 0 0 406 133 0 0 20 0 20 0 4104446 13585620992 237753 33554432000 4194304 4196468 140735066151456 140735066134000 139979936005879 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 20221952 140735066158268 140735066158444 140735066158444 140735066161103 0
/proc/2198/statm: 3316802 237753 3228 1 0 3304035 0
[pid=2198/tid=2199] ppid=2197 vsize=13267208 CPUtime=1.09 cores=1,3,5,7,9,11,13,15
/proc/2198/task/2199/stat : 2199 (java) R 2197 2197 7621 0 -1 4202560 6911 0 0 0 98 11 0 0 20 0 20 0 4104446 13585620992 237753 33554432000 4194304 4196468 140735066151456 139979940241096 139979576691311 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20221952 140735066158268 140735066158444 140735066158444 140735066161103 0
[pid=2198/tid=2201] ppid=2197 vsize=13267208 CPUtime=0.37 cores=1,3,5,7,9,11,13,15
/proc/2198/task/2201/stat : 2201 (java) S 2197 2197 7621 0 -1 1077944384 105 0 0 0 23 14 0 0 20 0 20 0 4104447 13585620992 237753 33554432000 4194304 4196468 140735066151456 139979535137168 139979936016085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20221952 140735066158268 140735066158444 140735066158444 140735066161103 0
[pid=2198/tid=2202] ppid=2197 vsize=13267208 CPUtime=0.37 cores=1,3,5,7,9,11,13,15
/proc/2198/task/2202/stat : 2202 (java) S 2197 2197 7621 0 -1 1077944384 97 0 0 0 22 15 0 0 20 0 20 0 4104447 13585620992 237753 33554432000 4194304 4196468 140735066151456 139979534084368 139979936016085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20221952 140735066158268 140735066158444 140735066158444 140735066161103 0
[pid=2198/tid=2203] ppid=2197 vsize=13267208 CPUtime=0.33 cores=1,3,5,7,9,11,13,15
/proc/2198/task/2203/stat : 2203 (java) S 2197 2197 7621 0 -1 1077944384 332 0 0 0 20 13 0 0 20 0 20 0 4104447 13585620992 237753 33554432000 4194304 4196468 140735066151456 139979533032080 139979936016085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20221952 140735066158268 140735066158444 140735066158444 140735066161103 0
[pid=2198/tid=2204] ppid=2197 vsize=13267208 CPUtime=0.36 cores=1,3,5,7,9,11,13,15
/proc/2198/task/2204/stat : 2204 (java) S 2197 2197 7621 0 -1 1077944384 331 0 0 0 19 17 0 0 20 0 20 0 4104447 13585620992 237753 33554432000 4194304 4196468 140735066151456 139979531979280 139979936016085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20221952 140735066158268 140735066158444 140735066158444 140735066161103 0
[pid=2198/tid=2205] ppid=2197 vsize=13267208 CPUtime=0.33 cores=1,3,5,7,9,11,13,15
/proc/2198/task/2205/stat : 2205 (java) S 2197 2197 7621 0 -1 1077944384 87 0 0 0 20 13 0 0 20 0 20 0 4104447 13585620992 237753 33554432000 4194304 4196468 140735066151456 139979530926992 139979936016085 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 20221952 140735066158268 140735066158444 140735066158444 140735066161103 0
[pid=2198/tid=2206] ppid=2197 vsize=13267208 CPUtime=0.36 cores=1,3,5,7,9,11,13,15
/proc/2198/task/2206/stat : 2206 (java) S 2197 2197 7621 0 -1 1077944384 119 0 0 0 23 13 0 0 20 0 20 0 4104447 13585620992 237753 33554432000 4194304 4196468 140735066151456 139979529874192 139979936016085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20221952 140735066158268 140735066158444 140735066158444 140735066161103 0
[pid=2198/tid=2207] ppid=2197 vsize=13267208 CPUtime=0.37 cores=1,3,5,7,9,11,13,15
/proc/2198/task/2207/stat : 2207 (java) S 2197 2197 7621 0 -1 1077944384 117 0 0 0 23 14 0 0 20 0 20 0 4104447 13585620992 237753 33554432000 4194304 4196468 140735066151456 139979528821904 139979936016085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20221952 140735066158268 140735066158444 140735066158444 140735066161103 0
[pid=2198/tid=2208] ppid=2197 vsize=13267208 CPUtime=0.36 cores=1,3,5,7,9,11,13,15
/proc/2198/task/2208/stat : 2208 (java) S 2197 2197 7621 0 -1 1077944384 102 0 0 0 22 14 0 0 20 0 20 0 4104447 13585620992 237753 33554432000 4194304 4196468 140735066151456 139979527769104 139979936016085 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 20221952 140735066158268 140735066158444 140735066158444 140735066161103 0
[pid=2198/tid=2209] ppid=2197 vsize=13267208 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/2198/task/2209/stat : 2209 (java) S 2197 2197 7621 0 -1 1077944384 489 0 0 0 1 0 0 0 20 0 20 0 4104449 13585620992 237753 33554432000 4194304 4196468 140735066151456 139979264088176 139979936017026 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20221952 140735066158268 140735066158444 140735066158444 140735066161103 0
[pid=2198/tid=2210] ppid=2197 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/2198/task/2210/stat : 2210 (java) S 2197 2197 7621 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 4104450 13585620992 237753 33554432000 4194304 4196468 140735066151456 139979263034208 139979936016085 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 20221952 140735066158268 140735066158444 140735066158444 140735066161103 0
[pid=2198/tid=2211] ppid=2197 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/2198/task/2211/stat : 2211 (java) S 2197 2197 7621 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 20 0 4104450 13585620992 237753 33554432000 4194304 4196468 140735066151456 139979261981824 139979936016085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20221952 140735066158268 140735066158444 140735066158444 140735066161103 0
[pid=2198/tid=2212] ppid=2197 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/2198/task/2212/stat : 2212 (java) S 2197 2197 7621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4104454 13585620992 237753 33554432000 4194304 4196468 140735066151456 139979260930128 139979936024475 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 20221952 140735066158268 140735066158444 140735066158444 140735066161103 0
[pid=2198/tid=2213] ppid=2197 vsize=13267208 CPUtime=0.47 cores=1,3,5,7,9,11,13,15
/proc/2198/task/2213/stat : 2213 (java) S 2197 2197 7621 0 -1 1077944384 2026 0 0 0 47 0 0 0 20 0 20 0 4104454 13585620992 237753 33554432000 4194304 4196468 140735066151456 139979259878000 139979936017026 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20221952 140735066158268 140735066158444 140735066158444 140735066161103 0
[pid=2198/tid=2214] ppid=2197 vsize=13267208 CPUtime=0.26 cores=1,3,5,7,9,11,13,15
/proc/2198/task/2214/stat : 2214 (java) S 2197 2197 7621 0 -1 1077944384 913 0 0 0 26 0 0 0 20 0 20 0 4104454 13585620992 237753 33554432000 4194304 4196468 140735066151456 139979258825200 139979936017026 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20221952 140735066158268 140735066158444 140735066158444 140735066161103 0
[pid=2198/tid=2215] ppid=2197 vsize=13267208 CPUtime=0.28 cores=1,3,5,7,9,11,13,15
/proc/2198/task/2215/stat : 2215 (java) S 2197 2197 7621 0 -1 1077944384 903 0 0 0 28 0 0 0 20 0 20 0 4104454 13585620992 237753 33554432000 4194304 4196468 140735066151456 139979257772912 139979936017026 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 20221952 140735066158268 140735066158444 140735066158444 140735066161103 0
[pid=2198/tid=2216] ppid=2197 vsize=13267208 CPUtime=0.3 cores=1,3,5,7,9,11,13,15
/proc/2198/task/2216/stat : 2216 (java) S 2197 2197 7621 0 -1 1077944384 1821 0 0 0 30 0 0 0 20 0 20 0 4104454 13585620992 237753 33554432000 4194304 4196468 140735066151456 139979256720112 139979936017026 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20221952 140735066158268 140735066158444 140735066158444 140735066161103 0
[pid=2198/tid=2217] ppid=2197 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/2198/task/2217/stat : 2217 (java) S 2197 2197 7621 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4104454 13585620992 237753 33554432000 4194304 4196468 140735066151456 139979255667040 139979936016085 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 20221952 140735066158268 140735066158444 140735066158444 140735066161103 0
[pid=2198/tid=2218] ppid=2197 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/2198/task/2218/stat : 2218 (java) S 2197 2197 7621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4104454 13585620992 237753 33554432000 4194304 4196468 140735066151456 139979254614320 139979936017026 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 20221952 140735066158268 140735066158444 140735066158444 140735066161103 0
Current children cumulated CPU time (s) 5.39
Current children cumulated vsize (KiB) 13276720
[startup+3.1009 s]
/proc/loadavg: 11.33 11.85 13.60 10/292 2218
/proc/meminfo: memFree=28198248/32770624 swapFree=5800/274232
[pid=2197] ppid=2194 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/2197/stat : 2197 (xcsp3-exec) S 2194 2197 7621 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4104446 9740288 346 33554432000 4194304 5098028 140731982080448 140731982078552 140337163752060 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 9211904 140731982083215 140731982083424 140731982083424 140731982086123 0
/proc/2197/statm: 2378 346 289 221 0 87 0
[pid=2198] ppid=2197 vsize=13267208 CPUtime=7.51 cores=1,3,5,7,9,11,13,15
/proc/2198/stat : 2198 (java) S 2197 2197 7621 0 -1 1077944320 17234 0 0 0 598 153 0 0 20 0 20 0 4104446 13585620992 339694 33554432000 4194304 4196468 140735066151456 140735066134000 139979936005879 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 20221952 140735066158268 140735066158444 140735066158444 140735066161103 0
/proc/2198/statm: 3316802 339694 3237 1 0 3304035 0
[pid=2198/tid=2199] ppid=2197 vsize=13267208 CPUtime=2.59 cores=1,3,5,7,9,11,13,15
/proc/2198/task/2199/stat : 2199 (java) R 2197 2197 7621 0 -1 4202560 7208 0 0 0 244 15 0 0 20 0 20 0 4104446 13585620992 339694 33554432000 4194304 4196468 140735066151456 139979940243840 139979576697145 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20221952 140735066158268 140735066158444 140735066158444 140735066161103 0
[pid=2198/tid=2201] ppid=2197 vsize=13267208 CPUtime=0.44 cores=1,3,5,7,9,11,13,15
/proc/2198/task/2201/stat : 2201 (java) S 2197 2197 7621 0 -1 1077944384 214 0 0 0 28 16 0 0 20 0 20 0 4104447 13585620992 339694 33554432000 4194304 4196468 140735066151456 139979535137168 139979936016085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20221952 140735066158268 140735066158444 140735066158444 140735066161103 0
[pid=2198/tid=2202] ppid=2197 vsize=13267208 CPUtime=0.45 cores=1,3,5,7,9,11,13,15
/proc/2198/task/2202/stat : 2202 (java) S 2197 2197 7621 0 -1 1077944384 205 0 0 0 28 17 0 0 20 0 20 0 4104447 13585620992 339694 33554432000 4194304 4196468 140735066151456 139979534084368 139979936016085 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 20221952 140735066158268 140735066158444 140735066158444 140735066161103 0
[pid=2198/tid=2203] ppid=2197 vsize=13267208 CPUtime=0.41 cores=1,3,5,7,9,11,13,15
/proc/2198/task/2203/stat : 2203 (java) S 2197 2197 7621 0 -1 1077944384 437 0 0 0 26 15 0 0 20 0 20 0 4104447 13585620992 339694 33554432000 4194304 4196468 140735066151456 139979533032080 139979936016085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20221952 140735066158268 140735066158444 140735066158444 140735066161103 0
[pid=2198/tid=2204] ppid=2197 vsize=13267208 CPUtime=0.44 cores=1,3,5,7,9,11,13,15
/proc/2198/task/2204/stat : 2204 (java) S 2197 2197 7621 0 -1 1077944384 503 0 0 0 24 20 0 0 20 0 20 0 4104447 13585620992 339694 33554432000 4194304 4196468 140735066151456 139979531979280 139979936016085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20221952 140735066158268 140735066158444 140735066158444 140735066161103 0
[pid=2198/tid=2205] ppid=2197 vsize=13267208 CPUtime=0.4 cores=1,3,5,7,9,11,13,15
/proc/2198/task/2205/stat : 2205 (java) S 2197 2197 7621 0 -1 1077944384 188 0 0 0 25 15 0 0 20 0 20 0 4104447 13585620992 339694 33554432000 4194304 4196468 140735066151456 139979530926992 139979936016085 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 20221952 140735066158268 140735066158444 140735066158444 140735066161103 0
[pid=2198/tid=2206] ppid=2197 vsize=13267208 CPUtime=0.43 cores=1,3,5,7,9,11,13,15
/proc/2198/task/2206/stat : 2206 (java) S 2197 2197 7621 0 -1 1077944384 226 0 0 0 28 15 0 0 20 0 20 0 4104447 13585620992 339694 33554432000 4194304 4196468 140735066151456 139979529874192 139979936016085 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 20221952 140735066158268 140735066158444 140735066158444 140735066161103 0
[pid=2198/tid=2207] ppid=2197 vsize=13267208 CPUtime=0.44 cores=1,3,5,7,9,11,13,15
/proc/2198/task/2207/stat : 2207 (java) S 2197 2197 7621 0 -1 1077944384 242 0 0 0 28 16 0 0 20 0 20 0 4104447 13585620992 339694 33554432000 4194304 4196468 140735066151456 139979528821904 139979936016085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20221952 140735066158268 140735066158444 140735066158444 140735066161103 0
[pid=2198/tid=2208] ppid=2197 vsize=13267208 CPUtime=0.44 cores=1,3,5,7,9,11,13,15
/proc/2198/task/2208/stat : 2208 (java) S 2197 2197 7621 0 -1 1077944384 257 0 0 0 28 16 0 0 20 0 20 0 4104447 13585620992 339694 33554432000 4194304 4196468 140735066151456 139979527769104 139979936016085 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 20221952 140735066158268 140735066158444 140735066158444 140735066161103 0
[pid=2198/tid=2209] ppid=2197 vsize=13267208 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/2198/task/2209/stat : 2209 (java) S 2197 2197 7621 0 -1 1077944384 794 0 0 0 1 0 0 0 20 0 20 0 4104449 13585620992 339694 33554432000 4194304 4196468 140735066151456 139979264088176 139979936017026 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20221952 140735066158268 140735066158444 140735066158444 140735066161103 0
[pid=2198/tid=2210] ppid=2197 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/2198/task/2210/stat : 2210 (java) S 2197 2197 7621 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 4104450 13585620992 339694 33554432000 4194304 4196468 140735066151456 139979263034208 139979936016085 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 20221952 140735066158268 140735066158444 140735066158444 140735066161103 0
[pid=2198/tid=2211] ppid=2197 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/2198/task/2211/stat : 2211 (java) S 2197 2197 7621 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 20 0 4104450 13585620992 339694 33554432000 4194304 4196468 140735066151456 139979261981824 139979936016085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20221952 140735066158268 140735066158444 140735066158444 140735066161103 0
[pid=2198/tid=2212] ppid=2197 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/2198/task/2212/stat : 2212 (java) S 2197 2197 7621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4104454 13585620992 339694 33554432000 4194304 4196468 140735066151456 139979260930128 139979936024475 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 20221952 140735066158268 140735066158444 140735066158444 140735066161103 0
[pid=2198/tid=2213] ppid=2197 vsize=13267208 CPUtime=0.47 cores=1,3,5,7,9,11,13,15
/proc/2198/task/2213/stat : 2213 (java) S 2197 2197 7621 0 -1 1077944384 2026 0 0 0 47 0 0 0 20 0 20 0 4104454 13585620992 339694 33554432000 4194304 4196468 140735066151456 139979259878000 139979936017026 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20221952 140735066158268 140735066158444 140735066158444 140735066161103 0
[pid=2198/tid=2214] ppid=2197 vsize=13267208 CPUtime=0.26 cores=1,3,5,7,9,11,13,15
/proc/2198/task/2214/stat : 2214 (java) S 2197 2197 7621 0 -1 1077944384 913 0 0 0 26 0 0 0 20 0 20 0 4104454 13585620992 339694 33554432000 4194304 4196468 140735066151456 139979258825200 139979936017026 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20221952 140735066158268 140735066158444 140735066158444 140735066161103 0
[pid=2198/tid=2215] ppid=2197 vsize=13267208 CPUtime=0.28 cores=1,3,5,7,9,11,13,15
/proc/2198/task/2215/stat : 2215 (java) S 2197 2197 7621 0 -1 1077944384 903 0 0 0 28 0 0 0 20 0 20 0 4104454 13585620992 339694 33554432000 4194304 4196468 140735066151456 139979257772912 139979936017026 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 20221952 140735066158268 140735066158444 140735066158444 140735066161103 0
[pid=2198/tid=2216] ppid=2197 vsize=13267208 CPUtime=0.3 cores=1,3,5,7,9,11,13,15
/proc/2198/task/2216/stat : 2216 (java) S 2197 2197 7621 0 -1 1077944384 1821 0 0 0 30 0 0 0 20 0 20 0 4104454 13585620992 339694 33554432000 4194304 4196468 140735066151456 139979256720112 139979936017026 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20221952 140735066158268 140735066158444 140735066158444 140735066161103 0
[pid=2198/tid=2217] ppid=2197 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/2198/task/2217/stat : 2217 (java) S 2197 2197 7621 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4104454 13585620992 339694 33554432000 4194304 4196468 140735066151456 139979255667040 139979936016085 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 20221952 140735066158268 140735066158444 140735066158444 140735066161103 0
[pid=2198/tid=2218] ppid=2197 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/2198/task/2218/stat : 2218 (java) S 2197 2197 7621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4104454 13585620992 339694 33554432000 4194304 4196468 140735066151456 139979254614320 139979936017026 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 20221952 140735066158268 140735066158444 140735066158444 140735066161103 0
Current children cumulated CPU time (s) 7.51
Current children cumulated vsize (KiB) 13276720
[startup+6.30097 s]
/proc/loadavg: 11.15 11.81 13.57 3/292 2218
/proc/meminfo: memFree=27423552/32770624 swapFree=5800/274236
[pid=2197] ppid=2194 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/2197/stat : 2197 (xcsp3-exec) S 2194 2197 7621 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4104446 9740288 346 33554432000 4194304 5098028 140731982080448 140731982078552 140337163752060 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 9211904 140731982083215 140731982083424 140731982083424 140731982086123 0
/proc/2197/statm: 2378 346 289 221 0 87 0
[pid=2198] ppid=2197 vsize=13267208 CPUtime=14.24 cores=1,3,5,7,9,11,13,15
/proc/2198/stat : 2198 (java) S 2197 2197 7621 0 -1 1077944320 27073 0 0 0 1157 267 0 0 20 0 20 0 4104446 13585620992 584151 33554432000 4194304 4196468 140735066151456 140735066134000 139979936005879 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 20221952 140735066158268 140735066158444 140735066158444 140735066161103 0
/proc/2198/statm: 3316802 584151 3237 1 0 3304035 0
[pid=2198/tid=2199] ppid=2197 vsize=13267208 CPUtime=5.26 cores=1,3,5,7,9,11,13,15
/proc/2198/task/2199/stat : 2199 (java) S 2197 2197 7621 0 -1 1077944384 8355 0 0 0 501 25 0 0 20 0 20 0 4104446 13585620992 584165 33554432000 4194304 4196468 140735066151456 139979940243760 139979936016085 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 20221952 140735066158268 140735066158444 140735066158444 140735066161103 0
[pid=2198/tid=2201] ppid=2197 vsize=13267208 CPUtime=0.93 cores=1,3,5,7,9,11,13,15
/proc/2198/task/2201/stat : 2201 (java) R 2197 2197 7621 0 -1 4202560 1143 0 0 0 65 28 0 0 20 0 20 0 4104447 13585620992 584165 33554432000 4194304 4196468 140735066151456 139979535137368 139979929109531 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20221952 140735066158268 140735066158444 140735066158444 140735066161103 0
[pid=2198/tid=2202] ppid=2197 vsize=13267208 CPUtime=0.96 cores=1,3,5,7,9,11,13,15
/proc/2198/task/2202/stat : 2202 (java) R 2197 2197 7621 0 -1 4202560 806 0 0 0 66 30 0 0 20 0 20 0 4104447 13585620992 584677 33554432000 4194304 4196468 140735066151456 139979534084568 139979929110577 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20221952 140735066158268 140735066158444 140735066158444 140735066161103 0
[pid=2198/tid=2203] ppid=2197 vsize=13267208 CPUtime=0.91 cores=1,3,5,7,9,11,13,15
/proc/2198/task/2203/stat : 2203 (java) R 2197 2197 7621 0 -1 4202560 834 0 0 0 63 28 0 0 20 0 20 0 4104447 13585620992 584677 33554432000 4194304 4196468 140735066151456 139979533032280 139979929109531 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 20221952 140735066158268 140735066158444 140735066158444 140735066161103 0
[pid=2198/tid=2204] ppid=2197 vsize=13267208 CPUtime=0.94 cores=1,3,5,7,9,11,13,15
/proc/2198/task/2204/stat : 2204 (java) R 2197 2197 7621 0 -1 4202560 903 0 0 0 63 31 0 0 20 0 20 0 4104447 13585620992 584677 33554432000 4194304 4196468 140735066151456 139979531979480 139979920705760 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20221952 140735066158268 140735066158444 140735066158444 140735066161103 0
[pid=2198/tid=2205] ppid=2197 vsize=13267208 CPUtime=0.91 cores=1,3,5,7,9,11,13,15
/proc/2198/task/2205/stat : 2205 (java) R 2197 2197 7621 0 -1 4202560 975 0 0 0 62 29 0 0 20 0 20 0 4104447 13585620992 584677 33554432000 4194304 4196468 140735066151456 139979530927192 139979929110582 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 20221952 140735066158268 140735066158444 140735066158444 140735066161103 0
[pid=2198/tid=2206] ppid=2197 vsize=13267208 CPUtime=0.94 cores=1,3,5,7,9,11,13,15
/proc/2198/task/2206/stat : 2206 (java) R 2197 2197 7621 0 -1 4202560 1110 0 0 0 66 28 0 0 20 0 20 0 4104447 13585620992 584677 33554432000 4194304 4196468 140735066151456 139979529874080 139979920995344 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 20221952 140735066158268 140735066158444 140735066158444 140735066161103 0
[pid=2198/tid=2207] ppid=2197 vsize=13267208 CPUtime=0.94 cores=1,3,5,7,9,11,13,15
/proc/2198/task/2207/stat : 2207 (java) R 2197 2197 7621 0 -1 4202560 695 0 0 0 66 28 0 0 20 0 20 0 4104447 13585620992 584677 33554432000 4194304 4196468 140735066151456 139979528822104 139979929110582 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 20221952 140735066158268 140735066158444 140735066158444 140735066161103 0
[pid=2198/tid=2208] ppid=2197 vsize=13267208 CPUtime=0.96 cores=1,3,5,7,9,11,13,15
/proc/2198/task/2208/stat : 2208 (java) R 2197 2197 7621 0 -1 4202560 1121 0 0 0 66 30 0 0 20 0 20 0 4104447 13585620992 584677 33554432000 4194304 4196468 140735066151456 139979527769304 139979929110612 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20221952 140735066158268 140735066158444 140735066158444 140735066161103 0
[pid=2198/tid=2209] ppid=2197 vsize=13267208 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/2198/task/2209/stat : 2209 (java) S 2197 2197 7621 0 -1 1077944384 3732 0 0 0 2 0 0 0 20 0 20 0 4104449 13585620992 584677 33554432000 4194304 4196468 140735066151456 139979264086720 139979936016085 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20221952 140735066158268 140735066158444 140735066158444 140735066161103 0
[pid=2198/tid=2210] ppid=2197 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/2198/task/2210/stat : 2210 (java) S 2197 2197 7621 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 4104450 13585620992 584677 33554432000 4194304 4196468 140735066151456 139979263034208 139979936016085 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 20221952 140735066158268 140735066158444 140735066158444 140735066161103 0
[pid=2198/tid=2211] ppid=2197 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/2198/task/2211/stat : 2211 (java) S 2197 2197 7621 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 20 0 4104450 13585620992 584677 33554432000 4194304 4196468 140735066151456 139979261981824 139979936016085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20221952 140735066158268 140735066158444 140735066158444 140735066161103 0
[pid=2198/tid=2212] ppid=2197 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/2198/task/2212/stat : 2212 (java) S 2197 2197 7621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4104454 13585620992 584677 33554432000 4194304 4196468 140735066151456 139979260930128 139979936024475 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 20221952 140735066158268 140735066158444 140735066158444 140735066161103 0
################
# More data... #
################
/proc/2198/task/2211/stat : 2211 (java) S 2197 2197 7621 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 20 0 4104450 13587718144 2669071 33554432000 4194304 4196468 140735066151456 139979261981824 139979936016085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20221952 140735066158268 140735066158444 140735066158444 140735066161103 0
[pid=2198/tid=2212] ppid=2197 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/2198/task/2212/stat : 2212 (java) S 2197 2197 7621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4104454 13587718144 2669071 33554432000 4194304 4196468 140735066151456 139979260930128 139979936024475 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 20221952 140735066158268 140735066158444 140735066158444 140735066161103 0
[pid=2198/tid=2213] ppid=2197 vsize=13269256 CPUtime=0.6 cores=1,3,5,7,9,11,13,15
/proc/2198/task/2213/stat : 2213 (java) S 2197 2197 7621 0 -1 1077944384 2903 0 0 0 60 0 0 0 20 0 20 0 4104454 13587718144 2669071 33554432000 4194304 4196468 140735066151456 139979259877760 139979936016085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20221952 140735066158268 140735066158444 140735066158444 140735066161103 0
[pid=2198/tid=2214] ppid=2197 vsize=13269256 CPUtime=0.38 cores=1,3,5,7,9,11,13,15
/proc/2198/task/2214/stat : 2214 (java) S 2197 2197 7621 0 -1 1077944384 2047 0 0 0 37 1 0 0 20 0 20 0 4104454 13587718144 2669071 33554432000 4194304 4196468 140735066151456 139979258825248 139979936016085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20221952 140735066158268 140735066158444 140735066158444 140735066161103 0
[pid=2198/tid=2215] ppid=2197 vsize=13269256 CPUtime=0.39 cores=1,3,5,7,9,11,13,15
/proc/2198/task/2215/stat : 2215 (java) S 2197 2197 7621 0 -1 1077944384 2291 0 0 0 39 0 0 0 20 0 20 0 4104454 13587718144 2669071 33554432000 4194304 4196468 140735066151456 139979257772960 139979936016085 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 20221952 140735066158268 140735066158444 140735066158444 140735066161103 0
[pid=2198/tid=2216] ppid=2197 vsize=13269256 CPUtime=0.41 cores=1,3,5,7,9,11,13,15
/proc/2198/task/2216/stat : 2216 (java) S 2197 2197 7621 0 -1 1077944384 5612 0 0 0 40 1 0 0 20 0 20 0 4104454 13587718144 2669071 33554432000 4194304 4196468 140735066151456 139979256720160 139979936016085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20221952 140735066158268 140735066158444 140735066158444 140735066161103 0
[pid=2198/tid=2217] ppid=2197 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/2198/task/2217/stat : 2217 (java) S 2197 2197 7621 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4104454 13587718144 2669071 33554432000 4194304 4196468 140735066151456 139979255667040 139979936016085 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 20221952 140735066158268 140735066158444 140735066158444 140735066161103 0
[pid=2198/tid=2218] ppid=2197 vsize=13269256 CPUtime=0.26 cores=1,3,5,7,9,11,13,15
/proc/2198/task/2218/stat : 2218 (java) S 2197 2197 7621 0 -1 1077944384 857 0 0 0 14 12 0 0 20 0 20 0 4104454 13587718144 2669071 33554432000 4194304 4196468 140735066151456 139979254614320 139979936017026 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 20221952 140735066158268 140735066158444 140735066158444 140735066161103 0
Current children cumulated CPU time (s) 677.34
Current children cumulated vsize (KiB) 13278768
[startup+436.301 s]
/proc/loadavg: 6.40 6.80 10.47 10/292 2378
/proc/meminfo: memFree=20678196/32770624 swapFree=5800/274768
[pid=2197] ppid=2194 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/2197/stat : 2197 (xcsp3-exec) S 2194 2197 7621 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4104446 9740288 346 33554432000 4194304 5098028 140731982080448 140731982078552 140337163752060 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 9211904 140731982083215 140731982083424 140731982083424 140731982086123 0
/proc/2197/statm: 2378 346 289 221 0 87 0
[pid=2198] ppid=2197 vsize=13269256 CPUtime=678.14 cores=1,3,5,7,9,11,13,15
/proc/2198/stat : 2198 (java) S 2197 2197 7621 0 -1 1077944320 373747 0 0 0 65837 1977 0 0 20 0 20 0 4104446 13587718144 2669071 33554432000 4194304 4196468 140735066151456 140735066134000 139979936005879 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 20221952 140735066158268 140735066158444 140735066158444 140735066161103 0
/proc/2198/statm: 3317314 2669071 3252 1 0 3304547 0
[pid=2198/tid=2199] ppid=2197 vsize=13269256 CPUtime=382.14 cores=1,3,5,7,9,11,13,15
/proc/2198/task/2199/stat : 2199 (java) S 2197 2197 7621 0 -1 1077944384 24991 0 0 0 38182 32 0 0 20 0 20 0 4104446 13587718144 2669071 33554432000 4194304 4196468 140735066151456 139979940244080 139979936016085 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 20221952 140735066158268 140735066158444 140735066158444 140735066161103 0
[pid=2198/tid=2201] ppid=2197 vsize=13269256 CPUtime=34.17 cores=1,3,5,7,9,11,13,15
/proc/2198/task/2201/stat : 2201 (java) S 2197 2197 7621 0 -1 1077944384 14091 0 0 0 3175 242 0 0 20 0 20 0 4104447 13587718144 2669071 33554432000 4194304 4196468 140735066151456 139979535137168 139979936016085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20221952 140735066158268 140735066158444 140735066158444 140735066161103 0
[pid=2198/tid=2202] ppid=2197 vsize=13269256 CPUtime=34.44 cores=1,3,5,7,9,11,13,15
/proc/2198/task/2202/stat : 2202 (java) S 2197 2197 7621 0 -1 1077944384 11626 0 0 0 3199 245 0 0 20 0 20 0 4104447 13587718144 2669071 33554432000 4194304 4196468 140735066151456 139979534084368 139979936016085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20221952 140735066158268 140735066158444 140735066158444 140735066161103 0
[pid=2198/tid=2203] ppid=2197 vsize=13269256 CPUtime=34.21 cores=1,3,5,7,9,11,13,15
/proc/2198/task/2203/stat : 2203 (java) S 2197 2197 7621 0 -1 1077944384 14120 0 0 0 3151 270 0 0 20 0 20 0 4104447 13587718144 2669071 33554432000 4194304 4196468 140735066151456 139979533032080 139979936016085 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 20221952 140735066158268 140735066158444 140735066158444 140735066161103 0
[pid=2198/tid=2204] ppid=2197 vsize=13269256 CPUtime=34.45 cores=1,3,5,7,9,11,13,15
/proc/2198/task/2204/stat : 2204 (java) S 2197 2197 7621 0 -1 1077944384 63430 0 0 0 3209 236 0 0 20 0 20 0 4104447 13587718144 2669071 33554432000 4194304 4196468 140735066151456 139979531979280 139979936016085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20221952 140735066158268 140735066158444 140735066158444 140735066161103 0
[pid=2198/tid=2205] ppid=2197 vsize=13269256 CPUtime=34.35 cores=1,3,5,7,9,11,13,15
/proc/2198/task/2205/stat : 2205 (java) S 2197 2197 7621 0 -1 1077944384 59750 0 0 0 3202 233 0 0 20 0 20 0 4104447 13587718144 2669071 33554432000 4194304 4196468 140735066151456 139979530926992 139979936016085 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 20221952 140735066158268 140735066158444 140735066158444 140735066161103 0
[pid=2198/tid=2206] ppid=2197 vsize=13269256 CPUtime=34.17 cores=1,3,5,7,9,11,13,15
/proc/2198/task/2206/stat : 2206 (java) S 2197 2197 7621 0 -1 1077944384 10805 0 0 0 3196 221 0 0 20 0 20 0 4104447 13587718144 2669071 33554432000 4194304 4196468 140735066151456 139979529874192 139979936016085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20221952 140735066158268 140735066158444 140735066158444 140735066161103 0
[pid=2198/tid=2207] ppid=2197 vsize=13269256 CPUtime=34.48 cores=1,3,5,7,9,11,13,15
/proc/2198/task/2207/stat : 2207 (java) S 2197 2197 7621 0 -1 1077944384 106134 0 0 0 3248 200 0 0 20 0 20 0 4104447 13587718144 2669071 33554432000 4194304 4196468 140735066151456 139979528821904 139979936016085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20221952 140735066158268 140735066158444 140735066158444 140735066161103 0
[pid=2198/tid=2208] ppid=2197 vsize=13269256 CPUtime=34.4 cores=1,3,5,7,9,11,13,15
/proc/2198/task/2208/stat : 2208 (java) S 2197 2197 7621 0 -1 1077944384 14526 0 0 0 3170 270 0 0 20 0 20 0 4104447 13587718144 2669071 33554432000 4194304 4196468 140735066151456 139979527769104 139979936016085 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 20221952 140735066158268 140735066158444 140735066158444 140735066161103 0
[pid=2198/tid=2209] ppid=2197 vsize=13269256 CPUtime=19.16 cores=1,3,5,7,9,11,13,15
/proc/2198/task/2209/stat : 2209 (java) R 2197 2197 7621 0 -1 4202560 39243 0 0 0 1907 9 0 0 20 0 20 0 4104449 13587718144 2669071 33554432000 4194304 4196468 140735066151456 139979264086624 139979921002388 0 0 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 20221952 140735066158268 140735066158444 140735066158444 140735066161103 0
[pid=2198/tid=2210] ppid=2197 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/2198/task/2210/stat : 2210 (java) S 2197 2197 7621 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 20 0 4104450 13587718144 2669071 33554432000 4194304 4196468 140735066151456 139979263034208 139979936016085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20221952 140735066158268 140735066158444 140735066158444 140735066161103 0
[pid=2198/tid=2211] ppid=2197 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/2198/task/2211/stat : 2211 (java) S 2197 2197 7621 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 20 0 4104450 13587718144 2669071 33554432000 4194304 4196468 140735066151456 139979261981824 139979936016085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20221952 140735066158268 140735066158444 140735066158444 140735066161103 0
[pid=2198/tid=2212] ppid=2197 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/2198/task/2212/stat : 2212 (java) S 2197 2197 7621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4104454 13587718144 2669071 33554432000 4194304 4196468 140735066151456 139979260930128 139979936024475 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 20221952 140735066158268 140735066158444 140735066158444 140735066161103 0
[pid=2198/tid=2213] ppid=2197 vsize=13269256 CPUtime=0.6 cores=1,3,5,7,9,11,13,15
/proc/2198/task/2213/stat : 2213 (java) S 2197 2197 7621 0 -1 1077944384 2903 0 0 0 60 0 0 0 20 0 20 0 4104454 13587718144 2669071 33554432000 4194304 4196468 140735066151456 139979259877760 139979936016085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20221952 140735066158268 140735066158444 140735066158444 140735066161103 0
[pid=2198/tid=2214] ppid=2197 vsize=13269256 CPUtime=0.38 cores=1,3,5,7,9,11,13,15
/proc/2198/task/2214/stat : 2214 (java) S 2197 2197 7621 0 -1 1077944384 2047 0 0 0 37 1 0 0 20 0 20 0 4104454 13587718144 2669071 33554432000 4194304 4196468 140735066151456 139979258825248 139979936016085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20221952 140735066158268 140735066158444 140735066158444 140735066161103 0
[pid=2198/tid=2215] ppid=2197 vsize=13269256 CPUtime=0.39 cores=1,3,5,7,9,11,13,15
/proc/2198/task/2215/stat : 2215 (java) S 2197 2197 7621 0 -1 1077944384 2291 0 0 0 39 0 0 0 20 0 20 0 4104454 13587718144 2669071 33554432000 4194304 4196468 140735066151456 139979257772960 139979936016085 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 20221952 140735066158268 140735066158444 140735066158444 140735066161103 0
[pid=2198/tid=2216] ppid=2197 vsize=13269256 CPUtime=0.41 cores=1,3,5,7,9,11,13,15
/proc/2198/task/2216/stat : 2216 (java) S 2197 2197 7621 0 -1 1077944384 5612 0 0 0 40 1 0 0 20 0 20 0 4104454 13587718144 2669071 33554432000 4194304 4196468 140735066151456 139979256720160 139979936016085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20221952 140735066158268 140735066158444 140735066158444 140735066161103 0
[pid=2198/tid=2217] ppid=2197 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/2198/task/2217/stat : 2217 (java) S 2197 2197 7621 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4104454 13587718144 2669071 33554432000 4194304 4196468 140735066151456 139979255667040 139979936016085 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 20221952 140735066158268 140735066158444 140735066158444 140735066161103 0
[pid=2198/tid=2218] ppid=2197 vsize=13269256 CPUtime=0.26 cores=1,3,5,7,9,11,13,15
/proc/2198/task/2218/stat : 2218 (java) S 2197 2197 7621 0 -1 1077944384 857 0 0 0 14 12 0 0 20 0 20 0 4104454 13587718144 2669071 33554432000 4194304 4196468 140735066151456 139979254614320 139979936017026 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 20221952 140735066158268 140735066158444 140735066158444 140735066161103 0
Current children cumulated CPU time (s) 678.14
Current children cumulated vsize (KiB) 13278768
[startup+437.109 s]
/proc/loadavg: 6.40 6.80 10.47 10/292 2378
/proc/meminfo: memFree=20672052/32770624 swapFree=5800/274768
[pid=2197] ppid=2194 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/2197/stat : 2197 (xcsp3-exec) S 2194 2197 7621 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4104446 9740288 346 33554432000 4194304 5098028 140731982080448 140731982078552 140337163752060 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 9211904 140731982083215 140731982083424 140731982083424 140731982086123 0
/proc/2197/statm: 2378 346 289 221 0 87 0
[pid=2198] ppid=2197 vsize=13269256 CPUtime=678.95 cores=1,3,5,7,9,11,13,15
/proc/2198/stat : 2198 (java) S 2197 2197 7621 0 -1 1077944320 373747 0 0 0 65918 1977 0 0 20 0 20 0 4104446 13587718144 2669071 33554432000 4194304 4196468 140735066151456 140735066134000 139979936005879 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 20221952 140735066158268 140735066158444 140735066158444 140735066161103 0
/proc/2198/statm: 3317314 2669071 3252 1 0 3304547 0
[pid=2198/tid=2199] ppid=2197 vsize=13269256 CPUtime=382.14 cores=1,3,5,7,9,11,13,15
/proc/2198/task/2199/stat : 2199 (java) S 2197 2197 7621 0 -1 1077944384 24991 0 0 0 38182 32 0 0 20 0 20 0 4104446 13587718144 2669071 33554432000 4194304 4196468 140735066151456 139979940244080 139979936016085 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 20221952 140735066158268 140735066158444 140735066158444 140735066161103 0
[pid=2198/tid=2201] ppid=2197 vsize=13269256 CPUtime=34.17 cores=1,3,5,7,9,11,13,15
/proc/2198/task/2201/stat : 2201 (java) S 2197 2197 7621 0 -1 1077944384 14091 0 0 0 3175 242 0 0 20 0 20 0 4104447 13587718144 2669071 33554432000 4194304 4196468 140735066151456 139979535137168 139979936016085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20221952 140735066158268 140735066158444 140735066158444 140735066161103 0
[pid=2198/tid=2202] ppid=2197 vsize=13269256 CPUtime=34.44 cores=1,3,5,7,9,11,13,15
/proc/2198/task/2202/stat : 2202 (java) S 2197 2197 7621 0 -1 1077944384 11626 0 0 0 3199 245 0 0 20 0 20 0 4104447 13587718144 2669071 33554432000 4194304 4196468 140735066151456 139979534084368 139979936016085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20221952 140735066158268 140735066158444 140735066158444 140735066161103 0
[pid=2198/tid=2203] ppid=2197 vsize=13269256 CPUtime=34.21 cores=1,3,5,7,9,11,13,15
/proc/2198/task/2203/stat : 2203 (java) S 2197 2197 7621 0 -1 1077944384 14120 0 0 0 3151 270 0 0 20 0 20 0 4104447 13587718144 2669071 33554432000 4194304 4196468 140735066151456 139979533032080 139979936016085 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 20221952 140735066158268 140735066158444 140735066158444 140735066161103 0
[pid=2198/tid=2204] ppid=2197 vsize=13269256 CPUtime=34.45 cores=1,3,5,7,9,11,13,15
/proc/2198/task/2204/stat : 2204 (java) S 2197 2197 7621 0 -1 1077944384 63430 0 0 0 3209 236 0 0 20 0 20 0 4104447 13587718144 2669071 33554432000 4194304 4196468 140735066151456 139979531979280 139979936016085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20221952 140735066158268 140735066158444 140735066158444 140735066161103 0
[pid=2198/tid=2205] ppid=2197 vsize=13269256 CPUtime=34.35 cores=1,3,5,7,9,11,13,15
/proc/2198/task/2205/stat : 2205 (java) S 2197 2197 7621 0 -1 1077944384 59750 0 0 0 3202 233 0 0 20 0 20 0 4104447 13587718144 2669071 33554432000 4194304 4196468 140735066151456 139979530926992 139979936016085 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 20221952 140735066158268 140735066158444 140735066158444 140735066161103 0
[pid=2198/tid=2206] ppid=2197 vsize=13269256 CPUtime=34.17 cores=1,3,5,7,9,11,13,15
/proc/2198/task/2206/stat : 2206 (java) S 2197 2197 7621 0 -1 1077944384 10805 0 0 0 3196 221 0 0 20 0 20 0 4104447 13587718144 2669071 33554432000 4194304 4196468 140735066151456 139979529874192 139979936016085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20221952 140735066158268 140735066158444 140735066158444 140735066161103 0
[pid=2198/tid=2207] ppid=2197 vsize=13269256 CPUtime=34.48 cores=1,3,5,7,9,11,13,15
/proc/2198/task/2207/stat : 2207 (java) S 2197 2197 7621 0 -1 1077944384 106134 0 0 0 3248 200 0 0 20 0 20 0 4104447 13587718144 2669071 33554432000 4194304 4196468 140735066151456 139979528821904 139979936016085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20221952 140735066158268 140735066158444 140735066158444 140735066161103 0
[pid=2198/tid=2208] ppid=2197 vsize=13269256 CPUtime=34.4 cores=1,3,5,7,9,11,13,15
/proc/2198/task/2208/stat : 2208 (java) S 2197 2197 7621 0 -1 1077944384 14526 0 0 0 3170 270 0 0 20 0 20 0 4104447 13587718144 2669071 33554432000 4194304 4196468 140735066151456 139979527769104 139979936016085 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 20221952 140735066158268 140735066158444 140735066158444 140735066161103 0
[pid=2198/tid=2209] ppid=2197 vsize=13269256 CPUtime=19.97 cores=1,3,5,7,9,11,13,15
/proc/2198/task/2209/stat : 2209 (java) R 2197 2197 7621 0 -1 4202560 39243 0 0 0 1988 9 0 0 20 0 20 0 4104449 13587718144 2669071 33554432000 4194304 4196468 140735066151456 139979264086624 139979921002280 0 0 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 20221952 140735066158268 140735066158444 140735066158444 140735066161103 0
[pid=2198/tid=2210] ppid=2197 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/2198/task/2210/stat : 2210 (java) S 2197 2197 7621 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 20 0 4104450 13587718144 2669071 33554432000 4194304 4196468 140735066151456 139979263034208 139979936016085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20221952 140735066158268 140735066158444 140735066158444 140735066161103 0
[pid=2198/tid=2211] ppid=2197 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/2198/task/2211/stat : 2211 (java) S 2197 2197 7621 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 20 0 4104450 13587718144 2669071 33554432000 4194304 4196468 140735066151456 139979261981824 139979936016085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20221952 140735066158268 140735066158444 140735066158444 140735066161103 0
[pid=2198/tid=2212] ppid=2197 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/2198/task/2212/stat : 2212 (java) S 2197 2197 7621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4104454 13587718144 2669071 33554432000 4194304 4196468 140735066151456 139979260930128 139979936024475 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 20221952 140735066158268 140735066158444 140735066158444 140735066161103 0
[pid=2198/tid=2213] ppid=2197 vsize=13269256 CPUtime=0.6 cores=1,3,5,7,9,11,13,15
/proc/2198/task/2213/stat : 2213 (java) S 2197 2197 7621 0 -1 1077944384 2903 0 0 0 60 0 0 0 20 0 20 0 4104454 13587718144 2669071 33554432000 4194304 4196468 140735066151456 139979259877760 139979936016085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20221952 140735066158268 140735066158444 140735066158444 140735066161103 0
[pid=2198/tid=2214] ppid=2197 vsize=13269256 CPUtime=0.38 cores=1,3,5,7,9,11,13,15
/proc/2198/task/2214/stat : 2214 (java) S 2197 2197 7621 0 -1 1077944384 2047 0 0 0 37 1 0 0 20 0 20 0 4104454 13587718144 2669071 33554432000 4194304 4196468 140735066151456 139979258825248 139979936016085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20221952 140735066158268 140735066158444 140735066158444 140735066161103 0
[pid=2198/tid=2215] ppid=2197 vsize=13269256 CPUtime=0.39 cores=1,3,5,7,9,11,13,15
/proc/2198/task/2215/stat : 2215 (java) S 2197 2197 7621 0 -1 1077944384 2291 0 0 0 39 0 0 0 20 0 20 0 4104454 13587718144 2669071 33554432000 4194304 4196468 140735066151456 139979257772960 139979936016085 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 20221952 140735066158268 140735066158444 140735066158444 140735066161103 0
[pid=2198/tid=2216] ppid=2197 vsize=13269256 CPUtime=0.41 cores=1,3,5,7,9,11,13,15
/proc/2198/task/2216/stat : 2216 (java) S 2197 2197 7621 0 -1 1077944384 5612 0 0 0 40 1 0 0 20 0 20 0 4104454 13587718144 2669071 33554432000 4194304 4196468 140735066151456 139979256720160 139979936016085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20221952 140735066158268 140735066158444 140735066158444 140735066161103 0
[pid=2198/tid=2217] ppid=2197 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/2198/task/2217/stat : 2217 (java) S 2197 2197 7621 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4104454 13587718144 2669071 33554432000 4194304 4196468 140735066151456 139979255667040 139979936016085 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 20221952 140735066158268 140735066158444 140735066158444 140735066161103 0
[pid=2198/tid=2218] ppid=2197 vsize=13269256 CPUtime=0.26 cores=1,3,5,7,9,11,13,15
/proc/2198/task/2218/stat : 2218 (java) S 2197 2197 7621 0 -1 1077944384 857 0 0 0 14 12 0 0 20 0 20 0 4104454 13587718144 2669071 33554432000 4194304 4196468 140735066151456 139979254614320 139979936017026 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 20221952 140735066158268 140735066158444 140735066158444 140735066161103 0
Current children cumulated CPU time (s) 678.95
Current children cumulated vsize (KiB) 13278768
[startup+437.501 s]
/proc/loadavg: 6.40 6.80 10.47 10/292 2378
/proc/meminfo: memFree=20672052/32770624 swapFree=5800/274768
[pid=2197] ppid=2194 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/2197/stat : 2197 (xcsp3-exec) S 2194 2197 7621 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4104446 9740288 346 33554432000 4194304 5098028 140731982080448 140731982078552 140337163752060 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 9211904 140731982083215 140731982083424 140731982083424 140731982086123 0
/proc/2197/statm: 2378 346 289 221 0 87 0
[pid=2198] ppid=2197 vsize=13269256 CPUtime=679.34 cores=1,3,5,7,9,11,13,15
/proc/2198/stat : 2198 (java) S 2197 2197 7621 0 -1 1077944320 373747 0 0 0 65957 1977 0 0 20 0 20 0 4104446 13587718144 2669071 33554432000 4194304 4196468 140735066151456 140735066134000 139979936005879 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 20221952 140735066158268 140735066158444 140735066158444 140735066161103 0
/proc/2198/statm: 3317314 2669071 3252 1 0 3304547 0
[pid=2198/tid=2199] ppid=2197 vsize=13269256 CPUtime=382.14 cores=1,3,5,7,9,11,13,15
/proc/2198/task/2199/stat : 2199 (java) S 2197 2197 7621 0 -1 1077944384 24991 0 0 0 38182 32 0 0 20 0 20 0 4104446 13587718144 2669071 33554432000 4194304 4196468 140735066151456 139979940244080 139979936016085 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 20221952 140735066158268 140735066158444 140735066158444 140735066161103 0
[pid=2198/tid=2201] ppid=2197 vsize=13269256 CPUtime=34.17 cores=1,3,5,7,9,11,13,15
/proc/2198/task/2201/stat : 2201 (java) S 2197 2197 7621 0 -1 1077944384 14091 0 0 0 3175 242 0 0 20 0 20 0 4104447 13587718144 2669071 33554432000 4194304 4196468 140735066151456 139979535137168 139979936016085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20221952 140735066158268 140735066158444 140735066158444 140735066161103 0
[pid=2198/tid=2202] ppid=2197 vsize=13269256 CPUtime=34.44 cores=1,3,5,7,9,11,13,15
/proc/2198/task/2202/stat : 2202 (java) S 2197 2197 7621 0 -1 1077944384 11626 0 0 0 3199 245 0 0 20 0 20 0 4104447 13587718144 2669071 33554432000 4194304 4196468 140735066151456 139979534084368 139979936016085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20221952 140735066158268 140735066158444 140735066158444 140735066161103 0
[pid=2198/tid=2203] ppid=2197 vsize=13269256 CPUtime=34.21 cores=1,3,5,7,9,11,13,15
/proc/2198/task/2203/stat : 2203 (java) S 2197 2197 7621 0 -1 1077944384 14120 0 0 0 3151 270 0 0 20 0 20 0 4104447 13587718144 2669071 33554432000 4194304 4196468 140735066151456 139979533032080 139979936016085 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 20221952 140735066158268 140735066158444 140735066158444 140735066161103 0
[pid=2198/tid=2204] ppid=2197 vsize=13269256 CPUtime=34.45 cores=1,3,5,7,9,11,13,15
/proc/2198/task/2204/stat : 2204 (java) S 2197 2197 7621 0 -1 1077944384 63430 0 0 0 3209 236 0 0 20 0 20 0 4104447 13587718144 2669071 33554432000 4194304 4196468 140735066151456 139979531979280 139979936016085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20221952 140735066158268 140735066158444 140735066158444 140735066161103 0
[pid=2198/tid=2205] ppid=2197 vsize=13269256 CPUtime=34.35 cores=1,3,5,7,9,11,13,15
/proc/2198/task/2205/stat : 2205 (java) S 2197 2197 7621 0 -1 1077944384 59750 0 0 0 3202 233 0 0 20 0 20 0 4104447 13587718144 2669071 33554432000 4194304 4196468 140735066151456 139979530926992 139979936016085 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 20221952 140735066158268 140735066158444 140735066158444 140735066161103 0
[pid=2198/tid=2206] ppid=2197 vsize=13269256 CPUtime=34.17 cores=1,3,5,7,9,11,13,15
/proc/2198/task/2206/stat : 2206 (java) S 2197 2197 7621 0 -1 1077944384 10805 0 0 0 3196 221 0 0 20 0 20 0 4104447 13587718144 2669071 33554432000 4194304 4196468 140735066151456 139979529874192 139979936016085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20221952 140735066158268 140735066158444 140735066158444 140735066161103 0
[pid=2198/tid=2207] ppid=2197 vsize=13269256 CPUtime=34.48 cores=1,3,5,7,9,11,13,15
/proc/2198/task/2207/stat : 2207 (java) S 2197 2197 7621 0 -1 1077944384 106134 0 0 0 3248 200 0 0 20 0 20 0 4104447 13587718144 2669071 33554432000 4194304 4196468 140735066151456 139979528821904 139979936016085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20221952 140735066158268 140735066158444 140735066158444 140735066161103 0
[pid=2198/tid=2208] ppid=2197 vsize=13269256 CPUtime=34.4 cores=1,3,5,7,9,11,13,15
/proc/2198/task/2208/stat : 2208 (java) S 2197 2197 7621 0 -1 1077944384 14526 0 0 0 3170 270 0 0 20 0 20 0 4104447 13587718144 2669071 33554432000 4194304 4196468 140735066151456 139979527769104 139979936016085 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 20221952 140735066158268 140735066158444 140735066158444 140735066161103 0
[pid=2198/tid=2209] ppid=2197 vsize=13269256 CPUtime=20.36 cores=1,3,5,7,9,11,13,15
/proc/2198/task/2209/stat : 2209 (java) R 2197 2197 7621 0 -1 4202560 39243 0 0 0 2027 9 0 0 20 0 20 0 4104449 13587718144 2669071 33554432000 4194304 4196468 140735066151456 139979264086624 139979914376040 0 0 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 20221952 140735066158268 140735066158444 140735066158444 140735066161103 0
[pid=2198/tid=2210] ppid=2197 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/2198/task/2210/stat : 2210 (java) S 2197 2197 7621 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 20 0 4104450 13587718144 2669071 33554432000 4194304 4196468 140735066151456 139979263034208 139979936016085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20221952 140735066158268 140735066158444 140735066158444 140735066161103 0
[pid=2198/tid=2211] ppid=2197 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/2198/task/2211/stat : 2211 (java) S 2197 2197 7621 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 20 0 4104450 13587718144 2669071 33554432000 4194304 4196468 140735066151456 139979261981824 139979936016085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20221952 140735066158268 140735066158444 140735066158444 140735066161103 0
[pid=2198/tid=2212] ppid=2197 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/2198/task/2212/stat : 2212 (java) S 2197 2197 7621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4104454 13587718144 2669071 33554432000 4194304 4196468 140735066151456 139979260930128 139979936024475 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 20221952 140735066158268 140735066158444 140735066158444 140735066161103 0
[pid=2198/tid=2213] ppid=2197 vsize=13269256 CPUtime=0.6 cores=1,3,5,7,9,11,13,15
/proc/2198/task/2213/stat : 2213 (java) S 2197 2197 7621 0 -1 1077944384 2903 0 0 0 60 0 0 0 20 0 20 0 4104454 13587718144 2669071 33554432000 4194304 4196468 140735066151456 139979259877760 139979936016085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20221952 140735066158268 140735066158444 140735066158444 140735066161103 0
[pid=2198/tid=2214] ppid=2197 vsize=13269256 CPUtime=0.38 cores=1,3,5,7,9,11,13,15
/proc/2198/task/2214/stat : 2214 (java) S 2197 2197 7621 0 -1 1077944384 2047 0 0 0 37 1 0 0 20 0 20 0 4104454 13587718144 2669071 33554432000 4194304 4196468 140735066151456 139979258825248 139979936016085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20221952 140735066158268 140735066158444 140735066158444 140735066161103 0
[pid=2198/tid=2215] ppid=2197 vsize=13269256 CPUtime=0.39 cores=1,3,5,7,9,11,13,15
/proc/2198/task/2215/stat : 2215 (java) S 2197 2197 7621 0 -1 1077944384 2291 0 0 0 39 0 0 0 20 0 20 0 4104454 13587718144 2669071 33554432000 4194304 4196468 140735066151456 139979257772960 139979936016085 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 20221952 140735066158268 140735066158444 140735066158444 140735066161103 0
[pid=2198/tid=2216] ppid=2197 vsize=13269256 CPUtime=0.41 cores=1,3,5,7,9,11,13,15
/proc/2198/task/2216/stat : 2216 (java) S 2197 2197 7621 0 -1 1077944384 5612 0 0 0 40 1 0 0 20 0 20 0 4104454 13587718144 2669071 33554432000 4194304 4196468 140735066151456 139979256720160 139979936016085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20221952 140735066158268 140735066158444 140735066158444 140735066161103 0
[pid=2198/tid=2217] ppid=2197 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/2198/task/2217/stat : 2217 (java) S 2197 2197 7621 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4104454 13587718144 2669071 33554432000 4194304 4196468 140735066151456 139979255667040 139979936016085 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 20221952 140735066158268 140735066158444 140735066158444 140735066161103 0
[pid=2198/tid=2218] ppid=2197 vsize=13269256 CPUtime=0.26 cores=1,3,5,7,9,11,13,15
/proc/2198/task/2218/stat : 2218 (java) S 2197 2197 7621 0 -1 1077944384 857 0 0 0 14 12 0 0 20 0 20 0 4104454 13587718144 2669071 33554432000 4194304 4196468 140735066151456 139979254614320 139979936017026 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20221952 140735066158268 140735066158444 140735066158444 140735066161103 0
Current children cumulated CPU time (s) 679.34
Current children cumulated vsize (KiB) 13278768
Child status: 1
Real time (s): 437.574
CPU time (s): 679.417
CPU user time (s): 659.581
CPU system time (s): 19.8361
CPU usage (%): 155.269
Max. virtual memory (cumulated for all children) (KiB): 13278768
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 659.581
system time used= 19.8361
maximum resident set size= 10676592
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 374486
page faults= 0
swaps= 0
block input operations= 0
block output operations= 608
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 18053
involuntary context switches= 45109
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.01447 second user time and 4.33734 second system time
The end