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 (15131 MiB free)
memory of node 1: 16384 MiB (15671 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4399152-1568699245/watcher-4399152-1568699245 -o /tmp/evaluation-result-4399152-1568699245/solver-4399152-1568699245 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node121-1568693400-21538 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 1734076241 HOME/instance-4399152-1568699245.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=27714, runsolver pid=27711
[startup+0.100078 s]*
/proc/loadavg: 8.21 8.43 8.40 8/233 27730
/proc/meminfo: memFree=31526096/32770624 swapFree=66977068/67108860
[pid=27714] ppid=27711 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/27714/stat : 27714 (xcsp3-exec) S 27711 27714 21506 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 446187095 115843072 362 33554432000 4194304 5098028 140724680704448 140724680702552 139922422571644 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 22179840 140724680713082 140724680713325 140724680713325 140724680716234 0
/proc/27714/statm: 28282 362 304 221 0 87 0
[pid=27716] ppid=27714 vsize=15144776 memory=29368 CPUtime=0.13 cores=1,3,5,7
/proc/27716/stat : 27716 (java) S 27714 27714 21506 0 -1 1077944320 5769 0 0 0 12 1 0 0 20 0 15 0 446187096 15508250624 7342 33554432000 4194304 4196468 140734445376896 140734445359440 139911816335095 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 32763904 140734445384687 140734445384858 140734445384858 140734445387727 0
/proc/27716/statm: 3786194 7342 3154 1 0 3748377 0
[pid=27716/tid=27717] ppid=27714 vsize=15144776 memory=8514701219881124772 CPUtime=0.09 cores=1,3,5,7
/proc/27716/task/27717/stat : 27717 (java) R 27714 27714 21506 0 -1 4202560 3669 0 0 0 9 0 0 0 20 0 15 0 446187096 15508250624 7342 33554432000 4194304 4196468 140734445376896 139911820564272 139911816357021 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32763904 140734445384687 140734445384858 140734445384858 140734445387727 0
[pid=27716/tid=27718] ppid=27714 vsize=15144776 memory=3472467751999411408 CPUtime=0 cores=1,3,5,7
/proc/27716/task/27718/stat : 27718 (java) S 27714 27714 21506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446187097 15508250624 7342 33554432000 4194304 4196468 140734445376896 139911408495248 139911816345301 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32763904 140734445384687 140734445384858 140734445384858 140734445387727 0
[pid=27716/tid=27719] ppid=27714 vsize=15144776 memory=139623104259712 CPUtime=0 cores=1,3,5,7
/proc/27716/task/27719/stat : 27719 (java) S 27714 27714 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446187097 15508250624 7342 33554432000 4194304 4196468 140734445376896 139911407442448 139911816345301 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32763904 140734445384687 140734445384858 140734445384858 140734445387727 0
[pid=27716/tid=27720] ppid=27714 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27716/task/27720/stat : 27720 (java) S 27714 27714 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446187097 15508250624 7342 33554432000 4194304 4196468 140734445376896 139911406389648 139911816345301 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32763904 140734445384687 140734445384858 140734445384858 140734445387727 0
[pid=27716/tid=27721] ppid=27714 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27716/task/27721/stat : 27721 (java) S 27714 27714 21506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446187097 15508250624 7342 33554432000 4194304 4196468 140734445376896 139911405336848 139911816345301 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32763904 140734445384687 140734445384858 140734445384858 140734445387727 0
[pid=27716/tid=27722] ppid=27714 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27716/task/27722/stat : 27722 (java) S 27714 27714 21506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446187098 15508250624 7342 33554432000 4194304 4196468 140734445376896 139910690331504 139911816346242 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32763904 140734445384687 140734445384858 140734445384858 140734445387727 0
[pid=27716/tid=27723] ppid=27714 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27716/task/27723/stat : 27723 (java) S 27714 27714 21506 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446187099 15508250624 7342 33554432000 4194304 4196468 140734445376896 139910689277472 139911816345301 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32763904 140734445384687 140734445384858 140734445384858 140734445387727 0
[pid=27716/tid=27724] ppid=27714 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27716/task/27724/stat : 27724 (java) S 27714 27714 21506 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446187099 15508250624 7342 33554432000 4194304 4196468 140734445376896 139910688224624 139911816345301 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32763904 140734445384687 140734445384858 140734445384858 140734445387727 0
[pid=27716/tid=27725] ppid=27714 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27716/task/27725/stat : 27725 (java) S 27714 27714 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446187101 15508250624 7342 33554432000 4194304 4196468 140734445376896 139910687172944 139911816353691 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32763904 140734445384687 140734445384858 140734445384858 140734445387727 0
[pid=27716/tid=27726] ppid=27714 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27716/task/27726/stat : 27726 (java) S 27714 27714 21506 0 -1 1077944384 416 0 0 0 0 0 0 0 20 0 15 0 446187101 15508250624 7342 33554432000 4194304 4196468 140734445376896 139910686120304 139911816346242 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32763904 140734445384687 140734445384858 140734445384858 140734445387727 0
[pid=27716/tid=27727] ppid=27714 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27716/task/27727/stat : 27727 (java) R 27714 27714 21506 0 -1 4202560 44 0 0 0 0 0 0 0 20 0 15 0 446187101 15508250624 7342 33554432000 4194304 4196468 140734445376896 139910685067504 139911794167952 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32763904 140734445384687 140734445384858 140734445384858 140734445387727 0
[pid=27716/tid=27728] ppid=27714 vsize=15144776 memory=139623104259712 CPUtime=0.02 cores=1,3,5,7
/proc/27716/task/27728/stat : 27728 (java) S 27714 27714 21506 0 -1 1077944384 353 0 0 0 2 0 0 0 20 0 15 0 446187101 15508250624 7342 33554432000 4194304 4196468 140734445376896 139910684014704 139911816346242 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32763904 140734445384687 140734445384858 140734445384858 140734445387727 0
[pid=27716/tid=27729] ppid=27714 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27716/task/27729/stat : 27729 (java) S 27714 27714 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446187101 15508250624 7342 33554432000 4194304 4196468 140734445376896 139910682962144 139911816345301 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32763904 140734445384687 140734445384858 140734445384858 140734445387727 0
[pid=27716/tid=27730] ppid=27714 vsize=15144776 memory=139623104259712 CPUtime=0 cores=1,3,5,7
/proc/27716/task/27730/stat : 27730 (java) S 27714 27714 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446187102 15508250624 7342 33554432000 4194304 4196468 140734445376896 139910681910448 139911816346242 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32763904 140734445384687 140734445384858 140734445384858 140734445387727 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30816 KiB
[startup+0.210707 s]*
/proc/loadavg: 8.21 8.43 8.40 8/233 27730
/proc/meminfo: memFree=31513648/32770624 swapFree=66977068/67108860
[pid=27714] ppid=27711 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/27714/stat : 27714 (xcsp3-exec) S 27711 27714 21506 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 446187095 115843072 362 33554432000 4194304 5098028 140724680704448 140724680702552 139922422571644 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 22179840 140724680713082 140724680713325 140724680713325 140724680716234 0
/proc/27714/statm: 28282 362 304 221 0 87 0
[pid=27716] ppid=27714 vsize=15144776 memory=40936 CPUtime=0.35 cores=1,3,5,7
/proc/27716/stat : 27716 (java) S 27714 27714 21506 0 -1 1077944320 9516 0 0 0 32 3 0 0 20 0 15 0 446187096 15508250624 10234 33554432000 4194304 4196468 140734445376896 140734445359440 139911816335095 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 32763904 140734445384687 140734445384858 140734445384858 140734445387727 0
/proc/27716/statm: 3786194 10234 3265 1 0 3748377 0
[pid=27716/tid=27717] ppid=27714 vsize=15144776 memory=5855082630903857826 CPUtime=0.2 cores=1,3,5,7
/proc/27716/task/27717/stat : 27717 (java) R 27714 27714 21506 0 -1 4202560 6676 0 0 0 18 2 0 0 20 0 15 0 446187096 15508250624 10234 33554432000 4194304 4196468 140734445376896 139911820567008 139911816357021 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32763904 140734445384687 140734445384858 140734445384858 140734445387727 0
[pid=27716/tid=27718] ppid=27714 vsize=15144776 memory=3472467751999411408 CPUtime=0 cores=1,3,5,7
/proc/27716/task/27718/stat : 27718 (java) S 27714 27714 21506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446187097 15508250624 10234 33554432000 4194304 4196468 140734445376896 139911408495248 139911816345301 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32763904 140734445384687 140734445384858 140734445384858 140734445387727 0
[pid=27716/tid=27719] ppid=27714 vsize=15144776 memory=139623104259712 CPUtime=0 cores=1,3,5,7
/proc/27716/task/27719/stat : 27719 (java) S 27714 27714 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446187097 15508250624 10234 33554432000 4194304 4196468 140734445376896 139911407442448 139911816345301 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32763904 140734445384687 140734445384858 140734445384858 140734445387727 0
[pid=27716/tid=27720] ppid=27714 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27716/task/27720/stat : 27720 (java) S 27714 27714 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446187097 15508250624 10234 33554432000 4194304 4196468 140734445376896 139911406389648 139911816345301 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32763904 140734445384687 140734445384858 140734445384858 140734445387727 0
[pid=27716/tid=27721] ppid=27714 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27716/task/27721/stat : 27721 (java) S 27714 27714 21506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446187097 15508250624 10234 33554432000 4194304 4196468 140734445376896 139911405336848 139911816345301 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32763904 140734445384687 140734445384858 140734445384858 140734445387727 0
[pid=27716/tid=27722] ppid=27714 vsize=15144776 memory=139623104259712 CPUtime=0 cores=1,3,5,7
/proc/27716/task/27722/stat : 27722 (java) S 27714 27714 21506 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 446187098 15508250624 10234 33554432000 4194304 4196468 140734445376896 139910690331504 139911816346242 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32763904 140734445384687 140734445384858 140734445384858 140734445387727 0
[pid=27716/tid=27723] ppid=27714 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27716/task/27723/stat : 27723 (java) S 27714 27714 21506 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446187099 15508250624 10234 33554432000 4194304 4196468 140734445376896 139910689277472 139911816345301 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32763904 140734445384687 140734445384858 140734445384858 140734445387727 0
[pid=27716/tid=27724] ppid=27714 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27716/task/27724/stat : 27724 (java) S 27714 27714 21506 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446187099 15508250624 10234 33554432000 4194304 4196468 140734445376896 139910688224624 139911816345301 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32763904 140734445384687 140734445384858 140734445384858 140734445387727 0
[pid=27716/tid=27725] ppid=27714 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27716/task/27725/stat : 27725 (java) S 27714 27714 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446187101 15508250624 10234 33554432000 4194304 4196468 140734445376896 139910687172944 139911816353691 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32763904 140734445384687 140734445384858 140734445384858 140734445387727 0
[pid=27716/tid=27726] ppid=27714 vsize=15144776 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/27716/task/27726/stat : 27726 (java) S 27714 27714 21506 0 -1 1077944384 520 0 0 0 2 0 0 0 20 0 15 0 446187101 15508250624 10234 33554432000 4194304 4196468 140734445376896 139910686120304 139911816346242 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32763904 140734445384687 140734445384858 140734445384858 140734445387727 0
[pid=27716/tid=27727] ppid=27714 vsize=15144776 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/27716/task/27727/stat : 27727 (java) S 27714 27714 21506 0 -1 1077944384 249 0 0 0 2 0 0 0 20 0 15 0 446187101 15508250624 10234 33554432000 4194304 4196468 140734445376896 139910685067504 139911816346242 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32763904 140734445384687 140734445384858 140734445384858 140734445387727 0
[pid=27716/tid=27728] ppid=27714 vsize=15144776 memory=139623104259712 CPUtime=0.08 cores=1,3,5,7
/proc/27716/task/27728/stat : 27728 (java) R 27714 27714 21506 0 -1 4202560 765 0 0 0 8 0 0 0 20 0 15 0 446187101 15508250624 10234 33554432000 4194304 4196468 140734445376896 139910684014704 139911816347030 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32763904 140734445384687 140734445384858 140734445384858 140734445387727 0
[pid=27716/tid=27729] ppid=27714 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27716/task/27729/stat : 27729 (java) S 27714 27714 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446187101 15508250624 10234 33554432000 4194304 4196468 140734445376896 139910682962144 139911816345301 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32763904 140734445384687 140734445384858 140734445384858 140734445387727 0
[pid=27716/tid=27730] ppid=27714 vsize=15144776 memory=139623104259712 CPUtime=0 cores=1,3,5,7
/proc/27716/task/27730/stat : 27730 (java) S 27714 27714 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446187102 15508250624 10234 33554432000 4194304 4196468 140734445376896 139910681910448 139911816346242 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32763904 140734445384687 140734445384858 140734445384858 140734445387727 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42384 KiB
[startup+0.318191 s]*
/proc/loadavg: 8.21 8.43 8.40 8/233 27730
/proc/meminfo: memFree=31506128/32770624 swapFree=66977068/67108860
[pid=27714] ppid=27711 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/27714/stat : 27714 (xcsp3-exec) S 27711 27714 21506 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 446187095 115843072 362 33554432000 4194304 5098028 140724680704448 140724680702552 139922422571644 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 22179840 140724680713082 140724680713325 140724680713325 140724680716234 0
/proc/27714/statm: 28282 362 304 221 0 87 0
[pid=27716] ppid=27714 vsize=15149032 memory=50784 CPUtime=0.55 cores=1,3,5,7
/proc/27716/stat : 27716 (java) S 27714 27714 21506 0 -1 1077944320 10978 0 0 0 51 4 0 0 20 0 15 0 446187096 15512608768 12696 33554432000 4194304 4196468 140734445376896 140734445359440 139911816335095 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 32763904 140734445384687 140734445384858 140734445384858 140734445387727 0
/proc/27716/statm: 3787258 12696 3370 1 0 3748377 0
[pid=27716/tid=27717] ppid=27714 vsize=15149032 memory=-8540663193526752614 CPUtime=0.31 cores=1,3,5,7
/proc/27716/task/27717/stat : 27717 (java) S 27714 27714 21506 0 -1 1077944384 7941 0 0 0 28 3 0 0 20 0 15 0 446187096 15512608768 12696 33554432000 4194304 4196468 140734445376896 139911820562864 139911816345301 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32763904 140734445384687 140734445384858 140734445384858 140734445387727 0
[pid=27716/tid=27718] ppid=27714 vsize=15149032 memory=3472467751999411408 CPUtime=0 cores=1,3,5,7
/proc/27716/task/27718/stat : 27718 (java) S 27714 27714 21506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446187097 15512608768 12696 33554432000 4194304 4196468 140734445376896 139911408495248 139911816345301 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32763904 140734445384687 140734445384858 140734445384858 140734445387727 0
[pid=27716/tid=27719] ppid=27714 vsize=15149032 memory=139623104281244 CPUtime=0 cores=1,3,5,7
/proc/27716/task/27719/stat : 27719 (java) S 27714 27714 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446187097 15512608768 12696 33554432000 4194304 4196468 140734445376896 139911407442448 139911816345301 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32763904 140734445384687 140734445384858 140734445384858 140734445387727 0
[pid=27716/tid=27720] ppid=27714 vsize=15149032 memory=139622944474925 CPUtime=0 cores=1,3,5,7
/proc/27716/task/27720/stat : 27720 (java) S 27714 27714 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446187097 15512608768 12696 33554432000 4194304 4196468 140734445376896 139911406389648 139911816345301 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32763904 140734445384687 140734445384858 140734445384858 140734445387727 0
[pid=27716/tid=27721] ppid=27714 vsize=15149032 memory=139622944455631 CPUtime=0 cores=1,3,5,7
/proc/27716/task/27721/stat : 27721 (java) S 27714 27714 21506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446187097 15512608768 12696 33554432000 4194304 4196468 140734445376896 139911405336848 139911816345301 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32763904 140734445384687 140734445384858 140734445384858 140734445387727 0
[pid=27716/tid=27722] ppid=27714 vsize=15149032 memory=139623104281250 CPUtime=0 cores=1,3,5,7
/proc/27716/task/27722/stat : 27722 (java) S 27714 27714 21506 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 446187098 15512608768 12696 33554432000 4194304 4196468 140734445376896 139910690331504 139911816346242 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32763904 140734445384687 140734445384858 140734445384858 140734445387727 0
[pid=27716/tid=27723] ppid=27714 vsize=15149032 memory=139622944464847 CPUtime=0 cores=1,3,5,7
/proc/27716/task/27723/stat : 27723 (java) S 27714 27714 21506 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446187099 15512608768 12696 33554432000 4194304 4196468 140734445376896 139910689277472 139911816345301 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32763904 140734445384687 140734445384858 140734445384858 140734445387727 0
[pid=27716/tid=27724] ppid=27714 vsize=15149032 memory=279245888927376 CPUtime=0 cores=1,3,5,7
/proc/27716/task/27724/stat : 27724 (java) S 27714 27714 21506 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446187099 15512608768 12696 33554432000 4194304 4196468 140734445376896 139910688224624 139911816345301 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32763904 140734445384687 140734445384858 140734445384858 140734445387727 0
[pid=27716/tid=27725] ppid=27714 vsize=15149032 memory=279245888934256 CPUtime=0 cores=1,3,5,7
/proc/27716/task/27725/stat : 27725 (java) S 27714 27714 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446187101 15512608768 12696 33554432000 4194304 4196468 140734445376896 139910687172944 139911816353691 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32763904 140734445384687 140734445384858 140734445384858 140734445387727 0
[pid=27716/tid=27726] ppid=27714 vsize=15149032 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/27716/task/27726/stat : 27726 (java) S 27714 27714 21506 0 -1 1077944384 641 0 0 0 5 0 0 0 20 0 15 0 446187101 15512608768 12696 33554432000 4194304 4196468 140734445376896 139910686120304 139911816346242 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32763904 140734445384687 140734445384858 140734445384858 140734445387727 0
[pid=27716/tid=27727] ppid=27714 vsize=15149032 memory=2240 CPUtime=0.04 cores=1,3,5,7
/proc/27716/task/27727/stat : 27727 (java) S 27714 27714 21506 0 -1 1077944384 271 0 0 0 4 0 0 0 20 0 15 0 446187101 15512608768 12696 33554432000 4194304 4196468 140734445376896 139910685067504 139911816346242 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32763904 140734445384687 140734445384858 140734445384858 140734445387727 0
[pid=27716/tid=27728] ppid=27714 vsize=15149032 memory=139623104259712 CPUtime=0.13 cores=1,3,5,7
/proc/27716/task/27728/stat : 27728 (java) S 27714 27714 21506 0 -1 1077944384 821 0 0 0 13 0 0 0 20 0 15 0 446187101 15512608768 12696 33554432000 4194304 4196468 140734445376896 139910684014704 139911816346242 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32763904 140734445384687 140734445384858 140734445384858 140734445387727 0
[pid=27716/tid=27729] ppid=27714 vsize=15149032 memory=2208 CPUtime=0 cores=1,3,5,7
/proc/27716/task/27729/stat : 27729 (java) S 27714 27714 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446187101 15512608768 12696 33554432000 4194304 4196468 140734445376896 139910682962144 139911816345301 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32763904 140734445384687 140734445384858 140734445384858 140734445387727 0
[pid=27716/tid=27730] ppid=27714 vsize=15149032 memory=139623104259712 CPUtime=0 cores=1,3,5,7
/proc/27716/task/27730/stat : 27730 (java) S 27714 27714 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446187102 15512608768 12696 33554432000 4194304 4196468 140734445376896 139910681910448 139911816346242 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32763904 140734445384687 140734445384858 140734445384858 140734445387727 0
Current children cumulated CPU time: 0.55 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 52232 KiB
[startup+0.713202 s]
/proc/loadavg: 8.21 8.43 8.40 10/233 27730
/proc/meminfo: memFree=31492028/32770624 swapFree=66977068/67108860
[pid=27714] ppid=27711 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/27714/stat : 27714 (xcsp3-exec) S 27711 27714 21506 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 446187095 115843072 362 33554432000 4194304 5098028 140724680704448 140724680702552 139922422571644 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 22179840 140724680713082 140724680713325 140724680713325 140724680716234 0
/proc/27714/statm: 28282 362 304 221 0 87 0
[pid=27716] ppid=27714 vsize=15151156 memory=203840 CPUtime=1.73 cores=1,3,5,7
/proc/27716/stat : 27716 (java) S 27714 27714 21506 0 -1 1077944320 14905 0 0 0 166 7 0 0 20 0 15 0 446187096 15514783744 50960 33554432000 4194304 4196468 140734445376896 140734445359440 139911816335095 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 32763904 140734445384687 140734445384858 140734445384858 140734445387727 0
/proc/27716/statm: 3787789 50960 3456 1 0 3748889 0
[pid=27716/tid=27717] ppid=27714 vsize=15151156 memory=2828 CPUtime=0.67 cores=1,3,5,7
/proc/27716/task/27717/stat : 27717 (java) S 27714 27714 21506 0 -1 1077944384 9169 0 0 0 62 5 0 0 20 0 15 0 446187096 15514783744 50960 33554432000 4194304 4196468 140734445376896 139911820571792 139911816345301 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32763904 140734445384687 140734445384858 140734445384858 140734445387727 0
[pid=27716/tid=27718] ppid=27714 vsize=15151156 memory=756 CPUtime=0 cores=1,3,5,7
/proc/27716/task/27718/stat : 27718 (java) R 27714 27714 21506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446187097 15514783744 50960 33554432000 4194304 4196468 140734445376896 139911408495248 139911816345301 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32763904 140734445384687 140734445384858 140734445384858 140734445387727 0
[pid=27716/tid=27719] ppid=27714 vsize=15151156 memory=1548 CPUtime=0.01 cores=1,3,5,7
/proc/27716/task/27719/stat : 27719 (java) R 27714 27714 21506 0 -1 4202560 16 0 0 0 1 0 0 0 20 0 15 0 446187097 15514783744 50960 33554432000 4194304 4196468 140734445376896 139911407442448 139911801357216 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32763904 140734445384687 140734445384858 140734445384858 140734445387727 0
[pid=27716/tid=27720] ppid=27714 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27716/task/27720/stat : 27720 (java) R 27714 27714 21506 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 15 0 446187097 15514783744 50960 33554432000 4194304 4196468 140734445376896 139911406389648 139911801358798 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32763904 140734445384687 140734445384858 140734445384858 140734445387727 0
[pid=27716/tid=27721] ppid=27714 vsize=15151156 memory=279245889008960 CPUtime=0.01 cores=1,3,5,7
/proc/27716/task/27721/stat : 27721 (java) R 27714 27714 21506 0 -1 4202560 24 0 0 0 1 0 0 0 20 0 15 0 446187097 15514783744 50960 33554432000 4194304 4196468 140734445376896 139911405337048 139911797960848 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 32763904 140734445384687 140734445384858 140734445384858 140734445387727 0
[pid=27716/tid=27722] ppid=27714 vsize=15151156 memory=11268 CPUtime=0 cores=1,3,5,7
/proc/27716/task/27722/stat : 27722 (java) S 27714 27714 21506 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 15 0 446187098 15514783744 50960 33554432000 4194304 4196468 140734445376896 139910690330016 139911816345301 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32763904 140734445384687 140734445384858 140734445384858 140734445387727 0
[pid=27716/tid=27723] ppid=27714 vsize=15151156 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/27716/task/27723/stat : 27723 (java) S 27714 27714 21506 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446187099 15514783744 50960 33554432000 4194304 4196468 140734445376896 139910689277472 139911816345301 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32763904 140734445384687 140734445384858 140734445384858 140734445387727 0
[pid=27716/tid=27724] ppid=27714 vsize=15151156 memory=2320954914747435689 CPUtime=0 cores=1,3,5,7
/proc/27716/task/27724/stat : 27724 (java) S 27714 27714 21506 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446187099 15514783744 50960 33554432000 4194304 4196468 140734445376896 139910688224624 139911816345301 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32763904 140734445384687 140734445384858 140734445384858 140734445387727 0
[pid=27716/tid=27725] ppid=27714 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27716/task/27725/stat : 27725 (java) S 27714 27714 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446187101 15514783744 50960 33554432000 4194304 4196468 140734445376896 139910687172944 139911816353691 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32763904 140734445384687 140734445384858 140734445384858 140734445387727 0
[pid=27716/tid=27726] ppid=27714 vsize=15151156 memory=1425 CPUtime=0.3 cores=1,3,5,7
/proc/27716/task/27726/stat : 27726 (java) S 27714 27714 21506 0 -1 1077944384 1474 0 0 0 30 0 0 0 20 0 15 0 446187101 15514783744 50960 33554432000 4194304 4196468 140734445376896 139910686111584 139911816345301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32763904 140734445384687 140734445384858 140734445384858 140734445387727 0
[pid=27716/tid=27727] ppid=27714 vsize=15151156 memory=11 CPUtime=0.28 cores=1,3,5,7
/proc/27716/task/27727/stat : 27727 (java) S 27714 27714 21506 0 -1 1077944384 1160 0 0 0 28 0 0 0 20 0 15 0 446187101 15514783744 50960 33554432000 4194304 4196468 140734445376896 139910685052496 139911816345301 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32763904 140734445384687 140734445384858 140734445384858 140734445387727 0
[pid=27716/tid=27728] ppid=27714 vsize=15151156 memory=0 CPUtime=0.4 cores=1,3,5,7
/proc/27716/task/27728/stat : 27728 (java) S 27714 27714 21506 0 -1 1077944384 1733 0 0 0 40 0 0 0 20 0 15 0 446187101 15514783744 50960 33554432000 4194304 4196468 140734445376896 139910684010912 139911816345301 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32763904 140734445384687 140734445384858 140734445384858 140734445387727 0
[pid=27716/tid=27729] ppid=27714 vsize=15151156 memory=30745 CPUtime=0 cores=1,3,5,7
/proc/27716/task/27729/stat : 27729 (java) S 27714 27714 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446187101 15514783744 50960 33554432000 4194304 4196468 140734445376896 139910682962144 139911816345301 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32763904 140734445384687 140734445384858 140734445384858 140734445387727 0
[pid=27716/tid=27730] ppid=27714 vsize=15151156 memory=1477 CPUtime=0 cores=1,3,5,7
/proc/27716/task/27730/stat : 27730 (java) S 27714 27714 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446187102 15514783744 50960 33554432000 4194304 4196468 140734445376896 139910681910448 139911816346242 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32763904 140734445384687 140734445384858 140734445384858 140734445387727 0
Current children cumulated CPU time: 1.73 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 205288 KiB
[startup+1.5042 s]
/proc/loadavg: 8.21 8.43 8.40 9/234 27731
/proc/meminfo: memFree=31106388/32770624 swapFree=66977068/67108860
[pid=27714] ppid=27711 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/27714/stat : 27714 (xcsp3-exec) S 27711 27714 21506 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 446187095 115843072 362 33554432000 4194304 5098028 140724680704448 140724680702552 139922422571644 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 22179840 140724680713082 140724680713325 140724680713325 140724680716234 0
/proc/27714/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
/proc/27714/stat : 27714 (xcsp3-exec) S 27711 27714 21506 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 446187095 115843072 362 33554432000 4194304 5098028 140724680704448 140724680702552 139922422571644 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 22179840 140724680713082 140724680713325 140724680713325 140724680716234 0
/proc/27714/statm: 28282 362 304 221 0 87 0
[pid=27716] ppid=27714 vsize=15489168 memory=596876 CPUtime=11.37 cores=1,3,5,7
/proc/27716/stat : 27716 (java) S 27714 27714 21506 0 -1 1077944320 25959 0 0 0 1094 43 0 0 20 0 19 0 446187096 15860908032 149219 33554432000 4194304 4196468 140734445376896 140734445359440 139911816335095 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 32763904 140734445384687 140734445384858 140734445384858 140734445387727 0
/proc/27716/statm: 3872292 149219 3535 1 0 3833392 0
[pid=27716/tid=27717] ppid=27714 vsize=15489168 memory=351 CPUtime=0.81 cores=1,3,5,7
/proc/27716/task/27717/stat : 27717 (java) S 27714 27714 21506 0 -1 1077944384 9259 0 0 0 76 5 0 0 20 0 19 0 446187096 15860908032 149219 33554432000 4194304 4196468 140734445376896 139911820575872 139911816345301 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32763904 140734445384687 140734445384858 140734445384858 140734445387727 0
[pid=27716/tid=27718] ppid=27714 vsize=15489168 memory=279245888989520 CPUtime=0.39 cores=1,3,5,7
/proc/27716/task/27718/stat : 27718 (java) S 27714 27714 21506 0 -1 1077944384 250 0 0 0 32 7 0 0 20 0 19 0 446187097 15860908032 149219 33554432000 4194304 4196468 140734445376896 139911408495248 139911816345301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32763904 140734445384687 140734445384858 140734445384858 140734445387727 0
[pid=27716/tid=27719] ppid=27714 vsize=15489168 memory=288230574492221466 CPUtime=0.4 cores=1,3,5,7
/proc/27716/task/27719/stat : 27719 (java) S 27714 27714 21506 0 -1 1077944384 256 0 0 0 32 8 0 0 20 0 19 0 446187097 15860908032 149219 33554432000 4194304 4196468 140734445376896 139911407442448 139911816345301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32763904 140734445384687 140734445384858 140734445384858 140734445387727 0
[pid=27716/tid=27720] ppid=27714 vsize=15489168 memory=301741416391115062 CPUtime=0.39 cores=1,3,5,7
/proc/27716/task/27720/stat : 27720 (java) S 27714 27714 21506 0 -1 1077944384 419 0 0 0 32 7 0 0 20 0 19 0 446187097 15860908032 149219 33554432000 4194304 4196468 140734445376896 139911406389648 139911816345301 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32763904 140734445384687 140734445384858 140734445384858 140734445387727 0
[pid=27716/tid=27721] ppid=27714 vsize=15489168 memory=15252640887999028 CPUtime=0.41 cores=1,3,5,7
/proc/27716/task/27721/stat : 27721 (java) S 27714 27714 21506 0 -1 1077944384 530 0 0 0 33 8 0 0 20 0 19 0 446187097 15860908032 149219 33554432000 4194304 4196468 140734445376896 139911405336848 139911816345301 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32763904 140734445384687 140734445384858 140734445384858 140734445387727 0
[pid=27716/tid=27722] ppid=27714 vsize=15489168 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/27716/task/27722/stat : 27722 (java) S 27714 27714 21506 0 -1 1077944384 446 0 0 0 2 0 0 0 20 0 19 0 446187098 15860908032 149219 33554432000 4194304 4196468 140734445376896 139910690331504 139911816346242 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32763904 140734445384687 140734445384858 140734445384858 140734445387727 0
[pid=27716/tid=27723] ppid=27714 vsize=15489168 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27716/task/27723/stat : 27723 (java) S 27714 27714 21506 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 19 0 446187099 15860908032 149219 33554432000 4194304 4196468 140734445376896 139910689277536 139911816345301 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32763904 140734445384687 140734445384858 140734445384858 140734445387727 0
[pid=27716/tid=27724] ppid=27714 vsize=15489168 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27716/task/27724/stat : 27724 (java) S 27714 27714 21506 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 446187099 15860908032 149219 33554432000 4194304 4196468 140734445376896 139910688224640 139911816345301 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32763904 140734445384687 140734445384858 140734445384858 140734445387727 0
[pid=27716/tid=27725] ppid=27714 vsize=15489168 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27716/task/27725/stat : 27725 (java) S 27714 27714 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446187101 15860908032 149219 33554432000 4194304 4196468 140734445376896 139910687172944 139911816353691 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32763904 140734445384687 140734445384858 140734445384858 140734445387727 0
[pid=27716/tid=27726] ppid=27714 vsize=15489168 memory=0 CPUtime=1.87 cores=1,3,5,7
/proc/27716/task/27726/stat : 27726 (java) R 27714 27714 21506 0 -1 4202560 4880 0 0 0 186 1 0 0 20 0 19 0 446187101 15860908032 149219 33554432000 4194304 4196468 140734445376896 139910686106184 139911797878818 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32763904 140734445384687 140734445384858 140734445384858 140734445387727 0
[pid=27716/tid=27727] ppid=27714 vsize=15489168 memory=0 CPUtime=1.85 cores=1,3,5,7
/proc/27716/task/27727/stat : 27727 (java) R 27714 27714 21506 0 -1 4202560 3292 0 0 0 184 1 0 0 20 0 19 0 446187101 15860908032 149219 33554432000 4194304 4196468 140734445376896 139910685057728 139911795988976 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32763904 140734445384687 140734445384858 140734445384858 140734445387727 0
[pid=27716/tid=27728] ppid=27714 vsize=15489168 memory=0 CPUtime=0.73 cores=1,3,5,7
/proc/27716/task/27728/stat : 27728 (java) S 27714 27714 21506 0 -1 1077944384 2982 0 0 0 73 0 0 0 20 0 19 0 446187101 15860908032 149219 33554432000 4194304 4196468 140734445376896 139910684014704 139911816346242 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32763904 140734445384687 140734445384858 140734445384858 140734445387727 0
[pid=27716/tid=27729] ppid=27714 vsize=15489168 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27716/task/27729/stat : 27729 (java) S 27714 27714 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446187101 15860908032 149219 33554432000 4194304 4196468 140734445376896 139910682962144 139911816345301 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32763904 140734445384687 140734445384858 140734445384858 140734445387727 0
[pid=27716/tid=27730] ppid=27714 vsize=15489168 memory=3978710632149314406 CPUtime=0 cores=1,3,5,7
/proc/27716/task/27730/stat : 27730 (java) S 27714 27714 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 446187102 15860908032 149219 33554432000 4194304 4196468 140734445376896 139910681910448 139911816346242 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32763904 140734445384687 140734445384858 140734445384858 140734445387727 0
Current children cumulated CPU time: 11.37 s
Current children cumulated vsize: 15602296 KiB
Current children cumulated memory: 598324 KiB
[startup+4.80119 s]
/proc/loadavg: 8.59 8.51 8.42 11/237 27887
/proc/meminfo: memFree=30939496/32770624 swapFree=66977068/67108860
[pid=27714] ppid=27711 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/27714/stat : 27714 (xcsp3-exec) S 27711 27714 21506 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 446187095 115843072 362 33554432000 4194304 5098028 140724680704448 140724680702552 139922422571644 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 22179840 140724680713082 140724680713325 140724680713325 140724680716234 0
/proc/27714/statm: 28282 362 304 221 0 87 0
[pid=27716] ppid=27714 vsize=15487052 memory=602352 CPUtime=17.55 cores=1,3,5,7
/proc/27716/stat : 27716 (java) S 27714 27714 21506 0 -1 1077944320 40809 0 0 0 1711 44 0 0 20 0 19 0 446187096 15858741248 150588 33554432000 4194304 4196468 140734445376896 140734445359440 139911816335095 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 32763904 140734445384687 140734445384858 140734445384858 140734445387727 0
/proc/27716/statm: 3871763 150588 3541 1 0 3832863 0
[pid=27716/tid=27717] ppid=27714 vsize=15487052 memory=0 CPUtime=0.82 cores=1,3,5,7
/proc/27716/task/27717/stat : 27717 (java) S 27714 27714 21506 0 -1 1077944384 9441 0 0 0 77 5 0 0 20 0 19 0 446187096 15858741248 150588 33554432000 4194304 4196468 140734445376896 139911820575872 139911816345301 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32763904 140734445384687 140734445384858 140734445384858 140734445387727 0
[pid=27716/tid=27718] ppid=27714 vsize=15487052 memory=0 CPUtime=0.39 cores=1,3,5,7
/proc/27716/task/27718/stat : 27718 (java) S 27714 27714 21506 0 -1 1077944384 250 0 0 0 32 7 0 0 20 0 19 0 446187097 15858741248 150588 33554432000 4194304 4196468 140734445376896 139911408495248 139911816345301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32763904 140734445384687 140734445384858 140734445384858 140734445387727 0
[pid=27716/tid=27719] ppid=27714 vsize=15487052 memory=0 CPUtime=0.4 cores=1,3,5,7
/proc/27716/task/27719/stat : 27719 (java) S 27714 27714 21506 0 -1 1077944384 256 0 0 0 32 8 0 0 20 0 19 0 446187097 15858741248 150588 33554432000 4194304 4196468 140734445376896 139911407442448 139911816345301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32763904 140734445384687 140734445384858 140734445384858 140734445387727 0
[pid=27716/tid=27720] ppid=27714 vsize=15487052 memory=0 CPUtime=0.39 cores=1,3,5,7
/proc/27716/task/27720/stat : 27720 (java) S 27714 27714 21506 0 -1 1077944384 419 0 0 0 32 7 0 0 20 0 19 0 446187097 15858741248 150588 33554432000 4194304 4196468 140734445376896 139911406389648 139911816345301 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32763904 140734445384687 140734445384858 140734445384858 140734445387727 0
[pid=27716/tid=27721] ppid=27714 vsize=15487052 memory=4580 CPUtime=0.41 cores=1,3,5,7
/proc/27716/task/27721/stat : 27721 (java) S 27714 27714 21506 0 -1 1077944384 530 0 0 0 33 8 0 0 20 0 19 0 446187097 15858741248 150588 33554432000 4194304 4196468 140734445376896 139911405336848 139911816345301 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32763904 140734445384687 140734445384858 140734445384858 140734445387727 0
[pid=27716/tid=27722] ppid=27714 vsize=15487052 memory=6944656592455360608 CPUtime=0.02 cores=1,3,5,7
/proc/27716/task/27722/stat : 27722 (java) S 27714 27714 21506 0 -1 1077944384 702 0 0 0 2 0 0 0 20 0 19 0 446187098 15858741248 150588 33554432000 4194304 4196468 140734445376896 139910690331504 139911816346242 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32763904 140734445384687 140734445384858 140734445384858 140734445387727 0
[pid=27716/tid=27723] ppid=27714 vsize=15487052 memory=3978710632149314406 CPUtime=0 cores=1,3,5,7
/proc/27716/task/27723/stat : 27723 (java) S 27714 27714 21506 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 19 0 446187099 15858741248 150588 33554432000 4194304 4196468 140734445376896 139910689277536 139911816345301 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32763904 140734445384687 140734445384858 140734445384858 140734445387727 0
[pid=27716/tid=27724] ppid=27714 vsize=15487052 memory=7957689449132282197 CPUtime=0 cores=1,3,5,7
/proc/27716/task/27724/stat : 27724 (java) S 27714 27714 21506 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 446187099 15858741248 150588 33554432000 4194304 4196468 140734445376896 139910688224640 139911816345301 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32763904 140734445384687 140734445384858 140734445384858 140734445387727 0
[pid=27716/tid=27725] ppid=27714 vsize=15487052 memory=7445691959692059985 CPUtime=0 cores=1,3,5,7
/proc/27716/task/27725/stat : 27725 (java) S 27714 27714 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446187101 15858741248 150588 33554432000 4194304 4196468 140734445376896 139910687172944 139911816353691 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32763904 140734445384687 140734445384858 140734445384858 140734445387727 0
[pid=27716/tid=27726] ppid=27714 vsize=15487052 memory=1448 CPUtime=2.52 cores=1,3,5,7
/proc/27716/task/27726/stat : 27726 (java) S 27714 27714 21506 0 -1 1077944384 12974 0 0 0 251 1 0 0 20 0 19 0 446187101 15858741248 150588 33554432000 4194304 4196468 140734445376896 139910686120304 139911816346242 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32763904 140734445384687 140734445384858 140734445384858 140734445387727 0
[pid=27716/tid=27727] ppid=27714 vsize=15487052 memory=15505 CPUtime=2.63 cores=1,3,5,7
/proc/27716/task/27727/stat : 27727 (java) S 27714 27714 21506 0 -1 1077944384 6567 0 0 0 262 1 0 0 20 0 19 0 446187101 15858741248 150588 33554432000 4194304 4196468 140734445376896 139910685067504 139911816346242 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32763904 140734445384687 140734445384858 140734445384858 140734445387727 0
[pid=27716/tid=27728] ppid=27714 vsize=15487052 memory=4420 CPUtime=0.79 cores=1,3,5,7
/proc/27716/task/27728/stat : 27728 (java) S 27714 27714 21506 0 -1 1077944384 3884 0 0 0 79 0 0 0 20 0 19 0 446187101 15858741248 150588 33554432000 4194304 4196468 140734445376896 139910684014704 139911816346242 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32763904 140734445384687 140734445384858 140734445384858 140734445387727 0
[pid=27716/tid=27729] ppid=27714 vsize=15487052 memory=6628 CPUtime=0 cores=1,3,5,7
/proc/27716/task/27729/stat : 27729 (java) S 27714 27714 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446187101 15858741248 150588 33554432000 4194304 4196468 140734445376896 139910682962144 139911816345301 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32763904 140734445384687 140734445384858 140734445384858 140734445387727 0
[pid=27716/tid=27730] ppid=27714 vsize=15487052 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/27716/task/27730/stat : 27730 (java) S 27714 27714 21506 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 19 0 446187102 15858741248 150588 33554432000 4194304 4196468 140734445376896 139910681910448 139911816346242 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32763904 140734445384687 140734445384858 140734445384858 140734445387727 0
Current children cumulated CPU time: 17.55 s
Current children cumulated vsize: 15600180 KiB
Current children cumulated memory: 603800 KiB
[startup+5.60819 s]
/proc/loadavg: 8.59 8.51 8.42 9/237 27899
/proc/meminfo: memFree=30936160/32770624 swapFree=66977068/67108860
[pid=27714] ppid=27711 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/27714/stat : 27714 (xcsp3-exec) S 27711 27714 21506 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 446187095 115843072 362 33554432000 4194304 5098028 140724680704448 140724680702552 139922422571644 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 22179840 140724680713082 140724680713325 140724680713325 140724680716234 0
/proc/27714/statm: 28282 362 304 221 0 87 0
[pid=27716] ppid=27714 vsize=15487052 memory=604688 CPUtime=20.74 cores=1,3,5,7
/proc/27716/stat : 27716 (java) S 27714 27714 21506 0 -1 1077944320 41349 0 0 0 2030 44 0 0 20 0 19 0 446187096 15858741248 151172 33554432000 4194304 4196468 140734445376896 140734445359440 139911816335095 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 32763904 140734445384687 140734445384858 140734445384858 140734445387727 0
/proc/27716/statm: 3871763 151172 3541 1 0 3832863 0
[pid=27716/tid=27717] ppid=27714 vsize=15487052 memory=-8253362762722141311 CPUtime=0.82 cores=1,3,5,7
/proc/27716/task/27717/stat : 27717 (java) S 27714 27714 21506 0 -1 1077944384 9447 0 0 0 77 5 0 0 20 0 19 0 446187096 15858741248 151172 33554432000 4194304 4196468 140734445376896 139911820575872 139911816345301 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32763904 140734445384687 140734445384858 140734445384858 140734445387727 0
[pid=27716/tid=27718] ppid=27714 vsize=15487052 memory=0 CPUtime=0.39 cores=1,3,5,7
/proc/27716/task/27718/stat : 27718 (java) S 27714 27714 21506 0 -1 1077944384 250 0 0 0 32 7 0 0 20 0 19 0 446187097 15858741248 151172 33554432000 4194304 4196468 140734445376896 139911408495248 139911816345301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32763904 140734445384687 140734445384858 140734445384858 140734445387727 0
[pid=27716/tid=27719] ppid=27714 vsize=15487052 memory=3620 CPUtime=0.4 cores=1,3,5,7
/proc/27716/task/27719/stat : 27719 (java) S 27714 27714 21506 0 -1 1077944384 256 0 0 0 32 8 0 0 20 0 19 0 446187097 15858741248 151172 33554432000 4194304 4196468 140734445376896 139911407442448 139911816345301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32763904 140734445384687 140734445384858 140734445384858 140734445387727 0
[pid=27716/tid=27720] ppid=27714 vsize=15487052 memory=30692 CPUtime=0.39 cores=1,3,5,7
/proc/27716/task/27720/stat : 27720 (java) S 27714 27714 21506 0 -1 1077944384 419 0 0 0 32 7 0 0 20 0 19 0 446187097 15858741248 151172 33554432000 4194304 4196468 140734445376896 139911406389648 139911816345301 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32763904 140734445384687 140734445384858 140734445384858 140734445387727 0
[pid=27716/tid=27721] ppid=27714 vsize=15487052 memory=2004 CPUtime=0.41 cores=1,3,5,7
/proc/27716/task/27721/stat : 27721 (java) S 27714 27714 21506 0 -1 1077944384 530 0 0 0 33 8 0 0 20 0 19 0 446187097 15858741248 151172 33554432000 4194304 4196468 140734445376896 139911405336848 139911816345301 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32763904 140734445384687 140734445384858 140734445384858 140734445387727 0
[pid=27716/tid=27722] ppid=27714 vsize=15487052 memory=984 CPUtime=0.02 cores=1,3,5,7
/proc/27716/task/27722/stat : 27722 (java) S 27714 27714 21506 0 -1 1077944384 702 0 0 0 2 0 0 0 20 0 19 0 446187098 15858741248 151172 33554432000 4194304 4196468 140734445376896 139910690331504 139911816346242 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32763904 140734445384687 140734445384858 140734445384858 140734445387727 0
[pid=27716/tid=27723] ppid=27714 vsize=15487052 memory=1324 CPUtime=0 cores=1,3,5,7
/proc/27716/task/27723/stat : 27723 (java) S 27714 27714 21506 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 19 0 446187099 15858741248 151172 33554432000 4194304 4196468 140734445376896 139910689277536 139911816345301 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32763904 140734445384687 140734445384858 140734445384858 140734445387727 0
[pid=27716/tid=27724] ppid=27714 vsize=15487052 memory=780 CPUtime=0 cores=1,3,5,7
/proc/27716/task/27724/stat : 27724 (java) S 27714 27714 21506 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 446187099 15858741248 151172 33554432000 4194304 4196468 140734445376896 139910688224640 139911816345301 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32763904 140734445384687 140734445384858 140734445384858 140734445387727 0
[pid=27716/tid=27725] ppid=27714 vsize=15487052 memory=4088 CPUtime=0 cores=1,3,5,7
/proc/27716/task/27725/stat : 27725 (java) S 27714 27714 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446187101 15858741248 151172 33554432000 4194304 4196468 140734445376896 139910687172944 139911816353691 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32763904 140734445384687 140734445384858 140734445384858 140734445387727 0
[pid=27716/tid=27726] ppid=27714 vsize=15487052 memory=1580 CPUtime=2.73 cores=1,3,5,7
/proc/27716/task/27726/stat : 27726 (java) S 27714 27714 21506 0 -1 1077944384 13057 0 0 0 272 1 0 0 20 0 19 0 446187101 15858741248 151172 33554432000 4194304 4196468 140734445376896 139910686120304 139911816346242 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32763904 140734445384687 140734445384858 140734445384858 140734445387727 0
[pid=27716/tid=27727] ppid=27714 vsize=15487052 memory=1028 CPUtime=2.79 cores=1,3,5,7
/proc/27716/task/27727/stat : 27727 (java) R 27714 27714 21506 0 -1 4202560 6633 0 0 0 278 1 0 0 20 0 19 0 446187101 15858741248 151172 33554432000 4194304 4196468 140734445376896 139910685067800 139911795578835 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32763904 140734445384687 140734445384858 140734445384858 140734445387727 0
[pid=27716/tid=27728] ppid=27714 vsize=15487052 memory=1060 CPUtime=0.8 cores=1,3,5,7
/proc/27716/task/27728/stat : 27728 (java) S 27714 27714 21506 0 -1 1077944384 4058 0 0 0 80 0 0 0 20 0 19 0 446187101 15858741248 151172 33554432000 4194304 4196468 140734445376896 139910684014704 139911816346242 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32763904 140734445384687 140734445384858 140734445384858 140734445387727 0
[pid=27716/tid=27729] ppid=27714 vsize=15487052 memory=2828 CPUtime=0 cores=1,3,5,7
/proc/27716/task/27729/stat : 27729 (java) S 27714 27714 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446187101 15858741248 151172 33554432000 4194304 4196468 140734445376896 139910682962144 139911816345301 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32763904 140734445384687 140734445384858 140734445384858 140734445387727 0
[pid=27716/tid=27730] ppid=27714 vsize=15487052 memory=756 CPUtime=0 cores=1,3,5,7
/proc/27716/task/27730/stat : 27730 (java) S 27714 27714 21506 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 19 0 446187102 15858741248 151172 33554432000 4194304 4196468 140734445376896 139910681910448 139911816346242 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32763904 140734445384687 140734445384858 140734445384858 140734445387727 0
Current children cumulated CPU time: 20.74 s
Current children cumulated vsize: 15600180 KiB
Current children cumulated memory: 606136 KiB
[startup+5.80119 s]
/proc/loadavg: 8.59 8.51 8.42 9/237 27899
/proc/meminfo: memFree=30936160/32770624 swapFree=66977068/67108860
[pid=27714] ppid=27711 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/27714/stat : 27714 (xcsp3-exec) S 27711 27714 21506 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 446187095 115843072 362 33554432000 4194304 5098028 140724680704448 140724680702552 139922422571644 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 22179840 140724680713082 140724680713325 140724680713325 140724680716234 0
/proc/27714/statm: 28282 362 304 221 0 87 0
[pid=27716] ppid=27714 vsize=15487052 memory=604704 CPUtime=21.51 cores=1,3,5,7
/proc/27716/stat : 27716 (java) S 27714 27714 21506 0 -1 1077944320 41359 0 0 0 2107 44 0 0 20 0 19 0 446187096 15858741248 151176 33554432000 4194304 4196468 140734445376896 140734445359440 139911816335095 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 32763904 140734445384687 140734445384858 140734445384858 140734445387727 0
/proc/27716/statm: 3871763 151176 3541 1 0 3832863 0
[pid=27716/tid=27717] ppid=27714 vsize=15487052 memory=6791534058613427641 CPUtime=0.82 cores=1,3,5,7
/proc/27716/task/27717/stat : 27717 (java) S 27714 27714 21506 0 -1 1077944384 9447 0 0 0 77 5 0 0 20 0 19 0 446187096 15858741248 151176 33554432000 4194304 4196468 140734445376896 139911820575872 139911816345301 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32763904 140734445384687 140734445384858 140734445384858 140734445387727 0
[pid=27716/tid=27718] ppid=27714 vsize=15487052 memory=9448 CPUtime=0.39 cores=1,3,5,7
/proc/27716/task/27718/stat : 27718 (java) S 27714 27714 21506 0 -1 1077944384 250 0 0 0 32 7 0 0 20 0 19 0 446187097 15858741248 151176 33554432000 4194304 4196468 140734445376896 139911408495248 139911816345301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32763904 140734445384687 140734445384858 140734445384858 140734445387727 0
[pid=27716/tid=27719] ppid=27714 vsize=15487052 memory=14008 CPUtime=0.4 cores=1,3,5,7
/proc/27716/task/27719/stat : 27719 (java) S 27714 27714 21506 0 -1 1077944384 256 0 0 0 32 8 0 0 20 0 19 0 446187097 15858741248 151176 33554432000 4194304 4196468 140734445376896 139911407442448 139911816345301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32763904 140734445384687 140734445384858 140734445384858 140734445387727 0
[pid=27716/tid=27720] ppid=27714 vsize=15487052 memory=2120 CPUtime=0.39 cores=1,3,5,7
/proc/27716/task/27720/stat : 27720 (java) S 27714 27714 21506 0 -1 1077944384 419 0 0 0 32 7 0 0 20 0 19 0 446187097 15858741248 151176 33554432000 4194304 4196468 140734445376896 139911406389648 139911816345301 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32763904 140734445384687 140734445384858 140734445384858 140734445387727 0
[pid=27716/tid=27721] ppid=27714 vsize=15487052 memory=11976 CPUtime=0.41 cores=1,3,5,7
/proc/27716/task/27721/stat : 27721 (java) S 27714 27714 21506 0 -1 1077944384 530 0 0 0 33 8 0 0 20 0 19 0 446187097 15858741248 151176 33554432000 4194304 4196468 140734445376896 139911405336848 139911816345301 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32763904 140734445384687 140734445384858 140734445384858 140734445387727 0
[pid=27716/tid=27722] ppid=27714 vsize=15487052 memory=11452 CPUtime=0.02 cores=1,3,5,7
/proc/27716/task/27722/stat : 27722 (java) S 27714 27714 21506 0 -1 1077944384 702 0 0 0 2 0 0 0 20 0 19 0 446187098 15858741248 151176 33554432000 4194304 4196468 140734445376896 139910690331504 139911816346242 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32763904 140734445384687 140734445384858 140734445384858 140734445387727 0
[pid=27716/tid=27723] ppid=27714 vsize=15487052 memory=512 CPUtime=0 cores=1,3,5,7
/proc/27716/task/27723/stat : 27723 (java) S 27714 27714 21506 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 19 0 446187099 15858741248 151176 33554432000 4194304 4196468 140734445376896 139910689277536 139911816345301 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32763904 140734445384687 140734445384858 140734445384858 140734445387727 0
[pid=27716/tid=27724] ppid=27714 vsize=15487052 memory=1564 CPUtime=0 cores=1,3,5,7
/proc/27716/task/27724/stat : 27724 (java) S 27714 27714 21506 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 446187099 15858741248 151176 33554432000 4194304 4196468 140734445376896 139910688224640 139911816345301 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32763904 140734445384687 140734445384858 140734445384858 140734445387727 0
[pid=27716/tid=27725] ppid=27714 vsize=15487052 memory=928 CPUtime=0 cores=1,3,5,7
/proc/27716/task/27725/stat : 27725 (java) S 27714 27714 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446187101 15858741248 151176 33554432000 4194304 4196468 140734445376896 139910687172944 139911816353691 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32763904 140734445384687 140734445384858 140734445384858 140734445387727 0
[pid=27716/tid=27726] ppid=27714 vsize=15487052 memory=3784 CPUtime=2.74 cores=1,3,5,7
/proc/27716/task/27726/stat : 27726 (java) S 27714 27714 21506 0 -1 1077944384 13064 0 0 0 273 1 0 0 20 0 19 0 446187101 15858741248 151176 33554432000 4194304 4196468 140734445376896 139910686120304 139911816346242 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32763904 140734445384687 140734445384858 140734445384858 140734445387727 0
[pid=27716/tid=27727] ppid=27714 vsize=15487052 memory=1440 CPUtime=2.79 cores=1,3,5,7
/proc/27716/task/27727/stat : 27727 (java) S 27714 27714 21506 0 -1 1077944384 6636 0 0 0 278 1 0 0 20 0 19 0 446187101 15858741248 151176 33554432000 4194304 4196468 140734445376896 139910685067504 139911816346242 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32763904 140734445384687 140734445384858 140734445384858 140734445387727 0
[pid=27716/tid=27728] ppid=27714 vsize=15487052 memory=904 CPUtime=0.8 cores=1,3,5,7
/proc/27716/task/27728/stat : 27728 (java) S 27714 27714 21506 0 -1 1077944384 4058 0 0 0 80 0 0 0 20 0 19 0 446187101 15858741248 151176 33554432000 4194304 4196468 140734445376896 139910684014704 139911816346242 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32763904 140734445384687 140734445384858 140734445384858 140734445387727 0
[pid=27716/tid=27729] ppid=27714 vsize=15487052 memory=1984 CPUtime=0 cores=1,3,5,7
/proc/27716/task/27729/stat : 27729 (java) S 27714 27714 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446187101 15858741248 151176 33554432000 4194304 4196468 140734445376896 139910682962144 139911816345301 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32763904 140734445384687 140734445384858 140734445384858 140734445387727 0
[pid=27716/tid=27730] ppid=27714 vsize=15487052 memory=2528 CPUtime=0 cores=1,3,5,7
/proc/27716/task/27730/stat : 27730 (java) S 27714 27714 21506 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 19 0 446187102 15858741248 151176 33554432000 4194304 4196468 140734445376896 139910681910448 139911816346242 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32763904 140734445384687 140734445384858 140734445384858 140734445387727 0
Current children cumulated CPU time: 21.51 s
Current children cumulated vsize: 15600180 KiB
Current children cumulated memory: 606152 KiB
Child status: 0
Real time (s): 5.87917
CPU time (s): 21.7668
CPU user time (s): 21.3132
CPU system time (s): 0.453569
CPU usage (%): 370.235
Max. virtual memory (cumulated for all children) (KiB): 15602424
Max. memory (cumulated for all children) (KiB): 606152
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 21.3132
system time used= 0.453569
maximum resident set size= 607432
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 42200
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= 3545
involuntary context switches= 913
# summary of solver processes directly reported to runsolver:
# pid: 27714
# total CPU time (s): 21.7668
# total CPU user time (s): 21.3132
# total CPU system time (s): 0.453569
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.063278 second user time and 0.098528 second system time
The end