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 (12377 MiB free)
memory of node 1: 16384 MiB (12218 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4406402-1569396673/watcher-4406402-1569396673 -o /var/tmp/evaluation-result-4406402-1569396673/solver-4406402-1569396673 -C 2400 -W 2500 -M 15500 --bin-var /var/tmp/runsolver-exch-node117-1569396627-9002 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 1 -ml 12000 -tdir HOME -seed 2000911244 HOME/instance-4406402-1569396673.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=9126, runsolver pid=9123
Current StackSize limit: 8192 KiB
[startup+0.100125 s]*
/proc/loadavg: 0.16 0.05 0.06 4/230 9142
/proc/meminfo: memFree=25167284/32770624 swapFree=66974608/67108860
[pid=9126] ppid=9123 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/9126/stat : 9126 (xcsp3-exec) S 9123 9126 8971 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 515609136 115843072 363 33554432000 4194304 5098028 140731427782640 140731427780744 139894986998396 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 27680768 140731427787606 140731427787865 140731427787865 140731427790790 0
/proc/9126/statm: 28282 363 304 221 0 87 0
[pid=9128] ppid=9126 vsize=15144776 memory=29212 CPUtime=0.13 cores=0,2,4,6
/proc/9128/stat : 9128 (java) S 9126 9126 8971 0 -1 1077944320 5726 0 0 0 11 2 0 0 20 0 15 0 515609136 15508250624 7303 33554432000 4194304 4196468 140732149427184 140732149409728 140268352581367 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 6344704 140732149429211 140732149429386 140732149429386 140732149432271 0
/proc/9128/statm: 3786194 7303 3147 1 0 3748377 0
[pid=9128/tid=9129] ppid=9126 vsize=15144776 memory=8252428994737482315 CPUtime=0.09 cores=0,2,4,6
/proc/9128/task/9129/stat : 9129 (java) R 9126 9126 8971 0 -1 4202560 3605 0 0 0 8 1 0 0 20 0 15 0 515609136 15508250624 7303 33554432000 4194304 4196468 140732149427184 140268356816512 140268352593302 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6344704 140732149429211 140732149429386 140732149429386 140732149432271 0
[pid=9128/tid=9130] ppid=9126 vsize=15144776 memory=-3689451258167578675 CPUtime=0 cores=0,2,4,6
/proc/9128/task/9130/stat : 9130 (java) S 9126 9126 8971 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515609137 15508250624 7303 33554432000 4194304 4196468 140732149427184 140268264238224 140268352591573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6344704 140732149429211 140732149429386 140732149429386 140732149432271 0
[pid=9128/tid=9131] ppid=9126 vsize=15144776 memory=140283011188352 CPUtime=0 cores=0,2,4,6
/proc/9128/task/9131/stat : 9131 (java) S 9126 9126 8971 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515609137 15508250624 7303 33554432000 4194304 4196468 140732149427184 140267944406032 140268352591573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6344704 140732149429211 140732149429386 140732149429386 140732149432271 0
[pid=9128/tid=9132] ppid=9126 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9128/task/9132/stat : 9132 (java) S 9126 9126 8971 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515609137 15508250624 7303 33554432000 4194304 4196468 140732149427184 140267943353232 140268352591573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6344704 140732149429211 140732149429386 140732149429386 140732149432271 0
[pid=9128/tid=9133] ppid=9126 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9128/task/9133/stat : 9133 (java) S 9126 9126 8971 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515609137 15508250624 7303 33554432000 4194304 4196468 140732149427184 140267942300432 140268352591573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6344704 140732149429211 140732149429386 140732149429386 140732149432271 0
[pid=9128/tid=9134] ppid=9126 vsize=15144776 memory=140283011188352 CPUtime=0 cores=0,2,4,6
/proc/9128/task/9134/stat : 9134 (java) S 9126 9126 8971 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515609138 15508250624 7303 33554432000 4194304 4196468 140732149427184 140267846834544 140268352592514 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6344704 140732149429211 140732149429386 140732149429386 140732149432271 0
[pid=9128/tid=9135] ppid=9126 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9128/task/9135/stat : 9135 (java) S 9126 9126 8971 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 515609139 15508250624 7303 33554432000 4194304 4196468 140732149427184 140267845780512 140268352591573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6344704 140732149429211 140732149429386 140732149429386 140732149432271 0
[pid=9128/tid=9136] ppid=9126 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9128/task/9136/stat : 9136 (java) S 9126 9126 8971 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 515609139 15508250624 7303 33554432000 4194304 4196468 140732149427184 140267844727664 140268352591573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6344704 140732149429211 140732149429386 140732149429386 140732149432271 0
[pid=9128/tid=9137] ppid=9126 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9128/task/9137/stat : 9137 (java) S 9126 9126 8971 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515609141 15508250624 7303 33554432000 4194304 4196468 140732149427184 140267843675984 140268352599963 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6344704 140732149429211 140732149429386 140732149429386 140732149432271 0
[pid=9128/tid=9138] ppid=9126 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9128/task/9138/stat : 9138 (java) S 9126 9126 8971 0 -1 1077944384 358 0 0 0 0 0 0 0 20 0 15 0 515609141 15508250624 7303 33554432000 4194304 4196468 140732149427184 140267842624368 140268352592514 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6344704 140732149429211 140732149429386 140732149429386 140732149432271 0
[pid=9128/tid=9139] ppid=9126 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9128/task/9139/stat : 9139 (java) S 9126 9126 8971 0 -1 1077944384 125 0 0 0 0 0 0 0 20 0 15 0 515609141 15508250624 7303 33554432000 4194304 4196468 140732149427184 140267841571568 140268352592514 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6344704 140732149429211 140732149429386 140732149429386 140732149432271 0
[pid=9128/tid=9140] ppid=9126 vsize=15144776 memory=140283011188352 CPUtime=0.02 cores=0,2,4,6
/proc/9128/task/9140/stat : 9140 (java) R 9126 9126 8971 0 -1 4202560 334 0 0 0 2 0 0 0 20 0 15 0 515609141 15508250624 7303 33554432000 4194304 4196468 140732149427184 140267840518768 140268337746920 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6344704 140732149429211 140732149429386 140732149429386 140732149432271 0
[pid=9128/tid=9141] ppid=9126 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9128/task/9141/stat : 9141 (java) S 9126 9126 8971 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515609141 15508250624 7303 33554432000 4194304 4196468 140732149427184 140267839466208 140268352591573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6344704 140732149429211 140732149429386 140732149429386 140732149432271 0
[pid=9128/tid=9142] ppid=9126 vsize=15144776 memory=140283011188352 CPUtime=0 cores=0,2,4,6
/proc/9128/task/9142/stat : 9142 (java) S 9126 9126 8971 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515609142 15508250624 7303 33554432000 4194304 4196468 140732149427184 140267838413488 140268352592514 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6344704 140732149429211 140732149429386 140732149429386 140732149432271 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30664 KiB
[startup+0.211012 s]*
/proc/loadavg: 0.16 0.05 0.06 4/230 9142
/proc/meminfo: memFree=25149064/32770624 swapFree=66974608/67108860
[pid=9126] ppid=9123 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/9126/stat : 9126 (xcsp3-exec) S 9123 9126 8971 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 515609136 115843072 363 33554432000 4194304 5098028 140731427782640 140731427780744 139894986998396 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 27680768 140731427787606 140731427787865 140731427787865 140731427790790 0
/proc/9126/statm: 28282 363 304 221 0 87 0
[pid=9128] ppid=9126 vsize=15144776 memory=40848 CPUtime=0.34 cores=0,2,4,6
/proc/9128/stat : 9128 (java) S 9126 9126 8971 0 -1 1077944320 9490 0 0 0 31 3 0 0 20 0 15 0 515609136 15508250624 10212 33554432000 4194304 4196468 140732149427184 140732149409728 140268352581367 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 6344704 140732149429211 140732149429386 140732149429386 140732149432271 0
/proc/9128/statm: 3786194 10212 3279 1 0 3748377 0
[pid=9128/tid=9129] ppid=9126 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/9128/task/9129/stat : 9129 (java) R 9126 9126 8971 0 -1 4202560 6590 0 0 0 18 2 0 0 20 0 15 0 515609136 15508250624 10212 33554432000 4194304 4196468 140732149427184 140268356818128 140268336661854 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6344704 140732149429211 140732149429386 140732149429386 140732149432271 0
[pid=9128/tid=9130] ppid=9126 vsize=15144776 memory=13657 CPUtime=0 cores=0,2,4,6
/proc/9128/task/9130/stat : 9130 (java) S 9126 9126 8971 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515609137 15508250624 10212 33554432000 4194304 4196468 140732149427184 140268264238224 140268352591573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6344704 140732149429211 140732149429386 140732149429386 140732149432271 0
[pid=9128/tid=9131] ppid=9126 vsize=15144776 memory=140283015026252 CPUtime=0 cores=0,2,4,6
/proc/9128/task/9131/stat : 9131 (java) S 9126 9126 8971 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515609137 15508250624 10212 33554432000 4194304 4196468 140732149427184 140267944406032 140268352591573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6344704 140732149429211 140732149429386 140732149429386 140732149432271 0
[pid=9128/tid=9132] ppid=9126 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9128/task/9132/stat : 9132 (java) S 9126 9126 8971 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515609137 15508250624 10212 33554432000 4194304 4196468 140732149427184 140267943353232 140268352591573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6344704 140732149429211 140732149429386 140732149429386 140732149432271 0
[pid=9128/tid=9133] ppid=9126 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9128/task/9133/stat : 9133 (java) S 9126 9126 8971 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515609137 15508250624 10212 33554432000 4194304 4196468 140732149427184 140267942300432 140268352591573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6344704 140732149429211 140732149429386 140732149429386 140732149432271 0
[pid=9128/tid=9134] ppid=9126 vsize=15144776 memory=140283011188352 CPUtime=0 cores=0,2,4,6
/proc/9128/task/9134/stat : 9134 (java) S 9126 9126 8971 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 515609138 15508250624 10212 33554432000 4194304 4196468 140732149427184 140267846834544 140268352592514 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6344704 140732149429211 140732149429386 140732149429386 140732149432271 0
[pid=9128/tid=9135] ppid=9126 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9128/task/9135/stat : 9135 (java) S 9126 9126 8971 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 515609139 15508250624 10212 33554432000 4194304 4196468 140732149427184 140267845780512 140268352591573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6344704 140732149429211 140732149429386 140732149429386 140732149432271 0
[pid=9128/tid=9136] ppid=9126 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9128/task/9136/stat : 9136 (java) S 9126 9126 8971 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 515609139 15508250624 10212 33554432000 4194304 4196468 140732149427184 140267844727664 140268352591573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6344704 140732149429211 140732149429386 140732149429386 140732149432271 0
[pid=9128/tid=9137] ppid=9126 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9128/task/9137/stat : 9137 (java) S 9126 9126 8971 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515609141 15508250624 10212 33554432000 4194304 4196468 140732149427184 140267843675984 140268352599963 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6344704 140732149429211 140732149429386 140732149429386 140732149432271 0
[pid=9128/tid=9138] ppid=9126 vsize=15144776 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/9128/task/9138/stat : 9138 (java) S 9126 9126 8971 0 -1 1077944384 640 0 0 0 2 0 0 0 20 0 15 0 515609141 15508250624 10212 33554432000 4194304 4196468 140732149427184 140267842624368 140268352592514 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6344704 140732149429211 140732149429386 140732149429386 140732149432271 0
[pid=9128/tid=9139] ppid=9126 vsize=15144776 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/9128/task/9139/stat : 9139 (java) S 9126 9126 8971 0 -1 1077944384 240 0 0 0 2 0 0 0 20 0 15 0 515609141 15508250624 10212 33554432000 4194304 4196468 140732149427184 140267841571568 140268352592514 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6344704 140732149429211 140732149429386 140732149429386 140732149432271 0
[pid=9128/tid=9140] ppid=9126 vsize=15144776 memory=140283011188352 CPUtime=0.08 cores=0,2,4,6
/proc/9128/task/9140/stat : 9140 (java) S 9126 9126 8971 0 -1 1077944384 715 0 0 0 8 0 0 0 20 0 15 0 515609141 15508250624 10212 33554432000 4194304 4196468 140732149427184 140267840518768 140268352592514 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6344704 140732149429211 140732149429386 140732149429386 140732149432271 0
[pid=9128/tid=9141] ppid=9126 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9128/task/9141/stat : 9141 (java) S 9126 9126 8971 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515609141 15508250624 10212 33554432000 4194304 4196468 140732149427184 140267839466208 140268352591573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6344704 140732149429211 140732149429386 140732149429386 140732149432271 0
[pid=9128/tid=9142] ppid=9126 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9128/task/9142/stat : 9142 (java) S 9126 9126 8971 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515609142 15508250624 10212 33554432000 4194304 4196468 140732149427184 140267838413488 140268352592514 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6344704 140732149429211 140732149429386 140732149429386 140732149432271 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42300 KiB
[startup+0.310827 s]*
/proc/loadavg: 0.16 0.05 0.06 4/230 9142
/proc/meminfo: memFree=25139384/32770624 swapFree=66974608/67108860
[pid=9126] ppid=9123 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/9126/stat : 9126 (xcsp3-exec) S 9123 9126 8971 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 515609136 115843072 363 33554432000 4194304 5098028 140731427782640 140731427780744 139894986998396 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 27680768 140731427787606 140731427787865 140731427787865 140731427790790 0
/proc/9126/statm: 28282 363 304 221 0 87 0
[pid=9128] ppid=9126 vsize=15149032 memory=49816 CPUtime=0.53 cores=0,2,4,6
/proc/9128/stat : 9128 (java) S 9126 9126 8971 0 -1 1077944320 10815 0 0 0 49 4 0 0 20 0 15 0 515609136 15512608768 12454 33554432000 4194304 4196468 140732149427184 140732149409728 140268352581367 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 6344704 140732149429211 140732149429386 140732149429386 140732149432271 0
/proc/9128/statm: 3787258 12454 3335 1 0 3748377 0
[pid=9128/tid=9129] ppid=9126 vsize=15149032 memory=1398722017469774279 CPUtime=0.3 cores=0,2,4,6
/proc/9128/task/9129/stat : 9129 (java) R 9126 9126 8971 0 -1 4202560 7737 0 0 0 26 4 0 0 20 0 15 0 515609136 15512608768 12454 33554432000 4194304 4196468 140732149427184 140268356812480 140268352603293 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6344704 140732149429211 140732149429386 140732149429386 140732149432271 0
[pid=9128/tid=9130] ppid=9126 vsize=15149032 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/9128/task/9130/stat : 9130 (java) S 9126 9126 8971 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515609137 15512608768 12454 33554432000 4194304 4196468 140732149427184 140268264238224 140268352591573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6344704 140732149429211 140732149429386 140732149429386 140732149432271 0
[pid=9128/tid=9131] ppid=9126 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/9128/task/9131/stat : 9131 (java) S 9126 9126 8971 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515609137 15512608768 12454 33554432000 4194304 4196468 140732149427184 140267944406032 140268352591573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6344704 140732149429211 140732149429386 140732149429386 140732149432271 0
[pid=9128/tid=9132] ppid=9126 vsize=15149032 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/9128/task/9132/stat : 9132 (java) S 9126 9126 8971 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515609137 15512608768 12454 33554432000 4194304 4196468 140732149427184 140267943353232 140268352591573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6344704 140732149429211 140732149429386 140732149429386 140732149432271 0
[pid=9128/tid=9133] ppid=9126 vsize=15149032 memory=-5587046532246807594 CPUtime=0 cores=0,2,4,6
/proc/9128/task/9133/stat : 9133 (java) S 9126 9126 8971 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515609137 15512608768 12454 33554432000 4194304 4196468 140732149427184 140267942300432 140268352591573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6344704 140732149429211 140732149429386 140732149429386 140732149432271 0
[pid=9128/tid=9134] ppid=9126 vsize=15149032 memory=7307460107981921142 CPUtime=0 cores=0,2,4,6
/proc/9128/task/9134/stat : 9134 (java) S 9126 9126 8971 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 515609138 15512608768 12454 33554432000 4194304 4196468 140732149427184 140267846834544 140268352592514 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6344704 140732149429211 140732149429386 140732149429386 140732149432271 0
[pid=9128/tid=9135] ppid=9126 vsize=15149032 memory=7016714186490735262 CPUtime=0 cores=0,2,4,6
/proc/9128/task/9135/stat : 9135 (java) S 9126 9126 8971 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 515609139 15512608768 12454 33554432000 4194304 4196468 140732149427184 140267845780512 140268352591573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6344704 140732149429211 140732149429386 140732149429386 140732149432271 0
[pid=9128/tid=9136] ppid=9126 vsize=15149032 memory=-9062862659931694204 CPUtime=0 cores=0,2,4,6
/proc/9128/task/9136/stat : 9136 (java) S 9126 9126 8971 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 515609139 15512608768 12454 33554432000 4194304 4196468 140732149427184 140267844727664 140268352591573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6344704 140732149429211 140732149429386 140732149429386 140732149432271 0
[pid=9128/tid=9137] ppid=9126 vsize=15149032 memory=3047711566422646390 CPUtime=0 cores=0,2,4,6
/proc/9128/task/9137/stat : 9137 (java) S 9126 9126 8971 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515609141 15512608768 12454 33554432000 4194304 4196468 140732149427184 140267843675984 140268352599963 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6344704 140732149429211 140732149429386 140732149429386 140732149432271 0
[pid=9128/tid=9138] ppid=9126 vsize=15149032 memory=-8412656567168561567 CPUtime=0.05 cores=0,2,4,6
/proc/9128/task/9138/stat : 9138 (java) R 9126 9126 8971 0 -1 4202560 736 0 0 0 5 0 0 0 20 0 15 0 515609141 15512608768 12454 33554432000 4194304 4196468 140732149427184 140267842614752 140268335966403 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6344704 140732149429211 140732149429386 140732149429386 140732149432271 0
[pid=9128/tid=9139] ppid=9126 vsize=15149032 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/9128/task/9139/stat : 9139 (java) S 9126 9126 8971 0 -1 1077944384 259 0 0 0 4 0 0 0 20 0 15 0 515609141 15512608768 12454 33554432000 4194304 4196468 140732149427184 140267841571568 140268352592514 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6344704 140732149429211 140732149429386 140732149429386 140732149432271 0
[pid=9128/tid=9140] ppid=9126 vsize=15149032 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/9128/task/9140/stat : 9140 (java) S 9126 9126 8971 0 -1 1077944384 782 0 0 0 13 0 0 0 20 0 15 0 515609141 15512608768 12454 33554432000 4194304 4196468 140732149427184 140267840518768 140268352592514 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6344704 140732149429211 140732149429386 140732149429386 140732149432271 0
[pid=9128/tid=9141] ppid=9126 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9128/task/9141/stat : 9141 (java) S 9126 9126 8971 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515609141 15512608768 12454 33554432000 4194304 4196468 140732149427184 140267839466208 140268352591573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6344704 140732149429211 140732149429386 140732149429386 140732149432271 0
[pid=9128/tid=9142] ppid=9126 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9128/task/9142/stat : 9142 (java) S 9126 9126 8971 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515609142 15512608768 12454 33554432000 4194304 4196468 140732149427184 140267838413488 140268352592514 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6344704 140732149429211 140732149429386 140732149429386 140732149432271 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51268 KiB
[startup+0.706699 s]
/proc/loadavg: 0.16 0.05 0.06 6/230 9142
/proc/meminfo: memFree=25119200/32770624 swapFree=66974608/67108860
[pid=9126] ppid=9123 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/9126/stat : 9126 (xcsp3-exec) S 9123 9126 8971 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 515609136 115843072 363 33554432000 4194304 5098028 140731427782640 140731427780744 139894986998396 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 27680768 140731427787606 140731427787865 140731427787865 140731427790790 0
/proc/9126/statm: 28282 363 304 221 0 87 0
[pid=9128] ppid=9126 vsize=15151156 memory=73696 CPUtime=1.63 cores=0,2,4,6
/proc/9128/stat : 9128 (java) S 9126 9126 8971 0 -1 1077944320 14639 0 0 0 156 7 0 0 20 0 15 0 515609136 15514783744 18424 33554432000 4194304 4196468 140732149427184 140732149409728 140268352581367 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 6344704 140732149429211 140732149429386 140732149429386 140732149432271 0
/proc/9128/statm: 3787789 18424 3455 1 0 3748889 0
[pid=9128/tid=9129] ppid=9126 vsize=15151156 memory=1791672452353 CPUtime=0.69 cores=0,2,4,6
/proc/9128/task/9129/stat : 9129 (java) R 9126 9126 8971 0 -1 4202560 9156 0 0 0 64 5 0 0 20 0 15 0 515609136 15514783744 18424 33554432000 4194304 4196468 140732149427184 140268356819168 140267948228264 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6344704 140732149429211 140732149429386 140732149429386 140732149432271 0
[pid=9128/tid=9130] ppid=9126 vsize=15151156 memory=33 CPUtime=0 cores=0,2,4,6
/proc/9128/task/9130/stat : 9130 (java) S 9126 9126 8971 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515609137 15514783744 18424 33554432000 4194304 4196468 140732149427184 140268264238224 140268352591573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6344704 140732149429211 140732149429386 140732149429386 140732149432271 0
[pid=9128/tid=9131] ppid=9126 vsize=15151156 memory=-7816663703405220396 CPUtime=0 cores=0,2,4,6
/proc/9128/task/9131/stat : 9131 (java) S 9126 9126 8971 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515609137 15514783744 18424 33554432000 4194304 4196468 140732149427184 140267944406032 140268352591573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6344704 140732149429211 140732149429386 140732149429386 140732149432271 0
[pid=9128/tid=9132] ppid=9126 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9128/task/9132/stat : 9132 (java) S 9126 9126 8971 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515609137 15514783744 18424 33554432000 4194304 4196468 140732149427184 140267943353232 140268352591573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6344704 140732149429211 140732149429386 140732149429386 140732149432271 0
[pid=9128/tid=9133] ppid=9126 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9128/task/9133/stat : 9133 (java) S 9126 9126 8971 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515609137 15514783744 18424 33554432000 4194304 4196468 140732149427184 140267942300432 140268352591573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6344704 140732149429211 140732149429386 140732149429386 140732149432271 0
[pid=9128/tid=9134] ppid=9126 vsize=15151156 memory=55080 CPUtime=0 cores=0,2,4,6
/proc/9128/task/9134/stat : 9134 (java) S 9126 9126 8971 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 515609138 15514783744 18424 33554432000 4194304 4196468 140732149427184 140267846834544 140268352592514 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6344704 140732149429211 140732149429386 140732149429386 140732149432271 0
[pid=9128/tid=9135] ppid=9126 vsize=15151156 memory=992 CPUtime=0 cores=0,2,4,6
/proc/9128/task/9135/stat : 9135 (java) S 9126 9126 8971 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 515609139 15514783744 18424 33554432000 4194304 4196468 140732149427184 140267845780512 140268352591573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6344704 140732149429211 140732149429386 140732149429386 140732149432271 0
[pid=9128/tid=9136] ppid=9126 vsize=15151156 memory=2044 CPUtime=0 cores=0,2,4,6
/proc/9128/task/9136/stat : 9136 (java) S 9126 9126 8971 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 515609139 15514783744 18424 33554432000 4194304 4196468 140732149427184 140267844727664 140268352591573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6344704 140732149429211 140732149429386 140732149429386 140732149432271 0
[pid=9128/tid=9137] ppid=9126 vsize=15151156 memory=1424 CPUtime=0 cores=0,2,4,6
/proc/9128/task/9137/stat : 9137 (java) S 9126 9126 8971 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515609141 15514783744 18424 33554432000 4194304 4196468 140732149427184 140267843675984 140268352599963 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6344704 140732149429211 140732149429386 140732149429386 140732149432271 0
[pid=9128/tid=9138] ppid=9126 vsize=15151156 memory=11624 CPUtime=0.26 cores=0,2,4,6
/proc/9128/task/9138/stat : 9138 (java) R 9126 9126 8971 0 -1 4202560 1337 0 0 0 26 0 0 0 20 0 15 0 515609141 15514783744 18424 33554432000 4194304 4196468 140732149427184 140267842623552 140268336573944 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6344704 140732149429211 140732149429386 140732149429386 140732149432271 0
[pid=9128/tid=9139] ppid=9126 vsize=15151156 memory=740 CPUtime=0.27 cores=0,2,4,6
/proc/9128/task/9139/stat : 9139 (java) R 9126 9126 8971 0 -1 4202560 1005 0 0 0 27 0 0 0 20 0 15 0 515609141 15514783744 18424 33554432000 4194304 4196468 140732149427184 140267841564672 140268334104282 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 6344704 140732149429211 140732149429386 140732149429386 140732149432271 0
[pid=9128/tid=9140] ppid=9126 vsize=15151156 memory=1056 CPUtime=0.37 cores=0,2,4,6
/proc/9128/task/9140/stat : 9140 (java) R 9126 9126 8971 0 -1 4202560 1832 0 0 0 37 0 0 0 20 0 15 0 515609141 15514783744 18424 33554432000 4194304 4196468 140732149427184 140267840518768 140268330845025 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6344704 140732149429211 140732149429386 140732149429386 140732149432271 0
[pid=9128/tid=9141] ppid=9126 vsize=15151156 memory=1552 CPUtime=0 cores=0,2,4,6
/proc/9128/task/9141/stat : 9141 (java) S 9126 9126 8971 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515609141 15514783744 18424 33554432000 4194304 4196468 140732149427184 140267839466208 140268352591573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6344704 140732149429211 140732149429386 140732149429386 140732149432271 0
[pid=9128/tid=9142] ppid=9126 vsize=15151156 memory=1040 CPUtime=0 cores=0,2,4,6
/proc/9128/task/9142/stat : 9142 (java) S 9126 9126 8971 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515609142 15514783744 18424 33554432000 4194304 4196468 140732149427184 140267838413488 140268352592514 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6344704 140732149429211 140732149429386 140732149429386 140732149432271 0
Current children cumulated CPU time: 1.63 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 75148 KiB
[startup+1.50088 s]
/proc/loadavg: 0.16 0.05 0.06 5/230 9142
/proc/meminfo: memFree=25089484/32770624 swapFree=66974608/67108860
[pid=9126] ppid=9123 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/9126/stat : 9126 (xcsp3-exec) S 9123 9126 8971 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 515609136 115843072 363 33554432000 4194304 5098028 140731427782640 140731427780744 139894986998396 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 27680768 140731427787606 140731427787865 140731427787865 140731427790790 0
/proc/9126/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
/proc/9126/stat : 9126 (xcsp3-exec) S 9123 9126 8971 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 515609136 115843072 363 33554432000 4194304 5098028 140731427782640 140731427780744 139894986998396 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 27680768 140731427787606 140731427787865 140731427787865 140731427790790 0
/proc/9126/statm: 28282 363 304 221 0 87 0
[pid=9128] ppid=9126 vsize=15151156 memory=180360 CPUtime=78.75 cores=0,2,4,6
/proc/9128/stat : 9128 (java) S 9126 9126 8971 0 -1 1077944320 38634 0 0 0 7860 15 0 0 20 0 15 0 515609136 15514783744 45090 33554432000 4194304 4196468 140732149427184 140732149409728 140268352581367 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 6344704 140732149429211 140732149429386 140732149429386 140732149432271 0
/proc/9128/statm: 3787789 45090 3498 1 0 3748889 0
[pid=9128/tid=9129] ppid=9126 vsize=15151156 memory=606964938618372227 CPUtime=75.8 cores=0,2,4,6
/proc/9128/task/9129/stat : 9129 (java) R 9126 9126 8971 0 -1 4202560 11729 0 0 0 7574 6 0 0 20 0 15 0 515609136 15514783744 45090 33554432000 4194304 4196468 140732149427184 140268356820976 140267948627368 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6344704 140732149429211 140732149429386 140732149429386 140732149432271 0
[pid=9128/tid=9130] ppid=9126 vsize=15151156 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/9128/task/9130/stat : 9130 (java) S 9126 9126 8971 0 -1 1077944384 1022 0 0 0 6 1 0 0 20 0 15 0 515609137 15514783744 45090 33554432000 4194304 4196468 140732149427184 140268264238224 140268352591573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6344704 140732149429211 140732149429386 140732149429386 140732149432271 0
[pid=9128/tid=9131] ppid=9126 vsize=15151156 memory=140283011197637 CPUtime=0.06 cores=0,2,4,6
/proc/9128/task/9131/stat : 9131 (java) S 9126 9126 8971 0 -1 1077944384 1226 0 0 0 5 1 0 0 20 0 15 0 515609137 15514783744 45090 33554432000 4194304 4196468 140732149427184 140267944406032 140268352591573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6344704 140732149429211 140732149429386 140732149429386 140732149432271 0
[pid=9128/tid=9132] ppid=9126 vsize=15151156 memory=6944656592455360569 CPUtime=0.07 cores=0,2,4,6
/proc/9128/task/9132/stat : 9132 (java) S 9126 9126 8971 0 -1 1077944384 1206 0 0 0 5 2 0 0 20 0 15 0 515609137 15514783744 45090 33554432000 4194304 4196468 140732149427184 140267943353232 140268352591573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6344704 140732149429211 140732149429386 140732149429386 140732149432271 0
[pid=9128/tid=9133] ppid=9126 vsize=15151156 memory=-3284643825843719562 CPUtime=0.06 cores=0,2,4,6
/proc/9128/task/9133/stat : 9133 (java) S 9126 9126 8971 0 -1 1077944384 302 0 0 0 5 1 0 0 20 0 15 0 515609137 15514783744 45090 33554432000 4194304 4196468 140732149427184 140267942300432 140268352591573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6344704 140732149429211 140732149429386 140732149429386 140732149432271 0
[pid=9128/tid=9134] ppid=9126 vsize=15151156 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/9128/task/9134/stat : 9134 (java) S 9126 9126 8971 0 -1 1077944384 1301 0 0 0 7 1 0 0 20 0 15 0 515609138 15514783744 45090 33554432000 4194304 4196468 140732149427184 140267846834544 140268352592514 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6344704 140732149429211 140732149429386 140732149429386 140732149432271 0
[pid=9128/tid=9135] ppid=9126 vsize=15151156 memory=3472323898181169199 CPUtime=0 cores=0,2,4,6
/proc/9128/task/9135/stat : 9135 (java) S 9126 9126 8971 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 515609139 15514783744 45090 33554432000 4194304 4196468 140732149427184 140267845780576 140268352591573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6344704 140732149429211 140732149429386 140732149429386 140732149432271 0
[pid=9128/tid=9136] ppid=9126 vsize=15151156 memory=6656426216303648864 CPUtime=0 cores=0,2,4,6
/proc/9128/task/9136/stat : 9136 (java) S 9126 9126 8971 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 15 0 515609139 15514783744 45090 33554432000 4194304 4196468 140732149427184 140267844727680 140268352591573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6344704 140732149429211 140732149429386 140732149429386 140732149432271 0
[pid=9128/tid=9137] ppid=9126 vsize=15151156 memory=7901737622707558880 CPUtime=0 cores=0,2,4,6
/proc/9128/task/9137/stat : 9137 (java) S 9126 9126 8971 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515609141 15514783744 45090 33554432000 4194304 4196468 140732149427184 140267843675984 140268352599963 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6344704 140732149429211 140732149429386 140732149429386 140732149432271 0
[pid=9128/tid=9138] ppid=9126 vsize=15151156 memory=0 CPUtime=1.01 cores=0,2,4,6
/proc/9128/task/9138/stat : 9138 (java) S 9126 9126 8971 0 -1 1077944384 7305 0 0 0 101 0 0 0 20 0 15 0 515609141 15514783744 45090 33554432000 4194304 4196468 140732149427184 140267842624368 140268352592514 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6344704 140732149429211 140732149429386 140732149429386 140732149432271 0
[pid=9128/tid=9139] ppid=9126 vsize=15151156 memory=-1 CPUtime=1.04 cores=0,2,4,6
/proc/9128/task/9139/stat : 9139 (java) S 9126 9126 8971 0 -1 1077944384 9175 0 0 0 103 1 0 0 20 0 15 0 515609141 15514783744 45090 33554432000 4194304 4196468 140732149427184 140267841571568 140268352592514 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6344704 140732149429211 140732149429386 140732149429386 140732149432271 0
[pid=9128/tid=9140] ppid=9126 vsize=15151156 memory=140283011188352 CPUtime=0.47 cores=0,2,4,6
/proc/9128/task/9140/stat : 9140 (java) S 9126 9126 8971 0 -1 1077944384 3863 0 0 0 47 0 0 0 20 0 15 0 515609141 15514783744 45090 33554432000 4194304 4196468 140732149427184 140267840518768 140268352592514 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6344704 140732149429211 140732149429386 140732149429386 140732149432271 0
[pid=9128/tid=9141] ppid=9126 vsize=15151156 memory=39204461478888 CPUtime=0 cores=0,2,4,6
/proc/9128/task/9141/stat : 9141 (java) S 9126 9126 8971 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515609141 15514783744 45090 33554432000 4194304 4196468 140732149427184 140267839466208 140268352591573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6344704 140732149429211 140732149429386 140732149429386 140732149432271 0
[pid=9128/tid=9142] ppid=9126 vsize=15151156 memory=29649 CPUtime=0.01 cores=0,2,4,6
/proc/9128/task/9142/stat : 9142 (java) S 9126 9126 8971 0 -1 1077944384 127 0 0 0 1 0 0 0 20 0 15 0 515609142 15514783744 45090 33554432000 4194304 4196468 140732149427184 140267838413488 140268352592514 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6344704 140732149429211 140732149429386 140732149429386 140732149432271 0
Current children cumulated CPU time: 78.75 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 181812 KiB
[startup+76.8009 s]
/proc/loadavg: 0.87 0.30 0.15 3/231 9149
/proc/meminfo: memFree=24980184/32770624 swapFree=66974608/67108860
[pid=9126] ppid=9123 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/9126/stat : 9126 (xcsp3-exec) S 9123 9126 8971 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 515609136 115843072 363 33554432000 4194304 5098028 140731427782640 140731427780744 139894986998396 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 27680768 140731427787606 140731427787865 140731427787865 140731427790790 0
/proc/9126/statm: 28282 363 304 221 0 87 0
[pid=9128] ppid=9126 vsize=15151156 memory=180360 CPUtime=79.55 cores=0,2,4,6
/proc/9128/stat : 9128 (java) S 9126 9126 8971 0 -1 1077944320 38637 0 0 0 7940 15 0 0 20 0 15 0 515609136 15514783744 45090 33554432000 4194304 4196468 140732149427184 140732149409728 140268352581367 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 6344704 140732149429211 140732149429386 140732149429386 140732149432271 0
/proc/9128/statm: 3787789 45090 3498 1 0 3748889 0
[pid=9128/tid=9129] ppid=9126 vsize=15151156 memory=55080 CPUtime=76.58 cores=0,2,4,6
/proc/9128/task/9129/stat : 9129 (java) R 9126 9126 8971 0 -1 4202560 11732 0 0 0 7652 6 0 0 20 0 15 0 515609136 15514783744 45090 33554432000 4194304 4196468 140732149427184 140268356821088 140267949712737 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6344704 140732149429211 140732149429386 140732149429386 140732149432271 0
[pid=9128/tid=9130] ppid=9126 vsize=15151156 memory=992 CPUtime=0.07 cores=0,2,4,6
/proc/9128/task/9130/stat : 9130 (java) S 9126 9126 8971 0 -1 1077944384 1022 0 0 0 6 1 0 0 20 0 15 0 515609137 15514783744 45090 33554432000 4194304 4196468 140732149427184 140268264238224 140268352591573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6344704 140732149429211 140732149429386 140732149429386 140732149432271 0
[pid=9128/tid=9131] ppid=9126 vsize=15151156 memory=8112282956445269571 CPUtime=0.06 cores=0,2,4,6
/proc/9128/task/9131/stat : 9131 (java) S 9126 9126 8971 0 -1 1077944384 1226 0 0 0 5 1 0 0 20 0 15 0 515609137 15514783744 45090 33554432000 4194304 4196468 140732149427184 140267944406032 140268352591573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6344704 140732149429211 140732149429386 140732149429386 140732149432271 0
[pid=9128/tid=9132] ppid=9126 vsize=15151156 memory=1424 CPUtime=0.07 cores=0,2,4,6
/proc/9128/task/9132/stat : 9132 (java) S 9126 9126 8971 0 -1 1077944384 1206 0 0 0 5 2 0 0 20 0 15 0 515609137 15514783744 45090 33554432000 4194304 4196468 140732149427184 140267943353232 140268352591573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6344704 140732149429211 140732149429386 140732149429386 140732149432271 0
[pid=9128/tid=9133] ppid=9126 vsize=15151156 memory=11624 CPUtime=0.06 cores=0,2,4,6
/proc/9128/task/9133/stat : 9133 (java) S 9126 9126 8971 0 -1 1077944384 302 0 0 0 5 1 0 0 20 0 15 0 515609137 15514783744 45090 33554432000 4194304 4196468 140732149427184 140267942300432 140268352591573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6344704 140732149429211 140732149429386 140732149429386 140732149432271 0
[pid=9128/tid=9134] ppid=9126 vsize=15151156 memory=740 CPUtime=0.08 cores=0,2,4,6
/proc/9128/task/9134/stat : 9134 (java) S 9126 9126 8971 0 -1 1077944384 1301 0 0 0 7 1 0 0 20 0 15 0 515609138 15514783744 45090 33554432000 4194304 4196468 140732149427184 140267846834544 140268352592514 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6344704 140732149429211 140732149429386 140732149429386 140732149432271 0
[pid=9128/tid=9135] ppid=9126 vsize=15151156 memory=3472328296227679313 CPUtime=0 cores=0,2,4,6
/proc/9128/task/9135/stat : 9135 (java) S 9126 9126 8971 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 515609139 15514783744 45090 33554432000 4194304 4196468 140732149427184 140267845780576 140268352591573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6344704 140732149429211 140732149429386 140732149429386 140732149432271 0
[pid=9128/tid=9136] ppid=9126 vsize=15151156 memory=-7674914008656224160 CPUtime=0 cores=0,2,4,6
/proc/9128/task/9136/stat : 9136 (java) S 9126 9126 8971 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 15 0 515609139 15514783744 45090 33554432000 4194304 4196468 140732149427184 140267844727680 140268352591573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6344704 140732149429211 140732149429386 140732149429386 140732149432271 0
[pid=9128/tid=9137] ppid=9126 vsize=15151156 memory=9023629670928638048 CPUtime=0 cores=0,2,4,6
/proc/9128/task/9137/stat : 9137 (java) S 9126 9126 8971 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515609141 15514783744 45090 33554432000 4194304 4196468 140732149427184 140267843675984 140268352599963 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6344704 140732149429211 140732149429386 140732149429386 140732149432271 0
[pid=9128/tid=9138] ppid=9126 vsize=15151156 memory=6944652177228980320 CPUtime=1.01 cores=0,2,4,6
/proc/9128/task/9138/stat : 9138 (java) S 9126 9126 8971 0 -1 1077944384 7305 0 0 0 101 0 0 0 20 0 15 0 515609141 15514783744 45090 33554432000 4194304 4196468 140732149427184 140267842624368 140268352592514 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6344704 140732149429211 140732149429386 140732149429386 140732149432271 0
[pid=9128/tid=9139] ppid=9126 vsize=15151156 memory=280565786228592 CPUtime=1.04 cores=0,2,4,6
/proc/9128/task/9139/stat : 9139 (java) S 9126 9126 8971 0 -1 1077944384 9175 0 0 0 103 1 0 0 20 0 15 0 515609141 15514783744 45090 33554432000 4194304 4196468 140732149427184 140267841571568 140268352592514 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6344704 140732149429211 140732149429386 140732149429386 140732149432271 0
[pid=9128/tid=9140] ppid=9126 vsize=15151156 memory=7822038051842261661 CPUtime=0.47 cores=0,2,4,6
/proc/9128/task/9140/stat : 9140 (java) S 9126 9126 8971 0 -1 1077944384 3863 0 0 0 47 0 0 0 20 0 15 0 515609141 15514783744 45090 33554432000 4194304 4196468 140732149427184 140267840518768 140268352592514 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6344704 140732149429211 140732149429386 140732149429386 140732149432271 0
[pid=9128/tid=9141] ppid=9126 vsize=15151156 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/9128/task/9141/stat : 9141 (java) S 9126 9126 8971 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515609141 15514783744 45090 33554432000 4194304 4196468 140732149427184 140267839466208 140268352591573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6344704 140732149429211 140732149429386 140732149429386 140732149432271 0
[pid=9128/tid=9142] ppid=9126 vsize=15151156 memory=1452 CPUtime=0.01 cores=0,2,4,6
/proc/9128/task/9142/stat : 9142 (java) S 9126 9126 8971 0 -1 1077944384 127 0 0 0 1 0 0 0 20 0 15 0 515609142 15514783744 45090 33554432000 4194304 4196468 140732149427184 140267838413488 140268352592514 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6344704 140732149429211 140732149429386 140732149429386 140732149432271 0
Current children cumulated CPU time: 79.55 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 181812 KiB
[startup+77.2009 s]
/proc/loadavg: 0.87 0.30 0.15 3/230 9149
/proc/meminfo: memFree=24980272/32770624 swapFree=66974608/67108860
[pid=9126] ppid=9123 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/9126/stat : 9126 (xcsp3-exec) S 9123 9126 8971 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 515609136 115843072 363 33554432000 4194304 5098028 140731427782640 140731427780744 139894986998396 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 27680768 140731427787606 140731427787865 140731427787865 140731427790790 0
/proc/9126/statm: 28282 363 304 221 0 87 0
[pid=9128] ppid=9126 vsize=15151156 memory=180360 CPUtime=79.95 cores=0,2,4,6
/proc/9128/stat : 9128 (java) S 9126 9126 8971 0 -1 1077944320 38641 0 0 0 7980 15 0 0 20 0 15 0 515609136 15514783744 45090 33554432000 4194304 4196468 140732149427184 140732149409728 140268352581367 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 6344704 140732149429211 140732149429386 140732149429386 140732149432271 0
/proc/9128/statm: 3787789 45090 3498 1 0 3748889 0
[pid=9128/tid=9129] ppid=9126 vsize=15151156 memory=2932 CPUtime=76.98 cores=0,2,4,6
/proc/9128/task/9129/stat : 9129 (java) R 9126 9126 8971 0 -1 4202560 11735 0 0 0 7692 6 0 0 20 0 15 0 515609136 15514783744 45090 33554432000 4194304 4196468 140732149427184 140268356820976 140267948908506 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6344704 140732149429211 140732149429386 140732149429386 140732149432271 0
[pid=9128/tid=9130] ppid=9126 vsize=15151156 memory=1452 CPUtime=0.07 cores=0,2,4,6
/proc/9128/task/9130/stat : 9130 (java) S 9126 9126 8971 0 -1 1077944384 1022 0 0 0 6 1 0 0 20 0 15 0 515609137 15514783744 45090 33554432000 4194304 4196468 140732149427184 140268264238224 140268352591573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6344704 140732149429211 140732149429386 140732149429386 140732149432271 0
[pid=9128/tid=9131] ppid=9126 vsize=15151156 memory=175052 CPUtime=0.06 cores=0,2,4,6
/proc/9128/task/9131/stat : 9131 (java) S 9126 9126 8971 0 -1 1077944384 1226 0 0 0 5 1 0 0 20 0 15 0 515609137 15514783744 45090 33554432000 4194304 4196468 140732149427184 140267944406032 140268352591573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6344704 140732149429211 140732149429386 140732149429386 140732149432271 0
[pid=9128/tid=9132] ppid=9126 vsize=15151156 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/9128/task/9132/stat : 9132 (java) S 9126 9126 8971 0 -1 1077944384 1207 0 0 0 5 2 0 0 20 0 15 0 515609137 15514783744 45090 33554432000 4194304 4196468 140732149427184 140267943353232 140268352591573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6344704 140732149429211 140732149429386 140732149429386 140732149432271 0
[pid=9128/tid=9133] ppid=9126 vsize=15151156 memory=-7595718147998060693 CPUtime=0.07 cores=0,2,4,6
/proc/9128/task/9133/stat : 9133 (java) S 9126 9126 8971 0 -1 1077944384 302 0 0 0 6 1 0 0 20 0 15 0 515609137 15514783744 45090 33554432000 4194304 4196468 140732149427184 140267942300432 140268352591573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6344704 140732149429211 140732149429386 140732149429386 140732149432271 0
[pid=9128/tid=9134] ppid=9126 vsize=15151156 memory=8028674168966910323 CPUtime=0.08 cores=0,2,4,6
/proc/9128/task/9134/stat : 9134 (java) S 9126 9126 8971 0 -1 1077944384 1301 0 0 0 7 1 0 0 20 0 15 0 515609138 15514783744 45090 33554432000 4194304 4196468 140732149427184 140267846834544 140268352592514 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6344704 140732149429211 140732149429386 140732149429386 140732149432271 0
[pid=9128/tid=9135] ppid=9126 vsize=15151156 memory=-7523660553960122769 CPUtime=0 cores=0,2,4,6
/proc/9128/task/9135/stat : 9135 (java) S 9126 9126 8971 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 515609139 15514783744 45090 33554432000 4194304 4196468 140732149427184 140267845780576 140268352591573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6344704 140732149429211 140732149429386 140732149429386 140732149432271 0
[pid=9128/tid=9136] ppid=9126 vsize=15151156 memory=4206468019014099040 CPUtime=0 cores=0,2,4,6
/proc/9128/task/9136/stat : 9136 (java) S 9126 9126 8971 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 15 0 515609139 15514783744 45090 33554432000 4194304 4196468 140732149427184 140267844727680 140268352591573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6344704 140732149429211 140732149429386 140732149429386 140732149432271 0
[pid=9128/tid=9137] ppid=9126 vsize=15151156 memory=-7029379521808015264 CPUtime=0 cores=0,2,4,6
/proc/9128/task/9137/stat : 9137 (java) S 9126 9126 8971 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515609141 15514783744 45090 33554432000 4194304 4196468 140732149427184 140267843675984 140268352599963 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6344704 140732149429211 140732149429386 140732149429386 140732149432271 0
[pid=9128/tid=9138] ppid=9126 vsize=15151156 memory=6944656425122831986 CPUtime=1.01 cores=0,2,4,6
/proc/9128/task/9138/stat : 9138 (java) S 9126 9126 8971 0 -1 1077944384 7305 0 0 0 101 0 0 0 20 0 15 0 515609141 15514783744 45090 33554432000 4194304 4196468 140732149427184 140267842624368 140268352592514 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6344704 140732149429211 140732149429386 140732149429386 140732149432271 0
[pid=9128/tid=9139] ppid=9126 vsize=15151156 memory=-9178176117148050014 CPUtime=1.04 cores=0,2,4,6
/proc/9128/task/9139/stat : 9139 (java) S 9126 9126 8971 0 -1 1077944384 9175 0 0 0 103 1 0 0 20 0 15 0 515609141 15514783744 45090 33554432000 4194304 4196468 140732149427184 140267841571568 140268352592514 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6344704 140732149429211 140732149429386 140732149429386 140732149432271 0
[pid=9128/tid=9140] ppid=9126 vsize=15151156 memory=4137292528961491315 CPUtime=0.47 cores=0,2,4,6
/proc/9128/task/9140/stat : 9140 (java) S 9126 9126 8971 0 -1 1077944384 3863 0 0 0 47 0 0 0 20 0 15 0 515609141 15514783744 45090 33554432000 4194304 4196468 140732149427184 140267840518768 140268352592514 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6344704 140732149429211 140732149429386 140732149429386 140732149432271 0
[pid=9128/tid=9141] ppid=9126 vsize=15151156 memory=1 CPUtime=0 cores=0,2,4,6
/proc/9128/task/9141/stat : 9141 (java) S 9126 9126 8971 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515609141 15514783744 45090 33554432000 4194304 4196468 140732149427184 140267839466208 140268352591573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6344704 140732149429211 140732149429386 140732149429386 140732149432271 0
[pid=9128/tid=9142] ppid=9126 vsize=15151156 memory=2 CPUtime=0.01 cores=0,2,4,6
/proc/9128/task/9142/stat : 9142 (java) S 9126 9126 8971 0 -1 1077944384 127 0 0 0 1 0 0 0 20 0 15 0 515609142 15514783744 45090 33554432000 4194304 4196468 140732149427184 140267838413488 140268352592514 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6344704 140732149429211 140732149429386 140732149429386 140732149432271 0
Current children cumulated CPU time: 79.95 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 181812 KiB
[startup+77.3008 s]
/proc/loadavg: 0.87 0.30 0.15 3/230 9149
/proc/meminfo: memFree=24980272/32770624 swapFree=66974608/67108860
[pid=9126] ppid=9123 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/9126/stat : 9126 (xcsp3-exec) S 9123 9126 8971 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 515609136 115843072 363 33554432000 4194304 5098028 140731427782640 140731427780744 139894986998396 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 27680768 140731427787606 140731427787865 140731427787865 140731427790790 0
/proc/9126/statm: 28282 363 304 221 0 87 0
[pid=9128] ppid=9126 vsize=15151156 memory=180360 CPUtime=80.05 cores=0,2,4,6
/proc/9128/stat : 9128 (java) S 9126 9126 8971 0 -1 1077944320 38641 0 0 0 7990 15 0 0 20 0 15 0 515609136 15514783744 45090 33554432000 4194304 4196468 140732149427184 140732149409728 140268352581367 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 6344704 140732149429211 140732149429386 140732149429386 140732149432271 0
/proc/9128/statm: 3787789 45090 3498 1 0 3748889 0
[pid=9128/tid=9129] ppid=9126 vsize=15151156 memory=180360 CPUtime=77.08 cores=0,2,4,6
/proc/9128/task/9129/stat : 9129 (java) R 9126 9126 8971 0 -1 4202560 11735 0 0 0 7702 6 0 0 20 0 15 0 515609136 15514783744 45090 33554432000 4194304 4196468 140732149427184 140268356820976 140267948627276 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6344704 140732149429211 140732149429386 140732149429386 140732149432271 0
[pid=9128/tid=9130] ppid=9126 vsize=15151156 memory=180360 CPUtime=0.07 cores=0,2,4,6
/proc/9128/task/9130/stat : 9130 (java) S 9126 9126 8971 0 -1 1077944384 1022 0 0 0 6 1 0 0 20 0 15 0 515609137 15514783744 45090 33554432000 4194304 4196468 140732149427184 140268264238224 140268352591573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6344704 140732149429211 140732149429386 140732149429386 140732149432271 0
[pid=9128/tid=9131] ppid=9126 vsize=15151156 memory=1452 CPUtime=0.06 cores=0,2,4,6
/proc/9128/task/9131/stat : 9131 (java) S 9126 9126 8971 0 -1 1077944384 1226 0 0 0 5 1 0 0 20 0 15 0 515609137 15514783744 45090 33554432000 4194304 4196468 140732149427184 140267944406032 140268352591573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6344704 140732149429211 140732149429386 140732149429386 140732149432271 0
[pid=9128/tid=9132] ppid=9126 vsize=15151156 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/9128/task/9132/stat : 9132 (java) S 9126 9126 8971 0 -1 1077944384 1207 0 0 0 5 2 0 0 20 0 15 0 515609137 15514783744 45090 33554432000 4194304 4196468 140732149427184 140267943353232 140268352591573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6344704 140732149429211 140732149429386 140732149429386 140732149432271 0
[pid=9128/tid=9133] ppid=9126 vsize=15151156 memory=180360 CPUtime=0.07 cores=0,2,4,6
/proc/9128/task/9133/stat : 9133 (java) S 9126 9126 8971 0 -1 1077944384 302 0 0 0 6 1 0 0 20 0 15 0 515609137 15514783744 45090 33554432000 4194304 4196468 140732149427184 140267942300432 140268352591573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6344704 140732149429211 140732149429386 140732149429386 140732149432271 0
[pid=9128/tid=9134] ppid=9126 vsize=15151156 memory=1452 CPUtime=0.08 cores=0,2,4,6
/proc/9128/task/9134/stat : 9134 (java) S 9126 9126 8971 0 -1 1077944384 1301 0 0 0 7 1 0 0 20 0 15 0 515609138 15514783744 45090 33554432000 4194304 4196468 140732149427184 140267846834544 140268352592514 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6344704 140732149429211 140732149429386 140732149429386 140732149432271 0
[pid=9128/tid=9135] ppid=9126 vsize=15151156 memory=3804 CPUtime=0 cores=0,2,4,6
/proc/9128/task/9135/stat : 9135 (java) S 9126 9126 8971 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 515609139 15514783744 45090 33554432000 4194304 4196468 140732149427184 140267845780576 140268352591573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6344704 140732149429211 140732149429386 140732149429386 140732149432271 0
[pid=9128/tid=9136] ppid=9126 vsize=15151156 memory=2576 CPUtime=0 cores=0,2,4,6
/proc/9128/task/9136/stat : 9136 (java) S 9126 9126 8971 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 15 0 515609139 15514783744 45090 33554432000 4194304 4196468 140732149427184 140267844727680 140268352591573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6344704 140732149429211 140732149429386 140732149429386 140732149432271 0
[pid=9128/tid=9137] ppid=9126 vsize=15151156 memory=180360 CPUtime=0 cores=0,2,4,6
/proc/9128/task/9137/stat : 9137 (java) S 9126 9126 8971 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515609141 15514783744 45090 33554432000 4194304 4196468 140732149427184 140267843675984 140268352599963 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6344704 140732149429211 140732149429386 140732149429386 140732149432271 0
[pid=9128/tid=9138] ppid=9126 vsize=15151156 memory=1452 CPUtime=1.01 cores=0,2,4,6
/proc/9128/task/9138/stat : 9138 (java) S 9126 9126 8971 0 -1 1077944384 7305 0 0 0 101 0 0 0 20 0 15 0 515609141 15514783744 45090 33554432000 4194304 4196468 140732149427184 140267842624368 140268352592514 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6344704 140732149429211 140732149429386 140732149429386 140732149432271 0
[pid=9128/tid=9139] ppid=9126 vsize=15151156 memory=1452 CPUtime=1.04 cores=0,2,4,6
/proc/9128/task/9139/stat : 9139 (java) S 9126 9126 8971 0 -1 1077944384 9175 0 0 0 103 1 0 0 20 0 15 0 515609141 15514783744 45090 33554432000 4194304 4196468 140732149427184 140267841571568 140268352592514 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6344704 140732149429211 140732149429386 140732149429386 140732149432271 0
[pid=9128/tid=9140] ppid=9126 vsize=15151156 memory=1452 CPUtime=0.47 cores=0,2,4,6
/proc/9128/task/9140/stat : 9140 (java) S 9126 9126 8971 0 -1 1077944384 3863 0 0 0 47 0 0 0 20 0 15 0 515609141 15514783744 45090 33554432000 4194304 4196468 140732149427184 140267840518768 140268352592514 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6344704 140732149429211 140732149429386 140732149429386 140732149432271 0
[pid=9128/tid=9141] ppid=9126 vsize=15151156 memory=4 CPUtime=0 cores=0,2,4,6
/proc/9128/task/9141/stat : 9141 (java) S 9126 9126 8971 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515609141 15514783744 45090 33554432000 4194304 4196468 140732149427184 140267839466208 140268352591573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6344704 140732149429211 140732149429386 140732149429386 140732149432271 0
[pid=9128/tid=9142] ppid=9126 vsize=15151156 memory=6 CPUtime=0.01 cores=0,2,4,6
/proc/9128/task/9142/stat : 9142 (java) S 9126 9126 8971 0 -1 1077944384 127 0 0 0 1 0 0 0 20 0 15 0 515609142 15514783744 45090 33554432000 4194304 4196468 140732149427184 140267838413488 140268352592514 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6344704 140732149429211 140732149429386 140732149429386 140732149432271 0
Current children cumulated CPU time: 80.05 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 181812 KiB
Child status: 0
Real time (s): 77.3835
CPU time (s): 80.1446
CPU user time (s): 79.9831
CPU system time (s): 0.161494
CPU usage (%): 103.568
Max. virtual memory (cumulated for all children) (KiB): 15264284
Max. memory (cumulated for all children) (KiB): 208412
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 79.9831
system time used= 0.161494
maximum resident set size= 206960
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 39760
page faults= 0
swaps= 0
block input operations= 0
block output operations= 192
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5850
involuntary context switches= 162
# summary of solver processes directly reported to runsolver:
# pid: 9126
# total CPU time (s): 80.1446
# total CPU user time (s): 79.9831
# total CPU system time (s): 0.161494
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.469691 second user time and 0.81766 second system time
The end