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 (3678 MiB free)
memory of node 1: 16384 MiB (6065 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4403992-1568990768/watcher-4403992-1568990768 -o /tmp/evaluation-result-4403992-1568990768/solver-4403992-1568990768 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node148-1568990731-2771 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 1840425008 HOME/instance-4403992-1568990768.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=2790, runsolver pid=2787
Current StackSize limit: 8192 KiB
[startup+0.100242 s]*
/proc/loadavg: 0.65 0.73 0.99 4/223 2825
/proc/meminfo: memFree=9949464/32770624 swapFree=67002124/67108860
[pid=2790] ppid=2787 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/2790/stat : 2790 (xcsp3-exec) S 2787 2790 2739 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475238358 115843072 362 33554432000 4194304 5098028 140734312782784 140734312780888 139730908062332 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 26394624 140734312784762 140734312785005 140734312785005 140734312787914 0
/proc/2790/statm: 28282 362 304 221 0 87 0
[pid=2792] ppid=2790 vsize=15144776 memory=29144 CPUtime=0.12 cores=1,3,5,7
/proc/2792/stat : 2792 (java) S 2790 2790 2739 0 -1 1077944320 5655 0 0 0 11 1 0 0 20 0 15 0 475238358 15508250624 7286 33554432000 4194304 4196468 140720857135248 140720857117792 140714051268343 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 9957376 140720857142255 140720857142426 140720857142426 140720857145295 0
/proc/2792/statm: 3786194 7286 3166 1 0 3748377 0
[pid=2792/tid=2793] ppid=2790 vsize=15144776 memory=576460756329955459 CPUtime=0.09 cores=1,3,5,7
/proc/2792/task/2793/stat : 2793 (java) R 2790 2790 2739 0 -1 4202560 3588 0 0 0 8 1 0 0 20 0 15 0 475238359 15508250624 7286 33554432000 4194304 4196468 140720857135248 140714055497984 140714032826714 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9957376 140720857142255 140720857142426 140720857142426 140720857145295 0
[pid=2792/tid=2794] ppid=2790 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2792/task/2794/stat : 2794 (java) S 2790 2790 2739 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475238359 15508250624 7286 33554432000 4194304 4196468 140720857135248 140714003889296 140714051278549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9957376 140720857142255 140720857142426 140720857142426 140720857145295 0
[pid=2792/tid=2795] ppid=2790 vsize=15144776 memory=288370085050689152 CPUtime=0 cores=1,3,5,7
/proc/2792/task/2795/stat : 2795 (java) S 2790 2790 2739 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475238359 15508250624 7286 33554432000 4194304 4196468 140720857135248 140714002836496 140714051278549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9957376 140720857142255 140720857142426 140720857142426 140720857145295 0
[pid=2792/tid=2796] ppid=2790 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2792/task/2796/stat : 2796 (java) S 2790 2790 2739 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475238359 15508250624 7286 33554432000 4194304 4196468 140720857135248 140714001783696 140714051278549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9957376 140720857142255 140720857142426 140720857142426 140720857145295 0
[pid=2792/tid=2797] ppid=2790 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2792/task/2797/stat : 2797 (java) S 2790 2790 2739 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475238359 15508250624 7286 33554432000 4194304 4196468 140720857135248 140713640516368 140714051278549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9957376 140720857142255 140720857142426 140720857142426 140720857145295 0
[pid=2792/tid=2798] ppid=2790 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2792/task/2798/stat : 2798 (java) S 2790 2790 2739 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475238361 15508250624 7286 33554432000 4194304 4196468 140720857135248 140713519958384 140714051279490 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9957376 140720857142255 140720857142426 140720857142426 140720857145295 0
[pid=2792/tid=2799] ppid=2790 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2792/task/2799/stat : 2799 (java) S 2790 2790 2739 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475238361 15508250624 7286 33554432000 4194304 4196468 140720857135248 140713518904352 140714051278549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9957376 140720857142255 140720857142426 140720857142426 140720857145295 0
[pid=2792/tid=2800] ppid=2790 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2792/task/2800/stat : 2800 (java) S 2790 2790 2739 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475238361 15508250624 7286 33554432000 4194304 4196468 140720857135248 140713517851504 140714051278549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9957376 140720857142255 140720857142426 140720857142426 140720857145295 0
[pid=2792/tid=2812] ppid=2790 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2792/task/2812/stat : 2812 (java) S 2790 2790 2739 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475238364 15508250624 7286 33554432000 4194304 4196468 140720857135248 140713516799824 140714051286939 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9957376 140720857142255 140720857142426 140720857142426 140720857145295 0
[pid=2792/tid=2813] ppid=2790 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2792/task/2813/stat : 2813 (java) R 2790 2790 2739 0 -1 1077944384 407 0 0 0 0 0 0 0 20 0 15 0 475238364 15508250624 7286 33554432000 4194304 4196468 140720857135248 140713515748304 140714051278549 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9957376 140720857142255 140720857142426 140720857142426 140720857145295 0
[pid=2792/tid=2814] ppid=2790 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2792/task/2814/stat : 2814 (java) S 2790 2790 2739 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 475238364 15508250624 7286 33554432000 4194304 4196468 140720857135248 140713514695408 140714051279490 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9957376 140720857142255 140720857142426 140720857142426 140720857145295 0
[pid=2792/tid=2815] ppid=2790 vsize=15144776 memory=139708898977408 CPUtime=0.02 cores=1,3,5,7
/proc/2792/task/2815/stat : 2815 (java) R 2790 2790 2739 0 -1 4202560 362 0 0 0 2 0 0 0 20 0 15 0 475238364 15508250624 7286 33554432000 4194304 4196468 140720857135248 140713513642608 140714029940950 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9957376 140720857142255 140720857142426 140720857142426 140720857145295 0
[pid=2792/tid=2816] ppid=2790 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2792/task/2816/stat : 2816 (java) S 2790 2790 2739 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475238364 15508250624 7286 33554432000 4194304 4196468 140720857135248 140713512590048 140714051278549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9957376 140720857142255 140720857142426 140720857142426 140720857145295 0
[pid=2792/tid=2818] ppid=2790 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2792/task/2818/stat : 2818 (java) S 2790 2790 2739 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475238364 15508250624 7286 33554432000 4194304 4196468 140720857135248 140713511537328 140714051279490 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9957376 140720857142255 140720857142426 140720857142426 140720857145295 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30592 KiB
[startup+0.210795 s]*
/proc/loadavg: 0.65 0.73 0.99 5/229 2831
/proc/meminfo: memFree=9923968/32770624 swapFree=67002124/67108860
[pid=2790] ppid=2787 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/2790/stat : 2790 (xcsp3-exec) S 2787 2790 2739 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475238358 115843072 362 33554432000 4194304 5098028 140734312782784 140734312780888 139730908062332 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 26394624 140734312784762 140734312785005 140734312785005 140734312787914 0
/proc/2790/statm: 28282 362 304 221 0 87 0
[pid=2792] ppid=2790 vsize=15144776 memory=40952 CPUtime=0.34 cores=1,3,5,7
/proc/2792/stat : 2792 (java) S 2790 2790 2739 0 -1 1077944320 9473 0 0 0 31 3 0 0 20 0 15 0 475238358 15508250624 10238 33554432000 4194304 4196468 140720857135248 140720857117792 140714051268343 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 9957376 140720857142255 140720857142426 140720857142426 140720857145295 0
/proc/2792/statm: 3786194 10238 3297 1 0 3748377 0
[pid=2792/tid=2793] ppid=2790 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/2792/task/2793/stat : 2793 (java) R 2790 2790 2739 0 -1 4202560 6622 0 0 0 18 2 0 0 20 0 15 0 475238359 15508250624 10238 33554432000 4194304 4196468 140720857135248 140714055501792 140714051290269 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9957376 140720857142255 140720857142426 140720857142426 140720857145295 0
[pid=2792/tid=2794] ppid=2790 vsize=15144776 memory=14645 CPUtime=0 cores=1,3,5,7
/proc/2792/task/2794/stat : 2794 (java) S 2790 2790 2739 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475238359 15508250624 10238 33554432000 4194304 4196468 140720857135248 140714003889296 140714051278549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9957376 140720857142255 140720857142426 140720857142426 140720857145295 0
[pid=2792/tid=2795] ppid=2790 vsize=15144776 memory=139708898994905 CPUtime=0 cores=1,3,5,7
/proc/2792/task/2795/stat : 2795 (java) S 2790 2790 2739 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475238359 15508250624 10238 33554432000 4194304 4196468 140720857135248 140714002836496 140714051278549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9957376 140720857142255 140720857142426 140720857142426 140720857145295 0
[pid=2792/tid=2796] ppid=2790 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2792/task/2796/stat : 2796 (java) S 2790 2790 2739 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475238359 15508250624 10238 33554432000 4194304 4196468 140720857135248 140714001783696 140714051278549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9957376 140720857142255 140720857142426 140720857142426 140720857145295 0
[pid=2792/tid=2797] ppid=2790 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2792/task/2797/stat : 2797 (java) S 2790 2790 2739 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475238359 15508250624 10238 33554432000 4194304 4196468 140720857135248 140713640516368 140714051278549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9957376 140720857142255 140720857142426 140720857142426 140720857145295 0
[pid=2792/tid=2798] ppid=2790 vsize=15144776 memory=139708898977408 CPUtime=0 cores=1,3,5,7
/proc/2792/task/2798/stat : 2798 (java) S 2790 2790 2739 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475238361 15508250624 10238 33554432000 4194304 4196468 140720857135248 140713519958384 140714051279490 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9957376 140720857142255 140720857142426 140720857142426 140720857145295 0
[pid=2792/tid=2799] ppid=2790 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2792/task/2799/stat : 2799 (java) S 2790 2790 2739 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475238361 15508250624 10238 33554432000 4194304 4196468 140720857135248 140713518904352 140714051278549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9957376 140720857142255 140720857142426 140720857142426 140720857145295 0
[pid=2792/tid=2800] ppid=2790 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2792/task/2800/stat : 2800 (java) S 2790 2790 2739 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475238361 15508250624 10238 33554432000 4194304 4196468 140720857135248 140713517851504 140714051278549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9957376 140720857142255 140720857142426 140720857142426 140720857145295 0
[pid=2792/tid=2812] ppid=2790 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2792/task/2812/stat : 2812 (java) S 2790 2790 2739 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475238364 15508250624 10238 33554432000 4194304 4196468 140720857135248 140713516799824 140714051286939 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9957376 140720857142255 140720857142426 140720857142426 140720857145295 0
[pid=2792/tid=2813] ppid=2790 vsize=15144776 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/2792/task/2813/stat : 2813 (java) S 2790 2790 2739 0 -1 1077944384 633 0 0 0 2 0 0 0 20 0 15 0 475238364 15508250624 10238 33554432000 4194304 4196468 140720857135248 140713515748208 140714051279490 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9957376 140720857142255 140720857142426 140720857142426 140720857145295 0
[pid=2792/tid=2814] ppid=2790 vsize=15144776 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/2792/task/2814/stat : 2814 (java) S 2790 2790 2739 0 -1 1077944384 148 0 0 0 2 0 0 0 20 0 15 0 475238364 15508250624 10238 33554432000 4194304 4196468 140720857135248 140713514695408 140714051279490 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9957376 140720857142255 140720857142426 140720857142426 140720857145295 0
[pid=2792/tid=2815] ppid=2790 vsize=15144776 memory=139708898977408 CPUtime=0.08 cores=1,3,5,7
/proc/2792/task/2815/stat : 2815 (java) S 2790 2790 2739 0 -1 1077944384 774 0 0 0 8 0 0 0 20 0 15 0 475238364 15508250624 10238 33554432000 4194304 4196468 140720857135248 140713513642608 140714051279490 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9957376 140720857142255 140720857142426 140720857142426 140720857145295 0
[pid=2792/tid=2816] ppid=2790 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2792/task/2816/stat : 2816 (java) S 2790 2790 2739 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475238364 15508250624 10238 33554432000 4194304 4196468 140720857135248 140713512590048 140714051278549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9957376 140720857142255 140720857142426 140720857142426 140720857145295 0
[pid=2792/tid=2818] ppid=2790 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2792/task/2818/stat : 2818 (java) S 2790 2790 2739 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475238364 15508250624 10238 33554432000 4194304 4196468 140720857135248 140713511537328 140714051279490 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9957376 140720857142255 140720857142426 140720857142426 140720857145295 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42400 KiB
[startup+0.311315 s]*
/proc/loadavg: 0.65 0.73 0.99 5/229 2831
/proc/meminfo: memFree=9908212/32770624 swapFree=67002124/67108860
[pid=2790] ppid=2787 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/2790/stat : 2790 (xcsp3-exec) S 2787 2790 2739 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475238358 115843072 362 33554432000 4194304 5098028 140734312782784 140734312780888 139730908062332 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 26394624 140734312784762 140734312785005 140734312785005 140734312787914 0
/proc/2790/statm: 28282 362 304 221 0 87 0
[pid=2792] ppid=2790 vsize=15149032 memory=49632 CPUtime=0.5 cores=1,3,5,7
/proc/2792/stat : 2792 (java) S 2790 2790 2739 0 -1 1077944320 10762 0 1 0 47 3 0 0 20 0 15 0 475238358 15512608768 12408 33554432000 4194304 4196468 140720857135248 140720857117792 140714051268343 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 9957376 140720857142255 140720857142426 140720857142426 140720857145295 0
/proc/2792/statm: 3787258 12408 3332 1 0 3748377 0
[pid=2792/tid=2793] ppid=2790 vsize=15149032 memory=1398722017469774279 CPUtime=0.29 cores=1,3,5,7
/proc/2792/task/2793/stat : 2793 (java) R 2790 2790 2739 0 -1 4202560 7774 0 1 0 27 2 0 0 20 0 15 0 475238359 15512608768 12408 33554432000 4194304 4196468 140720857135248 140714055494960 140714035348830 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9957376 140720857142255 140720857142426 140720857142426 140720857145295 0
[pid=2792/tid=2794] ppid=2790 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2792/task/2794/stat : 2794 (java) S 2790 2790 2739 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475238359 15512608768 12408 33554432000 4194304 4196468 140720857135248 140714003889296 140714051278549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9957376 140720857142255 140720857142426 140720857142426 140720857145295 0
[pid=2792/tid=2795] ppid=2790 vsize=15149032 memory=35809 CPUtime=0 cores=1,3,5,7
/proc/2792/task/2795/stat : 2795 (java) S 2790 2790 2739 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475238359 15512608768 12408 33554432000 4194304 4196468 140720857135248 140714002836496 140714051278549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9957376 140720857142255 140720857142426 140720857142426 140720857145295 0
[pid=2792/tid=2796] ppid=2790 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2792/task/2796/stat : 2796 (java) S 2790 2790 2739 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475238359 15512608768 12408 33554432000 4194304 4196468 140720857135248 140714001783696 140714051278549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9957376 140720857142255 140720857142426 140720857142426 140720857145295 0
[pid=2792/tid=2797] ppid=2790 vsize=15149032 memory=9122464004270842071 CPUtime=0 cores=1,3,5,7
/proc/2792/task/2797/stat : 2797 (java) S 2790 2790 2739 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475238359 15512608768 12408 33554432000 4194304 4196468 140720857135248 140713640516368 140714051278549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9957376 140720857142255 140720857142426 140720857142426 140720857145295 0
[pid=2792/tid=2798] ppid=2790 vsize=15149032 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/2792/task/2798/stat : 2798 (java) S 2790 2790 2739 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475238361 15512608768 12408 33554432000 4194304 4196468 140720857135248 140713519958384 140714051279490 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9957376 140720857142255 140720857142426 140720857142426 140720857145295 0
[pid=2792/tid=2799] ppid=2790 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/2792/task/2799/stat : 2799 (java) S 2790 2790 2739 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475238361 15512608768 12408 33554432000 4194304 4196468 140720857135248 140713518904352 140714051278549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9957376 140720857142255 140720857142426 140720857142426 140720857145295 0
[pid=2792/tid=2800] ppid=2790 vsize=15149032 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/2792/task/2800/stat : 2800 (java) S 2790 2790 2739 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475238361 15512608768 12408 33554432000 4194304 4196468 140720857135248 140713517851504 140714051278549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9957376 140720857142255 140720857142426 140720857142426 140720857145295 0
[pid=2792/tid=2812] ppid=2790 vsize=15149032 memory=-5587046532246807594 CPUtime=0 cores=1,3,5,7
/proc/2792/task/2812/stat : 2812 (java) S 2790 2790 2739 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475238364 15512608768 12408 33554432000 4194304 4196468 140720857135248 140713516799824 140714051286939 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9957376 140720857142255 140720857142426 140720857142426 140720857145295 0
[pid=2792/tid=2813] ppid=2790 vsize=15149032 memory=7307460107981921142 CPUtime=0.03 cores=1,3,5,7
/proc/2792/task/2813/stat : 2813 (java) S 2790 2790 2739 0 -1 1077944384 646 0 0 0 3 0 0 0 20 0 15 0 475238364 15512608768 12408 33554432000 4194304 4196468 140720857135248 140713515748208 140714051279490 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9957376 140720857142255 140720857142426 140720857142426 140720857145295 0
[pid=2792/tid=2814] ppid=2790 vsize=15149032 memory=7016714186490735262 CPUtime=0.04 cores=1,3,5,7
/proc/2792/task/2814/stat : 2814 (java) S 2790 2790 2739 0 -1 1077944384 182 0 0 0 4 0 0 0 20 0 15 0 475238364 15512608768 12408 33554432000 4194304 4196468 140720857135248 140713514695408 140714051279490 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9957376 140720857142255 140720857142426 140720857142426 140720857145295 0
[pid=2792/tid=2815] ppid=2790 vsize=15149032 memory=-9062862659931694204 CPUtime=0.12 cores=1,3,5,7
/proc/2792/task/2815/stat : 2815 (java) S 2790 2790 2739 0 -1 1077944384 881 0 0 0 12 0 0 0 20 0 15 0 475238364 15512608768 12408 33554432000 4194304 4196468 140720857135248 140713513642608 140714051279490 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9957376 140720857142255 140720857142426 140720857142426 140720857145295 0
[pid=2792/tid=2816] ppid=2790 vsize=15149032 memory=3047711566422646390 CPUtime=0 cores=1,3,5,7
/proc/2792/task/2816/stat : 2816 (java) S 2790 2790 2739 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475238364 15512608768 12408 33554432000 4194304 4196468 140720857135248 140713512590048 140714051278549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9957376 140720857142255 140720857142426 140720857142426 140720857145295 0
[pid=2792/tid=2818] ppid=2790 vsize=15149032 memory=-8412656567168561567 CPUtime=0 cores=1,3,5,7
/proc/2792/task/2818/stat : 2818 (java) S 2790 2790 2739 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475238364 15512608768 12408 33554432000 4194304 4196468 140720857135248 140713511537328 140714051279490 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9957376 140720857142255 140720857142426 140720857142426 140720857145295 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51080 KiB
[startup+0.706068 s]
/proc/loadavg: 0.65 0.73 0.99 6/229 2831
/proc/meminfo: memFree=9875060/32770624 swapFree=67002124/67108860
[pid=2790] ppid=2787 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/2790/stat : 2790 (xcsp3-exec) S 2787 2790 2739 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475238358 115843072 362 33554432000 4194304 5098028 140734312782784 140734312780888 139730908062332 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 26394624 140734312784762 140734312785005 140734312785005 140734312787914 0
/proc/2790/statm: 28282 362 304 221 0 87 0
[pid=2792] ppid=2790 vsize=15151156 memory=87324 CPUtime=1.59 cores=1,3,5,7
/proc/2792/stat : 2792 (java) S 2790 2790 2739 0 -1 1077944320 14619 0 1 0 155 4 0 0 20 0 15 0 475238358 15514783744 21831 33554432000 4194304 4196468 140720857135248 140720857117792 140714051268343 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 9957376 140720857142255 140720857142426 140720857142426 140720857145295 0
/proc/2792/statm: 3787789 21831 3452 1 0 3748889 0
[pid=2792/tid=2793] ppid=2790 vsize=15151156 memory=4283387796127976822 CPUtime=0.68 cores=1,3,5,7
/proc/2792/task/2793/stat : 2793 (java) R 2790 2790 2739 0 -1 4202560 8807 0 1 0 65 3 0 0 20 0 15 0 475238359 15514783744 21831 33554432000 4194304 4196468 140720857135248 140714055505872 140713683938855 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9957376 140720857142255 140720857142426 140720857142426 140720857145295 0
[pid=2792/tid=2794] ppid=2790 vsize=15151156 memory=7595725831727968097 CPUtime=0 cores=1,3,5,7
/proc/2792/task/2794/stat : 2794 (java) S 2790 2790 2739 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475238359 15514783744 21831 33554432000 4194304 4196468 140720857135248 140714003889296 140714051278549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9957376 140720857142255 140720857142426 140720857142426 140720857145295 0
[pid=2792/tid=2795] ppid=2790 vsize=15151156 memory=7085966865969729872 CPUtime=0 cores=1,3,5,7
/proc/2792/task/2795/stat : 2795 (java) S 2790 2790 2739 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475238359 15514783744 21831 33554432000 4194304 4196468 140720857135248 140714002836496 140714051278549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9957376 140720857142255 140720857142426 140720857142426 140720857145295 0
[pid=2792/tid=2796] ppid=2790 vsize=15151156 memory=1416 CPUtime=0 cores=1,3,5,7
/proc/2792/task/2796/stat : 2796 (java) S 2790 2790 2739 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475238359 15514783744 21831 33554432000 4194304 4196468 140720857135248 140714001783696 140714051278549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9957376 140720857142255 140720857142426 140720857142426 140720857145295 0
[pid=2792/tid=2797] ppid=2790 vsize=15151156 memory=1556 CPUtime=0 cores=1,3,5,7
/proc/2792/task/2797/stat : 2797 (java) S 2790 2790 2739 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475238359 15514783744 21831 33554432000 4194304 4196468 140720857135248 140713640516368 140714051278549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9957376 140720857142255 140720857142426 140720857142426 140720857145295 0
[pid=2792/tid=2798] ppid=2790 vsize=15151156 memory=740 CPUtime=0 cores=1,3,5,7
/proc/2792/task/2798/stat : 2798 (java) S 2790 2790 2739 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475238361 15514783744 21831 33554432000 4194304 4196468 140720857135248 140713519958384 140714051279490 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9957376 140720857142255 140720857142426 140720857142426 140720857145295 0
[pid=2792/tid=2799] ppid=2790 vsize=15151156 memory=1052 CPUtime=0 cores=1,3,5,7
/proc/2792/task/2799/stat : 2799 (java) S 2790 2790 2739 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475238361 15514783744 21831 33554432000 4194304 4196468 140720857135248 140713518904352 140714051278549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9957376 140720857142255 140720857142426 140720857142426 140720857145295 0
[pid=2792/tid=2800] ppid=2790 vsize=15151156 memory=7548 CPUtime=0 cores=1,3,5,7
/proc/2792/task/2800/stat : 2800 (java) S 2790 2790 2739 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475238361 15514783744 21831 33554432000 4194304 4196468 140720857135248 140713517851504 140714051278549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9957376 140720857142255 140720857142426 140720857142426 140720857145295 0
[pid=2792/tid=2812] ppid=2790 vsize=15151156 memory=6128 CPUtime=0 cores=1,3,5,7
/proc/2792/task/2812/stat : 2812 (java) S 2790 2790 2739 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475238364 15514783744 21831 33554432000 4194304 4196468 140720857135248 140713516799824 140714051286939 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9957376 140720857142255 140720857142426 140720857142426 140720857145295 0
[pid=2792/tid=2813] ppid=2790 vsize=15151156 memory=14012 CPUtime=0.23 cores=1,3,5,7
/proc/2792/task/2813/stat : 2813 (java) R 2790 2790 2739 0 -1 4202560 1119 0 0 0 23 0 0 0 20 0 15 0 475238364 15514783744 21831 33554432000 4194304 4196468 140720857135248 140713515738168 140714031104681 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 9957376 140720857142255 140720857142426 140720857142426 140720857145295 0
[pid=2792/tid=2814] ppid=2790 vsize=15151156 memory=27564 CPUtime=0.23 cores=1,3,5,7
/proc/2792/task/2814/stat : 2814 (java) R 2790 2790 2739 0 -1 4202560 987 0 0 0 23 0 0 0 20 0 15 0 475238364 15514783744 21831 33554432000 4194304 4196468 140720857135248 140713514682160 140714031121894 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9957376 140720857142255 140720857142426 140720857142426 140720857145295 0
[pid=2792/tid=2815] ppid=2790 vsize=15151156 memory=14068 CPUtime=0.43 cores=1,3,5,7
/proc/2792/task/2815/stat : 2815 (java) R 2790 2790 2739 0 -1 4202560 2400 0 0 0 43 0 0 0 20 0 15 0 475238364 15514783744 21831 33554432000 4194304 4196468 140720857135248 140713513642608 140714044365179 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9957376 140720857142255 140720857142426 140720857142426 140720857145295 0
[pid=2792/tid=2816] ppid=2790 vsize=15151156 memory=2120 CPUtime=0 cores=1,3,5,7
/proc/2792/task/2816/stat : 2816 (java) S 2790 2790 2739 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475238364 15514783744 21831 33554432000 4194304 4196468 140720857135248 140713512590048 140714051278549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9957376 140720857142255 140720857142426 140720857142426 140720857145295 0
[pid=2792/tid=2818] ppid=2790 vsize=15151156 memory=504 CPUtime=0 cores=1,3,5,7
/proc/2792/task/2818/stat : 2818 (java) S 2790 2790 2739 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475238364 15514783744 21831 33554432000 4194304 4196468 140720857135248 140713511537328 140714051279490 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9957376 140720857142255 140720857142426 140720857142426 140720857145295 0
Current children cumulated CPU time: 1.59 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 88772 KiB
[startup+1.50107 s]
/proc/loadavg: 0.65 0.73 0.99 7/231 2849
/proc/meminfo: memFree=9732364/32770624 swapFree=67002124/67108860
[pid=2790] ppid=2787 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/2790/stat : 2790 (xcsp3-exec) S 2787 2790 2739 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475238358 115843072 362 33554432000 4194304 5098028 140734312782784 140734312780888 139730908062332 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 26394624 140734312784762 140734312785005 140734312785005 140734312787914 0
/proc/2790/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
/proc/2792/task/2818/stat : 2818 (java) S 2790 2790 2739 0 -1 1077944384 690 0 0 0 0 2 0 0 20 0 19 0 475238364 15857688576 62131 33554432000 4194304 4196468 140720857135248 140713511537328 140714051279490 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9957376 140720857142255 140720857142426 140720857142426 140720857145295 0
[pid=2792/tid=2869] ppid=2790 vsize=15486024 memory=1692 CPUtime=92.83 cores=1,3,5,7
/proc/2792/task/2869/stat : 2869 (java) R 2790 2790 2739 0 -1 4202560 685 0 0 0 9283 0 0 0 20 0 19 0 475238513 15857688576 62131 33554432000 4194304 4196468 140720857135248 140713499159872 140713689635312 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9957376 140720857142255 140720857142426 140720857142426 140720857145295 0
[pid=2792/tid=2870] ppid=2790 vsize=15486024 memory=3620 CPUtime=92.35 cores=1,3,5,7
/proc/2792/task/2870/stat : 2870 (java) R 2790 2790 2739 0 -1 4202560 2157 0 0 0 9235 0 0 0 20 0 19 0 475238513 15857688576 62131 33554432000 4194304 4196468 140720857135248 140713498110352 140713689757811 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9957376 140720857142255 140720857142426 140720857142426 140720857145295 0
[pid=2792/tid=2871] ppid=2790 vsize=15486024 memory=2832 CPUtime=92.23 cores=1,3,5,7
/proc/2792/task/2871/stat : 2871 (java) R 2790 2790 2739 0 -1 4202560 672 0 0 0 9223 0 0 0 20 0 19 0 475238513 15857688576 62131 33554432000 4194304 4196468 140720857135248 140713501265688 140713689270313 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9957376 140720857142255 140720857142426 140720857142426 140720857145295 0
[pid=2792/tid=2872] ppid=2790 vsize=15486024 memory=776 CPUtime=92.3 cores=1,3,5,7
/proc/2792/task/2872/stat : 2872 (java) R 2790 2790 2739 0 -1 4202560 1817 0 0 0 9230 0 0 0 20 0 19 0 475238513 15857688576 62131 33554432000 4194304 4196468 140720857135248 140713502319240 140713688891724 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 9957376 140720857142255 140720857142426 140720857142426 140720857145295 0
Current children cumulated CPU time: 379.21 s
Current children cumulated vsize: 15599152 KiB
Current children cumulated memory: 249972 KiB
[startup+97.6011 s]
/proc/loadavg: 7.27 3.05 1.80 9/237 3170
/proc/meminfo: memFree=8609884/32770624 swapFree=67002124/67108860
[pid=2790] ppid=2787 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/2790/stat : 2790 (xcsp3-exec) S 2787 2790 2739 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475238358 115843072 362 33554432000 4194304 5098028 140734312782784 140734312780888 139730908062332 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 26394624 140734312784762 140734312785005 140734312785005 140734312787914 0
/proc/2790/statm: 28282 362 304 221 0 87 0
[pid=2792] ppid=2790 vsize=15486024 memory=248524 CPUtime=385.48 cores=1,3,5,7
/proc/2792/stat : 2792 (java) S 2790 2790 2739 0 -1 1077944320 64699 0 1 0 38529 19 0 0 20 0 19 0 475238358 15857688576 62131 33554432000 4194304 4196468 140720857135248 140720857117792 140714051268343 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 9957376 140720857142255 140720857142426 140720857142426 140720857145295 0
/proc/2792/statm: 3871506 62131 3526 1 0 3832606 0
[pid=2792/tid=2793] ppid=2790 vsize=15486024 memory=3620 CPUtime=0.71 cores=1,3,5,7
/proc/2792/task/2793/stat : 2793 (java) S 2790 2790 2739 0 -1 1077944384 8886 0 1 0 68 3 0 0 20 0 19 0 475238359 15857688576 62131 33554432000 4194304 4196468 140720857135248 140714055509120 140714051278549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9957376 140720857142255 140720857142426 140720857142426 140720857145295 0
[pid=2792/tid=2794] ppid=2790 vsize=15486024 memory=8112282956445269571 CPUtime=0.2 cores=1,3,5,7
/proc/2792/task/2794/stat : 2794 (java) S 2790 2790 2739 0 -1 1077944384 1835 0 0 0 18 2 0 0 20 0 19 0 475238359 15857688576 62131 33554432000 4194304 4196468 140720857135248 140714003889296 140714051278549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9957376 140720857142255 140720857142426 140720857142426 140720857145295 0
[pid=2792/tid=2795] ppid=2790 vsize=15486024 memory=7548 CPUtime=0.21 cores=1,3,5,7
/proc/2792/task/2795/stat : 2795 (java) S 2790 2790 2739 0 -1 1077944384 929 0 0 0 18 3 0 0 20 0 19 0 475238359 15857688576 62131 33554432000 4194304 4196468 140720857135248 140714002836496 140714051278549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9957376 140720857142255 140720857142426 140720857142426 140720857145295 0
[pid=2792/tid=2796] ppid=2790 vsize=15486024 memory=3620 CPUtime=0.21 cores=1,3,5,7
/proc/2792/task/2796/stat : 2796 (java) S 2790 2790 2739 0 -1 1077944384 1972 0 0 0 19 2 0 0 20 0 19 0 475238359 15857688576 62131 33554432000 4194304 4196468 140720857135248 140714001783696 140714051278549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9957376 140720857142255 140720857142426 140720857142426 140720857145295 0
[pid=2792/tid=2797] ppid=2790 vsize=15486024 memory=2832 CPUtime=0.21 cores=1,3,5,7
/proc/2792/task/2797/stat : 2797 (java) S 2790 2790 2739 0 -1 1077944384 544 0 0 0 19 2 0 0 20 0 19 0 475238359 15857688576 62131 33554432000 4194304 4196468 140720857135248 140713640516368 140714051278549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9957376 140720857142255 140720857142426 140720857142426 140720857145295 0
[pid=2792/tid=2798] ppid=2790 vsize=15486024 memory=0 CPUtime=0.18 cores=1,3,5,7
/proc/2792/task/2798/stat : 2798 (java) S 2790 2790 2739 0 -1 1077944384 1613 0 0 0 17 1 0 0 20 0 19 0 475238361 15857688576 62131 33554432000 4194304 4196468 140720857135248 140713519958384 140714051279490 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9957376 140720857142255 140720857142426 140720857142426 140720857145295 0
[pid=2792/tid=2799] ppid=2790 vsize=15486024 memory=5859535235326444939 CPUtime=0 cores=1,3,5,7
/proc/2792/task/2799/stat : 2799 (java) S 2790 2790 2739 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 19 0 475238361 15857688576 62131 33554432000 4194304 4196468 140720857135248 140713518904416 140714051278549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9957376 140720857142255 140720857142426 140720857142426 140720857145295 0
[pid=2792/tid=2800] ppid=2790 vsize=15486024 memory=-8961168018402230209 CPUtime=0 cores=1,3,5,7
/proc/2792/task/2800/stat : 2800 (java) S 2790 2790 2739 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 19 0 475238361 15857688576 62131 33554432000 4194304 4196468 140720857135248 140713517851520 140714051278549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9957376 140720857142255 140720857142426 140720857142426 140720857145295 0
[pid=2792/tid=2812] ppid=2790 vsize=15486024 memory=-8253362762722141311 CPUtime=0 cores=1,3,5,7
/proc/2792/task/2812/stat : 2812 (java) S 2790 2790 2739 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475238364 15857688576 62131 33554432000 4194304 4196468 140720857135248 140713516799824 140714051286939 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9957376 140720857142255 140720857142426 140720857142426 140720857145295 0
[pid=2792/tid=2813] ppid=2790 vsize=15486024 memory=1412 CPUtime=2.51 cores=1,3,5,7
/proc/2792/task/2813/stat : 2813 (java) S 2790 2790 2739 0 -1 1077944384 19513 0 0 0 249 2 0 0 20 0 19 0 475238364 15857688576 62131 33554432000 4194304 4196468 140720857135248 140713515748208 140714051279490 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9957376 140720857142255 140720857142426 140720857142426 140720857145295 0
[pid=2792/tid=2814] ppid=2790 vsize=15486024 memory=3252 CPUtime=2.52 cores=1,3,5,7
/proc/2792/task/2814/stat : 2814 (java) S 2790 2790 2739 0 -1 1077944384 14178 0 0 0 251 1 0 0 20 0 19 0 475238364 15857688576 62131 33554432000 4194304 4196468 140720857135248 140713514695408 140714051279490 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9957376 140720857142255 140720857142426 140720857142426 140720857145295 0
[pid=2792/tid=2815] ppid=2790 vsize=15486024 memory=1448 CPUtime=0.67 cores=1,3,5,7
/proc/2792/task/2815/stat : 2815 (java) S 2790 2790 2739 0 -1 1077944384 7009 0 0 0 67 0 0 0 20 0 19 0 475238364 15857688576 62131 33554432000 4194304 4196468 140720857135248 140713513642608 140714051279490 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9957376 140720857142255 140720857142426 140720857142426 140720857145295 0
[pid=2792/tid=2816] ppid=2790 vsize=15486024 memory=3588 CPUtime=0 cores=1,3,5,7
/proc/2792/task/2816/stat : 2816 (java) S 2790 2790 2739 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475238364 15857688576 62131 33554432000 4194304 4196468 140720857135248 140713512590048 140714051278549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9957376 140720857142255 140720857142426 140720857142426 140720857145295 0
[pid=2792/tid=2818] ppid=2790 vsize=15486024 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/2792/task/2818/stat : 2818 (java) S 2790 2790 2739 0 -1 1077944384 690 0 0 0 0 2 0 0 20 0 19 0 475238364 15857688576 62131 33554432000 4194304 4196468 140720857135248 140713511537328 140714051279490 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9957376 140720857142255 140720857142426 140720857142426 140720857145295 0
[pid=2792/tid=2869] ppid=2790 vsize=15486024 memory=1736 CPUtime=94.36 cores=1,3,5,7
/proc/2792/task/2869/stat : 2869 (java) R 2790 2790 2739 0 -1 4202560 690 0 0 0 9436 0 0 0 20 0 19 0 475238513 15857688576 62131 33554432000 4194304 4196468 140720857135248 140713499159216 140713688499271 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9957376 140720857142255 140720857142426 140720857142426 140720857145295 0
[pid=2792/tid=2870] ppid=2790 vsize=15486024 memory=916 CPUtime=93.91 cores=1,3,5,7
/proc/2792/task/2870/stat : 2870 (java) R 2790 2790 2739 0 -1 4202560 2157 0 0 0 9391 0 0 0 20 0 19 0 475238513 15857688576 62131 33554432000 4194304 4196468 140720857135248 140713498107456 140713689639436 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9957376 140720857142255 140720857142426 140720857142426 140720857145295 0
[pid=2792/tid=2871] ppid=2790 vsize=15486024 memory=178196 CPUtime=93.81 cores=1,3,5,7
/proc/2792/task/2871/stat : 2871 (java) R 2790 2790 2739 0 -1 4202560 673 0 0 0 9381 0 0 0 20 0 19 0 475238513 15857688576 62131 33554432000 4194304 4196468 140720857135248 140713501265688 140713689635736 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 9957376 140720857142255 140720857142426 140720857142426 140720857145295 0
[pid=2792/tid=2872] ppid=2790 vsize=15486024 memory=14012 CPUtime=93.87 cores=1,3,5,7
/proc/2792/task/2872/stat : 2872 (java) R 2790 2790 2739 0 -1 4202560 1820 0 0 0 9387 0 0 0 20 0 19 0 475238513 15857688576 62131 33554432000 4194304 4196468 140720857135248 140713502321920 140713689441807 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9957376 140720857142255 140720857142426 140720857142426 140720857145295 0
Current children cumulated CPU time: 385.48 s
Current children cumulated vsize: 15599152 KiB
Current children cumulated memory: 249972 KiB
[startup+98.4011 s]
/proc/loadavg: 7.27 3.05 1.80 9/237 3170
/proc/meminfo: memFree=8610008/32770624 swapFree=67002124/67108860
[pid=2790] ppid=2787 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/2790/stat : 2790 (xcsp3-exec) S 2787 2790 2739 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475238358 115843072 362 33554432000 4194304 5098028 140734312782784 140734312780888 139730908062332 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 26394624 140734312784762 140734312785005 140734312785005 140734312787914 0
/proc/2790/statm: 28282 362 304 221 0 87 0
[pid=2792] ppid=2790 vsize=15486024 memory=255308 CPUtime=388.65 cores=1,3,5,7
/proc/2792/stat : 2792 (java) S 2790 2790 2739 0 -1 1077944320 66059 0 1 0 38846 19 0 0 20 0 19 0 475238358 15857688576 63827 33554432000 4194304 4196468 140720857135248 140720857117792 140714051268343 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 9957376 140720857142255 140720857142426 140720857142426 140720857145295 0
/proc/2792/statm: 3871506 63827 3526 1 0 3832606 0
[pid=2792/tid=2793] ppid=2790 vsize=15486024 memory=8112282956445269571 CPUtime=0.71 cores=1,3,5,7
/proc/2792/task/2793/stat : 2793 (java) S 2790 2790 2739 0 -1 1077944384 8886 0 1 0 68 3 0 0 20 0 19 0 475238359 15857688576 63827 33554432000 4194304 4196468 140720857135248 140714055509120 140714051278549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9957376 140720857142255 140720857142426 140720857142426 140720857145295 0
[pid=2792/tid=2794] ppid=2790 vsize=15486024 memory=1052 CPUtime=0.21 cores=1,3,5,7
/proc/2792/task/2794/stat : 2794 (java) S 2790 2790 2739 0 -1 1077944384 2254 0 0 0 18 3 0 0 20 0 19 0 475238359 15857688576 63827 33554432000 4194304 4196468 140720857135248 140714003889296 140714051278549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9957376 140720857142255 140720857142426 140720857142426 140720857145295 0
[pid=2792/tid=2795] ppid=2790 vsize=15486024 memory=7548 CPUtime=0.21 cores=1,3,5,7
/proc/2792/task/2795/stat : 2795 (java) S 2790 2790 2739 0 -1 1077944384 1021 0 0 0 18 3 0 0 20 0 19 0 475238359 15857688576 63827 33554432000 4194304 4196468 140720857135248 140714002836496 140714051278549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9957376 140720857142255 140720857142426 140720857142426 140720857145295 0
[pid=2792/tid=2796] ppid=2790 vsize=15486024 memory=3620 CPUtime=0.22 cores=1,3,5,7
/proc/2792/task/2796/stat : 2796 (java) S 2790 2790 2739 0 -1 1077944384 2012 0 0 0 20 2 0 0 20 0 19 0 475238359 15857688576 63827 33554432000 4194304 4196468 140720857135248 140714001783696 140714051278549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9957376 140720857142255 140720857142426 140720857142426 140720857145295 0
[pid=2792/tid=2797] ppid=2790 vsize=15486024 memory=2832 CPUtime=0.21 cores=1,3,5,7
/proc/2792/task/2797/stat : 2797 (java) S 2790 2790 2739 0 -1 1077944384 642 0 0 0 19 2 0 0 20 0 19 0 475238359 15857688576 63827 33554432000 4194304 4196468 140720857135248 140713640516368 140714051278549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9957376 140720857142255 140720857142426 140720857142426 140720857145295 0
[pid=2792/tid=2798] ppid=2790 vsize=15486024 memory=776 CPUtime=0.19 cores=1,3,5,7
/proc/2792/task/2798/stat : 2798 (java) S 2790 2790 2739 0 -1 1077944384 1883 0 0 0 18 1 0 0 20 0 19 0 475238361 15857688576 63827 33554432000 4194304 4196468 140720857135248 140713519958384 140714051279490 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9957376 140720857142255 140720857142426 140720857142426 140720857145295 0
[pid=2792/tid=2799] ppid=2790 vsize=15486024 memory=1160 CPUtime=0 cores=1,3,5,7
/proc/2792/task/2799/stat : 2799 (java) S 2790 2790 2739 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 19 0 475238361 15857688576 63827 33554432000 4194304 4196468 140720857135248 140713518904416 140714051278549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9957376 140720857142255 140720857142426 140720857142426 140720857145295 0
[pid=2792/tid=2800] ppid=2790 vsize=15486024 memory=1716 CPUtime=0 cores=1,3,5,7
/proc/2792/task/2800/stat : 2800 (java) S 2790 2790 2739 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 19 0 475238361 15857688576 63827 33554432000 4194304 4196468 140720857135248 140713517851520 140714051278549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9957376 140720857142255 140720857142426 140720857142426 140720857145295 0
[pid=2792/tid=2812] ppid=2790 vsize=15486024 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/2792/task/2812/stat : 2812 (java) S 2790 2790 2739 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475238364 15857688576 63827 33554432000 4194304 4196468 140720857135248 140713516799824 140714051286939 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9957376 140720857142255 140720857142426 140720857142426 140720857145295 0
[pid=2792/tid=2813] ppid=2790 vsize=15486024 memory=248524 CPUtime=2.51 cores=1,3,5,7
/proc/2792/task/2813/stat : 2813 (java) S 2790 2790 2739 0 -1 1077944384 19513 0 0 0 249 2 0 0 20 0 19 0 475238364 15857688576 63827 33554432000 4194304 4196468 140720857135248 140713515748208 140714051279490 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9957376 140720857142255 140720857142426 140720857142426 140720857145295 0
[pid=2792/tid=2814] ppid=2790 vsize=15486024 memory=1716 CPUtime=2.52 cores=1,3,5,7
/proc/2792/task/2814/stat : 2814 (java) S 2790 2790 2739 0 -1 1077944384 14178 0 0 0 251 1 0 0 20 0 19 0 475238364 15857688576 63827 33554432000 4194304 4196468 140720857135248 140713514695408 140714051279490 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9957376 140720857142255 140720857142426 140720857142426 140720857145295 0
[pid=2792/tid=2815] ppid=2790 vsize=15486024 memory=1096 CPUtime=0.67 cores=1,3,5,7
/proc/2792/task/2815/stat : 2815 (java) S 2790 2790 2739 0 -1 1077944384 7009 0 0 0 67 0 0 0 20 0 19 0 475238364 15857688576 63827 33554432000 4194304 4196468 140720857135248 140713513642608 140714051279490 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9957376 140720857142255 140720857142426 140720857142426 140720857145295 0
[pid=2792/tid=2816] ppid=2790 vsize=15486024 memory=6128 CPUtime=0 cores=1,3,5,7
/proc/2792/task/2816/stat : 2816 (java) S 2790 2790 2739 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475238364 15857688576 63827 33554432000 4194304 4196468 140720857135248 140713512590048 140714051278549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9957376 140720857142255 140720857142426 140720857142426 140720857145295 0
[pid=2792/tid=2818] ppid=2790 vsize=15486024 memory=14012 CPUtime=0.02 cores=1,3,5,7
/proc/2792/task/2818/stat : 2818 (java) S 2790 2790 2739 0 -1 1077944384 707 0 0 0 0 2 0 0 20 0 19 0 475238364 15857688576 63827 33554432000 4194304 4196468 140720857135248 140713511537328 140714051279490 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9957376 140720857142255 140720857142426 140720857142426 140720857145295 0
[pid=2792/tid=2869] ppid=2790 vsize=15486024 memory=27564 CPUtime=95.15 cores=1,3,5,7
/proc/2792/task/2869/stat : 2869 (java) R 2790 2790 2739 0 -1 4202560 784 0 0 0 9515 0 0 0 20 0 19 0 475238513 15857688576 63827 33554432000 4194304 4196468 140720857135248 140713499160008 140713686933855 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 9957376 140720857142255 140720857142426 140720857142426 140720857145295 0
[pid=2792/tid=2870] ppid=2790 vsize=15486024 memory=14068 CPUtime=94.7 cores=1,3,5,7
/proc/2792/task/2870/stat : 2870 (java) R 2790 2790 2739 0 -1 4202560 2257 0 0 0 9470 0 0 0 20 0 19 0 475238513 15857688576 63827 33554432000 4194304 4196468 140720857135248 140713498107312 140713689615823 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9957376 140720857142255 140720857142426 140720857142426 140720857145295 0
[pid=2792/tid=2871] ppid=2790 vsize=15486024 memory=2120 CPUtime=94.59 cores=1,3,5,7
/proc/2792/task/2871/stat : 2871 (java) R 2790 2790 2739 0 -1 4202560 778 0 0 0 9459 0 0 0 20 0 19 0 475238513 15857688576 63827 33554432000 4194304 4196468 140720857135248 140713501266096 140713689635433 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9957376 140720857142255 140720857142426 140720857142426 140720857145295 0
[pid=2792/tid=2872] ppid=2790 vsize=15486024 memory=504 CPUtime=94.66 cores=1,3,5,7
/proc/2792/task/2872/stat : 2872 (java) R 2790 2790 2739 0 -1 4202560 1945 0 0 0 9466 0 0 0 20 0 19 0 475238513 15857688576 63827 33554432000 4194304 4196468 140720857135248 140713502321840 140713689441858 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9957376 140720857142255 140720857142426 140720857142426 140720857145295 0
Current children cumulated CPU time: 388.65 s
Current children cumulated vsize: 15599152 KiB
Current children cumulated memory: 256756 KiB
[startup+98.6011 s]
/proc/loadavg: 7.27 3.05 1.80 9/237 3170
/proc/meminfo: memFree=8610008/32770624 swapFree=67002124/67108860
[pid=2790] ppid=2787 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/2790/stat : 2790 (xcsp3-exec) S 2787 2790 2739 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475238358 115843072 362 33554432000 4194304 5098028 140734312782784 140734312780888 139730908062332 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 26394624 140734312784762 140734312785005 140734312785005 140734312787914 0
/proc/2790/statm: 28282 362 304 221 0 87 0
[pid=2792] ppid=2790 vsize=15486024 memory=255308 CPUtime=389.44 cores=1,3,5,7
/proc/2792/stat : 2792 (java) S 2790 2790 2739 0 -1 1077944320 66083 0 1 0 38925 19 0 0 20 0 19 0 475238358 15857688576 63827 33554432000 4194304 4196468 140720857135248 140720857117792 140714051268343 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 9957376 140720857142255 140720857142426 140720857142426 140720857145295 0
/proc/2792/statm: 3871506 63827 3526 1 0 3832606 0
[pid=2792/tid=2793] ppid=2790 vsize=15486024 memory=8112282956445269571 CPUtime=0.71 cores=1,3,5,7
/proc/2792/task/2793/stat : 2793 (java) S 2790 2790 2739 0 -1 1077944384 8886 0 1 0 68 3 0 0 20 0 19 0 475238359 15857688576 63827 33554432000 4194304 4196468 140720857135248 140714055509120 140714051278549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9957376 140720857142255 140720857142426 140720857142426 140720857145295 0
[pid=2792/tid=2794] ppid=2790 vsize=15486024 memory=248524 CPUtime=0.21 cores=1,3,5,7
/proc/2792/task/2794/stat : 2794 (java) S 2790 2790 2739 0 -1 1077944384 2255 0 0 0 18 3 0 0 20 0 19 0 475238359 15857688576 63827 33554432000 4194304 4196468 140720857135248 140714003889296 140714051278549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9957376 140720857142255 140720857142426 140720857142426 140720857145295 0
[pid=2792/tid=2795] ppid=2790 vsize=15486024 memory=288230583166042426 CPUtime=0.21 cores=1,3,5,7
/proc/2792/task/2795/stat : 2795 (java) S 2790 2790 2739 0 -1 1077944384 1024 0 0 0 18 3 0 0 20 0 19 0 475238359 15857688576 63827 33554432000 4194304 4196468 140720857135248 140714002836496 140714051278549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9957376 140720857142255 140720857142426 140720857142426 140720857145295 0
[pid=2792/tid=2796] ppid=2790 vsize=15486024 memory=14136666633799908 CPUtime=0.22 cores=1,3,5,7
/proc/2792/task/2796/stat : 2796 (java) S 2790 2790 2739 0 -1 1077944384 2014 0 0 0 20 2 0 0 20 0 19 0 475238359 15857688576 63827 33554432000 4194304 4196468 140720857135248 140714001783696 140714051278549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9957376 140720857142255 140720857142426 140720857142426 140720857145295 0
[pid=2792/tid=2797] ppid=2790 vsize=15486024 memory=1448 CPUtime=0.21 cores=1,3,5,7
/proc/2792/task/2797/stat : 2797 (java) S 2790 2790 2739 0 -1 1077944384 645 0 0 0 19 2 0 0 20 0 19 0 475238359 15857688576 63827 33554432000 4194304 4196468 140720857135248 140713640516368 140714051278549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9957376 140720857142255 140720857142426 140720857142426 140720857145295 0
[pid=2792/tid=2798] ppid=2790 vsize=15486024 memory=246476 CPUtime=0.19 cores=1,3,5,7
/proc/2792/task/2798/stat : 2798 (java) S 2790 2790 2739 0 -1 1077944384 1887 0 0 0 18 1 0 0 20 0 19 0 475238361 15857688576 63827 33554432000 4194304 4196468 140720857135248 140713519958384 140714051279490 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9957376 140720857142255 140720857142426 140720857142426 140720857145295 0
[pid=2792/tid=2799] ppid=2790 vsize=15486024 memory=14136666633799908 CPUtime=0 cores=1,3,5,7
/proc/2792/task/2799/stat : 2799 (java) S 2790 2790 2739 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 19 0 475238361 15857688576 63827 33554432000 4194304 4196468 140720857135248 140713518904416 140714051278549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9957376 140720857142255 140720857142426 140720857142426 140720857145295 0
[pid=2792/tid=2800] ppid=2790 vsize=15486024 memory=1416 CPUtime=0 cores=1,3,5,7
/proc/2792/task/2800/stat : 2800 (java) S 2790 2790 2739 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 19 0 475238361 15857688576 63827 33554432000 4194304 4196468 140720857135248 140713517851520 140714051278549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9957376 140720857142255 140720857142426 140720857142426 140720857145295 0
[pid=2792/tid=2812] ppid=2790 vsize=15486024 memory=8112282956445269571 CPUtime=0 cores=1,3,5,7
/proc/2792/task/2812/stat : 2812 (java) S 2790 2790 2739 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475238364 15857688576 63827 33554432000 4194304 4196468 140720857135248 140713516799824 140714051286939 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9957376 140720857142255 140720857142426 140720857142426 140720857145295 0
[pid=2792/tid=2813] ppid=2790 vsize=15486024 memory=6128 CPUtime=2.51 cores=1,3,5,7
/proc/2792/task/2813/stat : 2813 (java) S 2790 2790 2739 0 -1 1077944384 19513 0 0 0 249 2 0 0 20 0 19 0 475238364 15857688576 63827 33554432000 4194304 4196468 140720857135248 140713515748208 140714051279490 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9957376 140720857142255 140720857142426 140720857142426 140720857145295 0
[pid=2792/tid=2814] ppid=2790 vsize=15486024 memory=14012 CPUtime=2.52 cores=1,3,5,7
/proc/2792/task/2814/stat : 2814 (java) S 2790 2790 2739 0 -1 1077944384 14178 0 0 0 251 1 0 0 20 0 19 0 475238364 15857688576 63827 33554432000 4194304 4196468 140720857135248 140713514695408 140714051279490 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9957376 140720857142255 140720857142426 140720857142426 140720857145295 0
[pid=2792/tid=2815] ppid=2790 vsize=15486024 memory=27564 CPUtime=0.67 cores=1,3,5,7
/proc/2792/task/2815/stat : 2815 (java) S 2790 2790 2739 0 -1 1077944384 7009 0 0 0 67 0 0 0 20 0 19 0 475238364 15857688576 63827 33554432000 4194304 4196468 140720857135248 140713513642608 140714051279490 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9957376 140720857142255 140720857142426 140720857142426 140720857145295 0
[pid=2792/tid=2816] ppid=2790 vsize=15486024 memory=14068 CPUtime=0 cores=1,3,5,7
/proc/2792/task/2816/stat : 2816 (java) S 2790 2790 2739 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475238364 15857688576 63827 33554432000 4194304 4196468 140720857135248 140713512590048 140714051278549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9957376 140720857142255 140720857142426 140720857142426 140720857145295 0
[pid=2792/tid=2818] ppid=2790 vsize=15486024 memory=2120 CPUtime=0.02 cores=1,3,5,7
/proc/2792/task/2818/stat : 2818 (java) R 2790 2790 2739 0 -1 1077944384 707 0 0 0 0 2 0 0 20 0 19 0 475238364 15857688576 63827 33554432000 4194304 4196468 140720857135248 140713511537328 140714051279490 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9957376 140720857142255 140720857142426 140720857142426 140720857145295 0
[pid=2792/tid=2869] ppid=2790 vsize=15486024 memory=504 CPUtime=95.35 cores=1,3,5,7
/proc/2792/task/2869/stat : 2869 (java) R 2790 2790 2739 0 -1 4202560 786 0 0 0 9535 0 0 0 20 0 19 0 475238513 15857688576 63827 33554432000 4194304 4196468 140720857135248 140713499160008 140713686933262 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 9957376 140720857142255 140720857142426 140720857142426 140720857145295 0
[pid=2792/tid=2870] ppid=2790 vsize=15486024 memory=1560 CPUtime=94.89 cores=1,3,5,7
/proc/2792/task/2870/stat : 2870 (java) R 2790 2790 2739 0 -1 4202560 2263 0 0 0 9489 0 0 0 20 0 19 0 475238513 15857688576 63827 33554432000 4194304 4196468 140720857135248 140713498107664 140713688890269 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9957376 140720857142255 140720857142426 140720857142426 140720857145295 0
[pid=2792/tid=2871] ppid=2790 vsize=15486024 memory=924 CPUtime=94.79 cores=1,3,5,7
/proc/2792/task/2871/stat : 2871 (java) R 2790 2790 2739 0 -1 4202560 781 0 0 0 9479 0 0 0 20 0 19 0 475238513 15857688576 63827 33554432000 4194304 4196468 140720857135248 140713501266096 140713687539734 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9957376 140720857142255 140720857142426 140720857142426 140720857145295 0
[pid=2792/tid=2872] ppid=2790 vsize=15486024 memory=1692 CPUtime=94.86 cores=1,3,5,7
/proc/2792/task/2872/stat : 2872 (java) R 2790 2790 2739 0 -1 4202560 1945 0 0 0 9486 0 0 0 20 0 19 0 475238513 15857688576 63827 33554432000 4194304 4196468 140720857135248 140713502321808 140713682637696 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9957376 140720857142255 140720857142426 140720857142426 140720857145295 0
Current children cumulated CPU time: 389.44 s
Current children cumulated vsize: 15599152 KiB
Current children cumulated memory: 256756 KiB
Child status: 0
Real time (s): 98.6613
CPU time (s): 389.668
CPU user time (s): 389.461
CPU system time (s): 0.206867
CPU usage (%): 394.955
Max. virtual memory (cumulated for all children) (KiB): 15601576
Max. memory (cumulated for all children) (KiB): 256756
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 389.461
system time used= 0.206867
maximum resident set size= 255308
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 67807
page faults= 1
swaps= 0
block input operations= 472
block output operations= 232
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12722
involuntary context switches= 10065
# summary of solver processes directly reported to runsolver:
# pid: 2790
# total CPU time (s): 389.668
# total CPU user time (s): 389.461
# total CPU system time (s): 0.206867
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.662592 second user time and 1.10274 second system time
The end