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 (15017 MiB free)
memory of node 1: 16384 MiB (15616 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4270317-1502619686/watcher-4270317-1502619686 -o /tmp/evaluation-result-4270317-1502619686/solver-4270317-1502619686 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node127-1502615937-28321 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 861106226 HOME/instance-4270317-1502619686.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=30607, runsolver pid=30604
Current StackSize limit: 8192 KiB
[startup+0.100132 s]*
/proc/loadavg: 1.84 1.89 1.87 2/198 30610
/proc/meminfo: memFree=31365408/32770624 swapFree=67108860/67108860
[pid=30607] ppid=30604 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/30607/stat : 30607 (xcsp3-exec) S 30604 30607 17093 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 64161900 9740288 344 18446744073709551615 4194304 5098028 140734578875216 140734578873320 140192074064508 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 8 0 0 7196144 7232144 22667264 140734578880895 140734578881098 140734578881098 140734578884587 0
/proc/30607/statm: 2378 344 289 221 0 87 0
[pid=30609] ppid=30607 vsize=13358712 memory=16144 CPUtime=0 cores=1,3,5,7
/proc/30609/stat : 30609 (java) S 30607 30607 17093 0 -1 1077944320 3305 0 0 0 0 0 0 0 20 0 6 0 64161909 13679321088 4036 18446744073709551615 4194304 4196468 140721948472512 140721948455056 140220119453431 0 0 1 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 32149504 140721948479927 140721948480102 140721948480102 140721948483535 0
/proc/30609/statm: 3339678 4036 1894 1 0 3329175 0
[pid=30609/tid=30610] ppid=30607 vsize=13358712 memory=-8713483618642852700 CPUtime=0 cores=1,3,5,7
/proc/30609/task/30610/stat : 30610 (java) R 30607 30607 17093 0 -1 4202560 2067 0 0 0 0 0 0 0 20 0 6 0 64161910 13679321088 4036 18446744073709551615 4194304 4196468 140721948472512 140220123689552 140220105135957 0 4 1 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32149504 140721948479927 140721948480102 140721948480102 140721948483535 0
[pid=30609/tid=30611] ppid=30607 vsize=13358712 memory=-8458152057954561420 CPUtime=0 cores=1,3,5,7
/proc/30609/task/30611/stat : 30611 (java) S 30607 30607 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 64161910 13679321088 4036 18446744073709551615 4194304 4196468 140721948472512 140220080352272 140220119463637 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32149504 140721948479927 140721948480102 140721948480102 140721948483535 0
[pid=30609/tid=30612] ppid=30607 vsize=13358712 memory=139917507729024 CPUtime=0 cores=1,3,5,7
/proc/30609/task/30612/stat : 30612 (java) S 30607 30607 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 64161910 13679321088 4036 18446744073709551615 4194304 4196468 140721948472512 140219718757520 140220119463637 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32149504 140721948479927 140721948480102 140721948480102 140721948483535 0
[pid=30609/tid=30613] ppid=30607 vsize=13358712 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30609/task/30613/stat : 30613 (java) S 30607 30607 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 64161910 13679321088 4036 18446744073709551615 4194304 4196468 140721948472512 140219717704464 140220119463637 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32149504 140721948479927 140721948480102 140721948480102 140721948483535 0
[pid=30609/tid=30614] ppid=30607 vsize=13358712 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30609/task/30614/stat : 30614 (java) S 30607 30607 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 64161910 13679321088 4036 18446744073709551615 4194304 4196468 140721948472512 140219716651920 140220119463637 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32149504 140721948479927 140721948480102 140721948480102 140721948483535 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 13368224 KiB
Current children cumulated memory: 17520 KiB
[startup+0.210089 s]*
/proc/loadavg: 1.84 1.89 1.87 5/211 30623
/proc/meminfo: memFree=31352872/32770624 swapFree=67108860/67108860
[pid=30607] ppid=30604 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/30607/stat : 30607 (xcsp3-exec) S 30604 30607 17093 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 64161900 9740288 344 18446744073709551615 4194304 5098028 140734578875216 140734578873320 140192074064508 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 8 0 0 7196144 7232144 22667264 140734578880895 140734578881098 140734578881098 140734578884587 0
/proc/30607/statm: 2378 344 289 221 0 87 0
[pid=30609] ppid=30607 vsize=13974352 memory=26936 CPUtime=0.1 cores=1,3,5,7
/proc/30609/stat : 30609 (java) S 30607 30607 17093 0 -1 1077944320 5171 0 0 0 9 1 0 0 20 0 15 0 64161909 14309736448 6734 18446744073709551615 4194304 4196468 140721948472512 140721948455056 140220119453431 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 32149504 140721948479927 140721948480102 140721948480102 140721948483535 0
/proc/30609/statm: 3493588 6734 2753 1 0 3482964 0
[pid=30609/tid=30610] ppid=30607 vsize=13974352 memory=7311146985107750967 CPUtime=0.08 cores=1,3,5,7
/proc/30609/task/30610/stat : 30610 (java) R 30607 30607 17093 0 -1 4202560 3311 0 0 0 7 1 0 0 20 0 15 0 64161910 14309736448 6734 18446744073709551615 4194304 4196468 140721948472512 140220123681312 140220103533918 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 32149504 140721948479927 140721948480102 140721948480102 140721948483535 0
[pid=30609/tid=30611] ppid=30607 vsize=13974352 memory=13729 CPUtime=0 cores=1,3,5,7
/proc/30609/task/30611/stat : 30611 (java) S 30607 30607 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64161910 14309736448 6734 18446744073709551615 4194304 4196468 140721948472512 140220080352272 140220119463637 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32149504 140721948479927 140721948480102 140721948480102 140721948483535 0
[pid=30609/tid=30612] ppid=30607 vsize=13974352 memory=139917507756635 CPUtime=0 cores=1,3,5,7
/proc/30609/task/30612/stat : 30612 (java) S 30607 30607 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64161910 14309736448 6734 18446744073709551615 4194304 4196468 140721948472512 140219718757520 140220119463637 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32149504 140721948479927 140721948480102 140721948480102 140721948483535 0
[pid=30609/tid=30613] ppid=30607 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30609/task/30613/stat : 30613 (java) S 30607 30607 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64161910 14309736448 6734 18446744073709551615 4194304 4196468 140721948472512 140219717704464 140220119463637 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32149504 140721948479927 140721948480102 140721948480102 140721948483535 0
[pid=30609/tid=30614] ppid=30607 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30609/task/30614/stat : 30614 (java) S 30607 30607 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64161910 14309736448 6734 18446744073709551615 4194304 4196468 140721948472512 140219716651920 140220119463637 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32149504 140721948479927 140721948480102 140721948480102 140721948483535 0
[pid=30609/tid=30615] ppid=30607 vsize=13974352 memory=139917507729024 CPUtime=0 cores=1,3,5,7
/proc/30609/task/30615/stat : 30615 (java) S 30607 30607 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64161912 14309736448 6734 18446744073709551615 4194304 4196468 140721948472512 140219597666544 140220119464578 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32149504 140721948479927 140721948480102 140721948480102 140721948483535 0
[pid=30609/tid=30616] ppid=30607 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30609/task/30616/stat : 30616 (java) S 30607 30607 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 64161912 14309736448 6734 18446744073709551615 4194304 4196468 140721948472512 140219596612768 140220119463637 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32149504 140721948479927 140721948480102 140721948480102 140721948483535 0
[pid=30609/tid=30617] ppid=30607 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30609/task/30617/stat : 30617 (java) S 30607 30607 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 64161912 14309736448 6734 18446744073709551615 4194304 4196468 140721948472512 140219595559664 140220119463637 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32149504 140721948479927 140721948480102 140721948480102 140721948483535 0
[pid=30609/tid=30618] ppid=30607 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30609/task/30618/stat : 30618 (java) S 30607 30607 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64161915 14309736448 6734 18446744073709551615 4194304 4196468 140721948472512 140219594508240 140220119472027 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32149504 140721948479927 140721948480102 140721948480102 140721948483535 0
[pid=30609/tid=30619] ppid=30607 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30609/task/30619/stat : 30619 (java) S 30607 30607 17093 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 15 0 64161915 14309736448 6734 18446744073709551615 4194304 4196468 140721948472512 140219593456368 140220119464578 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32149504 140721948479927 140721948480102 140721948480102 140721948483535 0
[pid=30609/tid=30620] ppid=30607 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30609/task/30620/stat : 30620 (java) S 30607 30607 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64161915 14309736448 6734 18446744073709551615 4194304 4196468 140721948472512 140219592403824 140220119464578 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32149504 140721948479927 140721948480102 140721948480102 140721948483535 0
[pid=30609/tid=30621] ppid=30607 vsize=13974352 memory=139917507729024 CPUtime=0 cores=1,3,5,7
/proc/30609/task/30621/stat : 30621 (java) S 30607 30607 17093 0 -1 1077944384 256 0 0 0 0 0 0 0 20 0 15 0 64161915 14309736448 6734 18446744073709551615 4194304 4196468 140721948472512 140219591350768 140220119464578 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32149504 140721948479927 140721948480102 140721948480102 140721948483535 0
[pid=30609/tid=30622] ppid=30607 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30609/task/30622/stat : 30622 (java) S 30607 30607 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64161915 14309736448 6734 18446744073709551615 4194304 4196468 140721948472512 140219590298464 140220119463637 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32149504 140721948479927 140721948480102 140721948480102 140721948483535 0
[pid=30609/tid=30623] ppid=30607 vsize=13974352 memory=139917507729024 CPUtime=0 cores=1,3,5,7
/proc/30609/task/30623/stat : 30623 (java) S 30607 30607 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64161918 14309736448 6734 18446744073709551615 4194304 4196468 140721948472512 140219589245488 140220119464578 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32149504 140721948479927 140721948480102 140721948480102 140721948483535 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 28312 KiB
[startup+0.31028 s]*
/proc/loadavg: 1.84 1.89 1.87 4/211 30623
/proc/meminfo: memFree=31341184/32770624 swapFree=67108860/67108860
[pid=30607] ppid=30604 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/30607/stat : 30607 (xcsp3-exec) S 30604 30607 17093 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 64161900 9740288 344 18446744073709551615 4194304 5098028 140734578875216 140734578873320 140192074064508 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 8 0 0 7196144 7232144 22667264 140734578880895 140734578881098 140734578881098 140734578884587 0
/proc/30607/statm: 2378 344 289 221 0 87 0
[pid=30609] ppid=30607 vsize=13974352 memory=39668 CPUtime=0.31 cores=1,3,5,7
/proc/30609/stat : 30609 (java) S 30607 30607 17093 0 -1 1077944320 9022 0 0 0 28 3 0 0 20 0 15 0 64161909 14309736448 9917 18446744073709551615 4194304 4196468 140721948472512 140721948455056 140220119453431 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 32149504 140721948479927 140721948480102 140721948480102 140721948483535 0
/proc/30609/statm: 3493588 9917 3021 1 0 3482964 0
[pid=30609/tid=30610] ppid=30607 vsize=13974352 memory=-8774313645642428999 CPUtime=0.18 cores=1,3,5,7
/proc/30609/task/30610/stat : 30610 (java) R 30607 30607 17093 0 -1 4202560 6103 0 0 0 16 2 0 0 20 0 15 0 64161910 14309736448 9917 18446744073709551615 4194304 4196468 140721948472512 140220123687376 140220103533918 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 32149504 140721948479927 140721948480102 140721948480102 140721948483535 0
[pid=30609/tid=30611] ppid=30607 vsize=13974352 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/30609/task/30611/stat : 30611 (java) S 30607 30607 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64161910 14309736448 9917 18446744073709551615 4194304 4196468 140721948472512 140220080352272 140220119463637 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32149504 140721948479927 140721948480102 140721948480102 140721948483535 0
[pid=30609/tid=30612] ppid=30607 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30609/task/30612/stat : 30612 (java) S 30607 30607 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64161910 14309736448 9917 18446744073709551615 4194304 4196468 140721948472512 140219718757520 140220119463637 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32149504 140721948479927 140721948480102 140721948480102 140721948483535 0
[pid=30609/tid=30613] ppid=30607 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30609/task/30613/stat : 30613 (java) S 30607 30607 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64161910 14309736448 9917 18446744073709551615 4194304 4196468 140721948472512 140219717704464 140220119463637 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32149504 140721948479927 140721948480102 140721948480102 140721948483535 0
[pid=30609/tid=30614] ppid=30607 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30609/task/30614/stat : 30614 (java) S 30607 30607 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64161910 14309736448 9917 18446744073709551615 4194304 4196468 140721948472512 140219716651920 140220119463637 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32149504 140721948479927 140721948480102 140721948480102 140721948483535 0
[pid=30609/tid=30615] ppid=30607 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30609/task/30615/stat : 30615 (java) S 30607 30607 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64161912 14309736448 9917 18446744073709551615 4194304 4196468 140721948472512 140219597666544 140220119464578 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32149504 140721948479927 140721948480102 140721948480102 140721948483535 0
[pid=30609/tid=30616] ppid=30607 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30609/task/30616/stat : 30616 (java) S 30607 30607 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 64161912 14309736448 9917 18446744073709551615 4194304 4196468 140721948472512 140219596612768 140220119463637 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32149504 140721948479927 140721948480102 140721948480102 140721948483535 0
[pid=30609/tid=30617] ppid=30607 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30609/task/30617/stat : 30617 (java) S 30607 30607 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 64161912 14309736448 9917 18446744073709551615 4194304 4196468 140721948472512 140219595559664 140220119463637 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32149504 140721948479927 140721948480102 140721948480102 140721948483535 0
[pid=30609/tid=30618] ppid=30607 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30609/task/30618/stat : 30618 (java) S 30607 30607 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64161915 14309736448 9917 18446744073709551615 4194304 4196468 140721948472512 140219594508240 140220119472027 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32149504 140721948479927 140721948480102 140721948480102 140721948483535 0
[pid=30609/tid=30619] ppid=30607 vsize=13974352 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/30609/task/30619/stat : 30619 (java) S 30607 30607 17093 0 -1 1077944384 523 0 0 0 2 0 0 0 20 0 15 0 64161915 14309736448 9917 18446744073709551615 4194304 4196468 140721948472512 140219593456368 140220119464578 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32149504 140721948479927 140721948480102 140721948480102 140721948483535 0
[pid=30609/tid=30620] ppid=30607 vsize=13974352 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/30609/task/30620/stat : 30620 (java) R 30607 30607 17093 0 -1 4202560 344 0 0 0 2 0 0 0 20 0 15 0 64161915 14309736448 9917 18446744073709551615 4194304 4196468 140721948472512 140219592403824 140220119474778 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32149504 140721948479927 140721948480102 140721948480102 140721948483535 0
[pid=30609/tid=30621] ppid=30607 vsize=13974352 memory=139917507729024 CPUtime=0.06 cores=1,3,5,7
/proc/30609/task/30621/stat : 30621 (java) R 30607 30607 17093 0 -1 4202560 750 0 0 0 6 0 0 0 20 0 15 0 64161915 14309736448 9917 18446744073709551615 4194304 4196468 140721948472512 140219591348560 140220119463637 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32149504 140721948479927 140721948480102 140721948480102 140721948483535 0
[pid=30609/tid=30622] ppid=30607 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30609/task/30622/stat : 30622 (java) S 30607 30607 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64161915 14309736448 9917 18446744073709551615 4194304 4196468 140721948472512 140219590298464 140220119463637 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32149504 140721948479927 140721948480102 140721948480102 140721948483535 0
[pid=30609/tid=30623] ppid=30607 vsize=13974352 memory=139917507729024 CPUtime=0 cores=1,3,5,7
/proc/30609/task/30623/stat : 30623 (java) S 30607 30607 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64161918 14309736448 9917 18446744073709551615 4194304 4196468 140721948472512 140219589245488 140220119464578 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32149504 140721948479927 140721948480102 140721948480102 140721948483535 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 41044 KiB
[startup+0.701192 s]
/proc/loadavg: 1.84 1.89 1.87 5/211 30623
/proc/meminfo: memFree=31329984/32770624 swapFree=67108860/67108860
[pid=30607] ppid=30604 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/30607/stat : 30607 (xcsp3-exec) S 30604 30607 17093 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 64161900 9740288 344 18446744073709551615 4194304 5098028 140734578875216 140734578873320 140192074064508 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 8 0 0 7196144 7232144 22667264 140734578880895 140734578881098 140734578881098 140734578884587 0
/proc/30607/statm: 2378 344 289 221 0 87 0
[pid=30609] ppid=30607 vsize=13980732 memory=69696 CPUtime=1.26 cores=1,3,5,7
/proc/30609/stat : 30609 (java) S 30607 30607 17093 0 -1 1077944320 14001 0 0 0 121 5 0 0 20 0 15 0 64161909 14316269568 17424 18446744073709551615 4194304 4196468 140721948472512 140721948455056 140220119453431 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 32149504 140721948479927 140721948480102 140721948480102 140721948483535 0
/proc/30609/statm: 3495183 17424 3166 1 0 3483476 0
[pid=30609/tid=30610] ppid=30607 vsize=13980732 memory=0 CPUtime=0.55 cores=1,3,5,7
/proc/30609/task/30610/stat : 30610 (java) R 30607 30607 17093 0 -1 4202560 8471 0 0 0 52 3 0 0 20 0 15 0 64161910 14316269568 17424 18446744073709551615 4194304 4196468 140721948472512 140220123689440 140219763018946 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 32149504 140721948479927 140721948480102 140721948480102 140721948483535 0
[pid=30609/tid=30611] ppid=30607 vsize=13980732 memory=139917351070705 CPUtime=0 cores=1,3,5,7
/proc/30609/task/30611/stat : 30611 (java) S 30607 30607 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64161910 14316269568 17424 18446744073709551615 4194304 4196468 140721948472512 140220080352272 140220119463637 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32149504 140721948479927 140721948480102 140721948480102 140721948483535 0
[pid=30609/tid=30612] ppid=30607 vsize=13980732 memory=279834702454944 CPUtime=0 cores=1,3,5,7
/proc/30609/task/30612/stat : 30612 (java) S 30607 30607 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64161910 14316269568 17424 18446744073709551615 4194304 4196468 140721948472512 140219718757520 140220119463637 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32149504 140721948479927 140721948480102 140721948480102 140721948483535 0
[pid=30609/tid=30613] ppid=30607 vsize=13980732 memory=279834701996504 CPUtime=0 cores=1,3,5,7
/proc/30609/task/30613/stat : 30613 (java) S 30607 30607 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64161910 14316269568 17424 18446744073709551615 4194304 4196468 140721948472512 140219717704464 140220119463637 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32149504 140721948479927 140721948480102 140721948480102 140721948483535 0
[pid=30609/tid=30614] ppid=30607 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30609/task/30614/stat : 30614 (java) S 30607 30607 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64161910 14316269568 17424 18446744073709551615 4194304 4196468 140721948472512 140219716651920 140220119463637 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32149504 140721948479927 140721948480102 140721948480102 140721948483535 0
[pid=30609/tid=30615] ppid=30607 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30609/task/30615/stat : 30615 (java) S 30607 30607 17093 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 64161912 14316269568 17424 18446744073709551615 4194304 4196468 140721948472512 140219597666544 140220119464578 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32149504 140721948479927 140721948480102 140721948480102 140721948483535 0
[pid=30609/tid=30616] ppid=30607 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30609/task/30616/stat : 30616 (java) S 30607 30607 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 64161912 14316269568 17424 18446744073709551615 4194304 4196468 140721948472512 140219596612768 140220119463637 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32149504 140721948479927 140721948480102 140721948480102 140721948483535 0
[pid=30609/tid=30617] ppid=30607 vsize=13980732 memory=290 CPUtime=0 cores=1,3,5,7
/proc/30609/task/30617/stat : 30617 (java) S 30607 30607 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 64161912 14316269568 17424 18446744073709551615 4194304 4196468 140721948472512 140219595559664 140220119463637 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32149504 140721948479927 140721948480102 140721948480102 140721948483535 0
[pid=30609/tid=30618] ppid=30607 vsize=13980732 memory=823 CPUtime=0 cores=1,3,5,7
/proc/30609/task/30618/stat : 30618 (java) S 30607 30607 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64161915 14316269568 17424 18446744073709551615 4194304 4196468 140721948472512 140219594508240 140220119472027 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32149504 140721948479927 140721948480102 140721948480102 140721948483535 0
[pid=30609/tid=30619] ppid=30607 vsize=13980732 memory=53 CPUtime=0.18 cores=1,3,5,7
/proc/30609/task/30619/stat : 30619 (java) R 30607 30607 17093 0 -1 4202560 1288 0 0 0 18 0 0 0 20 0 15 0 64161915 14316269568 17424 18446744073709551615 4194304 4196468 140721948472512 140219593445728 140220111742880 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 32149504 140721948479927 140721948480102 140721948480102 140721948483535 0
[pid=30609/tid=30620] ppid=30607 vsize=13980732 memory=0 CPUtime=0.2 cores=1,3,5,7
/proc/30609/task/30620/stat : 30620 (java) R 30607 30607 17093 0 -1 4202560 1204 0 0 0 20 0 0 0 20 0 15 0 64161915 14316269568 17424 18446744073709551615 4194304 4196468 140721948472512 140219592395152 140220098670792 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32149504 140721948479927 140721948480102 140721948480102 140721948483535 0
[pid=30609/tid=30621] ppid=30607 vsize=13980732 memory=102 CPUtime=0.28 cores=1,3,5,7
/proc/30609/task/30621/stat : 30621 (java) R 30607 30607 17093 0 -1 4202560 1733 0 0 0 28 0 0 0 20 0 15 0 64161915 14316269568 17424 18446744073709551615 4194304 4196468 140721948472512 140219591350768 140220099168246 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32149504 140721948479927 140721948480102 140721948480102 140721948483535 0
[pid=30609/tid=30622] ppid=30607 vsize=13980732 memory=219 CPUtime=0 cores=1,3,5,7
/proc/30609/task/30622/stat : 30622 (java) S 30607 30607 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64161915 14316269568 17424 18446744073709551615 4194304 4196468 140721948472512 140219590298464 140220119463637 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32149504 140721948479927 140721948480102 140721948480102 140721948483535 0
[pid=30609/tid=30623] ppid=30607 vsize=13980732 memory=4 CPUtime=0 cores=1,3,5,7
/proc/30609/task/30623/stat : 30623 (java) S 30607 30607 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64161918 14316269568 17424 18446744073709551615 4194304 4196468 140721948472512 140219589245488 140220119464578 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32149504 140721948479927 140721948480102 140721948480102 140721948483535 0
Current children cumulated CPU time: 1.26 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 71072 KiB
[startup+1.50083 s]
/proc/loadavg: 1.84 1.89 1.87 5/211 30623
/proc/meminfo: memFree=31302072/32770624 swapFree=67108860/67108860
[pid=30607] ppid=30604 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/30607/stat : 30607 (xcsp3-exec) S 30604 30607 17093 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 64161900 9740288 344 18446744073709551615 4194304 5098028 140734578875216 140734578873320 140192074064508 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 8 0 0 7196144 7232144 22667264 140734578880895 140734578881098 140734578881098 140734578884587 0
/proc/30607/statm: 2378 344 289 221 0 87 0
[pid=30609] ppid=30607 vsize=13980732 memory=92820 CPUtime=3.66 cores=1,3,5,7
/proc/30609/stat : 30609 (java) S 30607 30607 17093 0 -1 1077944320 22495 0 0 0 360 6 0 0 20 0 15 0 64161909 14316269568 23205 18446744073709551615 4194304 4196468 140721948472512 140721948455056 140220119453431 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 32149504 140721948479927 140721948480102 140721948480102 140721948483535 0
/proc/30609/statm: 3495183 23205 3191 1 0 3483476 0
[pid=30609/tid=30610] ppid=30607 vsize=13980732 memory=0 CPUtime=1.36 cores=1,3,5,7
/proc/30609/task/30610/stat : 30610 (java) R 30607 30607 17093 0 -1 4202560 9676 0 0 0 132 4 0 0 20 0 15 0 64161910 14316269568 23205 18446744073709551615 4194304 4196468 140721948472512 140220123691600 140220119465366 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 32149504 140721948479927 140721948480102 140721948480102 140721948483535 0
[pid=30609/tid=30611] ppid=30607 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30609/task/30611/stat : 30611 (java) S 30607 30607 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64161910 14316269568 23205 18446744073709551615 4194304 4196468 140721948472512 140220080352272 140220119463637 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32149504 140721948479927 140721948480102 140721948480102 140721948483535 0
[pid=30609/tid=30612] ppid=30607 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30609/task/30612/stat : 30612 (java) S 30607 30607 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64161910 14316269568 23205 18446744073709551615 4194304 4196468 140721948472512 140219718757520 140220119463637 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32149504 140721948479927 140721948480102 140721948480102 140721948483535 0
[pid=30609/tid=30613] ppid=30607 vsize=13980732 memory=1399103955520229747 CPUtime=0 cores=1,3,5,7
/proc/30609/task/30613/stat : 30613 (java) S 30607 30607 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64161910 14316269568 23205 18446744073709551615 4194304 4196468 140721948472512 140219717704464 140220119463637 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32149504 140721948479927 140721948480102 140721948480102 140721948483535 0
[pid=30609/tid=30614] ppid=30607 vsize=13980732 memory=279834701932800 CPUtime=0 cores=1,3,5,7
/proc/30609/task/30614/stat : 30614 (java) S 30607 30607 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64161910 14316269568 23205 18446744073709551615 4194304 4196468 140721948472512 140219716651920 140220119463637 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32149504 140721948479927 140721948480102 140721948480102 140721948483535 0
[pid=30609/tid=30615] ppid=30607 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30609/task/30615/stat : 30615 (java) S 30607 30607 17093 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 64161912 14316269568 23205 18446744073709551615 4194304 4196468 140721948472512 140219597666544 140220119464578 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32149504 140721948479927 140721948480102 140721948480102 140721948483535 0
[pid=30609/tid=30616] ppid=30607 vsize=13980732 memory=279834701859976 CPUtime=0 cores=1,3,5,7
/proc/30609/task/30616/stat : 30616 (java) S 30607 30607 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 64161912 14316269568 23205 18446744073709551615 4194304 4196468 140721948472512 140219596612768 140220119463637 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32149504 140721948479927 140721948480102 140721948480102 140721948483535 0
[pid=30609/tid=30617] ppid=30607 vsize=13980732 memory=279834702113120 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
/proc/30609/task/30611/stat : 30611 (java) S 30607 30607 17093 0 -1 1077944384 196 0 0 0 0 0 0 0 20 0 15 0 64161910 14316269568 49019 18446744073709551615 4194304 4196468 140721948472512 140220080352272 140220119463637 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32149504 140721948479927 140721948480102 140721948480102 140721948483535 0
[pid=30609/tid=30612] ppid=30607 vsize=13980732 memory=13954 CPUtime=0 cores=1,3,5,7
/proc/30609/task/30612/stat : 30612 (java) S 30607 30607 17093 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 64161910 14316269568 49019 18446744073709551615 4194304 4196468 140721948472512 140219718757520 140220119463637 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32149504 140721948479927 140721948480102 140721948480102 140721948483535 0
[pid=30609/tid=30613] ppid=30607 vsize=13980732 memory=-8774313645642428999 CPUtime=0 cores=1,3,5,7
/proc/30609/task/30613/stat : 30613 (java) S 30607 30607 17093 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 64161910 14316269568 49019 18446744073709551615 4194304 4196468 140721948472512 140219717704464 140220119463637 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32149504 140721948479927 140721948480102 140721948480102 140721948483535 0
[pid=30609/tid=30614] ppid=30607 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30609/task/30614/stat : 30614 (java) S 30607 30607 17093 0 -1 1077944384 609 0 0 0 0 0 0 0 20 0 15 0 64161910 14316269568 49019 18446744073709551615 4194304 4196468 140721948472512 140219716651920 140220119463637 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32149504 140721948479927 140721948480102 140721948480102 140721948483535 0
[pid=30609/tid=30615] ppid=30607 vsize=13980732 memory=3184237836618755673 CPUtime=0 cores=1,3,5,7
/proc/30609/task/30615/stat : 30615 (java) S 30607 30607 17093 0 -1 1077944384 466 0 0 0 0 0 0 0 20 0 15 0 64161912 14316269568 49019 18446744073709551615 4194304 4196468 140721948472512 140219597666544 140220119464578 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32149504 140721948479927 140721948480102 140721948480102 140721948483535 0
[pid=30609/tid=30616] ppid=30607 vsize=13980732 memory=56 CPUtime=0 cores=1,3,5,7
/proc/30609/task/30616/stat : 30616 (java) S 30607 30607 17093 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 64161912 14316269568 49019 18446744073709551615 4194304 4196468 140721948472512 140219596612768 140220119463637 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32149504 140721948479927 140721948480102 140721948480102 140721948483535 0
[pid=30609/tid=30617] ppid=30607 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30609/task/30617/stat : 30617 (java) S 30607 30607 17093 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 64161912 14316269568 49019 18446744073709551615 4194304 4196468 140721948472512 140219595559664 140220119463637 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32149504 140721948479927 140721948480102 140721948480102 140721948483535 0
[pid=30609/tid=30618] ppid=30607 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30609/task/30618/stat : 30618 (java) S 30607 30607 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64161915 14316269568 49019 18446744073709551615 4194304 4196468 140721948472512 140219594508240 140220119472027 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32149504 140721948479927 140721948480102 140721948480102 140721948483535 0
[pid=30609/tid=30619] ppid=30607 vsize=13980732 memory=196064 CPUtime=1.19 cores=1,3,5,7
/proc/30609/task/30619/stat : 30619 (java) S 30607 30607 17093 0 -1 1077944384 5484 0 0 0 119 0 0 0 20 0 15 0 64161915 14316269568 49019 18446744073709551615 4194304 4196468 140721948472512 140219593456368 140220119464578 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 3 0 0 6293624 6294260 32149504 140721948479927 140721948480102 140721948480102 140721948483535 0
[pid=30609/tid=30620] ppid=30607 vsize=13980732 memory=139917351041968 CPUtime=1.17 cores=1,3,5,7
/proc/30609/task/30620/stat : 30620 (java) S 30607 30607 17093 0 -1 1077944384 5434 0 0 0 117 0 0 0 20 0 15 0 64161915 14316269568 49019 18446744073709551615 4194304 4196468 140721948472512 140219592403824 140220119464578 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32149504 140721948479927 140721948480102 140721948480102 140721948483535 0
[pid=30609/tid=30621] ppid=30607 vsize=13980732 memory=4028 CPUtime=0.52 cores=1,3,5,7
/proc/30609/task/30621/stat : 30621 (java) S 30607 30607 17093 0 -1 1077944384 3428 0 0 0 51 1 0 0 20 0 15 0 64161915 14316269568 49019 18446744073709551615 4194304 4196468 140721948472512 140219591350768 140220119464578 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 9 0 0 6293624 6294260 32149504 140721948479927 140721948480102 140721948480102 140721948483535 0
[pid=30609/tid=30622] ppid=30607 vsize=13980732 memory=36268 CPUtime=0 cores=1,3,5,7
/proc/30609/task/30622/stat : 30622 (java) S 30607 30607 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64161915 14316269568 49019 18446744073709551615 4194304 4196468 140721948472512 140219590298464 140220119463637 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32149504 140721948479927 140721948480102 140721948480102 140721948483535 0
[pid=30609/tid=30623] ppid=30607 vsize=13980732 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/30609/task/30623/stat : 30623 (java) S 30607 30607 17093 0 -1 1077944384 307 0 0 0 0 0 0 0 20 0 15 0 64161918 14316269568 49019 18446744073709551615 4194304 4196468 140721948472512 140219589245488 140220119464578 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 8 0 0 6293624 6294260 32149504 140721948479927 140721948480102 140721948480102 140721948483535 0
Current children cumulated CPU time: 9.08 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 197452 KiB
[startup+12.7007 s]
/proc/loadavg: 1.79 1.87 1.87 3/211 30623
/proc/meminfo: memFree=31186480/32770624 swapFree=67108860/67108860
[pid=30607] ppid=30604 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/30607/stat : 30607 (xcsp3-exec) S 30604 30607 17093 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 64161900 9740288 344 18446744073709551615 4194304 5098028 140734578875216 140734578873320 140192074064508 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 8 0 0 7196144 7232144 22667264 140734578880895 140734578881098 140734578881098 140734578884587 0
/proc/30607/statm: 2378 344 289 221 0 87 0
[pid=30609] ppid=30607 vsize=13980732 memory=200408 CPUtime=15.61 cores=1,3,5,7
/proc/30609/stat : 30609 (java) S 30607 30607 17093 0 -1 1077944320 30117 0 0 0 1551 10 0 0 20 0 15 0 64161909 14316269568 50102 18446744073709551615 4194304 4196468 140721948472512 140721948455056 140220119453431 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 32149504 140721948479927 140721948480102 140721948480102 140721948483535 0
/proc/30609/statm: 3495183 50102 3212 1 0 3483476 0
[pid=30609/tid=30610] ppid=30607 vsize=13980732 memory=1376 CPUtime=12.54 cores=1,3,5,7
/proc/30609/task/30610/stat : 30610 (java) R 30607 30607 17093 0 -1 4202560 11034 0 0 0 1249 5 0 0 20 0 15 0 64161910 14316269568 50102 18446744073709551615 4194304 4196468 140721948472512 140220123690224 140219764636913 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 32149504 140721948479927 140721948480102 140721948480102 140721948483535 0
[pid=30609/tid=30611] ppid=30607 vsize=13980732 memory=200364 CPUtime=0 cores=1,3,5,7
/proc/30609/task/30611/stat : 30611 (java) S 30607 30607 17093 0 -1 1077944384 198 0 0 0 0 0 0 0 20 0 15 0 64161910 14316269568 50102 18446744073709551615 4194304 4196468 140721948472512 140220080352272 140220119463637 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32149504 140721948479927 140721948480102 140721948480102 140721948483535 0
[pid=30609/tid=30612] ppid=30607 vsize=13980732 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/30609/task/30612/stat : 30612 (java) S 30607 30607 17093 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 64161910 14316269568 50102 18446744073709551615 4194304 4196468 140721948472512 140219718757520 140220119463637 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32149504 140721948479927 140721948480102 140721948480102 140721948483535 0
[pid=30609/tid=30613] ppid=30607 vsize=13980732 memory=200348 CPUtime=0 cores=1,3,5,7
/proc/30609/task/30613/stat : 30613 (java) S 30607 30607 17093 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 64161910 14316269568 50102 18446744073709551615 4194304 4196468 140721948472512 140219717704464 140220119463637 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32149504 140721948479927 140721948480102 140721948480102 140721948483535 0
[pid=30609/tid=30614] ppid=30607 vsize=13980732 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/30609/task/30614/stat : 30614 (java) S 30607 30607 17093 0 -1 1077944384 620 0 0 0 0 0 0 0 20 0 15 0 64161910 14316269568 50102 18446744073709551615 4194304 4196468 140721948472512 140219716651920 140220119463637 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32149504 140721948479927 140721948480102 140721948480102 140721948483535 0
[pid=30609/tid=30615] ppid=30607 vsize=13980732 memory=56 CPUtime=0 cores=1,3,5,7
/proc/30609/task/30615/stat : 30615 (java) S 30607 30607 17093 0 -1 1077944384 471 0 0 0 0 0 0 0 20 0 15 0 64161912 14316269568 50102 18446744073709551615 4194304 4196468 140721948472512 140219597666544 140220119464578 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32149504 140721948479927 140721948480102 140721948480102 140721948483535 0
[pid=30609/tid=30616] ppid=30607 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30609/task/30616/stat : 30616 (java) S 30607 30607 17093 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 64161912 14316269568 50102 18446744073709551615 4194304 4196468 140721948472512 140219596612768 140220119463637 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32149504 140721948479927 140721948480102 140721948480102 140721948483535 0
[pid=30609/tid=30617] ppid=30607 vsize=13980732 memory=6441361776103150439 CPUtime=0 cores=1,3,5,7
/proc/30609/task/30617/stat : 30617 (java) S 30607 30607 17093 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 64161912 14316269568 50102 18446744073709551615 4194304 4196468 140721948472512 140219595559664 140220119463637 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32149504 140721948479927 140721948480102 140721948480102 140721948483535 0
[pid=30609/tid=30618] ppid=30607 vsize=13980732 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/30609/task/30618/stat : 30618 (java) S 30607 30607 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64161915 14316269568 50102 18446744073709551615 4194304 4196468 140721948472512 140219594508240 140220119472027 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32149504 140721948479927 140721948480102 140721948480102 140721948483535 0
[pid=30609/tid=30619] ppid=30607 vsize=13980732 memory=4028 CPUtime=1.26 cores=1,3,5,7
/proc/30609/task/30619/stat : 30619 (java) S 30607 30607 17093 0 -1 1077944384 6092 0 0 0 126 0 0 0 20 0 15 0 64161915 14316269568 50102 18446744073709551615 4194304 4196468 140721948472512 140219593456368 140220119464578 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 3 0 0 6293624 6294260 32149504 140721948479927 140721948480102 140721948480102 140721948483535 0
[pid=30609/tid=30620] ppid=30607 vsize=13980732 memory=1376 CPUtime=1.21 cores=1,3,5,7
/proc/30609/task/30620/stat : 30620 (java) S 30607 30607 17093 0 -1 1077944384 6111 0 0 0 121 0 0 0 20 0 15 0 64161915 14316269568 50102 18446744073709551615 4194304 4196468 140721948472512 140219592403824 140220119464578 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32149504 140721948479927 140721948480102 140721948480102 140721948483535 0
[pid=30609/tid=30621] ppid=30607 vsize=13980732 memory=1376 CPUtime=0.53 cores=1,3,5,7
/proc/30609/task/30621/stat : 30621 (java) S 30607 30607 17093 0 -1 1077944384 3792 0 0 0 52 1 0 0 20 0 15 0 64161915 14316269568 50102 18446744073709551615 4194304 4196468 140721948472512 140219591350768 140220119464578 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 9 0 0 6293624 6294260 32149504 140721948479927 140721948480102 140721948480102 140721948483535 0
[pid=30609/tid=30622] ppid=30607 vsize=13980732 memory=200364 CPUtime=0 cores=1,3,5,7
/proc/30609/task/30622/stat : 30622 (java) S 30607 30607 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64161915 14316269568 50102 18446744073709551615 4194304 4196468 140721948472512 140219590298464 140220119463637 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32149504 140721948479927 140721948480102 140721948480102 140721948483535 0
[pid=30609/tid=30623] ppid=30607 vsize=13980732 memory=36268 CPUtime=0 cores=1,3,5,7
/proc/30609/task/30623/stat : 30623 (java) S 30607 30607 17093 0 -1 1077944384 327 0 0 0 0 0 0 0 20 0 15 0 64161918 14316269568 50102 18446744073709551615 4194304 4196468 140721948472512 140219589245488 140220119464578 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 8 0 0 6293624 6294260 32149504 140721948479927 140721948480102 140721948480102 140721948483535 0
Current children cumulated CPU time: 15.61 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 201784 KiB
[startup+25.5008 s]
/proc/loadavg: 1.77 1.87 1.87 3/211 30624
/proc/meminfo: memFree=31198268/32770624 swapFree=67108860/67108860
[pid=30607] ppid=30604 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/30607/stat : 30607 (xcsp3-exec) S 30604 30607 17093 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 64161900 9740288 344 18446744073709551615 4194304 5098028 140734578875216 140734578873320 140192074064508 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 8 0 0 7196144 7232144 22667264 140734578880895 140734578881098 140734578881098 140734578884587 0
/proc/30607/statm: 2378 344 289 221 0 87 0
[pid=30609] ppid=30607 vsize=13980732 memory=197012 CPUtime=28.6 cores=1,3,5,7
/proc/30609/stat : 30609 (java) S 30607 30607 17093 0 -1 1077944320 34741 0 0 0 2849 11 0 0 20 0 15 0 64161909 14316269568 49253 18446744073709551615 4194304 4196468 140721948472512 140721948455056 140220119453431 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 32149504 140721948479927 140721948480102 140721948480102 140721948483535 0
/proc/30609/statm: 3495183 49253 3221 1 0 3483476 0
[pid=30609/tid=30610] ppid=30607 vsize=13980732 memory=0 CPUtime=25.32 cores=1,3,5,7
/proc/30609/task/30610/stat : 30610 (java) R 30607 30607 17093 0 -1 4202560 11776 0 0 0 2527 5 0 0 20 0 15 0 64161910 14316269568 49253 18446744073709551615 4194304 4196468 140721948472512 140220123692816 140219764637270 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 32149504 140721948479927 140721948480102 140721948480102 140721948483535 0
[pid=30609/tid=30611] ppid=30607 vsize=13980732 memory=279834702534896 CPUtime=0 cores=1,3,5,7
/proc/30609/task/30611/stat : 30611 (java) S 30607 30607 17093 0 -1 1077944384 797 0 0 0 0 0 0 0 20 0 15 0 64161910 14316269568 49253 18446744073709551615 4194304 4196468 140721948472512 140220080352272 140220119463637 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32149504 140721948479927 140721948480102 140721948480102 140721948483535 0
[pid=30609/tid=30612] ppid=30607 vsize=13980732 memory=1992 CPUtime=0 cores=1,3,5,7
/proc/30609/task/30612/stat : 30612 (java) S 30607 30607 17093 0 -1 1077944384 332 0 0 0 0 0 0 0 20 0 15 0 64161910 14316269568 49253 18446744073709551615 4194304 4196468 140721948472512 140219718757520 140220119463637 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32149504 140721948479927 140721948480102 140721948480102 140721948483535 0
[pid=30609/tid=30613] ppid=30607 vsize=13980732 memory=1204 CPUtime=0 cores=1,3,5,7
/proc/30609/task/30613/stat : 30613 (java) S 30607 30607 17093 0 -1 1077944384 126 0 0 0 0 0 0 0 20 0 15 0 64161910 14316269568 49253 18446744073709551615 4194304 4196468 140721948472512 140219717704464 140220119463637 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32149504 140721948479927 140721948480102 140721948480102 140721948483535 0
[pid=30609/tid=30614] ppid=30607 vsize=13980732 memory=196984 CPUtime=0 cores=1,3,5,7
/proc/30609/task/30614/stat : 30614 (java) S 30607 30607 17093 0 -1 1077944384 689 0 0 0 0 0 0 0 20 0 15 0 64161910 14316269568 49253 18446744073709551615 4194304 4196468 140721948472512 140219716651920 140220119463637 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32149504 140721948479927 140721948480102 140721948480102 140721948483535 0
[pid=30609/tid=30615] ppid=30607 vsize=13980732 memory=4028 CPUtime=0 cores=1,3,5,7
/proc/30609/task/30615/stat : 30615 (java) S 30607 30607 17093 0 -1 1077944384 671 0 0 0 0 0 0 0 20 0 15 0 64161912 14316269568 49253 18446744073709551615 4194304 4196468 140721948472512 140219597666544 140220119464578 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32149504 140721948479927 140721948480102 140721948480102 140721948483535 0
[pid=30609/tid=30616] ppid=30607 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30609/task/30616/stat : 30616 (java) S 30607 30607 17093 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 64161912 14316269568 49253 18446744073709551615 4194304 4196468 140721948472512 140219596612768 140220119463637 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32149504 140721948479927 140721948480102 140721948480102 140721948483535 0
[pid=30609/tid=30617] ppid=30607 vsize=13980732 memory=5859293432791453776 CPUtime=0 cores=1,3,5,7
/proc/30609/task/30617/stat : 30617 (java) S 30607 30607 17093 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 64161912 14316269568 49253 18446744073709551615 4194304 4196468 140721948472512 140219595559664 140220119463637 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32149504 140721948479927 140721948480102 140721948480102 140721948483535 0
[pid=30609/tid=30618] ppid=30607 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30609/task/30618/stat : 30618 (java) S 30607 30607 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64161915 14316269568 49253 18446744073709551615 4194304 4196468 140721948472512 140219594508240 140220119472027 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32149504 140721948479927 140721948480102 140721948480102 140721948483535 0
[pid=30609/tid=30619] ppid=30607 vsize=13980732 memory=0 CPUtime=1.37 cores=1,3,5,7
/proc/30609/task/30619/stat : 30619 (java) S 30607 30607 17093 0 -1 1077944384 7513 0 0 0 137 0 0 0 20 0 15 0 64161915 14316269568 49253 18446744073709551615 4194304 4196468 140721948472512 140219593456368 140220119464578 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 3 0 0 6293624 6294260 32149504 140721948479927 140721948480102 140721948480102 140721948483535 0
[pid=30609/tid=30620] ppid=30607 vsize=13980732 memory=2248 CPUtime=1.27 cores=1,3,5,7
/proc/30609/task/30620/stat : 30620 (java) S 30607 30607 17093 0 -1 1077944384 6968 0 0 0 126 1 0 0 20 0 15 0 64161915 14316269568 49253 18446744073709551615 4194304 4196468 140721948472512 140219592403824 140220119464578 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32149504 140721948479927 140721948480102 140721948480102 140721948483535 0
[pid=30609/tid=30621] ppid=30607 vsize=13980732 memory=4300 CPUtime=0.54 cores=1,3,5,7
/proc/30609/task/30621/stat : 30621 (java) S 30607 30607 17093 0 -1 1077944384 4161 0 0 0 53 1 0 0 20 0 15 0 64161915 14316269568 49253 18446744073709551615 4194304 4196468 140721948472512 140219591350768 140220119464578 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 9 0 0 6293624 6294260 32149504 140721948479927 140721948480102 140721948480102 140721948483535 0
[pid=30609/tid=30622] ppid=30607 vsize=13980732 memory=932 CPUtime=0 cores=1,3,5,7
/proc/30609/task/30622/stat : 30622 (java) S 30607 30607 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64161915 14316269568 49253 18446744073709551615 4194304 4196468 140721948472512 140219590298464 140220119463637 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32149504 140721948479927 140721948480102 140721948480102 140721948483535 0
[pid=30609/tid=30623] ppid=30607 vsize=13980732 memory=279834702511600 CPUtime=0 cores=1,3,5,7
/proc/30609/task/30623/stat : 30623 (java) S 30607 30607 17093 0 -1 1077944384 355 0 0 0 0 0 0 0 20 0 15 0 64161918 14316269568 49253 18446744073709551615 4194304 4196468 140721948472512 140219589245488 140220119464578 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 8 0 0 6293624 6294260 32149504 140721948479927 140721948480102 140721948480102 140721948483535 0
Current children cumulated CPU time: 28.6 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 198388 KiB
[startup+25.6983 s]
# the end of solver process 30607 was just reported to runsolver
# cumulated CPU time of all completed processes: user=28.693 s, system=0.132293 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+25.6009 s]
/proc/loadavg: 1.77 1.87 1.87 3/211 30624
/proc/meminfo: memFree=31198268/32770624 swapFree=67108860/67108860
[pid=30607] ppid=30604 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/30607/stat : 30607 (xcsp3-exec) S 30604 30607 17093 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 64161900 9740288 344 18446744073709551615 4194304 5098028 140734578875216 140734578873320 140192074064508 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 8 0 0 7196144 7232144 22667264 140734578880895 140734578881098 140734578881098 140734578884587 0
/proc/30607/statm: 2378 344 289 221 0 87 0
[pid=30609] ppid=30607 vsize=13980732 memory=197012 CPUtime=28.7 cores=1,3,5,7
/proc/30609/stat : 30609 (java) S 30607 30607 17093 0 -1 1077944320 34745 0 0 0 2859 11 0 0 20 0 15 0 64161909 14316269568 49253 18446744073709551615 4194304 4196468 140721948472512 140721948455056 140220119453431 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 32149504 140721948479927 140721948480102 140721948480102 140721948483535 0
/proc/30609/statm: 3495183 49253 3221 1 0 3483476 0
[pid=30609/tid=30610] ppid=30607 vsize=13980732 memory=-8774313645642428999 CPUtime=25.42 cores=1,3,5,7
/proc/30609/task/30610/stat : 30610 (java) R 30607 30607 17093 0 -1 4202560 11780 0 0 0 2537 5 0 0 20 0 15 0 64161910 14316269568 49253 18446744073709551615 4194304 4196468 140721948472512 140220123692816 140219764637270 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 32149504 140721948479927 140721948480102 140721948480102 140721948483535 0
[pid=30609/tid=30611] ppid=30607 vsize=13980732 memory=200364 CPUtime=0 cores=1,3,5,7
/proc/30609/task/30611/stat : 30611 (java) S 30607 30607 17093 0 -1 1077944384 797 0 0 0 0 0 0 0 20 0 15 0 64161910 14316269568 49253 18446744073709551615 4194304 4196468 140721948472512 140220080352272 140220119463637 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32149504 140721948479927 140721948480102 140721948480102 140721948483535 0
[pid=30609/tid=30612] ppid=30607 vsize=13980732 memory=4028 CPUtime=0 cores=1,3,5,7
/proc/30609/task/30612/stat : 30612 (java) S 30607 30607 17093 0 -1 1077944384 332 0 0 0 0 0 0 0 20 0 15 0 64161910 14316269568 49253 18446744073709551615 4194304 4196468 140721948472512 140219718757520 140220119463637 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32149504 140721948479927 140721948480102 140721948480102 140721948483535 0
[pid=30609/tid=30613] ppid=30607 vsize=13980732 memory=36268 CPUtime=0 cores=1,3,5,7
/proc/30609/task/30613/stat : 30613 (java) S 30607 30607 17093 0 -1 1077944384 126 0 0 0 0 0 0 0 20 0 15 0 64161910 14316269568 49253 18446744073709551615 4194304 4196468 140721948472512 140219717704464 140220119463637 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32149504 140721948479927 140721948480102 140721948480102 140721948483535 0
[pid=30609/tid=30614] ppid=30607 vsize=13980732 memory=279834702747904 CPUtime=0 cores=1,3,5,7
/proc/30609/task/30614/stat : 30614 (java) S 30607 30607 17093 0 -1 1077944384 689 0 0 0 0 0 0 0 20 0 15 0 64161910 14316269568 49253 18446744073709551615 4194304 4196468 140721948472512 140219716651920 140220119463637 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32149504 140721948479927 140721948480102 140721948480102 140721948483535 0
[pid=30609/tid=30615] ppid=30607 vsize=13980732 memory=590288459381568034 CPUtime=0 cores=1,3,5,7
/proc/30609/task/30615/stat : 30615 (java) S 30607 30607 17093 0 -1 1077944384 671 0 0 0 0 0 0 0 20 0 15 0 64161912 14316269568 49253 18446744073709551615 4194304 4196468 140721948472512 140219597666544 140220119464578 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32149504 140721948479927 140721948480102 140721948480102 140721948483535 0
[pid=30609/tid=30616] ppid=30607 vsize=13980732 memory=288291060617336359 CPUtime=0 cores=1,3,5,7
/proc/30609/task/30616/stat : 30616 (java) S 30607 30607 17093 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 64161912 14316269568 49253 18446744073709551615 4194304 4196468 140721948472512 140219596612768 140220119463637 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32149504 140721948479927 140721948480102 140721948480102 140721948483535 0
[pid=30609/tid=30617] ppid=30607 vsize=13980732 memory=304028404959310293 CPUtime=0 cores=1,3,5,7
/proc/30609/task/30617/stat : 30617 (java) S 30607 30607 17093 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 64161912 14316269568 49253 18446744073709551615 4194304 4196468 140721948472512 140219595559664 140220119463637 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32149504 140721948479927 140721948480102 140721948480102 140721948483535 0
[pid=30609/tid=30618] ppid=30607 vsize=13980732 memory=7091598560232366673 CPUtime=0 cores=1,3,5,7
/proc/30609/task/30618/stat : 30618 (java) S 30607 30607 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64161915 14316269568 49253 18446744073709551615 4194304 4196468 140721948472512 140219594508240 140220119472027 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32149504 140721948479927 140721948480102 140721948480102 140721948483535 0
[pid=30609/tid=30619] ppid=30607 vsize=13980732 memory=1296 CPUtime=1.37 cores=1,3,5,7
/proc/30609/task/30619/stat : 30619 (java) S 30607 30607 17093 0 -1 1077944384 7513 0 0 0 137 0 0 0 20 0 15 0 64161915 14316269568 49253 18446744073709551615 4194304 4196468 140721948472512 140219593456368 140220119464578 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 3 0 0 6293624 6294260 32149504 140721948479927 140721948480102 140721948480102 140721948483535 0
[pid=30609/tid=30620] ppid=30607 vsize=13980732 memory=2420 CPUtime=1.27 cores=1,3,5,7
/proc/30609/task/30620/stat : 30620 (java) S 30607 30607 17093 0 -1 1077944384 6968 0 0 0 126 1 0 0 20 0 15 0 64161915 14316269568 49253 18446744073709551615 4194304 4196468 140721948472512 140219592403824 140220119464578 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32149504 140721948479927 140721948480102 140721948480102 140721948483535 0
[pid=30609/tid=30621] ppid=30607 vsize=13980732 memory=1732 CPUtime=0.54 cores=1,3,5,7
/proc/30609/task/30621/stat : 30621 (java) S 30607 30607 17093 0 -1 1077944384 4161 0 0 0 53 1 0 0 20 0 15 0 64161915 14316269568 49253 18446744073709551615 4194304 4196468 140721948472512 140219591350768 140220119464578 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 9 0 0 6293624 6294260 32149504 140721948479927 140721948480102 140721948480102 140721948483535 0
[pid=30609/tid=30622] ppid=30607 vsize=13980732 memory=5788 CPUtime=0 cores=1,3,5,7
/proc/30609/task/30622/stat : 30622 (java) S 30607 30607 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64161915 14316269568 49253 18446744073709551615 4194304 4196468 140721948472512 140219590298464 140220119463637 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32149504 140721948479927 140721948480102 140721948480102 140721948483535 0
[pid=30609/tid=30623] ppid=30607 vsize=13980732 memory=4612 CPUtime=0 cores=1,3,5,7
/proc/30609/task/30623/stat : 30623 (java) S 30607 30607 17093 0 -1 1077944384 355 0 0 0 0 0 0 0 20 0 15 0 64161918 14316269568 49253 18446744073709551615 4194304 4196468 140721948472512 140219589245488 140220119464578 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 8 0 0 6293624 6294260 32149504 140721948479927 140721948480102 140721948480102 140721948483535 0
Current children cumulated CPU time: 28.7 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 198388 KiB
Child status: 0
Real time (s): 25.6983
CPU time (s): 28.8253
CPU user time (s): 28.693
CPU system time (s): 0.132293
CPU usage (%): 112.168
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 201984
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 28.693
system time used= 0.132293
maximum resident set size= 203176
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 37343
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= 3047
involuntary context switches= 30
# summary of solver processes directly reported to runsolver:
# pid: 30607
# total CPU time (s): 28.8253
# total CPU user time (s): 28.693
# total CPU system time (s): 0.132293
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.190316 second user time and 0.254028 second system time
The end