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 (13075 MiB free)
memory of node 1: 16384 MiB (12475 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4406016-1569405727/watcher-4406016-1569405727 -o /var/tmp/evaluation-result-4406016-1569405727/solver-4406016-1569405727 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node136-1569396625-26122 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 1 -ml 12000 -tdir HOME -seed 1947704155 HOME/instance-4406016-1569405727.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=29072, runsolver pid=29069
Current StackSize limit: 8192 KiB
[startup+0.100154 s]*
/proc/loadavg: 3.44 3.89 2.83 5/231 29088
/proc/meminfo: memFree=26147584/32770624 swapFree=67002132/67108860
[pid=29072] ppid=29069 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/29072/stat : 29072 (xcsp3-exec) S 29069 29072 26090 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516821300 115843072 364 33554432000 4194304 5098028 140730137344160 140730137342264 140313167471228 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 12034048 140730137350998 140730137351257 140730137351257 140730137354182 0
/proc/29072/statm: 28282 364 305 221 0 87 0
[pid=29074] ppid=29072 vsize=15144776 memory=29624 CPUtime=0.13 cores=1,3,5,7
/proc/29074/stat : 29074 (java) S 29072 29072 26090 0 -1 1077944320 5830 0 0 0 12 1 0 0 20 0 15 0 516821300 15508250624 7406 33554432000 4194304 4196468 140734448019136 140734448001680 140373100289783 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19386368 140734448026587 140734448026762 140734448026762 140734448029647 0
/proc/29074/statm: 3786194 7406 3151 1 0 3748377 0
[pid=29074/tid=29075] ppid=29072 vsize=15144776 memory=-6962121287837372198 CPUtime=0.09 cores=1,3,5,7
/proc/29074/task/29075/stat : 29075 (java) R 29072 29072 26090 0 -1 4202560 3709 0 0 0 8 1 0 0 20 0 15 0 516821300 15508250624 7406 33554432000 4194304 4196468 140734448019136 140373104520160 140373092531173 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19386368 140734448026587 140734448026762 140734448026762 140734448029647 0
[pid=29074/tid=29076] ppid=29072 vsize=15144776 memory=-3689451258167578675 CPUtime=0 cores=1,3,5,7
/proc/29074/task/29076/stat : 29076 (java) S 29072 29072 26090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516821301 15508250624 7406 33554432000 4194304 4196468 140734448019136 140373028330384 140373100299989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19386368 140734448026587 140734448026762 140734448026762 140734448029647 0
[pid=29074/tid=29077] ppid=29072 vsize=15144776 memory=140347830023808 CPUtime=0 cores=1,3,5,7
/proc/29074/task/29077/stat : 29077 (java) S 29072 29072 26090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516821301 15508250624 7406 33554432000 4194304 4196468 140734448019136 140373027277584 140373100299989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19386368 140734448026587 140734448026762 140734448026762 140734448029647 0
[pid=29074/tid=29078] ppid=29072 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29074/task/29078/stat : 29078 (java) S 29072 29072 26090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516821301 15508250624 7406 33554432000 4194304 4196468 140734448019136 140373026225296 140373100299989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19386368 140734448026587 140734448026762 140734448026762 140734448029647 0
[pid=29074/tid=29079] ppid=29072 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29074/task/29079/stat : 29079 (java) S 29072 29072 26090 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516821301 15508250624 7406 33554432000 4194304 4196468 140734448019136 140373025172496 140373100299989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19386368 140734448026587 140734448026762 140734448026762 140734448029647 0
[pid=29074/tid=29080] ppid=29072 vsize=15144776 memory=140347830023808 CPUtime=0 cores=1,3,5,7
/proc/29074/task/29080/stat : 29080 (java) S 29072 29072 26090 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516821302 15508250624 7406 33554432000 4194304 4196468 140734448019136 140372568701040 140373100300930 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19386368 140734448026587 140734448026762 140734448026762 140734448029647 0
[pid=29074/tid=29081] ppid=29072 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29074/task/29081/stat : 29081 (java) S 29072 29072 26090 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516821303 15508250624 7406 33554432000 4194304 4196468 140734448019136 140372567647008 140373100299989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19386368 140734448026587 140734448026762 140734448026762 140734448029647 0
[pid=29074/tid=29082] ppid=29072 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29074/task/29082/stat : 29082 (java) S 29072 29072 26090 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516821303 15508250624 7406 33554432000 4194304 4196468 140734448019136 140372566594672 140373100299989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19386368 140734448026587 140734448026762 140734448026762 140734448029647 0
[pid=29074/tid=29083] ppid=29072 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29074/task/29083/stat : 29083 (java) S 29072 29072 26090 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516821305 15508250624 7406 33554432000 4194304 4196468 140734448019136 140372565542992 140373100308379 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19386368 140734448026587 140734448026762 140734448026762 140734448029647 0
[pid=29074/tid=29084] ppid=29072 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29074/task/29084/stat : 29084 (java) R 29072 29072 26090 0 -1 1077944384 424 0 0 0 0 0 0 0 20 0 15 0 516821305 15508250624 7406 33554432000 4194304 4196468 140734448019136 140372564490864 140373100300930 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19386368 140734448026587 140734448026762 140734448026762 140734448029647 0
[pid=29074/tid=29085] ppid=29072 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29074/task/29085/stat : 29085 (java) S 29072 29072 26090 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 516821305 15508250624 7406 33554432000 4194304 4196468 140734448019136 140372563438064 140373100300930 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19386368 140734448026587 140734448026762 140734448026762 140734448029647 0
[pid=29074/tid=29086] ppid=29072 vsize=15144776 memory=140347830023808 CPUtime=0.02 cores=1,3,5,7
/proc/29074/task/29086/stat : 29086 (java) R 29072 29072 26090 0 -1 4202560 335 0 0 0 2 0 0 0 20 0 15 0 516821305 15508250624 7406 33554432000 4194304 4196468 140734448019136 140372562381800 140372701347961 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19386368 140734448026587 140734448026762 140734448026762 140734448029647 0
[pid=29074/tid=29087] ppid=29072 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29074/task/29087/stat : 29087 (java) S 29072 29072 26090 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516821305 15508250624 7406 33554432000 4194304 4196468 140734448019136 140372561333216 140373100299989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19386368 140734448026587 140734448026762 140734448026762 140734448029647 0
[pid=29074/tid=29088] ppid=29072 vsize=15144776 memory=140347830023808 CPUtime=0 cores=1,3,5,7
/proc/29074/task/29088/stat : 29088 (java) S 29072 29072 26090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516821306 15508250624 7406 33554432000 4194304 4196468 140734448019136 140372560279984 140373100300930 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19386368 140734448026587 140734448026762 140734448026762 140734448029647 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 31080 KiB
[startup+0.212371 s]*
/proc/loadavg: 3.44 3.89 2.83 3/231 29088
/proc/meminfo: memFree=26133812/32770624 swapFree=67002132/67108860
[pid=29072] ppid=29069 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/29072/stat : 29072 (xcsp3-exec) S 29069 29072 26090 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516821300 115843072 364 33554432000 4194304 5098028 140730137344160 140730137342264 140313167471228 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 12034048 140730137350998 140730137351257 140730137351257 140730137354182 0
/proc/29072/statm: 28282 364 305 221 0 87 0
[pid=29074] ppid=29072 vsize=15144776 memory=41060 CPUtime=0.35 cores=1,3,5,7
/proc/29074/stat : 29074 (java) S 29072 29072 26090 0 -1 1077944320 9497 0 0 0 32 3 0 0 20 0 15 0 516821300 15508250624 10265 33554432000 4194304 4196468 140734448019136 140734448001680 140373100289783 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19386368 140734448026587 140734448026762 140734448026762 140734448029647 0
/proc/29074/statm: 3786194 10265 3310 1 0 3748377 0
[pid=29074/tid=29075] ppid=29072 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/29074/task/29075/stat : 29075 (java) R 29072 29072 26090 0 -1 4202560 6646 0 0 0 18 2 0 0 20 0 15 0 516821300 15508250624 10265 33554432000 4194304 4196468 140734448019136 140373104524768 140373084333413 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19386368 140734448026587 140734448026762 140734448026762 140734448029647 0
[pid=29074/tid=29076] ppid=29072 vsize=15144776 memory=13620 CPUtime=0 cores=1,3,5,7
/proc/29074/task/29076/stat : 29076 (java) S 29072 29072 26090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516821301 15508250624 10265 33554432000 4194304 4196468 140734448019136 140373028330384 140373100299989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19386368 140734448026587 140734448026762 140734448026762 140734448029647 0
[pid=29074/tid=29077] ppid=29072 vsize=15144776 memory=140347833854582 CPUtime=0 cores=1,3,5,7
/proc/29074/task/29077/stat : 29077 (java) S 29072 29072 26090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516821301 15508250624 10265 33554432000 4194304 4196468 140734448019136 140373027277584 140373100299989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19386368 140734448026587 140734448026762 140734448026762 140734448029647 0
[pid=29074/tid=29078] ppid=29072 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29074/task/29078/stat : 29078 (java) S 29072 29072 26090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516821301 15508250624 10265 33554432000 4194304 4196468 140734448019136 140373026225296 140373100299989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19386368 140734448026587 140734448026762 140734448026762 140734448029647 0
[pid=29074/tid=29079] ppid=29072 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29074/task/29079/stat : 29079 (java) S 29072 29072 26090 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516821301 15508250624 10265 33554432000 4194304 4196468 140734448019136 140373025172496 140373100299989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19386368 140734448026587 140734448026762 140734448026762 140734448029647 0
[pid=29074/tid=29080] ppid=29072 vsize=15144776 memory=140347830023808 CPUtime=0 cores=1,3,5,7
/proc/29074/task/29080/stat : 29080 (java) S 29072 29072 26090 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 516821302 15508250624 10265 33554432000 4194304 4196468 140734448019136 140372568701040 140373100300930 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19386368 140734448026587 140734448026762 140734448026762 140734448029647 0
[pid=29074/tid=29081] ppid=29072 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29074/task/29081/stat : 29081 (java) S 29072 29072 26090 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516821303 15508250624 10265 33554432000 4194304 4196468 140734448019136 140372567647008 140373100299989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19386368 140734448026587 140734448026762 140734448026762 140734448029647 0
[pid=29074/tid=29082] ppid=29072 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29074/task/29082/stat : 29082 (java) S 29072 29072 26090 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516821303 15508250624 10265 33554432000 4194304 4196468 140734448019136 140372566594672 140373100299989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19386368 140734448026587 140734448026762 140734448026762 140734448029647 0
[pid=29074/tid=29083] ppid=29072 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29074/task/29083/stat : 29083 (java) S 29072 29072 26090 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516821305 15508250624 10265 33554432000 4194304 4196468 140734448019136 140372565542992 140373100308379 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19386368 140734448026587 140734448026762 140734448026762 140734448029647 0
[pid=29074/tid=29084] ppid=29072 vsize=15144776 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/29074/task/29084/stat : 29084 (java) S 29072 29072 26090 0 -1 1077944384 690 0 0 0 3 0 0 0 20 0 15 0 516821305 15508250624 10265 33554432000 4194304 4196468 140734448019136 140372564490864 140373100300930 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19386368 140734448026587 140734448026762 140734448026762 140734448029647 0
[pid=29074/tid=29085] ppid=29072 vsize=15144776 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/29074/task/29085/stat : 29085 (java) S 29072 29072 26090 0 -1 1077944384 106 0 0 0 2 0 0 0 20 0 15 0 516821305 15508250624 10265 33554432000 4194304 4196468 140734448019136 140372563438064 140373100300930 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19386368 140734448026587 140734448026762 140734448026762 140734448029647 0
[pid=29074/tid=29086] ppid=29072 vsize=15144776 memory=140347830023808 CPUtime=0.08 cores=1,3,5,7
/proc/29074/task/29086/stat : 29086 (java) S 29072 29072 26090 0 -1 1077944384 748 0 0 0 8 0 0 0 20 0 15 0 516821305 15508250624 10265 33554432000 4194304 4196468 140734448019136 140372562385776 140373100300930 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19386368 140734448026587 140734448026762 140734448026762 140734448029647 0
[pid=29074/tid=29087] ppid=29072 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29074/task/29087/stat : 29087 (java) S 29072 29072 26090 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516821305 15508250624 10265 33554432000 4194304 4196468 140734448019136 140372561333216 140373100299989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19386368 140734448026587 140734448026762 140734448026762 140734448029647 0
[pid=29074/tid=29088] ppid=29072 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29074/task/29088/stat : 29088 (java) S 29072 29072 26090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516821306 15508250624 10265 33554432000 4194304 4196468 140734448019136 140372560279984 140373100300930 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19386368 140734448026587 140734448026762 140734448026762 140734448029647 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42516 KiB
[startup+0.316384 s]*
/proc/loadavg: 3.44 3.89 2.83 4/231 29088
/proc/meminfo: memFree=26126160/32770624 swapFree=67002132/67108860
[pid=29072] ppid=29069 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/29072/stat : 29072 (xcsp3-exec) S 29069 29072 26090 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516821300 115843072 364 33554432000 4194304 5098028 140730137344160 140730137342264 140313167471228 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 12034048 140730137350998 140730137351257 140730137351257 140730137354182 0
/proc/29072/statm: 28282 364 305 221 0 87 0
[pid=29074] ppid=29072 vsize=15149032 memory=50624 CPUtime=0.55 cores=1,3,5,7
/proc/29074/stat : 29074 (java) S 29072 29072 26090 0 -1 1077944320 10929 0 0 0 51 4 0 0 20 0 15 0 516821300 15512608768 12656 33554432000 4194304 4196468 140734448019136 140734448001680 140373100289783 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19386368 140734448026587 140734448026762 140734448026762 140734448029647 0
/proc/29074/statm: 3787258 12656 3367 1 0 3748377 0
[pid=29074/tid=29075] ppid=29072 vsize=15149032 memory=7883960649037381690 CPUtime=0.31 cores=1,3,5,7
/proc/29074/task/29075/stat : 29075 (java) R 29072 29072 26090 0 -1 4202560 7890 0 0 0 28 3 0 0 20 0 15 0 516821300 15512608768 12656 33554432000 4194304 4196468 140734448019136 140373104520896 140373082153904 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19386368 140734448026587 140734448026762 140734448026762 140734448029647 0
[pid=29074/tid=29076] ppid=29072 vsize=15149032 memory=13961 CPUtime=0 cores=1,3,5,7
/proc/29074/task/29076/stat : 29076 (java) S 29072 29072 26090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516821301 15512608768 12656 33554432000 4194304 4196468 140734448019136 140373028330384 140373100299989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19386368 140734448026587 140734448026762 140734448026762 140734448029647 0
[pid=29074/tid=29077] ppid=29072 vsize=15149032 memory=3846185 CPUtime=0 cores=1,3,5,7
/proc/29074/task/29077/stat : 29077 (java) S 29072 29072 26090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516821301 15512608768 12656 33554432000 4194304 4196468 140734448019136 140373027277584 140373100299989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19386368 140734448026587 140734448026762 140734448026762 140734448029647 0
[pid=29074/tid=29078] ppid=29072 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29074/task/29078/stat : 29078 (java) S 29072 29072 26090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516821301 15512608768 12656 33554432000 4194304 4196468 140734448019136 140373026225296 140373100299989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19386368 140734448026587 140734448026762 140734448026762 140734448029647 0
[pid=29074/tid=29079] ppid=29072 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29074/task/29079/stat : 29079 (java) S 29072 29072 26090 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516821301 15512608768 12656 33554432000 4194304 4196468 140734448019136 140373025172496 140373100299989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19386368 140734448026587 140734448026762 140734448026762 140734448029647 0
[pid=29074/tid=29080] ppid=29072 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29074/task/29080/stat : 29080 (java) S 29072 29072 26090 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 516821302 15512608768 12656 33554432000 4194304 4196468 140734448019136 140372568701040 140373100300930 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19386368 140734448026587 140734448026762 140734448026762 140734448029647 0
[pid=29074/tid=29081] ppid=29072 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29074/task/29081/stat : 29081 (java) S 29072 29072 26090 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516821303 15512608768 12656 33554432000 4194304 4196468 140734448019136 140372567647008 140373100299989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19386368 140734448026587 140734448026762 140734448026762 140734448029647 0
[pid=29074/tid=29082] ppid=29072 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29074/task/29082/stat : 29082 (java) S 29072 29072 26090 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516821303 15512608768 12656 33554432000 4194304 4196468 140734448019136 140372566594672 140373100299989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19386368 140734448026587 140734448026762 140734448026762 140734448029647 0
[pid=29074/tid=29083] ppid=29072 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29074/task/29083/stat : 29083 (java) S 29072 29072 26090 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516821305 15512608768 12656 33554432000 4194304 4196468 140734448019136 140372565542992 140373100308379 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19386368 140734448026587 140734448026762 140734448026762 140734448029647 0
[pid=29074/tid=29084] ppid=29072 vsize=15149032 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/29074/task/29084/stat : 29084 (java) S 29072 29072 26090 0 -1 1077944384 701 0 0 0 4 0 0 0 20 0 15 0 516821305 15512608768 12656 33554432000 4194304 4196468 140734448019136 140372564490864 140373100300930 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19386368 140734448026587 140734448026762 140734448026762 140734448029647 0
[pid=29074/tid=29085] ppid=29072 vsize=15149032 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/29074/task/29085/stat : 29085 (java) S 29072 29072 26090 0 -1 1077944384 204 0 0 0 5 0 0 0 20 0 15 0 516821305 15512608768 12656 33554432000 4194304 4196468 140734448019136 140372563438064 140373100300930 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19386368 140734448026587 140734448026762 140734448026762 140734448029647 0
[pid=29074/tid=29086] ppid=29072 vsize=15149032 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/29074/task/29086/stat : 29086 (java) S 29072 29072 26090 0 -1 1077944384 825 0 0 0 12 0 0 0 20 0 15 0 516821305 15512608768 12656 33554432000 4194304 4196468 140734448019136 140372562385776 140373100300930 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19386368 140734448026587 140734448026762 140734448026762 140734448029647 0
[pid=29074/tid=29087] ppid=29072 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29074/task/29087/stat : 29087 (java) S 29072 29072 26090 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516821305 15512608768 12656 33554432000 4194304 4196468 140734448019136 140372561333216 140373100299989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19386368 140734448026587 140734448026762 140734448026762 140734448029647 0
[pid=29074/tid=29088] ppid=29072 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29074/task/29088/stat : 29088 (java) S 29072 29072 26090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516821306 15512608768 12656 33554432000 4194304 4196468 140734448019136 140372560279984 140373100300930 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19386368 140734448026587 140734448026762 140734448026762 140734448029647 0
Current children cumulated CPU time: 0.55 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 52080 KiB
[startup+0.70085 s]
/proc/loadavg: 3.33 3.86 2.83 6/231 29088
/proc/meminfo: memFree=26111868/32770624 swapFree=67002132/67108860
[pid=29072] ppid=29069 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/29072/stat : 29072 (xcsp3-exec) S 29069 29072 26090 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516821300 115843072 364 33554432000 4194304 5098028 140730137344160 140730137342264 140313167471228 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 12034048 140730137350998 140730137351257 140730137351257 140730137354182 0
/proc/29072/statm: 28282 364 305 221 0 87 0
[pid=29074] ppid=29072 vsize=15151156 memory=79116 CPUtime=1.59 cores=1,3,5,7
/proc/29074/stat : 29074 (java) S 29072 29072 26090 0 -1 1077944320 16768 0 0 0 152 7 0 0 20 0 15 0 516821300 15514783744 19779 33554432000 4194304 4196468 140734448019136 140734448001680 140373100289783 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19386368 140734448026587 140734448026762 140734448026762 140734448029647 0
/proc/29074/statm: 3787789 19779 3451 1 0 3748889 0
[pid=29074/tid=29075] ppid=29072 vsize=15151156 memory=36212 CPUtime=0.68 cores=1,3,5,7
/proc/29074/task/29075/stat : 29075 (java) R 29072 29072 26090 0 -1 4202560 9722 0 0 0 64 4 0 0 20 0 15 0 516821300 15514783744 19779 33554432000 4194304 4196468 140734448019136 140373104528920 140372704946351 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19386368 140734448026587 140734448026762 140734448026762 140734448029647 0
[pid=29074/tid=29076] ppid=29072 vsize=15151156 memory=1556 CPUtime=0 cores=1,3,5,7
/proc/29074/task/29076/stat : 29076 (java) S 29072 29072 26090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516821301 15514783744 19779 33554432000 4194304 4196468 140734448019136 140373028330384 140373100299989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19386368 140734448026587 140734448026762 140734448026762 140734448029647 0
[pid=29074/tid=29077] ppid=29072 vsize=15151156 memory=500 CPUtime=0 cores=1,3,5,7
/proc/29074/task/29077/stat : 29077 (java) S 29072 29072 26090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516821301 15514783744 19779 33554432000 4194304 4196468 140734448019136 140373027277584 140373100299989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19386368 140734448026587 140734448026762 140734448026762 140734448029647 0
[pid=29074/tid=29078] ppid=29072 vsize=15151156 memory=932 CPUtime=0 cores=1,3,5,7
/proc/29074/task/29078/stat : 29078 (java) S 29072 29072 26090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516821301 15514783744 19779 33554432000 4194304 4196468 140734448019136 140373026225296 140373100299989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19386368 140734448026587 140734448026762 140734448026762 140734448029647 0
[pid=29074/tid=29079] ppid=29072 vsize=15151156 memory=1824 CPUtime=0 cores=1,3,5,7
/proc/29074/task/29079/stat : 29079 (java) S 29072 29072 26090 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516821301 15514783744 19779 33554432000 4194304 4196468 140734448019136 140373025172496 140373100299989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19386368 140734448026587 140734448026762 140734448026762 140734448029647 0
[pid=29074/tid=29080] ppid=29072 vsize=15151156 memory=1656 CPUtime=0 cores=1,3,5,7
/proc/29074/task/29080/stat : 29080 (java) S 29072 29072 26090 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 516821302 15514783744 19779 33554432000 4194304 4196468 140734448019136 140372568701040 140373100300930 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19386368 140734448026587 140734448026762 140734448026762 140734448029647 0
[pid=29074/tid=29081] ppid=29072 vsize=15151156 memory=804 CPUtime=0 cores=1,3,5,7
/proc/29074/task/29081/stat : 29081 (java) S 29072 29072 26090 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516821303 15514783744 19779 33554432000 4194304 4196468 140734448019136 140372567647008 140373100299989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19386368 140734448026587 140734448026762 140734448026762 140734448029647 0
[pid=29074/tid=29082] ppid=29072 vsize=15151156 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/29074/task/29082/stat : 29082 (java) S 29072 29072 26090 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516821303 15514783744 19779 33554432000 4194304 4196468 140734448019136 140372566594672 140373100299989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19386368 140734448026587 140734448026762 140734448026762 140734448029647 0
[pid=29074/tid=29083] ppid=29072 vsize=15151156 memory=1980 CPUtime=0 cores=1,3,5,7
/proc/29074/task/29083/stat : 29083 (java) S 29072 29072 26090 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516821305 15514783744 19779 33554432000 4194304 4196468 140734448019136 140372565542992 140373100308379 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19386368 140734448026587 140734448026762 140734448026762 140734448029647 0
[pid=29074/tid=29084] ppid=29072 vsize=15151156 memory=2676 CPUtime=0.27 cores=1,3,5,7
/proc/29074/task/29084/stat : 29084 (java) R 29072 29072 26090 0 -1 4202560 2483 0 0 0 27 0 0 0 20 0 15 0 516821305 15514783744 19779 33554432000 4194304 4196468 140734448019136 140372564476744 140373081812007 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19386368 140734448026587 140734448026762 140734448026762 140734448029647 0
[pid=29074/tid=29085] ppid=29072 vsize=15151156 memory=1764 CPUtime=0.27 cores=1,3,5,7
/proc/29074/task/29085/stat : 29085 (java) R 29072 29072 26090 0 -1 4202560 1264 0 0 0 27 0 0 0 20 0 15 0 516821305 15514783744 19779 33554432000 4194304 4196468 140734448019136 140372563424088 140373085415150 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19386368 140734448026587 140734448026762 140734448026762 140734448029647 0
[pid=29074/tid=29086] ppid=29072 vsize=15151156 memory=111632 CPUtime=0.34 cores=1,3,5,7
/proc/29074/task/29086/stat : 29086 (java) S 29072 29072 26090 0 -1 1077944384 1990 0 0 0 33 1 0 0 20 0 15 0 516821305 15514783744 19779 33554432000 4194304 4196468 140734448019136 140372562385776 140373100300930 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19386368 140734448026587 140734448026762 140734448026762 140734448029647 0
[pid=29074/tid=29087] ppid=29072 vsize=15151156 memory=796 CPUtime=0 cores=1,3,5,7
/proc/29074/task/29087/stat : 29087 (java) S 29072 29072 26090 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516821305 15514783744 19779 33554432000 4194304 4196468 140734448019136 140372561333216 140373100299989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19386368 140734448026587 140734448026762 140734448026762 140734448029647 0
[pid=29074/tid=29088] ppid=29072 vsize=15151156 memory=1804 CPUtime=0 cores=1,3,5,7
/proc/29074/task/29088/stat : 29088 (java) S 29072 29072 26090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516821306 15514783744 19779 33554432000 4194304 4196468 140734448019136 140372560279984 140373100300930 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19386368 140734448026587 140734448026762 140734448026762 140734448029647 0
Current children cumulated CPU time: 1.59 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 80572 KiB
[startup+1.50086 s]
/proc/loadavg: 3.33 3.86 2.83 5/231 29088
/proc/meminfo: memFree=26084460/32770624 swapFree=67002132/67108860
[pid=29072] ppid=29069 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/29072/stat : 29072 (xcsp3-exec) S 29069 29072 26090 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516821300 115843072 364 33554432000 4194304 5098028 140730137344160 140730137342264 140313167471228 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 12034048 140730137350998 140730137351257 140730137351257 140730137354182 0
/proc/29072/statm: 28282 364 305 221 0 87 0
################
# More data... #
################
/proc/29074/task/29082/stat : 29082 (java) S 29072 29072 26090 0 -1 1077944384 99 0 0 0 0 0 0 0 20 0 15 0 516821303 15514783744 1636369 33554432000 4194304 4196468 140734448019136 140372566594688 140373100299989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19386368 140734448026587 140734448026762 140734448026762 140734448029647 0
[pid=29074/tid=29083] ppid=29072 vsize=15151156 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/29074/task/29083/stat : 29083 (java) S 29072 29072 26090 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516821305 15514783744 1636369 33554432000 4194304 4196468 140734448019136 140372565542992 140373100308379 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19386368 140734448026587 140734448026762 140734448026762 140734448029647 0
[pid=29074/tid=29084] ppid=29072 vsize=15151156 memory=6545476 CPUtime=3.91 cores=1,3,5,7
/proc/29074/task/29084/stat : 29084 (java) S 29072 29072 26090 0 -1 1077944384 19000 0 0 0 389 2 0 0 20 0 15 0 516821305 15514783744 1636369 33554432000 4194304 4196468 140734448019136 140372564490864 140373100300930 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 13 0 0 6293624 6294260 19386368 140734448026587 140734448026762 140734448026762 140734448029647 0
[pid=29074/tid=29085] ppid=29072 vsize=15151156 memory=6545476 CPUtime=4.04 cores=1,3,5,7
/proc/29074/task/29085/stat : 29085 (java) S 29072 29072 26090 0 -1 1077944384 17636 0 0 0 402 2 0 0 20 0 15 0 516821305 15514783744 1636369 33554432000 4194304 4196468 140734448019136 140372563438064 140373100300930 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19386368 140734448026587 140734448026762 140734448026762 140734448029647 0
[pid=29074/tid=29086] ppid=29072 vsize=15151156 memory=1456 CPUtime=0.55 cores=1,3,5,7
/proc/29074/task/29086/stat : 29086 (java) S 29072 29072 26090 0 -1 1077944384 7875 0 0 0 53 2 0 0 20 0 15 0 516821305 15514783744 1636369 33554432000 4194304 4196468 140734448019136 140372562385776 140373100300930 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19386368 140734448026587 140734448026762 140734448026762 140734448029647 0
[pid=29074/tid=29087] ppid=29072 vsize=15151156 memory=796 CPUtime=0 cores=1,3,5,7
/proc/29074/task/29087/stat : 29087 (java) S 29072 29072 26090 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516821305 15514783744 1636369 33554432000 4194304 4196468 140734448019136 140372561333216 140373100299989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19386368 140734448026587 140734448026762 140734448026762 140734448029647 0
[pid=29074/tid=29088] ppid=29072 vsize=15151156 memory=1804 CPUtime=0.59 cores=1,3,5,7
/proc/29074/task/29088/stat : 29088 (java) S 29072 29072 26090 0 -1 1077944384 943 0 0 0 29 30 0 0 20 0 15 0 516821306 15514783744 1636369 33554432000 4194304 4196468 140734448019136 140372560279984 140373100300930 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 10 0 0 6293624 6294260 19386368 140734448026587 140734448026762 140734448026762 140734448029647 0
Current children cumulated CPU time: 2417.35 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 6546932 KiB
[startup+2442.3 s]
/proc/loadavg: 1.86 1.90 1.92 3/230 29388
/proc/meminfo: memFree=19649376/32770624 swapFree=67002132/67108860
[pid=29072] ppid=29069 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/29072/stat : 29072 (xcsp3-exec) S 29069 29072 26090 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516821300 115843072 364 33554432000 4194304 5098028 140730137344160 140730137342264 140313167471228 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 12034048 140730137350998 140730137351257 140730137351257 140730137354182 0
/proc/29072/statm: 28282 364 305 221 0 87 0
[pid=29074] ppid=29072 vsize=15151156 memory=6545500 CPUtime=2478.93 cores=1,3,5,7
/proc/29074/stat : 29074 (java) S 29072 29072 26090 0 -1 1077944320 241647 0 0 0 247479 414 0 0 20 0 15 0 516821300 15514783744 1636375 33554432000 4194304 4196468 140734448019136 140734448001680 140373100289783 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19386368 140734448026587 140734448026762 140734448026762 140734448029647 0
/proc/29074/statm: 3787789 1636375 3528 1 0 3748889 0
[pid=29074/tid=29075] ppid=29072 vsize=15151156 memory=6545500 CPUtime=2430.79 cores=1,3,5,7
/proc/29074/task/29075/stat : 29075 (java) R 29072 29072 26090 0 -1 4202560 72637 0 0 0 242772 307 0 0 20 0 15 0 516821300 15514783744 1636375 33554432000 4194304 4196468 140734448019136 140373104529616 140372705861940 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19386368 140734448026587 140734448026762 140734448026762 140734448029647 0
[pid=29074/tid=29076] ppid=29072 vsize=15151156 memory=6545496 CPUtime=9.39 cores=1,3,5,7
/proc/29074/task/29076/stat : 29076 (java) S 29072 29072 26090 0 -1 1077944384 23676 0 0 0 925 14 0 0 20 0 15 0 516821301 15514783744 1636375 33554432000 4194304 4196468 140734448019136 140373028330384 140373100299989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19386368 140734448026587 140734448026762 140734448026762 140734448029647 0
[pid=29074/tid=29077] ppid=29072 vsize=15151156 memory=6545476 CPUtime=9.34 cores=1,3,5,7
/proc/29074/task/29077/stat : 29077 (java) S 29072 29072 26090 0 -1 1077944384 26334 0 0 0 920 14 0 0 20 0 15 0 516821301 15514783744 1636375 33554432000 4194304 4196468 140734448019136 140373027277584 140373100299989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19386368 140734448026587 140734448026762 140734448026762 140734448029647 0
[pid=29074/tid=29078] ppid=29072 vsize=15151156 memory=6545488 CPUtime=9.33 cores=1,3,5,7
/proc/29074/task/29078/stat : 29078 (java) S 29072 29072 26090 0 -1 1077944384 26049 0 0 0 918 15 0 0 20 0 15 0 516821301 15514783744 1636375 33554432000 4194304 4196468 140734448019136 140373026225296 140373100299989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19386368 140734448026587 140734448026762 140734448026762 140734448029647 0
[pid=29074/tid=29079] ppid=29072 vsize=15151156 memory=6545496 CPUtime=9.38 cores=1,3,5,7
/proc/29074/task/29079/stat : 29079 (java) S 29072 29072 26090 0 -1 1077944384 29039 0 0 0 923 15 0 0 20 0 15 0 516821301 15514783744 1636375 33554432000 4194304 4196468 140734448019136 140373025172496 140373100299989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19386368 140734448026587 140734448026762 140734448026762 140734448029647 0
[pid=29074/tid=29080] ppid=29072 vsize=15151156 memory=6545496 CPUtime=1.48 cores=1,3,5,7
/proc/29074/task/29080/stat : 29080 (java) S 29072 29072 26090 0 -1 1077944384 17030 0 0 0 130 18 0 0 20 0 15 0 516821302 15514783744 1636375 33554432000 4194304 4196468 140734448019136 140372568701040 140373100300930 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19386368 140734448026587 140734448026762 140734448026762 140734448029647 0
[pid=29074/tid=29081] ppid=29072 vsize=15151156 memory=6545496 CPUtime=0 cores=1,3,5,7
/proc/29074/task/29081/stat : 29081 (java) S 29072 29072 26090 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 516821303 15514783744 1636375 33554432000 4194304 4196468 140734448019136 140372567647072 140373100299989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19386368 140734448026587 140734448026762 140734448026762 140734448029647 0
[pid=29074/tid=29082] ppid=29072 vsize=15151156 memory=6545496 CPUtime=0 cores=1,3,5,7
/proc/29074/task/29082/stat : 29082 (java) S 29072 29072 26090 0 -1 1077944384 99 0 0 0 0 0 0 0 20 0 15 0 516821303 15514783744 1636375 33554432000 4194304 4196468 140734448019136 140372566594688 140373100299989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19386368 140734448026587 140734448026762 140734448026762 140734448029647 0
[pid=29074/tid=29083] ppid=29072 vsize=15151156 memory=6545500 CPUtime=0 cores=1,3,5,7
/proc/29074/task/29083/stat : 29083 (java) S 29072 29072 26090 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516821305 15514783744 1636375 33554432000 4194304 4196468 140734448019136 140372565542992 140373100308379 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19386368 140734448026587 140734448026762 140734448026762 140734448029647 0
[pid=29074/tid=29084] ppid=29072 vsize=15151156 memory=6545500 CPUtime=3.91 cores=1,3,5,7
/proc/29074/task/29084/stat : 29084 (java) S 29072 29072 26090 0 -1 1077944384 19002 0 0 0 389 2 0 0 20 0 15 0 516821305 15514783744 1636375 33554432000 4194304 4196468 140734448019136 140372564490864 140373100300930 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 13 0 0 6293624 6294260 19386368 140734448026587 140734448026762 140734448026762 140734448029647 0
[pid=29074/tid=29085] ppid=29072 vsize=15151156 memory=6545500 CPUtime=4.04 cores=1,3,5,7
/proc/29074/task/29085/stat : 29085 (java) S 29072 29072 26090 0 -1 1077944384 17638 0 0 0 402 2 0 0 20 0 15 0 516821305 15514783744 1636375 33554432000 4194304 4196468 140734448019136 140372563438064 140373100300930 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19386368 140734448026587 140734448026762 140734448026762 140734448029647 0
[pid=29074/tid=29086] ppid=29072 vsize=15151156 memory=1456 CPUtime=0.55 cores=1,3,5,7
/proc/29074/task/29086/stat : 29086 (java) S 29072 29072 26090 0 -1 1077944384 7878 0 0 0 53 2 0 0 20 0 15 0 516821305 15514783744 1636375 33554432000 4194304 4196468 140734448019136 140372562385776 140373100300930 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19386368 140734448026587 140734448026762 140734448026762 140734448029647 0
[pid=29074/tid=29087] ppid=29072 vsize=15151156 memory=6545496 CPUtime=0 cores=1,3,5,7
/proc/29074/task/29087/stat : 29087 (java) S 29072 29072 26090 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516821305 15514783744 1636375 33554432000 4194304 4196468 140734448019136 140372561333216 140373100299989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19386368 140734448026587 140734448026762 140734448026762 140734448029647 0
[pid=29074/tid=29088] ppid=29072 vsize=15151156 memory=1456 CPUtime=0.61 cores=1,3,5,7
/proc/29074/task/29088/stat : 29088 (java) S 29072 29072 26090 0 -1 1077944384 958 0 0 0 30 31 0 0 20 0 15 0 516821306 15514783744 1636375 33554432000 4194304 4196468 140734448019136 140372560279984 140373100300930 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 10 0 0 6293624 6294260 19386368 140734448026587 140734448026762 140734448026762 140734448029647 0
Current children cumulated CPU time: 2478.93 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 6546956 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2482.3 s]
/proc/loadavg: 1.71 1.85 1.90 3/232 29392
/proc/meminfo: memFree=19641732/32770624 swapFree=67002132/67108860
[pid=29072] ppid=29069 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/29072/stat : 29072 (xcsp3-exec) S 29069 29072 26090 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516821300 115843072 364 33554432000 4194304 5098028 140730137344160 140730137342264 140313167471228 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 12034048 140730137350998 140730137351257 140730137351257 140730137354182 0
/proc/29072/statm: 28282 364 305 221 0 87 0
[pid=29074] ppid=29072 vsize=15151156 memory=6547564 CPUtime=2520 cores=1,3,5,7
/proc/29074/stat : 29074 (java) S 29072 29072 26090 0 -1 1077944320 248091 0 0 0 251585 415 0 0 20 0 15 0 516821300 15514783744 1636891 33554432000 4194304 4196468 140734448019136 140734448001680 140373100289783 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19386368 140734448026587 140734448026762 140734448026762 140734448029647 0
/proc/29074/statm: 3787789 1636891 3528 1 0 3748889 0
[pid=29074/tid=29075] ppid=29072 vsize=15151156 memory=6547564 CPUtime=2470.42 cores=1,3,5,7
/proc/29074/task/29075/stat : 29075 (java) R 29072 29072 26090 0 -1 4202560 72919 0 0 0 246735 307 0 0 20 0 15 0 516821300 15514783744 1636891 33554432000 4194304 4196468 140734448019136 140373104529632 140372707649320 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19386368 140734448026587 140734448026762 140734448026762 140734448029647 0
[pid=29074/tid=29076] ppid=29072 vsize=15151156 memory=6547564 CPUtime=9.75 cores=1,3,5,7
/proc/29074/task/29076/stat : 29076 (java) S 29072 29072 26090 0 -1 1077944384 25255 0 0 0 961 14 0 0 20 0 15 0 516821301 15514783744 1636891 33554432000 4194304 4196468 140734448019136 140373028330384 140373100299989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19386368 140734448026587 140734448026762 140734448026762 140734448029647 0
[pid=29074/tid=29077] ppid=29072 vsize=15151156 memory=6547564 CPUtime=9.7 cores=1,3,5,7
/proc/29074/task/29077/stat : 29077 (java) S 29072 29072 26090 0 -1 1077944384 27529 0 0 0 956 14 0 0 20 0 15 0 516821301 15514783744 1636891 33554432000 4194304 4196468 140734448019136 140373027277584 140373100299989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19386368 140734448026587 140734448026762 140734448026762 140734448029647 0
[pid=29074/tid=29078] ppid=29072 vsize=15151156 memory=6547564 CPUtime=9.68 cores=1,3,5,7
/proc/29074/task/29078/stat : 29078 (java) S 29072 29072 26090 0 -1 1077944384 27079 0 0 0 953 15 0 0 20 0 15 0 516821301 15514783744 1636891 33554432000 4194304 4196468 140734448019136 140373026225296 140373100299989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19386368 140734448026587 140734448026762 140734448026762 140734448029647 0
[pid=29074/tid=29079] ppid=29072 vsize=15151156 memory=6547564 CPUtime=9.74 cores=1,3,5,7
/proc/29074/task/29079/stat : 29079 (java) S 29072 29072 26090 0 -1 1077944384 31203 0 0 0 959 15 0 0 20 0 15 0 516821301 15514783744 1636891 33554432000 4194304 4196468 140734448019136 140373025172496 140373100299989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19386368 140734448026587 140734448026762 140734448026762 140734448029647 0
[pid=29074/tid=29080] ppid=29072 vsize=15151156 memory=1456 CPUtime=1.49 cores=1,3,5,7
/proc/29074/task/29080/stat : 29080 (java) S 29072 29072 26090 0 -1 1077944384 17203 0 0 0 131 18 0 0 20 0 15 0 516821302 15514783744 1636891 33554432000 4194304 4196468 140734448019136 140372568701040 140373100300930 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19386368 140734448026587 140734448026762 140734448026762 140734448029647 0
[pid=29074/tid=29081] ppid=29072 vsize=15151156 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/29074/task/29081/stat : 29081 (java) S 29072 29072 26090 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 516821303 15514783744 1636891 33554432000 4194304 4196468 140734448019136 140372567647072 140373100299989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19386368 140734448026587 140734448026762 140734448026762 140734448029647 0
[pid=29074/tid=29082] ppid=29072 vsize=15151156 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/29074/task/29082/stat : 29082 (java) S 29072 29072 26090 0 -1 1077944384 99 0 0 0 0 0 0 0 20 0 15 0 516821303 15514783744 1636891 33554432000 4194304 4196468 140734448019136 140372566594688 140373100299989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19386368 140734448026587 140734448026762 140734448026762 140734448029647 0
[pid=29074/tid=29083] ppid=29072 vsize=15151156 memory=6547560 CPUtime=0 cores=1,3,5,7
/proc/29074/task/29083/stat : 29083 (java) S 29072 29072 26090 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516821305 15514783744 1636891 33554432000 4194304 4196468 140734448019136 140372565542992 140373100308379 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19386368 140734448026587 140734448026762 140734448026762 140734448029647 0
[pid=29074/tid=29084] ppid=29072 vsize=15151156 memory=3616 CPUtime=3.91 cores=1,3,5,7
/proc/29074/task/29084/stat : 29084 (java) S 29072 29072 26090 0 -1 1077944384 19004 0 0 0 389 2 0 0 20 0 15 0 516821305 15514783744 1636891 33554432000 4194304 4196468 140734448019136 140372564490864 140373100300930 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 13 0 0 6293624 6294260 19386368 140734448026587 140734448026762 140734448026762 140734448029647 0
[pid=29074/tid=29085] ppid=29072 vsize=15151156 memory=66156 CPUtime=4.04 cores=1,3,5,7
/proc/29074/task/29085/stat : 29085 (java) S 29072 29072 26090 0 -1 1077944384 17640 0 0 0 402 2 0 0 20 0 15 0 516821305 15514783744 1636891 33554432000 4194304 4196468 140734448019136 140372563438064 140373100300930 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19386368 140734448026587 140734448026762 140734448026762 140734448029647 0
[pid=29074/tid=29086] ppid=29072 vsize=15151156 memory=1456 CPUtime=0.55 cores=1,3,5,7
/proc/29074/task/29086/stat : 29086 (java) S 29072 29072 26090 0 -1 1077944384 7880 0 0 0 53 2 0 0 20 0 15 0 516821305 15514783744 1636891 33554432000 4194304 4196468 140734448019136 140372562385776 140373100300930 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19386368 140734448026587 140734448026762 140734448026762 140734448029647 0
[pid=29074/tid=29087] ppid=29072 vsize=15151156 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/29074/task/29087/stat : 29087 (java) S 29072 29072 26090 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516821305 15514783744 1636891 33554432000 4194304 4196468 140734448019136 140372561333216 140373100299989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19386368 140734448026587 140734448026762 140734448026762 140734448029647 0
[pid=29074/tid=29088] ppid=29072 vsize=15151156 memory=4872558044660077418 CPUtime=0.62 cores=1,3,5,7
/proc/29074/task/29088/stat : 29088 (java) S 29072 29072 26090 0 -1 1077944384 973 0 0 0 30 32 0 0 20 0 15 0 516821306 15514783744 1636891 33554432000 4194304 4196468 140734448019136 140372560279984 140373100300930 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 10 0 0 6293624 6294260 19386368 140734448026587 140734448026762 140734448026762 140734448029647 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 6549020 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2482.33 s]
# the end of solver process 29072 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.002347 s, system=0 s
[startup+2482.33 s]
# the end of solver process 29074 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2515.86 s, system=4.17868 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
[startup+2482.3 s]
/proc/loadavg: 1.71 1.85 1.90 3/232 29392
/proc/meminfo: memFree=19641732/32770624 swapFree=67002132/67108860
[pid=29072] ppid=29069 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/29072/stat : 29072 (xcsp3-exec) S 29069 29072 26090 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516821300 115843072 364 33554432000 4194304 5098028 140730137344160 140730137342264 140313167471228 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 12034048 140730137350998 140730137351257 140730137351257 140730137354182 0
/proc/29072/statm: 28282 364 305 221 0 87 0
[pid=29074] ppid=29072 vsize=15151156 memory=6547564 CPUtime=2520 cores=1,3,5,7
/proc/29074/stat : 29074 (java) S 29072 29072 26090 0 -1 1077944320 248091 0 0 0 251585 415 0 0 20 0 15 0 516821300 15514783744 1636891 33554432000 4194304 4196468 140734448019136 140734448001680 140373100289783 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19386368 140734448026587 140734448026762 140734448026762 140734448029647 0
/proc/29074/statm: 3787789 1636891 3528 1 0 3748889 0
[pid=29074/tid=29075] ppid=29072 vsize=15151156 memory=6547564 CPUtime=2470.42 cores=1,3,5,7
/proc/29074/task/29075/stat : 29075 (java) R 29072 29072 26090 0 -1 4202560 72919 0 0 0 246735 307 0 0 20 0 15 0 516821300 15514783744 1636891 33554432000 4194304 4196468 140734448019136 140373104529632 140372707649320 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19386368 140734448026587 140734448026762 140734448026762 140734448029647 0
[pid=29074/tid=29076] ppid=29072 vsize=15151156 memory=6547564 CPUtime=9.75 cores=1,3,5,7
/proc/29074/task/29076/stat : 29076 (java) S 29072 29072 26090 0 -1 1077944384 25255 0 0 0 961 14 0 0 20 0 15 0 516821301 15514783744 1636891 33554432000 4194304 4196468 140734448019136 140373028330384 140373100299989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19386368 140734448026587 140734448026762 140734448026762 140734448029647 0
[pid=29074/tid=29077] ppid=29072 vsize=15151156 memory=6547564 CPUtime=9.7 cores=1,3,5,7
/proc/29074/task/29077/stat : 29077 (java) S 29072 29072 26090 0 -1 1077944384 27529 0 0 0 956 14 0 0 20 0 15 0 516821301 15514783744 1636891 33554432000 4194304 4196468 140734448019136 140373027277584 140373100299989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19386368 140734448026587 140734448026762 140734448026762 140734448029647 0
[pid=29074/tid=29078] ppid=29072 vsize=15151156 memory=6547564 CPUtime=9.68 cores=1,3,5,7
/proc/29074/task/29078/stat : 29078 (java) S 29072 29072 26090 0 -1 1077944384 27079 0 0 0 953 15 0 0 20 0 15 0 516821301 15514783744 1636891 33554432000 4194304 4196468 140734448019136 140373026225296 140373100299989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19386368 140734448026587 140734448026762 140734448026762 140734448029647 0
[pid=29074/tid=29079] ppid=29072 vsize=15151156 memory=6547564 CPUtime=9.74 cores=1,3,5,7
/proc/29074/task/29079/stat : 29079 (java) S 29072 29072 26090 0 -1 1077944384 31203 0 0 0 959 15 0 0 20 0 15 0 516821301 15514783744 1636891 33554432000 4194304 4196468 140734448019136 140373025172496 140373100299989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19386368 140734448026587 140734448026762 140734448026762 140734448029647 0
[pid=29074/tid=29080] ppid=29072 vsize=15151156 memory=1456 CPUtime=1.49 cores=1,3,5,7
/proc/29074/task/29080/stat : 29080 (java) S 29072 29072 26090 0 -1 1077944384 17203 0 0 0 131 18 0 0 20 0 15 0 516821302 15514783744 1636891 33554432000 4194304 4196468 140734448019136 140372568701040 140373100300930 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19386368 140734448026587 140734448026762 140734448026762 140734448029647 0
[pid=29074/tid=29081] ppid=29072 vsize=15151156 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/29074/task/29081/stat : 29081 (java) S 29072 29072 26090 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 516821303 15514783744 1636891 33554432000 4194304 4196468 140734448019136 140372567647072 140373100299989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19386368 140734448026587 140734448026762 140734448026762 140734448029647 0
[pid=29074/tid=29082] ppid=29072 vsize=15151156 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/29074/task/29082/stat : 29082 (java) S 29072 29072 26090 0 -1 1077944384 99 0 0 0 0 0 0 0 20 0 15 0 516821303 15514783744 1636891 33554432000 4194304 4196468 140734448019136 140372566594688 140373100299989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19386368 140734448026587 140734448026762 140734448026762 140734448029647 0
[pid=29074/tid=29083] ppid=29072 vsize=15151156 memory=6547560 CPUtime=0 cores=1,3,5,7
/proc/29074/task/29083/stat : 29083 (java) S 29072 29072 26090 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516821305 15514783744 1636891 33554432000 4194304 4196468 140734448019136 140372565542992 140373100308379 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19386368 140734448026587 140734448026762 140734448026762 140734448029647 0
[pid=29074/tid=29084] ppid=29072 vsize=15151156 memory=3616 CPUtime=3.91 cores=1,3,5,7
/proc/29074/task/29084/stat : 29084 (java) S 29072 29072 26090 0 -1 1077944384 19004 0 0 0 389 2 0 0 20 0 15 0 516821305 15514783744 1636891 33554432000 4194304 4196468 140734448019136 140372564490864 140373100300930 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 13 0 0 6293624 6294260 19386368 140734448026587 140734448026762 140734448026762 140734448029647 0
[pid=29074/tid=29085] ppid=29072 vsize=15151156 memory=66156 CPUtime=4.04 cores=1,3,5,7
/proc/29074/task/29085/stat : 29085 (java) S 29072 29072 26090 0 -1 1077944384 17640 0 0 0 402 2 0 0 20 0 15 0 516821305 15514783744 1636891 33554432000 4194304 4196468 140734448019136 140372563438064 140373100300930 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19386368 140734448026587 140734448026762 140734448026762 140734448029647 0
[pid=29074/tid=29086] ppid=29072 vsize=15151156 memory=1456 CPUtime=0.55 cores=1,3,5,7
/proc/29074/task/29086/stat : 29086 (java) S 29072 29072 26090 0 -1 1077944384 7880 0 0 0 53 2 0 0 20 0 15 0 516821305 15514783744 1636891 33554432000 4194304 4196468 140734448019136 140372562385776 140373100300930 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19386368 140734448026587 140734448026762 140734448026762 140734448029647 0
[pid=29074/tid=29087] ppid=29072 vsize=15151156 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/29074/task/29087/stat : 29087 (java) S 29072 29072 26090 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516821305 15514783744 1636891 33554432000 4194304 4196468 140734448019136 140372561333216 140373100299989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19386368 140734448026587 140734448026762 140734448026762 140734448029647 0
[pid=29074/tid=29088] ppid=29072 vsize=15151156 memory=4872558044660077418 CPUtime=0.62 cores=1,3,5,7
/proc/29074/task/29088/stat : 29088 (java) S 29072 29072 26090 0 -1 1077944384 973 0 0 0 30 32 0 0 20 0 15 0 516821306 15514783744 1636891 33554432000 4194304 4196468 140734448019136 140372560279984 140373100300930 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 10 0 0 6293624 6294260 19386368 140734448026587 140734448026762 140734448026762 140734448029647 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 6549020 KiB
Child status: 143
Real time (s): 2482.33
CPU time (s): 2520.04
CPU user time (s): 2515.86
CPU system time (s): 4.17868
CPU usage (%): 101.519
Max. virtual memory (cumulated for all children) (KiB): 15265936
Max. memory (cumulated for all children) (KiB): 6549020
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515.86
system time used= 4.17868
maximum resident set size= 6548052
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 248916
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3232
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 89619
involuntary context switches= 5231
# summary of solver processes directly reported to runsolver:
# pid: 29072,29074
# total CPU time (s): 2520.04
# total CPU user time (s): 2515.86
# total CPU system time (s): 4.17868
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.7288 second user time and 22.7062 second system time
The end