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 (13163 MiB free)
memory of node 1: 16384 MiB (12478 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4405808-1569400272/watcher-4405808-1569400272 -o /var/tmp/evaluation-result-4405808-1569400272/solver-4405808-1569400272 -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 1174005154 HOME/instance-4405808-1569400272.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=27832, runsolver pid=27829
Current StackSize limit: 8192 KiB
[startup+0.100154 s]*
/proc/loadavg: 1.91 1.89 1.75 5/230 27848
/proc/meminfo: memFree=26242964/32770624 swapFree=67002128/67108860
[pid=27832] ppid=27829 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/27832/stat : 27832 (xcsp3-exec) S 27829 27832 26090 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 516275772 115843072 363 33554432000 4194304 5098028 140721391546816 140721391544920 140537711665788 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 17022976 140721391551318 140721391551577 140721391551577 140721391554502 0
/proc/27832/statm: 28282 363 304 221 0 87 0
[pid=27834] ppid=27832 vsize=15144776 memory=27712 CPUtime=0.13 cores=1,3,5,7
/proc/27834/stat : 27834 (java) S 27832 27832 26090 0 -1 1077944320 5914 0 0 0 12 1 0 0 20 0 15 0 516275772 15508250624 6928 33554432000 4194304 4196468 140728674687808 140728674670352 140635045125879 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 14069760 140728674694107 140728674694282 140728674694282 140728674697167 0
/proc/27834/statm: 3786194 6928 3157 1 0 3748377 0
[pid=27834/tid=27835] ppid=27832 vsize=15144776 memory=-6962121287837372198 CPUtime=0.09 cores=1,3,5,7
/proc/27834/task/27835/stat : 27835 (java) R 27832 27832 26090 0 -1 4202560 3742 0 0 0 8 1 0 0 20 0 15 0 516275773 15508250624 6928 33554432000 4194304 4196468 140728674687808 140635049355232 140635024203429 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14069760 140728674694107 140728674694282 140728674694282 140728674697167 0
[pid=27834/tid=27836] ppid=27832 vsize=15144776 memory=-3689451258167578675 CPUtime=0 cores=1,3,5,7
/proc/27834/task/27836/stat : 27836 (java) S 27832 27832 26090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516275773 15508250624 6928 33554432000 4194304 4196468 140728674687808 140635014839184 140635045136085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14069760 140728674694107 140728674694282 140728674694282 140728674697167 0
[pid=27834/tid=27837] ppid=27832 vsize=15144776 memory=140265187276416 CPUtime=0 cores=1,3,5,7
/proc/27834/task/27837/stat : 27837 (java) S 27832 27832 26090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516275773 15508250624 6928 33554432000 4194304 4196468 140728674687808 140634636290832 140635045136085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14069760 140728674694107 140728674694282 140728674694282 140728674697167 0
[pid=27834/tid=27838] ppid=27832 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27834/task/27838/stat : 27838 (java) S 27832 27832 26090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516275773 15508250624 6928 33554432000 4194304 4196468 140728674687808 140634635238544 140635045136085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14069760 140728674694107 140728674694282 140728674694282 140728674697167 0
[pid=27834/tid=27839] ppid=27832 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27834/task/27839/stat : 27839 (java) S 27832 27832 26090 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516275773 15508250624 6928 33554432000 4194304 4196468 140728674687808 140634634185744 140635045136085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14069760 140728674694107 140728674694282 140728674694282 140728674697167 0
[pid=27834/tid=27840] ppid=27832 vsize=15144776 memory=140265187276416 CPUtime=0 cores=1,3,5,7
/proc/27834/task/27840/stat : 27840 (java) S 27832 27832 26090 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516275775 15508250624 6928 33554432000 4194304 4196468 140728674687808 140633918969968 140635045137026 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14069760 140728674694107 140728674694282 140728674694282 140728674697167 0
[pid=27834/tid=27841] ppid=27832 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27834/task/27841/stat : 27841 (java) S 27832 27832 26090 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516275775 15508250624 6928 33554432000 4194304 4196468 140728674687808 140633917915936 140635045136085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14069760 140728674694107 140728674694282 140728674694282 140728674697167 0
[pid=27834/tid=27842] ppid=27832 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27834/task/27842/stat : 27842 (java) S 27832 27832 26090 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516275775 15508250624 6928 33554432000 4194304 4196468 140728674687808 140633916863600 140635045136085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14069760 140728674694107 140728674694282 140728674694282 140728674697167 0
[pid=27834/tid=27843] ppid=27832 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27834/task/27843/stat : 27843 (java) S 27832 27832 26090 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516275778 15508250624 6928 33554432000 4194304 4196468 140728674687808 140633915811920 140635045144475 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14069760 140728674694107 140728674694282 140728674694282 140728674697167 0
[pid=27834/tid=27844] ppid=27832 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27834/task/27844/stat : 27844 (java) S 27832 27832 26090 0 -1 1077944384 421 0 0 0 0 0 0 0 20 0 15 0 516275778 15508250624 6928 33554432000 4194304 4196468 140728674687808 140633914759792 140635045137026 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14069760 140728674694107 140728674694282 140728674694282 140728674697167 0
[pid=27834/tid=27845] ppid=27832 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27834/task/27845/stat : 27845 (java) S 27832 27832 26090 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 516275778 15508250624 6928 33554432000 4194304 4196468 140728674687808 140633913706992 140635045137026 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14069760 140728674694107 140728674694282 140728674694282 140728674697167 0
[pid=27834/tid=27846] ppid=27832 vsize=15144776 memory=140265187276416 CPUtime=0.02 cores=1,3,5,7
/proc/27834/task/27846/stat : 27846 (java) R 27832 27832 26090 0 -1 4202560 385 0 0 0 2 0 0 0 20 0 15 0 516275778 15508250624 6928 33554432000 4194304 4196468 140728674687808 140633912654704 140635023151762 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14069760 140728674694107 140728674694282 140728674694282 140728674697167 0
[pid=27834/tid=27847] ppid=27832 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27834/task/27847/stat : 27847 (java) S 27832 27832 26090 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516275778 15508250624 6928 33554432000 4194304 4196468 140728674687808 140633911602144 140635045136085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14069760 140728674694107 140728674694282 140728674694282 140728674697167 0
[pid=27834/tid=27848] ppid=27832 vsize=15144776 memory=140265187276416 CPUtime=0 cores=1,3,5,7
/proc/27834/task/27848/stat : 27848 (java) S 27832 27832 26090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516275778 15508250624 6928 33554432000 4194304 4196468 140728674687808 140633910548912 140635045137026 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14069760 140728674694107 140728674694282 140728674694282 140728674697167 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 29164 KiB
[startup+0.210985 s]*
/proc/loadavg: 1.91 1.89 1.75 4/230 27848
/proc/meminfo: memFree=26229096/32770624 swapFree=67002128/67108860
[pid=27832] ppid=27829 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/27832/stat : 27832 (xcsp3-exec) S 27829 27832 26090 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 516275772 115843072 363 33554432000 4194304 5098028 140721391546816 140721391544920 140537711665788 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 17022976 140721391551318 140721391551577 140721391551577 140721391554502 0
/proc/27832/statm: 28282 363 304 221 0 87 0
[pid=27834] ppid=27832 vsize=15144776 memory=39836 CPUtime=0.35 cores=1,3,5,7
/proc/27834/stat : 27834 (java) S 27832 27832 26090 0 -1 1077944320 9709 0 0 0 32 3 0 0 20 0 15 0 516275772 15508250624 9959 33554432000 4194304 4196468 140728674687808 140728674670352 140635045125879 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 14069760 140728674694107 140728674694282 140728674694282 140728674697167 0
/proc/27834/statm: 3786194 9959 3320 1 0 3748377 0
[pid=27834/tid=27835] ppid=27832 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/27834/task/27835/stat : 27835 (java) R 27832 27832 26090 0 -1 4202560 6668 0 0 0 18 2 0 0 20 0 15 0 516275773 15508250624 9959 33554432000 4194304 4196468 140728674687808 140635049359584 140635029206366 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14069760 140728674694107 140728674694282 140728674694282 140728674697167 0
[pid=27834/tid=27836] ppid=27832 vsize=15144776 memory=13620 CPUtime=0 cores=1,3,5,7
/proc/27834/task/27836/stat : 27836 (java) S 27832 27832 26090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516275773 15508250624 9959 33554432000 4194304 4196468 140728674687808 140635014839184 140635045136085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14069760 140728674694107 140728674694282 140728674694282 140728674697167 0
[pid=27834/tid=27837] ppid=27832 vsize=15144776 memory=140265191110025 CPUtime=0 cores=1,3,5,7
/proc/27834/task/27837/stat : 27837 (java) S 27832 27832 26090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516275773 15508250624 9959 33554432000 4194304 4196468 140728674687808 140634636290832 140635045136085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14069760 140728674694107 140728674694282 140728674694282 140728674697167 0
[pid=27834/tid=27838] ppid=27832 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27834/task/27838/stat : 27838 (java) S 27832 27832 26090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516275773 15508250624 9959 33554432000 4194304 4196468 140728674687808 140634635238544 140635045136085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14069760 140728674694107 140728674694282 140728674694282 140728674697167 0
[pid=27834/tid=27839] ppid=27832 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27834/task/27839/stat : 27839 (java) S 27832 27832 26090 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516275773 15508250624 9959 33554432000 4194304 4196468 140728674687808 140634634185744 140635045136085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14069760 140728674694107 140728674694282 140728674694282 140728674697167 0
[pid=27834/tid=27840] ppid=27832 vsize=15144776 memory=140265187276416 CPUtime=0 cores=1,3,5,7
/proc/27834/task/27840/stat : 27840 (java) S 27832 27832 26090 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 516275775 15508250624 9959 33554432000 4194304 4196468 140728674687808 140633918969968 140635045137026 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14069760 140728674694107 140728674694282 140728674694282 140728674697167 0
[pid=27834/tid=27841] ppid=27832 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27834/task/27841/stat : 27841 (java) S 27832 27832 26090 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516275775 15508250624 9959 33554432000 4194304 4196468 140728674687808 140633917915936 140635045136085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14069760 140728674694107 140728674694282 140728674694282 140728674697167 0
[pid=27834/tid=27842] ppid=27832 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27834/task/27842/stat : 27842 (java) S 27832 27832 26090 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516275775 15508250624 9959 33554432000 4194304 4196468 140728674687808 140633916863600 140635045136085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14069760 140728674694107 140728674694282 140728674694282 140728674697167 0
[pid=27834/tid=27843] ppid=27832 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27834/task/27843/stat : 27843 (java) S 27832 27832 26090 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516275778 15508250624 9959 33554432000 4194304 4196468 140728674687808 140633915811920 140635045144475 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14069760 140728674694107 140728674694282 140728674694282 140728674697167 0
[pid=27834/tid=27844] ppid=27832 vsize=15144776 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/27834/task/27844/stat : 27844 (java) S 27832 27832 26090 0 -1 1077944384 665 0 0 0 2 0 0 0 20 0 15 0 516275778 15508250624 9959 33554432000 4194304 4196468 140728674687808 140633914759792 140635045137026 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14069760 140728674694107 140728674694282 140728674694282 140728674697167 0
[pid=27834/tid=27845] ppid=27832 vsize=15144776 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/27834/task/27845/stat : 27845 (java) S 27832 27832 26090 0 -1 1077944384 146 0 0 0 2 0 0 0 20 0 15 0 516275778 15508250624 9959 33554432000 4194304 4196468 140728674687808 140633913706992 140635045137026 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14069760 140728674694107 140728674694282 140728674694282 140728674697167 0
[pid=27834/tid=27846] ppid=27832 vsize=15144776 memory=140265187276416 CPUtime=0.08 cores=1,3,5,7
/proc/27834/task/27846/stat : 27846 (java) S 27832 27832 26090 0 -1 1077944384 922 0 0 0 8 0 0 0 20 0 15 0 516275778 15508250624 9959 33554432000 4194304 4196468 140728674687808 140633912654704 140635045137026 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14069760 140728674694107 140728674694282 140728674694282 140728674697167 0
[pid=27834/tid=27847] ppid=27832 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27834/task/27847/stat : 27847 (java) S 27832 27832 26090 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516275778 15508250624 9959 33554432000 4194304 4196468 140728674687808 140633911602144 140635045136085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14069760 140728674694107 140728674694282 140728674694282 140728674697167 0
[pid=27834/tid=27848] ppid=27832 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27834/task/27848/stat : 27848 (java) S 27832 27832 26090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516275778 15508250624 9959 33554432000 4194304 4196468 140728674687808 140633910548912 140635045137026 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14069760 140728674694107 140728674694282 140728674694282 140728674697167 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 41288 KiB
[startup+0.31086 s]*
/proc/loadavg: 1.91 1.89 1.75 6/230 27848
/proc/meminfo: memFree=26222336/32770624 swapFree=67002128/67108860
[pid=27832] ppid=27829 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/27832/stat : 27832 (xcsp3-exec) S 27829 27832 26090 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 516275772 115843072 363 33554432000 4194304 5098028 140721391546816 140721391544920 140537711665788 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 17022976 140721391551318 140721391551577 140721391551577 140721391554502 0
/proc/27832/statm: 28282 363 304 221 0 87 0
[pid=27834] ppid=27832 vsize=15149032 memory=49088 CPUtime=0.54 cores=1,3,5,7
/proc/27834/stat : 27834 (java) S 27832 27832 26090 0 -1 1077944320 11162 0 0 0 50 4 0 0 20 0 15 0 516275772 15512608768 12272 33554432000 4194304 4196468 140728674687808 140728674670352 140635045125879 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 14069760 140728674694107 140728674694282 140728674694282 140728674697167 0
/proc/27834/statm: 3787258 12272 3357 1 0 3748377 0
[pid=27834/tid=27835] ppid=27832 vsize=15149032 memory=7883960649037381690 CPUtime=0.3 cores=1,3,5,7
/proc/27834/task/27835/stat : 27835 (java) R 27832 27832 26090 0 -1 4202560 7840 0 0 0 27 3 0 0 20 0 15 0 516275773 15512608768 12272 33554432000 4194304 4196468 140728674687808 140635049356992 140635029206366 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14069760 140728674694107 140728674694282 140728674694282 140728674697167 0
[pid=27834/tid=27836] ppid=27832 vsize=15149032 memory=13961 CPUtime=0 cores=1,3,5,7
/proc/27834/task/27836/stat : 27836 (java) S 27832 27832 26090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516275773 15512608768 12272 33554432000 4194304 4196468 140728674687808 140635014839184 140635045136085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14069760 140728674694107 140728674694282 140728674694282 140728674697167 0
[pid=27834/tid=27837] ppid=27832 vsize=15149032 memory=3844132 CPUtime=0 cores=1,3,5,7
/proc/27834/task/27837/stat : 27837 (java) S 27832 27832 26090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516275773 15512608768 12272 33554432000 4194304 4196468 140728674687808 140634636290832 140635045136085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14069760 140728674694107 140728674694282 140728674694282 140728674697167 0
[pid=27834/tid=27838] ppid=27832 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27834/task/27838/stat : 27838 (java) S 27832 27832 26090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516275773 15512608768 12272 33554432000 4194304 4196468 140728674687808 140634635238544 140635045136085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14069760 140728674694107 140728674694282 140728674694282 140728674697167 0
[pid=27834/tid=27839] ppid=27832 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27834/task/27839/stat : 27839 (java) S 27832 27832 26090 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516275773 15512608768 12272 33554432000 4194304 4196468 140728674687808 140634634185744 140635045136085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14069760 140728674694107 140728674694282 140728674694282 140728674697167 0
[pid=27834/tid=27840] ppid=27832 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27834/task/27840/stat : 27840 (java) S 27832 27832 26090 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 516275775 15512608768 12272 33554432000 4194304 4196468 140728674687808 140633918969968 140635045137026 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14069760 140728674694107 140728674694282 140728674694282 140728674697167 0
[pid=27834/tid=27841] ppid=27832 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27834/task/27841/stat : 27841 (java) S 27832 27832 26090 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516275775 15512608768 12272 33554432000 4194304 4196468 140728674687808 140633917915936 140635045136085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14069760 140728674694107 140728674694282 140728674694282 140728674697167 0
[pid=27834/tid=27842] ppid=27832 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27834/task/27842/stat : 27842 (java) S 27832 27832 26090 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516275775 15512608768 12272 33554432000 4194304 4196468 140728674687808 140633916863600 140635045136085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14069760 140728674694107 140728674694282 140728674694282 140728674697167 0
[pid=27834/tid=27843] ppid=27832 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27834/task/27843/stat : 27843 (java) S 27832 27832 26090 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516275778 15512608768 12272 33554432000 4194304 4196468 140728674687808 140633915811920 140635045144475 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14069760 140728674694107 140728674694282 140728674694282 140728674697167 0
[pid=27834/tid=27844] ppid=27832 vsize=15149032 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/27834/task/27844/stat : 27844 (java) S 27832 27832 26090 0 -1 1077944384 698 0 0 0 4 0 0 0 20 0 15 0 516275778 15512608768 12272 33554432000 4194304 4196468 140728674687808 140633914759792 140635045137026 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14069760 140728674694107 140728674694282 140728674694282 140728674697167 0
[pid=27834/tid=27845] ppid=27832 vsize=15149032 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/27834/task/27845/stat : 27845 (java) R 27832 27832 26090 0 -1 4202560 241 0 0 0 4 0 0 0 20 0 15 0 516275778 15512608768 12272 33554432000 4194304 4196468 140728674687808 140633913697376 140635026673455 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14069760 140728674694107 140728674694282 140728674694282 140728674697167 0
[pid=27834/tid=27846] ppid=27832 vsize=15149032 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/27834/task/27846/stat : 27846 (java) S 27832 27832 26090 0 -1 1077944384 1077 0 0 0 13 0 0 0 20 0 15 0 516275778 15512608768 12272 33554432000 4194304 4196468 140728674687808 140633912654704 140635045137026 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14069760 140728674694107 140728674694282 140728674694282 140728674697167 0
[pid=27834/tid=27847] ppid=27832 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27834/task/27847/stat : 27847 (java) S 27832 27832 26090 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516275778 15512608768 12272 33554432000 4194304 4196468 140728674687808 140633911602144 140635045136085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14069760 140728674694107 140728674694282 140728674694282 140728674697167 0
[pid=27834/tid=27848] ppid=27832 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27834/task/27848/stat : 27848 (java) S 27832 27832 26090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516275778 15512608768 12272 33554432000 4194304 4196468 140728674687808 140633910548912 140635045137026 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14069760 140728674694107 140728674694282 140728674694282 140728674697167 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 50540 KiB
[startup+0.700864 s]
/proc/loadavg: 1.91 1.89 1.75 3/230 27848
/proc/meminfo: memFree=26212760/32770624 swapFree=67002128/67108860
[pid=27832] ppid=27829 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/27832/stat : 27832 (xcsp3-exec) S 27829 27832 26090 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 516275772 115843072 363 33554432000 4194304 5098028 140721391546816 140721391544920 140537711665788 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 17022976 140721391551318 140721391551577 140721391551577 140721391554502 0
/proc/27832/statm: 28282 363 304 221 0 87 0
[pid=27834] ppid=27832 vsize=15151156 memory=79900 CPUtime=1.56 cores=1,3,5,7
/proc/27834/stat : 27834 (java) S 27832 27832 26090 0 -1 1077944320 17730 0 0 0 150 6 0 0 20 0 15 0 516275772 15514783744 19975 33554432000 4194304 4196468 140728674687808 140728674670352 140635045125879 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 14069760 140728674694107 140728674694282 140728674694282 140728674697167 0
/proc/27834/statm: 3787789 19975 3444 1 0 3748889 0
[pid=27834/tid=27835] ppid=27832 vsize=15151156 memory=36136 CPUtime=0.68 cores=1,3,5,7
/proc/27834/task/27835/stat : 27835 (java) R 27832 27832 26090 0 -1 4202560 8973 0 0 0 64 4 0 0 20 0 15 0 516275773 15514783744 19975 33554432000 4194304 4196468 140728674687808 140635049364256 140634682323279 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14069760 140728674694107 140728674694282 140728674694282 140728674697167 0
[pid=27834/tid=27836] ppid=27832 vsize=15151156 memory=1556 CPUtime=0 cores=1,3,5,7
/proc/27834/task/27836/stat : 27836 (java) S 27832 27832 26090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516275773 15514783744 19975 33554432000 4194304 4196468 140728674687808 140635014839184 140635045136085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14069760 140728674694107 140728674694282 140728674694282 140728674697167 0
[pid=27834/tid=27837] ppid=27832 vsize=15151156 memory=500 CPUtime=0 cores=1,3,5,7
/proc/27834/task/27837/stat : 27837 (java) S 27832 27832 26090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516275773 15514783744 19975 33554432000 4194304 4196468 140728674687808 140634636290832 140635045136085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14069760 140728674694107 140728674694282 140728674694282 140728674697167 0
[pid=27834/tid=27838] ppid=27832 vsize=15151156 memory=932 CPUtime=0 cores=1,3,5,7
/proc/27834/task/27838/stat : 27838 (java) S 27832 27832 26090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516275773 15514783744 19975 33554432000 4194304 4196468 140728674687808 140634635238544 140635045136085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14069760 140728674694107 140728674694282 140728674694282 140728674697167 0
[pid=27834/tid=27839] ppid=27832 vsize=15151156 memory=1824 CPUtime=0 cores=1,3,5,7
/proc/27834/task/27839/stat : 27839 (java) S 27832 27832 26090 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516275773 15514783744 19975 33554432000 4194304 4196468 140728674687808 140634634185744 140635045136085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14069760 140728674694107 140728674694282 140728674694282 140728674697167 0
[pid=27834/tid=27840] ppid=27832 vsize=15151156 memory=1656 CPUtime=0 cores=1,3,5,7
/proc/27834/task/27840/stat : 27840 (java) S 27832 27832 26090 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 516275775 15514783744 19975 33554432000 4194304 4196468 140728674687808 140633918969968 140635045137026 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14069760 140728674694107 140728674694282 140728674694282 140728674697167 0
[pid=27834/tid=27841] ppid=27832 vsize=15151156 memory=804 CPUtime=0 cores=1,3,5,7
/proc/27834/task/27841/stat : 27841 (java) S 27832 27832 26090 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516275775 15514783744 19975 33554432000 4194304 4196468 140728674687808 140633917915936 140635045136085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14069760 140728674694107 140728674694282 140728674694282 140728674697167 0
[pid=27834/tid=27842] ppid=27832 vsize=15151156 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/27834/task/27842/stat : 27842 (java) S 27832 27832 26090 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516275775 15514783744 19975 33554432000 4194304 4196468 140728674687808 140633916863600 140635045136085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14069760 140728674694107 140728674694282 140728674694282 140728674697167 0
[pid=27834/tid=27843] ppid=27832 vsize=15151156 memory=1980 CPUtime=0 cores=1,3,5,7
/proc/27834/task/27843/stat : 27843 (java) S 27832 27832 26090 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516275778 15514783744 19975 33554432000 4194304 4196468 140728674687808 140633915811920 140635045144475 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14069760 140728674694107 140728674694282 140728674694282 140728674697167 0
[pid=27834/tid=27844] ppid=27832 vsize=15151156 memory=2676 CPUtime=0.25 cores=1,3,5,7
/proc/27834/task/27844/stat : 27844 (java) R 27832 27832 26090 0 -1 4202560 3137 0 0 0 25 0 0 0 20 0 15 0 516275778 15514783744 19975 33554432000 4194304 4196468 140728674687808 140633914741720 140635024344520 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14069760 140728674694107 140728674694282 140728674694282 140728674697167 0
[pid=27834/tid=27845] ppid=27832 vsize=15151156 memory=1764 CPUtime=0.3 cores=1,3,5,7
/proc/27834/task/27845/stat : 27845 (java) R 27832 27832 26090 0 -1 4202560 2765 0 0 0 30 0 0 0 20 0 15 0 516275778 15514783744 19975 33554432000 4194304 4196468 140728674687808 140633913693048 140635026670636 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14069760 140728674694107 140728674694282 140728674694282 140728674697167 0
[pid=27834/tid=27846] ppid=27832 vsize=15151156 memory=111632 CPUtime=0.3 cores=1,3,5,7
/proc/27834/task/27846/stat : 27846 (java) R 27832 27832 26090 0 -1 1077944384 1547 0 0 0 30 0 0 0 20 0 15 0 516275778 15514783744 19975 33554432000 4194304 4196468 140728674687808 140633912654704 140635045137026 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14069760 140728674694107 140728674694282 140728674694282 140728674697167 0
[pid=27834/tid=27847] ppid=27832 vsize=15151156 memory=796 CPUtime=0 cores=1,3,5,7
/proc/27834/task/27847/stat : 27847 (java) S 27832 27832 26090 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516275778 15514783744 19975 33554432000 4194304 4196468 140728674687808 140633911602144 140635045136085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14069760 140728674694107 140728674694282 140728674694282 140728674697167 0
[pid=27834/tid=27848] ppid=27832 vsize=15151156 memory=4100 CPUtime=0 cores=1,3,5,7
/proc/27834/task/27848/stat : 27848 (java) S 27832 27832 26090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516275778 15514783744 19975 33554432000 4194304 4196468 140728674687808 140633910548912 140635045137026 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14069760 140728674694107 140728674694282 140728674694282 140728674697167 0
Current children cumulated CPU time: 1.56 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 81352 KiB
[startup+1.50086 s]
/proc/loadavg: 1.91 1.89 1.75 5/230 27848
/proc/meminfo: memFree=26164448/32770624 swapFree=67002128/67108860
[pid=27832] ppid=27829 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/27832/stat : 27832 (xcsp3-exec) S 27829 27832 26090 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 516275772 115843072 363 33554432000 4194304 5098028 140721391546816 140721391544920 140537711665788 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 17022976 140721391551318 140721391551577 140721391551577 140721391554502 0
/proc/27832/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
/proc/27834/task/27842/stat : 27842 (java) S 27832 27832 26090 0 -1 1077944384 100 0 0 0 0 0 0 0 20 0 15 0 516275775 15514783744 678937 33554432000 4194304 4196468 140728674687808 140633916863616 140635045136085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14069760 140728674694107 140728674694282 140728674694282 140728674697167 0
[pid=27834/tid=27843] ppid=27832 vsize=15151156 memory=3616 CPUtime=0 cores=1,3,5,7
/proc/27834/task/27843/stat : 27843 (java) S 27832 27832 26090 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516275778 15514783744 678937 33554432000 4194304 4196468 140728674687808 140633915811920 140635045144475 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14069760 140728674694107 140728674694282 140728674694282 140728674697167 0
[pid=27834/tid=27844] ppid=27832 vsize=15151156 memory=988 CPUtime=1.38 cores=1,3,5,7
/proc/27834/task/27844/stat : 27844 (java) S 27832 27832 26090 0 -1 1077944384 14741 0 0 0 137 1 0 0 20 0 15 0 516275778 15514783744 678937 33554432000 4194304 4196468 140728674687808 140633914759792 140635045137026 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14069760 140728674694107 140728674694282 140728674694282 140728674697167 0
[pid=27834/tid=27845] ppid=27832 vsize=15151156 memory=2024 CPUtime=1.39 cores=1,3,5,7
/proc/27834/task/27845/stat : 27845 (java) S 27832 27832 26090 0 -1 1077944384 15659 0 0 0 138 1 0 0 20 0 15 0 516275778 15514783744 678937 33554432000 4194304 4196468 140728674687808 140633913706992 140635045137026 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14069760 140728674694107 140728674694282 140728674694282 140728674697167 0
[pid=27834/tid=27846] ppid=27832 vsize=15151156 memory=3616 CPUtime=0.4 cores=1,3,5,7
/proc/27834/task/27846/stat : 27846 (java) S 27832 27832 26090 0 -1 1077944384 4816 0 0 0 39 1 0 0 20 0 15 0 516275778 15514783744 678937 33554432000 4194304 4196468 140728674687808 140633912654704 140635045137026 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14069760 140728674694107 140728674694282 140728674694282 140728674697167 0
[pid=27834/tid=27847] ppid=27832 vsize=15151156 memory=66040 CPUtime=0 cores=1,3,5,7
/proc/27834/task/27847/stat : 27847 (java) S 27832 27832 26090 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516275778 15514783744 678937 33554432000 4194304 4196468 140728674687808 140633911602144 140635045136085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14069760 140728674694107 140728674694282 140728674694282 140728674697167 0
[pid=27834/tid=27848] ppid=27832 vsize=15151156 memory=1452 CPUtime=0.57 cores=1,3,5,7
/proc/27834/task/27848/stat : 27848 (java) S 27832 27832 26090 0 -1 1077944384 1148 0 0 0 24 33 0 0 20 0 15 0 516275778 15514783744 678937 33554432000 4194304 4196468 140728674687808 140633910548912 140635045137026 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14069760 140728674694107 140728674694282 140728674694282 140728674697167 0
Current children cumulated CPU time: 2403.34 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 2717200 KiB
[startup+2442.3 s]
/proc/loadavg: 1.64 1.53 1.56 3/230 28176
/proc/meminfo: memFree=25196848/32770624 swapFree=67002132/67108860
[pid=27832] ppid=27829 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/27832/stat : 27832 (xcsp3-exec) S 27829 27832 26090 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 516275772 115843072 363 33554432000 4194304 5098028 140721391546816 140721391544920 140537711665788 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 17022976 140721391551318 140721391551577 140721391551577 140721391554502 0
/proc/27832/statm: 28282 363 304 221 0 87 0
[pid=27834] ppid=27832 vsize=15151156 memory=1037396 CPUtime=2463.8 cores=1,3,5,7
/proc/27834/stat : 27834 (java) S 27832 27832 26090 0 -1 1077944320 212306 0 0 0 246219 161 0 0 20 0 15 0 516275772 15514783744 259349 33554432000 4194304 4196468 140728674687808 140728674670352 140635045125879 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 14069760 140728674694107 140728674694282 140728674694282 140728674697167 0
/proc/27834/statm: 3787789 259349 3506 1 0 3748889 0
[pid=27834/tid=27835] ppid=27832 vsize=15151156 memory=1037388 CPUtime=2434.82 cores=1,3,5,7
/proc/27834/task/27835/stat : 27835 (java) R 27832 27832 26090 0 -1 4202560 78895 0 0 0 243432 50 0 0 20 0 15 0 516275773 15514783744 259349 33554432000 4194304 4196468 140728674687808 140635049365472 140634685309140 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14069760 140728674694107 140728674694282 140728674694282 140728674697167 0
[pid=27834/tid=27836] ppid=27832 vsize=15151156 memory=2715748 CPUtime=6.01 cores=1,3,5,7
/proc/27834/task/27836/stat : 27836 (java) S 27832 27832 26090 0 -1 1077944384 20904 0 0 0 584 17 0 0 20 0 15 0 516275773 15514783744 259349 33554432000 4194304 4196468 140728674687808 140635014839184 140635045136085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14069760 140728674694107 140728674694282 140728674694282 140728674697167 0
[pid=27834/tid=27837] ppid=27832 vsize=15151156 memory=2762884 CPUtime=6.03 cores=1,3,5,7
/proc/27834/task/27837/stat : 27837 (java) S 27832 27832 26090 0 -1 1077944384 23017 0 0 0 586 17 0 0 20 0 15 0 516275773 15514783744 259349 33554432000 4194304 4196468 140728674687808 140634636290832 140635045136085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14069760 140728674694107 140728674694282 140728674694282 140728674697167 0
[pid=27834/tid=27838] ppid=27832 vsize=15151156 memory=1037396 CPUtime=6.01 cores=1,3,5,7
/proc/27834/task/27838/stat : 27838 (java) S 27832 27832 26090 0 -1 1077944384 21014 0 0 0 584 17 0 0 20 0 15 0 516275773 15514783744 259349 33554432000 4194304 4196468 140728674687808 140634635238544 140635045136085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14069760 140728674694107 140728674694282 140728674694282 140728674697167 0
[pid=27834/tid=27839] ppid=27832 vsize=15151156 memory=1452 CPUtime=6.03 cores=1,3,5,7
/proc/27834/task/27839/stat : 27839 (java) S 27832 27832 26090 0 -1 1077944384 19716 0 0 0 586 17 0 0 20 0 15 0 516275773 15514783744 259349 33554432000 4194304 4196468 140728674687808 140634634185744 140635045136085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14069760 140728674694107 140728674694282 140728674694282 140728674697167 0
[pid=27834/tid=27840] ppid=27832 vsize=15151156 memory=1452 CPUtime=1.05 cores=1,3,5,7
/proc/27834/task/27840/stat : 27840 (java) S 27832 27832 26090 0 -1 1077944384 10957 0 0 0 91 14 0 0 20 0 15 0 516275775 15514783744 259349 33554432000 4194304 4196468 140728674687808 140633918969968 140635045137026 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14069760 140728674694107 140728674694282 140728674694282 140728674697167 0
[pid=27834/tid=27841] ppid=27832 vsize=15151156 memory=1037388 CPUtime=0 cores=1,3,5,7
/proc/27834/task/27841/stat : 27841 (java) S 27832 27832 26090 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 516275775 15514783744 259349 33554432000 4194304 4196468 140728674687808 140633917916000 140635045136085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14069760 140728674694107 140728674694282 140728674694282 140728674697167 0
[pid=27834/tid=27842] ppid=27832 vsize=15151156 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/27834/task/27842/stat : 27842 (java) S 27832 27832 26090 0 -1 1077944384 100 0 0 0 0 0 0 0 20 0 15 0 516275775 15514783744 259349 33554432000 4194304 4196468 140728674687808 140633916863616 140635045136085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14069760 140728674694107 140728674694282 140728674694282 140728674697167 0
[pid=27834/tid=27843] ppid=27832 vsize=15151156 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/27834/task/27843/stat : 27843 (java) S 27832 27832 26090 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516275778 15514783744 259349 33554432000 4194304 4196468 140728674687808 140633915811920 140635045144475 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14069760 140728674694107 140728674694282 140728674694282 140728674697167 0
[pid=27834/tid=27844] ppid=27832 vsize=15151156 memory=3616 CPUtime=1.38 cores=1,3,5,7
/proc/27834/task/27844/stat : 27844 (java) S 27832 27832 26090 0 -1 1077944384 14743 0 0 0 137 1 0 0 20 0 15 0 516275778 15514783744 259349 33554432000 4194304 4196468 140728674687808 140633914759792 140635045137026 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14069760 140728674694107 140728674694282 140728674694282 140728674697167 0
[pid=27834/tid=27845] ppid=27832 vsize=15151156 memory=1452 CPUtime=1.39 cores=1,3,5,7
/proc/27834/task/27845/stat : 27845 (java) S 27832 27832 26090 0 -1 1077944384 15661 0 0 0 138 1 0 0 20 0 15 0 516275778 15514783744 259349 33554432000 4194304 4196468 140728674687808 140633913706992 140635045137026 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14069760 140728674694107 140728674694282 140728674694282 140728674697167 0
[pid=27834/tid=27846] ppid=27832 vsize=15151156 memory=2715748 CPUtime=0.4 cores=1,3,5,7
/proc/27834/task/27846/stat : 27846 (java) S 27832 27832 26090 0 -1 1077944384 4818 0 0 0 39 1 0 0 20 0 15 0 516275778 15514783744 259349 33554432000 4194304 4196468 140728674687808 140633912654704 140635045137026 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14069760 140728674694107 140728674694282 140728674694282 140728674697167 0
[pid=27834/tid=27847] ppid=27832 vsize=15151156 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/27834/task/27847/stat : 27847 (java) S 27832 27832 26090 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516275778 15514783744 259349 33554432000 4194304 4196468 140728674687808 140633911602144 140635045136085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14069760 140728674694107 140728674694282 140728674694282 140728674697167 0
[pid=27834/tid=27848] ppid=27832 vsize=15151156 memory=1037388 CPUtime=0.59 cores=1,3,5,7
/proc/27834/task/27848/stat : 27848 (java) S 27832 27832 26090 0 -1 1077944384 1169 0 0 0 25 34 0 0 20 0 15 0 516275778 15514783744 259349 33554432000 4194304 4196468 140728674687808 140633910548912 140635045137026 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14069760 140728674694107 140728674694282 140728674694282 140728674697167 0
Current children cumulated CPU time: 2463.8 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 1038848 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2498.5 s]
/proc/loadavg: 1.61 1.55 1.57 3/231 28181
/proc/meminfo: memFree=25214104/32770624 swapFree=67002132/67108860
[pid=27832] ppid=27829 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/27832/stat : 27832 (xcsp3-exec) S 27829 27832 26090 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 516275772 115843072 363 33554432000 4194304 5098028 140721391546816 140721391544920 140537711665788 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 17022976 140721391551318 140721391551577 140721391551577 140721391554502 0
/proc/27832/statm: 28282 363 304 221 0 87 0
[pid=27834] ppid=27832 vsize=15151156 memory=1037456 CPUtime=2520.05 cores=1,3,5,7
/proc/27834/stat : 27834 (java) S 27832 27832 26090 0 -1 1077944320 213530 0 0 0 251844 161 0 0 20 0 15 0 516275772 15514783744 259364 33554432000 4194304 4196468 140728674687808 140728674670352 140635045125879 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 14069760 140728674694107 140728674694282 140728674694282 140728674697167 0
/proc/27834/statm: 3787789 259364 3509 1 0 3748889 0
[pid=27834/tid=27835] ppid=27832 vsize=15151156 memory=1452 CPUtime=2490.99 cores=1,3,5,7
/proc/27834/task/27835/stat : 27835 (java) R 27832 27832 26090 0 -1 4202560 79183 0 0 0 249049 50 0 0 20 0 15 0 516275773 15514783744 259364 33554432000 4194304 4196468 140728674687808 140635049365600 140634685309136 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14069760 140728674694107 140728674694282 140728674694282 140728674697167 0
[pid=27834/tid=27836] ppid=27832 vsize=15151156 memory=1037456 CPUtime=6.03 cores=1,3,5,7
/proc/27834/task/27836/stat : 27836 (java) S 27832 27832 26090 0 -1 1077944384 20987 0 0 0 586 17 0 0 20 0 15 0 516275773 15514783744 259364 33554432000 4194304 4196468 140728674687808 140635014839184 140635045136085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14069760 140728674694107 140728674694282 140728674694282 140728674697167 0
[pid=27834/tid=27837] ppid=27832 vsize=15151156 memory=1037456 CPUtime=6.04 cores=1,3,5,7
/proc/27834/task/27837/stat : 27837 (java) S 27832 27832 26090 0 -1 1077944384 23084 0 0 0 587 17 0 0 20 0 15 0 516275773 15514783744 259364 33554432000 4194304 4196468 140728674687808 140634636290832 140635045136085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14069760 140728674694107 140728674694282 140728674694282 140728674697167 0
[pid=27834/tid=27838] ppid=27832 vsize=15151156 memory=1452 CPUtime=6.02 cores=1,3,5,7
/proc/27834/task/27838/stat : 27838 (java) S 27832 27832 26090 0 -1 1077944384 21349 0 0 0 585 17 0 0 20 0 15 0 516275773 15514783744 259364 33554432000 4194304 4196468 140728674687808 140634635238544 140635045136085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14069760 140728674694107 140728674694282 140728674694282 140728674697167 0
[pid=27834/tid=27839] ppid=27832 vsize=15151156 memory=1037456 CPUtime=6.04 cores=1,3,5,7
/proc/27834/task/27839/stat : 27839 (java) S 27832 27832 26090 0 -1 1077944384 19782 0 0 0 587 17 0 0 20 0 15 0 516275773 15514783744 259364 33554432000 4194304 4196468 140728674687808 140634634185744 140635045136085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14069760 140728674694107 140728674694282 140728674694282 140728674697167 0
[pid=27834/tid=27840] ppid=27832 vsize=15151156 memory=1452 CPUtime=1.06 cores=1,3,5,7
/proc/27834/task/27840/stat : 27840 (java) S 27832 27832 26090 0 -1 1077944384 11296 0 0 0 92 14 0 0 20 0 15 0 516275775 15514783744 259364 33554432000 4194304 4196468 140728674687808 140633918969968 140635045137026 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14069760 140728674694107 140728674694282 140728674694282 140728674697167 0
[pid=27834/tid=27841] ppid=27832 vsize=15151156 memory=1037456 CPUtime=0 cores=1,3,5,7
/proc/27834/task/27841/stat : 27841 (java) S 27832 27832 26090 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 516275775 15514783744 259364 33554432000 4194304 4196468 140728674687808 140633917916000 140635045136085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14069760 140728674694107 140728674694282 140728674694282 140728674697167 0
[pid=27834/tid=27842] ppid=27832 vsize=15151156 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/27834/task/27842/stat : 27842 (java) S 27832 27832 26090 0 -1 1077944384 100 0 0 0 0 0 0 0 20 0 15 0 516275775 15514783744 259364 33554432000 4194304 4196468 140728674687808 140633916863616 140635045136085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14069760 140728674694107 140728674694282 140728674694282 140728674697167 0
[pid=27834/tid=27843] ppid=27832 vsize=15151156 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/27834/task/27843/stat : 27843 (java) S 27832 27832 26090 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516275778 15514783744 259364 33554432000 4194304 4196468 140728674687808 140633915811920 140635045144475 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14069760 140728674694107 140728674694282 140728674694282 140728674697167 0
[pid=27834/tid=27844] ppid=27832 vsize=15151156 memory=1452 CPUtime=1.38 cores=1,3,5,7
/proc/27834/task/27844/stat : 27844 (java) S 27832 27832 26090 0 -1 1077944384 14747 0 0 0 137 1 0 0 20 0 15 0 516275778 15514783744 259364 33554432000 4194304 4196468 140728674687808 140633914759792 140635045137026 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14069760 140728674694107 140728674694282 140728674694282 140728674697167 0
[pid=27834/tid=27845] ppid=27832 vsize=15151156 memory=1037456 CPUtime=1.39 cores=1,3,5,7
/proc/27834/task/27845/stat : 27845 (java) S 27832 27832 26090 0 -1 1077944384 15665 0 0 0 138 1 0 0 20 0 15 0 516275778 15514783744 259364 33554432000 4194304 4196468 140728674687808 140633913706992 140635045137026 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14069760 140728674694107 140728674694282 140728674694282 140728674697167 0
[pid=27834/tid=27846] ppid=27832 vsize=15151156 memory=1452 CPUtime=0.4 cores=1,3,5,7
/proc/27834/task/27846/stat : 27846 (java) S 27832 27832 26090 0 -1 1077944384 4822 0 0 0 39 1 0 0 20 0 15 0 516275778 15514783744 259364 33554432000 4194304 4196468 140728674687808 140633912654704 140635045137026 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14069760 140728674694107 140728674694282 140728674694282 140728674697167 0
[pid=27834/tid=27847] ppid=27832 vsize=15151156 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/27834/task/27847/stat : 27847 (java) S 27832 27832 26090 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516275778 15514783744 259364 33554432000 4194304 4196468 140728674687808 140633911602144 140635045136085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14069760 140728674694107 140728674694282 140728674694282 140728674697167 0
[pid=27834/tid=27848] ppid=27832 vsize=15151156 memory=1452 CPUtime=0.6 cores=1,3,5,7
/proc/27834/task/27848/stat : 27848 (java) S 27832 27832 26090 0 -1 1077944384 1203 0 0 0 26 34 0 0 20 0 15 0 516275778 15514783744 259364 33554432000 4194304 4196468 140728674687808 140633910548912 140635045137026 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14069760 140728674694107 140728674694282 140728674694282 140728674697167 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 1038908 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2498.51 s]
# the end of solver process 27832 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.001085 s, system=0.001577 s
[startup+2498.51 s]
# the end of solver process 27834 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2518.45 s, system=1.62645 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+2498.5 s]
/proc/loadavg: 1.61 1.55 1.57 3/231 28181
/proc/meminfo: memFree=25214104/32770624 swapFree=67002132/67108860
[pid=27832] ppid=27829 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/27832/stat : 27832 (xcsp3-exec) S 27829 27832 26090 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 516275772 115843072 363 33554432000 4194304 5098028 140721391546816 140721391544920 140537711665788 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 17022976 140721391551318 140721391551577 140721391551577 140721391554502 0
/proc/27832/statm: 28282 363 304 221 0 87 0
[pid=27834] ppid=27832 vsize=15151156 memory=1037456 CPUtime=2520.05 cores=1,3,5,7
/proc/27834/stat : 27834 (java) S 27832 27832 26090 0 -1 1077944320 213530 0 0 0 251844 161 0 0 20 0 15 0 516275772 15514783744 259364 33554432000 4194304 4196468 140728674687808 140728674670352 140635045125879 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 14069760 140728674694107 140728674694282 140728674694282 140728674697167 0
/proc/27834/statm: 3787789 259364 3509 1 0 3748889 0
[pid=27834/tid=27835] ppid=27832 vsize=15151156 memory=1452 CPUtime=2490.99 cores=1,3,5,7
/proc/27834/task/27835/stat : 27835 (java) R 27832 27832 26090 0 -1 4202560 79183 0 0 0 249049 50 0 0 20 0 15 0 516275773 15514783744 259364 33554432000 4194304 4196468 140728674687808 140635049365600 140634685309136 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14069760 140728674694107 140728674694282 140728674694282 140728674697167 0
[pid=27834/tid=27836] ppid=27832 vsize=15151156 memory=1037456 CPUtime=6.03 cores=1,3,5,7
/proc/27834/task/27836/stat : 27836 (java) S 27832 27832 26090 0 -1 1077944384 20987 0 0 0 586 17 0 0 20 0 15 0 516275773 15514783744 259364 33554432000 4194304 4196468 140728674687808 140635014839184 140635045136085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14069760 140728674694107 140728674694282 140728674694282 140728674697167 0
[pid=27834/tid=27837] ppid=27832 vsize=15151156 memory=1037456 CPUtime=6.04 cores=1,3,5,7
/proc/27834/task/27837/stat : 27837 (java) S 27832 27832 26090 0 -1 1077944384 23084 0 0 0 587 17 0 0 20 0 15 0 516275773 15514783744 259364 33554432000 4194304 4196468 140728674687808 140634636290832 140635045136085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14069760 140728674694107 140728674694282 140728674694282 140728674697167 0
[pid=27834/tid=27838] ppid=27832 vsize=15151156 memory=1452 CPUtime=6.02 cores=1,3,5,7
/proc/27834/task/27838/stat : 27838 (java) S 27832 27832 26090 0 -1 1077944384 21349 0 0 0 585 17 0 0 20 0 15 0 516275773 15514783744 259364 33554432000 4194304 4196468 140728674687808 140634635238544 140635045136085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14069760 140728674694107 140728674694282 140728674694282 140728674697167 0
[pid=27834/tid=27839] ppid=27832 vsize=15151156 memory=1037456 CPUtime=6.04 cores=1,3,5,7
/proc/27834/task/27839/stat : 27839 (java) S 27832 27832 26090 0 -1 1077944384 19782 0 0 0 587 17 0 0 20 0 15 0 516275773 15514783744 259364 33554432000 4194304 4196468 140728674687808 140634634185744 140635045136085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14069760 140728674694107 140728674694282 140728674694282 140728674697167 0
[pid=27834/tid=27840] ppid=27832 vsize=15151156 memory=1452 CPUtime=1.06 cores=1,3,5,7
/proc/27834/task/27840/stat : 27840 (java) S 27832 27832 26090 0 -1 1077944384 11296 0 0 0 92 14 0 0 20 0 15 0 516275775 15514783744 259364 33554432000 4194304 4196468 140728674687808 140633918969968 140635045137026 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14069760 140728674694107 140728674694282 140728674694282 140728674697167 0
[pid=27834/tid=27841] ppid=27832 vsize=15151156 memory=1037456 CPUtime=0 cores=1,3,5,7
/proc/27834/task/27841/stat : 27841 (java) S 27832 27832 26090 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 516275775 15514783744 259364 33554432000 4194304 4196468 140728674687808 140633917916000 140635045136085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14069760 140728674694107 140728674694282 140728674694282 140728674697167 0
[pid=27834/tid=27842] ppid=27832 vsize=15151156 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/27834/task/27842/stat : 27842 (java) S 27832 27832 26090 0 -1 1077944384 100 0 0 0 0 0 0 0 20 0 15 0 516275775 15514783744 259364 33554432000 4194304 4196468 140728674687808 140633916863616 140635045136085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14069760 140728674694107 140728674694282 140728674694282 140728674697167 0
[pid=27834/tid=27843] ppid=27832 vsize=15151156 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/27834/task/27843/stat : 27843 (java) S 27832 27832 26090 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516275778 15514783744 259364 33554432000 4194304 4196468 140728674687808 140633915811920 140635045144475 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14069760 140728674694107 140728674694282 140728674694282 140728674697167 0
[pid=27834/tid=27844] ppid=27832 vsize=15151156 memory=1452 CPUtime=1.38 cores=1,3,5,7
/proc/27834/task/27844/stat : 27844 (java) S 27832 27832 26090 0 -1 1077944384 14747 0 0 0 137 1 0 0 20 0 15 0 516275778 15514783744 259364 33554432000 4194304 4196468 140728674687808 140633914759792 140635045137026 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14069760 140728674694107 140728674694282 140728674694282 140728674697167 0
[pid=27834/tid=27845] ppid=27832 vsize=15151156 memory=1037456 CPUtime=1.39 cores=1,3,5,7
/proc/27834/task/27845/stat : 27845 (java) S 27832 27832 26090 0 -1 1077944384 15665 0 0 0 138 1 0 0 20 0 15 0 516275778 15514783744 259364 33554432000 4194304 4196468 140728674687808 140633913706992 140635045137026 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14069760 140728674694107 140728674694282 140728674694282 140728674697167 0
[pid=27834/tid=27846] ppid=27832 vsize=15151156 memory=1452 CPUtime=0.4 cores=1,3,5,7
/proc/27834/task/27846/stat : 27846 (java) S 27832 27832 26090 0 -1 1077944384 4822 0 0 0 39 1 0 0 20 0 15 0 516275778 15514783744 259364 33554432000 4194304 4196468 140728674687808 140633912654704 140635045137026 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14069760 140728674694107 140728674694282 140728674694282 140728674697167 0
[pid=27834/tid=27847] ppid=27832 vsize=15151156 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/27834/task/27847/stat : 27847 (java) S 27832 27832 26090 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516275778 15514783744 259364 33554432000 4194304 4196468 140728674687808 140633911602144 140635045136085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14069760 140728674694107 140728674694282 140728674694282 140728674697167 0
[pid=27834/tid=27848] ppid=27832 vsize=15151156 memory=1452 CPUtime=0.6 cores=1,3,5,7
/proc/27834/task/27848/stat : 27848 (java) S 27832 27832 26090 0 -1 1077944384 1203 0 0 0 26 34 0 0 20 0 15 0 516275778 15514783744 259364 33554432000 4194304 4196468 140728674687808 140633910548912 140635045137026 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14069760 140728674694107 140728674694282 140728674694282 140728674697167 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 1038908 KiB
Child status: 143
Real time (s): 2498.51
CPU time (s): 2520.08
CPU user time (s): 2518.45
CPU system time (s): 1.62645
CPU usage (%): 100.863
Max. virtual memory (cumulated for all children) (KiB): 15266476
Max. memory (cumulated for all children) (KiB): 2764336
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.45
system time used= 1.62645
maximum resident set size= 2789628
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 214458
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2784
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 81401
involuntary context switches= 4946
# summary of solver processes directly reported to runsolver:
# pid: 27832,27834
# total CPU time (s): 2520.08
# total CPU user time (s): 2518.45
# total CPU system time (s): 1.62645
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.9369 second user time and 21.9373 second system time
The end