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 (15260 MiB free)
memory of node 1: 16384 MiB (15411 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393057-1568351889/watcher-4393057-1568351889 -o /tmp/evaluation-result-4393057-1568351889/solver-4393057-1568351889 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1568348173-2741 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 187741018 HOME/instance-4393057-1568351889.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
solver pid=2778, runsolver pid=2774
Current StackSize limit: 8192 KiB
[startup+0.100092 s]*
/proc/loadavg: 0.92 1.00 1.11 5/228 2802
/proc/meminfo: memFree=31382584/32770624 swapFree=66921440/67108860
[pid=2778] ppid=2774 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/2778/stat : 2778 (xcsp3-exec) S 2774 2778 2710 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 411444957 115843072 363 33554432000 4194304 5098028 140720702318672 140720702316776 140304723677820 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 40529920 140720702321531 140720702321773 140720702321773 140720702324682 0
/proc/2778/statm: 28282 363 304 221 0 87 0
[pid=2780] ppid=2778 vsize=15144768 memory=29420 CPUtime=0.12 cores=0,2,4,6
/proc/2780/stat : 2780 (java) S 2778 2778 2710 0 -1 1077944320 5763 0 0 0 11 1 0 0 20 0 15 0 411444957 15508242432 7355 33554432000 4194304 4196468 140727862448512 140727862431056 140466558361335 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 17674240 140727862453231 140727862453402 140727862453402 140727862456271 0
/proc/2780/statm: 3786192 7355 3152 1 0 3748377 0
[pid=2780/tid=2783] ppid=2778 vsize=15144768 memory=-2698087569006908830 CPUtime=0.09 cores=0,2,4,6
/proc/2780/task/2783/stat : 2783 (java) R 2778 2778 2710 0 -1 4202560 3714 0 0 0 8 1 0 0 20 0 15 0 411444958 15508242432 7355 33554432000 4194304 4196468 140727862448512 140466562594224 140466558373270 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17674240 140727862453231 140727862453402 140727862453402 140727862456271 0
[pid=2780/tid=2784] ppid=2778 vsize=15144768 memory=-3689349214911541841 CPUtime=0 cores=0,2,4,6
/proc/2780/task/2784/stat : 2784 (java) S 2778 2778 2710 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411444958 15508242432 7355 33554432000 4194304 4196468 140727862448512 140466510981776 140466558371541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17674240 140727862453231 140727862453402 140727862453402 140727862456271 0
[pid=2780/tid=2785] ppid=2778 vsize=15144768 memory=140490301638272 CPUtime=0 cores=0,2,4,6
/proc/2780/task/2785/stat : 2785 (java) S 2778 2778 2710 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411444958 15508242432 7355 33554432000 4194304 4196468 140727862448512 140466509928976 140466558371541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17674240 140727862453231 140727862453402 140727862453402 140727862456271 0
[pid=2780/tid=2786] ppid=2778 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2780/task/2786/stat : 2786 (java) S 2778 2778 2710 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411444958 15508242432 7355 33554432000 4194304 4196468 140727862448512 140466508876176 140466558371541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17674240 140727862453231 140727862453402 140727862453402 140727862456271 0
[pid=2780/tid=2787] ppid=2778 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2780/task/2787/stat : 2787 (java) S 2778 2778 2710 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411444958 15508242432 7355 33554432000 4194304 4196468 140727862448512 140466507823376 140466558371541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17674240 140727862453231 140727862453402 140727862453402 140727862456271 0
[pid=2780/tid=2788] ppid=2778 vsize=15144768 memory=140490301638272 CPUtime=0 cores=0,2,4,6
/proc/2780/task/2788/stat : 2788 (java) S 2778 2778 2710 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411444960 15508242432 7355 33554432000 4194304 4196468 140727862448512 140465700920176 140466558372482 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17674240 140727862453231 140727862453402 140727862453402 140727862456271 0
[pid=2780/tid=2794] ppid=2778 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2780/task/2794/stat : 2794 (java) S 2778 2778 2710 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 411444960 15508242432 7355 33554432000 4194304 4196468 140727862448512 140465699866144 140466558371541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17674240 140727862453231 140727862453402 140727862453402 140727862456271 0
[pid=2780/tid=2796] ppid=2778 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2780/task/2796/stat : 2796 (java) S 2778 2778 2710 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 411444961 15508242432 7355 33554432000 4194304 4196468 140727862448512 140465698813296 140466558371541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17674240 140727862453231 140727862453402 140727862453402 140727862456271 0
[pid=2780/tid=2797] ppid=2778 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2780/task/2797/stat : 2797 (java) S 2778 2778 2710 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411444963 15508242432 7355 33554432000 4194304 4196468 140727862448512 140465630341456 140466558379931 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17674240 140727862453231 140727862453402 140727862453402 140727862456271 0
[pid=2780/tid=2798] ppid=2778 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2780/task/2798/stat : 2798 (java) R 2778 2778 2710 0 -1 4202560 421 0 0 0 0 0 0 0 20 0 15 0 411444963 15508242432 7355 33554432000 4194304 4196468 140727862448512 140465629288912 140466551346377 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17674240 140727862453231 140727862453402 140727862453402 140727862456271 0
[pid=2780/tid=2799] ppid=2778 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2780/task/2799/stat : 2799 (java) R 2778 2778 2710 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411444963 15508242432 7355 33554432000 4194304 4196468 140727862448512 140465628236016 140466558372482 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17674240 140727862453231 140727862453402 140727862453402 140727862456271 0
[pid=2780/tid=2800] ppid=2778 vsize=15144768 memory=140490301638272 CPUtime=0.01 cores=0,2,4,6
/proc/2780/task/2800/stat : 2800 (java) R 2778 2778 2710 0 -1 4202560 321 0 0 0 1 0 0 0 20 0 15 0 411444963 15508242432 7355 33554432000 4194304 4196468 140727862448512 140465627183216 140466558373270 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17674240 140727862453231 140727862453402 140727862453402 140727862456271 0
[pid=2780/tid=2801] ppid=2778 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2780/task/2801/stat : 2801 (java) S 2778 2778 2710 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411444963 15508242432 7355 33554432000 4194304 4196468 140727862448512 140465626130656 140466558371541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17674240 140727862453231 140727862453402 140727862453402 140727862456271 0
[pid=2780/tid=2802] ppid=2778 vsize=15144768 memory=140490301638272 CPUtime=0 cores=0,2,4,6
/proc/2780/task/2802/stat : 2802 (java) S 2778 2778 2710 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411444963 15508242432 7355 33554432000 4194304 4196468 140727862448512 140465625078960 140466558372482 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17674240 140727862453231 140727862453402 140727862453402 140727862456271 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 30872 KiB
[startup+0.210778 s]*
/proc/loadavg: 0.92 1.00 1.11 4/228 2802
/proc/meminfo: memFree=31357084/32770624 swapFree=66921440/67108860
[pid=2778] ppid=2774 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/2778/stat : 2778 (xcsp3-exec) S 2774 2778 2710 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 411444957 115843072 363 33554432000 4194304 5098028 140720702318672 140720702316776 140304723677820 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 40529920 140720702321531 140720702321773 140720702321773 140720702324682 0
/proc/2778/statm: 28282 363 304 221 0 87 0
[pid=2780] ppid=2778 vsize=15144768 memory=41100 CPUtime=0.34 cores=0,2,4,6
/proc/2780/stat : 2780 (java) S 2778 2778 2710 0 -1 1077944320 9446 0 0 0 31 3 0 0 20 0 15 0 411444957 15508242432 10275 33554432000 4194304 4196468 140727862448512 140727862431056 140466558361335 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 17674240 140727862453231 140727862453402 140727862453402 140727862456271 0
/proc/2780/statm: 3786192 10275 3316 1 0 3748377 0
[pid=2780/tid=2783] ppid=2778 vsize=15144768 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/2780/task/2783/stat : 2783 (java) R 2778 2778 2710 0 -1 4202560 6583 0 0 0 18 2 0 0 20 0 15 0 411444958 15508242432 10275 33554432000 4194304 4196468 140727862448512 140466562591056 140466542441822 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17674240 140727862453231 140727862453402 140727862453402 140727862456271 0
[pid=2780/tid=2784] ppid=2778 vsize=15144768 memory=10592 CPUtime=0 cores=0,2,4,6
/proc/2780/task/2784/stat : 2784 (java) S 2778 2778 2710 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411444958 15508242432 10275 33554432000 4194304 4196468 140727862448512 140466510981776 140466558371541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17674240 140727862453231 140727862453402 140727862453402 140727862456271 0
[pid=2780/tid=2785] ppid=2778 vsize=15144768 memory=140490301654539 CPUtime=0 cores=0,2,4,6
/proc/2780/task/2785/stat : 2785 (java) S 2778 2778 2710 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411444958 15508242432 10275 33554432000 4194304 4196468 140727862448512 140466509928976 140466558371541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17674240 140727862453231 140727862453402 140727862453402 140727862456271 0
[pid=2780/tid=2786] ppid=2778 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2780/task/2786/stat : 2786 (java) S 2778 2778 2710 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411444958 15508242432 10275 33554432000 4194304 4196468 140727862448512 140466508876176 140466558371541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17674240 140727862453231 140727862453402 140727862453402 140727862456271 0
[pid=2780/tid=2787] ppid=2778 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2780/task/2787/stat : 2787 (java) S 2778 2778 2710 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411444958 15508242432 10275 33554432000 4194304 4196468 140727862448512 140466507823376 140466558371541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17674240 140727862453231 140727862453402 140727862453402 140727862456271 0
[pid=2780/tid=2788] ppid=2778 vsize=15144768 memory=140490301638272 CPUtime=0 cores=0,2,4,6
/proc/2780/task/2788/stat : 2788 (java) S 2778 2778 2710 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 411444960 15508242432 10275 33554432000 4194304 4196468 140727862448512 140465700920176 140466558372482 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17674240 140727862453231 140727862453402 140727862453402 140727862456271 0
[pid=2780/tid=2794] ppid=2778 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2780/task/2794/stat : 2794 (java) S 2778 2778 2710 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 411444960 15508242432 10275 33554432000 4194304 4196468 140727862448512 140465699866144 140466558371541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17674240 140727862453231 140727862453402 140727862453402 140727862456271 0
[pid=2780/tid=2796] ppid=2778 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2780/task/2796/stat : 2796 (java) S 2778 2778 2710 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 411444961 15508242432 10275 33554432000 4194304 4196468 140727862448512 140465698813296 140466558371541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17674240 140727862453231 140727862453402 140727862453402 140727862456271 0
[pid=2780/tid=2797] ppid=2778 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2780/task/2797/stat : 2797 (java) S 2778 2778 2710 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411444963 15508242432 10275 33554432000 4194304 4196468 140727862448512 140465630341456 140466558379931 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17674240 140727862453231 140727862453402 140727862453402 140727862456271 0
[pid=2780/tid=2798] ppid=2778 vsize=15144768 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/2780/task/2798/stat : 2798 (java) S 2778 2778 2710 0 -1 1077944384 735 0 0 0 3 0 0 0 20 0 15 0 411444963 15508242432 10275 33554432000 4194304 4196468 140727862448512 140465629288816 140466558372482 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17674240 140727862453231 140727862453402 140727862453402 140727862456271 0
[pid=2780/tid=2799] ppid=2778 vsize=15144768 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/2780/task/2799/stat : 2799 (java) S 2778 2778 2710 0 -1 1077944384 80 0 0 0 2 0 0 0 20 0 15 0 411444963 15508242432 10275 33554432000 4194304 4196468 140727862448512 140465628236016 140466558372482 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17674240 140727862453231 140727862453402 140727862453402 140727862456271 0
[pid=2780/tid=2800] ppid=2778 vsize=15144768 memory=140490301638272 CPUtime=0.07 cores=0,2,4,6
/proc/2780/task/2800/stat : 2800 (java) S 2778 2778 2710 0 -1 1077944384 745 0 0 0 7 0 0 0 20 0 15 0 411444963 15508242432 10275 33554432000 4194304 4196468 140727862448512 140465627183216 140466558372482 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17674240 140727862453231 140727862453402 140727862453402 140727862456271 0
[pid=2780/tid=2801] ppid=2778 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2780/task/2801/stat : 2801 (java) S 2778 2778 2710 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411444963 15508242432 10275 33554432000 4194304 4196468 140727862448512 140465626130656 140466558371541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17674240 140727862453231 140727862453402 140727862453402 140727862456271 0
[pid=2780/tid=2802] ppid=2778 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2780/task/2802/stat : 2802 (java) S 2778 2778 2710 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411444963 15508242432 10275 33554432000 4194304 4196468 140727862448512 140465625078960 140466558372482 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17674240 140727862453231 140727862453402 140727862453402 140727862456271 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 42552 KiB
[startup+0.312143 s]*
/proc/loadavg: 0.92 1.00 1.11 5/228 2802
/proc/meminfo: memFree=31344560/32770624 swapFree=66921440/67108860
[pid=2778] ppid=2774 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/2778/stat : 2778 (xcsp3-exec) S 2774 2778 2710 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 411444957 115843072 363 33554432000 4194304 5098028 140720702318672 140720702316776 140304723677820 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 40529920 140720702321531 140720702321773 140720702321773 140720702324682 0
/proc/2778/statm: 28282 363 304 221 0 87 0
[pid=2780] ppid=2778 vsize=15149024 memory=49800 CPUtime=0.52 cores=0,2,4,6
/proc/2780/stat : 2780 (java) S 2778 2778 2710 0 -1 1077944320 10775 0 0 0 49 3 0 0 20 0 15 0 411444957 15512600576 12450 33554432000 4194304 4196468 140727862448512 140727862431056 140466558361335 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 17674240 140727862453231 140727862453402 140727862453402 140727862456271 0
/proc/2780/statm: 3787256 12450 3358 1 0 3748377 0
[pid=2780/tid=2783] ppid=2778 vsize=15149024 memory=8317482817917895235 CPUtime=0.3 cores=0,2,4,6
/proc/2780/task/2783/stat : 2783 (java) R 2778 2778 2710 0 -1 4202560 7700 0 0 0 27 3 0 0 20 0 15 0 411444958 15512600576 12450 33554432000 4194304 4196468 140727862448512 140466562593920 140466542441822 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17674240 140727862453231 140727862453402 140727862453402 140727862456271 0
[pid=2780/tid=2784] ppid=2778 vsize=15149024 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/2780/task/2784/stat : 2784 (java) S 2778 2778 2710 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411444958 15512600576 12450 33554432000 4194304 4196468 140727862448512 140466510981776 140466558371541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17674240 140727862453231 140727862453402 140727862453402 140727862456271 0
[pid=2780/tid=2785] ppid=2778 vsize=15149024 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/2780/task/2785/stat : 2785 (java) S 2778 2778 2710 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411444958 15512600576 12450 33554432000 4194304 4196468 140727862448512 140466509928976 140466558371541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17674240 140727862453231 140727862453402 140727862453402 140727862456271 0
[pid=2780/tid=2786] ppid=2778 vsize=15149024 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/2780/task/2786/stat : 2786 (java) S 2778 2778 2710 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411444958 15512600576 12450 33554432000 4194304 4196468 140727862448512 140466508876176 140466558371541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17674240 140727862453231 140727862453402 140727862453402 140727862456271 0
[pid=2780/tid=2787] ppid=2778 vsize=15149024 memory=-5587046532246807594 CPUtime=0 cores=0,2,4,6
/proc/2780/task/2787/stat : 2787 (java) S 2778 2778 2710 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411444958 15512600576 12450 33554432000 4194304 4196468 140727862448512 140466507823376 140466558371541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17674240 140727862453231 140727862453402 140727862453402 140727862456271 0
[pid=2780/tid=2788] ppid=2778 vsize=15149024 memory=7307460107981921142 CPUtime=0 cores=0,2,4,6
/proc/2780/task/2788/stat : 2788 (java) S 2778 2778 2710 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 411444960 15512600576 12450 33554432000 4194304 4196468 140727862448512 140465700920176 140466558372482 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17674240 140727862453231 140727862453402 140727862453402 140727862456271 0
[pid=2780/tid=2794] ppid=2778 vsize=15149024 memory=7016714186490735262 CPUtime=0 cores=0,2,4,6
/proc/2780/task/2794/stat : 2794 (java) S 2778 2778 2710 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 411444960 15512600576 12450 33554432000 4194304 4196468 140727862448512 140465699866144 140466558371541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17674240 140727862453231 140727862453402 140727862453402 140727862456271 0
[pid=2780/tid=2796] ppid=2778 vsize=15149024 memory=-9062862659931694204 CPUtime=0 cores=0,2,4,6
/proc/2780/task/2796/stat : 2796 (java) S 2778 2778 2710 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 411444961 15512600576 12450 33554432000 4194304 4196468 140727862448512 140465698813296 140466558371541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17674240 140727862453231 140727862453402 140727862453402 140727862456271 0
[pid=2780/tid=2797] ppid=2778 vsize=15149024 memory=3047711566422646390 CPUtime=0 cores=0,2,4,6
/proc/2780/task/2797/stat : 2797 (java) S 2778 2778 2710 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411444963 15512600576 12450 33554432000 4194304 4196468 140727862448512 140465630341456 140466558379931 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17674240 140727862453231 140727862453402 140727862453402 140727862456271 0
[pid=2780/tid=2798] ppid=2778 vsize=15149024 memory=-8412656567168561567 CPUtime=0.05 cores=0,2,4,6
/proc/2780/task/2798/stat : 2798 (java) R 2778 2778 2710 0 -1 4202560 833 0 0 0 5 0 0 0 20 0 15 0 411444963 15512600576 12450 33554432000 4194304 4196468 140727862448512 140465629288816 140466536250464 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17674240 140727862453231 140727862453402 140727862453402 140727862456271 0
[pid=2780/tid=2799] ppid=2778 vsize=15149024 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/2780/task/2799/stat : 2799 (java) R 2778 2778 2710 0 -1 1077944384 119 0 0 0 4 0 0 0 20 0 15 0 411444963 15512600576 12450 33554432000 4194304 4196468 140727862448512 140465628236016 140466558372482 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17674240 140727862453231 140727862453402 140727862453402 140727862456271 0
[pid=2780/tid=2800] ppid=2778 vsize=15149024 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/2780/task/2800/stat : 2800 (java) S 2778 2778 2710 0 -1 1077944384 838 0 0 0 12 0 0 0 20 0 15 0 411444963 15512600576 12450 33554432000 4194304 4196468 140727862448512 140465627183216 140466558372482 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17674240 140727862453231 140727862453402 140727862453402 140727862456271 0
[pid=2780/tid=2801] ppid=2778 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2780/task/2801/stat : 2801 (java) S 2778 2778 2710 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411444963 15512600576 12450 33554432000 4194304 4196468 140727862448512 140465626130656 140466558371541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17674240 140727862453231 140727862453402 140727862453402 140727862456271 0
[pid=2780/tid=2802] ppid=2778 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2780/task/2802/stat : 2802 (java) R 2778 2778 2710 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411444963 15512600576 12450 33554432000 4194304 4196468 140727862448512 140465625078960 140466558372482 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17674240 140727862453231 140727862453402 140727862453402 140727862456271 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 51252 KiB
[startup+0.700844 s]
/proc/loadavg: 0.92 1.00 1.11 8/228 2802
/proc/meminfo: memFree=31306120/32770624 swapFree=66921440/67108860
[pid=2778] ppid=2774 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/2778/stat : 2778 (xcsp3-exec) S 2774 2778 2710 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 411444957 115843072 363 33554432000 4194304 5098028 140720702318672 140720702316776 140304723677820 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 40529920 140720702321531 140720702321773 140720702321773 140720702324682 0
/proc/2778/statm: 28282 363 304 221 0 87 0
[pid=2780] ppid=2778 vsize=15417404 memory=92068 CPUtime=1.7 cores=0,2,4,6
/proc/2780/stat : 2780 (java) S 2778 2778 2710 0 -1 1077944320 14857 0 0 0 165 5 0 0 20 0 19 0 411444957 15787421696 23017 33554432000 4194304 4196468 140727862448512 140727862431056 140466558361335 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 17674240 140727862453231 140727862453402 140727862453402 140727862456271 0
/proc/2780/statm: 3854351 23017 3455 1 0 3815453 0
[pid=2780/tid=2783] ppid=2778 vsize=15417404 memory=0 CPUtime=0.56 cores=0,2,4,6
/proc/2780/task/2783/stat : 2783 (java) S 2778 2778 2710 0 -1 1077944384 9051 0 0 0 53 3 0 0 20 0 19 0 411444958 15787421696 23017 33554432000 4194304 4196468 140727862448512 140466562602112 140466558371541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17674240 140727862453231 140727862453402 140727862453402 140727862456271 0
[pid=2780/tid=2784] ppid=2778 vsize=15417404 memory=33 CPUtime=0 cores=0,2,4,6
/proc/2780/task/2784/stat : 2784 (java) S 2778 2778 2710 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 411444958 15787421696 23017 33554432000 4194304 4196468 140727862448512 140466510981776 140466558371541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17674240 140727862453231 140727862453402 140727862453402 140727862456271 0
[pid=2780/tid=2785] ppid=2778 vsize=15417404 memory=-7816663703405220396 CPUtime=0 cores=0,2,4,6
/proc/2780/task/2785/stat : 2785 (java) S 2778 2778 2710 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 411444958 15787421696 23017 33554432000 4194304 4196468 140727862448512 140466509928976 140466558371541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17674240 140727862453231 140727862453402 140727862453402 140727862456271 0
[pid=2780/tid=2786] ppid=2778 vsize=15417404 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2780/task/2786/stat : 2786 (java) S 2778 2778 2710 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 411444958 15787421696 23017 33554432000 4194304 4196468 140727862448512 140466508876176 140466558371541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17674240 140727862453231 140727862453402 140727862453402 140727862456271 0
[pid=2780/tid=2787] ppid=2778 vsize=15417404 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2780/task/2787/stat : 2787 (java) S 2778 2778 2710 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 411444958 15787421696 23017 33554432000 4194304 4196468 140727862448512 140466507823376 140466558371541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17674240 140727862453231 140727862453402 140727862453402 140727862456271 0
[pid=2780/tid=2788] ppid=2778 vsize=15417404 memory=18256 CPUtime=0 cores=0,2,4,6
/proc/2780/task/2788/stat : 2788 (java) S 2778 2778 2710 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 19 0 411444960 15787421696 23017 33554432000 4194304 4196468 140727862448512 140465700920176 140466558372482 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17674240 140727862453231 140727862453402 140727862453402 140727862456271 0
[pid=2780/tid=2794] ppid=2778 vsize=15417404 memory=988 CPUtime=0 cores=0,2,4,6
/proc/2780/task/2794/stat : 2794 (java) S 2778 2778 2710 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 411444960 15787421696 23017 33554432000 4194304 4196468 140727862448512 140465699866144 140466558371541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17674240 140727862453231 140727862453402 140727862453402 140727862456271 0
[pid=2780/tid=2796] ppid=2778 vsize=15417404 memory=2016 CPUtime=0 cores=0,2,4,6
/proc/2780/task/2796/stat : 2796 (java) S 2778 2778 2710 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 411444961 15787421696 23017 33554432000 4194304 4196468 140727862448512 140465698813296 140466558371541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17674240 140727862453231 140727862453402 140727862453402 140727862456271 0
[pid=2780/tid=2797] ppid=2778 vsize=15417404 memory=1284 CPUtime=0 cores=0,2,4,6
/proc/2780/task/2797/stat : 2797 (java) S 2778 2778 2710 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411444963 15787421696 23017 33554432000 4194304 4196468 140727862448512 140465630341456 140466558379931 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17674240 140727862453231 140727862453402 140727862453402 140727862456271 0
[pid=2780/tid=2798] ppid=2778 vsize=15417404 memory=1044 CPUtime=0.31 cores=0,2,4,6
/proc/2780/task/2798/stat : 2798 (java) R 2778 2778 2710 0 -1 4202560 1591 0 0 0 31 0 0 0 20 0 19 0 411444963 15787421696 23017 33554432000 4194304 4196468 140727862448512 140465629275360 140466538081296 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17674240 140727862453231 140727862453402 140727862453402 140727862456271 0
[pid=2780/tid=2799] ppid=2778 vsize=15417404 memory=708 CPUtime=0.23 cores=0,2,4,6
/proc/2780/task/2799/stat : 2799 (java) R 2778 2778 2710 0 -1 4202560 970 0 0 0 23 0 0 0 20 0 19 0 411444963 15787421696 23017 33554432000 4194304 4196468 140727862448512 140465628224080 140466539060906 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17674240 140727862453231 140727862453402 140727862453402 140727862456271 0
[pid=2780/tid=2800] ppid=2778 vsize=15417404 memory=9364 CPUtime=0.35 cores=0,2,4,6
/proc/2780/task/2800/stat : 2800 (java) R 2778 2778 2710 0 -1 1077944384 1789 0 0 0 35 0 0 0 20 0 19 0 411444963 15787421696 23017 33554432000 4194304 4196468 140727862448512 140465627183216 140466558372482 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17674240 140727862453231 140727862453402 140727862453402 140727862456271 0
[pid=2780/tid=2801] ppid=2778 vsize=15417404 memory=1120 CPUtime=0 cores=0,2,4,6
/proc/2780/task/2801/stat : 2801 (java) S 2778 2778 2710 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411444963 15787421696 23017 33554432000 4194304 4196468 140727862448512 140465626130656 140466558371541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17674240 140727862453231 140727862453402 140727862453402 140727862456271 0
[pid=2780/tid=2802] ppid=2778 vsize=15417404 memory=776 CPUtime=0 cores=0,2,4,6
/proc/2780/task/2802/stat : 2802 (java) S 2778 2778 2710 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 411444963 15787421696 23017 33554432000 4194304 4196468 140727862448512 140465625078960 140466558372482 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17674240 140727862453231 140727862453402 140727862453402 140727862456271 0
Current children cumulated CPU time: 1.7 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 93520 KiB
[startup+1.50285 s]
/proc/loadavg: 0.92 1.00 1.11 13/236 2810
/proc/meminfo: memFree=31246612/32770624 swapFree=66921440/67108860
[pid=2778] ppid=2774 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/2778/stat : 2778 (xcsp3-exec) S 2774 2778 2710 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 411444957 115843072 363 33554432000 4194304 5098028 140720702318672 140720702316776 140304723677820 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 40529920 140720702321531 140720702321773 140720702321773 140720702324682 0
/proc/2778/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 224340 KiB
[startup+93.0008 s]
/proc/loadavg: 7.09 3.06 1.83 9/236 2896
/proc/meminfo: memFree=30997716/32770624 swapFree=66921440/67108860
[pid=2778] ppid=2774 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/2778/stat : 2778 (xcsp3-exec) S 2774 2778 2710 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 411444957 115843072 363 33554432000 4194304 5098028 140720702318672 140720702316776 140304723677820 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 40529920 140720702321531 140720702321773 140720702321773 140720702324682 0
/proc/2778/statm: 28282 363 304 221 0 87 0
[pid=2780] ppid=2778 vsize=15417404 memory=222888 CPUtime=369.02 cores=0,2,4,6
/proc/2780/stat : 2780 (java) S 2778 2778 2710 0 -1 1077944320 46999 0 0 0 36881 21 0 0 20 0 19 0 411444957 15787421696 55722 33554432000 4194304 4196468 140727862448512 140727862431056 140466558361335 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 17674240 140727862453231 140727862453402 140727862453402 140727862456271 0
/proc/2780/statm: 3854351 55722 3531 1 0 3815453 0
[pid=2780/tid=2783] ppid=2778 vsize=15417404 memory=804 CPUtime=0.56 cores=0,2,4,6
/proc/2780/task/2783/stat : 2783 (java) S 2778 2778 2710 0 -1 1077944384 9051 0 0 0 53 3 0 0 20 0 19 0 411444958 15787421696 55722 33554432000 4194304 4196468 140727862448512 140466562602112 140466558371541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17674240 140727862453231 140727862453402 140727862453402 140727862456271 0
[pid=2780/tid=2784] ppid=2778 vsize=15417404 memory=8112282956445269571 CPUtime=0.04 cores=0,2,4,6
/proc/2780/task/2784/stat : 2784 (java) S 2778 2778 2710 0 -1 1077944384 1091 0 0 0 3 1 0 0 20 0 19 0 411444958 15787421696 55722 33554432000 4194304 4196468 140727862448512 140466510981776 140466558371541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17674240 140727862453231 140727862453402 140727862453402 140727862456271 0
[pid=2780/tid=2785] ppid=2778 vsize=15417404 memory=7964 CPUtime=0.04 cores=0,2,4,6
/proc/2780/task/2785/stat : 2785 (java) S 2778 2778 2710 0 -1 1077944384 1737 0 0 0 3 1 0 0 20 0 19 0 411444958 15787421696 55722 33554432000 4194304 4196468 140727862448512 140466509928976 140466558371541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17674240 140727862453231 140727862453402 140727862453402 140727862456271 0
[pid=2780/tid=2786] ppid=2778 vsize=15417404 memory=3444 CPUtime=0.04 cores=0,2,4,6
/proc/2780/task/2786/stat : 2786 (java) S 2778 2778 2710 0 -1 1077944384 584 0 0 0 3 1 0 0 20 0 19 0 411444958 15787421696 55722 33554432000 4194304 4196468 140727862448512 140466508876176 140466558371541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17674240 140727862453231 140727862453402 140727862453402 140727862456271 0
[pid=2780/tid=2787] ppid=2778 vsize=15417404 memory=1556 CPUtime=0.04 cores=0,2,4,6
/proc/2780/task/2787/stat : 2787 (java) S 2778 2778 2710 0 -1 1077944384 711 0 0 0 3 1 0 0 20 0 19 0 411444958 15787421696 55722 33554432000 4194304 4196468 140727862448512 140466507823376 140466558371541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17674240 140727862453231 140727862453402 140727862453402 140727862456271 0
[pid=2780/tid=2788] ppid=2778 vsize=15417404 memory=1452 CPUtime=0.01 cores=0,2,4,6
/proc/2780/task/2788/stat : 2788 (java) S 2778 2778 2710 0 -1 1077944384 1036 0 0 0 1 0 0 0 20 0 19 0 411444960 15787421696 55722 33554432000 4194304 4196468 140727862448512 140465700920176 140466558372482 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17674240 140727862453231 140727862453402 140727862453402 140727862456271 0
[pid=2780/tid=2794] ppid=2778 vsize=15417404 memory=222888 CPUtime=0 cores=0,2,4,6
/proc/2780/task/2794/stat : 2794 (java) S 2778 2778 2710 0 -1 1077944384 97 0 0 0 0 0 0 0 20 0 19 0 411444960 15787421696 55722 33554432000 4194304 4196468 140727862448512 140465699866208 140466558371541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17674240 140727862453231 140727862453402 140727862453402 140727862456271 0
[pid=2780/tid=2796] ppid=2778 vsize=15417404 memory=496 CPUtime=0 cores=0,2,4,6
/proc/2780/task/2796/stat : 2796 (java) S 2778 2778 2710 0 -1 1077944384 127 0 0 0 0 0 0 0 20 0 19 0 411444961 15787421696 55722 33554432000 4194304 4196468 140727862448512 140465698813312 140466558371541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17674240 140727862453231 140727862453402 140727862453402 140727862456271 0
[pid=2780/tid=2797] ppid=2778 vsize=15417404 memory=1560 CPUtime=0 cores=0,2,4,6
/proc/2780/task/2797/stat : 2797 (java) S 2778 2778 2710 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411444963 15787421696 55722 33554432000 4194304 4196468 140727862448512 140465630341456 140466558379931 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17674240 140727862453231 140727862453402 140727862453402 140727862456271 0
[pid=2780/tid=2798] ppid=2778 vsize=15417404 memory=1452 CPUtime=2.15 cores=0,2,4,6
/proc/2780/task/2798/stat : 2798 (java) S 2778 2778 2710 0 -1 1077944384 9984 0 0 0 212 3 0 0 20 0 19 0 411444963 15787421696 55722 33554432000 4194304 4196468 140727862448512 140465629288816 140466558372482 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17674240 140727862453231 140727862453402 140727862453402 140727862456271 0
[pid=2780/tid=2799] ppid=2778 vsize=15417404 memory=222888 CPUtime=1.8 cores=0,2,4,6
/proc/2780/task/2799/stat : 2799 (java) S 2778 2778 2710 0 -1 1077944384 9192 0 0 0 179 1 0 0 20 0 19 0 411444963 15787421696 55722 33554432000 4194304 4196468 140727862448512 140465628236016 140466558372482 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17674240 140727862453231 140727862453402 140727862453402 140727862456271 0
[pid=2780/tid=2800] ppid=2778 vsize=15417404 memory=988 CPUtime=0.58 cores=0,2,4,6
/proc/2780/task/2800/stat : 2800 (java) S 2778 2778 2710 0 -1 1077944384 6564 0 0 0 57 1 0 0 20 0 19 0 411444963 15787421696 55722 33554432000 4194304 4196468 140727862448512 140465627183216 140466558372482 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17674240 140727862453231 140727862453402 140727862453402 140727862456271 0
[pid=2780/tid=2801] ppid=2778 vsize=15417404 memory=2016 CPUtime=0 cores=0,2,4,6
/proc/2780/task/2801/stat : 2801 (java) S 2778 2778 2710 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411444963 15787421696 55722 33554432000 4194304 4196468 140727862448512 140465626130656 140466558371541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17674240 140727862453231 140727862453402 140727862453402 140727862456271 0
[pid=2780/tid=2802] ppid=2778 vsize=15417404 memory=1284 CPUtime=0.02 cores=0,2,4,6
/proc/2780/task/2802/stat : 2802 (java) S 2778 2778 2710 0 -1 1077944384 839 0 0 0 0 2 0 0 20 0 19 0 411444963 15787421696 55722 33554432000 4194304 4196468 140727862448512 140465625078960 140466558372482 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17674240 140727862453231 140727862453402 140727862453402 140727862456271 0
[pid=2780/tid=2807] ppid=2778 vsize=15417404 memory=2016 CPUtime=91.05 cores=0,2,4,6
/proc/2780/task/2807/stat : 2807 (java) R 2778 2778 2710 0 -1 4202560 689 0 0 0 9103 2 0 0 20 0 19 0 411445016 15787421696 55722 33554432000 4194304 4196468 140727862448512 140465616107616 140466189168265 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17674240 140727862453231 140727862453402 140727862453402 140727862456271 0
[pid=2780/tid=2808] ppid=2778 vsize=15417404 memory=1284 CPUtime=90.36 cores=0,2,4,6
/proc/2780/task/2808/stat : 2808 (java) R 2778 2778 2710 0 -1 4202560 1754 0 0 0 9035 1 0 0 20 0 19 0 411445016 15787421696 55722 33554432000 4194304 4196468 140727862448512 140465615053112 140466189458617 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17674240 140727862453231 140727862453402 140727862453402 140727862456271 0
[pid=2780/tid=2809] ppid=2778 vsize=15417404 memory=1044 CPUtime=91.15 cores=0,2,4,6
/proc/2780/task/2809/stat : 2809 (java) R 2778 2778 2710 0 -1 4202560 480 0 0 0 9113 2 0 0 20 0 19 0 411445016 15787421696 55722 33554432000 4194304 4196468 140727862448512 140465614000064 140466189402098 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17674240 140727862453231 140727862453402 140727862453402 140727862456271 0
[pid=2780/tid=2810] ppid=2778 vsize=15417404 memory=708 CPUtime=91.06 cores=0,2,4,6
/proc/2780/task/2810/stat : 2810 (java) R 2778 2778 2710 0 -1 4202560 1821 0 0 0 9106 0 0 0 20 0 19 0 411445016 15787421696 55722 33554432000 4194304 4196468 140727862448512 140465612947464 140466189421767 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17674240 140727862453231 140727862453402 140727862453402 140727862456271 0
Current children cumulated CPU time: 369.02 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 224340 KiB
[startup+93.8008 s]
/proc/loadavg: 7.16 3.14 1.87 9/236 2896
/proc/meminfo: memFree=30997716/32770624 swapFree=66921440/67108860
[pid=2778] ppid=2774 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/2778/stat : 2778 (xcsp3-exec) S 2774 2778 2710 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 411444957 115843072 363 33554432000 4194304 5098028 140720702318672 140720702316776 140304723677820 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 40529920 140720702321531 140720702321773 140720702321773 140720702324682 0
/proc/2778/statm: 28282 363 304 221 0 87 0
[pid=2780] ppid=2778 vsize=15417404 memory=222888 CPUtime=372.2 cores=0,2,4,6
/proc/2780/stat : 2780 (java) S 2778 2778 2710 0 -1 1077944320 46999 0 0 0 37199 21 0 0 20 0 19 0 411444957 15787421696 55722 33554432000 4194304 4196468 140727862448512 140727862431056 140466558361335 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 17674240 140727862453231 140727862453402 140727862453402 140727862456271 0
/proc/2780/statm: 3854351 55722 3531 1 0 3815453 0
[pid=2780/tid=2783] ppid=2778 vsize=15417404 memory=3580 CPUtime=0.56 cores=0,2,4,6
/proc/2780/task/2783/stat : 2783 (java) S 2778 2778 2710 0 -1 1077944384 9051 0 0 0 53 3 0 0 20 0 19 0 411444958 15787421696 55722 33554432000 4194304 4196468 140727862448512 140466562602112 140466558371541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17674240 140727862453231 140727862453402 140727862453402 140727862456271 0
[pid=2780/tid=2784] ppid=2778 vsize=15417404 memory=8112282956445269571 CPUtime=0.04 cores=0,2,4,6
/proc/2780/task/2784/stat : 2784 (java) S 2778 2778 2710 0 -1 1077944384 1091 0 0 0 3 1 0 0 20 0 19 0 411444958 15787421696 55722 33554432000 4194304 4196468 140727862448512 140466510981776 140466558371541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17674240 140727862453231 140727862453402 140727862453402 140727862456271 0
[pid=2780/tid=2785] ppid=2778 vsize=15417404 memory=776 CPUtime=0.04 cores=0,2,4,6
/proc/2780/task/2785/stat : 2785 (java) S 2778 2778 2710 0 -1 1077944384 1737 0 0 0 3 1 0 0 20 0 19 0 411444958 15787421696 55722 33554432000 4194304 4196468 140727862448512 140466509928976 140466558371541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17674240 140727862453231 140727862453402 140727862453402 140727862456271 0
[pid=2780/tid=2786] ppid=2778 vsize=15417404 memory=1552 CPUtime=0.04 cores=0,2,4,6
/proc/2780/task/2786/stat : 2786 (java) S 2778 2778 2710 0 -1 1077944384 584 0 0 0 3 1 0 0 20 0 19 0 411444958 15787421696 55722 33554432000 4194304 4196468 140727862448512 140466508876176 140466558371541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17674240 140727862453231 140727862453402 140727862453402 140727862456271 0
[pid=2780/tid=2787] ppid=2778 vsize=15417404 memory=7964 CPUtime=0.04 cores=0,2,4,6
/proc/2780/task/2787/stat : 2787 (java) S 2778 2778 2710 0 -1 1077944384 711 0 0 0 3 1 0 0 20 0 19 0 411444958 15787421696 55722 33554432000 4194304 4196468 140727862448512 140466507823376 140466558371541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17674240 140727862453231 140727862453402 140727862453402 140727862456271 0
[pid=2780/tid=2788] ppid=2778 vsize=15417404 memory=3444 CPUtime=0.01 cores=0,2,4,6
/proc/2780/task/2788/stat : 2788 (java) S 2778 2778 2710 0 -1 1077944384 1036 0 0 0 1 0 0 0 20 0 19 0 411444960 15787421696 55722 33554432000 4194304 4196468 140727862448512 140465700920176 140466558372482 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17674240 140727862453231 140727862453402 140727862453402 140727862456271 0
[pid=2780/tid=2794] ppid=2778 vsize=15417404 memory=988 CPUtime=0 cores=0,2,4,6
/proc/2780/task/2794/stat : 2794 (java) S 2778 2778 2710 0 -1 1077944384 97 0 0 0 0 0 0 0 20 0 19 0 411444960 15787421696 55722 33554432000 4194304 4196468 140727862448512 140465699866208 140466558371541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17674240 140727862453231 140727862453402 140727862453402 140727862456271 0
[pid=2780/tid=2796] ppid=2778 vsize=15417404 memory=2016 CPUtime=0 cores=0,2,4,6
/proc/2780/task/2796/stat : 2796 (java) S 2778 2778 2710 0 -1 1077944384 127 0 0 0 0 0 0 0 20 0 19 0 411444961 15787421696 55722 33554432000 4194304 4196468 140727862448512 140465698813312 140466558371541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17674240 140727862453231 140727862453402 140727862453402 140727862456271 0
[pid=2780/tid=2797] ppid=2778 vsize=15417404 memory=1284 CPUtime=0 cores=0,2,4,6
/proc/2780/task/2797/stat : 2797 (java) S 2778 2778 2710 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411444963 15787421696 55722 33554432000 4194304 4196468 140727862448512 140465630341456 140466558379931 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17674240 140727862453231 140727862453402 140727862453402 140727862456271 0
[pid=2780/tid=2798] ppid=2778 vsize=15417404 memory=1044 CPUtime=2.15 cores=0,2,4,6
/proc/2780/task/2798/stat : 2798 (java) S 2778 2778 2710 0 -1 1077944384 9984 0 0 0 212 3 0 0 20 0 19 0 411444963 15787421696 55722 33554432000 4194304 4196468 140727862448512 140465629288816 140466558372482 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17674240 140727862453231 140727862453402 140727862453402 140727862456271 0
[pid=2780/tid=2799] ppid=2778 vsize=15417404 memory=708 CPUtime=1.8 cores=0,2,4,6
/proc/2780/task/2799/stat : 2799 (java) S 2778 2778 2710 0 -1 1077944384 9192 0 0 0 179 1 0 0 20 0 19 0 411444963 15787421696 55722 33554432000 4194304 4196468 140727862448512 140465628236016 140466558372482 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17674240 140727862453231 140727862453402 140727862453402 140727862456271 0
[pid=2780/tid=2800] ppid=2778 vsize=15417404 memory=2832 CPUtime=0.58 cores=0,2,4,6
/proc/2780/task/2800/stat : 2800 (java) S 2778 2778 2710 0 -1 1077944384 6564 0 0 0 57 1 0 0 20 0 19 0 411444963 15787421696 55722 33554432000 4194304 4196468 140727862448512 140465627183216 140466558372482 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17674240 140727862453231 140727862453402 140727862453402 140727862456271 0
[pid=2780/tid=2801] ppid=2778 vsize=15417404 memory=984 CPUtime=0 cores=0,2,4,6
/proc/2780/task/2801/stat : 2801 (java) S 2778 2778 2710 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411444963 15787421696 55722 33554432000 4194304 4196468 140727862448512 140465626130656 140466558371541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17674240 140727862453231 140727862453402 140727862453402 140727862456271 0
[pid=2780/tid=2802] ppid=2778 vsize=15417404 memory=14012 CPUtime=0.02 cores=0,2,4,6
/proc/2780/task/2802/stat : 2802 (java) S 2778 2778 2710 0 -1 1077944384 839 0 0 0 0 2 0 0 20 0 19 0 411444963 15787421696 55722 33554432000 4194304 4196468 140727862448512 140465625078960 140466558372482 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17674240 140727862453231 140727862453402 140727862453402 140727862456271 0
[pid=2780/tid=2807] ppid=2778 vsize=15417404 memory=5692 CPUtime=91.83 cores=0,2,4,6
/proc/2780/task/2807/stat : 2807 (java) R 2778 2778 2710 0 -1 4202560 689 0 0 0 9181 2 0 0 20 0 19 0 411445016 15787421696 55722 33554432000 4194304 4196468 140727862448512 140465616107616 140466189490031 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17674240 140727862453231 140727862453402 140727862453402 140727862456271 0
[pid=2780/tid=2808] ppid=2778 vsize=15417404 memory=2120 CPUtime=91.16 cores=0,2,4,6
/proc/2780/task/2808/stat : 2808 (java) R 2778 2778 2710 0 -1 4202560 1754 0 0 0 9115 1 0 0 20 0 19 0 411445016 15787421696 55722 33554432000 4194304 4196468 140727862448512 140465615053112 140466189490279 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17674240 140727862453231 140727862453402 140727862453402 140727862456271 0
[pid=2780/tid=2809] ppid=2778 vsize=15417404 memory=12020 CPUtime=91.95 cores=0,2,4,6
/proc/2780/task/2809/stat : 2809 (java) R 2778 2778 2710 0 -1 4202560 480 0 0 0 9193 2 0 0 20 0 19 0 411445016 15787421696 55722 33554432000 4194304 4196468 140727862448512 140465614000064 140466189459014 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17674240 140727862453231 140727862453402 140727862453402 140727862456271 0
[pid=2780/tid=2810] ppid=2778 vsize=15417404 memory=496 CPUtime=91.86 cores=0,2,4,6
/proc/2780/task/2810/stat : 2810 (java) R 2778 2778 2710 0 -1 4202560 1821 0 0 0 9186 0 0 0 20 0 19 0 411445016 15787421696 55722 33554432000 4194304 4196468 140727862448512 140465612947464 140466189403509 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17674240 140727862453231 140727862453402 140727862453402 140727862456271 0
Current children cumulated CPU time: 372.2 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 224340 KiB
[startup+94.2008 s]*
/proc/loadavg: 7.16 3.14 1.87 9/236 2896
/proc/meminfo: memFree=30997716/32770624 swapFree=66921440/67108860
[pid=2778] ppid=2774 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/2778/stat : 2778 (xcsp3-exec) S 2774 2778 2710 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 411444957 115843072 363 33554432000 4194304 5098028 140720702318672 140720702316776 140304723677820 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 40529920 140720702321531 140720702321773 140720702321773 140720702324682 0
/proc/2778/statm: 28282 363 304 221 0 87 0
[pid=2780] ppid=2778 vsize=15417404 memory=222888 CPUtime=373.82 cores=0,2,4,6
/proc/2780/stat : 2780 (java) S 2778 2778 2710 0 -1 1077944320 46999 0 0 0 37361 21 0 0 20 0 19 0 411444957 15787421696 55722 33554432000 4194304 4196468 140727862448512 140727862431056 140466558361335 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 17674240 140727862453231 140727862453402 140727862453402 140727862456271 0
/proc/2780/statm: 3854351 55722 3531 1 0 3815453 0
[pid=2780/tid=2783] ppid=2778 vsize=15417404 memory=8317482817917895235 CPUtime=0.56 cores=0,2,4,6
/proc/2780/task/2783/stat : 2783 (java) S 2778 2778 2710 0 -1 1077944384 9051 0 0 0 53 3 0 0 20 0 19 0 411444958 15787421696 55722 33554432000 4194304 4196468 140727862448512 140466562602112 140466558371541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17674240 140727862453231 140727862453402 140727862453402 140727862456271 0
[pid=2780/tid=2784] ppid=2778 vsize=15417404 memory=-2672971631320983069 CPUtime=0.04 cores=0,2,4,6
/proc/2780/task/2784/stat : 2784 (java) S 2778 2778 2710 0 -1 1077944384 1091 0 0 0 3 1 0 0 20 0 19 0 411444958 15787421696 55722 33554432000 4194304 4196468 140727862448512 140466510981776 140466558371541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17674240 140727862453231 140727862453402 140727862453402 140727862456271 0
[pid=2780/tid=2785] ppid=2778 vsize=15417404 memory=-7357787915995474596 CPUtime=0.04 cores=0,2,4,6
/proc/2780/task/2785/stat : 2785 (java) S 2778 2778 2710 0 -1 1077944384 1737 0 0 0 3 1 0 0 20 0 19 0 411444958 15787421696 55722 33554432000 4194304 4196468 140727862448512 140466509928976 140466558371541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17674240 140727862453231 140727862453402 140727862453402 140727862456271 0
[pid=2780/tid=2786] ppid=2778 vsize=15417404 memory=-7812193691855986592 CPUtime=0.04 cores=0,2,4,6
/proc/2780/task/2786/stat : 2786 (java) S 2778 2778 2710 0 -1 1077944384 584 0 0 0 3 1 0 0 20 0 19 0 411444958 15787421696 55722 33554432000 4194304 4196468 140727862448512 140466508876176 140466558371541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17674240 140727862453231 140727862453402 140727862453402 140727862456271 0
[pid=2780/tid=2787] ppid=2778 vsize=15417404 memory=4126316290023845779 CPUtime=0.04 cores=0,2,4,6
/proc/2780/task/2787/stat : 2787 (java) S 2778 2778 2710 0 -1 1077944384 711 0 0 0 3 1 0 0 20 0 19 0 411444958 15787421696 55722 33554432000 4194304 4196468 140727862448512 140466507823376 140466558371541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17674240 140727862453231 140727862453402 140727862453402 140727862456271 0
[pid=2780/tid=2788] ppid=2778 vsize=15417404 memory=222888 CPUtime=0.01 cores=0,2,4,6
/proc/2780/task/2788/stat : 2788 (java) S 2778 2778 2710 0 -1 1077944384 1036 0 0 0 1 0 0 0 20 0 19 0 411444960 15787421696 55722 33554432000 4194304 4196468 140727862448512 140465700920176 140466558372482 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17674240 140727862453231 140727862453402 140727862453402 140727862456271 0
[pid=2780/tid=2794] ppid=2778 vsize=15417404 memory=6944613755445342871 CPUtime=0 cores=0,2,4,6
/proc/2780/task/2794/stat : 2794 (java) S 2778 2778 2710 0 -1 1077944384 97 0 0 0 0 0 0 0 20 0 19 0 411444960 15787421696 55722 33554432000 4194304 4196468 140727862448512 140465699866208 140466558371541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17674240 140727862453231 140727862453402 140727862453402 140727862456271 0
[pid=2780/tid=2796] ppid=2778 vsize=15417404 memory=7596557092442865725 CPUtime=0 cores=0,2,4,6
/proc/2780/task/2796/stat : 2796 (java) S 2778 2778 2710 0 -1 1077944384 127 0 0 0 0 0 0 0 20 0 19 0 411444961 15787421696 55722 33554432000 4194304 4196468 140727862448512 140465698813312 140466558371541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17674240 140727862453231 140727862453402 140727862453402 140727862456271 0
[pid=2780/tid=2797] ppid=2778 vsize=15417404 memory=11144 CPUtime=0 cores=0,2,4,6
/proc/2780/task/2797/stat : 2797 (java) S 2778 2778 2710 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411444963 15787421696 55722 33554432000 4194304 4196468 140727862448512 140465630341456 140466558379931 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17674240 140727862453231 140727862453402 140727862453402 140727862456271 0
[pid=2780/tid=2798] ppid=2778 vsize=15417404 memory=2843854 CPUtime=2.15 cores=0,2,4,6
/proc/2780/task/2798/stat : 2798 (java) S 2778 2778 2710 0 -1 1077944384 9984 0 0 0 212 3 0 0 20 0 19 0 411444963 15787421696 55722 33554432000 4194304 4196468 140727862448512 140465629288816 140466558372482 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17674240 140727862453231 140727862453402 140727862453402 140727862456271 0
[pid=2780/tid=2799] ppid=2778 vsize=15417404 memory=0 CPUtime=1.8 cores=0,2,4,6
/proc/2780/task/2799/stat : 2799 (java) S 2778 2778 2710 0 -1 1077944384 9192 0 0 0 179 1 0 0 20 0 19 0 411444963 15787421696 55722 33554432000 4194304 4196468 140727862448512 140465628236016 140466558372482 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17674240 140727862453231 140727862453402 140727862453402 140727862456271 0
[pid=2780/tid=2800] ppid=2778 vsize=15417404 memory=280980386465088 CPUtime=0.58 cores=0,2,4,6
/proc/2780/task/2800/stat : 2800 (java) S 2778 2778 2710 0 -1 1077944384 6564 0 0 0 57 1 0 0 20 0 19 0 411444963 15787421696 55722 33554432000 4194304 4196468 140727862448512 140465627183216 140466558372482 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17674240 140727862453231 140727862453402 140727862453402 140727862456271 0
[pid=2780/tid=2801] ppid=2778 vsize=15417404 memory=2110840800324628 CPUtime=0 cores=0,2,4,6
/proc/2780/task/2801/stat : 2801 (java) S 2778 2778 2710 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411444963 15787421696 55722 33554432000 4194304 4196468 140727862448512 140465626130656 140466558371541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17674240 140727862453231 140727862453402 140727862453402 140727862456271 0
[pid=2780/tid=2802] ppid=2778 vsize=15417404 memory=6944656592455360608 CPUtime=0.02 cores=0,2,4,6
/proc/2780/task/2802/stat : 2802 (java) S 2778 2778 2710 0 -1 1077944384 839 0 0 0 0 2 0 0 20 0 19 0 411444963 15787421696 55722 33554432000 4194304 4196468 140727862448512 140465625078960 140466558372482 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17674240 140727862453231 140727862453402 140727862453402 140727862456271 0
[pid=2780/tid=2807] ppid=2778 vsize=15417404 memory=6944656592455360608 CPUtime=92.23 cores=0,2,4,6
/proc/2780/task/2807/stat : 2807 (java) R 2778 2778 2710 0 -1 4202560 689 0 0 0 9221 2 0 0 20 0 19 0 411445016 15787421696 55722 33554432000 4194304 4196468 140727862448512 140465616107616 140466189309874 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17674240 140727862453231 140727862453402 140727862453402 140727862456271 0
[pid=2780/tid=2808] ppid=2778 vsize=15417404 memory=-7522837415797432224 CPUtime=91.57 cores=0,2,4,6
/proc/2780/task/2808/stat : 2808 (java) R 2778 2778 2710 0 -1 4202560 1754 0 0 0 9156 1 0 0 20 0 19 0 411445016 15787421696 55722 33554432000 4194304 4196468 140727862448512 140465615053112 140466189678226 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17674240 140727862453231 140727862453402 140727862453402 140727862456271 0
[pid=2780/tid=2809] ppid=2778 vsize=15417404 memory=6655300316396806240 CPUtime=92.36 cores=0,2,4,6
/proc/2780/task/2809/stat : 2809 (java) R 2778 2778 2710 0 -1 4202560 480 0 0 0 9234 2 0 0 20 0 19 0 411445016 15787421696 55722 33554432000 4194304 4196468 140727862448512 140465614000064 140466184334064 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17674240 140727862453231 140727862453402 140727862453402 140727862456271 0
[pid=2780/tid=2810] ppid=2778 vsize=15417404 memory=6944656425122832000 CPUtime=92.27 cores=0,2,4,6
/proc/2780/task/2810/stat : 2810 (java) R 2778 2778 2710 0 -1 4202560 1821 0 0 0 9227 0 0 0 20 0 19 0 411445016 15787421696 55722 33554432000 4194304 4196468 140727862448512 140465612947464 140466189169126 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17674240 140727862453231 140727862453402 140727862453402 140727862456271 0
Current children cumulated CPU time: 373.82 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 224340 KiB
[startup+94.3105 s]
/proc/loadavg: 7.16 3.14 1.87 9/236 2896
/proc/meminfo: memFree=30997716/32770624 swapFree=66921440/67108860
[pid=2778] ppid=2774 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/2778/stat : 2778 (xcsp3-exec) S 2774 2778 2710 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 411444957 115843072 363 33554432000 4194304 5098028 140720702318672 140720702316776 140304723677820 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 40529920 140720702321531 140720702321773 140720702321773 140720702324682 0
/proc/2778/statm: 28282 363 304 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1452 KiB
Child status: 0
Real time (s): 94.3123
CPU time (s): 374.188
CPU user time (s): 373.961
CPU system time (s): 0.226801
CPU usage (%): 396.754
Max. virtual memory (cumulated for all children) (KiB): 15530532
Max. memory (cumulated for all children) (KiB): 228468
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 373.961
system time used= 0.226801
maximum resident set size= 227016
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 48659
page faults= 0
swaps= 0
block input operations= 0
block output operations= 192
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4682
involuntary context switches= 7931
# summary of solver processes directly reported to runsolver:
# pid: 2778
# total CPU time (s): 374.188
# total CPU user time (s): 373.961
# total CPU system time (s): 0.226801
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.63132 second user time and 1.05112 second system time
The end