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 (15004 MiB free)
memory of node 1: 16384 MiB (15514 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4399106-1568685639/watcher-4399106-1568685639 -o /tmp/evaluation-result-4399106-1568685639/solver-4399106-1568685639 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node103-1568682260-15015 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 1752591028 HOME/instance-4399106-1568685639.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=20989, runsolver pid=20986
Current StackSize limit: 8192 KiB
[startup+0.100106 s]*
/proc/loadavg: 6.99 8.23 8.53 8/233 21005
/proc/meminfo: memFree=31235944/32770624 swapFree=66997372/67108860
[pid=20989] ppid=20986 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/20989/stat : 20989 (xcsp3-exec) S 20986 20989 14983 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 444816970 115843072 363 33554432000 4194304 5098028 140726427653712 140726427651816 140366517420668 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 10211328 140726427657082 140726427657325 140726427657325 140726427660234 0
/proc/20989/statm: 28282 363 304 221 0 87 0
[pid=20991] ppid=20989 vsize=15144776 memory=28160 CPUtime=0.12 cores=1,3,5,7
/proc/20991/stat : 20991 (java) S 20989 20989 14983 0 -1 1077944320 5562 0 0 0 11 1 0 0 20 0 15 0 444816970 15508250624 7040 33554432000 4194304 4196468 140735454267408 140735454249952 140060186975991 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 8323072 140735454270447 140735454270618 140735454270618 140735454273487 0
/proc/20991/statm: 3786194 7040 3115 1 0 3748377 0
[pid=20991/tid=20992] ppid=20989 vsize=15144776 memory=7100839870104831090 CPUtime=0.09 cores=1,3,5,7
/proc/20991/task/20992/stat : 20992 (java) R 20989 20989 14983 0 -1 4202560 3433 0 0 0 8 1 0 0 20 0 15 0 444816971 15508250624 7106 33554432000 4194304 4196468 140735454267408 140060191210528 140060179213118 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8323072 140735454270447 140735454270618 140735454270618 140735454273487 0
[pid=20991/tid=20993] ppid=20989 vsize=15144776 memory=-3689349214911541841 CPUtime=0 cores=1,3,5,7
/proc/20991/task/20993/stat : 20993 (java) S 20989 20989 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444816971 15508250624 7106 33554432000 4194304 4196468 140735454267408 140059779631376 140060186986197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8323072 140735454270447 140735454270618 140735454270618 140735454273487 0
[pid=20991/tid=20994] ppid=20989 vsize=15144776 memory=139774442284672 CPUtime=0 cores=1,3,5,7
/proc/20991/task/20994/stat : 20994 (java) S 20989 20989 14983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 444816972 15508250624 7106 33554432000 4194304 4196468 140735454267408 140059778578832 140060186986197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8323072 140735454270447 140735454270618 140735454270618 140735454273487 0
[pid=20991/tid=20995] ppid=20989 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20991/task/20995/stat : 20995 (java) S 20989 20989 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444816972 15508250624 7106 33554432000 4194304 4196468 140735454267408 140059777526288 140060186986197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8323072 140735454270447 140735454270618 140735454270618 140735454273487 0
[pid=20991/tid=20996] ppid=20989 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20991/task/20996/stat : 20996 (java) S 20989 20989 14983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 444816972 15508250624 7106 33554432000 4194304 4196468 140735454267408 140059776473744 140060186986197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8323072 140735454270447 140735454270618 140735454270618 140735454273487 0
[pid=20991/tid=20997] ppid=20989 vsize=15144776 memory=139774442284672 CPUtime=0 cores=1,3,5,7
/proc/20991/task/20997/stat : 20997 (java) S 20989 20989 14983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 444816973 15508250624 7106 33554432000 4194304 4196468 140735454267408 140059060664816 140060186987138 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8323072 140735454270447 140735454270618 140735454270618 140735454273487 0
[pid=20991/tid=20998] ppid=20989 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20991/task/20998/stat : 20998 (java) S 20989 20989 14983 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 444816973 15508250624 7106 33554432000 4194304 4196468 140735454267408 140059059611040 140060186986197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8323072 140735454270447 140735454270618 140735454270618 140735454273487 0
[pid=20991/tid=20999] ppid=20989 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20991/task/20999/stat : 20999 (java) S 20989 20989 14983 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 444816974 15508250624 7106 33554432000 4194304 4196468 140735454267408 140059058558448 140060186986197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8323072 140735454270447 140735454270618 140735454270618 140735454273487 0
[pid=20991/tid=21000] ppid=20989 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20991/task/21000/stat : 21000 (java) S 20989 20989 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444816976 15508250624 7106 33554432000 4194304 4196468 140735454267408 140059057507024 140060186994587 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8323072 140735454270447 140735454270618 140735454270618 140735454273487 0
[pid=20991/tid=21001] ppid=20989 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20991/task/21001/stat : 21001 (java) R 20989 20989 14983 0 -1 1077944384 313 0 0 0 0 0 0 0 20 0 15 0 444816976 15508250624 7106 33554432000 4194304 4196468 140735454267408 140059056453616 140060186987138 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8323072 140735454270447 140735454270618 140735454270618 140735454273487 0
[pid=20991/tid=21002] ppid=20989 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20991/task/21002/stat : 21002 (java) R 20989 20989 14983 0 -1 4202560 149 0 0 0 0 0 0 0 20 0 15 0 444816976 15508250624 7106 33554432000 4194304 4196468 140735454267408 140059055392576 140060170411729 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8323072 140735454270447 140735454270618 140735454270618 140735454273487 0
[pid=20991/tid=21003] ppid=20989 vsize=15144776 memory=139774442284672 CPUtime=0.02 cores=1,3,5,7
/proc/20991/task/21003/stat : 21003 (java) R 20989 20989 14983 0 -1 4202560 390 0 0 0 2 0 0 0 20 0 15 0 444816976 15508250624 7106 33554432000 4194304 4196468 140735454267408 140059054348528 140060180080669 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8323072 140735454270447 140735454270618 140735454270618 140735454273487 0
[pid=20991/tid=21004] ppid=20989 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20991/task/21004/stat : 21004 (java) S 20989 20989 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444816976 15508250624 7106 33554432000 4194304 4196468 140735454267408 140059053296224 140060186986197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8323072 140735454270447 140735454270618 140735454270618 140735454273487 0
[pid=20991/tid=21005] ppid=20989 vsize=15144776 memory=139774442284672 CPUtime=0 cores=1,3,5,7
/proc/20991/task/21005/stat : 21005 (java) S 20989 20989 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444816976 15508250624 7106 33554432000 4194304 4196468 140735454267408 140059052243760 140060186987138 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8323072 140735454270447 140735454270618 140735454270618 140735454273487 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 29612 KiB
[startup+0.210732 s]*
/proc/loadavg: 6.99 8.23 8.53 7/233 21005
/proc/meminfo: memFree=31223216/32770624 swapFree=66997372/67108860
[pid=20989] ppid=20986 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/20989/stat : 20989 (xcsp3-exec) S 20986 20989 14983 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 444816970 115843072 363 33554432000 4194304 5098028 140726427653712 140726427651816 140366517420668 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 10211328 140726427657082 140726427657325 140726427657325 140726427660234 0
/proc/20989/statm: 28282 363 304 221 0 87 0
[pid=20991] ppid=20989 vsize=15144776 memory=40084 CPUtime=0.34 cores=1,3,5,7
/proc/20991/stat : 20991 (java) S 20989 20989 14983 0 -1 1077944320 9254 0 0 0 32 2 0 0 20 0 15 0 444816970 15508250624 10021 33554432000 4194304 4196468 140735454267408 140735454249952 140060186975991 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 8323072 140735454270447 140735454270618 140735454270618 140735454273487 0
/proc/20991/statm: 3786194 10021 3312 1 0 3748377 0
[pid=20991/tid=20992] ppid=20989 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/20991/task/20992/stat : 20992 (java) R 20989 20989 14983 0 -1 4202560 6257 0 0 0 18 2 0 0 20 0 15 0 444816971 15508250624 10021 33554432000 4194304 4196468 140735454267408 140060191205712 140060186987926 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8323072 140735454270447 140735454270618 140735454270618 140735454273487 0
[pid=20991/tid=20993] ppid=20989 vsize=15144776 memory=9100 CPUtime=0 cores=1,3,5,7
/proc/20991/task/20993/stat : 20993 (java) S 20989 20989 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444816971 15508250624 10021 33554432000 4194304 4196468 140735454267408 140059779631376 140060186986197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8323072 140735454270447 140735454270618 140735454270618 140735454273487 0
[pid=20991/tid=20994] ppid=20989 vsize=15144776 memory=139774445826432 CPUtime=0 cores=1,3,5,7
/proc/20991/task/20994/stat : 20994 (java) S 20989 20989 14983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 444816972 15508250624 10021 33554432000 4194304 4196468 140735454267408 140059778578832 140060186986197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8323072 140735454270447 140735454270618 140735454270618 140735454273487 0
[pid=20991/tid=20995] ppid=20989 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20991/task/20995/stat : 20995 (java) S 20989 20989 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444816972 15508250624 10021 33554432000 4194304 4196468 140735454267408 140059777526288 140060186986197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8323072 140735454270447 140735454270618 140735454270618 140735454273487 0
[pid=20991/tid=20996] ppid=20989 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20991/task/20996/stat : 20996 (java) S 20989 20989 14983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 444816972 15508250624 10021 33554432000 4194304 4196468 140735454267408 140059776473744 140060186986197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8323072 140735454270447 140735454270618 140735454270618 140735454273487 0
[pid=20991/tid=20997] ppid=20989 vsize=15144776 memory=139774442284672 CPUtime=0 cores=1,3,5,7
/proc/20991/task/20997/stat : 20997 (java) S 20989 20989 14983 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 444816973 15508250624 10021 33554432000 4194304 4196468 140735454267408 140059060664816 140060186987138 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8323072 140735454270447 140735454270618 140735454270618 140735454273487 0
[pid=20991/tid=20998] ppid=20989 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20991/task/20998/stat : 20998 (java) S 20989 20989 14983 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 444816973 15508250624 10021 33554432000 4194304 4196468 140735454267408 140059059611040 140060186986197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8323072 140735454270447 140735454270618 140735454270618 140735454273487 0
[pid=20991/tid=20999] ppid=20989 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20991/task/20999/stat : 20999 (java) S 20989 20989 14983 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 444816974 15508250624 10021 33554432000 4194304 4196468 140735454267408 140059058558448 140060186986197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8323072 140735454270447 140735454270618 140735454270618 140735454273487 0
[pid=20991/tid=21000] ppid=20989 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20991/task/21000/stat : 21000 (java) S 20989 20989 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444816976 15508250624 10021 33554432000 4194304 4196468 140735454267408 140059057507024 140060186994587 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8323072 140735454270447 140735454270618 140735454270618 140735454273487 0
[pid=20991/tid=21001] ppid=20989 vsize=15144776 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/20991/task/21001/stat : 21001 (java) S 20989 20989 14983 0 -1 1077944384 584 0 0 0 2 0 0 0 20 0 15 0 444816976 15508250624 10021 33554432000 4194304 4196468 140735454267408 140059056453616 140060186987138 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8323072 140735454270447 140735454270618 140735454270618 140735454273487 0
[pid=20991/tid=21002] ppid=20989 vsize=15144776 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/20991/task/21002/stat : 21002 (java) R 20989 20989 14983 0 -1 1077944384 280 0 0 0 3 0 0 0 20 0 15 0 444816976 15508250624 10021 33554432000 4194304 4196468 140735454267408 140059055401072 140060186986197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8323072 140735454270447 140735454270618 140735454270618 140735454273487 0
[pid=20991/tid=21003] ppid=20989 vsize=15144776 memory=139774442284672 CPUtime=0.08 cores=1,3,5,7
/proc/20991/task/21003/stat : 21003 (java) R 20989 20989 14983 0 -1 4202560 832 0 0 0 8 0 0 0 20 0 15 0 444816976 15508250624 10021 33554432000 4194304 4196468 140735454267408 140059054348528 140060186987926 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8323072 140735454270447 140735454270618 140735454270618 140735454273487 0
[pid=20991/tid=21004] ppid=20989 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20991/task/21004/stat : 21004 (java) S 20989 20989 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444816976 15508250624 10021 33554432000 4194304 4196468 140735454267408 140059053296224 140060186986197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8323072 140735454270447 140735454270618 140735454270618 140735454273487 0
[pid=20991/tid=21005] ppid=20989 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20991/task/21005/stat : 21005 (java) S 20989 20989 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444816976 15508250624 10021 33554432000 4194304 4196468 140735454267408 140059052243760 140060186987138 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8323072 140735454270447 140735454270618 140735454270618 140735454273487 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 41536 KiB
[startup+0.312406 s]*
/proc/loadavg: 6.99 8.23 8.53 9/233 21005
/proc/meminfo: memFree=31216196/32770624 swapFree=66997372/67108860
[pid=20989] ppid=20986 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/20989/stat : 20989 (xcsp3-exec) S 20986 20989 14983 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 444816970 115843072 363 33554432000 4194304 5098028 140726427653712 140726427651816 140366517420668 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 10211328 140726427657082 140726427657325 140726427657325 140726427660234 0
/proc/20989/statm: 28282 363 304 221 0 87 0
[pid=20991] ppid=20989 vsize=15149032 memory=49252 CPUtime=0.53 cores=1,3,5,7
/proc/20991/stat : 20991 (java) S 20989 20989 14983 0 -1 1077944320 10705 0 0 0 50 3 0 0 20 0 15 0 444816970 15512608768 12313 33554432000 4194304 4196468 140735454267408 140735454249952 140060186975991 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 8323072 140735454270447 140735454270618 140735454270618 140735454273487 0
/proc/20991/statm: 3787258 12313 3366 1 0 3748377 0
[pid=20991/tid=20992] ppid=20989 vsize=15149032 memory=7883960649037381690 CPUtime=0.3 cores=1,3,5,7
/proc/20991/task/20992/stat : 20992 (java) R 20989 20989 14983 0 -1 4202560 7394 0 0 0 28 2 0 0 20 0 15 0 444816971 15512608768 12313 33554432000 4194304 4196468 140735454267408 140060191207104 140060186997917 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8323072 140735454270447 140735454270618 140735454270618 140735454273487 0
[pid=20991/tid=20993] ppid=20989 vsize=15149032 memory=9461 CPUtime=0 cores=1,3,5,7
/proc/20991/task/20993/stat : 20993 (java) S 20989 20989 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444816971 15512608768 12313 33554432000 4194304 4196468 140735454267408 140059779631376 140060186986197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8323072 140735454270447 140735454270618 140735454270618 140735454273487 0
[pid=20991/tid=20994] ppid=20989 vsize=15149032 memory=3571839 CPUtime=0 cores=1,3,5,7
/proc/20991/task/20994/stat : 20994 (java) S 20989 20989 14983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 444816972 15512608768 12313 33554432000 4194304 4196468 140735454267408 140059778578832 140060186986197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8323072 140735454270447 140735454270618 140735454270618 140735454273487 0
[pid=20991/tid=20995] ppid=20989 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20991/task/20995/stat : 20995 (java) S 20989 20989 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444816972 15512608768 12313 33554432000 4194304 4196468 140735454267408 140059777526288 140060186986197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8323072 140735454270447 140735454270618 140735454270618 140735454273487 0
[pid=20991/tid=20996] ppid=20989 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20991/task/20996/stat : 20996 (java) S 20989 20989 14983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 444816972 15512608768 12313 33554432000 4194304 4196468 140735454267408 140059776473744 140060186986197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8323072 140735454270447 140735454270618 140735454270618 140735454273487 0
[pid=20991/tid=20997] ppid=20989 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20991/task/20997/stat : 20997 (java) S 20989 20989 14983 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 444816973 15512608768 12378 33554432000 4194304 4196468 140735454267408 140059060664816 140060186987138 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8323072 140735454270447 140735454270618 140735454270618 140735454273487 0
[pid=20991/tid=20998] ppid=20989 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20991/task/20998/stat : 20998 (java) S 20989 20989 14983 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 444816973 15512608768 12378 33554432000 4194304 4196468 140735454267408 140059059611040 140060186986197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8323072 140735454270447 140735454270618 140735454270618 140735454273487 0
[pid=20991/tid=20999] ppid=20989 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20991/task/20999/stat : 20999 (java) S 20989 20989 14983 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 444816974 15512608768 12378 33554432000 4194304 4196468 140735454267408 140059058558448 140060186986197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8323072 140735454270447 140735454270618 140735454270618 140735454273487 0
[pid=20991/tid=21000] ppid=20989 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20991/task/21000/stat : 21000 (java) S 20989 20989 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444816976 15512608768 12378 33554432000 4194304 4196468 140735454267408 140059057507024 140060186994587 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8323072 140735454270447 140735454270618 140735454270618 140735454273487 0
[pid=20991/tid=21001] ppid=20989 vsize=15149032 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/20991/task/21001/stat : 21001 (java) S 20989 20989 14983 0 -1 1077944384 634 0 0 0 3 0 0 0 20 0 15 0 444816976 15512608768 12378 33554432000 4194304 4196468 140735454267408 140059056453616 140060186987138 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8323072 140735454270447 140735454270618 140735454270618 140735454273487 0
[pid=20991/tid=21002] ppid=20989 vsize=15149032 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/20991/task/21002/stat : 21002 (java) R 20989 20989 14983 0 -1 4202560 391 0 0 0 5 0 0 0 20 0 15 0 444816976 15512608768 12378 33554432000 4194304 4196468 140735454267408 140059055401168 140060168497367 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8323072 140735454270447 140735454270618 140735454270618 140735454273487 0
[pid=20991/tid=21003] ppid=20989 vsize=15149032 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/20991/task/21003/stat : 21003 (java) S 20989 20989 14983 0 -1 1077944384 996 0 0 0 12 0 0 0 20 0 15 0 444816976 15512608768 12378 33554432000 4194304 4196468 140735454267408 140059054348528 140060186987138 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8323072 140735454270447 140735454270618 140735454270618 140735454273487 0
[pid=20991/tid=21004] ppid=20989 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20991/task/21004/stat : 21004 (java) S 20989 20989 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444816976 15512608768 12378 33554432000 4194304 4196468 140735454267408 140059053296224 140060186986197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8323072 140735454270447 140735454270618 140735454270618 140735454273487 0
[pid=20991/tid=21005] ppid=20989 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20991/task/21005/stat : 21005 (java) S 20989 20989 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444816976 15512608768 12378 33554432000 4194304 4196468 140735454267408 140059052243760 140060186987138 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8323072 140735454270447 140735454270618 140735454270618 140735454273487 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 50704 KiB
[startup+0.710652 s]
/proc/loadavg: 6.99 8.23 8.53 8/233 21005
/proc/meminfo: memFree=31201696/32770624 swapFree=66997372/67108860
[pid=20989] ppid=20986 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/20989/stat : 20989 (xcsp3-exec) S 20986 20989 14983 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 444816970 115843072 363 33554432000 4194304 5098028 140726427653712 140726427651816 140366517420668 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 10211328 140726427657082 140726427657325 140726427657325 140726427660234 0
/proc/20989/statm: 28282 363 304 221 0 87 0
[pid=20991] ppid=20989 vsize=15151156 memory=82672 CPUtime=1.66 cores=1,3,5,7
/proc/20991/stat : 20991 (java) S 20989 20989 14983 0 -1 1077944320 14871 0 0 0 161 5 0 0 20 0 15 0 444816970 15514783744 20668 33554432000 4194304 4196468 140735454267408 140735454249952 140060186975991 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 8323072 140735454270447 140735454270618 140735454270618 140735454273487 0
/proc/20991/statm: 3787789 20668 3449 1 0 3748889 0
[pid=20991/tid=20992] ppid=20989 vsize=15151156 memory=0 CPUtime=0.68 cores=1,3,5,7
/proc/20991/task/20992/stat : 20992 (java) R 20989 20989 14983 0 -1 4202560 8876 0 0 0 65 3 0 0 20 0 15 0 444816971 15514783744 20668 33554432000 4194304 4196468 140735454267408 140060191213472 140060171056478 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8323072 140735454270447 140735454270618 140735454270618 140735454273487 0
[pid=20991/tid=20993] ppid=20989 vsize=15151156 memory=500 CPUtime=0 cores=1,3,5,7
/proc/20991/task/20993/stat : 20993 (java) S 20989 20989 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444816971 15514783744 20668 33554432000 4194304 4196468 140735454267408 140059779631376 140060186986197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8323072 140735454270447 140735454270618 140735454270618 140735454273487 0
[pid=20991/tid=20994] ppid=20989 vsize=15151156 memory=1560 CPUtime=0 cores=1,3,5,7
/proc/20991/task/20994/stat : 20994 (java) S 20989 20989 14983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 444816972 15514783744 20668 33554432000 4194304 4196468 140735454267408 140059778578832 140060186986197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8323072 140735454270447 140735454270618 140735454270618 140735454273487 0
[pid=20991/tid=20995] ppid=20989 vsize=15151156 memory=932 CPUtime=0 cores=1,3,5,7
/proc/20991/task/20995/stat : 20995 (java) S 20989 20989 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444816972 15514783744 20668 33554432000 4194304 4196468 140735454267408 140059777526288 140060186986197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8323072 140735454270447 140735454270618 140735454270618 140735454273487 0
[pid=20991/tid=20996] ppid=20989 vsize=15151156 memory=3768 CPUtime=0 cores=1,3,5,7
/proc/20991/task/20996/stat : 20996 (java) S 20989 20989 14983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 444816972 15514783744 20668 33554432000 4194304 4196468 140735454267408 140059776473744 140060186986197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8323072 140735454270447 140735454270618 140735454270618 140735454273487 0
[pid=20991/tid=20997] ppid=20989 vsize=15151156 memory=1980 CPUtime=0 cores=1,3,5,7
/proc/20991/task/20997/stat : 20997 (java) S 20989 20989 14983 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 444816973 15514783744 20668 33554432000 4194304 4196468 140735454267408 140059060664816 140060186987138 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8323072 140735454270447 140735454270618 140735454270618 140735454273487 0
[pid=20991/tid=20998] ppid=20989 vsize=15151156 memory=2512 CPUtime=0 cores=1,3,5,7
/proc/20991/task/20998/stat : 20998 (java) S 20989 20989 14983 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 444816973 15514783744 20668 33554432000 4194304 4196468 140735454267408 140059059611040 140060186986197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8323072 140735454270447 140735454270618 140735454270618 140735454273487 0
[pid=20991/tid=20999] ppid=20989 vsize=15151156 memory=1436 CPUtime=0 cores=1,3,5,7
/proc/20991/task/20999/stat : 20999 (java) S 20989 20989 14983 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 444816974 15514783744 20668 33554432000 4194304 4196468 140735454267408 140059058558448 140060186986197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8323072 140735454270447 140735454270618 140735454270618 140735454273487 0
[pid=20991/tid=21000] ppid=20989 vsize=15151156 memory=812 CPUtime=0 cores=1,3,5,7
/proc/20991/task/21000/stat : 21000 (java) S 20989 20989 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444816976 15514783744 20668 33554432000 4194304 4196468 140735454267408 140059057507024 140060186994587 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8323072 140735454270447 140735454270618 140735454270618 140735454273487 0
[pid=20991/tid=21001] ppid=20989 vsize=15151156 memory=1764 CPUtime=0.26 cores=1,3,5,7
/proc/20991/task/21001/stat : 21001 (java) R 20989 20989 14983 0 -1 4202560 1400 0 0 0 26 0 0 0 20 0 15 0 444816976 15514783744 20668 33554432000 4194304 4196468 140735454267408 140059056435008 140060166664420 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 8323072 140735454270447 140735454270618 140735454270618 140735454273487 0
[pid=20991/tid=21002] ppid=20989 vsize=15151156 memory=111628 CPUtime=0.26 cores=1,3,5,7
/proc/20991/task/21002/stat : 21002 (java) R 20989 20989 14983 0 -1 4202560 1075 0 0 0 26 0 0 0 20 0 15 0 444816976 15514783744 20668 33554432000 4194304 4196468 140735454267408 140059055391456 140060168520269 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8323072 140735454270447 140735454270618 140735454270618 140735454273487 0
[pid=20991/tid=21003] ppid=20989 vsize=15151156 memory=796 CPUtime=0.42 cores=1,3,5,7
/proc/20991/task/21003/stat : 21003 (java) S 20989 20989 14983 0 -1 1077944384 2213 0 0 0 42 0 0 0 20 0 15 0 444816976 15514783744 20668 33554432000 4194304 4196468 140735454267408 140059054348528 140060186987138 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8323072 140735454270447 140735454270618 140735454270618 140735454273487 0
[pid=20991/tid=21004] ppid=20989 vsize=15151156 memory=4096 CPUtime=0 cores=1,3,5,7
/proc/20991/task/21004/stat : 21004 (java) S 20989 20989 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444816976 15514783744 20668 33554432000 4194304 4196468 140735454267408 140059053296224 140060186986197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8323072 140735454270447 140735454270618 140735454270618 140735454273487 0
[pid=20991/tid=21005] ppid=20989 vsize=15151156 memory=1808 CPUtime=0 cores=1,3,5,7
/proc/20991/task/21005/stat : 21005 (java) S 20989 20989 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444816976 15514783744 20668 33554432000 4194304 4196468 140735454267408 140059052243760 140060186987138 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8323072 140735454270447 140735454270618 140735454270618 140735454273487 0
Current children cumulated CPU time: 1.66 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 84124 KiB
[startup+1.5009 s]
/proc/loadavg: 6.99 8.23 8.53 11/237 21009
/proc/meminfo: memFree=31131032/32770624 swapFree=66997372/67108860
[pid=20989] ppid=20986 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/20989/stat : 20989 (xcsp3-exec) S 20986 20989 14983 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 444816970 115843072 363 33554432000 4194304 5098028 140726427653712 140726427651816 140366517420668 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 10211328 140726427657082 140726427657325 140726427657325 140726427660234 0
/proc/20989/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
/proc/20991/stat : 20991 (java) S 20989 20989 14983 0 -1 1077944320 119967 0 0 0 226584 1214 0 0 20 0 19 0 444816970 15789527040 115183 33554432000 4194304 4196468 140735454267408 140735454249952 140060186975991 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 8323072 140735454270447 140735454270618 140735454270618 140735454273487 0
/proc/20991/statm: 3854865 115183 3529 1 0 3815965 0
[pid=20991/tid=20992] ppid=20989 vsize=15419460 memory=441760 CPUtime=0.94 cores=1,3,5,7
/proc/20991/task/20992/stat : 20992 (java) S 20989 20989 14983 0 -1 1077944384 9016 0 0 0 90 4 0 0 20 0 19 0 444816971 15789527040 115183 33554432000 4194304 4196468 140735454267408 140060191216768 140060186986197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8323072 140735454270447 140735454270618 140735454270618 140735454273487 0
[pid=20991/tid=20993] ppid=20989 vsize=15419460 memory=437056 CPUtime=2.6 cores=1,3,5,7
/proc/20991/task/20993/stat : 20993 (java) S 20989 20989 14983 0 -1 1077944384 2891 0 0 0 250 10 0 0 20 0 19 0 444816971 15789527040 115183 33554432000 4194304 4196468 140735454267408 140059779631376 140060186986197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8323072 140735454270447 140735454270618 140735454270618 140735454273487 0
[pid=20991/tid=20994] ppid=20989 vsize=15419460 memory=463168 CPUtime=2.58 cores=1,3,5,7
/proc/20991/task/20994/stat : 20994 (java) S 20989 20989 14983 0 -1 1077944384 3796 0 0 0 248 10 0 0 20 0 19 0 444816972 15789527040 115183 33554432000 4194304 4196468 140735454267408 140059778578832 140060186986197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8323072 140735454270447 140735454270618 140735454270618 140735454273487 0
[pid=20991/tid=20995] ppid=20989 vsize=15419460 memory=1452 CPUtime=2.59 cores=1,3,5,7
/proc/20991/task/20995/stat : 20995 (java) S 20989 20989 14983 0 -1 1077944384 2874 0 0 0 249 10 0 0 20 0 19 0 444816972 15789527040 115183 33554432000 4194304 4196468 140735454267408 140059777526288 140060186986197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8323072 140735454270447 140735454270618 140735454270618 140735454273487 0
[pid=20991/tid=20996] ppid=20989 vsize=15419460 memory=462144 CPUtime=2.59 cores=1,3,5,7
/proc/20991/task/20996/stat : 20996 (java) S 20989 20989 14983 0 -1 1077944384 3236 0 0 0 248 11 0 0 20 0 19 0 444816972 15789527040 115183 33554432000 4194304 4196468 140735454267408 140059776473744 140060186986197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8323072 140735454270447 140735454270618 140735454270618 140735454273487 0
[pid=20991/tid=20997] ppid=20989 vsize=15419460 memory=461116 CPUtime=15.57 cores=1,3,5,7
/proc/20991/task/20997/stat : 20997 (java) S 20989 20989 14983 0 -1 1077944384 3297 0 0 0 390 1167 0 0 20 0 19 0 444816973 15789527040 115183 33554432000 4194304 4196468 140735454267408 140059060664816 140060186987138 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8323072 140735454270447 140735454270618 140735454270618 140735454273487 0
[pid=20991/tid=20998] ppid=20989 vsize=15419460 memory=3504 CPUtime=0 cores=1,3,5,7
/proc/20991/task/20998/stat : 20998 (java) S 20989 20989 14983 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 19 0 444816973 15789527040 115183 33554432000 4194304 4196468 140735454267408 140059059611104 140060186986197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8323072 140735454270447 140735454270618 140735454270618 140735454273487 0
[pid=20991/tid=20999] ppid=20989 vsize=15419460 memory=48072 CPUtime=0 cores=1,3,5,7
/proc/20991/task/20999/stat : 20999 (java) S 20989 20989 14983 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 19 0 444816974 15789527040 115183 33554432000 4194304 4196468 140735454267408 140059058558464 140060186986197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8323072 140735454270447 140735454270618 140735454270618 140735454273487 0
[pid=20991/tid=21000] ppid=20989 vsize=15419460 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/20991/task/21000/stat : 21000 (java) S 20989 20989 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 444816976 15789527040 115183 33554432000 4194304 4196468 140735454267408 140059057507024 140060186994587 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8323072 140735454270447 140735454270618 140735454270618 140735454273487 0
[pid=20991/tid=21001] ppid=20989 vsize=15419460 memory=1668 CPUtime=5.07 cores=1,3,5,7
/proc/20991/task/21001/stat : 21001 (java) S 20989 20989 14983 0 -1 1077944384 34557 0 0 0 504 3 0 0 20 0 19 0 444816976 15789527040 115183 33554432000 4194304 4196468 140735454267408 140059056453616 140060186987138 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8323072 140735454270447 140735454270618 140735454270618 140735454273487 0
[pid=20991/tid=21002] ppid=20989 vsize=15419460 memory=426812 CPUtime=4.4 cores=1,3,5,7
/proc/20991/task/21002/stat : 21002 (java) S 20989 20989 14983 0 -1 1077944384 28389 0 0 0 437 3 0 0 20 0 19 0 444816976 15789527040 115183 33554432000 4194304 4196468 140735454267408 140059055401072 140060186987138 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8323072 140735454270447 140735454270618 140735454270618 140735454273487 0
[pid=20991/tid=21003] ppid=20989 vsize=15419460 memory=426812 CPUtime=1.07 cores=1,3,5,7
/proc/20991/task/21003/stat : 21003 (java) S 20989 20989 14983 0 -1 1077944384 13738 0 0 0 105 2 0 0 20 0 19 0 444816976 15789527040 115183 33554432000 4194304 4196468 140735454267408 140059054348528 140060186987138 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8323072 140735454270447 140735454270618 140735454270618 140735454273487 0
[pid=20991/tid=21004] ppid=20989 vsize=15419460 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/20991/task/21004/stat : 21004 (java) S 20989 20989 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 444816976 15789527040 115183 33554432000 4194304 4196468 140735454267408 140059053296224 140060186986197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8323072 140735454270447 140735454270618 140735454270618 140735454273487 0
[pid=20991/tid=21005] ppid=20989 vsize=15419460 memory=460604 CPUtime=0.34 cores=1,3,5,7
/proc/20991/task/21005/stat : 21005 (java) S 20989 20989 14983 0 -1 1077944384 918 0 0 0 17 17 0 0 20 0 19 0 444816976 15789527040 115183 33554432000 4194304 4196468 140735454267408 140059052243760 140060186987138 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8323072 140735454270447 140735454270618 140735454270618 140735454273487 0
[pid=20991/tid=21006] ppid=20989 vsize=15419460 memory=1452 CPUtime=556.51 cores=1,3,5,7
/proc/20991/task/21006/stat : 21006 (java) R 20989 20989 14983 0 -1 4202560 3230 0 0 0 55647 4 0 0 20 0 19 0 444817067 15789527040 115183 33554432000 4194304 4196468 140735454267408 140059041164584 140059833551336 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8323072 140735454270447 140735454270618 140735454270618 140735454273487 0
[pid=20991/tid=21007] ppid=20989 vsize=15419460 memory=1452 CPUtime=555.72 cores=1,3,5,7
/proc/20991/task/21007/stat : 21007 (java) R 20989 20989 14983 0 -1 4202560 7712 0 0 0 55566 6 0 0 20 0 19 0 444817068 15789527040 115183 33554432000 4194304 4196468 140735454267408 140059040113160 140059827906263 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 8323072 140735454270447 140735454270618 140735454270618 140735454273487 0
[pid=20991/tid=21008] ppid=20989 vsize=15419460 memory=1452 CPUtime=556.77 cores=1,3,5,7
/proc/20991/task/21008/stat : 21008 (java) R 20989 20989 14983 0 -1 4202560 2851 0 0 0 55672 5 0 0 20 0 19 0 444817068 15789527040 115183 33554432000 4194304 4196468 140735454267408 140059039063536 140059836482498 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8323072 140735454270447 140735454270618 140735454270618 140735454273487 0
[pid=20991/tid=21009] ppid=20989 vsize=15419460 memory=437572 CPUtime=571.23 cores=1,3,5,7
/proc/20991/task/21009/stat : 21009 (java) R 20989 20989 14983 0 -1 4202560 2095 0 0 0 57119 4 0 0 20 0 19 0 444817068 15789527040 115183 33554432000 4194304 4196468 140735454267408 140059038006880 140059835333450 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8323072 140735454270447 140735454270618 140735454270618 140735454273487 0
Current children cumulated CPU time: 2277.98 s
Current children cumulated vsize: 15532588 KiB
Current children cumulated memory: 462184 KiB
[startup+642.302 s]
/proc/loadavg: 8.61 8.32 8.41 11/238 21178
/proc/meminfo: memFree=30794220/32770624 swapFree=66997372/67108860
[pid=20989] ppid=20986 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/20989/stat : 20989 (xcsp3-exec) S 20986 20989 14983 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 444816970 115843072 363 33554432000 4194304 5098028 140726427653712 140726427651816 140366517420668 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 10211328 140726427657082 140726427657325 140726427657325 140726427660234 0
/proc/20989/statm: 28282 363 304 221 0 87 0
[pid=20991] ppid=20989 vsize=15419460 memory=511236 CPUtime=2510.67 cores=1,3,5,7
/proc/20991/stat : 20991 (java) S 20989 20989 14983 0 -1 1077944320 124606 0 0 0 249647 1420 0 0 20 0 19 0 444816970 15789527040 127809 33554432000 4194304 4196468 140735454267408 140735454249952 140060186975991 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 8323072 140735454270447 140735454270618 140735454270618 140735454273487 0
/proc/20991/statm: 3854865 127809 3529 1 0 3815965 0
[pid=20991/tid=20992] ppid=20989 vsize=15419460 memory=510216 CPUtime=0.94 cores=1,3,5,7
/proc/20991/task/20992/stat : 20992 (java) S 20989 20989 14983 0 -1 1077944384 9016 0 0 0 90 4 0 0 20 0 19 0 444816971 15789527040 127809 33554432000 4194304 4196468 140735454267408 140060191216768 140060186986197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8323072 140735454270447 140735454270618 140735454270618 140735454273487 0
[pid=20991/tid=20993] ppid=20989 vsize=15419460 memory=507104 CPUtime=3.02 cores=1,3,5,7
/proc/20991/task/20993/stat : 20993 (java) S 20989 20989 14983 0 -1 1077944384 3216 0 0 0 291 11 0 0 20 0 19 0 444816971 15789527040 127809 33554432000 4194304 4196468 140735454267408 140059779631376 140060186986197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8323072 140735454270447 140735454270618 140735454270618 140735454273487 0
[pid=20991/tid=20994] ppid=20989 vsize=15419460 memory=508680 CPUtime=3 cores=1,3,5,7
/proc/20991/task/20994/stat : 20994 (java) S 20989 20989 14983 0 -1 1077944384 4237 0 0 0 289 11 0 0 20 0 19 0 444816972 15789527040 127809 33554432000 4194304 4196468 140735454267408 140059778578832 140060186986197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8323072 140735454270447 140735454270618 140735454270618 140735454273487 0
[pid=20991/tid=20995] ppid=20989 vsize=15419460 memory=1452 CPUtime=3.01 cores=1,3,5,7
/proc/20991/task/20995/stat : 20995 (java) S 20989 20989 14983 0 -1 1077944384 3060 0 0 0 290 11 0 0 20 0 19 0 444816972 15789527040 127809 33554432000 4194304 4196468 140735454267408 140059777526288 140060186986197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8323072 140735454270447 140735454270618 140735454270618 140735454273487 0
[pid=20991/tid=20996] ppid=20989 vsize=15419460 memory=1452 CPUtime=3.01 cores=1,3,5,7
/proc/20991/task/20996/stat : 20996 (java) S 20989 20989 14983 0 -1 1077944384 3401 0 0 0 290 11 0 0 20 0 19 0 444816972 15789527040 127809 33554432000 4194304 4196468 140735454267408 140059776473744 140060186986197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8323072 140735454270447 140735454270618 140735454270618 140735454273487 0
[pid=20991/tid=20997] ppid=20989 vsize=15419460 memory=510216 CPUtime=18.28 cores=1,3,5,7
/proc/20991/task/20997/stat : 20997 (java) S 20989 20989 14983 0 -1 1077944384 3533 0 0 0 459 1369 0 0 20 0 19 0 444816973 15789527040 127809 33554432000 4194304 4196468 140735454267408 140059060664816 140060186987138 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8323072 140735454270447 140735454270618 140735454270618 140735454273487 0
[pid=20991/tid=20998] ppid=20989 vsize=15419460 memory=509188 CPUtime=0 cores=1,3,5,7
/proc/20991/task/20998/stat : 20998 (java) S 20989 20989 14983 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 19 0 444816973 15789527040 127809 33554432000 4194304 4196468 140735454267408 140059059611104 140060186986197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8323072 140735454270447 140735454270618 140735454270618 140735454273487 0
[pid=20991/tid=20999] ppid=20989 vsize=15419460 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/20991/task/20999/stat : 20999 (java) S 20989 20989 14983 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 19 0 444816974 15789527040 127809 33554432000 4194304 4196468 140735454267408 140059058558464 140060186986197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8323072 140735454270447 140735454270618 140735454270618 140735454273487 0
[pid=20991/tid=21000] ppid=20989 vsize=15419460 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/20991/task/21000/stat : 21000 (java) S 20989 20989 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 444816976 15789527040 127809 33554432000 4194304 4196468 140735454267408 140059057507024 140060186994587 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8323072 140735454270447 140735454270618 140735454270618 140735454273487 0
[pid=20991/tid=21001] ppid=20989 vsize=15419460 memory=3504 CPUtime=5.07 cores=1,3,5,7
/proc/20991/task/21001/stat : 21001 (java) S 20989 20989 14983 0 -1 1077944384 34559 0 0 0 504 3 0 0 20 0 19 0 444816976 15789527040 127809 33554432000 4194304 4196468 140735454267408 140059056453616 140060186987138 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8323072 140735454270447 140735454270618 140735454270618 140735454273487 0
[pid=20991/tid=21002] ppid=20989 vsize=15419460 memory=48080 CPUtime=4.4 cores=1,3,5,7
/proc/20991/task/21002/stat : 21002 (java) S 20989 20989 14983 0 -1 1077944384 28389 0 0 0 437 3 0 0 20 0 19 0 444816976 15789527040 127809 33554432000 4194304 4196468 140735454267408 140059055401072 140060186987138 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8323072 140735454270447 140735454270618 140735454270618 140735454273487 0
[pid=20991/tid=21003] ppid=20989 vsize=15419460 memory=3028 CPUtime=1.07 cores=1,3,5,7
/proc/20991/task/21003/stat : 21003 (java) S 20989 20989 14983 0 -1 1077944384 13738 0 0 0 105 2 0 0 20 0 19 0 444816976 15789527040 127809 33554432000 4194304 4196468 140735454267408 140059054348528 140060186987138 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8323072 140735454270447 140735454270618 140735454270618 140735454273487 0
[pid=20991/tid=21004] ppid=20989 vsize=15419460 memory=2012 CPUtime=0 cores=1,3,5,7
/proc/20991/task/21004/stat : 21004 (java) S 20989 20989 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 444816976 15789527040 127809 33554432000 4194304 4196468 140735454267408 140059053296224 140060186986197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8323072 140735454270447 140735454270618 140735454270618 140735454273487 0
[pid=20991/tid=21005] ppid=20989 vsize=15419460 memory=1452 CPUtime=0.34 cores=1,3,5,7
/proc/20991/task/21005/stat : 21005 (java) S 20989 20989 14983 0 -1 1077944384 924 0 0 0 17 17 0 0 20 0 19 0 444816976 15789527040 127809 33554432000 4194304 4196468 140735454267408 140059052243760 140060186987138 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8323072 140735454270447 140735454270618 140735454270618 140735454273487 0
[pid=20991/tid=21006] ppid=20989 vsize=15419460 memory=510728 CPUtime=613.04 cores=1,3,5,7
/proc/20991/task/21006/stat : 21006 (java) R 20989 20989 14983 0 -1 4202560 3440 0 0 0 61300 4 0 0 20 0 19 0 444817067 15789527040 127809 33554432000 4194304 4196468 140735454267408 140059041164584 140059827906286 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8323072 140735454270447 140735454270618 140735454270618 140735454273487 0
[pid=20991/tid=21007] ppid=20989 vsize=15419460 memory=506596 CPUtime=612.06 cores=1,3,5,7
/proc/20991/task/21007/stat : 21007 (java) R 20989 20989 14983 0 -1 4202560 10539 0 0 0 61198 8 0 0 20 0 19 0 444817068 15789527040 127809 33554432000 4194304 4196468 140735454267408 140059040113184 140059834214329 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8323072 140735454270447 140735454270618 140735454270618 140735454273487 0
[pid=20991/tid=21008] ppid=20989 vsize=15419460 memory=1452 CPUtime=613.22 cores=1,3,5,7
/proc/20991/task/21008/stat : 21008 (java) R 20989 20989 14983 0 -1 4202560 3035 0 0 0 61317 5 0 0 20 0 19 0 444817068 15789527040 127809 33554432000 4194304 4196468 140735454267408 140059039063552 140059835235097 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 8323072 140735454270447 140735454270618 140735454270618 140735454273487 0
[pid=20991/tid=21009] ppid=20989 vsize=15419460 memory=6791534058613427641 CPUtime=630.18 cores=1,3,5,7
/proc/20991/task/21009/stat : 21009 (java) R 20989 20989 14983 0 -1 4202560 2152 0 0 0 63013 5 0 0 20 0 19 0 444817068 15789527040 127809 33554432000 4194304 4196468 140735454267408 140059038006880 140059835333553 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8323072 140735454270447 140735454270618 140735454270618 140735454273487 0
Current children cumulated CPU time: 2510.67 s
Current children cumulated vsize: 15532588 KiB
Current children cumulated memory: 512688 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+644.802 s]
/proc/loadavg: 8.61 8.32 8.41 11/238 21178
/proc/meminfo: memFree=30796828/32770624 swapFree=66997372/67108860
[pid=20989] ppid=20986 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/20989/stat : 20989 (xcsp3-exec) S 20986 20989 14983 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 444816970 115843072 363 33554432000 4194304 5098028 140726427653712 140726427651816 140366517420668 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 10211328 140726427657082 140726427657325 140726427657325 140726427660234 0
/proc/20989/statm: 28282 363 304 221 0 87 0
[pid=20991] ppid=20989 vsize=15419460 memory=507220 CPUtime=2520.38 cores=1,3,5,7
/proc/20991/stat : 20991 (java) S 20989 20989 14983 0 -1 1077944320 125106 0 0 0 250609 1429 0 0 20 0 19 0 444816970 15789527040 126805 33554432000 4194304 4196468 140735454267408 140735454249952 140060186975991 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 8323072 140735454270447 140735454270618 140735454270618 140735454273487 0
/proc/20991/statm: 3854865 126805 3529 1 0 3815965 0
[pid=20991/tid=20992] ppid=20989 vsize=15419460 memory=2012 CPUtime=0.94 cores=1,3,5,7
/proc/20991/task/20992/stat : 20992 (java) S 20989 20989 14983 0 -1 1077944384 9016 0 0 0 90 4 0 0 20 0 19 0 444816971 15789527040 126805 33554432000 4194304 4196468 140735454267408 140060191216768 140060186986197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8323072 140735454270447 140735454270618 140735454270618 140735454273487 0
[pid=20991/tid=20993] ppid=20989 vsize=15419460 memory=1388 CPUtime=3.04 cores=1,3,5,7
/proc/20991/task/20993/stat : 20993 (java) S 20989 20989 14983 0 -1 1077944384 3298 0 0 0 293 11 0 0 20 0 19 0 444816971 15789527040 126805 33554432000 4194304 4196468 140735454267408 140059779631376 140060186986197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8323072 140735454270447 140735454270618 140735454270618 140735454273487 0
[pid=20991/tid=20994] ppid=20989 vsize=15419460 memory=288230574492221466 CPUtime=3.01 cores=1,3,5,7
/proc/20991/task/20994/stat : 20994 (java) S 20989 20989 14983 0 -1 1077944384 4335 0 0 0 290 11 0 0 20 0 19 0 444816972 15789527040 126805 33554432000 4194304 4196468 140735454267408 140059778578832 140060186986197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8323072 140735454270447 140735454270618 140735454270618 140735454273487 0
[pid=20991/tid=20995] ppid=20989 vsize=15419460 memory=303430244793319739 CPUtime=3.03 cores=1,3,5,7
/proc/20991/task/20995/stat : 20995 (java) S 20989 20989 14983 0 -1 1077944384 3338 0 0 0 292 11 0 0 20 0 19 0 444816972 15789527040 126805 33554432000 4194304 4196468 140735454267408 140059777526288 140060186986197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8323072 140735454270447 140735454270618 140735454270618 140735454273487 0
[pid=20991/tid=20996] ppid=20989 vsize=15419460 memory=14410423571057304 CPUtime=3.03 cores=1,3,5,7
/proc/20991/task/20996/stat : 20996 (java) S 20989 20989 14983 0 -1 1077944384 3419 0 0 0 292 11 0 0 20 0 19 0 444816972 15789527040 126805 33554432000 4194304 4196468 140735454267408 140059776473744 140060186986197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8323072 140735454270447 140735454270618 140735454270618 140735454273487 0
[pid=20991/tid=20997] ppid=20989 vsize=15419460 memory=0 CPUtime=18.39 cores=1,3,5,7
/proc/20991/task/20997/stat : 20997 (java) S 20989 20989 14983 0 -1 1077944384 3536 0 0 0 461 1378 0 0 20 0 19 0 444816973 15789527040 126805 33554432000 4194304 4196468 140735454267408 140059060664816 140060186987138 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8323072 140735454270447 140735454270618 140735454270618 140735454273487 0
[pid=20991/tid=20998] ppid=20989 vsize=15419460 memory=14696279397631387 CPUtime=0 cores=1,3,5,7
/proc/20991/task/20998/stat : 20998 (java) S 20989 20989 14983 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 19 0 444816973 15789527040 126805 33554432000 4194304 4196468 140735454267408 140059059611104 140060186986197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8323072 140735454270447 140735454270618 140735454270618 140735454273487 0
[pid=20991/tid=20999] ppid=20989 vsize=15419460 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/20991/task/20999/stat : 20999 (java) S 20989 20989 14983 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 19 0 444816974 15789527040 126805 33554432000 4194304 4196468 140735454267408 140059058558464 140060186986197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8323072 140735454270447 140735454270618 140735454270618 140735454273487 0
[pid=20991/tid=21000] ppid=20989 vsize=15419460 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/20991/task/21000/stat : 21000 (java) S 20989 20989 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 444816976 15789527040 126805 33554432000 4194304 4196468 140735454267408 140059057507024 140060186994587 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8323072 140735454270447 140735454270618 140735454270618 140735454273487 0
[pid=20991/tid=21001] ppid=20989 vsize=15419460 memory=510216 CPUtime=5.07 cores=1,3,5,7
/proc/20991/task/21001/stat : 21001 (java) S 20989 20989 14983 0 -1 1077944384 34561 0 0 0 504 3 0 0 20 0 19 0 444816976 15789527040 126805 33554432000 4194304 4196468 140735454267408 140059056453616 140060186987138 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8323072 140735454270447 140735454270618 140735454270618 140735454273487 0
[pid=20991/tid=21002] ppid=20989 vsize=15419460 memory=294 CPUtime=4.4 cores=1,3,5,7
/proc/20991/task/21002/stat : 21002 (java) S 20989 20989 14983 0 -1 1077944384 28391 0 0 0 437 3 0 0 20 0 19 0 444816976 15789527040 126805 33554432000 4194304 4196468 140735454267408 140059055401072 140060186987138 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8323072 140735454270447 140735454270618 140735454270618 140735454273487 0
[pid=20991/tid=21003] ppid=20989 vsize=15419460 memory=292 CPUtime=1.07 cores=1,3,5,7
/proc/20991/task/21003/stat : 21003 (java) S 20989 20989 14983 0 -1 1077944384 13740 0 0 0 105 2 0 0 20 0 19 0 444816976 15789527040 126805 33554432000 4194304 4196468 140735454267408 140059054348528 140060186987138 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8323072 140735454270447 140735454270618 140735454270618 140735454273487 0
[pid=20991/tid=21004] ppid=20989 vsize=15419460 memory=294 CPUtime=0 cores=1,3,5,7
/proc/20991/task/21004/stat : 21004 (java) S 20989 20989 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 444816976 15789527040 126805 33554432000 4194304 4196468 140735454267408 140059053296224 140060186986197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8323072 140735454270447 140735454270618 140735454270618 140735454273487 0
[pid=20991/tid=21005] ppid=20989 vsize=15419460 memory=1452 CPUtime=0.34 cores=1,3,5,7
/proc/20991/task/21005/stat : 21005 (java) S 20989 20989 14983 0 -1 1077944384 924 0 0 0 17 17 0 0 20 0 19 0 444816976 15789527040 126805 33554432000 4194304 4196468 140735454267408 140059052243760 140060186987138 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8323072 140735454270447 140735454270618 140735454270618 140735454273487 0
[pid=20991/tid=21006] ppid=20989 vsize=15419460 memory=1452 CPUtime=615.38 cores=1,3,5,7
/proc/20991/task/21006/stat : 21006 (java) R 20989 20989 14983 0 -1 4202560 3441 0 0 0 61534 4 0 0 20 0 19 0 444817067 15789527040 126805 33554432000 4194304 4196468 140735454267408 140059041164584 140059831432588 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8323072 140735454270447 140735454270618 140735454270618 140735454273487 0
[pid=20991/tid=21007] ppid=20989 vsize=15419460 memory=6791534058613427641 CPUtime=614.4 cores=1,3,5,7
/proc/20991/task/21007/stat : 21007 (java) R 20989 20989 14983 0 -1 4202560 10547 0 0 0 61432 8 0 0 20 0 19 0 444817068 15789527040 126805 33554432000 4194304 4196468 140735454267408 140059040116144 140059833551007 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8323072 140735454270447 140735454270618 140735454270618 140735454273487 0
[pid=20991/tid=21008] ppid=20989 vsize=15419460 memory=1060 CPUtime=615.58 cores=1,3,5,7
/proc/20991/task/21008/stat : 21008 (java) R 20989 20989 14983 0 -1 4202560 3038 0 0 0 61553 5 0 0 20 0 19 0 444817068 15789527040 126805 33554432000 4194304 4196468 140735454267408 140059039060432 140059833365081 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8323072 140735454270447 140735454270618 140735454270618 140735454273487 0
[pid=20991/tid=21009] ppid=20989 vsize=15419460 memory=1548 CPUtime=632.65 cores=1,3,5,7
/proc/20991/task/21009/stat : 21009 (java) R 20989 20989 14983 0 -1 4202560 2155 0 0 0 63260 5 0 0 20 0 19 0 444817068 15789527040 126805 33554432000 4194304 4196468 140735454267408 140059038006880 140059835333442 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 8323072 140735454270447 140735454270618 140735454270618 140735454273487 0
Current children cumulated CPU time: 2520.38 s
Current children cumulated vsize: 15532588 KiB
Current children cumulated memory: 508672 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+644.822 s]
# the end of solver process 20989 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.001155 s, system=0.001155 s
[startup+644.913 s]
# the end of solver process 20991 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2506.44 s, system=14.3213 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 644.913
CPU time (s): 2520.76
CPU user time (s): 2506.44
CPU system time (s): 14.3213
CPU usage (%): 390.868
Max. virtual memory (cumulated for all children) (KiB): 15535076
Max. memory (cumulated for all children) (KiB): 512700
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2506.44
system time used= 14.3213
maximum resident set size= 511248
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 126890
page faults= 0
swaps= 0
block input operations= 0
block output operations= 848
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 60615
involuntary context switches= 48075
# summary of solver processes directly reported to runsolver:
# pid: 20989,20991
# total CPU time (s): 2520.76
# total CPU user time (s): 2506.44
# total CPU system time (s): 14.3213
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.14372 second user time and 7.4108 second system time
The end