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 (10907 MiB free)
memory of node 1: 16384 MiB (15373 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4400468-1568698033/watcher-4400468-1568698033 -o /tmp/evaluation-result-4400468-1568698033/solver-4400468-1568698033 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node127-1568694277-30438 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 1869018104 HOME/instance-4400468-1568698033.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=9982, runsolver pid=9979
Current StackSize limit: 8192 KiB
[startup+0.10057 s]*
/proc/loadavg: 9.21 8.42 8.18 7/233 9998
/proc/meminfo: memFree=26894016/32770624 swapFree=66953076/67108860
[pid=9982] ppid=9979 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/9982/stat : 9982 (xcsp3-exec) S 9979 9982 30406 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446072143 115843072 363 33554432000 4194304 5098028 140721194129856 140721194127960 139630396863100 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 37089280 140721194132346 140721194132589 140721194132589 140721194135498 0
/proc/9982/statm: 28282 363 304 221 0 87 0
[pid=9984] ppid=9982 vsize=15144776 memory=29632 CPUtime=0.13 cores=1,3,5,7
/proc/9984/stat : 9984 (java) S 9982 9982 30406 0 -1 1077944320 5829 0 0 0 12 1 0 0 20 0 15 0 446072143 15508250624 7408 33554432000 4194304 4196468 140727994571552 140727994554096 140133180886775 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23220224 140727994573807 140727994573978 140727994573978 140727994576847 0
/proc/9984/statm: 3786194 7408 3142 1 0 3748377 0
[pid=9984/tid=9985] ppid=9982 vsize=15144776 memory=576460756329985062 CPUtime=0.09 cores=1,3,5,7
/proc/9984/task/9985/stat : 9985 (java) R 9982 9982 30406 0 -1 4202560 3744 0 0 0 9 0 0 0 20 0 15 0 446072144 15508250624 7408 33554432000 4194304 4196468 140727994571552 140133185116368 140133180898710 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23220224 140727994573807 140727994573978 140727994573978 140727994576847 0
[pid=9984/tid=9986] ppid=9982 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9984/task/9986/stat : 9986 (java) S 9982 9982 30406 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446072144 15508250624 7408 33554432000 4194304 4196468 140727994571552 140133108927632 140133180896981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23220224 140727994573807 140727994573978 140727994573978 140727994576847 0
[pid=9984/tid=9987] ppid=9982 vsize=15144776 memory=288230376155018656 CPUtime=0 cores=1,3,5,7
/proc/9984/task/9987/stat : 9987 (java) S 9982 9982 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446072144 15508250624 7408 33554432000 4194304 4196468 140727994571552 140133107874832 140133180896981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23220224 140727994573807 140727994573978 140727994573978 140727994576847 0
[pid=9984/tid=9988] ppid=9982 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9984/task/9988/stat : 9988 (java) S 9982 9982 30406 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446072144 15508250624 7408 33554432000 4194304 4196468 140727994571552 140132770769808 140133180896981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23220224 140727994573807 140727994573978 140727994573978 140727994576847 0
[pid=9984/tid=9989] ppid=9982 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9984/task/9989/stat : 9989 (java) S 9982 9982 30406 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446072144 15508250624 7408 33554432000 4194304 4196468 140727994571552 140132769717008 140133180896981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23220224 140727994573807 140727994573978 140727994573978 140727994576847 0
[pid=9984/tid=9990] ppid=9982 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9984/task/9990/stat : 9990 (java) S 9982 9982 30406 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446072146 15508250624 7408 33554432000 4194304 4196468 140727994571552 140132256070000 140133180897922 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23220224 140727994573807 140727994573978 140727994573978 140727994576847 0
[pid=9984/tid=9991] ppid=9982 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9984/task/9991/stat : 9991 (java) S 9982 9982 30406 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446072146 15508250624 7408 33554432000 4194304 4196468 140727994571552 140132255015968 140133180896981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23220224 140727994573807 140727994573978 140727994573978 140727994576847 0
[pid=9984/tid=9992] ppid=9982 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9984/task/9992/stat : 9992 (java) S 9982 9982 30406 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446072146 15508250624 7408 33554432000 4194304 4196468 140727994571552 140132253963120 140133180896981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23220224 140727994573807 140727994573978 140727994573978 140727994576847 0
[pid=9984/tid=9993] ppid=9982 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9984/task/9993/stat : 9993 (java) S 9982 9982 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446072149 15508250624 7408 33554432000 4194304 4196468 140727994571552 140132252911440 140133180905371 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23220224 140727994573807 140727994573978 140727994573978 140727994576847 0
[pid=9984/tid=9994] ppid=9982 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9984/task/9994/stat : 9994 (java) S 9982 9982 30406 0 -1 1077944384 428 0 0 0 0 0 0 0 20 0 15 0 446072149 15508250624 7408 33554432000 4194304 4196468 140727994571552 140132251859824 140133180897922 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23220224 140727994573807 140727994573978 140727994573978 140727994576847 0
[pid=9984/tid=9995] ppid=9982 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9984/task/9995/stat : 9995 (java) S 9982 9982 30406 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 446072149 15508250624 7408 33554432000 4194304 4196468 140727994571552 140132250807024 140133180897922 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23220224 140727994573807 140727994573978 140727994573978 140727994576847 0
[pid=9984/tid=9996] ppid=9982 vsize=15144776 memory=139834339034752 CPUtime=0.02 cores=1,3,5,7
/proc/9984/task/9996/stat : 9996 (java) R 9982 9982 30406 0 -1 4202560 336 0 0 0 2 0 0 0 20 0 15 0 446072149 15508250624 7408 33554432000 4194304 4196468 140727994571552 140132249754224 140133180908122 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23220224 140727994573807 140727994573978 140727994573978 140727994576847 0
[pid=9984/tid=9997] ppid=9982 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9984/task/9997/stat : 9997 (java) S 9982 9982 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446072149 15508250624 7408 33554432000 4194304 4196468 140727994571552 140132248701664 140133180896981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23220224 140727994573807 140727994573978 140727994573978 140727994576847 0
[pid=9984/tid=9998] ppid=9982 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9984/task/9998/stat : 9998 (java) S 9982 9982 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446072149 15508250624 7408 33554432000 4194304 4196468 140727994571552 140132247648944 140133180897922 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23220224 140727994573807 140727994573978 140727994573978 140727994576847 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 31084 KiB
[startup+0.210799 s]*
/proc/loadavg: 9.21 8.42 8.18 7/233 9998
/proc/meminfo: memFree=26881932/32770624 swapFree=66953076/67108860
[pid=9982] ppid=9979 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/9982/stat : 9982 (xcsp3-exec) S 9979 9982 30406 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446072143 115843072 363 33554432000 4194304 5098028 140721194129856 140721194127960 139630396863100 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 37089280 140721194132346 140721194132589 140721194132589 140721194135498 0
/proc/9982/statm: 28282 363 304 221 0 87 0
[pid=9984] ppid=9982 vsize=15144776 memory=40464 CPUtime=0.34 cores=1,3,5,7
/proc/9984/stat : 9984 (java) S 9982 9982 30406 0 -1 1077944320 9344 0 0 0 31 3 0 0 20 0 15 0 446072143 15508250624 10116 33554432000 4194304 4196468 140727994571552 140727994554096 140133180886775 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23220224 140727994573807 140727994573978 140727994573978 140727994576847 0
/proc/9984/statm: 3786194 10116 3309 1 0 3748377 0
[pid=9984/tid=9985] ppid=9982 vsize=15144776 memory=7022364632946311227 CPUtime=0.2 cores=1,3,5,7
/proc/9984/task/9985/stat : 9985 (java) S 9982 9982 30406 0 -1 1077944384 6644 0 0 0 18 2 0 0 20 0 15 0 446072144 15508250624 10116 33554432000 4194304 4196468 140727994571552 140133185121760 140133180896981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23220224 140727994573807 140727994573978 140727994573978 140727994576847 0
[pid=9984/tid=9986] ppid=9982 vsize=15144776 memory=4296914231 CPUtime=0 cores=1,3,5,7
/proc/9984/task/9986/stat : 9986 (java) S 9982 9982 30406 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446072144 15508250624 10116 33554432000 4194304 4196468 140727994571552 140133108927632 140133180896981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23220224 140727994573807 140727994573978 140727994573978 140727994576847 0
[pid=9984/tid=9987] ppid=9982 vsize=15144776 memory=139834339059999 CPUtime=0 cores=1,3,5,7
/proc/9984/task/9987/stat : 9987 (java) S 9982 9982 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446072144 15508250624 10116 33554432000 4194304 4196468 140727994571552 140133107874832 140133180896981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23220224 140727994573807 140727994573978 140727994573978 140727994576847 0
[pid=9984/tid=9988] ppid=9982 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9984/task/9988/stat : 9988 (java) S 9982 9982 30406 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446072144 15508250624 10116 33554432000 4194304 4196468 140727994571552 140132770769808 140133180896981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23220224 140727994573807 140727994573978 140727994573978 140727994576847 0
[pid=9984/tid=9989] ppid=9982 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9984/task/9989/stat : 9989 (java) S 9982 9982 30406 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446072144 15508250624 10116 33554432000 4194304 4196468 140727994571552 140132769717008 140133180896981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23220224 140727994573807 140727994573978 140727994573978 140727994576847 0
[pid=9984/tid=9990] ppid=9982 vsize=15144776 memory=139834339034752 CPUtime=0 cores=1,3,5,7
/proc/9984/task/9990/stat : 9990 (java) S 9982 9982 30406 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 446072146 15508250624 10116 33554432000 4194304 4196468 140727994571552 140132256070000 140133180897922 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23220224 140727994573807 140727994573978 140727994573978 140727994576847 0
[pid=9984/tid=9991] ppid=9982 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9984/task/9991/stat : 9991 (java) S 9982 9982 30406 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446072146 15508250624 10116 33554432000 4194304 4196468 140727994571552 140132255015968 140133180896981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23220224 140727994573807 140727994573978 140727994573978 140727994576847 0
[pid=9984/tid=9992] ppid=9982 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9984/task/9992/stat : 9992 (java) S 9982 9982 30406 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446072146 15508250624 10116 33554432000 4194304 4196468 140727994571552 140132253963120 140133180896981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23220224 140727994573807 140727994573978 140727994573978 140727994576847 0
[pid=9984/tid=9993] ppid=9982 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9984/task/9993/stat : 9993 (java) S 9982 9982 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446072149 15508250624 10116 33554432000 4194304 4196468 140727994571552 140132252911440 140133180905371 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23220224 140727994573807 140727994573978 140727994573978 140727994576847 0
[pid=9984/tid=9994] ppid=9982 vsize=15144776 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/9984/task/9994/stat : 9994 (java) S 9982 9982 30406 0 -1 1077944384 540 0 0 0 2 0 0 0 20 0 15 0 446072149 15508250624 10116 33554432000 4194304 4196468 140727994571552 140132251859824 140133180897922 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23220224 140727994573807 140727994573978 140727994573978 140727994576847 0
[pid=9984/tid=9995] ppid=9982 vsize=15144776 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/9984/task/9995/stat : 9995 (java) S 9982 9982 30406 0 -1 1077944384 103 0 0 0 2 0 0 0 20 0 15 0 446072149 15508250624 10116 33554432000 4194304 4196468 140727994571552 140132250807024 140133180897922 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23220224 140727994573807 140727994573978 140727994573978 140727994576847 0
[pid=9984/tid=9996] ppid=9982 vsize=15144776 memory=139834339034752 CPUtime=0.08 cores=1,3,5,7
/proc/9984/task/9996/stat : 9996 (java) S 9982 9982 30406 0 -1 1077944384 763 0 0 0 8 0 0 0 20 0 15 0 446072149 15508250624 10116 33554432000 4194304 4196468 140727994571552 140132249754224 140133180897922 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23220224 140727994573807 140727994573978 140727994573978 140727994576847 0
[pid=9984/tid=9997] ppid=9982 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9984/task/9997/stat : 9997 (java) S 9982 9982 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446072149 15508250624 10116 33554432000 4194304 4196468 140727994571552 140132248701664 140133180896981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23220224 140727994573807 140727994573978 140727994573978 140727994576847 0
[pid=9984/tid=9998] ppid=9982 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9984/task/9998/stat : 9998 (java) S 9982 9982 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446072149 15508250624 10116 33554432000 4194304 4196468 140727994571552 140132247648944 140133180897922 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23220224 140727994573807 140727994573978 140727994573978 140727994576847 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 41916 KiB
[startup+0.316331 s]*
/proc/loadavg: 9.21 8.42 8.18 7/233 9998
/proc/meminfo: memFree=26874652/32770624 swapFree=66953076/67108860
[pid=9982] ppid=9979 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/9982/stat : 9982 (xcsp3-exec) S 9979 9982 30406 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446072143 115843072 363 33554432000 4194304 5098028 140721194129856 140721194127960 139630396863100 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 37089280 140721194132346 140721194132589 140721194132589 140721194135498 0
/proc/9982/statm: 28282 363 304 221 0 87 0
[pid=9984] ppid=9982 vsize=15149032 memory=50200 CPUtime=0.53 cores=1,3,5,7
/proc/9984/stat : 9984 (java) S 9982 9982 30406 0 -1 1077944320 10946 0 0 0 50 3 0 0 20 0 15 0 446072143 15512608768 12550 33554432000 4194304 4196468 140727994571552 140727994554096 140133180886775 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23220224 140727994573807 140727994573978 140727994573978 140727994576847 0
/proc/9984/statm: 3787258 12550 3358 1 0 3748377 0
[pid=9984/tid=9985] ppid=9982 vsize=15149032 memory=8317482817917895235 CPUtime=0.3 cores=1,3,5,7
/proc/9984/task/9985/stat : 9985 (java) R 9982 9982 30406 0 -1 4202560 7904 0 0 0 28 2 0 0 20 0 15 0 446072144 15512608768 12623 33554432000 4194304 4196468 140727994571552 140133185120560 140133164967262 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23220224 140727994573807 140727994573978 140727994573978 140727994576847 0
[pid=9984/tid=9986] ppid=9982 vsize=15149032 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/9984/task/9986/stat : 9986 (java) S 9982 9982 30406 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446072144 15512608768 12623 33554432000 4194304 4196468 140727994571552 140133108927632 140133180896981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23220224 140727994573807 140727994573978 140727994573978 140727994576847 0
[pid=9984/tid=9987] ppid=9982 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9984/task/9987/stat : 9987 (java) S 9982 9982 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446072144 15512608768 12623 33554432000 4194304 4196468 140727994571552 140133107874832 140133180896981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23220224 140727994573807 140727994573978 140727994573978 140727994576847 0
[pid=9984/tid=9988] ppid=9982 vsize=15149032 memory=6944656592455097440 CPUtime=0 cores=1,3,5,7
/proc/9984/task/9988/stat : 9988 (java) S 9982 9982 30406 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446072144 15512608768 12623 33554432000 4194304 4196468 140727994571552 140132770769808 140133180896981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23220224 140727994573807 140727994573978 140727994573978 140727994576847 0
[pid=9984/tid=9989] ppid=9982 vsize=15149032 memory=35809 CPUtime=0 cores=1,3,5,7
/proc/9984/task/9989/stat : 9989 (java) S 9982 9982 30406 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446072144 15512608768 12623 33554432000 4194304 4196468 140727994571552 140132769717008 140133180896981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23220224 140727994573807 140727994573978 140727994573978 140727994576847 0
[pid=9984/tid=9990] ppid=9982 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9984/task/9990/stat : 9990 (java) S 9982 9982 30406 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 446072146 15512608768 12623 33554432000 4194304 4196468 140727994571552 140132256070000 140133180897922 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23220224 140727994573807 140727994573978 140727994573978 140727994576847 0
[pid=9984/tid=9991] ppid=9982 vsize=15149032 memory=9122464004270842071 CPUtime=0 cores=1,3,5,7
/proc/9984/task/9991/stat : 9991 (java) S 9982 9982 30406 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446072146 15512608768 12623 33554432000 4194304 4196468 140727994571552 140132255015968 140133180896981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23220224 140727994573807 140727994573978 140727994573978 140727994576847 0
[pid=9984/tid=9992] ppid=9982 vsize=15149032 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/9984/task/9992/stat : 9992 (java) S 9982 9982 30406 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446072146 15512608768 12623 33554432000 4194304 4196468 140727994571552 140132253963120 140133180896981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23220224 140727994573807 140727994573978 140727994573978 140727994576847 0
[pid=9984/tid=9993] ppid=9982 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/9984/task/9993/stat : 9993 (java) S 9982 9982 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446072149 15512608768 12623 33554432000 4194304 4196468 140727994571552 140132252911440 140133180905371 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23220224 140727994573807 140727994573978 140727994573978 140727994576847 0
[pid=9984/tid=9994] ppid=9982 vsize=15149032 memory=6944652177228980320 CPUtime=0.04 cores=1,3,5,7
/proc/9984/task/9994/stat : 9994 (java) S 9982 9982 30406 0 -1 1077944384 559 0 0 0 4 0 0 0 20 0 15 0 446072149 15512608768 12623 33554432000 4194304 4196468 140727994571552 140132251859824 140133180897922 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23220224 140727994573807 140727994573978 140727994573978 140727994576847 0
[pid=9984/tid=9995] ppid=9982 vsize=15149032 memory=-6654736624941491801 CPUtime=0.05 cores=1,3,5,7
/proc/9984/task/9995/stat : 9995 (java) S 9982 9982 30406 0 -1 1077944384 252 0 0 0 5 0 0 0 20 0 15 0 446072149 15512608768 12623 33554432000 4194304 4196468 140727994571552 140132250807024 140133180897922 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23220224 140727994573807 140727994573978 140727994573978 140727994576847 0
[pid=9984/tid=9996] ppid=9982 vsize=15149032 memory=5793709814508068001 CPUtime=0.12 cores=1,3,5,7
/proc/9984/task/9996/stat : 9996 (java) S 9982 9982 30406 0 -1 1077944384 943 0 0 0 12 0 0 0 20 0 15 0 446072149 15512608768 12623 33554432000 4194304 4196468 140727994571552 140132249754224 140133180897922 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23220224 140727994573807 140727994573978 140727994573978 140727994576847 0
[pid=9984/tid=9997] ppid=9982 vsize=15149032 memory=6944656592455350634 CPUtime=0 cores=1,3,5,7
/proc/9984/task/9997/stat : 9997 (java) S 9982 9982 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446072149 15512608768 12623 33554432000 4194304 4196468 140727994571552 140132248701664 140133180896981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23220224 140727994573807 140727994573978 140727994573978 140727994576847 0
[pid=9984/tid=9998] ppid=9982 vsize=15149032 memory=-8675733323038954102 CPUtime=0 cores=1,3,5,7
/proc/9984/task/9998/stat : 9998 (java) S 9982 9982 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446072149 15512608768 12623 33554432000 4194304 4196468 140727994571552 140132247648944 140133180897922 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23220224 140727994573807 140727994573978 140727994573978 140727994576847 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51652 KiB
[startup+0.701327 s]
/proc/loadavg: 9.21 8.42 8.18 8/234 10000
/proc/meminfo: memFree=26862212/32770624 swapFree=66953076/67108860
[pid=9982] ppid=9979 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/9982/stat : 9982 (xcsp3-exec) S 9979 9982 30406 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446072143 115843072 363 33554432000 4194304 5098028 140721194129856 140721194127960 139630396863100 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 37089280 140721194132346 140721194132589 140721194132589 140721194135498 0
/proc/9982/statm: 28282 363 304 221 0 87 0
[pid=9984] ppid=9982 vsize=15151156 memory=88384 CPUtime=1.64 cores=1,3,5,7
/proc/9984/stat : 9984 (java) S 9982 9982 30406 0 -1 1077944320 15247 0 0 0 159 5 0 0 20 0 15 0 446072143 15514783744 22096 33554432000 4194304 4196468 140727994571552 140727994554096 140133180886775 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23220224 140727994573807 140727994573978 140727994573978 140727994576847 0
/proc/9984/statm: 3787789 22096 3453 1 0 3748889 0
[pid=9984/tid=9985] ppid=9982 vsize=15151156 memory=4137303382726774134 CPUtime=0.68 cores=1,3,5,7
/proc/9984/task/9985/stat : 9985 (java) R 9982 9982 30406 0 -1 4202560 9239 0 0 0 65 3 0 0 20 0 15 0 446072144 15514783744 22096 33554432000 4194304 4196468 140727994571552 140133185121136 140133165227483 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23220224 140727994573807 140727994573978 140727994573978 140727994576847 0
[pid=9984/tid=9986] ppid=9982 vsize=15151156 memory=7019257425709197167 CPUtime=0 cores=1,3,5,7
/proc/9984/task/9986/stat : 9986 (java) S 9982 9982 30406 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446072144 15514783744 22096 33554432000 4194304 4196468 140727994571552 140133108927632 140133180896981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23220224 140727994573807 140727994573978 140727994573978 140727994576847 0
[pid=9984/tid=9987] ppid=9982 vsize=15151156 memory=6940443203498692944 CPUtime=0 cores=1,3,5,7
/proc/9984/task/9987/stat : 9987 (java) S 9982 9982 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446072144 15514783744 22096 33554432000 4194304 4196468 140727994571552 140133107874832 140133180896981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23220224 140727994573807 140727994573978 140727994573978 140727994576847 0
[pid=9984/tid=9988] ppid=9982 vsize=15151156 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/9984/task/9988/stat : 9988 (java) S 9982 9982 30406 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446072144 15514783744 22096 33554432000 4194304 4196468 140727994571552 140132770769808 140133180896981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23220224 140727994573807 140727994573978 140727994573978 140727994576847 0
[pid=9984/tid=9989] ppid=9982 vsize=15151156 memory=4156 CPUtime=0 cores=1,3,5,7
/proc/9984/task/9989/stat : 9989 (java) S 9982 9982 30406 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446072144 15514783744 22096 33554432000 4194304 4196468 140727994571552 140132769717008 140133180896981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23220224 140727994573807 140727994573978 140727994573978 140727994576847 0
[pid=9984/tid=9990] ppid=9982 vsize=15151156 memory=1056 CPUtime=0 cores=1,3,5,7
/proc/9984/task/9990/stat : 9990 (java) S 9982 9982 30406 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 446072146 15514783744 22096 33554432000 4194304 4196468 140727994571552 140132256070000 140133180897922 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23220224 140727994573807 140727994573978 140727994573978 140727994576847 0
[pid=9984/tid=9991] ppid=9982 vsize=15151156 memory=1188 CPUtime=0 cores=1,3,5,7
/proc/9984/task/9991/stat : 9991 (java) S 9982 9982 30406 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446072146 15514783744 22096 33554432000 4194304 4196468 140727994571552 140132255015968 140133180896981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23220224 140727994573807 140727994573978 140727994573978 140727994576847 0
[pid=9984/tid=9992] ppid=9982 vsize=15151156 memory=1536 CPUtime=0 cores=1,3,5,7
/proc/9984/task/9992/stat : 9992 (java) S 9982 9982 30406 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446072146 15514783744 22096 33554432000 4194304 4196468 140727994571552 140132253963120 140133180896981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23220224 140727994573807 140727994573978 140727994573978 140727994576847 0
[pid=9984/tid=9993] ppid=9982 vsize=15151156 memory=9592 CPUtime=0 cores=1,3,5,7
/proc/9984/task/9993/stat : 9993 (java) S 9982 9982 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446072149 15514783744 22096 33554432000 4194304 4196468 140727994571552 140132252911440 140133180905371 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23220224 140727994573807 140727994573978 140727994573978 140727994576847 0
[pid=9984/tid=9994] ppid=9982 vsize=15151156 memory=2828 CPUtime=0.26 cores=1,3,5,7
/proc/9984/task/9994/stat : 9994 (java) R 9982 9982 30406 0 -1 4202560 1647 0 0 0 26 0 0 0 20 0 15 0 446072149 15514783744 22096 33554432000 4194304 4196468 140727994571552 140132251845848 140133160132724 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 23220224 140727994573807 140727994573978 140727994573978 140727994576847 0
[pid=9984/tid=9995] ppid=9982 vsize=15151156 memory=780 CPUtime=0.24 cores=1,3,5,7
/proc/9984/task/9995/stat : 9995 (java) R 9982 9982 30406 0 -1 4202560 813 0 0 0 24 0 0 0 20 0 15 0 446072149 15514783744 22096 33554432000 4194304 4196468 140727994571552 140132250798672 140133165168663 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23220224 140727994573807 140727994573978 140727994573978 140727994576847 0
[pid=9984/tid=9996] ppid=9982 vsize=15151156 memory=620 CPUtime=0.42 cores=1,3,5,7
/proc/9984/task/9996/stat : 9996 (java) R 9982 9982 30406 0 -1 4202560 2240 0 0 0 42 0 0 0 20 0 15 0 446072149 15514783744 22096 33554432000 4194304 4196468 140727994571552 140132249752016 140133173123902 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23220224 140727994573807 140727994573978 140727994573978 140727994576847 0
[pid=9984/tid=9997] ppid=9982 vsize=15151156 memory=1496 CPUtime=0 cores=1,3,5,7
/proc/9984/task/9997/stat : 9997 (java) S 9982 9982 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446072149 15514783744 22096 33554432000 4194304 4196468 140727994571552 140132248701664 140133180896981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23220224 140727994573807 140727994573978 140727994573978 140727994576847 0
[pid=9984/tid=9998] ppid=9982 vsize=15151156 memory=1016 CPUtime=0 cores=1,3,5,7
/proc/9984/task/9998/stat : 9998 (java) S 9982 9982 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446072149 15514783744 22096 33554432000 4194304 4196468 140727994571552 140132247648944 140133180897922 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23220224 140727994573807 140727994573978 140727994573978 140727994576847 0
Current children cumulated CPU time: 1.64 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 89836 KiB
[startup+1.5008 s]
/proc/loadavg: 9.03 8.40 8.18 9/238 10020
/proc/meminfo: memFree=26737020/32770624 swapFree=66953076/67108860
[pid=9982] ppid=9979 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/9982/stat : 9982 (xcsp3-exec) S 9979 9982 30406 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446072143 115843072 363 33554432000 4194304 5098028 140721194129856 140721194127960 139630396863100 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 37089280 140721194132346 140721194132589 140721194132589 140721194135498 0
/proc/9982/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
/proc/9984/task/10028/stat : 10028 (java) R 9982 9982 30406 0 -1 4202560 210 0 0 0 442 0 0 0 20 0 19 0 446072259 15857688576 55117 33554432000 4194304 4196468 140727994571552 140132166392256 140132788185408 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23220224 140727994573807 140727994573978 140727994573978 140727994576847 0
Current children cumulated CPU time: 23.62 s
Current children cumulated vsize: 15599152 KiB
Current children cumulated memory: 221920 KiB
[startup+7.06424 s]
# the end of solver process 9982 was just reported to runsolver
# cumulated CPU time of all completed processes: user=26.4872 s, system=0.146026 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+6.40503 s]
/proc/loadavg: 9.11 8.43 8.19 7/231 10059
/proc/meminfo: memFree=30438452/32770624 swapFree=66953076/67108860
[pid=9982] ppid=9979 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/9982/stat : 9982 (xcsp3-exec) S 9979 9982 30406 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446072143 115843072 363 33554432000 4194304 5098028 140721194129856 140721194127960 139630396863100 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 37089280 140721194132346 140721194132589 140721194132589 140721194135498 0
/proc/9982/statm: 28282 363 304 221 0 87 0
[pid=9984] ppid=9982 vsize=15486024 memory=226640 CPUtime=24.03 cores=1,3,5,7
/proc/9984/stat : 9984 (java) S 9982 9982 30406 0 -1 1077944320 29283 0 0 0 2390 13 0 0 20 0 19 0 446072143 15857688576 56660 33554432000 4194304 4196468 140727994571552 140727994554096 140133180886775 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23220224 140727994573807 140727994573978 140727994573978 140727994576847 0
/proc/9984/statm: 3871506 56660 3518 1 0 3832606 0
[pid=9984/tid=9985] ppid=9982 vsize=15486024 memory=3184237754279271904 CPUtime=0.88 cores=1,3,5,7
/proc/9984/task/9985/stat : 9985 (java) S 9982 9982 30406 0 -1 1077944384 9354 0 0 0 84 4 0 0 20 0 19 0 446072144 15857688576 56660 33554432000 4194304 4196468 140727994571552 140133185127552 140133180896981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23220224 140727994573807 140727994573978 140727994573978 140727994576847 0
[pid=9984/tid=9986] ppid=9982 vsize=15486024 memory=3472468130430877824 CPUtime=0.02 cores=1,3,5,7
/proc/9984/task/9986/stat : 9986 (java) R 9982 9982 30406 0 -1 4202560 926 0 0 0 2 0 0 0 20 0 19 0 446072144 15857688576 56660 33554432000 4194304 4196468 140727994571552 140133108927632 140133165241402 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23220224 140727994573807 140727994573978 140727994573978 140727994576847 0
[pid=9984/tid=9987] ppid=9982 vsize=15486024 memory=3472468130430877856 CPUtime=0.01 cores=1,3,5,7
/proc/9984/task/9987/stat : 9987 (java) R 9982 9982 30406 0 -1 4202560 204 0 0 0 1 0 0 0 20 0 19 0 446072144 15857688576 56660 33554432000 4194304 4196468 140727994571552 140133107874832 140133173514983 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23220224 140727994573807 140727994573978 140727994573978 140727994576847 0
[pid=9984/tid=9988] ppid=9982 vsize=15486024 memory=3472468130430616768 CPUtime=0.01 cores=1,3,5,7
/proc/9984/task/9988/stat : 9988 (java) R 9982 9982 30406 0 -1 4202560 80 0 0 0 1 0 0 0 20 0 19 0 446072144 15857688576 56660 33554432000 4194304 4196468 140727994571552 140132770769928 140133173514983 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 23220224 140727994573807 140727994573978 140727994573978 140727994576847 0
[pid=9984/tid=9989] ppid=9982 vsize=15486024 memory=139834203198640 CPUtime=0.01 cores=1,3,5,7
/proc/9984/task/9989/stat : 9989 (java) R 9982 9982 30406 0 -1 4202560 88 0 0 0 1 0 0 0 20 0 19 0 446072144 15857688576 56660 33554432000 4194304 4196468 140727994571552 140132769717008 140133173514983 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23220224 140727994573807 140727994573978 140727994573978 140727994576847 0
[pid=9984/tid=9990] ppid=9982 vsize=15486024 memory=1947183 CPUtime=0.01 cores=1,3,5,7
/proc/9984/task/9990/stat : 9990 (java) S 9982 9982 30406 0 -1 1077944384 489 0 0 0 1 0 0 0 20 0 19 0 446072146 15857688576 56660 33554432000 4194304 4196468 140727994571552 140132256068512 140133180896981 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23220224 140727994573807 140727994573978 140727994573978 140727994576847 0
[pid=9984/tid=9991] ppid=9982 vsize=15486024 memory=8112282956445269571 CPUtime=0 cores=1,3,5,7
/proc/9984/task/9991/stat : 9991 (java) S 9982 9982 30406 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 446072146 15857688576 56660 33554432000 4194304 4196468 140727994571552 140132255016032 140133180896981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23220224 140727994573807 140727994573978 140727994573978 140727994576847 0
[pid=9984/tid=9992] ppid=9982 vsize=15486024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9984/task/9992/stat : 9992 (java) S 9982 9982 30406 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 446072146 15857688576 56660 33554432000 4194304 4196468 140727994571552 140132253963120 140133180896981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23220224 140727994573807 140727994573978 140727994573978 140727994576847 0
[pid=9984/tid=9993] ppid=9982 vsize=15486024 memory=4580 CPUtime=0 cores=1,3,5,7
/proc/9984/task/9993/stat : 9993 (java) S 9982 9982 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446072149 15857688576 56660 33554432000 4194304 4196468 140727994571552 140132252911440 140133180905371 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23220224 140727994573807 140727994573978 140727994573978 140727994576847 0
[pid=9984/tid=9994] ppid=9982 vsize=15486024 memory=4629539461233085814 CPUtime=1.74 cores=1,3,5,7
/proc/9984/task/9994/stat : 9994 (java) S 9982 9982 30406 0 -1 1077944384 5368 0 0 0 174 0 0 0 20 0 19 0 446072149 15857688576 56660 33554432000 4194304 4196468 140727994571552 140132251859824 140133180897922 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 27 0 0 6293624 6294260 23220224 140727994573807 140727994573978 140727994573978 140727994576847 0
[pid=9984/tid=9995] ppid=9982 vsize=15486024 memory=-8813974798734826869 CPUtime=1.65 cores=1,3,5,7
/proc/9984/task/9995/stat : 9995 (java) S 9982 9982 30406 0 -1 1077944384 4598 0 0 0 164 1 0 0 20 0 19 0 446072149 15857688576 56660 33554432000 4194304 4196468 140727994571552 140132250807024 140133180897922 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23220224 140727994573807 140727994573978 140727994573978 140727994576847 0
[pid=9984/tid=9996] ppid=9982 vsize=15486024 memory=7100839878645814387 CPUtime=0.77 cores=1,3,5,7
/proc/9984/task/9996/stat : 9996 (java) S 9982 9982 30406 0 -1 1077944384 4894 0 0 0 77 0 0 0 20 0 19 0 446072149 15857688576 56660 33554432000 4194304 4196468 140727994571552 140132249754224 140133180897922 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 29 0 0 6293624 6294260 23220224 140727994573807 140727994573978 140727994573978 140727994576847 0
[pid=9984/tid=9997] ppid=9982 vsize=15486024 memory=-6519613052471072158 CPUtime=0 cores=1,3,5,7
/proc/9984/task/9997/stat : 9997 (java) S 9982 9982 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446072149 15857688576 56660 33554432000 4194304 4196468 140727994571552 140132248701664 140133180896981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23220224 140727994573807 140727994573978 140727994573978 140727994576847 0
[pid=9984/tid=9998] ppid=9982 vsize=15486024 memory=5450909908396308010 CPUtime=0 cores=1,3,5,7
/proc/9984/task/9998/stat : 9998 (java) S 9982 9982 30406 0 -1 1077944384 346 0 0 0 0 0 0 0 20 0 19 0 446072149 15857688576 56660 33554432000 4194304 4196468 140727994571552 140132247648944 140133180897922 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 30 0 0 6293624 6294260 23220224 140727994573807 140727994573978 140727994573978 140727994576847 0
[pid=9984/tid=10025] ppid=9982 vsize=15486024 memory=139834203198625 CPUtime=4.58 cores=1,3,5,7
/proc/9984/task/10025/stat : 10025 (java) S 9982 9982 30406 0 -1 1077944384 138 0 0 0 458 0 0 0 20 0 19 0 446072257 15857688576 56660 33554432000 4194304 4196468 140727994571552 140132236561840 140133180896981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23220224 140727994573807 140727994573978 140727994573978 140727994576847 0
[pid=9984/tid=10026] ppid=9982 vsize=15486024 memory=279668406600800 CPUtime=4.67 cores=1,3,5,7
/proc/9984/task/10026/stat : 10026 (java) S 9982 9982 30406 0 -1 1077944384 294 0 0 0 467 0 0 0 20 0 19 0 446072257 15857688576 56660 33554432000 4194304 4196468 140727994571552 140132235511600 140133180896981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23220224 140727994573807 140727994573978 140727994573978 140727994576847 0
[pid=9984/tid=10027] ppid=9982 vsize=15486024 memory=6944652177228980320 CPUtime=4.64 cores=1,3,5,7
/proc/9984/task/10027/stat : 10027 (java) S 9982 9982 30406 0 -1 1077944384 356 0 0 0 464 0 0 0 20 0 19 0 446072258 15857688576 56660 33554432000 4194304 4196468 140727994571552 140132238668064 140133180896981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23220224 140727994573807 140727994573978 140727994573978 140727994576847 0
[pid=9984/tid=10028] ppid=9982 vsize=15486024 memory=6656426216303648864 CPUtime=4.52 cores=1,3,5,7
/proc/9984/task/10028/stat : 10028 (java) S 9982 9982 30406 0 -1 1077944384 210 0 0 0 452 0 0 0 20 0 19 0 446072259 15857688576 56660 33554432000 4194304 4196468 140727994571552 140132166389552 140133180896981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23220224 140727994573807 140727994573978 140727994573978 140727994576847 0
Current children cumulated CPU time: 24.03 s
Current children cumulated vsize: 15599152 KiB
Current children cumulated memory: 228092 KiB
[startup+6.80133 s]
/proc/loadavg: 9.11 8.43 8.19 7/231 10059
/proc/meminfo: memFree=30438452/32770624 swapFree=66953076/67108860
[pid=9982] ppid=9979 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/9982/stat : 9982 (xcsp3-exec) S 9979 9982 30406 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446072143 115843072 363 33554432000 4194304 5098028 140721194129856 140721194127960 139630396863100 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 37089280 140721194132346 140721194132589 140721194132589 140721194135498 0
/proc/9982/statm: 28282 363 304 221 0 87 0
[pid=9984] ppid=9982 vsize=15486024 memory=225212 CPUtime=25.6 cores=1,3,5,7
/proc/9984/stat : 9984 (java) S 9982 9982 30406 0 -1 1077944320 29419 0 0 0 2547 13 0 0 20 0 19 0 446072143 15857688576 56303 33554432000 4194304 4196468 140727994571552 140727994554096 140133180886775 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23220224 140727994573807 140727994573978 140727994573978 140727994576847 0
/proc/9984/statm: 3871506 56303 3519 1 0 3832606 0
[pid=9984/tid=9985] ppid=9982 vsize=15486024 memory=139834203608408 CPUtime=0.88 cores=1,3,5,7
/proc/9984/task/9985/stat : 9985 (java) S 9982 9982 30406 0 -1 1077944384 9354 0 0 0 84 4 0 0 20 0 19 0 446072144 15857688576 56303 33554432000 4194304 4196468 140727994571552 140133185127552 140133180896981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23220224 140727994573807 140727994573978 140727994573978 140727994576847 0
[pid=9984/tid=9986] ppid=9982 vsize=15486024 memory=1056 CPUtime=0.02 cores=1,3,5,7
/proc/9984/task/9986/stat : 9986 (java) S 9982 9982 30406 0 -1 1077944384 926 0 0 0 2 0 0 0 20 0 19 0 446072144 15857688576 56303 33554432000 4194304 4196468 140727994571552 140133108927632 140133180896981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23220224 140727994573807 140727994573978 140727994573978 140727994576847 0
[pid=9984/tid=9987] ppid=9982 vsize=15486024 memory=1188 CPUtime=0.01 cores=1,3,5,7
/proc/9984/task/9987/stat : 9987 (java) S 9982 9982 30406 0 -1 1077944384 204 0 0 0 1 0 0 0 20 0 19 0 446072144 15857688576 56303 33554432000 4194304 4196468 140727994571552 140133107874832 140133180896981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23220224 140727994573807 140727994573978 140727994573978 140727994576847 0
[pid=9984/tid=9988] ppid=9982 vsize=15486024 memory=1536 CPUtime=0.01 cores=1,3,5,7
/proc/9984/task/9988/stat : 9988 (java) S 9982 9982 30406 0 -1 1077944384 80 0 0 0 1 0 0 0 20 0 19 0 446072144 15857688576 56303 33554432000 4194304 4196468 140727994571552 140132770769808 140133180896981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23220224 140727994573807 140727994573978 140727994573978 140727994576847 0
[pid=9984/tid=9989] ppid=9982 vsize=15486024 memory=9592 CPUtime=0.01 cores=1,3,5,7
/proc/9984/task/9989/stat : 9989 (java) S 9982 9982 30406 0 -1 1077944384 88 0 0 0 1 0 0 0 20 0 19 0 446072144 15857688576 56303 33554432000 4194304 4196468 140727994571552 140132769717008 140133180896981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23220224 140727994573807 140727994573978 140727994573978 140727994576847 0
[pid=9984/tid=9990] ppid=9982 vsize=15486024 memory=2828 CPUtime=0.01 cores=1,3,5,7
/proc/9984/task/9990/stat : 9990 (java) S 9982 9982 30406 0 -1 1077944384 489 0 0 0 1 0 0 0 20 0 19 0 446072146 15857688576 56303 33554432000 4194304 4196468 140727994571552 140132256070000 140133180897922 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23220224 140727994573807 140727994573978 140727994573978 140727994576847 0
[pid=9984/tid=9991] ppid=9982 vsize=15486024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9984/task/9991/stat : 9991 (java) S 9982 9982 30406 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 446072146 15857688576 56303 33554432000 4194304 4196468 140727994571552 140132255016032 140133180896981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23220224 140727994573807 140727994573978 140727994573978 140727994576847 0
[pid=9984/tid=9992] ppid=9982 vsize=15486024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9984/task/9992/stat : 9992 (java) S 9982 9982 30406 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 446072146 15857688576 56303 33554432000 4194304 4196468 140727994571552 140132253963120 140133180896981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23220224 140727994573807 140727994573978 140727994573978 140727994576847 0
[pid=9984/tid=9993] ppid=9982 vsize=15486024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9984/task/9993/stat : 9993 (java) S 9982 9982 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446072149 15857688576 56303 33554432000 4194304 4196468 140727994571552 140132252911440 140133180905371 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23220224 140727994573807 140727994573978 140727994573978 140727994576847 0
[pid=9984/tid=9994] ppid=9982 vsize=15486024 memory=0 CPUtime=1.83 cores=1,3,5,7
/proc/9984/task/9994/stat : 9994 (java) S 9982 9982 30406 0 -1 1077944384 5503 0 0 0 183 0 0 0 20 0 19 0 446072149 15857688576 56303 33554432000 4194304 4196468 140727994571552 140132251859824 140133180897922 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 27 0 0 6293624 6294260 23220224 140727994573807 140727994573978 140727994573978 140727994576847 0
[pid=9984/tid=9995] ppid=9982 vsize=15486024 memory=0 CPUtime=1.65 cores=1,3,5,7
/proc/9984/task/9995/stat : 9995 (java) S 9982 9982 30406 0 -1 1077944384 4598 0 0 0 164 1 0 0 20 0 19 0 446072149 15857688576 56303 33554432000 4194304 4196468 140727994571552 140132250807024 140133180897922 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23220224 140727994573807 140727994573978 140727994573978 140727994576847 0
[pid=9984/tid=9996] ppid=9982 vsize=15486024 memory=0 CPUtime=0.77 cores=1,3,5,7
/proc/9984/task/9996/stat : 9996 (java) S 9982 9982 30406 0 -1 1077944384 4894 0 0 0 77 0 0 0 20 0 19 0 446072149 15857688576 56303 33554432000 4194304 4196468 140727994571552 140132249754224 140133180897922 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 29 0 0 6293624 6294260 23220224 140727994573807 140727994573978 140727994573978 140727994576847 0
[pid=9984/tid=9997] ppid=9982 vsize=15486024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9984/task/9997/stat : 9997 (java) S 9982 9982 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446072149 15857688576 56303 33554432000 4194304 4196468 140727994571552 140132248701664 140133180896981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23220224 140727994573807 140727994573978 140727994573978 140727994576847 0
[pid=9984/tid=9998] ppid=9982 vsize=15486024 memory=3760962419438999911 CPUtime=0 cores=1,3,5,7
/proc/9984/task/9998/stat : 9998 (java) S 9982 9982 30406 0 -1 1077944384 346 0 0 0 0 0 0 0 20 0 19 0 446072149 15857688576 56303 33554432000 4194304 4196468 140727994571552 140132247648944 140133180897922 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 30 0 0 6293624 6294260 23220224 140727994573807 140727994573978 140727994573978 140727994576847 0
[pid=9984/tid=10025] ppid=9982 vsize=15486024 memory=7594574685936446055 CPUtime=4.97 cores=1,3,5,7
/proc/9984/task/10025/stat : 10025 (java) R 9982 9982 30406 0 -1 4202560 138 0 0 0 497 0 0 0 20 0 19 0 446072257 15857688576 56303 33554432000 4194304 4196468 140727994571552 140132236561976 140132793923378 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23220224 140727994573807 140727994573978 140727994573978 140727994576847 0
[pid=9984/tid=10026] ppid=9982 vsize=15486024 memory=0 CPUtime=5.06 cores=1,3,5,7
/proc/9984/task/10026/stat : 10026 (java) R 9982 9982 30406 0 -1 4202560 295 0 0 0 506 0 0 0 20 0 19 0 446072257 15857688576 56303 33554432000 4194304 4196468 140727994571552 140132235511488 140132793385440 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23220224 140727994573807 140727994573978 140727994573978 140727994576847 0
[pid=9984/tid=10027] ppid=9982 vsize=15486024 memory=0 CPUtime=4.94 cores=1,3,5,7
/proc/9984/task/10027/stat : 10027 (java) R 9982 9982 30406 0 -1 4202560 356 0 0 0 494 0 0 0 20 0 19 0 446072258 15857688576 56303 33554432000 4194304 4196468 140727994571552 140132238667288 140132793480612 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 23220224 140727994573807 140727994573978 140727994573978 140727994576847 0
[pid=9984/tid=10028] ppid=9982 vsize=15486024 memory=0 CPUtime=4.92 cores=1,3,5,7
/proc/9984/task/10028/stat : 10028 (java) R 9982 9982 30406 0 -1 4202560 210 0 0 0 492 0 0 0 20 0 19 0 446072259 15857688576 56303 33554432000 4194304 4196468 140727994571552 140132166389440 140132794739612 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23220224 140727994573807 140727994573978 140727994573978 140727994576847 0
Current children cumulated CPU time: 25.6 s
Current children cumulated vsize: 15599152 KiB
Current children cumulated memory: 226664 KiB
[startup+7.0014 s]*
/proc/loadavg: 9.11 8.43 8.19 8/231 10059
/proc/meminfo: memFree=30272400/32770624 swapFree=66953076/67108860
[pid=9982] ppid=9979 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/9982/stat : 9982 (xcsp3-exec) S 9979 9982 30406 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446072143 115843072 363 33554432000 4194304 5098028 140721194129856 140721194127960 139630396863100 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 37089280 140721194132346 140721194132589 140721194132589 140721194135498 0
/proc/9982/statm: 28282 363 304 221 0 87 0
[pid=9984] ppid=9982 vsize=15486024 memory=225212 CPUtime=26.43 cores=1,3,5,7
/proc/9984/stat : 9984 (java) S 9982 9982 30406 0 -1 1077944320 29646 0 0 0 2629 14 0 0 20 0 19 0 446072143 15857688576 56303 33554432000 4194304 4196468 140727994571552 140727994554096 140133180886775 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23220224 140727994573807 140727994573978 140727994573978 140727994576847 0
/proc/9984/statm: 3871506 56303 3519 1 0 3832606 0
[pid=9984/tid=9985] ppid=9982 vsize=15486024 memory=8317482817917895235 CPUtime=0.88 cores=1,3,5,7
/proc/9984/task/9985/stat : 9985 (java) S 9982 9982 30406 0 -1 1077944384 9354 0 0 0 84 4 0 0 20 0 19 0 446072144 15857688576 56303 33554432000 4194304 4196468 140727994571552 140133185127552 140133180896981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23220224 140727994573807 140727994573978 140727994573978 140727994576847 0
[pid=9984/tid=9986] ppid=9982 vsize=15486024 memory=1412 CPUtime=0.02 cores=1,3,5,7
/proc/9984/task/9986/stat : 9986 (java) S 9982 9982 30406 0 -1 1077944384 926 0 0 0 2 0 0 0 20 0 19 0 446072144 15857688576 56303 33554432000 4194304 4196468 140727994571552 140133108927632 140133180896981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23220224 140727994573807 140727994573978 140727994573978 140727994576847 0
[pid=9984/tid=9987] ppid=9982 vsize=15486024 memory=3672 CPUtime=0.01 cores=1,3,5,7
/proc/9984/task/9987/stat : 9987 (java) S 9982 9982 30406 0 -1 1077944384 204 0 0 0 1 0 0 0 20 0 19 0 446072144 15857688576 56303 33554432000 4194304 4196468 140727994571552 140133107874832 140133180896981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23220224 140727994573807 140727994573978 140727994573978 140727994576847 0
[pid=9984/tid=9988] ppid=9982 vsize=15486024 memory=1452 CPUtime=0.01 cores=1,3,5,7
/proc/9984/task/9988/stat : 9988 (java) S 9982 9982 30406 0 -1 1077944384 80 0 0 0 1 0 0 0 20 0 19 0 446072144 15857688576 56303 33554432000 4194304 4196468 140727994571552 140132770769808 140133180896981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23220224 140727994573807 140727994573978 140727994573978 140727994576847 0
[pid=9984/tid=9989] ppid=9982 vsize=15486024 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/9984/task/9989/stat : 9989 (java) S 9982 9982 30406 0 -1 1077944384 88 0 0 0 1 0 0 0 20 0 19 0 446072144 15857688576 56303 33554432000 4194304 4196468 140727994571552 140132769717008 140133180896981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23220224 140727994573807 140727994573978 140727994573978 140727994576847 0
[pid=9984/tid=9990] ppid=9982 vsize=15486024 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/9984/task/9990/stat : 9990 (java) S 9982 9982 30406 0 -1 1077944384 489 0 0 0 1 0 0 0 20 0 19 0 446072146 15857688576 56303 33554432000 4194304 4196468 140727994571552 140132256070000 140133180897922 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23220224 140727994573807 140727994573978 140727994573978 140727994576847 0
[pid=9984/tid=9991] ppid=9982 vsize=15486024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9984/task/9991/stat : 9991 (java) S 9982 9982 30406 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 446072146 15857688576 56303 33554432000 4194304 4196468 140727994571552 140132255016032 140133180896981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23220224 140727994573807 140727994573978 140727994573978 140727994576847 0
[pid=9984/tid=9992] ppid=9982 vsize=15486024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9984/task/9992/stat : 9992 (java) S 9982 9982 30406 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 446072146 15857688576 56303 33554432000 4194304 4196468 140727994571552 140132253963120 140133180896981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23220224 140727994573807 140727994573978 140727994573978 140727994576847 0
[pid=9984/tid=9993] ppid=9982 vsize=15486024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9984/task/9993/stat : 9993 (java) S 9982 9982 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446072149 15857688576 56303 33554432000 4194304 4196468 140727994571552 140132252911440 140133180905371 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23220224 140727994573807 140727994573978 140727994573978 140727994576847 0
[pid=9984/tid=9994] ppid=9982 vsize=15486024 memory=0 CPUtime=1.83 cores=1,3,5,7
/proc/9984/task/9994/stat : 9994 (java) S 9982 9982 30406 0 -1 1077944384 5503 0 0 0 183 0 0 0 20 0 19 0 446072149 15857688576 56303 33554432000 4194304 4196468 140727994571552 140132251859824 140133180897922 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 27 0 0 6293624 6294260 23220224 140727994573807 140727994573978 140727994573978 140727994576847 0
[pid=9984/tid=9995] ppid=9982 vsize=15486024 memory=2321098961575092271 CPUtime=1.67 cores=1,3,5,7
/proc/9984/task/9995/stat : 9995 (java) S 9982 9982 30406 0 -1 1077944384 4825 0 0 0 166 1 0 0 20 0 19 0 446072149 15857688576 56303 33554432000 4194304 4196468 140727994571552 140132250807024 140133180897922 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23220224 140727994573807 140727994573978 140727994573978 140727994576847 0
[pid=9984/tid=9996] ppid=9982 vsize=15486024 memory=2320537093902905910 CPUtime=0.77 cores=1,3,5,7
/proc/9984/task/9996/stat : 9996 (java) S 9982 9982 30406 0 -1 1077944384 4894 0 0 0 77 0 0 0 20 0 19 0 446072149 15857688576 56303 33554432000 4194304 4196468 140727994571552 140132249754224 140133180897922 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 29 0 0 6293624 6294260 23220224 140727994573807 140727994573978 140727994573978 140727994576847 0
[pid=9984/tid=9997] ppid=9982 vsize=15486024 memory=3472468130566715056 CPUtime=0 cores=1,3,5,7
/proc/9984/task/9997/stat : 9997 (java) S 9982 9982 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446072149 15857688576 56303 33554432000 4194304 4196468 140727994571552 140132248701664 140133180896981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23220224 140727994573807 140727994573978 140727994573978 140727994576847 0
[pid=9984/tid=9998] ppid=9982 vsize=15486024 memory=3472323898181169199 CPUtime=0 cores=1,3,5,7
/proc/9984/task/9998/stat : 9998 (java) S 9982 9982 30406 0 -1 1077944384 346 0 0 0 0 0 0 0 20 0 19 0 446072149 15857688576 56303 33554432000 4194304 4196468 140727994571552 140132247648944 140133180897922 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 30 0 0 6293624 6294260 23220224 140727994573807 140727994573978 140727994573978 140727994576847 0
[pid=9984/tid=10025] ppid=9982 vsize=15486024 memory=0 CPUtime=5.16 cores=1,3,5,7
/proc/9984/task/10025/stat : 10025 (java) R 9982 9982 30406 0 -1 4202560 138 0 0 0 516 0 0 0 20 0 19 0 446072257 15857688576 56303 33554432000 4194304 4196468 140727994571552 140132236561976 140132793480612 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23220224 140727994573807 140727994573978 140727994573978 140727994576847 0
[pid=9984/tid=10026] ppid=9982 vsize=15486024 memory=0 CPUtime=5.27 cores=1,3,5,7
/proc/9984/task/10026/stat : 10026 (java) R 9982 9982 30406 0 -1 4202560 295 0 0 0 527 0 0 0 20 0 19 0 446072257 15857688576 56303 33554432000 4194304 4196468 140727994571552 140132235509208 140132793479704 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23220224 140727994573807 140727994573978 140727994573978 140727994576847 0
[pid=9984/tid=10027] ppid=9982 vsize=15486024 memory=0 CPUtime=5.14 cores=1,3,5,7
/proc/9984/task/10027/stat : 10027 (java) R 9982 9982 30406 0 -1 4202560 356 0 0 0 514 0 0 0 20 0 19 0 446072258 15857688576 56303 33554432000 4194304 4196468 140727994571552 140132238667288 140132793480662 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 23220224 140727994573807 140727994573978 140727994573978 140727994576847 0
[pid=9984/tid=10028] ppid=9982 vsize=15486024 memory=0 CPUtime=5.13 cores=1,3,5,7
/proc/9984/task/10028/stat : 10028 (java) R 9982 9982 30406 0 -1 4202560 210 0 0 0 513 0 0 0 20 0 19 0 446072259 15857688576 56303 33554432000 4194304 4196468 140727994571552 140132166389440 140132793481440 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23220224 140727994573807 140727994573978 140727994573978 140727994576847 0
Current children cumulated CPU time: 26.43 s
Current children cumulated vsize: 15599152 KiB
Current children cumulated memory: 226664 KiB
Child status: 0
Real time (s): 7.06429
CPU time (s): 26.6332
CPU user time (s): 26.4872
CPU system time (s): 0.146026
CPU usage (%): 377.012
Max. virtual memory (cumulated for all children) (KiB): 15599152
Max. memory (cumulated for all children) (KiB): 228092
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 26.4872
system time used= 0.146026
maximum resident set size= 226640
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30517
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= 2833
involuntary context switches= 935
# summary of solver processes directly reported to runsolver:
# pid: 9982
# total CPU time (s): 26.6332
# total CPU user time (s): 26.4872
# total CPU system time (s): 0.146026
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.061377 second user time and 0.136532 second system time
The end