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 (15241 MiB free)
memory of node 1: 16384 MiB (15490 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4400436-1568692096/watcher-4400436-1568692096 -o /tmp/evaluation-result-4400436-1568692096/solver-4400436-1568692096 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node103-1568691240-24303 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 1188010368 HOME/instance-4400436-1568692096.xml
running on 4 cores: 0,2,4,6
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
Current StackSize limit: 8192 KiB
solver pid=30533, runsolver pid=30530
[startup+0.101044 s]*
/proc/loadavg: 7.20 7.83 7.86 4/229 30549
/proc/meminfo: memFree=31444956/32770624 swapFree=66997372/67108860
[pid=30533] ppid=30530 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/30533/stat : 30533 (xcsp3-exec) S 30530 30533 24272 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445462703 115843072 362 33554432000 4194304 5098028 140727967850992 140727967849096 140186469450364 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 35999744 140727967855482 140727967855725 140727967855725 140727967858634 0
/proc/30533/statm: 28282 362 304 221 0 87 0
[pid=30535] ppid=30533 vsize=15144776 memory=27252 CPUtime=0.12 cores=0,2,4,6
/proc/30535/stat : 30535 (java) S 30533 30533 24272 0 -1 1077944320 5756 0 0 0 11 1 0 0 20 0 15 0 445462703 15508250624 6813 33554432000 4194304 4196468 140721098012800 140721097995344 140240374849271 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 32575488 140721098019823 140721098019994 140721098019994 140721098022863 0
/proc/30535/statm: 3786194 6813 3144 1 0 3748377 0
[pid=30535/tid=30536] ppid=30533 vsize=15144776 memory=7100839870104831090 CPUtime=0.09 cores=0,2,4,6
/proc/30535/task/30536/stat : 30536 (java) R 30533 30533 24272 0 -1 4202560 3628 0 0 0 8 1 0 0 20 0 15 0 445462703 15508250624 6813 33554432000 4194304 4196468 140721098012800 140240379073600 140240374861206 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32575488 140721098019823 140721098019994 140721098019994 140721098022863 0
[pid=30535/tid=30537] ppid=30533 vsize=15144776 memory=-3689451258167578675 CPUtime=0 cores=0,2,4,6
/proc/30535/task/30537/stat : 30537 (java) S 30533 30533 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445462704 15508250624 6813 33554432000 4194304 4196468 140721098012800 140239966931216 140240374859477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32575488 140721098019823 140721098019994 140721098019994 140721098022863 0
[pid=30535/tid=30538] ppid=30533 vsize=15144776 memory=140345014232704 CPUtime=0 cores=0,2,4,6
/proc/30535/task/30538/stat : 30538 (java) S 30533 30533 24272 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445462704 15508250624 6813 33554432000 4194304 4196468 140721098012800 140239965878672 140240374859477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32575488 140721098019823 140721098019994 140721098019994 140721098022863 0
[pid=30535/tid=30539] ppid=30533 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30535/task/30539/stat : 30539 (java) S 30533 30533 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445462704 15508250624 6813 33554432000 4194304 4196468 140721098012800 140239964826128 140240374859477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32575488 140721098019823 140721098019994 140721098019994 140721098022863 0
[pid=30535/tid=30540] ppid=30533 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30535/task/30540/stat : 30540 (java) S 30533 30533 24272 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445462704 15508250624 6813 33554432000 4194304 4196468 140721098012800 140239963773584 140240374859477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32575488 140721098019823 140721098019994 140721098019994 140721098022863 0
[pid=30535/tid=30541] ppid=30533 vsize=15144776 memory=140345014232704 CPUtime=0 cores=0,2,4,6
/proc/30535/task/30541/stat : 30541 (java) S 30533 30533 24272 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445462706 15508250624 6813 33554432000 4194304 4196468 140721098012800 140239843125744 140240374860418 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32575488 140721098019823 140721098019994 140721098019994 140721098022863 0
[pid=30535/tid=30542] ppid=30533 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30535/task/30542/stat : 30542 (java) S 30533 30533 24272 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445462706 15508250624 6813 33554432000 4194304 4196468 140721098012800 140239842071968 140240374859477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32575488 140721098019823 140721098019994 140721098019994 140721098022863 0
[pid=30535/tid=30543] ppid=30533 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30535/task/30543/stat : 30543 (java) S 30533 30533 24272 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445462706 15508250624 6813 33554432000 4194304 4196468 140721098012800 140239841019376 140240374859477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32575488 140721098019823 140721098019994 140721098019994 140721098022863 0
[pid=30535/tid=30544] ppid=30533 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30535/task/30544/stat : 30544 (java) S 30533 30533 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445462709 15508250624 6813 33554432000 4194304 4196468 140721098012800 140239839967952 140240374867867 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32575488 140721098019823 140721098019994 140721098019994 140721098022863 0
[pid=30535/tid=30545] ppid=30533 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30535/task/30545/stat : 30545 (java) S 30533 30533 24272 0 -1 1077944384 428 0 0 0 0 0 0 0 20 0 15 0 445462709 15508250624 6813 33554432000 4194304 4196468 140721098012800 140239838914544 140240374860418 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32575488 140721098019823 140721098019994 140721098019994 140721098022863 0
[pid=30535/tid=30546] ppid=30533 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30535/task/30546/stat : 30546 (java) S 30533 30533 24272 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445462709 15508250624 6813 33554432000 4194304 4196468 140721098012800 140239837862000 140240374860418 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32575488 140721098019823 140721098019994 140721098019994 140721098022863 0
[pid=30535/tid=30547] ppid=30533 vsize=15144776 memory=140345014232704 CPUtime=0.02 cores=0,2,4,6
/proc/30535/task/30547/stat : 30547 (java) R 30533 30533 24272 0 -1 4202560 392 0 0 0 2 0 0 0 20 0 15 0 445462709 15508250624 6813 33554432000 4194304 4196468 140721098012800 140239836809456 140240353776119 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32575488 140721098019823 140721098019994 140721098019994 140721098022863 0
[pid=30535/tid=30548] ppid=30533 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30535/task/30548/stat : 30548 (java) S 30533 30533 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445462709 15508250624 6813 33554432000 4194304 4196468 140721098012800 140239835757152 140240374859477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32575488 140721098019823 140721098019994 140721098019994 140721098022863 0
[pid=30535/tid=30549] ppid=30533 vsize=15144776 memory=140345014232704 CPUtime=0 cores=0,2,4,6
/proc/30535/task/30549/stat : 30549 (java) S 30533 30533 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445462709 15508250624 6813 33554432000 4194304 4196468 140721098012800 140239834704688 140240374860418 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32575488 140721098019823 140721098019994 140721098019994 140721098022863 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 28700 KiB
[startup+0.21044 s]*
/proc/loadavg: 7.20 7.83 7.86 6/229 30549
/proc/meminfo: memFree=31422216/32770624 swapFree=66997372/67108860
[pid=30533] ppid=30530 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/30533/stat : 30533 (xcsp3-exec) S 30530 30533 24272 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445462703 115843072 362 33554432000 4194304 5098028 140727967850992 140727967849096 140186469450364 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 35999744 140727967855482 140727967855725 140727967855725 140727967858634 0
/proc/30533/statm: 28282 362 304 221 0 87 0
[pid=30535] ppid=30533 vsize=15144776 memory=39704 CPUtime=0.33 cores=0,2,4,6
/proc/30535/stat : 30535 (java) S 30533 30533 24272 0 -1 1077944320 9675 0 0 0 30 3 0 0 20 0 15 0 445462703 15508250624 9926 33554432000 4194304 4196468 140721098012800 140721097995344 140240374849271 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 32575488 140721098019823 140721098019994 140721098019994 140721098022863 0
/proc/30535/statm: 3786194 9926 3280 1 0 3748377 0
[pid=30535/tid=30536] ppid=30533 vsize=15144776 memory=7883960649037381690 CPUtime=0.19 cores=0,2,4,6
/proc/30535/task/30536/stat : 30536 (java) R 30533 30533 24272 0 -1 4202560 6661 0 0 0 17 2 0 0 20 0 15 0 445462703 15508250624 9926 33554432000 4194304 4196468 140721098012800 140240379081184 140240367527285 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32575488 140721098019823 140721098019994 140721098019994 140721098022863 0
[pid=30535/tid=30537] ppid=30533 vsize=15144776 memory=9100 CPUtime=0 cores=0,2,4,6
/proc/30535/task/30537/stat : 30537 (java) S 30533 30533 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445462704 15508250624 9926 33554432000 4194304 4196468 140721098012800 140239966931216 140240374859477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32575488 140721098019823 140721098019994 140721098019994 140721098022863 0
[pid=30535/tid=30538] ppid=30533 vsize=15144776 memory=288370721165944448 CPUtime=0 cores=0,2,4,6
/proc/30535/task/30538/stat : 30538 (java) S 30533 30533 24272 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445462704 15508250624 9926 33554432000 4194304 4196468 140721098012800 140239965878672 140240374859477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32575488 140721098019823 140721098019994 140721098019994 140721098022863 0
[pid=30535/tid=30539] ppid=30533 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30535/task/30539/stat : 30539 (java) S 30533 30533 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445462704 15508250624 9926 33554432000 4194304 4196468 140721098012800 140239964826128 140240374859477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32575488 140721098019823 140721098019994 140721098019994 140721098022863 0
[pid=30535/tid=30540] ppid=30533 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30535/task/30540/stat : 30540 (java) S 30533 30533 24272 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445462704 15508250624 9926 33554432000 4194304 4196468 140721098012800 140239963773584 140240374859477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32575488 140721098019823 140721098019994 140721098019994 140721098022863 0
[pid=30535/tid=30541] ppid=30533 vsize=15144776 memory=140345014232704 CPUtime=0 cores=0,2,4,6
/proc/30535/task/30541/stat : 30541 (java) S 30533 30533 24272 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445462706 15508250624 9926 33554432000 4194304 4196468 140721098012800 140239843125744 140240374860418 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32575488 140721098019823 140721098019994 140721098019994 140721098022863 0
[pid=30535/tid=30542] ppid=30533 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30535/task/30542/stat : 30542 (java) S 30533 30533 24272 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445462706 15508250624 9926 33554432000 4194304 4196468 140721098012800 140239842071968 140240374859477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32575488 140721098019823 140721098019994 140721098019994 140721098022863 0
[pid=30535/tid=30543] ppid=30533 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30535/task/30543/stat : 30543 (java) S 30533 30533 24272 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445462706 15508250624 9926 33554432000 4194304 4196468 140721098012800 140239841019376 140240374859477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32575488 140721098019823 140721098019994 140721098019994 140721098022863 0
[pid=30535/tid=30544] ppid=30533 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30535/task/30544/stat : 30544 (java) S 30533 30533 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445462709 15508250624 9926 33554432000 4194304 4196468 140721098012800 140239839967952 140240374867867 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32575488 140721098019823 140721098019994 140721098019994 140721098022863 0
[pid=30535/tid=30545] ppid=30533 vsize=15144776 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/30535/task/30545/stat : 30545 (java) S 30533 30533 24272 0 -1 1077944384 493 0 0 0 2 0 0 0 20 0 15 0 445462709 15508250624 9926 33554432000 4194304 4196468 140721098012800 140239838914544 140240374860418 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32575488 140721098019823 140721098019994 140721098019994 140721098022863 0
[pid=30535/tid=30546] ppid=30533 vsize=15144776 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/30535/task/30546/stat : 30546 (java) S 30533 30533 24272 0 -1 1077944384 315 0 0 0 2 0 0 0 20 0 15 0 445462709 15508250624 9926 33554432000 4194304 4196468 140721098012800 140239837862000 140240374860418 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32575488 140721098019823 140721098019994 140721098019994 140721098022863 0
[pid=30535/tid=30547] ppid=30533 vsize=15144776 memory=140345014232704 CPUtime=0.07 cores=0,2,4,6
/proc/30535/task/30547/stat : 30547 (java) R 30533 30533 24272 0 -1 4202560 899 0 0 0 7 0 0 0 20 0 15 0 445462709 15508250624 9926 33554432000 4194304 4196468 140721098012800 140239836805184 140240354238888 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32575488 140721098019823 140721098019994 140721098019994 140721098022863 0
[pid=30535/tid=30548] ppid=30533 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30535/task/30548/stat : 30548 (java) S 30533 30533 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445462709 15508250624 9926 33554432000 4194304 4196468 140721098012800 140239835757152 140240374859477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32575488 140721098019823 140721098019994 140721098019994 140721098022863 0
[pid=30535/tid=30549] ppid=30533 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30535/task/30549/stat : 30549 (java) S 30533 30533 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445462709 15508250624 9926 33554432000 4194304 4196468 140721098012800 140239834704688 140240374860418 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32575488 140721098019823 140721098019994 140721098019994 140721098022863 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 41152 KiB
[startup+0.311051 s]*
/proc/loadavg: 7.20 7.83 7.86 6/229 30549
/proc/meminfo: memFree=31385460/32770624 swapFree=66997372/67108860
[pid=30533] ppid=30530 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/30533/stat : 30533 (xcsp3-exec) S 30530 30533 24272 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445462703 115843072 362 33554432000 4194304 5098028 140727967850992 140727967849096 140186469450364 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 35999744 140727967855482 140727967855725 140727967855725 140727967858634 0
/proc/30533/statm: 28282 362 304 221 0 87 0
[pid=30535] ppid=30533 vsize=15149032 memory=46420 CPUtime=0.51 cores=0,2,4,6
/proc/30535/stat : 30535 (java) S 30533 30533 24272 0 -1 1077944320 10956 0 0 0 47 4 0 0 20 0 15 0 445462703 15512608768 11605 33554432000 4194304 4196468 140721098012800 140721097995344 140240374849271 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 32575488 140721098019823 140721098019994 140721098019994 140721098022863 0
/proc/30535/statm: 3787258 11605 3326 1 0 3748377 0
[pid=30535/tid=30536] ppid=30533 vsize=15149032 memory=7883960649037381690 CPUtime=0.3 cores=0,2,4,6
/proc/30535/task/30536/stat : 30536 (java) R 30533 30533 24272 0 -1 4202560 7717 0 0 0 27 3 0 0 20 0 15 0 445462703 15512608768 11605 33554432000 4194304 4196468 140721098012800 140240379085888 140240374861206 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32575488 140721098019823 140721098019994 140721098019994 140721098022863 0
[pid=30535/tid=30537] ppid=30533 vsize=15149032 memory=9461 CPUtime=0 cores=0,2,4,6
/proc/30535/task/30537/stat : 30537 (java) S 30533 30533 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445462704 15512608768 11605 33554432000 4194304 4196468 140721098012800 140239966931216 140240374859477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32575488 140721098019823 140721098019994 140721098019994 140721098022863 0
[pid=30535/tid=30538] ppid=30533 vsize=15149032 memory=288230376155267454 CPUtime=0 cores=0,2,4,6
/proc/30535/task/30538/stat : 30538 (java) S 30533 30533 24272 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445462704 15512608768 11605 33554432000 4194304 4196468 140721098012800 140239965878672 140240374859477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32575488 140721098019823 140721098019994 140721098019994 140721098022863 0
[pid=30535/tid=30539] ppid=30533 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30535/task/30539/stat : 30539 (java) S 30533 30533 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445462704 15512608768 11605 33554432000 4194304 4196468 140721098012800 140239964826128 140240374859477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32575488 140721098019823 140721098019994 140721098019994 140721098022863 0
[pid=30535/tid=30540] ppid=30533 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30535/task/30540/stat : 30540 (java) S 30533 30533 24272 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445462704 15512608768 11605 33554432000 4194304 4196468 140721098012800 140239963773584 140240374859477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32575488 140721098019823 140721098019994 140721098019994 140721098022863 0
[pid=30535/tid=30541] ppid=30533 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30535/task/30541/stat : 30541 (java) S 30533 30533 24272 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445462706 15512608768 11605 33554432000 4194304 4196468 140721098012800 140239843125744 140240374860418 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32575488 140721098019823 140721098019994 140721098019994 140721098022863 0
[pid=30535/tid=30542] ppid=30533 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30535/task/30542/stat : 30542 (java) S 30533 30533 24272 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445462706 15512608768 11605 33554432000 4194304 4196468 140721098012800 140239842071968 140240374859477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32575488 140721098019823 140721098019994 140721098019994 140721098022863 0
[pid=30535/tid=30543] ppid=30533 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30535/task/30543/stat : 30543 (java) S 30533 30533 24272 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445462706 15512608768 11605 33554432000 4194304 4196468 140721098012800 140239841019376 140240374859477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32575488 140721098019823 140721098019994 140721098019994 140721098022863 0
[pid=30535/tid=30544] ppid=30533 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30535/task/30544/stat : 30544 (java) S 30533 30533 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445462709 15512608768 11605 33554432000 4194304 4196468 140721098012800 140239839967952 140240374867867 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32575488 140721098019823 140721098019994 140721098019994 140721098022863 0
[pid=30535/tid=30545] ppid=30533 vsize=15149032 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/30535/task/30545/stat : 30545 (java) R 30533 30533 24272 0 -1 4202560 537 0 0 0 4 0 0 0 20 0 15 0 445462709 15512608768 11605 33554432000 4194304 4196468 140721098012800 140239838912944 140240359246036 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32575488 140721098019823 140721098019994 140721098019994 140721098022863 0
[pid=30535/tid=30546] ppid=30533 vsize=15149032 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/30535/task/30546/stat : 30546 (java) R 30533 30533 24272 0 -1 1077944384 330 0 0 0 3 0 0 0 20 0 15 0 445462709 15512608768 11605 33554432000 4194304 4196468 140721098012800 140239837862000 140240374860418 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32575488 140721098019823 140721098019994 140721098019994 140721098022863 0
[pid=30535/tid=30547] ppid=30533 vsize=15149032 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/30535/task/30547/stat : 30547 (java) R 30533 30533 24272 0 -1 4202560 1067 0 0 0 12 0 0 0 20 0 15 0 445462709 15512608768 11605 33554432000 4194304 4196468 140721098012800 140239836809456 140240353215674 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32575488 140721098019823 140721098019994 140721098019994 140721098022863 0
[pid=30535/tid=30548] ppid=30533 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30535/task/30548/stat : 30548 (java) S 30533 30533 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445462709 15512608768 11605 33554432000 4194304 4196468 140721098012800 140239835757152 140240374859477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32575488 140721098019823 140721098019994 140721098019994 140721098022863 0
[pid=30535/tid=30549] ppid=30533 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30535/task/30549/stat : 30549 (java) S 30533 30533 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445462709 15512608768 11605 33554432000 4194304 4196468 140721098012800 140239834704688 140240374860418 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32575488 140721098019823 140721098019994 140721098019994 140721098022863 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 47868 KiB
[startup+0.700816 s]
/proc/loadavg: 7.20 7.83 7.86 4/229 30549
/proc/meminfo: memFree=31365856/32770624 swapFree=66997372/67108860
[pid=30533] ppid=30530 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/30533/stat : 30533 (xcsp3-exec) S 30530 30533 24272 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445462703 115843072 362 33554432000 4194304 5098028 140727967850992 140727967849096 140186469450364 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 35999744 140727967855482 140727967855725 140727967855725 140727967858634 0
/proc/30533/statm: 28282 362 304 221 0 87 0
[pid=30535] ppid=30533 vsize=15149032 memory=49932 CPUtime=0.55 cores=0,2,4,6
/proc/30535/stat : 30535 (java) S 30533 30533 24272 0 -1 1077944320 11308 0 0 0 51 4 0 0 20 0 15 0 445462703 15512608768 12483 33554432000 4194304 4196468 140721098012800 140721097995344 140240374849271 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 32575488 140721098019823 140721098019994 140721098019994 140721098022863 0
/proc/30535/statm: 3787258 12483 3371 1 0 3748377 0
[pid=30535/tid=30536] ppid=30533 vsize=15149032 memory=0 CPUtime=0.31 cores=0,2,4,6
/proc/30535/task/30536/stat : 30536 (java) D 30533 30533 24272 0 -1 4202560 7950 0 0 0 28 3 0 0 20 0 15 0 445462703 15512608768 12483 33554432000 4194304 4196468 140721098012800 140240379089024 140240374871197 0 4 0 16800975 18446744072099941509 0 0 -1 4 0 0 0 0 0 6293624 6294260 32575488 140721098019823 140721098019994 140721098019994 140721098022863 0
[pid=30535/tid=30537] ppid=30533 vsize=15149032 memory=500 CPUtime=0 cores=0,2,4,6
/proc/30535/task/30537/stat : 30537 (java) S 30533 30533 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445462704 15512608768 12483 33554432000 4194304 4196468 140721098012800 140239966931216 140240374859477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32575488 140721098019823 140721098019994 140721098019994 140721098022863 0
[pid=30535/tid=30538] ppid=30533 vsize=15149032 memory=1560 CPUtime=0 cores=0,2,4,6
/proc/30535/task/30538/stat : 30538 (java) S 30533 30533 24272 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445462704 15512608768 12483 33554432000 4194304 4196468 140721098012800 140239965878672 140240374859477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32575488 140721098019823 140721098019994 140721098019994 140721098022863 0
[pid=30535/tid=30539] ppid=30533 vsize=15149032 memory=932 CPUtime=0 cores=0,2,4,6
/proc/30535/task/30539/stat : 30539 (java) S 30533 30533 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445462704 15512608768 12483 33554432000 4194304 4196468 140721098012800 140239964826128 140240374859477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32575488 140721098019823 140721098019994 140721098019994 140721098022863 0
[pid=30535/tid=30540] ppid=30533 vsize=15149032 memory=3768 CPUtime=0 cores=0,2,4,6
/proc/30535/task/30540/stat : 30540 (java) S 30533 30533 24272 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445462704 15512608768 12483 33554432000 4194304 4196468 140721098012800 140239963773584 140240374859477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32575488 140721098019823 140721098019994 140721098019994 140721098022863 0
[pid=30535/tid=30541] ppid=30533 vsize=15149032 memory=1980 CPUtime=0 cores=0,2,4,6
/proc/30535/task/30541/stat : 30541 (java) S 30533 30533 24272 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445462706 15512608768 12483 33554432000 4194304 4196468 140721098012800 140239843125744 140240374860418 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32575488 140721098019823 140721098019994 140721098019994 140721098022863 0
[pid=30535/tid=30542] ppid=30533 vsize=15149032 memory=2512 CPUtime=0 cores=0,2,4,6
/proc/30535/task/30542/stat : 30542 (java) S 30533 30533 24272 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445462706 15512608768 12483 33554432000 4194304 4196468 140721098012800 140239842071968 140240374859477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32575488 140721098019823 140721098019994 140721098019994 140721098022863 0
[pid=30535/tid=30543] ppid=30533 vsize=15149032 memory=1436 CPUtime=0 cores=0,2,4,6
/proc/30535/task/30543/stat : 30543 (java) S 30533 30533 24272 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445462706 15512608768 12483 33554432000 4194304 4196468 140721098012800 140239841019376 140240374859477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32575488 140721098019823 140721098019994 140721098019994 140721098022863 0
[pid=30535/tid=30544] ppid=30533 vsize=15149032 memory=812 CPUtime=0 cores=0,2,4,6
/proc/30535/task/30544/stat : 30544 (java) S 30533 30533 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445462709 15512608768 12483 33554432000 4194304 4196468 140721098012800 140239839967952 140240374867867 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32575488 140721098019823 140721098019994 140721098019994 140721098022863 0
[pid=30535/tid=30545] ppid=30533 vsize=15149032 memory=1764 CPUtime=0.05 cores=0,2,4,6
/proc/30535/task/30545/stat : 30545 (java) S 30533 30533 24272 0 -1 1077944384 642 0 0 0 5 0 0 0 20 0 15 0 445462709 15512608768 12483 33554432000 4194304 4196468 140721098012800 140239838914544 140240374860418 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32575488 140721098019823 140721098019994 140721098019994 140721098022863 0
[pid=30535/tid=30546] ppid=30533 vsize=15149032 memory=111628 CPUtime=0.04 cores=0,2,4,6
/proc/30535/task/30546/stat : 30546 (java) S 30533 30533 24272 0 -1 1077944384 336 0 0 0 4 0 0 0 20 0 15 0 445462709 15512608768 12483 33554432000 4194304 4196468 140721098012800 140239837862000 140240374860418 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32575488 140721098019823 140721098019994 140721098019994 140721098022863 0
[pid=30535/tid=30547] ppid=30533 vsize=15149032 memory=796 CPUtime=0.12 cores=0,2,4,6
/proc/30535/task/30547/stat : 30547 (java) S 30533 30533 24272 0 -1 1077944384 1073 0 0 0 12 0 0 0 20 0 15 0 445462709 15512608768 12483 33554432000 4194304 4196468 140721098012800 140239836809456 140240374860418 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32575488 140721098019823 140721098019994 140721098019994 140721098022863 0
[pid=30535/tid=30548] ppid=30533 vsize=15149032 memory=4100 CPUtime=0 cores=0,2,4,6
/proc/30535/task/30548/stat : 30548 (java) S 30533 30533 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445462709 15512608768 12483 33554432000 4194304 4196468 140721098012800 140239835757152 140240374859477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32575488 140721098019823 140721098019994 140721098019994 140721098022863 0
[pid=30535/tid=30549] ppid=30533 vsize=15149032 memory=1804 CPUtime=0 cores=0,2,4,6
/proc/30535/task/30549/stat : 30549 (java) S 30533 30533 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445462709 15512608768 12483 33554432000 4194304 4196468 140721098012800 140239834704688 140240374860418 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32575488 140721098019823 140721098019994 140721098019994 140721098022863 0
Current children cumulated CPU time: 0.55 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51380 KiB
[startup+1.50108 s]
/proc/loadavg: 7.20 7.83 7.86 2/229 30549
/proc/meminfo: memFree=31226300/32770624 swapFree=66997372/67108860
[pid=30533] ppid=30530 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/30533/stat : 30533 (xcsp3-exec) S 30530 30533 24272 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445462703 115843072 362 33554432000 4194304 5098028 140727967850992 140727967849096 140186469450364 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 35999744 140727967855482 140727967855725 140727967855725 140727967858634 0
/proc/30533/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
/proc/30535/task/30545/stat : 30545 (java) R 30533 30533 24272 0 -1 4202560 4838 0 0 0 162 0 0 0 20 0 19 0 445462709 15859793920 174000 33554432000 4194304 4196468 140721098012800 140239838894288 140240356028123 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32575488 140721098019823 140721098019994 140721098019994 140721098022863 0
[pid=30535/tid=30546] ppid=30533 vsize=15488080 memory=4351 CPUtime=1.73 cores=0,2,4,6
/proc/30535/task/30546/stat : 30546 (java) S 30533 30533 24272 0 -1 1077944384 5846 0 0 0 172 1 0 0 20 0 19 0 445462709 15859793920 174000 33554432000 4194304 4196468 140721098012800 140239837862000 140240374860418 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32575488 140721098019823 140721098019994 140721098019994 140721098022863 0
[pid=30535/tid=30547] ppid=30533 vsize=15488080 memory=386 CPUtime=0.85 cores=0,2,4,6
/proc/30535/task/30547/stat : 30547 (java) R 30533 30533 24272 0 -1 4202560 4982 0 0 0 84 1 0 0 20 0 19 0 445462709 15859793920 174000 33554432000 4194304 4196468 140721098012800 140239836809456 140240360545137 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32575488 140721098019823 140721098019994 140721098019994 140721098022863 0
[pid=30535/tid=30548] ppid=30533 vsize=15488080 memory=329 CPUtime=0 cores=0,2,4,6
/proc/30535/task/30548/stat : 30548 (java) S 30533 30533 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445462709 15859793920 174000 33554432000 4194304 4196468 140721098012800 140239835757152 140240374859477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32575488 140721098019823 140721098019994 140721098019994 140721098022863 0
[pid=30535/tid=30549] ppid=30533 vsize=15488080 memory=1025 CPUtime=0 cores=0,2,4,6
/proc/30535/task/30549/stat : 30549 (java) S 30533 30533 24272 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 19 0 445462709 15859793920 174000 33554432000 4194304 4196468 140721098012800 140239834704688 140240374860418 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32575488 140721098019823 140721098019994 140721098019994 140721098022863 0
Current children cumulated CPU time: 7.53 s
Current children cumulated vsize: 15601208 KiB
Current children cumulated memory: 697448 KiB
[startup+4.00103 s]*
/proc/loadavg: 7.10 7.80 7.85 10/233 31488
/proc/meminfo: memFree=30773068/32770624 swapFree=66997372/67108860
[pid=30533] ppid=30530 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/30533/stat : 30533 (xcsp3-exec) S 30530 30533 24272 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445462703 115843072 362 33554432000 4194304 5098028 140727967850992 140727967849096 140186469450364 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 35999744 140727967855482 140727967855725 140727967855725 140727967858634 0
/proc/30533/statm: 28282 362 304 221 0 87 0
[pid=30535] ppid=30533 vsize=15488080 memory=711060 CPUtime=10.69 cores=0,2,4,6
/proc/30535/stat : 30535 (java) S 30533 30533 24272 0 -1 1077944320 42330 0 0 0 1030 39 0 0 20 0 19 0 445462703 15859793920 177765 33554432000 4194304 4196468 140721098012800 140721097995344 140240374849271 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 32575488 140721098019823 140721098019994 140721098019994 140721098022863 0
/proc/30535/statm: 3872020 177765 3530 1 0 3833120 0
[pid=30535/tid=30536] ppid=30533 vsize=15488080 memory=8317482817917895235 CPUtime=1.56 cores=0,2,4,6
/proc/30535/task/30536/stat : 30536 (java) S 30533 30533 24272 0 -1 1077944384 10965 0 0 0 150 6 0 0 20 0 19 0 445462703 15859793920 177765 33554432000 4194304 4196468 140721098012800 140240379090048 140240374859477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 69 0 0 6293624 6294260 32575488 140721098019823 140721098019994 140721098019994 140721098022863 0
[pid=30535/tid=30537] ppid=30533 vsize=15488080 memory=4872558044660077418 CPUtime=0.16 cores=0,2,4,6
/proc/30535/task/30537/stat : 30537 (java) S 30533 30533 24272 0 -1 1077944384 362 0 0 0 11 5 0 0 20 0 19 0 445462704 15859793920 177765 33554432000 4194304 4196468 140721098012800 140239966931216 140240374859477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32575488 140721098019823 140721098019994 140721098019994 140721098022863 0
[pid=30535/tid=30538] ppid=30533 vsize=15488080 memory=140344901752132 CPUtime=0.16 cores=0,2,4,6
/proc/30535/task/30538/stat : 30538 (java) S 30533 30533 24272 0 -1 1077944384 404 0 0 0 11 5 0 0 20 0 19 0 445462704 15859793920 177765 33554432000 4194304 4196468 140721098012800 140239965878672 140240374859477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32575488 140721098019823 140721098019994 140721098019994 140721098022863 0
[pid=30535/tid=30539] ppid=30533 vsize=15488080 memory=111628 CPUtime=0.17 cores=0,2,4,6
/proc/30535/task/30539/stat : 30539 (java) S 30533 30533 24272 0 -1 1077944384 375 0 0 0 12 5 0 0 20 0 19 0 445462704 15859793920 177765 33554432000 4194304 4196468 140721098012800 140239964826128 140240374859477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32575488 140721098019823 140721098019994 140721098019994 140721098022863 0
[pid=30535/tid=30540] ppid=30533 vsize=15488080 memory=796 CPUtime=0.12 cores=0,2,4,6
/proc/30535/task/30540/stat : 30540 (java) S 30533 30533 24272 0 -1 1077944384 1056 0 0 0 8 4 0 0 20 0 19 0 445462704 15859793920 177765 33554432000 4194304 4196468 140721098012800 140239963773584 140240374859477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32575488 140721098019823 140721098019994 140721098019994 140721098022863 0
[pid=30535/tid=30541] ppid=30533 vsize=15488080 memory=280689803002096 CPUtime=0.01 cores=0,2,4,6
/proc/30535/task/30541/stat : 30541 (java) S 30533 30533 24272 0 -1 1077944384 729 0 0 0 1 0 0 0 20 0 19 0 445462706 15859793920 177765 33554432000 4194304 4196468 140721098012800 140239843125744 140240374860418 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32575488 140721098019823 140721098019994 140721098019994 140721098022863 0
[pid=30535/tid=30542] ppid=30533 vsize=15488080 memory=1764 CPUtime=0 cores=0,2,4,6
/proc/30535/task/30542/stat : 30542 (java) S 30533 30533 24272 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 19 0 445462706 15859793920 177765 33554432000 4194304 4196468 140721098012800 140239842072032 140240374859477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32575488 140721098019823 140721098019994 140721098019994 140721098022863 0
[pid=30535/tid=30543] ppid=30533 vsize=15488080 memory=111628 CPUtime=0 cores=0,2,4,6
/proc/30535/task/30543/stat : 30543 (java) S 30533 30533 24272 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 19 0 445462706 15859793920 177765 33554432000 4194304 4196468 140721098012800 140239841019392 140240374859477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32575488 140721098019823 140721098019994 140721098019994 140721098022863 0
[pid=30535/tid=30544] ppid=30533 vsize=15488080 memory=796 CPUtime=0 cores=0,2,4,6
/proc/30535/task/30544/stat : 30544 (java) S 30533 30533 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445462709 15859793920 177765 33554432000 4194304 4196468 140721098012800 140239839967952 140240374867867 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32575488 140721098019823 140721098019994 140721098019994 140721098022863 0
[pid=30535/tid=30545] ppid=30533 vsize=15488080 memory=4100 CPUtime=2.11 cores=0,2,4,6
/proc/30535/task/30545/stat : 30545 (java) R 30533 30533 24272 0 -1 1077944384 5832 0 0 0 211 0 0 0 20 0 19 0 445462709 15859793920 177765 33554432000 4194304 4196468 140721098012800 140239838913728 140240374859477 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32575488 140721098019823 140721098019994 140721098019994 140721098022863 0
[pid=30535/tid=30546] ppid=30533 vsize=15488080 memory=1804 CPUtime=2.29 cores=0,2,4,6
/proc/30535/task/30546/stat : 30546 (java) R 30533 30533 24272 0 -1 4202560 6126 0 0 0 228 1 0 0 20 0 19 0 445462709 15859793920 177765 33554432000 4194304 4196468 140721098012800 140239837848208 140240356379816 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32575488 140721098019823 140721098019994 140721098019994 140721098022863 0
[pid=30535/tid=30547] ppid=30533 vsize=15488080 memory=916 CPUtime=0.9 cores=0,2,4,6
/proc/30535/task/30547/stat : 30547 (java) R 30533 30533 24272 0 -1 4202560 5564 0 0 0 89 1 0 0 20 0 19 0 445462709 15859793920 177765 33554432000 4194304 4196468 140721098012800 140239836807248 140240353369422 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32575488 140721098019823 140721098019994 140721098019994 140721098022863 0
[pid=30535/tid=30548] ppid=30533 vsize=15488080 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30535/task/30548/stat : 30548 (java) S 30533 30533 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445462709 15859793920 177765 33554432000 4194304 4196468 140721098012800 140239835757152 140240374859477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32575488 140721098019823 140721098019994 140721098019994 140721098022863 0
[pid=30535/tid=30549] ppid=30533 vsize=15488080 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30535/task/30549/stat : 30549 (java) S 30533 30533 24272 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 19 0 445462709 15859793920 177765 33554432000 4194304 4196468 140721098012800 140239834704688 140240374860418 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32575488 140721098019823 140721098019994 140721098019994 140721098022863 0
[pid=30535/tid=31435] ppid=30533 vsize=15488080 memory=3184238264977641792 CPUtime=0.38 cores=0,2,4,6
/proc/30535/task/31435/stat : 31435 (java) R 30533 30533 24272 0 -1 4202560 18 0 0 0 38 0 0 0 20 0 19 0 445463027 15859793920 177765 33554432000 4194304 4196468 140721098012800 140239818362600 140240020063182 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32575488 140721098019823 140721098019994 140721098019994 140721098022863 0
[pid=30535/tid=31436] ppid=30533 vsize=15488080 memory=6656426216303648864 CPUtime=0.45 cores=0,2,4,6
/proc/30535/task/31436/stat : 31436 (java) R 30533 30533 24272 0 -1 4202560 106 0 0 0 45 0 0 0 20 0 19 0 445463028 15859793920 177765 33554432000 4194304 4196468 140721098012800 140239822574056 140240019373049 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32575488 140721098019823 140721098019994 140721098019994 140721098022863 0
[pid=30535/tid=31437] ppid=30533 vsize=15488080 memory=7084821286523977828 CPUtime=0.53 cores=0,2,4,6
/proc/30535/task/31437/stat : 31437 (java) R 30533 30533 24272 0 -1 4202560 17 0 0 0 53 0 0 0 20 0 19 0 445463028 15859793920 177765 33554432000 4194304 4196468 140721098012800 140239821520808 140240020063177 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32575488 140721098019823 140721098019994 140721098019994 140721098022863 0
[pid=30535/tid=31438] ppid=30533 vsize=15488080 memory=0 CPUtime=0.6 cores=0,2,4,6
/proc/30535/task/31438/stat : 31438 (java) R 30533 30533 24272 0 -1 4202560 20 0 0 0 60 0 0 0 20 0 19 0 445463028 15859793920 177765 33554432000 4194304 4196468 140721098012800 140239819416920 140240019884612 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32575488 140721098019823 140721098019994 140721098019994 140721098022863 0
Current children cumulated CPU time: 10.69 s
Current children cumulated vsize: 15601208 KiB
Current children cumulated memory: 712508 KiB
[startup+4.40093 s]
/proc/loadavg: 7.10 7.80 7.85 10/233 31488
/proc/meminfo: memFree=30773068/32770624 swapFree=66997372/67108860
[pid=30533] ppid=30530 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/30533/stat : 30533 (xcsp3-exec) S 30530 30533 24272 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445462703 115843072 362 33554432000 4194304 5098028 140727967850992 140727967849096 140186469450364 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 35999744 140727967855482 140727967855725 140727967855725 140727967858634 0
/proc/30533/statm: 28282 362 304 221 0 87 0
[pid=30535] ppid=30533 vsize=15488080 memory=711780 CPUtime=12.24 cores=0,2,4,6
/proc/30535/stat : 30535 (java) S 30533 30533 24272 0 -1 1077944320 42584 0 0 0 1185 39 0 0 20 0 19 0 445462703 15859793920 177945 33554432000 4194304 4196468 140721098012800 140721097995344 140240374849271 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 32575488 140721098019823 140721098019994 140721098019994 140721098022863 0
/proc/30535/statm: 3872020 177945 3532 1 0 3833120 0
[pid=30535/tid=30536] ppid=30533 vsize=15488080 memory=-9001733975035308135 CPUtime=1.56 cores=0,2,4,6
/proc/30535/task/30536/stat : 30536 (java) S 30533 30533 24272 0 -1 1077944384 10965 0 0 0 150 6 0 0 20 0 19 0 445462703 15859793920 177945 33554432000 4194304 4196468 140721098012800 140240379090048 140240374859477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 69 0 0 6293624 6294260 32575488 140721098019823 140721098019994 140721098019994 140721098022863 0
[pid=30535/tid=30537] ppid=30533 vsize=15488080 memory=-7385037589438827369 CPUtime=0.16 cores=0,2,4,6
/proc/30535/task/30537/stat : 30537 (java) S 30533 30533 24272 0 -1 1077944384 362 0 0 0 11 5 0 0 20 0 19 0 445462704 15859793920 177945 33554432000 4194304 4196468 140721098012800 140239966931216 140240374859477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32575488 140721098019823 140721098019994 140721098019994 140721098022863 0
[pid=30535/tid=30538] ppid=30533 vsize=15488080 memory=0 CPUtime=0.16 cores=0,2,4,6
/proc/30535/task/30538/stat : 30538 (java) S 30533 30533 24272 0 -1 1077944384 404 0 0 0 11 5 0 0 20 0 19 0 445462704 15859793920 177945 33554432000 4194304 4196468 140721098012800 140239965878672 140240374859477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32575488 140721098019823 140721098019994 140721098019994 140721098022863 0
[pid=30535/tid=30539] ppid=30533 vsize=15488080 memory=7451596268077869671 CPUtime=0.17 cores=0,2,4,6
/proc/30535/task/30539/stat : 30539 (java) S 30533 30533 24272 0 -1 1077944384 375 0 0 0 12 5 0 0 20 0 19 0 445462704 15859793920 177945 33554432000 4194304 4196468 140721098012800 140239964826128 140240374859477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32575488 140721098019823 140721098019994 140721098019994 140721098022863 0
[pid=30535/tid=30540] ppid=30533 vsize=15488080 memory=7594587674001172330 CPUtime=0.12 cores=0,2,4,6
/proc/30535/task/30540/stat : 30540 (java) S 30533 30533 24272 0 -1 1077944384 1056 0 0 0 8 4 0 0 20 0 19 0 445462704 15859793920 177945 33554432000 4194304 4196468 140721098012800 140239963773584 140240374859477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32575488 140721098019823 140721098019994 140721098019994 140721098022863 0
[pid=30535/tid=30541] ppid=30533 vsize=15488080 memory=5859271421085237344 CPUtime=0.01 cores=0,2,4,6
/proc/30535/task/30541/stat : 30541 (java) S 30533 30533 24272 0 -1 1077944384 729 0 0 0 1 0 0 0 20 0 19 0 445462706 15859793920 177945 33554432000 4194304 4196468 140721098012800 140239843125744 140240374860418 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32575488 140721098019823 140721098019994 140721098019994 140721098022863 0
[pid=30535/tid=30542] ppid=30533 vsize=15488080 memory=7091008208638075731 CPUtime=0 cores=0,2,4,6
/proc/30535/task/30542/stat : 30542 (java) S 30533 30533 24272 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 19 0 445462706 15859793920 177945 33554432000 4194304 4196468 140721098012800 140239842072032 140240374859477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32575488 140721098019823 140721098019994 140721098019994 140721098022863 0
[pid=30535/tid=30543] ppid=30533 vsize=15488080 memory=7649399375675076659 CPUtime=0 cores=0,2,4,6
/proc/30535/task/30543/stat : 30543 (java) S 30533 30533 24272 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 19 0 445462706 15859793920 177945 33554432000 4194304 4196468 140721098012800 140239841019392 140240374859477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32575488 140721098019823 140721098019994 140721098019994 140721098022863 0
[pid=30535/tid=30544] ppid=30533 vsize=15488080 memory=280689803487744 CPUtime=0 cores=0,2,4,6
/proc/30535/task/30544/stat : 30544 (java) S 30533 30533 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445462709 15859793920 177945 33554432000 4194304 4196468 140721098012800 140239839967952 140240374867867 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32575488 140721098019823 140721098019994 140721098019994 140721098022863 0
[pid=30535/tid=30545] ppid=30533 vsize=15488080 memory=280689803588352 CPUtime=2.32 cores=0,2,4,6
/proc/30535/task/30545/stat : 30545 (java) R 30533 30533 24272 0 -1 4202560 5873 0 0 0 232 0 0 0 20 0 19 0 445462709 15859793920 177945 33554432000 4194304 4196468 140721098012800 140239838914464 140240356036782 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32575488 140721098019823 140721098019994 140721098019994 140721098022863 0
[pid=30535/tid=30546] ppid=30533 vsize=15488080 memory=280689803258656 CPUtime=2.56 cores=0,2,4,6
/proc/30535/task/30546/stat : 30546 (java) R 30533 30533 24272 0 -1 4202560 6317 0 0 0 255 1 0 0 20 0 19 0 445462709 15859793920 177945 33554432000 4194304 4196468 140721098012800 140239837862296 140240355549575 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32575488 140721098019823 140721098019994 140721098019994 140721098022863 0
[pid=30535/tid=30547] ppid=30533 vsize=15488080 memory=140345014231633 CPUtime=0.92 cores=0,2,4,6
/proc/30535/task/30547/stat : 30547 (java) S 30533 30533 24272 0 -1 1077944384 5584 0 0 0 91 1 0 0 20 0 19 0 445462709 15859793920 177945 33554432000 4194304 4196468 140721098012800 140239836809456 140240374860418 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32575488 140721098019823 140721098019994 140721098019994 140721098022863 0
[pid=30535/tid=30548] ppid=30533 vsize=15488080 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30535/task/30548/stat : 30548 (java) S 30533 30533 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445462709 15859793920 177945 33554432000 4194304 4196468 140721098012800 140239835757152 140240374859477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32575488 140721098019823 140721098019994 140721098019994 140721098022863 0
[pid=30535/tid=30549] ppid=30533 vsize=15488080 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30535/task/30549/stat : 30549 (java) S 30533 30533 24272 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 19 0 445462709 15859793920 177945 33554432000 4194304 4196468 140721098012800 140239834704688 140240374860418 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32575488 140721098019823 140721098019994 140721098019994 140721098022863 0
[pid=30535/tid=31435] ppid=30533 vsize=15488080 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/30535/task/31435/stat : 31435 (java) R 30533 30533 24272 0 -1 4202560 18 0 0 0 67 0 0 0 20 0 19 0 445463027 15859793920 177945 33554432000 4194304 4196468 140721098012800 140239818364440 140240019409010 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32575488 140721098019823 140721098019994 140721098019994 140721098022863 0
[pid=30535/tid=31436] ppid=30533 vsize=15488080 memory=0 CPUtime=0.72 cores=0,2,4,6
/proc/30535/task/31436/stat : 31436 (java) R 30533 30533 24272 0 -1 4202560 106 0 0 0 72 0 0 0 20 0 19 0 445463028 15859793920 177945 33554432000 4194304 4196468 140721098012800 140239822574168 140240020065862 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32575488 140721098019823 140721098019994 140721098019994 140721098022863 0
[pid=30535/tid=31437] ppid=30533 vsize=15488080 memory=0 CPUtime=0.71 cores=0,2,4,6
/proc/30535/task/31437/stat : 31437 (java) R 30533 30533 24272 0 -1 4202560 18 0 0 0 71 0 0 0 20 0 19 0 445463028 15859793920 177945 33554432000 4194304 4196468 140721098012800 140239821523320 140240019408712 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32575488 140721098019823 140721098019994 140721098019994 140721098022863 0
[pid=30535/tid=31438] ppid=30533 vsize=15488080 memory=280689803933088 CPUtime=0.92 cores=0,2,4,6
/proc/30535/task/31438/stat : 31438 (java) R 30533 30533 24272 0 -1 4202560 20 0 0 0 92 0 0 0 20 0 19 0 445463028 15859793920 177945 33554432000 4194304 4196468 140721098012800 140239819416920 140240019409205 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32575488 140721098019823 140721098019994 140721098019994 140721098022863 0
Current children cumulated CPU time: 12.24 s
Current children cumulated vsize: 15601208 KiB
Current children cumulated memory: 713228 KiB
[startup+4.60404 s]
/proc/loadavg: 7.10 7.80 7.85 10/233 31488
/proc/meminfo: memFree=30773068/32770624 swapFree=66997372/67108860
[pid=30533] ppid=30530 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/30533/stat : 30533 (xcsp3-exec) S 30530 30533 24272 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445462703 115843072 362 33554432000 4194304 5098028 140727967850992 140727967849096 140186469450364 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 35999744 140727967855482 140727967855725 140727967855725 140727967858634 0
/proc/30533/statm: 28282 362 304 221 0 87 0
[pid=30535] ppid=30533 vsize=15488080 memory=712036 CPUtime=13.05 cores=0,2,4,6
/proc/30535/stat : 30535 (java) S 30533 30533 24272 0 -1 1077944320 42617 0 0 0 1266 39 0 0 20 0 19 0 445462703 15859793920 178009 33554432000 4194304 4196468 140721098012800 140721097995344 140240374849271 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 32575488 140721098019823 140721098019994 140721098019994 140721098022863 0
/proc/30535/statm: 3872020 178009 3532 1 0 3833120 0
[pid=30535/tid=30536] ppid=30533 vsize=15488080 memory=6943526294502006880 CPUtime=1.56 cores=0,2,4,6
/proc/30535/task/30536/stat : 30536 (java) S 30533 30533 24272 0 -1 1077944384 10965 0 0 0 150 6 0 0 20 0 19 0 445462703 15859793920 178009 33554432000 4194304 4196468 140721098012800 140240379090048 140240374859477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 69 0 0 6293624 6294260 32575488 140721098019823 140721098019994 140721098019994 140721098022863 0
[pid=30535/tid=30537] ppid=30533 vsize=15488080 memory=-6877121556232578236 CPUtime=0.16 cores=0,2,4,6
/proc/30535/task/30537/stat : 30537 (java) S 30533 30533 24272 0 -1 1077944384 362 0 0 0 11 5 0 0 20 0 19 0 445462704 15859793920 178009 33554432000 4194304 4196468 140721098012800 140239966931216 140240374859477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32575488 140721098019823 140721098019994 140721098019994 140721098022863 0
[pid=30535/tid=30538] ppid=30533 vsize=15488080 memory=-8187100386482147110 CPUtime=0.16 cores=0,2,4,6
/proc/30535/task/30538/stat : 30538 (java) S 30533 30533 24272 0 -1 1077944384 404 0 0 0 11 5 0 0 20 0 19 0 445462704 15859793920 178009 33554432000 4194304 4196468 140721098012800 140239965878672 140240374859477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32575488 140721098019823 140721098019994 140721098019994 140721098022863 0
[pid=30535/tid=30539] ppid=30533 vsize=15488080 memory=26164 CPUtime=0.17 cores=0,2,4,6
/proc/30535/task/30539/stat : 30539 (java) S 30533 30533 24272 0 -1 1077944384 375 0 0 0 12 5 0 0 20 0 19 0 445462704 15859793920 178009 33554432000 4194304 4196468 140721098012800 140239964826128 140240374859477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32575488 140721098019823 140721098019994 140721098019994 140721098022863 0
[pid=30535/tid=30540] ppid=30533 vsize=15488080 memory=12024 CPUtime=0.12 cores=0,2,4,6
/proc/30535/task/30540/stat : 30540 (java) S 30533 30533 24272 0 -1 1077944384 1056 0 0 0 8 4 0 0 20 0 19 0 445462704 15859793920 178009 33554432000 4194304 4196468 140721098012800 140239963773584 140240374859477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32575488 140721098019823 140721098019994 140721098019994 140721098022863 0
[pid=30535/tid=30541] ppid=30533 vsize=15488080 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/30535/task/30541/stat : 30541 (java) S 30533 30533 24272 0 -1 1077944384 729 0 0 0 1 0 0 0 20 0 19 0 445462706 15859793920 178009 33554432000 4194304 4196468 140721098012800 140239843125744 140240374860418 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32575488 140721098019823 140721098019994 140721098019994 140721098022863 0
[pid=30535/tid=30542] ppid=30533 vsize=15488080 memory=2372 CPUtime=0 cores=0,2,4,6
/proc/30535/task/30542/stat : 30542 (java) S 30533 30533 24272 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 19 0 445462706 15859793920 178009 33554432000 4194304 4196468 140721098012800 140239842072032 140240374859477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32575488 140721098019823 140721098019994 140721098019994 140721098022863 0
[pid=30535/tid=30543] ppid=30533 vsize=15488080 memory=932 CPUtime=0 cores=0,2,4,6
/proc/30535/task/30543/stat : 30543 (java) S 30533 30533 24272 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 19 0 445462706 15859793920 178009 33554432000 4194304 4196468 140721098012800 140239841019392 140240374859477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32575488 140721098019823 140721098019994 140721098019994 140721098022863 0
[pid=30535/tid=30544] ppid=30533 vsize=15488080 memory=7305218370954619478 CPUtime=0 cores=0,2,4,6
/proc/30535/task/30544/stat : 30544 (java) S 30533 30533 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445462709 15859793920 178009 33554432000 4194304 4196468 140721098012800 140239839967952 140240374867867 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32575488 140721098019823 140721098019994 140721098019994 140721098022863 0
[pid=30535/tid=30545] ppid=30533 vsize=15488080 memory=7235144235646611049 CPUtime=2.43 cores=0,2,4,6
/proc/30535/task/30545/stat : 30545 (java) R 30533 30533 24272 0 -1 4202560 5876 0 0 0 243 0 0 0 20 0 19 0 445462709 15859793920 178009 33554432000 4194304 4196468 140721098012800 140239838907736 140240356393455 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32575488 140721098019823 140721098019994 140721098019994 140721098022863 0
[pid=30535/tid=30546] ppid=30533 vsize=15488080 memory=6154282490091891024 CPUtime=2.66 cores=0,2,4,6
/proc/30535/task/30546/stat : 30546 (java) R 30533 30533 24272 0 -1 4202560 6318 0 0 0 265 1 0 0 20 0 19 0 445462709 15859793920 178009 33554432000 4194304 4196468 140721098012800 140239837848544 140240358332592 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32575488 140721098019823 140721098019994 140721098019994 140721098022863 0
[pid=30535/tid=30547] ppid=30533 vsize=15488080 memory=5450916479948256778 CPUtime=0.93 cores=0,2,4,6
/proc/30535/task/30547/stat : 30547 (java) S 30533 30533 24272 0 -1 1077944384 5608 0 0 0 92 1 0 0 20 0 19 0 445462709 15859793920 178009 33554432000 4194304 4196468 140721098012800 140239836809456 140240374860418 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32575488 140721098019823 140721098019994 140721098019994 140721098022863 0
[pid=30535/tid=30548] ppid=30533 vsize=15488080 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30535/task/30548/stat : 30548 (java) S 30533 30533 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445462709 15859793920 178009 33554432000 4194304 4196468 140721098012800 140239835757152 140240374859477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32575488 140721098019823 140721098019994 140721098019994 140721098022863 0
[pid=30535/tid=30549] ppid=30533 vsize=15488080 memory=7679937539659563834 CPUtime=0 cores=0,2,4,6
/proc/30535/task/30549/stat : 30549 (java) S 30533 30533 24272 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 19 0 445462709 15859793920 178009 33554432000 4194304 4196468 140721098012800 140239834704688 140240374860418 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32575488 140721098019823 140721098019994 140721098019994 140721098022863 0
[pid=30535/tid=31435] ppid=30533 vsize=15488080 memory=-9001734000804784231 CPUtime=0.78 cores=0,2,4,6
/proc/30535/task/31435/stat : 31435 (java) R 30533 30533 24272 0 -1 4202560 18 0 0 0 78 0 0 0 20 0 19 0 445463027 15859793920 178009 33554432000 4194304 4196468 140721098012800 140239818362536 140240021784466 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32575488 140721098019823 140721098019994 140721098019994 140721098022863 0
[pid=30535/tid=31436] ppid=30533 vsize=15488080 memory=-6876588461455810464 CPUtime=0.83 cores=0,2,4,6
/proc/30535/task/31436/stat : 31436 (java) R 30533 30533 24272 0 -1 4202560 111 0 0 0 83 0 0 0 20 0 19 0 445463028 15859793920 178009 33554432000 4194304 4196468 140721098012800 140239822575192 140240019037589 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32575488 140721098019823 140721098019994 140721098019994 140721098022863 0
[pid=30535/tid=31437] ppid=30533 vsize=15488080 memory=-7595718148000617580 CPUtime=0.9 cores=0,2,4,6
/proc/30535/task/31437/stat : 31437 (java) R 30533 30533 24272 0 -1 4202560 18 0 0 0 90 0 0 0 20 0 19 0 445463028 15859793920 178009 33554432000 4194304 4196468 140721098012800 140239821523320 140240019409205 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32575488 140721098019823 140721098019994 140721098019994 140721098022863 0
[pid=30535/tid=31438] ppid=30533 vsize=15488080 memory=-2025810976467231676 CPUtime=1.1 cores=0,2,4,6
/proc/30535/task/31438/stat : 31438 (java) R 30533 30533 24272 0 -1 4202560 20 0 0 0 110 0 0 0 20 0 19 0 445463028 15859793920 178009 33554432000 4194304 4196468 140721098012800 140239819417672 140240020063182 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32575488 140721098019823 140721098019994 140721098019994 140721098022863 0
Current children cumulated CPU time: 13.05 s
Current children cumulated vsize: 15601208 KiB
Current children cumulated memory: 713484 KiB
Child status: 0
Real time (s): 4.6701
CPU time (s): 13.2449
CPU user time (s): 12.8424
CPU system time (s): 0.402469
CPU usage (%): 283.61
Max. virtual memory (cumulated for all children) (KiB): 15601208
Max. memory (cumulated for all children) (KiB): 713484
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 12.8424
system time used= 0.402469
maximum resident set size= 714728
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 43258
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5521
involuntary context switches= 400
# summary of solver processes directly reported to runsolver:
# pid: 30533
# total CPU time (s): 13.2449
# total CPU user time (s): 12.8424
# total CPU system time (s): 0.402469
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.060689 second user time and 0.085642 second system time
The end