runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
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.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (9858 MiB free)
memory of node 1: 16384 MiB (9324 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393216-1568345858/watcher-4393216-1568345858 -o /tmp/evaluation-result-4393216-1568345858/solver-4393216-1568345858 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node124-1568343408-4478 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 409130827 HOME/instance-4393216-1568345858.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=6230, runsolver pid=6227
[startup+0.100168 s]*
/proc/loadavg: 7.37 7.89 7.74 8/233 6246
/proc/meminfo: memFree=19627480/32770624 swapFree=66959216/67108860
[pid=6230] ppid=6227 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/6230/stat : 6230 (xcsp3-exec) S 6227 6230 3331 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 410525999 115843072 362 33554432000 4194304 5098028 140733631988624 140733631986728 140570636923516 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 7372800 140733631996795 140733631997037 140733631997037 140733631999946 0
/proc/6230/statm: 28282 362 304 221 0 87 0
[pid=6232] ppid=6230 vsize=15144768 memory=29732 CPUtime=0.12 cores=0,2,4,6
/proc/6232/stat : 6232 (java) S 6230 6230 3331 0 -1 1077944320 5908 0 0 0 11 1 0 0 20 0 15 0 410525999 15508242432 7433 33554432000 4194304 4196468 140722247994592 140722247977136 139743806852855 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 7475200 140722247996399 140722247996570 140722247996570 140722247999439 0
/proc/6232/statm: 3786192 7433 3118 1 0 3748377 0
[pid=6232/tid=6233] ppid=6230 vsize=15144768 memory=-8976644418600983157 CPUtime=0.09 cores=0,2,4,6
/proc/6232/task/6233/stat : 6233 (java) R 6230 6230 3331 0 -1 4202560 3805 0 0 0 8 1 0 0 20 0 15 0 410526000 15508242432 7433 33554432000 4194304 4196468 140722247994592 139743811086128 139743806874781 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7475200 140722247996399 140722247996570 140722247996570 140722247999439 0
[pid=6232/tid=6234] ppid=6230 vsize=15144768 memory=3472467961499452624 CPUtime=0 cores=0,2,4,6
/proc/6232/task/6234/stat : 6234 (java) S 6230 6230 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410526000 15508242432 7433 33554432000 4194304 4196468 140722247994592 139743743089808 139743806863061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7475200 140722247996399 140722247996570 140722247996570 140722247999439 0
[pid=6232/tid=6235] ppid=6230 vsize=15144768 memory=139832604300928 CPUtime=0 cores=0,2,4,6
/proc/6232/task/6235/stat : 6235 (java) S 6230 6230 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410526000 15508242432 7433 33554432000 4194304 4196468 140722247994592 139743742037008 139743806863061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7475200 140722247996399 140722247996570 140722247996570 140722247999439 0
[pid=6232/tid=6236] ppid=6230 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6232/task/6236/stat : 6236 (java) S 6230 6230 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410526000 15508242432 7433 33554432000 4194304 4196468 140722247994592 139743396944784 139743806863061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7475200 140722247996399 140722247996570 140722247996570 140722247999439 0
[pid=6232/tid=6237] ppid=6230 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6232/task/6237/stat : 6237 (java) S 6230 6230 3331 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410526000 15508242432 7433 33554432000 4194304 4196468 140722247994592 139743395891984 139743806863061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7475200 140722247996399 140722247996570 140722247996570 140722247999439 0
[pid=6232/tid=6238] ppid=6230 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6232/task/6238/stat : 6238 (java) S 6230 6230 3331 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410526002 15508242432 7433 33554432000 4194304 4196468 140722247994592 139743342643568 139743806864002 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7475200 140722247996399 140722247996570 140722247996570 140722247999439 0
[pid=6232/tid=6239] ppid=6230 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6232/task/6239/stat : 6239 (java) S 6230 6230 3331 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 410526002 15508242432 7433 33554432000 4194304 4196468 140722247994592 139743341589536 139743806863061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7475200 140722247996399 140722247996570 140722247996570 140722247999439 0
[pid=6232/tid=6240] ppid=6230 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6232/task/6240/stat : 6240 (java) S 6230 6230 3331 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 410526003 15508242432 7433 33554432000 4194304 4196468 140722247994592 139743340536688 139743806863061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7475200 140722247996399 140722247996570 140722247996570 140722247999439 0
[pid=6232/tid=6241] ppid=6230 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6232/task/6241/stat : 6241 (java) S 6230 6230 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410526005 15508242432 7433 33554432000 4194304 4196468 140722247994592 139743339485008 139743806871451 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7475200 140722247996399 140722247996570 140722247996570 140722247999439 0
[pid=6232/tid=6242] ppid=6230 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6232/task/6242/stat : 6242 (java) S 6230 6230 3331 0 -1 1077944384 309 0 0 0 0 0 0 0 20 0 15 0 410526005 15508242432 7433 33554432000 4194304 4196468 140722247994592 139743270529904 139743806864002 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7475200 140722247996399 140722247996570 140722247996570 140722247999439 0
[pid=6232/tid=6243] ppid=6230 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6232/task/6243/stat : 6243 (java) S 6230 6230 3331 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 410526005 15508242432 7433 33554432000 4194304 4196468 140722247994592 139743269477104 139743806864002 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7475200 140722247996399 140722247996570 140722247996570 140722247999439 0
[pid=6232/tid=6244] ppid=6230 vsize=15144768 memory=139832604300928 CPUtime=0.02 cores=0,2,4,6
/proc/6232/task/6244/stat : 6244 (java) R 6230 6230 3331 0 -1 4202560 367 0 0 0 2 0 0 0 20 0 15 0 410526005 15508242432 7433 33554432000 4194304 4196468 140722247994592 139743268424304 139743806874202 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7475200 140722247996399 140722247996570 140722247996570 140722247999439 0
[pid=6232/tid=6245] ppid=6230 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6232/task/6245/stat : 6245 (java) S 6230 6230 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410526005 15508242432 7433 33554432000 4194304 4196468 140722247994592 139743267371744 139743806863061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7475200 140722247996399 140722247996570 140722247996570 140722247999439 0
[pid=6232/tid=6246] ppid=6230 vsize=15144768 memory=139832604300928 CPUtime=0 cores=0,2,4,6
/proc/6232/task/6246/stat : 6246 (java) S 6230 6230 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410526006 15508242432 7433 33554432000 4194304 4196468 140722247994592 139743266319024 139743806864002 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7475200 140722247996399 140722247996570 140722247996570 140722247999439 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 31180 KiB
[startup+0.210996 s]*
/proc/loadavg: 7.37 7.89 7.74 7/233 6246
/proc/meminfo: memFree=19614160/32770624 swapFree=66959216/67108860
[pid=6230] ppid=6227 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/6230/stat : 6230 (xcsp3-exec) S 6227 6230 3331 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 410525999 115843072 362 33554432000 4194304 5098028 140733631988624 140733631986728 140570636923516 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 7372800 140733631996795 140733631997037 140733631997037 140733631999946 0
/proc/6230/statm: 28282 362 304 221 0 87 0
[pid=6232] ppid=6230 vsize=15144768 memory=41084 CPUtime=0.34 cores=0,2,4,6
/proc/6232/stat : 6232 (java) S 6230 6230 3331 0 -1 1077944320 9448 0 0 0 31 3 0 0 20 0 15 0 410525999 15508242432 10271 33554432000 4194304 4196468 140722247994592 140722247977136 139743806852855 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 7475200 140722247996399 140722247996570 140722247996570 140722247999439 0
/proc/6232/statm: 3786192 10271 3311 1 0 3748377 0
[pid=6232/tid=6233] ppid=6230 vsize=15144768 memory=4500116723389865625 CPUtime=0.2 cores=0,2,4,6
/proc/6232/task/6233/stat : 6233 (java) R 6230 6230 3331 0 -1 4202560 6622 0 0 0 18 2 0 0 20 0 15 0 410526000 15508242432 10271 33554432000 4194304 4196468 140722247994592 139743811086976 139743421671125 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7475200 140722247996399 140722247996570 140722247996570 140722247999439 0
[pid=6232/tid=6234] ppid=6230 vsize=15144768 memory=3472467961499452624 CPUtime=0 cores=0,2,4,6
/proc/6232/task/6234/stat : 6234 (java) S 6230 6230 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410526000 15508242432 10271 33554432000 4194304 4196468 140722247994592 139743743089808 139743806863061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7475200 140722247996399 140722247996570 140722247996570 140722247999439 0
[pid=6232/tid=6235] ppid=6230 vsize=15144768 memory=139832604300928 CPUtime=0 cores=0,2,4,6
/proc/6232/task/6235/stat : 6235 (java) S 6230 6230 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410526000 15508242432 10271 33554432000 4194304 4196468 140722247994592 139743742037008 139743806863061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7475200 140722247996399 140722247996570 140722247996570 140722247999439 0
[pid=6232/tid=6236] ppid=6230 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6232/task/6236/stat : 6236 (java) S 6230 6230 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410526000 15508242432 10271 33554432000 4194304 4196468 140722247994592 139743396944784 139743806863061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7475200 140722247996399 140722247996570 140722247996570 140722247999439 0
[pid=6232/tid=6237] ppid=6230 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6232/task/6237/stat : 6237 (java) S 6230 6230 3331 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410526000 15508242432 10271 33554432000 4194304 4196468 140722247994592 139743395891984 139743806863061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7475200 140722247996399 140722247996570 140722247996570 140722247999439 0
[pid=6232/tid=6238] ppid=6230 vsize=15144768 memory=139832604300928 CPUtime=0 cores=0,2,4,6
/proc/6232/task/6238/stat : 6238 (java) S 6230 6230 3331 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 410526002 15508242432 10271 33554432000 4194304 4196468 140722247994592 139743342643568 139743806864002 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7475200 140722247996399 140722247996570 140722247996570 140722247999439 0
[pid=6232/tid=6239] ppid=6230 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6232/task/6239/stat : 6239 (java) S 6230 6230 3331 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 410526002 15508242432 10271 33554432000 4194304 4196468 140722247994592 139743341589536 139743806863061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7475200 140722247996399 140722247996570 140722247996570 140722247999439 0
[pid=6232/tid=6240] ppid=6230 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6232/task/6240/stat : 6240 (java) S 6230 6230 3331 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 410526003 15508242432 10271 33554432000 4194304 4196468 140722247994592 139743340536688 139743806863061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7475200 140722247996399 140722247996570 140722247996570 140722247999439 0
[pid=6232/tid=6241] ppid=6230 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6232/task/6241/stat : 6241 (java) S 6230 6230 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410526005 15508242432 10271 33554432000 4194304 4196468 140722247994592 139743339485008 139743806871451 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7475200 140722247996399 140722247996570 140722247996570 140722247999439 0
[pid=6232/tid=6242] ppid=6230 vsize=15144768 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/6232/task/6242/stat : 6242 (java) S 6230 6230 3331 0 -1 1077944384 416 0 0 0 2 0 0 0 20 0 15 0 410526005 15508242432 10271 33554432000 4194304 4196468 140722247994592 139743270529904 139743806864002 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7475200 140722247996399 140722247996570 140722247996570 140722247999439 0
[pid=6232/tid=6243] ppid=6230 vsize=15144768 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/6232/task/6243/stat : 6243 (java) S 6230 6230 3331 0 -1 1077944384 352 0 0 0 2 0 0 0 20 0 15 0 410526005 15508242432 10271 33554432000 4194304 4196468 140722247994592 139743269477104 139743806864002 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7475200 140722247996399 140722247996570 140722247996570 140722247999439 0
[pid=6232/tid=6244] ppid=6230 vsize=15144768 memory=139832604300928 CPUtime=0.07 cores=0,2,4,6
/proc/6232/task/6244/stat : 6244 (java) R 6230 6230 3331 0 -1 4202560 753 0 0 0 7 0 0 0 20 0 15 0 410526005 15508242432 10271 33554432000 4194304 4196468 140722247994592 139743268422112 139743785657934 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7475200 140722247996399 140722247996570 140722247996570 140722247999439 0
[pid=6232/tid=6245] ppid=6230 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6232/task/6245/stat : 6245 (java) S 6230 6230 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410526005 15508242432 10271 33554432000 4194304 4196468 140722247994592 139743267371744 139743806863061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7475200 140722247996399 140722247996570 140722247996570 140722247999439 0
[pid=6232/tid=6246] ppid=6230 vsize=15144768 memory=139832604300928 CPUtime=0 cores=0,2,4,6
/proc/6232/task/6246/stat : 6246 (java) S 6230 6230 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410526006 15508242432 10271 33554432000 4194304 4196468 140722247994592 139743266319024 139743806864002 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7475200 140722247996399 140722247996570 140722247996570 140722247999439 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 42532 KiB
[startup+0.312781 s]*
/proc/loadavg: 7.37 7.89 7.74 7/233 6246
/proc/meminfo: memFree=19607184/32770624 swapFree=66959216/67108860
[pid=6230] ppid=6227 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/6230/stat : 6230 (xcsp3-exec) S 6227 6230 3331 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 410525999 115843072 362 33554432000 4194304 5098028 140733631988624 140733631986728 140570636923516 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 7372800 140733631996795 140733631997037 140733631997037 140733631999946 0
/proc/6230/statm: 28282 362 304 221 0 87 0
[pid=6232] ppid=6230 vsize=15149024 memory=50068 CPUtime=0.54 cores=0,2,4,6
/proc/6232/stat : 6232 (java) S 6230 6230 3331 0 -1 1077944320 10824 0 0 0 50 4 0 0 20 0 15 0 410525999 15512600576 12517 33554432000 4194304 4196468 140722247994592 140722247977136 139743806852855 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 7475200 140722247996399 140722247996570 140722247996570 140722247999439 0
/proc/6232/statm: 3787256 12517 3365 1 0 3748377 0
[pid=6232/tid=6233] ppid=6230 vsize=15149024 memory=-8976644418600983157 CPUtime=0.3 cores=0,2,4,6
/proc/6232/task/6233/stat : 6233 (java) R 6230 6230 3331 0 -1 4202560 7782 0 0 0 27 3 0 0 20 0 15 0 410526000 15512600576 12517 33554432000 4194304 4196468 140722247994592 139743811086232 139743790933342 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7475200 140722247996399 140722247996570 140722247996570 140722247999439 0
[pid=6232/tid=6234] ppid=6230 vsize=15149024 memory=3472467961499452624 CPUtime=0 cores=0,2,4,6
/proc/6232/task/6234/stat : 6234 (java) S 6230 6230 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410526000 15512600576 12517 33554432000 4194304 4196468 140722247994592 139743743089808 139743806863061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7475200 140722247996399 140722247996570 140722247996570 140722247999439 0
[pid=6232/tid=6235] ppid=6230 vsize=15149024 memory=139832604300928 CPUtime=0 cores=0,2,4,6
/proc/6232/task/6235/stat : 6235 (java) S 6230 6230 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410526000 15512600576 12517 33554432000 4194304 4196468 140722247994592 139743742037008 139743806863061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7475200 140722247996399 140722247996570 140722247996570 140722247999439 0
[pid=6232/tid=6236] ppid=6230 vsize=15149024 memory=5 CPUtime=0 cores=0,2,4,6
/proc/6232/task/6236/stat : 6236 (java) S 6230 6230 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410526000 15512600576 12517 33554432000 4194304 4196468 140722247994592 139743396944784 139743806863061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7475200 140722247996399 140722247996570 140722247996570 140722247999439 0
[pid=6232/tid=6237] ppid=6230 vsize=15149024 memory=139832458356767 CPUtime=0 cores=0,2,4,6
/proc/6232/task/6237/stat : 6237 (java) S 6230 6230 3331 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410526000 15512600576 12517 33554432000 4194304 4196468 140722247994592 139743395891984 139743806863061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7475200 140722247996399 140722247996570 140722247996570 140722247999439 0
[pid=6232/tid=6238] ppid=6230 vsize=15149024 memory=279664916692768 CPUtime=0 cores=0,2,4,6
/proc/6232/task/6238/stat : 6238 (java) S 6230 6230 3331 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 410526002 15512600576 12517 33554432000 4194304 4196468 140722247994592 139743342643568 139743806864002 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7475200 140722247996399 140722247996570 140722247996570 140722247999439 0
[pid=6232/tid=6239] ppid=6230 vsize=15149024 memory=139832458333711 CPUtime=0 cores=0,2,4,6
/proc/6232/task/6239/stat : 6239 (java) S 6230 6230 3331 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 410526002 15512600576 12517 33554432000 4194304 4196468 140722247994592 139743341589536 139743806863061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7475200 140722247996399 140722247996570 140722247996570 140722247999439 0
[pid=6232/tid=6240] ppid=6230 vsize=15149024 memory=279665062643808 CPUtime=0 cores=0,2,4,6
/proc/6232/task/6240/stat : 6240 (java) S 6230 6230 3331 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 410526003 15512600576 12517 33554432000 4194304 4196468 140722247994592 139743340536688 139743806863061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7475200 140722247996399 140722247996570 140722247996570 140722247999439 0
[pid=6232/tid=6241] ppid=6230 vsize=15149024 memory=139832458338319 CPUtime=0 cores=0,2,4,6
/proc/6232/task/6241/stat : 6241 (java) S 6230 6230 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410526005 15512600576 12517 33554432000 4194304 4196468 140722247994592 139743339485008 139743806871451 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7475200 140722247996399 140722247996570 140722247996570 140722247999439 0
[pid=6232/tid=6242] ppid=6230 vsize=15149024 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/6232/task/6242/stat : 6242 (java) S 6230 6230 3331 0 -1 1077944384 428 0 0 0 3 0 0 0 20 0 15 0 410526005 15512600576 12517 33554432000 4194304 4196468 140722247994592 139743270529904 139743806864002 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7475200 140722247996399 140722247996570 140722247996570 140722247999439 0
[pid=6232/tid=6243] ppid=6230 vsize=15149024 memory=-1 CPUtime=0.06 cores=0,2,4,6
/proc/6232/task/6243/stat : 6243 (java) R 6230 6230 3331 0 -1 4202560 487 0 0 0 6 0 0 0 20 0 15 0 410526005 15512600576 12517 33554432000 4194304 4196468 140722247994592 139743269477200 139743788370767 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7475200 140722247996399 140722247996570 140722247996570 140722247999439 0
[pid=6232/tid=6244] ppid=6230 vsize=15149024 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/6232/task/6244/stat : 6244 (java) S 6230 6230 3331 0 -1 1077944384 834 0 0 0 12 0 0 0 20 0 15 0 410526005 15512600576 12517 33554432000 4194304 4196468 140722247994592 139743268424304 139743806864002 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7475200 140722247996399 140722247996570 140722247996570 140722247999439 0
[pid=6232/tid=6245] ppid=6230 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6232/task/6245/stat : 6245 (java) S 6230 6230 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410526005 15512600576 12517 33554432000 4194304 4196468 140722247994592 139743267371744 139743806863061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7475200 140722247996399 140722247996570 140722247996570 140722247999439 0
[pid=6232/tid=6246] ppid=6230 vsize=15149024 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/6232/task/6246/stat : 6246 (java) S 6230 6230 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410526006 15512600576 12517 33554432000 4194304 4196468 140722247994592 139743266319024 139743806864002 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7475200 140722247996399 140722247996570 140722247996570 140722247999439 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 51516 KiB
[startup+0.700744 s]
/proc/loadavg: 7.37 7.89 7.74 9/233 6246
/proc/meminfo: memFree=19591912/32770624 swapFree=66959216/67108860
[pid=6230] ppid=6227 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/6230/stat : 6230 (xcsp3-exec) S 6227 6230 3331 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 410525999 115843072 362 33554432000 4194304 5098028 140733631988624 140733631986728 140570636923516 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 7372800 140733631996795 140733631997037 140733631997037 140733631999946 0
/proc/6230/statm: 28282 362 304 221 0 87 0
[pid=6232] ppid=6230 vsize=15483968 memory=158780 CPUtime=1.64 cores=0,2,4,6
/proc/6232/stat : 6232 (java) S 6230 6230 3331 0 -1 1077944320 15083 0 0 0 158 6 0 0 20 0 16 0 410525999 15855583232 39695 33554432000 4194304 4196468 140722247994592 140722247977136 139743806852855 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 7475200 140722247996399 140722247996570 140722247996570 140722247999439 0
/proc/6232/statm: 3870992 39695 3461 1 0 3832094 0
[pid=6232/tid=6233] ppid=6230 vsize=15483968 memory=4639059877604708710 CPUtime=0.53 cores=0,2,4,6
/proc/6232/task/6233/stat : 6233 (java) S 6230 6230 3331 0 -1 1077944384 9011 0 0 0 49 4 0 0 20 0 16 0 410526000 15855583232 39695 33554432000 4194304 4196468 140722247994592 139743811093632 139743806863061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7475200 140722247996399 140722247996570 140722247996570 140722247999439 0
[pid=6232/tid=6234] ppid=6230 vsize=15483968 memory=6935650355287975249 CPUtime=0 cores=0,2,4,6
/proc/6232/task/6234/stat : 6234 (java) S 6230 6230 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 410526000 15855583232 39695 33554432000 4194304 4196468 140722247994592 139743743089808 139743806863061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7475200 140722247996399 140722247996570 140722247996570 140722247999439 0
[pid=6232/tid=6235] ppid=6230 vsize=15483968 memory=6935649256029252945 CPUtime=0 cores=0,2,4,6
/proc/6232/task/6235/stat : 6235 (java) S 6230 6230 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 410526000 15855583232 39695 33554432000 4194304 4196468 140722247994592 139743742037008 139743806863061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7475200 140722247996399 140722247996570 140722247996570 140722247999439 0
[pid=6232/tid=6236] ppid=6230 vsize=15483968 memory=7825734864442108491 CPUtime=0 cores=0,2,4,6
/proc/6232/task/6236/stat : 6236 (java) S 6230 6230 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 410526000 15855583232 39695 33554432000 4194304 4196468 140722247994592 139743396944784 139743806863061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7475200 140722247996399 140722247996570 140722247996570 140722247999439 0
[pid=6232/tid=6237] ppid=6230 vsize=15483968 memory=7100839870140027543 CPUtime=0 cores=0,2,4,6
/proc/6232/task/6237/stat : 6237 (java) S 6230 6230 3331 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 410526000 15855583232 39695 33554432000 4194304 4196468 140722247994592 139743395891984 139743806863061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7475200 140722247996399 140722247996570 140722247996570 140722247999439 0
[pid=6232/tid=6238] ppid=6230 vsize=15483968 memory=6944613755328037012 CPUtime=0 cores=0,2,4,6
/proc/6232/task/6238/stat : 6238 (java) S 6230 6230 3331 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 16 0 410526002 15855583232 39695 33554432000 4194304 4196468 140722247994592 139743342643568 139743806864002 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7475200 140722247996399 140722247996570 140722247996570 140722247999439 0
[pid=6232/tid=6239] ppid=6230 vsize=15483968 memory=4612 CPUtime=0 cores=0,2,4,6
/proc/6232/task/6239/stat : 6239 (java) S 6230 6230 3331 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 410526002 15855583232 39695 33554432000 4194304 4196468 140722247994592 139743341589536 139743806863061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7475200 140722247996399 140722247996570 140722247996570 140722247999439 0
[pid=6232/tid=6240] ppid=6230 vsize=15483968 memory=6884 CPUtime=0 cores=0,2,4,6
/proc/6232/task/6240/stat : 6240 (java) S 6230 6230 3331 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 410526003 15855583232 39695 33554432000 4194304 4196468 140722247994592 139743340536688 139743806863061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7475200 140722247996399 140722247996570 140722247996570 140722247999439 0
[pid=6232/tid=6241] ppid=6230 vsize=15483968 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/6232/task/6241/stat : 6241 (java) S 6230 6230 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 410526005 15855583232 39695 33554432000 4194304 4196468 140722247994592 139743339485008 139743806871451 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7475200 140722247996399 140722247996570 140722247996570 140722247999439 0
[pid=6232/tid=6242] ppid=6230 vsize=15483968 memory=1660 CPUtime=0.25 cores=0,2,4,6
/proc/6232/task/6242/stat : 6242 (java) R 6230 6230 3331 0 -1 4202560 1259 0 0 0 25 0 0 0 20 0 16 0 410526005 15855583232 39695 33554432000 4194304 4196468 140722247994592 139743270515928 139743788397073 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7475200 140722247996399 140722247996570 140722247996570 140722247999439 0
[pid=6232/tid=6243] ppid=6230 vsize=15483968 memory=38696 CPUtime=0.27 cores=0,2,4,6
/proc/6232/task/6243/stat : 6243 (java) R 6230 6230 3331 0 -1 4202560 908 0 0 0 27 0 0 0 20 0 16 0 410526005 15855583232 39695 33554432000 4194304 4196468 140722247994592 139743269470136 139743791753340 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7475200 140722247996399 140722247996570 140722247996570 140722247999439 0
[pid=6232/tid=6244] ppid=6230 vsize=15483968 memory=988 CPUtime=0.34 cores=0,2,4,6
/proc/6232/task/6244/stat : 6244 (java) R 6230 6230 3331 0 -1 4202560 1668 0 0 0 34 0 0 0 20 0 16 0 410526005 15855583232 40207 33554432000 4194304 4196468 140722247994592 139743268421240 139743785837567 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7475200 140722247996399 140722247996570 140722247996570 140722247999439 0
[pid=6232/tid=6245] ppid=6230 vsize=15483968 memory=5793994532452520804 CPUtime=0 cores=0,2,4,6
/proc/6232/task/6245/stat : 6245 (java) S 6230 6230 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 410526005 15855583232 40207 33554432000 4194304 4196468 140722247994592 139743267371744 139743806863061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7475200 140722247996399 140722247996570 140722247996570 140722247999439 0
[pid=6232/tid=6246] ppid=6230 vsize=15483968 memory=8099279071866868836 CPUtime=0 cores=0,2,4,6
/proc/6232/task/6246/stat : 6246 (java) S 6230 6230 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 410526006 15855583232 40207 33554432000 4194304 4196468 140722247994592 139743266319024 139743806864002 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7475200 140722247996399 140722247996570 140722247996570 140722247999439 0
Current children cumulated CPU time: 1.64 s
Current children cumulated vsize: 15597096 KiB
Current children cumulated memory: 160228 KiB
[startup+1.5008 s]
/proc/loadavg: 7.35 7.87 7.73 10/237 6327
/proc/meminfo: memFree=19475864/32770624 swapFree=66959216/67108860
[pid=6230] ppid=6227 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/6230/stat : 6230 (xcsp3-exec) S 6227 6230 3331 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 410525999 115843072 362 33554432000 4194304 5098028 140733631988624 140733631986728 140570636923516 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 7372800 140733631996795 140733631997037 140733631997037 140733631999946 0
/proc/6230/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
/proc/6232/task/6246/stat : 6246 (java) S 6230 6230 3331 0 -1 1077944384 905 0 0 0 8 0 0 0 20 0 19 0 410526006 15923744768 46403 33554432000 4194304 4196468 140722247994592 139743266319024 139743806864002 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 28 0 0 6293624 6294260 7475200 140722247996399 140722247996570 140722247996570 140722247999439 0
[pid=6232/tid=6386] ppid=6230 vsize=15550532 memory=1448 CPUtime=237.01 cores=0,2,4,6
/proc/6232/task/6386/stat : 6386 (java) S 6230 6230 3331 0 -1 1077944384 1089 0 0 0 23701 0 0 0 20 0 19 0 410528000 15923744768 46403 33554432000 4194304 4196468 140722247994592 139743257349696 139743806863061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7475200 140722247996399 140722247996570 140722247996570 140722247999439 0
[pid=6232/tid=6387] ppid=6230 vsize=15550532 memory=8112282956445269571 CPUtime=237.19 cores=0,2,4,6
/proc/6232/task/6387/stat : 6387 (java) S 6230 6230 3331 0 -1 1077944384 2084 0 0 0 23719 0 0 0 20 0 19 0 410528000 15923744768 46403 33554432000 4194304 4196468 140722247994592 139743256298256 139743806863061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7475200 140722247996399 140722247996570 140722247996570 140722247999439 0
[pid=6232/tid=6388] ppid=6230 vsize=15550532 memory=3360 CPUtime=237.52 cores=0,2,4,6
/proc/6232/task/6388/stat : 6388 (java) S 6230 6230 3331 0 -1 1077944384 2888 0 0 0 23751 1 0 0 20 0 19 0 410528000 15923744768 46403 33554432000 4194304 4196468 140722247994592 139743252087440 139743806863061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7475200 140722247996399 140722247996570 140722247996570 140722247999439 0
[pid=6232/tid=6389] ppid=6230 vsize=15550532 memory=776 CPUtime=243.68 cores=0,2,4,6
/proc/6232/task/6389/stat : 6389 (java) R 6230 6230 3331 0 -1 4202560 813 0 0 0 24368 0 0 0 20 0 19 0 410528000 15923744768 46403 33554432000 4194304 4196468 140722247994592 139743254188288 139743428024316 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7475200 140722247996399 140722247996570 140722247996570 140722247999439 0
Current children cumulated CPU time: 1015.21 s
Current children cumulated vsize: 15663660 KiB
Current children cumulated memory: 187060 KiB
[startup+266.001 s]*
/proc/loadavg: 8.02 8.21 7.92 6/238 6415
/proc/meminfo: memFree=19131644/32770624 swapFree=66959216/67108860
[pid=6230] ppid=6227 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/6230/stat : 6230 (xcsp3-exec) S 6227 6230 3331 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 410525999 115843072 362 33554432000 4194304 5098028 140733631988624 140733631986728 140570636923516 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 7372800 140733631996795 140733631997037 140733631997037 140733631999946 0
/proc/6230/statm: 28282 362 304 221 0 87 0
[pid=6232] ppid=6230 vsize=15550532 memory=185612 CPUtime=1015.62 cores=0,2,4,6
/proc/6232/stat : 6232 (java) S 6230 6230 3331 0 -1 1077944320 70696 0 0 0 101521 41 0 0 20 0 19 0 410525999 15923744768 46403 33554432000 4194304 4196468 140722247994592 140722247977136 139743806852855 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 7475200 140722247996399 140722247996570 140722247996570 140722247999439 0
/proc/6232/statm: 3887633 46403 3516 1 0 3848735 0
[pid=6232/tid=6233] ppid=6230 vsize=15550532 memory=8112282956445269571 CPUtime=0.54 cores=0,2,4,6
/proc/6232/task/6233/stat : 6233 (java) S 6230 6230 3331 0 -1 1077944384 9624 0 0 0 50 4 0 0 20 0 19 0 410526000 15923744768 46403 33554432000 4194304 4196468 140722247994592 139743811093632 139743806863061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7475200 140722247996399 140722247996570 140722247996570 140722247999439 0
[pid=6232/tid=6234] ppid=6230 vsize=15550532 memory=-7003737579269690708 CPUtime=0.34 cores=0,2,4,6
/proc/6232/task/6234/stat : 6234 (java) S 6230 6230 3331 0 -1 1077944384 2005 0 0 0 30 4 0 0 20 0 19 0 410526000 15923744768 46403 33554432000 4194304 4196468 140722247994592 139743743089808 139743806863061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7475200 140722247996399 140722247996570 140722247996570 140722247999439 0
[pid=6232/tid=6235] ppid=6230 vsize=15550532 memory=10604 CPUtime=0.34 cores=0,2,4,6
/proc/6232/task/6235/stat : 6235 (java) S 6230 6230 3331 0 -1 1077944384 2722 0 0 0 30 4 0 0 20 0 19 0 410526000 15923744768 46403 33554432000 4194304 4196468 140722247994592 139743742037008 139743806863061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7475200 140722247996399 140722247996570 140722247996570 140722247999439 0
[pid=6232/tid=6236] ppid=6230 vsize=15550532 memory=3360 CPUtime=0.33 cores=0,2,4,6
/proc/6232/task/6236/stat : 6236 (java) S 6230 6230 3331 0 -1 1077944384 2584 0 0 0 29 4 0 0 20 0 19 0 410526000 15923744768 46403 33554432000 4194304 4196468 140722247994592 139743396944784 139743806863061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7475200 140722247996399 140722247996570 140722247996570 140722247999439 0
[pid=6232/tid=6237] ppid=6230 vsize=15550532 memory=776 CPUtime=0.34 cores=0,2,4,6
/proc/6232/task/6237/stat : 6237 (java) S 6230 6230 3331 0 -1 1077944384 2081 0 0 0 30 4 0 0 20 0 19 0 410526000 15923744768 46403 33554432000 4194304 4196468 140722247994592 139743395891984 139743806863061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7475200 140722247996399 140722247996570 140722247996570 140722247999439 0
[pid=6232/tid=6238] ppid=6230 vsize=15550532 memory=1564 CPUtime=0.23 cores=0,2,4,6
/proc/6232/task/6238/stat : 6238 (java) S 6230 6230 3331 0 -1 1077944384 2728 0 0 0 13 10 0 0 20 0 19 0 410526002 15923744768 46403 33554432000 4194304 4196468 140722247994592 139743342643568 139743806864002 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 30 0 0 6293624 6294260 7475200 140722247996399 140722247996570 140722247996570 140722247999439 0
[pid=6232/tid=6239] ppid=6230 vsize=15550532 memory=5964 CPUtime=0 cores=0,2,4,6
/proc/6232/task/6239/stat : 6239 (java) S 6230 6230 3331 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 19 0 410526002 15923744768 46403 33554432000 4194304 4196468 140722247994592 139743341589536 139743806863061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7475200 140722247996399 140722247996570 140722247996570 140722247999439 0
[pid=6232/tid=6240] ppid=6230 vsize=15550532 memory=1060 CPUtime=0 cores=0,2,4,6
/proc/6232/task/6240/stat : 6240 (java) S 6230 6230 3331 0 -1 1077944384 81 0 0 0 0 0 0 0 20 0 19 0 410526003 15923744768 46403 33554432000 4194304 4196468 140722247994592 139743340536688 139743806863061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7475200 140722247996399 140722247996570 140722247996570 140722247999439 0
[pid=6232/tid=6241] ppid=6230 vsize=15550532 memory=20700 CPUtime=0 cores=0,2,4,6
/proc/6232/task/6241/stat : 6241 (java) S 6230 6230 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 410526005 15923744768 46403 33554432000 4194304 4196468 140722247994592 139743339485008 139743806871451 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7475200 140722247996399 140722247996570 140722247996570 140722247999439 0
[pid=6232/tid=6242] ppid=6230 vsize=15550532 memory=14048 CPUtime=2.16 cores=0,2,4,6
/proc/6232/task/6242/stat : 6242 (java) S 6230 6230 3331 0 -1 1077944384 11078 0 0 0 216 0 0 0 20 0 19 0 410526005 15923744768 46403 33554432000 4194304 4196468 140722247994592 139743270529904 139743806864002 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 31 0 0 6293624 6294260 7475200 140722247996399 140722247996570 140722247996570 140722247999439 0
[pid=6232/tid=6243] ppid=6230 vsize=15550532 memory=2124 CPUtime=2.06 cores=0,2,4,6
/proc/6232/task/6243/stat : 6243 (java) S 6230 6230 3331 0 -1 1077944384 14169 0 0 0 205 1 0 0 20 0 19 0 410526005 15923744768 46403 33554432000 4194304 4196468 140722247994592 139743269477104 139743806864002 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7475200 140722247996399 140722247996570 140722247996570 140722247999439 0
[pid=6232/tid=6244] ppid=6230 vsize=15550532 memory=500 CPUtime=0.59 cores=0,2,4,6
/proc/6232/task/6244/stat : 6244 (java) S 6230 6230 3331 0 -1 1077944384 8873 0 0 0 58 1 0 0 20 0 19 0 410526005 15923744768 46403 33554432000 4194304 4196468 140722247994592 139743268424304 139743806864002 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7475200 140722247996399 140722247996570 140722247996570 140722247999439 0
[pid=6232/tid=6245] ppid=6230 vsize=15550532 memory=1556 CPUtime=0 cores=0,2,4,6
/proc/6232/task/6245/stat : 6245 (java) S 6230 6230 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 410526005 15923744768 46403 33554432000 4194304 4196468 140722247994592 139743267371744 139743806863061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7475200 140722247996399 140722247996570 140722247996570 140722247999439 0
[pid=6232/tid=6246] ppid=6230 vsize=15550532 memory=928 CPUtime=0.08 cores=0,2,4,6
/proc/6232/task/6246/stat : 6246 (java) S 6230 6230 3331 0 -1 1077944384 905 0 0 0 8 0 0 0 20 0 19 0 410526006 15923744768 46403 33554432000 4194304 4196468 140722247994592 139743266319024 139743806864002 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 28 0 0 6293624 6294260 7475200 140722247996399 140722247996570 140722247996570 140722247999439 0
[pid=6232/tid=6386] ppid=6230 vsize=15550532 memory=1760 CPUtime=237.01 cores=0,2,4,6
/proc/6232/task/6386/stat : 6386 (java) S 6230 6230 3331 0 -1 1077944384 1089 0 0 0 23701 0 0 0 20 0 19 0 410528000 15923744768 46403 33554432000 4194304 4196468 140722247994592 139743257349696 139743806863061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7475200 140722247996399 140722247996570 140722247996570 140722247999439 0
[pid=6232/tid=6387] ppid=6230 vsize=15550532 memory=824 CPUtime=237.19 cores=0,2,4,6
/proc/6232/task/6387/stat : 6387 (java) S 6230 6230 3331 0 -1 1077944384 2084 0 0 0 23719 0 0 0 20 0 19 0 410528000 15923744768 46403 33554432000 4194304 4196468 140722247994592 139743256298256 139743806863061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7475200 140722247996399 140722247996570 140722247996570 140722247999439 0
[pid=6232/tid=6388] ppid=6230 vsize=15550532 memory=1436 CPUtime=237.52 cores=0,2,4,6
/proc/6232/task/6388/stat : 6388 (java) S 6230 6230 3331 0 -1 1077944384 2888 0 0 0 23751 1 0 0 20 0 19 0 410528000 15923744768 46403 33554432000 4194304 4196468 140722247994592 139743252087440 139743806863061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7475200 140722247996399 140722247996570 140722247996570 140722247999439 0
[pid=6232/tid=6389] ppid=6230 vsize=15550532 memory=1984 CPUtime=244.09 cores=0,2,4,6
/proc/6232/task/6389/stat : 6389 (java) R 6230 6230 3331 0 -1 4202560 813 0 0 0 24409 0 0 0 20 0 19 0 410528000 15923744768 46403 33554432000 4194304 4196468 140722247994592 139743254188288 139743428024441 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7475200 140722247996399 140722247996570 140722247996570 140722247999439 0
Current children cumulated CPU time: 1015.62 s
Current children cumulated vsize: 15663660 KiB
Current children cumulated memory: 187060 KiB
[startup+266.401 s]
/proc/loadavg: 8.02 8.21 7.92 6/238 6415
/proc/meminfo: memFree=19131644/32770624 swapFree=66959216/67108860
[pid=6230] ppid=6227 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/6230/stat : 6230 (xcsp3-exec) S 6227 6230 3331 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 410525999 115843072 362 33554432000 4194304 5098028 140733631988624 140733631986728 140570636923516 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 7372800 140733631996795 140733631997037 140733631997037 140733631999946 0
/proc/6230/statm: 28282 362 304 221 0 87 0
[pid=6232] ppid=6230 vsize=15550532 memory=185612 CPUtime=1016.01 cores=0,2,4,6
/proc/6232/stat : 6232 (java) S 6230 6230 3331 0 -1 1077944320 70696 0 0 0 101560 41 0 0 20 0 19 0 410525999 15923744768 46403 33554432000 4194304 4196468 140722247994592 140722247977136 139743806852855 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 7475200 140722247996399 140722247996570 140722247996570 140722247999439 0
/proc/6232/statm: 3887633 46403 3516 1 0 3848735 0
[pid=6232/tid=6233] ppid=6230 vsize=15550532 memory=23719 CPUtime=0.54 cores=0,2,4,6
/proc/6232/task/6233/stat : 6233 (java) S 6230 6230 3331 0 -1 1077944384 9624 0 0 0 50 4 0 0 20 0 19 0 410526000 15923744768 46403 33554432000 4194304 4196468 140722247994592 139743811093632 139743806863061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7475200 140722247996399 140722247996570 140722247996570 140722247999439 0
[pid=6232/tid=6234] ppid=6230 vsize=15550532 memory=23752 CPUtime=0.34 cores=0,2,4,6
/proc/6232/task/6234/stat : 6234 (java) S 6230 6230 3331 0 -1 1077944384 2005 0 0 0 30 4 0 0 20 0 19 0 410526000 15923744768 46403 33554432000 4194304 4196468 140722247994592 139743743089808 139743806863061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7475200 140722247996399 140722247996570 140722247996570 140722247999439 0
[pid=6232/tid=6235] ppid=6230 vsize=15550532 memory=24388 CPUtime=0.34 cores=0,2,4,6
/proc/6232/task/6235/stat : 6235 (java) S 6230 6230 3331 0 -1 1077944384 2722 0 0 0 30 4 0 0 20 0 19 0 410526000 15923744768 46403 33554432000 4194304 4196468 140722247994592 139743742037008 139743806863061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7475200 140722247996399 140722247996570 140722247996570 140722247999439 0
[pid=6232/tid=6236] ppid=6230 vsize=15550532 memory=8112282956445269571 CPUtime=0.33 cores=0,2,4,6
/proc/6232/task/6236/stat : 6236 (java) S 6230 6230 3331 0 -1 1077944384 2584 0 0 0 29 4 0 0 20 0 19 0 410526000 15923744768 46403 33554432000 4194304 4196468 140722247994592 139743396944784 139743806863061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7475200 140722247996399 140722247996570 140722247996570 140722247999439 0
[pid=6232/tid=6237] ppid=6230 vsize=15550532 memory=5964 CPUtime=0.34 cores=0,2,4,6
/proc/6232/task/6237/stat : 6237 (java) S 6230 6230 3331 0 -1 1077944384 2081 0 0 0 30 4 0 0 20 0 19 0 410526000 15923744768 46403 33554432000 4194304 4196468 140722247994592 139743395891984 139743806863061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7475200 140722247996399 140722247996570 140722247996570 140722247999439 0
[pid=6232/tid=6238] ppid=6230 vsize=15550532 memory=1060 CPUtime=0.23 cores=0,2,4,6
/proc/6232/task/6238/stat : 6238 (java) S 6230 6230 3331 0 -1 1077944384 2728 0 0 0 13 10 0 0 20 0 19 0 410526002 15923744768 46403 33554432000 4194304 4196468 140722247994592 139743342643568 139743806864002 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 30 0 0 6293624 6294260 7475200 140722247996399 140722247996570 140722247996570 140722247999439 0
[pid=6232/tid=6239] ppid=6230 vsize=15550532 memory=2828 CPUtime=0 cores=0,2,4,6
/proc/6232/task/6239/stat : 6239 (java) S 6230 6230 3331 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 19 0 410526002 15923744768 46403 33554432000 4194304 4196468 140722247994592 139743341589536 139743806863061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7475200 140722247996399 140722247996570 140722247996570 140722247999439 0
[pid=6232/tid=6240] ppid=6230 vsize=15550532 memory=1216 CPUtime=0 cores=0,2,4,6
/proc/6232/task/6240/stat : 6240 (java) S 6230 6230 3331 0 -1 1077944384 81 0 0 0 0 0 0 0 20 0 19 0 410526003 15923744768 46403 33554432000 4194304 4196468 140722247994592 139743340536688 139743806863061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7475200 140722247996399 140722247996570 140722247996570 140722247999439 0
[pid=6232/tid=6241] ppid=6230 vsize=15550532 memory=984 CPUtime=0 cores=0,2,4,6
/proc/6232/task/6241/stat : 6241 (java) S 6230 6230 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 410526005 15923744768 46403 33554432000 4194304 4196468 140722247994592 139743339485008 139743806871451 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7475200 140722247996399 140722247996570 140722247996570 140722247999439 0
[pid=6232/tid=6242] ppid=6230 vsize=15550532 memory=14004 CPUtime=2.16 cores=0,2,4,6
/proc/6232/task/6242/stat : 6242 (java) S 6230 6230 3331 0 -1 1077944384 11078 0 0 0 216 0 0 0 20 0 19 0 410526005 15923744768 46403 33554432000 4194304 4196468 140722247994592 139743270529904 139743806864002 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 31 0 0 6293624 6294260 7475200 140722247996399 140722247996570 140722247996570 140722247999439 0
[pid=6232/tid=6243] ppid=6230 vsize=15550532 memory=8112282956445269571 CPUtime=2.06 cores=0,2,4,6
/proc/6232/task/6243/stat : 6243 (java) S 6230 6230 3331 0 -1 1077944384 14169 0 0 0 205 1 0 0 20 0 19 0 410526005 15923744768 46403 33554432000 4194304 4196468 140722247994592 139743269477104 139743806864002 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7475200 140722247996399 140722247996570 140722247996570 140722247999439 0
[pid=6232/tid=6244] ppid=6230 vsize=15550532 memory=984 CPUtime=0.59 cores=0,2,4,6
/proc/6232/task/6244/stat : 6244 (java) S 6230 6230 3331 0 -1 1077944384 8873 0 0 0 58 1 0 0 20 0 19 0 410526005 15923744768 46403 33554432000 4194304 4196468 140722247994592 139743268424304 139743806864002 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7475200 140722247996399 140722247996570 140722247996570 140722247999439 0
[pid=6232/tid=6245] ppid=6230 vsize=15550532 memory=14004 CPUtime=0 cores=0,2,4,6
/proc/6232/task/6245/stat : 6245 (java) S 6230 6230 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 410526005 15923744768 46403 33554432000 4194304 4196468 140722247994592 139743267371744 139743806863061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7475200 140722247996399 140722247996570 140722247996570 140722247999439 0
[pid=6232/tid=6246] ppid=6230 vsize=15550532 memory=20700 CPUtime=0.08 cores=0,2,4,6
/proc/6232/task/6246/stat : 6246 (java) S 6230 6230 3331 0 -1 1077944384 905 0 0 0 8 0 0 0 20 0 19 0 410526006 15923744768 46403 33554432000 4194304 4196468 140722247994592 139743266319024 139743806864002 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 28 0 0 6293624 6294260 7475200 140722247996399 140722247996570 140722247996570 140722247999439 0
[pid=6232/tid=6386] ppid=6230 vsize=15550532 memory=14048 CPUtime=237.01 cores=0,2,4,6
/proc/6232/task/6386/stat : 6386 (java) S 6230 6230 3331 0 -1 1077944384 1089 0 0 0 23701 0 0 0 20 0 19 0 410528000 15923744768 46403 33554432000 4194304 4196468 140722247994592 139743257349696 139743806863061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7475200 140722247996399 140722247996570 140722247996570 140722247999439 0
[pid=6232/tid=6387] ppid=6230 vsize=15550532 memory=2124 CPUtime=237.19 cores=0,2,4,6
/proc/6232/task/6387/stat : 6387 (java) S 6230 6230 3331 0 -1 1077944384 2084 0 0 0 23719 0 0 0 20 0 19 0 410528000 15923744768 46403 33554432000 4194304 4196468 140722247994592 139743256298256 139743806863061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7475200 140722247996399 140722247996570 140722247996570 140722247999439 0
[pid=6232/tid=6388] ppid=6230 vsize=15550532 memory=500 CPUtime=237.52 cores=0,2,4,6
/proc/6232/task/6388/stat : 6388 (java) S 6230 6230 3331 0 -1 1077944384 2888 0 0 0 23751 1 0 0 20 0 19 0 410528000 15923744768 46403 33554432000 4194304 4196468 140722247994592 139743252087440 139743806863061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7475200 140722247996399 140722247996570 140722247996570 140722247999439 0
[pid=6232/tid=6389] ppid=6230 vsize=15550532 memory=1448 CPUtime=244.48 cores=0,2,4,6
/proc/6232/task/6389/stat : 6389 (java) R 6230 6230 3331 0 -1 4202560 813 0 0 0 24448 0 0 0 20 0 19 0 410528000 15923744768 46403 33554432000 4194304 4196468 140722247994592 139743254188288 139743428023255 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7475200 140722247996399 140722247996570 140722247996570 140722247999439 0
Current children cumulated CPU time: 1016.01 s
Current children cumulated vsize: 15663660 KiB
Current children cumulated memory: 187060 KiB
[startup+266.501 s]
/proc/loadavg: 8.02 8.21 7.92 6/238 6415
/proc/meminfo: memFree=19131644/32770624 swapFree=66959216/67108860
[pid=6230] ppid=6227 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/6230/stat : 6230 (xcsp3-exec) S 6227 6230 3331 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 410525999 115843072 362 33554432000 4194304 5098028 140733631988624 140733631986728 140570636923516 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 7372800 140733631996795 140733631997037 140733631997037 140733631999946 0
/proc/6230/statm: 28282 362 304 221 0 87 0
[pid=6232] ppid=6230 vsize=15550532 memory=185612 CPUtime=1016.11 cores=0,2,4,6
/proc/6232/stat : 6232 (java) S 6230 6230 3331 0 -1 1077944320 70696 0 0 0 101570 41 0 0 20 0 19 0 410525999 15923744768 46403 33554432000 4194304 4196468 140722247994592 140722247977136 139743806852855 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 7475200 140722247996399 140722247996570 140722247996570 140722247999439 0
/proc/6232/statm: 3887633 46403 3516 1 0 3848735 0
[pid=6232/tid=6233] ppid=6230 vsize=15550532 memory=1448 CPUtime=0.54 cores=0,2,4,6
/proc/6232/task/6233/stat : 6233 (java) S 6230 6230 3331 0 -1 1077944384 9624 0 0 0 50 4 0 0 20 0 19 0 410526000 15923744768 46403 33554432000 4194304 4196468 140722247994592 139743811093632 139743806863061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7475200 140722247996399 140722247996570 140722247996570 140722247999439 0
[pid=6232/tid=6234] ppid=6230 vsize=15550532 memory=185612 CPUtime=0.34 cores=0,2,4,6
/proc/6232/task/6234/stat : 6234 (java) S 6230 6230 3331 0 -1 1077944384 2005 0 0 0 30 4 0 0 20 0 19 0 410526000 15923744768 46403 33554432000 4194304 4196468 140722247994592 139743743089808 139743806863061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7475200 140722247996399 140722247996570 140722247996570 140722247999439 0
[pid=6232/tid=6235] ppid=6230 vsize=15550532 memory=185612 CPUtime=0.34 cores=0,2,4,6
/proc/6232/task/6235/stat : 6235 (java) S 6230 6230 3331 0 -1 1077944384 2722 0 0 0 30 4 0 0 20 0 19 0 410526000 15923744768 46403 33554432000 4194304 4196468 140722247994592 139743742037008 139743806863061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7475200 140722247996399 140722247996570 140722247996570 140722247999439 0
[pid=6232/tid=6236] ppid=6230 vsize=15550532 memory=185612 CPUtime=0.33 cores=0,2,4,6
/proc/6232/task/6236/stat : 6236 (java) S 6230 6230 3331 0 -1 1077944384 2584 0 0 0 29 4 0 0 20 0 19 0 410526000 15923744768 46403 33554432000 4194304 4196468 140722247994592 139743396944784 139743806863061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7475200 140722247996399 140722247996570 140722247996570 140722247999439 0
[pid=6232/tid=6237] ppid=6230 vsize=15550532 memory=185612 CPUtime=0.34 cores=0,2,4,6
/proc/6232/task/6237/stat : 6237 (java) S 6230 6230 3331 0 -1 1077944384 2081 0 0 0 30 4 0 0 20 0 19 0 410526000 15923744768 46403 33554432000 4194304 4196468 140722247994592 139743395891984 139743806863061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7475200 140722247996399 140722247996570 140722247996570 140722247999439 0
[pid=6232/tid=6238] ppid=6230 vsize=15550532 memory=185612 CPUtime=0.23 cores=0,2,4,6
/proc/6232/task/6238/stat : 6238 (java) S 6230 6230 3331 0 -1 1077944384 2728 0 0 0 13 10 0 0 20 0 19 0 410526002 15923744768 46403 33554432000 4194304 4196468 140722247994592 139743342643568 139743806864002 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 30 0 0 6293624 6294260 7475200 140722247996399 140722247996570 140722247996570 140722247999439 0
[pid=6232/tid=6239] ppid=6230 vsize=15550532 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/6232/task/6239/stat : 6239 (java) S 6230 6230 3331 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 19 0 410526002 15923744768 46403 33554432000 4194304 4196468 140722247994592 139743341589536 139743806863061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7475200 140722247996399 140722247996570 140722247996570 140722247999439 0
[pid=6232/tid=6240] ppid=6230 vsize=15550532 memory=183564 CPUtime=0 cores=0,2,4,6
/proc/6232/task/6240/stat : 6240 (java) S 6230 6230 3331 0 -1 1077944384 81 0 0 0 0 0 0 0 20 0 19 0 410526003 15923744768 46403 33554432000 4194304 4196468 140722247994592 139743340536688 139743806863061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7475200 140722247996399 140722247996570 140722247996570 140722247999439 0
[pid=6232/tid=6241] ppid=6230 vsize=15550532 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/6232/task/6241/stat : 6241 (java) S 6230 6230 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 410526005 15923744768 46403 33554432000 4194304 4196468 140722247994592 139743339485008 139743806871451 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7475200 140722247996399 140722247996570 140722247996570 140722247999439 0
[pid=6232/tid=6242] ppid=6230 vsize=15550532 memory=1448 CPUtime=2.16 cores=0,2,4,6
/proc/6232/task/6242/stat : 6242 (java) S 6230 6230 3331 0 -1 1077944384 11078 0 0 0 216 0 0 0 20 0 19 0 410526005 15923744768 46403 33554432000 4194304 4196468 140722247994592 139743270529904 139743806864002 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 31 0 0 6293624 6294260 7475200 140722247996399 140722247996570 140722247996570 140722247999439 0
[pid=6232/tid=6243] ppid=6230 vsize=15550532 memory=1448 CPUtime=2.06 cores=0,2,4,6
/proc/6232/task/6243/stat : 6243 (java) S 6230 6230 3331 0 -1 1077944384 14169 0 0 0 205 1 0 0 20 0 19 0 410526005 15923744768 46403 33554432000 4194304 4196468 140722247994592 139743269477104 139743806864002 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7475200 140722247996399 140722247996570 140722247996570 140722247999439 0
[pid=6232/tid=6244] ppid=6230 vsize=15550532 memory=1448 CPUtime=0.59 cores=0,2,4,6
/proc/6232/task/6244/stat : 6244 (java) S 6230 6230 3331 0 -1 1077944384 8873 0 0 0 58 1 0 0 20 0 19 0 410526005 15923744768 46403 33554432000 4194304 4196468 140722247994592 139743268424304 139743806864002 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7475200 140722247996399 140722247996570 140722247996570 140722247999439 0
[pid=6232/tid=6245] ppid=6230 vsize=15550532 memory=185612 CPUtime=0 cores=0,2,4,6
/proc/6232/task/6245/stat : 6245 (java) S 6230 6230 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 410526005 15923744768 46403 33554432000 4194304 4196468 140722247994592 139743267371744 139743806863061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7475200 140722247996399 140722247996570 140722247996570 140722247999439 0
[pid=6232/tid=6246] ppid=6230 vsize=15550532 memory=1448 CPUtime=0.08 cores=0,2,4,6
/proc/6232/task/6246/stat : 6246 (java) S 6230 6230 3331 0 -1 1077944384 905 0 0 0 8 0 0 0 20 0 19 0 410526006 15923744768 46403 33554432000 4194304 4196468 140722247994592 139743266319024 139743806864002 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 28 0 0 6293624 6294260 7475200 140722247996399 140722247996570 140722247996570 140722247999439 0
[pid=6232/tid=6386] ppid=6230 vsize=15550532 memory=1808 CPUtime=237.01 cores=0,2,4,6
/proc/6232/task/6386/stat : 6386 (java) S 6230 6230 3331 0 -1 1077944384 1089 0 0 0 23701 0 0 0 20 0 19 0 410528000 15923744768 46403 33554432000 4194304 4196468 140722247994592 139743257349696 139743806863061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7475200 140722247996399 140722247996570 140722247996570 140722247999439 0
[pid=6232/tid=6387] ppid=6230 vsize=15550532 memory=8112282956445269571 CPUtime=237.19 cores=0,2,4,6
/proc/6232/task/6387/stat : 6387 (java) S 6230 6230 3331 0 -1 1077944384 2084 0 0 0 23719 0 0 0 20 0 19 0 410528000 15923744768 46403 33554432000 4194304 4196468 140722247994592 139743256298256 139743806863061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7475200 140722247996399 140722247996570 140722247996570 140722247999439 0
[pid=6232/tid=6388] ppid=6230 vsize=15550532 memory=1448 CPUtime=237.52 cores=0,2,4,6
/proc/6232/task/6388/stat : 6388 (java) S 6230 6230 3331 0 -1 1077944384 2888 0 0 0 23751 1 0 0 20 0 19 0 410528000 15923744768 46403 33554432000 4194304 4196468 140722247994592 139743252087440 139743806863061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7475200 140722247996399 140722247996570 140722247996570 140722247999439 0
[pid=6232/tid=6389] ppid=6230 vsize=15550532 memory=3620 CPUtime=244.58 cores=0,2,4,6
/proc/6232/task/6389/stat : 6389 (java) R 6230 6230 3331 0 -1 4202560 813 0 0 0 24458 0 0 0 20 0 19 0 410528000 15923744768 46403 33554432000 4194304 4196468 140722247994592 139743254188288 139743428024372 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7475200 140722247996399 140722247996570 140722247996570 140722247999439 0
Current children cumulated CPU time: 1016.11 s
Current children cumulated vsize: 15663660 KiB
Current children cumulated memory: 187060 KiB
Child status: 0
Real time (s): 266.576
CPU time (s): 1016.2
CPU user time (s): 1015.78
CPU system time (s): 0.419205
CPU usage (%): 381.202
Max. virtual memory (cumulated for all children) (KiB): 15663660
Max. memory (cumulated for all children) (KiB): 237508
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1015.78
system time used= 0.419205
maximum resident set size= 241120
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 71885
page faults= 0
swaps= 0
block input operations= 0
block output operations= 432
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12830
involuntary context switches= 18696
# summary of solver processes directly reported to runsolver:
# pid: 6230
# total CPU time (s): 1016.2
# total CPU user time (s): 1015.78
# total CPU system time (s): 0.419205
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.70431 second user time and 3.14283 second system time
The end