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 (15115 MiB free)
memory of node 1: 16384 MiB (15732 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4281818-1503157471/watcher-4281818-1503157471 -o /tmp/evaluation-result-4281818-1503157471/solver-4281818-1503157471 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node128-1503095815-16490 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 564624963 HOME/instance-4281818-1503157471.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=27607, runsolver pid=27604
[startup+0.101207 s]*
/proc/loadavg: 2.18 2.10 2.06 3/208 27617
/proc/meminfo: memFree=31577216/32770624 swapFree=67108860/67108860
[pid=27607] ppid=27604 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/27607/stat : 27607 (xcsp3-exec) S 27604 27607 16431 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 14156811 9740288 345 18446744073709551615 4194304 5098028 140729072807504 140729072805608 139622108906108 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 5 0 0 7196144 7232144 27975680 140729072816506 140729072816710 140729072816710 140729072820203 0
/proc/27607/statm: 2378 345 289 221 0 87 0
[pid=27609] ppid=27607 vsize=13574484 memory=19616 CPUtime=0.03 cores=1,3,5,7
/proc/27609/stat : 27609 (java) S 27607 27607 16431 0 -1 1077944320 4245 0 0 0 3 0 0 0 20 0 9 0 14156817 13900271616 4904 18446744073709551615 4194304 4196468 140726291208384 140726291190928 140064574332663 0 0 1 16800970 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 37597184 140726291210674 140726291210850 140726291210850 140726291214287 0
/proc/27609/statm: 3393621 4904 2138 1 0 3383118 0
[pid=27609/tid=27610] ppid=27607 vsize=13574484 memory=-6871798056524144002 CPUtime=0.03 cores=1,3,5,7
/proc/27609/task/27610/stat : 27610 (java) R 27607 27607 16431 0 -1 4202560 2947 0 0 0 3 0 0 0 20 0 9 0 14156817 13900271616 4904 18446744073709551615 4194304 4196468 140726291208384 140064578568056 140064574354589 0 4 1 16800970 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37597184 140726291210674 140726291210850 140726291210850 140726291214287 0
[pid=27609/tid=27611] ppid=27607 vsize=13574484 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27609/task/27611/stat : 27611 (java) S 27607 27607 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 14156818 13900271616 4904 18446744073709551615 4194304 4196468 140726291208384 140064531299344 140064574342869 0 4 1 16800970 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37597184 140726291210674 140726291210850 140726291210850 140726291214287 0
[pid=27609/tid=27612] ppid=27607 vsize=13574484 memory=139787371849344 CPUtime=0 cores=1,3,5,7
/proc/27609/task/27612/stat : 27612 (java) S 27607 27607 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 14156818 13900271616 4904 18446744073709551615 4194304 4196468 140726291208384 140064530246800 140064574342869 0 4 1 16800970 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37597184 140726291210674 140726291210850 140726291210850 140726291214287 0
[pid=27609/tid=27613] ppid=27607 vsize=13574484 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27609/task/27613/stat : 27613 (java) S 27607 27607 16431 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 14156818 13900271616 4904 18446744073709551615 4194304 4196468 140726291208384 140064529193744 140064574342869 0 4 1 16800970 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37597184 140726291210674 140726291210850 140726291210850 140726291214287 0
[pid=27609/tid=27614] ppid=27607 vsize=13574484 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27609/task/27614/stat : 27614 (java) S 27607 27607 16431 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 14156818 13900271616 4904 18446744073709551615 4194304 4196468 140726291208384 140064528141200 140064574342869 0 4 1 16800970 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37597184 140726291210674 140726291210850 140726291210850 140726291214287 0
[pid=27609/tid=27615] ppid=27607 vsize=13574484 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27609/task/27615/stat : 27615 (java) S 27607 27607 16431 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 14156819 13900271616 4904 18446744073709551615 4194304 4196468 140726291208384 140064119740656 140064574343810 0 0 1 16800970 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37597184 140726291210674 140726291210850 140726291210850 140726291214287 0
[pid=27609/tid=27616] ppid=27607 vsize=13574484 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27609/task/27616/stat : 27616 (java) S 27607 27607 16431 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 14156820 13900271616 4904 18446744073709551615 4194304 4196468 140726291208384 140064050898080 140064574342869 0 4 1 16800970 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37597184 140726291210674 140726291210850 140726291210850 140726291214287 0
[pid=27609/tid=27617] ppid=27607 vsize=13574484 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27609/task/27617/stat : 27617 (java) S 27607 27607 16431 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 9 0 14156820 13900271616 4904 18446744073709551615 4194304 4196468 140726291208384 140064049844976 140064574342869 0 4 1 16800970 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37597184 140726291210674 140726291210850 140726291210850 140726291214287 0
Current children cumulated CPU time: 0.03 s
Current children cumulated vsize: 13583996 KiB
Current children cumulated memory: 20996 KiB
[startup+0.2104 s]*
/proc/loadavg: 2.17 2.10 2.06 3/214 27623
/proc/meminfo: memFree=31576376/32770624 swapFree=67108860/67108860
[pid=27607] ppid=27604 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/27607/stat : 27607 (xcsp3-exec) S 27604 27607 16431 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 14156811 9740288 345 18446744073709551615 4194304 5098028 140729072807504 140729072805608 139622108906108 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 5 0 0 7196144 7232144 27975680 140729072816506 140729072816710 140729072816710 140729072820203 0
/proc/27607/statm: 2378 345 289 221 0 87 0
[pid=27609] ppid=27607 vsize=13974352 memory=25100 CPUtime=0.08 cores=1,3,5,7
/proc/27609/stat : 27609 (java) S 27607 27607 16431 0 -1 1077944320 5177 0 0 0 7 1 0 0 20 0 15 0 14156817 14309736448 6275 18446744073709551615 4194304 4196468 140726291208384 140726291190928 140064574332663 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 37597184 140726291210674 140726291210850 140726291210850 140726291214287 0
/proc/27609/statm: 3493588 6275 2724 1 0 3482964 0
[pid=27609/tid=27610] ppid=27607 vsize=13974352 memory=8390339637985935414 CPUtime=0.05 cores=1,3,5,7
/proc/27609/task/27610/stat : 27610 (java) R 27607 27607 16431 0 -1 4202560 3337 0 0 0 5 0 0 0 20 0 15 0 14156817 14309736448 6275 18446744073709551615 4194304 4196468 140726291208384 140064578558352 140064574354589 0 4 1 16800974 0 0 0 -1 3 0 0 7 0 0 6293624 6294260 37597184 140726291210674 140726291210850 140726291210850 140726291214287 0
[pid=27609/tid=27611] ppid=27607 vsize=13974352 memory=288230583233161597 CPUtime=0 cores=1,3,5,7
/proc/27609/task/27611/stat : 27611 (java) S 27607 27607 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 14156818 14309736448 6275 18446744073709551615 4194304 4196468 140726291208384 140064531299344 140064574342869 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37597184 140726291210674 140726291210850 140726291210850 140726291214287 0
[pid=27609/tid=27612] ppid=27607 vsize=13974352 memory=3904820266402358944 CPUtime=0 cores=1,3,5,7
/proc/27609/task/27612/stat : 27612 (java) S 27607 27607 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 14156818 14309736448 6275 18446744073709551615 4194304 4196468 140726291208384 140064530246800 140064574342869 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37597184 140726291210674 140726291210850 140726291210850 140726291214287 0
[pid=27609/tid=27613] ppid=27607 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27609/task/27613/stat : 27613 (java) S 27607 27607 16431 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 14156818 14309736448 6275 18446744073709551615 4194304 4196468 140726291208384 140064529193744 140064574342869 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37597184 140726291210674 140726291210850 140726291210850 140726291214287 0
[pid=27609/tid=27614] ppid=27607 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27609/task/27614/stat : 27614 (java) S 27607 27607 16431 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 14156818 14309736448 6275 18446744073709551615 4194304 4196468 140726291208384 140064528141200 140064574342869 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37597184 140726291210674 140726291210850 140726291210850 140726291214287 0
[pid=27609/tid=27615] ppid=27607 vsize=13974352 memory=139787371849344 CPUtime=0 cores=1,3,5,7
/proc/27609/task/27615/stat : 27615 (java) S 27607 27607 16431 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 14156819 14309736448 6275 18446744073709551615 4194304 4196468 140726291208384 140064119740656 140064574343810 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37597184 140726291210674 140726291210850 140726291210850 140726291214287 0
[pid=27609/tid=27616] ppid=27607 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27609/task/27616/stat : 27616 (java) S 27607 27607 16431 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 14156820 14309736448 6275 18446744073709551615 4194304 4196468 140726291208384 140064050898080 140064574342869 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37597184 140726291210674 140726291210850 140726291210850 140726291214287 0
[pid=27609/tid=27617] ppid=27607 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27609/task/27617/stat : 27617 (java) S 27607 27607 16431 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 14156820 14309736448 6275 18446744073709551615 4194304 4196468 140726291208384 140064049844976 140064574342869 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37597184 140726291210674 140726291210850 140726291210850 140726291214287 0
[pid=27609/tid=27618] ppid=27607 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27609/task/27618/stat : 27618 (java) S 27607 27607 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 14156823 14309736448 6275 18446744073709551615 4194304 4196468 140726291208384 140064048793552 140064574351259 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37597184 140726291210674 140726291210850 140726291210850 140726291214287 0
[pid=27609/tid=27619] ppid=27607 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27609/task/27619/stat : 27619 (java) S 27607 27607 16431 0 -1 1077944384 297 0 0 0 0 0 0 0 20 0 15 0 14156823 14309736448 6275 18446744073709551615 4194304 4196468 140726291208384 140064047741680 140064574343810 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37597184 140726291210674 140726291210850 140726291210850 140726291214287 0
[pid=27609/tid=27620] ppid=27607 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27609/task/27620/stat : 27620 (java) S 27607 27607 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 14156823 14309736448 6275 18446744073709551615 4194304 4196468 140726291208384 140064046689136 140064574343810 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37597184 140726291210674 140726291210850 140726291210850 140726291214287 0
[pid=27609/tid=27621] ppid=27607 vsize=13974352 memory=139787371849344 CPUtime=0 cores=1,3,5,7
/proc/27609/task/27621/stat : 27621 (java) S 27607 27607 16431 0 -1 1077944384 237 0 0 0 0 0 0 0 20 0 15 0 14156823 14309736448 6275 18446744073709551615 4194304 4196468 140726291208384 140064045636080 140064574343810 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37597184 140726291210674 140726291210850 140726291210850 140726291214287 0
[pid=27609/tid=27622] ppid=27607 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27609/task/27622/stat : 27622 (java) S 27607 27607 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 14156823 14309736448 6275 18446744073709551615 4194304 4196468 140726291208384 140064044583776 140064574342869 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37597184 140726291210674 140726291210850 140726291210850 140726291214287 0
[pid=27609/tid=27623] ppid=27607 vsize=13974352 memory=139787371849344 CPUtime=0 cores=1,3,5,7
/proc/27609/task/27623/stat : 27623 (java) S 27607 27607 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 14156831 14309736448 6275 18446744073709551615 4194304 4196468 140726291208384 140064043530800 140064574343810 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37597184 140726291210674 140726291210850 140726291210850 140726291214287 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 26480 KiB
[startup+0.310313 s]*
/proc/loadavg: 2.17 2.10 2.06 4/214 27623
/proc/meminfo: memFree=31561220/32770624 swapFree=67108860/67108860
[pid=27607] ppid=27604 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/27607/stat : 27607 (xcsp3-exec) S 27604 27607 16431 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 14156811 9740288 345 18446744073709551615 4194304 5098028 140729072807504 140729072805608 139622108906108 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 5 0 0 7196144 7232144 27975680 140729072816506 140729072816710 140729072816710 140729072820203 0
/proc/27607/statm: 2378 345 289 221 0 87 0
[pid=27609] ppid=27607 vsize=13974352 memory=36436 CPUtime=0.26 cores=1,3,5,7
/proc/27609/stat : 27609 (java) S 27607 27607 16431 0 -1 1077944320 8750 0 0 0 23 3 0 0 20 0 15 0 14156817 14309736448 9109 18446744073709551615 4194304 4196468 140726291208384 140726291190928 140064574332663 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 37597184 140726291210674 140726291210850 140726291210850 140726291214287 0
/proc/27609/statm: 3493588 9109 2965 1 0 3482964 0
[pid=27609/tid=27610] ppid=27607 vsize=13974352 memory=8390339637985935414 CPUtime=0.16 cores=1,3,5,7
/proc/27609/task/27610/stat : 27610 (java) R 27607 27607 16431 0 -1 4202560 6078 0 0 0 14 2 0 0 20 0 15 0 14156817 14309736448 9109 18446744073709551615 4194304 4196468 140726291208384 140064578568992 140064574354589 0 4 1 16800974 0 0 0 -1 3 0 0 7 0 0 6293624 6294260 37597184 140726291210674 140726291210850 140726291210850 140726291214287 0
[pid=27609/tid=27611] ppid=27607 vsize=13974352 memory=319755780624755069 CPUtime=0 cores=1,3,5,7
/proc/27609/task/27611/stat : 27611 (java) S 27607 27607 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 14156818 14309736448 9109 18446744073709551615 4194304 4196468 140726291208384 140064531299344 140064574342869 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37597184 140726291210674 140726291210850 140726291210850 140726291214287 0
[pid=27609/tid=27612] ppid=27607 vsize=13974352 memory=3904820266402358944 CPUtime=0 cores=1,3,5,7
/proc/27609/task/27612/stat : 27612 (java) S 27607 27607 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 14156818 14309736448 9109 18446744073709551615 4194304 4196468 140726291208384 140064530246800 140064574342869 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37597184 140726291210674 140726291210850 140726291210850 140726291214287 0
[pid=27609/tid=27613] ppid=27607 vsize=13974352 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/27609/task/27613/stat : 27613 (java) S 27607 27607 16431 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 14156818 14309736448 9109 18446744073709551615 4194304 4196468 140726291208384 140064529193744 140064574342869 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37597184 140726291210674 140726291210850 140726291210850 140726291214287 0
[pid=27609/tid=27614] ppid=27607 vsize=13974352 memory=3472328296227680303 CPUtime=0 cores=1,3,5,7
/proc/27609/task/27614/stat : 27614 (java) S 27607 27607 16431 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 14156818 14309736448 9109 18446744073709551615 4194304 4196468 140726291208384 140064528141200 140064574342869 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37597184 140726291210674 140726291210850 140726291210850 140726291214287 0
[pid=27609/tid=27615] ppid=27607 vsize=13974352 memory=4211961362912972791 CPUtime=0 cores=1,3,5,7
/proc/27609/task/27615/stat : 27615 (java) S 27607 27607 16431 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 14156819 14309736448 9109 18446744073709551615 4194304 4196468 140726291208384 140064119740656 140064574343810 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37597184 140726291210674 140726291210850 140726291210850 140726291214287 0
[pid=27609/tid=27616] ppid=27607 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27609/task/27616/stat : 27616 (java) S 27607 27607 16431 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 14156820 14309736448 9174 18446744073709551615 4194304 4196468 140726291208384 140064050898080 140064574342869 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37597184 140726291210674 140726291210850 140726291210850 140726291214287 0
[pid=27609/tid=27617] ppid=27607 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27609/task/27617/stat : 27617 (java) S 27607 27607 16431 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 14156820 14309736448 9174 18446744073709551615 4194304 4196468 140726291208384 140064049844976 140064574342869 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37597184 140726291210674 140726291210850 140726291210850 140726291214287 0
[pid=27609/tid=27618] ppid=27607 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27609/task/27618/stat : 27618 (java) S 27607 27607 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 14156823 14309736448 9174 18446744073709551615 4194304 4196468 140726291208384 140064048793552 140064574351259 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37597184 140726291210674 140726291210850 140726291210850 140726291214287 0
[pid=27609/tid=27619] ppid=27607 vsize=13974352 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/27609/task/27619/stat : 27619 (java) R 27607 27607 16431 0 -1 4202560 521 0 0 0 2 0 0 0 20 0 15 0 14156823 14309736448 9174 18446744073709551615 4194304 4196468 140726291208384 140064047741680 140064552724520 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37597184 140726291210674 140726291210850 140726291210850 140726291214287 0
[pid=27609/tid=27620] ppid=27607 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27609/task/27620/stat : 27620 (java) S 27607 27607 16431 0 -1 1077944384 142 0 0 0 0 0 0 0 20 0 15 0 14156823 14309736448 9174 18446744073709551615 4194304 4196468 140726291208384 140064046689136 140064574343810 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37597184 140726291210674 140726291210850 140726291210850 140726291214287 0
[pid=27609/tid=27621] ppid=27607 vsize=13974352 memory=139787371849344 CPUtime=0.05 cores=1,3,5,7
/proc/27609/task/27621/stat : 27621 (java) S 27607 27607 16431 0 -1 1077944384 706 0 0 0 5 0 0 0 20 0 15 0 14156823 14309736448 9174 18446744073709551615 4194304 4196468 140726291208384 140064045636080 140064574343810 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37597184 140726291210674 140726291210850 140726291210850 140726291214287 0
[pid=27609/tid=27622] ppid=27607 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27609/task/27622/stat : 27622 (java) S 27607 27607 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 14156823 14309736448 9174 18446744073709551615 4194304 4196468 140726291208384 140064044583776 140064574342869 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37597184 140726291210674 140726291210850 140726291210850 140726291214287 0
[pid=27609/tid=27623] ppid=27607 vsize=13974352 memory=139787371849344 CPUtime=0 cores=1,3,5,7
/proc/27609/task/27623/stat : 27623 (java) S 27607 27607 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 14156831 14309736448 9174 18446744073709551615 4194304 4196468 140726291208384 140064043530800 140064574343810 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37597184 140726291210674 140726291210850 140726291210850 140726291214287 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 37816 KiB
[startup+0.701249 s]
/proc/loadavg: 2.17 2.10 2.06 4/214 27623
/proc/meminfo: memFree=31549896/32770624 swapFree=67108860/67108860
[pid=27607] ppid=27604 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/27607/stat : 27607 (xcsp3-exec) S 27604 27607 16431 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 14156811 9740288 345 18446744073709551615 4194304 5098028 140729072807504 140729072805608 139622108906108 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 5 0 0 7196144 7232144 27975680 140729072816506 140729072816710 140729072816710 140729072820203 0
/proc/27607/statm: 2378 345 289 221 0 87 0
[pid=27609] ppid=27607 vsize=13980732 memory=75344 CPUtime=1.23 cores=1,3,5,7
/proc/27609/stat : 27609 (java) S 27607 27607 16431 0 -1 1077944320 13383 0 0 0 117 6 0 0 20 0 15 0 14156817 14316269568 18836 18446744073709551615 4194304 4196468 140726291208384 140726291190928 140064574332663 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 37597184 140726291210674 140726291210850 140726291210850 140726291214287 0
/proc/27609/statm: 3495183 18836 3175 1 0 3483476 0
[pid=27609/tid=27610] ppid=27607 vsize=13980732 memory=2545841866241 CPUtime=0.53 cores=1,3,5,7
/proc/27609/task/27610/stat : 27610 (java) R 27607 27607 16431 0 -1 4202560 8513 0 0 0 50 3 0 0 20 0 15 0 14156817 14316269568 18836 18446744073709551615 4194304 4196468 140726291208384 140064578571552 140064202039219 0 4 1 16800974 0 0 0 -1 5 0 0 7 0 0 6293624 6294260 37597184 140726291210674 140726291210850 140726291210850 140726291214287 0
[pid=27609/tid=27611] ppid=27607 vsize=13980732 memory=2554431800833 CPUtime=0 cores=1,3,5,7
/proc/27609/task/27611/stat : 27611 (java) S 27607 27607 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 14156818 14316269568 18836 18446744073709551615 4194304 4196468 140726291208384 140064531299344 140064574342869 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37597184 140726291210674 140726291210850 140726291210850 140726291214287 0
[pid=27609/tid=27612] ppid=27607 vsize=13980732 memory=50668 CPUtime=0 cores=1,3,5,7
/proc/27609/task/27612/stat : 27612 (java) S 27607 27607 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 14156818 14316269568 18836 18446744073709551615 4194304 4196468 140726291208384 140064530246800 140064574342869 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37597184 140726291210674 140726291210850 140726291210850 140726291214287 0
[pid=27609/tid=27613] ppid=27607 vsize=13980732 memory=-8774313645642428999 CPUtime=0 cores=1,3,5,7
/proc/27609/task/27613/stat : 27613 (java) S 27607 27607 16431 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 14156818 14316269568 18836 18446744073709551615 4194304 4196468 140726291208384 140064529193744 140064574342869 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37597184 140726291210674 140726291210850 140726291210850 140726291214287 0
[pid=27609/tid=27614] ppid=27607 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27609/task/27614/stat : 27614 (java) S 27607 27607 16431 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 14156818 14316269568 18836 18446744073709551615 4194304 4196468 140726291208384 140064528141200 140064574342869 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37597184 140726291210674 140726291210850 140726291210850 140726291214287 0
[pid=27609/tid=27615] ppid=27607 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27609/task/27615/stat : 27615 (java) S 27607 27607 16431 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 14156819 14316269568 18836 18446744073709551615 4194304 4196468 140726291208384 140064119740656 140064574343810 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37597184 140726291210674 140726291210850 140726291210850 140726291214287 0
[pid=27609/tid=27616] ppid=27607 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27609/task/27616/stat : 27616 (java) S 27607 27607 16431 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 14156820 14316269568 18836 18446744073709551615 4194304 4196468 140726291208384 140064050898080 140064574342869 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37597184 140726291210674 140726291210850 140726291210850 140726291214287 0
[pid=27609/tid=27617] ppid=27607 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27609/task/27617/stat : 27617 (java) S 27607 27607 16431 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 14156820 14316269568 18836 18446744073709551615 4194304 4196468 140726291208384 140064049844976 140064574342869 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37597184 140726291210674 140726291210850 140726291210850 140726291214287 0
[pid=27609/tid=27618] ppid=27607 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27609/task/27618/stat : 27618 (java) S 27607 27607 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 14156823 14316269568 18836 18446744073709551615 4194304 4196468 140726291208384 140064048793552 140064574351259 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37597184 140726291210674 140726291210850 140726291210850 140726291214287 0
[pid=27609/tid=27619] ppid=27607 vsize=13980732 memory=0 CPUtime=0.18 cores=1,3,5,7
/proc/27609/task/27619/stat : 27619 (java) R 27607 27607 16431 0 -1 4202560 1217 0 0 0 18 0 0 0 20 0 15 0 14156823 14316269568 18836 18446744073709551615 4194304 4196468 140726291208384 140064047731472 140064559458069 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37597184 140726291210674 140726291210850 140726291210850 140726291214287 0
[pid=27609/tid=27620] ppid=27607 vsize=13980732 memory=0 CPUtime=0.17 cores=1,3,5,7
/proc/27609/task/27620/stat : 27620 (java) R 27607 27607 16431 0 -1 4202560 819 0 0 0 17 0 0 0 20 0 15 0 14156823 14316269568 18836 18446744073709551615 4194304 4196468 140726291208384 140064046675160 140064552746653 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 37597184 140726291210674 140726291210850 140726291210850 140726291214287 0
[pid=27609/tid=27621] ppid=27607 vsize=13980732 memory=0 CPUtime=0.29 cores=1,3,5,7
/proc/27609/task/27621/stat : 27621 (java) R 27607 27607 16431 0 -1 4202560 1527 0 0 0 29 0 0 0 20 0 15 0 14156823 14316269568 18836 18446744073709551615 4194304 4196468 140726291208384 140064045636080 140064574344598 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37597184 140726291210674 140726291210850 140726291210850 140726291214287 0
[pid=27609/tid=27622] ppid=27607 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27609/task/27622/stat : 27622 (java) S 27607 27607 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 14156823 14316269568 18836 18446744073709551615 4194304 4196468 140726291208384 140064044583776 140064574342869 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37597184 140726291210674 140726291210850 140726291210850 140726291214287 0
[pid=27609/tid=27623] ppid=27607 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27609/task/27623/stat : 27623 (java) S 27607 27607 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 14156831 14316269568 18836 18446744073709551615 4194304 4196468 140726291208384 140064043530800 140064574343810 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37597184 140726291210674 140726291210850 140726291210850 140726291214287 0
Current children cumulated CPU time: 1.23 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 76724 KiB
[startup+1.50084 s]
/proc/loadavg: 2.17 2.10 2.06 5/214 27623
/proc/meminfo: memFree=31513176/32770624 swapFree=67108860/67108860
[pid=27607] ppid=27604 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/27607/stat : 27607 (xcsp3-exec) S 27604 27607 16431 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 14156811 9740288 345 18446744073709551615 4194304 5098028 140729072807504 140729072805608 139622108906108 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 5 0 0 7196144 7232144 27975680 140729072816506 140729072816710 140729072816710 140729072820203 0
/proc/27607/statm: 2378 345 289 221 0 87 0
[pid=27609] ppid=27607 vsize=13980732 memory=93908 CPUtime=3.46 cores=1,3,5,7
/proc/27609/stat : 27609 (java) S 27607 27607 16431 0 -1 1077944320 22789 0 0 0 339 7 0 0 20 0 15 0 14156817 14316269568 23477 18446744073709551615 4194304 4196468 140726291208384 140726291190928 140064574332663 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 37597184 140726291210674 140726291210850 140726291210850 140726291214287 0
/proc/27609/statm: 3495183 23477 3181 1 0 3483476 0
[pid=27609/tid=27610] ppid=27607 vsize=13980732 memory=2529 CPUtime=1.34 cores=1,3,5,7
/proc/27609/task/27610/stat : 27610 (java) R 27607 27607 16431 0 -1 4202560 9376 0 0 0 130 4 0 0 20 0 15 0 14156817 14316269568 23477 18446744073709551615 4194304 4196468 140726291208384 140064578571632 140064205764395 0 4 1 16800974 0 0 0 -1 5 0 0 7 0 0 6293624 6294260 37597184 140726291210674 140726291210850 140726291210850 140726291214287 0
[pid=27609/tid=27611] ppid=27607 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27609/task/27611/stat : 27611 (java) S 27607 27607 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 14156818 14316269568 23477 18446744073709551615 4194304 4196468 140726291208384 140064531299344 140064574342869 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37597184 140726291210674 140726291210850 140726291210850 140726291214287 0
[pid=27609/tid=27612] ppid=27607 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27609/task/27612/stat : 27612 (java) S 27607 27607 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 14156818 14316269568 23477 18446744073709551615 4194304 4196468 140726291208384 140064530246800 140064574342869 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37597184 140726291210674 140726291210850 140726291210850 140726291214287 0
[pid=27609/tid=27613] ppid=27607 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27609/task/27613/stat : 27613 (java) S 27607 27607 16431 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 14156818 14316269568 23477 18446744073709551615 4194304 4196468 140726291208384 140064529193744 140064574342869 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37597184 140726291210674 140726291210850 140726291210850 140726291214287 0
[pid=27609/tid=27614] ppid=27607 vsize=13980732 memory=4580 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
/proc/27607/stat : 27607 (xcsp3-exec) S 27604 27607 16431 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 14156811 9740288 345 18446744073709551615 4194304 5098028 140729072807504 140729072805608 139622108906108 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 5 0 0 7196144 7232144 27975680 140729072816506 140729072816710 140729072816710 140729072820203 0
/proc/27607/statm: 2378 345 289 221 0 87 0
[pid=27609] ppid=27607 vsize=13980732 memory=117976 CPUtime=8.47 cores=1,3,5,7
/proc/27609/stat : 27609 (java) S 27607 27607 16431 0 -1 1077944320 37741 0 0 0 839 8 0 0 20 0 15 0 14156817 14316269568 29494 18446744073709551615 4194304 4196468 140726291208384 140726291190928 140064574332663 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 37597184 140726291210674 140726291210850 140726291210850 140726291214287 0
/proc/27609/statm: 3495183 29494 3193 1 0 3483476 0
[pid=27609/tid=27610] ppid=27607 vsize=13980732 memory=258355167811506 CPUtime=4.63 cores=1,3,5,7
/proc/27609/task/27610/stat : 27610 (java) R 27607 27607 16431 0 -1 4202560 10030 0 0 0 459 4 0 0 20 0 15 0 14156817 14316269568 29494 18446744073709551615 4194304 4196468 140726291208384 140064578569200 140064205763436 0 4 1 16800974 0 0 0 -1 5 0 0 7 0 0 6293624 6294260 37597184 140726291210674 140726291210850 140726291210850 140726291214287 0
[pid=27609/tid=27611] ppid=27607 vsize=13980732 memory=279574453970752 CPUtime=0 cores=1,3,5,7
/proc/27609/task/27611/stat : 27611 (java) S 27607 27607 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 14156818 14316269568 29494 18446744073709551615 4194304 4196468 140726291208384 140064531299344 140064574342869 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37597184 140726291210674 140726291210850 140726291210850 140726291214287 0
[pid=27609/tid=27612] ppid=27607 vsize=13980732 memory=139787227033776 CPUtime=0 cores=1,3,5,7
/proc/27609/task/27612/stat : 27612 (java) S 27607 27607 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 14156818 14316269568 29494 18446744073709551615 4194304 4196468 140726291208384 140064530246800 140064574342869 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37597184 140726291210674 140726291210850 140726291210850 140726291214287 0
[pid=27609/tid=27613] ppid=27607 vsize=13980732 memory=5795117241467496816 CPUtime=0 cores=1,3,5,7
/proc/27609/task/27613/stat : 27613 (java) S 27607 27607 16431 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 14156818 14316269568 29494 18446744073709551615 4194304 4196468 140726291208384 140064529193744 140064574342869 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37597184 140726291210674 140726291210850 140726291210850 140726291214287 0
[pid=27609/tid=27614] ppid=27607 vsize=13980732 memory=-8774313645642428999 CPUtime=0 cores=1,3,5,7
/proc/27609/task/27614/stat : 27614 (java) S 27607 27607 16431 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 14156818 14316269568 29494 18446744073709551615 4194304 4196468 140726291208384 140064528141200 140064574342869 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37597184 140726291210674 140726291210850 140726291210850 140726291214287 0
[pid=27609/tid=27615] ppid=27607 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27609/task/27615/stat : 27615 (java) S 27607 27607 16431 0 -1 1077944384 263 0 0 0 0 0 0 0 20 0 15 0 14156819 14316269568 29494 18446744073709551615 4194304 4196468 140726291208384 140064119740656 140064574343810 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37597184 140726291210674 140726291210850 140726291210850 140726291214287 0
[pid=27609/tid=27616] ppid=27607 vsize=13980732 memory=4580 CPUtime=0 cores=1,3,5,7
/proc/27609/task/27616/stat : 27616 (java) S 27607 27607 16431 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 14156820 14316269568 29494 18446744073709551615 4194304 4196468 140726291208384 140064050898080 140064574342869 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37597184 140726291210674 140726291210850 140726291210850 140726291214287 0
[pid=27609/tid=27617] ppid=27607 vsize=13980732 memory=7741522190160913233 CPUtime=0 cores=1,3,5,7
/proc/27609/task/27617/stat : 27617 (java) S 27607 27607 16431 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 14156820 14316269568 29494 18446744073709551615 4194304 4196468 140726291208384 140064049844976 140064574342869 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37597184 140726291210674 140726291210850 140726291210850 140726291214287 0
[pid=27609/tid=27618] ppid=27607 vsize=13980732 memory=7595725831727968097 CPUtime=0 cores=1,3,5,7
/proc/27609/task/27618/stat : 27618 (java) S 27607 27607 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 14156823 14316269568 29494 18446744073709551615 4194304 4196468 140726291208384 140064048793552 140064574351259 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37597184 140726291210674 140726291210850 140726291210850 140726291214287 0
[pid=27609/tid=27619] ppid=27607 vsize=13980732 memory=0 CPUtime=1.68 cores=1,3,5,7
/proc/27609/task/27619/stat : 27619 (java) S 27607 27607 16431 0 -1 1077944384 12566 0 0 0 167 1 0 0 20 0 15 0 14156823 14316269568 29494 18446744073709551615 4194304 4196468 140726291208384 140064047741680 140064574343810 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37597184 140726291210674 140726291210850 140726291210850 140726291214287 0
[pid=27609/tid=27620] ppid=27607 vsize=13980732 memory=279574454241328 CPUtime=1.67 cores=1,3,5,7
/proc/27609/task/27620/stat : 27620 (java) S 27607 27607 16431 0 -1 1077944384 10922 0 0 0 166 1 0 0 20 0 15 0 14156823 14316269568 29494 18446744073709551615 4194304 4196468 140726291208384 140064046689136 140064574343810 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37597184 140726291210674 140726291210850 140726291210850 140726291214287 0
[pid=27609/tid=27621] ppid=27607 vsize=13980732 memory=1380 CPUtime=0.45 cores=1,3,5,7
/proc/27609/task/27621/stat : 27621 (java) S 27607 27607 16431 0 -1 1077944384 2635 0 0 0 44 1 0 0 20 0 15 0 14156823 14316269568 29494 18446744073709551615 4194304 4196468 140726291208384 140064045636080 140064574343810 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37597184 140726291210674 140726291210850 140726291210850 140726291214287 0
[pid=27609/tid=27622] ppid=27607 vsize=13980732 memory=94228 CPUtime=0 cores=1,3,5,7
/proc/27609/task/27622/stat : 27622 (java) S 27607 27607 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 14156823 14316269568 29494 18446744073709551615 4194304 4196468 140726291208384 140064044583776 140064574342869 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37597184 140726291210674 140726291210850 140726291210850 140726291214287 0
[pid=27609/tid=27623] ppid=27607 vsize=13980732 memory=4206468019014099040 CPUtime=0 cores=1,3,5,7
/proc/27609/task/27623/stat : 27623 (java) S 27607 27607 16431 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 14156831 14316269568 29494 18446744073709551615 4194304 4196468 140726291208384 140064043530800 140064574343810 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37597184 140726291210674 140726291210850 140726291210850 140726291214287 0
Current children cumulated CPU time: 8.47 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 119356 KiB
[startup+5.20075 s]
/proc/loadavg: 2.17 2.10 2.06 3/214 27623
/proc/meminfo: memFree=31482740/32770624 swapFree=67108860/67108860
[pid=27607] ppid=27604 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/27607/stat : 27607 (xcsp3-exec) S 27604 27607 16431 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 14156811 9740288 345 18446744073709551615 4194304 5098028 140729072807504 140729072805608 139622108906108 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 5 0 0 7196144 7232144 27975680 140729072816506 140729072816710 140729072816710 140729072820203 0
/proc/27607/statm: 2378 345 289 221 0 87 0
[pid=27609] ppid=27607 vsize=13980732 memory=120080 CPUtime=8.91 cores=1,3,5,7
/proc/27609/stat : 27609 (java) S 27607 27607 16431 0 -1 1077944320 37862 0 0 0 883 8 0 0 20 0 15 0 14156817 14316269568 30020 18446744073709551615 4194304 4196468 140726291208384 140726291190928 140064574332663 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 37597184 140726291210674 140726291210850 140726291210850 140726291214287 0
/proc/27609/statm: 3495183 30020 3196 1 0 3483476 0
[pid=27609/tid=27610] ppid=27607 vsize=13980732 memory=-9123011406873178988 CPUtime=5.03 cores=1,3,5,7
/proc/27609/task/27610/stat : 27610 (java) R 27607 27607 16431 0 -1 4202560 10040 0 0 0 499 4 0 0 20 0 15 0 14156817 14316269568 30020 18446744073709551615 4194304 4196468 140726291208384 140064578569736 140064205763591 0 4 1 16800974 0 0 0 -1 5 0 0 7 0 0 6293624 6294260 37597184 140726291210674 140726291210850 140726291210850 140726291214287 0
[pid=27609/tid=27611] ppid=27607 vsize=13980732 memory=7533807675690544519 CPUtime=0 cores=1,3,5,7
/proc/27609/task/27611/stat : 27611 (java) S 27607 27607 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 14156818 14316269568 30020 18446744073709551615 4194304 4196468 140726291208384 140064531299344 140064574342869 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37597184 140726291210674 140726291210850 140726291210850 140726291214287 0
[pid=27609/tid=27612] ppid=27607 vsize=13980732 memory=-8889385302271246277 CPUtime=0 cores=1,3,5,7
/proc/27609/task/27612/stat : 27612 (java) S 27607 27607 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 14156818 14316269568 30020 18446744073709551615 4194304 4196468 140726291208384 140064530246800 140064574342869 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37597184 140726291210674 140726291210850 140726291210850 140726291214287 0
[pid=27609/tid=27613] ppid=27607 vsize=13980732 memory=-7522837415797432224 CPUtime=0 cores=1,3,5,7
/proc/27609/task/27613/stat : 27613 (java) S 27607 27607 16431 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 14156818 14316269568 30020 18446744073709551615 4194304 4196468 140726291208384 140064529193744 140064574342869 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37597184 140726291210674 140726291210850 140726291210850 140726291214287 0
[pid=27609/tid=27614] ppid=27607 vsize=13980732 memory=1399101730491701635 CPUtime=0 cores=1,3,5,7
/proc/27609/task/27614/stat : 27614 (java) S 27607 27607 16431 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 14156818 14316269568 30020 18446744073709551615 4194304 4196468 140726291208384 140064528141200 140064574342869 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37597184 140726291210674 140726291210850 140726291210850 140726291214287 0
[pid=27609/tid=27615] ppid=27607 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27609/task/27615/stat : 27615 (java) S 27607 27607 16431 0 -1 1077944384 263 0 0 0 0 0 0 0 20 0 15 0 14156819 14316269568 30020 18446744073709551615 4194304 4196468 140726291208384 140064119740656 140064574343810 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37597184 140726291210674 140726291210850 140726291210850 140726291214287 0
[pid=27609/tid=27616] ppid=27607 vsize=13980732 memory=-7242455096852575424 CPUtime=0 cores=1,3,5,7
/proc/27609/task/27616/stat : 27616 (java) S 27607 27607 16431 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 14156820 14316269568 30020 18446744073709551615 4194304 4196468 140726291208384 140064050898080 140064574342869 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37597184 140726291210674 140726291210850 140726291210850 140726291214287 0
[pid=27609/tid=27617] ppid=27607 vsize=13980732 memory=-5874771483550381248 CPUtime=0 cores=1,3,5,7
/proc/27609/task/27617/stat : 27617 (java) S 27607 27607 16431 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 14156820 14316269568 30020 18446744073709551615 4194304 4196468 140726291208384 140064049844976 140064574342869 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37597184 140726291210674 140726291210850 140726291210850 140726291214287 0
[pid=27609/tid=27618] ppid=27607 vsize=13980732 memory=8514701219781834910 CPUtime=0 cores=1,3,5,7
/proc/27609/task/27618/stat : 27618 (java) S 27607 27607 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 14156823 14316269568 30020 18446744073709551615 4194304 4196468 140726291208384 140064048793552 140064574351259 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37597184 140726291210674 140726291210850 140726291210850 140726291214287 0
[pid=27609/tid=27619] ppid=27607 vsize=13980732 memory=-3473730578892139372 CPUtime=1.71 cores=1,3,5,7
/proc/27609/task/27619/stat : 27619 (java) S 27607 27607 16431 0 -1 1077944384 12663 0 0 0 170 1 0 0 20 0 15 0 14156823 14316269568 30020 18446744073709551615 4194304 4196468 140726291208384 140064047741680 140064574343810 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37597184 140726291210674 140726291210850 140726291210850 140726291214287 0
[pid=27609/tid=27620] ppid=27607 vsize=13980732 memory=4715436676866215286 CPUtime=1.69 cores=1,3,5,7
/proc/27609/task/27620/stat : 27620 (java) S 27607 27607 16431 0 -1 1077944384 10936 0 0 0 168 1 0 0 20 0 15 0 14156823 14316269568 30020 18446744073709551615 4194304 4196468 140726291208384 140064046689136 140064574343810 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37597184 140726291210674 140726291210850 140726291210850 140726291214287 0
[pid=27609/tid=27621] ppid=27607 vsize=13980732 memory=4627829647351778678 CPUtime=0.45 cores=1,3,5,7
/proc/27609/task/27621/stat : 27621 (java) S 27607 27607 16431 0 -1 1077944384 2635 0 0 0 44 1 0 0 20 0 15 0 14156823 14316269568 30020 18446744073709551615 4194304 4196468 140726291208384 140064045636080 140064574343810 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37597184 140726291210674 140726291210850 140726291210850 140726291214287 0
[pid=27609/tid=27622] ppid=27607 vsize=13980732 memory=6944656592455097440 CPUtime=0 cores=1,3,5,7
/proc/27609/task/27622/stat : 27622 (java) S 27607 27607 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 14156823 14316269568 30020 18446744073709551615 4194304 4196468 140726291208384 140064044583776 140064574342869 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37597184 140726291210674 140726291210850 140726291210850 140726291214287 0
[pid=27609/tid=27623] ppid=27607 vsize=13980732 memory=139787371852001 CPUtime=0 cores=1,3,5,7
/proc/27609/task/27623/stat : 27623 (java) S 27607 27607 16431 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 14156831 14316269568 30020 18446744073709551615 4194304 4196468 140726291208384 140064043530800 140064574343810 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37597184 140726291210674 140726291210850 140726291210850 140726291214287 0
Current children cumulated CPU time: 8.91 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 121460 KiB
[startup+5.40067 s]
/proc/loadavg: 2.17 2.10 2.06 3/214 27623
/proc/meminfo: memFree=31482740/32770624 swapFree=67108860/67108860
[pid=27607] ppid=27604 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/27607/stat : 27607 (xcsp3-exec) S 27604 27607 16431 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 14156811 9740288 345 18446744073709551615 4194304 5098028 140729072807504 140729072805608 139622108906108 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 5 0 0 7196144 7232144 27975680 140729072816506 140729072816710 140729072816710 140729072820203 0
/proc/27607/statm: 2378 345 289 221 0 87 0
[pid=27609] ppid=27607 vsize=13980732 memory=114692 CPUtime=9.11 cores=1,3,5,7
/proc/27609/stat : 27609 (java) S 27607 27607 16431 0 -1 1077944320 38655 0 0 0 903 8 0 0 20 0 15 0 14156817 14316269568 28673 18446744073709551615 4194304 4196468 140726291208384 140726291190928 140064574332663 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 37597184 140726291210674 140726291210850 140726291210850 140726291214287 0
/proc/27609/statm: 3495183 28673 3196 1 0 3483476 0
[pid=27609/tid=27610] ppid=27607 vsize=13980732 memory=0 CPUtime=5.23 cores=1,3,5,7
/proc/27609/task/27610/stat : 27610 (java) R 27607 27607 16431 0 -1 4202560 10042 0 0 0 519 4 0 0 20 0 15 0 14156817 14316269568 28673 18446744073709551615 4194304 4196468 140726291208384 140064578569200 140064205764253 0 4 1 16800974 0 0 0 -1 5 0 0 7 0 0 6293624 6294260 37597184 140726291210674 140726291210850 140726291210850 140726291214287 0
[pid=27609/tid=27611] ppid=27607 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27609/task/27611/stat : 27611 (java) S 27607 27607 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 14156818 14316269568 28673 18446744073709551615 4194304 4196468 140726291208384 140064531299344 140064574342869 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37597184 140726291210674 140726291210850 140726291210850 140726291214287 0
[pid=27609/tid=27612] ppid=27607 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27609/task/27612/stat : 27612 (java) S 27607 27607 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 14156818 14316269568 28673 18446744073709551615 4194304 4196468 140726291208384 140064530246800 140064574342869 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37597184 140726291210674 140726291210850 140726291210850 140726291214287 0
[pid=27609/tid=27613] ppid=27607 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27609/task/27613/stat : 27613 (java) S 27607 27607 16431 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 14156818 14316269568 28673 18446744073709551615 4194304 4196468 140726291208384 140064529193744 140064574342869 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37597184 140726291210674 140726291210850 140726291210850 140726291214287 0
[pid=27609/tid=27614] ppid=27607 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27609/task/27614/stat : 27614 (java) S 27607 27607 16431 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 14156818 14316269568 28673 18446744073709551615 4194304 4196468 140726291208384 140064528141200 140064574342869 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37597184 140726291210674 140726291210850 140726291210850 140726291214287 0
[pid=27609/tid=27615] ppid=27607 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27609/task/27615/stat : 27615 (java) S 27607 27607 16431 0 -1 1077944384 266 0 0 0 0 0 0 0 20 0 15 0 14156819 14316269568 28673 18446744073709551615 4194304 4196468 140726291208384 140064119740656 140064574343810 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37597184 140726291210674 140726291210850 140726291210850 140726291214287 0
[pid=27609/tid=27616] ppid=27607 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27609/task/27616/stat : 27616 (java) S 27607 27607 16431 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 14156820 14316269568 28673 18446744073709551615 4194304 4196468 140726291208384 140064050898080 140064574342869 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37597184 140726291210674 140726291210850 140726291210850 140726291214287 0
[pid=27609/tid=27617] ppid=27607 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27609/task/27617/stat : 27617 (java) S 27607 27607 16431 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 14156820 14316269568 28673 18446744073709551615 4194304 4196468 140726291208384 140064049844976 140064574342869 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37597184 140726291210674 140726291210850 140726291210850 140726291214287 0
[pid=27609/tid=27618] ppid=27607 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27609/task/27618/stat : 27618 (java) S 27607 27607 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 14156823 14316269568 28673 18446744073709551615 4194304 4196468 140726291208384 140064048793552 140064574351259 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37597184 140726291210674 140726291210850 140726291210850 140726291214287 0
[pid=27609/tid=27619] ppid=27607 vsize=13980732 memory=0 CPUtime=1.71 cores=1,3,5,7
/proc/27609/task/27619/stat : 27619 (java) S 27607 27607 16431 0 -1 1077944384 12663 0 0 0 170 1 0 0 20 0 15 0 14156823 14316269568 28673 18446744073709551615 4194304 4196468 140726291208384 140064047741680 140064574343810 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37597184 140726291210674 140726291210850 140726291210850 140726291214287 0
[pid=27609/tid=27620] ppid=27607 vsize=13980732 memory=0 CPUtime=1.69 cores=1,3,5,7
/proc/27609/task/27620/stat : 27620 (java) S 27607 27607 16431 0 -1 1077944384 10936 0 0 0 168 1 0 0 20 0 15 0 14156823 14316269568 28673 18446744073709551615 4194304 4196468 140726291208384 140064046689136 140064574343810 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37597184 140726291210674 140726291210850 140726291210850 140726291214287 0
[pid=27609/tid=27621] ppid=27607 vsize=13980732 memory=0 CPUtime=0.45 cores=1,3,5,7
/proc/27609/task/27621/stat : 27621 (java) S 27607 27607 16431 0 -1 1077944384 2635 0 0 0 44 1 0 0 20 0 15 0 14156823 14316269568 28673 18446744073709551615 4194304 4196468 140726291208384 140064045636080 140064574343810 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37597184 140726291210674 140726291210850 140726291210850 140726291214287 0
[pid=27609/tid=27622] ppid=27607 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27609/task/27622/stat : 27622 (java) S 27607 27607 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 14156823 14316269568 28673 18446744073709551615 4194304 4196468 140726291208384 140064044583776 140064574342869 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37597184 140726291210674 140726291210850 140726291210850 140726291214287 0
[pid=27609/tid=27623] ppid=27607 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27609/task/27623/stat : 27623 (java) S 27607 27607 16431 0 -1 1077944384 811 0 0 0 0 0 0 0 20 0 15 0 14156831 14316269568 28673 18446744073709551615 4194304 4196468 140726291208384 140064043530800 140064574343810 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37597184 140726291210674 140726291210850 140726291210850 140726291214287 0
Current children cumulated CPU time: 9.11 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 116072 KiB
[startup+5.50071 s]
/proc/loadavg: 2.17 2.10 2.06 3/214 27623
/proc/meminfo: memFree=31482740/32770624 swapFree=67108860/67108860
[pid=27607] ppid=27604 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/27607/stat : 27607 (xcsp3-exec) S 27604 27607 16431 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 14156811 9740288 345 18446744073709551615 4194304 5098028 140729072807504 140729072805608 139622108906108 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 5 0 0 7196144 7232144 27975680 140729072816506 140729072816710 140729072816710 140729072820203 0
/proc/27607/statm: 2378 345 289 221 0 87 0
[pid=27609] ppid=27607 vsize=13980732 memory=114692 CPUtime=9.21 cores=1,3,5,7
/proc/27609/stat : 27609 (java) S 27607 27607 16431 0 -1 1077944320 38664 0 0 0 913 8 0 0 20 0 15 0 14156817 14316269568 28673 18446744073709551615 4194304 4196468 140726291208384 140726291190928 140064574332663 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 37597184 140726291210674 140726291210850 140726291210850 140726291214287 0
/proc/27609/statm: 3495183 28673 3196 1 0 3483476 0
[pid=27609/tid=27610] ppid=27607 vsize=13980732 memory=117976 CPUtime=5.33 cores=1,3,5,7
/proc/27609/task/27610/stat : 27610 (java) R 27607 27607 16431 0 -1 4202560 10042 0 0 0 529 4 0 0 20 0 15 0 14156817 14316269568 28673 18446744073709551615 4194304 4196468 140726291208384 140064578569200 140064203038660 0 4 1 16800974 0 0 0 -1 5 0 0 7 0 0 6293624 6294260 37597184 140726291210674 140726291210850 140726291210850 140726291214287 0
[pid=27609/tid=27611] ppid=27607 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27609/task/27611/stat : 27611 (java) S 27607 27607 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 14156818 14316269568 28673 18446744073709551615 4194304 4196468 140726291208384 140064531299344 140064574342869 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37597184 140726291210674 140726291210850 140726291210850 140726291214287 0
[pid=27609/tid=27612] ppid=27607 vsize=13980732 memory=177 CPUtime=0 cores=1,3,5,7
/proc/27609/task/27612/stat : 27612 (java) S 27607 27607 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 14156818 14316269568 28673 18446744073709551615 4194304 4196468 140726291208384 140064530246800 140064574342869 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37597184 140726291210674 140726291210850 140726291210850 140726291214287 0
[pid=27609/tid=27613] ppid=27607 vsize=13980732 memory=4279353494052561728 CPUtime=0 cores=1,3,5,7
/proc/27609/task/27613/stat : 27613 (java) S 27607 27607 16431 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 14156818 14316269568 28673 18446744073709551615 4194304 4196468 140726291208384 140064529193744 140064574342869 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37597184 140726291210674 140726291210850 140726291210850 140726291214287 0
[pid=27609/tid=27614] ppid=27607 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27609/task/27614/stat : 27614 (java) S 27607 27607 16431 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 14156818 14316269568 28673 18446744073709551615 4194304 4196468 140726291208384 140064528141200 140064574342869 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37597184 140726291210674 140726291210850 140726291210850 140726291214287 0
[pid=27609/tid=27615] ppid=27607 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27609/task/27615/stat : 27615 (java) S 27607 27607 16431 0 -1 1077944384 266 0 0 0 0 0 0 0 20 0 15 0 14156819 14316269568 28673 18446744073709551615 4194304 4196468 140726291208384 140064119740656 140064574343810 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37597184 140726291210674 140726291210850 140726291210850 140726291214287 0
[pid=27609/tid=27616] ppid=27607 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27609/task/27616/stat : 27616 (java) S 27607 27607 16431 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 14156820 14316269568 28673 18446744073709551615 4194304 4196468 140726291208384 140064050898080 140064574342869 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37597184 140726291210674 140726291210850 140726291210850 140726291214287 0
[pid=27609/tid=27617] ppid=27607 vsize=13980732 memory=56 CPUtime=0 cores=1,3,5,7
/proc/27609/task/27617/stat : 27617 (java) S 27607 27607 16431 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 14156820 14316269568 28673 18446744073709551615 4194304 4196468 140726291208384 140064049844976 140064574342869 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37597184 140726291210674 140726291210850 140726291210850 140726291214287 0
[pid=27609/tid=27618] ppid=27607 vsize=13980732 memory=44 CPUtime=0 cores=1,3,5,7
/proc/27609/task/27618/stat : 27618 (java) S 27607 27607 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 14156823 14316269568 28673 18446744073709551615 4194304 4196468 140726291208384 140064048793552 140064574351259 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37597184 140726291210674 140726291210850 140726291210850 140726291214287 0
[pid=27609/tid=27619] ppid=27607 vsize=13980732 memory=0 CPUtime=1.71 cores=1,3,5,7
/proc/27609/task/27619/stat : 27619 (java) S 27607 27607 16431 0 -1 1077944384 12672 0 0 0 170 1 0 0 20 0 15 0 14156823 14316269568 28673 18446744073709551615 4194304 4196468 140726291208384 140064047741680 140064574343810 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37597184 140726291210674 140726291210850 140726291210850 140726291214287 0
[pid=27609/tid=27620] ppid=27607 vsize=13980732 memory=115460 CPUtime=1.69 cores=1,3,5,7
/proc/27609/task/27620/stat : 27620 (java) S 27607 27607 16431 0 -1 1077944384 10936 0 0 0 168 1 0 0 20 0 15 0 14156823 14316269568 28673 18446744073709551615 4194304 4196468 140726291208384 140064046689136 140064574343810 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37597184 140726291210674 140726291210850 140726291210850 140726291214287 0
[pid=27609/tid=27621] ppid=27607 vsize=13980732 memory=6082224999269034345 CPUtime=0.45 cores=1,3,5,7
/proc/27609/task/27621/stat : 27621 (java) S 27607 27607 16431 0 -1 1077944384 2635 0 0 0 44 1 0 0 20 0 15 0 14156823 14316269568 28673 18446744073709551615 4194304 4196468 140726291208384 140064045636080 140064574343810 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37597184 140726291210674 140726291210850 140726291210850 140726291214287 0
[pid=27609/tid=27622] ppid=27607 vsize=13980732 memory=7302416837053408106 CPUtime=0 cores=1,3,5,7
/proc/27609/task/27622/stat : 27622 (java) S 27607 27607 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 14156823 14316269568 28673 18446744073709551615 4194304 4196468 140726291208384 140064044583776 140064574342869 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37597184 140726291210674 140726291210850 140726291210850 140726291214287 0
[pid=27609/tid=27623] ppid=27607 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/27609/task/27623/stat : 27623 (java) S 27607 27607 16431 0 -1 1077944384 811 0 0 0 0 0 0 0 20 0 15 0 14156831 14316269568 28673 18446744073709551615 4194304 4196468 140726291208384 140064043530800 140064574343810 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37597184 140726291210674 140726291210850 140726291210850 140726291214287 0
Current children cumulated CPU time: 9.21 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 116072 KiB
Child status: 0
Real time (s): 5.53253
CPU time (s): 9.26277
CPU user time (s): 9.16486
CPU system time (s): 0.097909
CPU usage (%): 167.424
Max. virtual memory (cumulated for all children) (KiB): 13992288
Max. memory (cumulated for all children) (KiB): 121460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9.16487
system time used= 0.097909
maximum resident set size= 120084
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 39695
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= 2207
involuntary context switches= 18
# summary of solver processes directly reported to runsolver:
# pid: 27607
# total CPU time (s): 9.26277
# total CPU user time (s): 9.16486
# total CPU system time (s): 0.097909
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.059879 second user time and 0.093254 second system time
The end