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 (13106 MiB free)
memory of node 1: 16384 MiB (11140 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4406204-1569410659/watcher-4406204-1569410659 -o /tmp/evaluation-result-4406204-1569410659/solver-4406204-1569410659 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node141-1569396627-21715 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 1 -ml 12000 -tdir HOME -seed 1174005154 HOME/instance-4406204-1569410659.xml
running on 4 cores: 0,2,4,6
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
Current StackSize limit: 8192 KiB
solver pid=24232, runsolver pid=24229
[startup+0.100418 s]*
/proc/loadavg: 1.76 1.87 1.86 4/231 24248
/proc/meminfo: memFree=24814472/32770624 swapFree=66936828/67108860
[pid=24232] ppid=24229 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/24232/stat : 24232 (xcsp3-exec) S 24229 24232 21684 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 517003734 115843072 363 33554432000 4194304 5098028 140734542436080 140734542434184 140085391659644 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 15265792 140734542443386 140734542443629 140734542443629 140734542446538 0
/proc/24232/statm: 28282 363 304 221 0 87 0
[pid=24234] ppid=24232 vsize=15144776 memory=27480 CPUtime=0.13 cores=0,2,4,6
/proc/24234/stat : 24234 (java) S 24232 24232 21684 0 -1 1077944320 5774 0 0 0 12 1 0 0 20 0 15 0 517003734 15508250624 6870 33554432000 4194304 4196468 140727793918848 140727793901392 140451839008503 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 28540928 140727793923055 140727793923226 140727793923226 140727793926095 0
/proc/24234/statm: 3786194 6870 3154 1 0 3748377 0
[pid=24234/tid=24235] ppid=24232 vsize=15144776 memory=-8895323862916359523 CPUtime=0.08 cores=0,2,4,6
/proc/24234/task/24235/stat : 24235 (java) R 24232 24232 21684 0 -1 4202560 3622 0 0 0 8 0 0 0 20 0 15 0 517003734 15508250624 6870 33554432000 4194304 4196468 140727793918848 140451843234336 140451831245630 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28540928 140727793923055 140727793923226 140727793923226 140727793926095 0
[pid=24234/tid=24236] ppid=24232 vsize=15144776 memory=3472468367358960848 CPUtime=0 cores=0,2,4,6
/proc/24234/task/24236/stat : 24236 (java) S 24232 24232 21684 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517003735 15508250624 6870 33554432000 4194304 4196468 140727793918848 140451431246736 140451839018709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28540928 140727793923055 140727793923226 140727793923226 140727793926095 0
[pid=24234/tid=24237] ppid=24232 vsize=15144776 memory=140238463809152 CPUtime=0 cores=0,2,4,6
/proc/24234/task/24237/stat : 24237 (java) S 24232 24232 21684 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517003735 15508250624 6870 33554432000 4194304 4196468 140727793918848 140451430193936 140451839018709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28540928 140727793923055 140727793923226 140727793923226 140727793926095 0
[pid=24234/tid=24238] ppid=24232 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24234/task/24238/stat : 24238 (java) S 24232 24232 21684 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517003735 15508250624 6870 33554432000 4194304 4196468 140727793918848 140451429141648 140451839018709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28540928 140727793923055 140727793923226 140727793923226 140727793926095 0
[pid=24234/tid=24239] ppid=24232 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24234/task/24239/stat : 24239 (java) S 24232 24232 21684 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517003735 15508250624 6870 33554432000 4194304 4196468 140727793918848 140451428088848 140451839018709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28540928 140727793923055 140727793923226 140727793923226 140727793926095 0
[pid=24234/tid=24240] ppid=24232 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24234/task/24240/stat : 24240 (java) S 24232 24232 21684 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517003737 15508250624 6870 33554432000 4194304 4196468 140727793918848 140450712823920 140451839019650 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28540928 140727793923055 140727793923226 140727793923226 140727793926095 0
[pid=24234/tid=24241] ppid=24232 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24234/task/24241/stat : 24241 (java) S 24232 24232 21684 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 517003737 15508250624 6870 33554432000 4194304 4196468 140727793918848 140450711769888 140451839018709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28540928 140727793923055 140727793923226 140727793923226 140727793926095 0
[pid=24234/tid=24242] ppid=24232 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24234/task/24242/stat : 24242 (java) S 24232 24232 21684 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 517003737 15508250624 6870 33554432000 4194304 4196468 140727793918848 140450710717552 140451839018709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28540928 140727793923055 140727793923226 140727793923226 140727793926095 0
[pid=24234/tid=24243] ppid=24232 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24234/task/24243/stat : 24243 (java) S 24232 24232 21684 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517003740 15508250624 6870 33554432000 4194304 4196468 140727793918848 140450709665872 140451839027099 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28540928 140727793923055 140727793923226 140727793923226 140727793926095 0
[pid=24234/tid=24244] ppid=24232 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24234/task/24244/stat : 24244 (java) R 24232 24232 21684 0 -1 4202560 445 0 0 0 0 0 0 0 20 0 15 0 517003740 15508250624 6870 33554432000 4194304 4196468 140727793918848 140450708613744 140451822444241 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28540928 140727793923055 140727793923226 140727793923226 140727793926095 0
[pid=24234/tid=24245] ppid=24232 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24234/task/24245/stat : 24245 (java) R 24232 24232 21684 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517003740 15508250624 6870 33554432000 4194304 4196468 140727793918848 140450707560944 140451839019650 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28540928 140727793923055 140727793923226 140727793923226 140727793926095 0
[pid=24234/tid=24246] ppid=24232 vsize=15144776 memory=140238463809152 CPUtime=0.02 cores=0,2,4,6
/proc/24234/task/24246/stat : 24246 (java) R 24232 24232 21684 0 -1 4202560 423 0 0 0 2 0 0 0 20 0 15 0 517003740 15508250624 6870 33554432000 4194304 4196468 140727793918848 140450706508656 140451832105339 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28540928 140727793923055 140727793923226 140727793923226 140727793926095 0
[pid=24234/tid=24247] ppid=24232 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24234/task/24247/stat : 24247 (java) S 24232 24232 21684 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517003740 15508250624 6870 33554432000 4194304 4196468 140727793918848 140450705456096 140451839018709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28540928 140727793923055 140727793923226 140727793923226 140727793926095 0
[pid=24234/tid=24248] ppid=24232 vsize=15144776 memory=140238463809152 CPUtime=0 cores=0,2,4,6
/proc/24234/task/24248/stat : 24248 (java) S 24232 24232 21684 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517003740 15508250624 6870 33554432000 4194304 4196468 140727793918848 140450704402864 140451839019650 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28540928 140727793923055 140727793923226 140727793923226 140727793926095 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 28932 KiB
[startup+0.21086 s]*
/proc/loadavg: 1.76 1.87 1.86 3/231 24248
/proc/meminfo: memFree=24800908/32770624 swapFree=66936828/67108860
[pid=24232] ppid=24229 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/24232/stat : 24232 (xcsp3-exec) S 24229 24232 21684 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 517003734 115843072 363 33554432000 4194304 5098028 140734542436080 140734542434184 140085391659644 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 15265792 140734542443386 140734542443629 140734542443629 140734542446538 0
/proc/24232/statm: 28282 363 304 221 0 87 0
[pid=24234] ppid=24232 vsize=15144776 memory=39380 CPUtime=0.34 cores=0,2,4,6
/proc/24234/stat : 24234 (java) S 24232 24232 21684 0 -1 1077944320 9569 0 0 0 31 3 0 0 20 0 15 0 517003734 15508250624 9845 33554432000 4194304 4196468 140727793918848 140727793901392 140451839008503 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 28540928 140727793923055 140727793923226 140727793923226 140727793926095 0
/proc/24234/statm: 3786194 9845 3310 1 0 3748377 0
[pid=24234/tid=24235] ppid=24232 vsize=15144776 memory=-8895323862916359523 CPUtime=0.2 cores=0,2,4,6
/proc/24234/task/24235/stat : 24235 (java) R 24232 24232 21684 0 -1 4202560 6639 0 0 0 18 2 0 0 20 0 15 0 517003734 15508250624 9845 33554432000 4194304 4196468 140727793918848 140451843242544 140451839022376 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28540928 140727793923055 140727793923226 140727793923226 140727793926095 0
[pid=24234/tid=24236] ppid=24232 vsize=15144776 memory=3472468367358960848 CPUtime=0 cores=0,2,4,6
/proc/24234/task/24236/stat : 24236 (java) S 24232 24232 21684 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517003735 15508250624 9845 33554432000 4194304 4196468 140727793918848 140451431246736 140451839018709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28540928 140727793923055 140727793923226 140727793923226 140727793926095 0
[pid=24234/tid=24237] ppid=24232 vsize=15144776 memory=140238463809152 CPUtime=0 cores=0,2,4,6
/proc/24234/task/24237/stat : 24237 (java) S 24232 24232 21684 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517003735 15508250624 9845 33554432000 4194304 4196468 140727793918848 140451430193936 140451839018709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28540928 140727793923055 140727793923226 140727793923226 140727793926095 0
[pid=24234/tid=24238] ppid=24232 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24234/task/24238/stat : 24238 (java) S 24232 24232 21684 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517003735 15508250624 9845 33554432000 4194304 4196468 140727793918848 140451429141648 140451839018709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28540928 140727793923055 140727793923226 140727793923226 140727793926095 0
[pid=24234/tid=24239] ppid=24232 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24234/task/24239/stat : 24239 (java) S 24232 24232 21684 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517003735 15508250624 9845 33554432000 4194304 4196468 140727793918848 140451428088848 140451839018709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28540928 140727793923055 140727793923226 140727793923226 140727793926095 0
[pid=24234/tid=24240] ppid=24232 vsize=15144776 memory=140238463809152 CPUtime=0 cores=0,2,4,6
/proc/24234/task/24240/stat : 24240 (java) S 24232 24232 21684 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 517003737 15508250624 9845 33554432000 4194304 4196468 140727793918848 140450712823920 140451839019650 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28540928 140727793923055 140727793923226 140727793923226 140727793926095 0
[pid=24234/tid=24241] ppid=24232 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24234/task/24241/stat : 24241 (java) S 24232 24232 21684 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 517003737 15508250624 9845 33554432000 4194304 4196468 140727793918848 140450711769888 140451839018709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28540928 140727793923055 140727793923226 140727793923226 140727793926095 0
[pid=24234/tid=24242] ppid=24232 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24234/task/24242/stat : 24242 (java) S 24232 24232 21684 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 517003737 15508250624 9845 33554432000 4194304 4196468 140727793918848 140450710717552 140451839018709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28540928 140727793923055 140727793923226 140727793923226 140727793926095 0
[pid=24234/tid=24243] ppid=24232 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24234/task/24243/stat : 24243 (java) S 24232 24232 21684 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517003740 15508250624 9845 33554432000 4194304 4196468 140727793918848 140450709665872 140451839027099 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28540928 140727793923055 140727793923226 140727793923226 140727793926095 0
[pid=24234/tid=24244] ppid=24232 vsize=15144776 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/24234/task/24244/stat : 24244 (java) S 24232 24232 21684 0 -1 1077944384 549 0 0 0 2 0 0 0 20 0 15 0 517003740 15508250624 9845 33554432000 4194304 4196468 140727793918848 140450708613744 140451839019650 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28540928 140727793923055 140727793923226 140727793923226 140727793926095 0
[pid=24234/tid=24245] ppid=24232 vsize=15144776 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/24234/task/24245/stat : 24245 (java) S 24232 24232 21684 0 -1 1077944384 114 0 0 0 2 0 0 0 20 0 15 0 517003740 15508250624 9845 33554432000 4194304 4196468 140727793918848 140450707560944 140451839019650 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28540928 140727793923055 140727793923226 140727793923226 140727793926095 0
[pid=24234/tid=24246] ppid=24232 vsize=15144776 memory=140238463809152 CPUtime=0.08 cores=0,2,4,6
/proc/24234/task/24246/stat : 24246 (java) R 24232 24232 21684 0 -1 4202560 960 0 0 0 8 0 0 0 20 0 15 0 517003740 15508250624 9845 33554432000 4194304 4196468 140727793918848 140450706508656 140451839029850 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28540928 140727793923055 140727793923226 140727793923226 140727793926095 0
[pid=24234/tid=24247] ppid=24232 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24234/task/24247/stat : 24247 (java) S 24232 24232 21684 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517003740 15508250624 9845 33554432000 4194304 4196468 140727793918848 140450705456096 140451839018709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28540928 140727793923055 140727793923226 140727793923226 140727793926095 0
[pid=24234/tid=24248] ppid=24232 vsize=15144776 memory=140238463809152 CPUtime=0 cores=0,2,4,6
/proc/24234/task/24248/stat : 24248 (java) S 24232 24232 21684 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517003740 15508250624 9845 33554432000 4194304 4196468 140727793918848 140450704402864 140451839019650 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28540928 140727793923055 140727793923226 140727793923226 140727793926095 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 40832 KiB
[startup+0.31247 s]*
/proc/loadavg: 1.76 1.87 1.86 5/231 24248
/proc/meminfo: memFree=24796552/32770624 swapFree=66936828/67108860
[pid=24232] ppid=24229 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/24232/stat : 24232 (xcsp3-exec) S 24229 24232 21684 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 517003734 115843072 363 33554432000 4194304 5098028 140734542436080 140734542434184 140085391659644 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 15265792 140734542443386 140734542443629 140734542443629 140734542446538 0
/proc/24232/statm: 28282 363 304 221 0 87 0
[pid=24234] ppid=24232 vsize=15149032 memory=49100 CPUtime=0.53 cores=0,2,4,6
/proc/24234/stat : 24234 (java) S 24232 24232 21684 0 -1 1077944320 11114 0 0 0 49 4 0 0 20 0 15 0 517003734 15512608768 12275 33554432000 4194304 4196468 140727793918848 140727793901392 140451839008503 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 28540928 140727793923055 140727793923226 140727793923226 140727793926095 0
/proc/24234/statm: 3787258 12275 3373 1 0 3748377 0
[pid=24234/tid=24235] ppid=24232 vsize=15149032 memory=-8094235084319000145 CPUtime=0.3 cores=0,2,4,6
/proc/24234/task/24235/stat : 24235 (java) R 24232 24232 21684 0 -1 4202560 7767 0 0 0 27 3 0 0 20 0 15 0 517003734 15512608768 12275 33554432000 4194304 4196468 140727793918848 140451843239616 140451823088990 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28540928 140727793923055 140727793923226 140727793923226 140727793926095 0
[pid=24234/tid=24236] ppid=24232 vsize=15149032 memory=3472468367358960848 CPUtime=0 cores=0,2,4,6
/proc/24234/task/24236/stat : 24236 (java) S 24232 24232 21684 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517003735 15512608768 12275 33554432000 4194304 4196468 140727793918848 140451431246736 140451839018709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28540928 140727793923055 140727793923226 140727793923226 140727793926095 0
[pid=24234/tid=24237] ppid=24232 vsize=15149032 memory=280476796545408 CPUtime=0 cores=0,2,4,6
/proc/24234/task/24237/stat : 24237 (java) S 24232 24232 21684 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517003735 15512608768 12275 33554432000 4194304 4196468 140727793918848 140451430193936 140451839018709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28540928 140727793923055 140727793923226 140727793923226 140727793926095 0
[pid=24234/tid=24238] ppid=24232 vsize=15149032 memory=280476665504800 CPUtime=0 cores=0,2,4,6
/proc/24234/task/24238/stat : 24238 (java) S 24232 24232 21684 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517003735 15512608768 12275 33554432000 4194304 4196468 140727793918848 140451429141648 140451839018709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28540928 140727793923055 140727793923226 140727793923226 140727793926095 0
[pid=24234/tid=24239] ppid=24232 vsize=15149032 memory=140238332736271 CPUtime=0 cores=0,2,4,6
/proc/24234/task/24239/stat : 24239 (java) S 24232 24232 21684 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517003735 15512608768 12275 33554432000 4194304 4196468 140727793918848 140451428088848 140451839018709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28540928 140727793923055 140727793923226 140727793923226 140727793926095 0
[pid=24234/tid=24240] ppid=24232 vsize=15149032 memory=280476796554624 CPUtime=0 cores=0,2,4,6
/proc/24234/task/24240/stat : 24240 (java) S 24232 24232 21684 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 517003737 15512608768 12275 33554432000 4194304 4196468 140727793918848 140450712823920 140451839019650 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28540928 140727793923055 140727793923226 140727793923226 140727793926095 0
[pid=24234/tid=24241] ppid=24232 vsize=15149032 memory=140238332740879 CPUtime=0 cores=0,2,4,6
/proc/24234/task/24241/stat : 24241 (java) S 24232 24232 21684 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 517003737 15512608768 12275 33554432000 4194304 4196468 140727793918848 140450711769888 140451839018709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28540928 140727793923055 140727793923226 140727793923226 140727793926095 0
[pid=24234/tid=24242] ppid=24232 vsize=15149032 memory=140238332766465 CPUtime=0 cores=0,2,4,6
/proc/24234/task/24242/stat : 24242 (java) S 24232 24232 21684 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 517003737 15512608768 12275 33554432000 4194304 4196468 140727793918848 140450710717552 140451839018709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28540928 140727793923055 140727793923226 140727793923226 140727793926095 0
[pid=24234/tid=24243] ppid=24232 vsize=15149032 memory=140238332769477 CPUtime=0 cores=0,2,4,6
/proc/24234/task/24243/stat : 24243 (java) S 24232 24232 21684 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517003740 15512608768 12275 33554432000 4194304 4196468 140727793918848 140450709665872 140451839027099 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28540928 140727793923055 140727793923226 140727793923226 140727793926095 0
[pid=24234/tid=24244] ppid=24232 vsize=15149032 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/24234/task/24244/stat : 24244 (java) S 24232 24232 21684 0 -1 1077944384 597 0 0 0 4 0 0 0 20 0 15 0 517003740 15512608768 12275 33554432000 4194304 4196468 140727793918848 140450708613744 140451839019650 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28540928 140727793923055 140727793923226 140727793923226 140727793926095 0
[pid=24234/tid=24245] ppid=24232 vsize=15149032 memory=-1 CPUtime=0.05 cores=0,2,4,6
/proc/24234/task/24245/stat : 24245 (java) R 24232 24232 21684 0 -1 4202560 277 0 0 0 5 0 0 0 20 0 15 0 517003740 15512608768 12275 33554432000 4194304 4196468 140727793918848 140450707559344 140451816660368 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28540928 140727793923055 140727793923226 140727793923226 140727793926095 0
[pid=24234/tid=24246] ppid=24232 vsize=15149032 memory=140238463809152 CPUtime=0.12 cores=0,2,4,6
/proc/24234/task/24246/stat : 24246 (java) S 24232 24232 21684 0 -1 1077944384 1182 0 0 0 12 0 0 0 20 0 15 0 517003740 15512608768 12275 33554432000 4194304 4196468 140727793918848 140450706508656 140451839019650 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28540928 140727793923055 140727793923226 140727793923226 140727793926095 0
[pid=24234/tid=24247] ppid=24232 vsize=15149032 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24234/task/24247/stat : 24247 (java) S 24232 24232 21684 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517003740 15512608768 12275 33554432000 4194304 4196468 140727793918848 140450705456096 140451839018709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28540928 140727793923055 140727793923226 140727793923226 140727793926095 0
[pid=24234/tid=24248] ppid=24232 vsize=15149032 memory=140238463810604 CPUtime=0 cores=0,2,4,6
/proc/24234/task/24248/stat : 24248 (java) S 24232 24232 21684 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517003740 15512608768 12275 33554432000 4194304 4196468 140727793918848 140450704402864 140451839019650 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28540928 140727793923055 140727793923226 140727793923226 140727793926095 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 50552 KiB
[startup+0.70092 s]
/proc/loadavg: 1.76 1.87 1.86 5/231 24248
/proc/meminfo: memFree=24782724/32770624 swapFree=66936828/67108860
[pid=24232] ppid=24229 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/24232/stat : 24232 (xcsp3-exec) S 24229 24232 21684 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 517003734 115843072 363 33554432000 4194304 5098028 140734542436080 140734542434184 140085391659644 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 15265792 140734542443386 140734542443629 140734542443629 140734542446538 0
/proc/24232/statm: 28282 363 304 221 0 87 0
[pid=24234] ppid=24232 vsize=15151156 memory=67120 CPUtime=1.59 cores=0,2,4,6
/proc/24234/stat : 24234 (java) S 24232 24232 21684 0 -1 1077944320 14080 0 0 0 154 5 0 0 20 0 15 0 517003734 15514783744 16780 33554432000 4194304 4196468 140727793918848 140727793901392 140451839008503 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 28540928 140727793923055 140727793923226 140727793923226 140727793926095 0
/proc/24234/statm: 3787789 16780 3456 1 0 3748889 0
[pid=24234/tid=24235] ppid=24232 vsize=15151156 memory=6945208551368380768 CPUtime=0.66 cores=0,2,4,6
/proc/24234/task/24235/stat : 24235 (java) R 24232 24232 21684 0 -1 4202560 9121 0 0 0 63 3 0 0 20 0 15 0 517003734 15514783744 16780 33554432000 4194304 4196468 140727793918848 140451843245720 140451476296601 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28540928 140727793923055 140727793923226 140727793923226 140727793926095 0
[pid=24234/tid=24236] ppid=24232 vsize=15151156 memory=7084813469732589655 CPUtime=0 cores=0,2,4,6
/proc/24234/task/24236/stat : 24236 (java) S 24232 24232 21684 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517003735 15514783744 16780 33554432000 4194304 4196468 140727793918848 140451431246736 140451839018709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28540928 140727793923055 140727793923226 140727793923226 140727793926095 0
[pid=24234/tid=24237] ppid=24232 vsize=15151156 memory=7881696724453321575 CPUtime=0 cores=0,2,4,6
/proc/24234/task/24237/stat : 24237 (java) S 24232 24232 21684 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517003735 15514783744 16780 33554432000 4194304 4196468 140727793918848 140451430193936 140451839018709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28540928 140727793923055 140727793923226 140727793923226 140727793926095 0
[pid=24234/tid=24238] ppid=24232 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24234/task/24238/stat : 24238 (java) S 24232 24232 21684 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517003735 15514783744 16780 33554432000 4194304 4196468 140727793918848 140451429141648 140451839018709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28540928 140727793923055 140727793923226 140727793923226 140727793926095 0
[pid=24234/tid=24239] ppid=24232 vsize=15151156 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/24234/task/24239/stat : 24239 (java) S 24232 24232 21684 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517003735 15514783744 16780 33554432000 4194304 4196468 140727793918848 140451428088848 140451839018709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28540928 140727793923055 140727793923226 140727793923226 140727793926095 0
[pid=24234/tid=24240] ppid=24232 vsize=15151156 memory=11620 CPUtime=0 cores=0,2,4,6
/proc/24234/task/24240/stat : 24240 (java) S 24232 24232 21684 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 517003737 15514783744 16780 33554432000 4194304 4196468 140727793918848 140450712823920 140451839019650 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28540928 140727793923055 140727793923226 140727793923226 140727793926095 0
[pid=24234/tid=24241] ppid=24232 vsize=15151156 memory=3608 CPUtime=0 cores=0,2,4,6
/proc/24234/task/24241/stat : 24241 (java) S 24232 24232 21684 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 517003737 15514783744 16780 33554432000 4194304 4196468 140727793918848 140450711769888 140451839018709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28540928 140727793923055 140727793923226 140727793923226 140727793926095 0
[pid=24234/tid=24242] ppid=24232 vsize=15151156 memory=2828 CPUtime=0 cores=0,2,4,6
/proc/24234/task/24242/stat : 24242 (java) S 24232 24232 21684 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 517003737 15514783744 16780 33554432000 4194304 4196468 140727793918848 140450710717552 140451839018709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28540928 140727793923055 140727793923226 140727793923226 140727793926095 0
[pid=24234/tid=24243] ppid=24232 vsize=15151156 memory=1000 CPUtime=0 cores=0,2,4,6
/proc/24234/task/24243/stat : 24243 (java) S 24232 24232 21684 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517003740 15514783744 16780 33554432000 4194304 4196468 140727793918848 140450709665872 140451839027099 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28540928 140727793923055 140727793923226 140727793923226 140727793926095 0
[pid=24234/tid=24244] ppid=24232 vsize=15151156 memory=1560 CPUtime=0.24 cores=0,2,4,6
/proc/24234/task/24244/stat : 24244 (java) R 24232 24232 21684 0 -1 4202560 1065 0 0 0 24 0 0 0 20 0 15 0 517003740 15514783744 16780 33554432000 4194304 4196468 140727793918848 140450708603624 140451823395984 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28540928 140727793923055 140727793923226 140727793923226 140727793926095 0
[pid=24234/tid=24245] ppid=24232 vsize=15151156 memory=1172 CPUtime=0.29 cores=0,2,4,6
/proc/24234/task/24245/stat : 24245 (java) R 24232 24232 21684 0 -1 4202560 655 0 0 0 29 0 0 0 20 0 15 0 517003740 15514783744 16780 33554432000 4194304 4196468 140727793918848 140450707546944 140451818488679 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28540928 140727793923055 140727793923226 140727793923226 140727793926095 0
[pid=24234/tid=24246] ppid=24232 vsize=15151156 memory=14008 CPUtime=0.35 cores=0,2,4,6
/proc/24234/task/24246/stat : 24246 (java) S 24232 24232 21684 0 -1 1077944384 1931 0 0 0 35 0 0 0 20 0 15 0 517003740 15514783744 16780 33554432000 4194304 4196468 140727793918848 140450706508656 140451839019650 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28540928 140727793923055 140727793923226 140727793923226 140727793926095 0
[pid=24234/tid=24247] ppid=24232 vsize=15151156 memory=14076 CPUtime=0 cores=0,2,4,6
/proc/24234/task/24247/stat : 24247 (java) S 24232 24232 21684 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517003740 15514783744 16780 33554432000 4194304 4196468 140727793918848 140450705456096 140451839018709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28540928 140727793923055 140727793923226 140727793923226 140727793926095 0
[pid=24234/tid=24248] ppid=24232 vsize=15151156 memory=2116 CPUtime=0 cores=0,2,4,6
/proc/24234/task/24248/stat : 24248 (java) S 24232 24232 21684 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517003740 15514783744 16780 33554432000 4194304 4196468 140727793918848 140450704402864 140451839019650 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28540928 140727793923055 140727793923226 140727793923226 140727793926095 0
Current children cumulated CPU time: 1.59 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 68572 KiB
[startup+1.50089 s]
/proc/loadavg: 1.76 1.87 1.86 5/231 24248
/proc/meminfo: memFree=24765484/32770624 swapFree=66936828/67108860
[pid=24232] ppid=24229 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/24232/stat : 24232 (xcsp3-exec) S 24229 24232 21684 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 517003734 115843072 363 33554432000 4194304 5098028 140734542436080 140734542434184 140085391659644 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 15265792 140734542443386 140734542443629 140734542443629 140734542446538 0
/proc/24232/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
/proc/24232/stat : 24232 (xcsp3-exec) S 24229 24232 21684 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 517003734 115843072 363 33554432000 4194304 5098028 140734542436080 140734542434184 140085391659644 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 15265792 140734542443386 140734542443629 140734542443629 140734542446538 0
/proc/24232/statm: 28282 363 304 221 0 87 0
[pid=24234] ppid=24232 vsize=15151156 memory=460580 CPUtime=1017.63 cores=0,2,4,6
/proc/24234/stat : 24234 (java) S 24232 24232 21684 0 -1 1077944320 67621 0 0 0 101713 50 0 0 20 0 15 0 517003734 15514783744 115145 33554432000 4194304 4196468 140727793918848 140727793901392 140451839008503 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 28540928 140727793923055 140727793923226 140727793923226 140727793926095 0
/proc/24234/statm: 3787789 115145 3503 1 0 3748889 0
[pid=24234/tid=24235] ppid=24232 vsize=15151156 memory=460580 CPUtime=1011.29 cores=0,2,4,6
/proc/24234/task/24235/stat : 24235 (java) R 24232 24232 21684 0 -1 4202560 28148 0 0 0 101118 11 0 0 20 0 15 0 517003734 15514783744 115145 33554432000 4194304 4196468 140727793918848 140451843248064 140451480838922 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28540928 140727793923055 140727793923226 140727793923226 140727793926095 0
[pid=24234/tid=24236] ppid=24232 vsize=15151156 memory=-8253362762722141311 CPUtime=0.61 cores=0,2,4,6
/proc/24234/task/24236/stat : 24236 (java) S 24232 24232 21684 0 -1 1077944384 1839 0 0 0 54 7 0 0 20 0 15 0 517003735 15514783744 115145 33554432000 4194304 4196468 140727793918848 140451431246736 140451839018709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28540928 140727793923055 140727793923226 140727793923226 140727793926095 0
[pid=24234/tid=24237] ppid=24232 vsize=15151156 memory=6791534058613427641 CPUtime=0.61 cores=0,2,4,6
/proc/24234/task/24237/stat : 24237 (java) S 24232 24232 21684 0 -1 1077944384 1288 0 0 0 55 6 0 0 20 0 15 0 517003735 15514783744 115145 33554432000 4194304 4196468 140727793918848 140451430193936 140451839018709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28540928 140727793923055 140727793923226 140727793923226 140727793926095 0
[pid=24234/tid=24238] ppid=24232 vsize=15151156 memory=1452 CPUtime=0.62 cores=0,2,4,6
/proc/24234/task/24238/stat : 24238 (java) S 24232 24232 21684 0 -1 1077944384 1587 0 0 0 55 7 0 0 20 0 15 0 517003735 15514783744 115145 33554432000 4194304 4196468 140727793918848 140451429141648 140451839018709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28540928 140727793923055 140727793923226 140727793923226 140727793926095 0
[pid=24234/tid=24239] ppid=24232 vsize=15151156 memory=460580 CPUtime=0.63 cores=0,2,4,6
/proc/24234/task/24239/stat : 24239 (java) S 24232 24232 21684 0 -1 1077944384 1687 0 0 0 56 7 0 0 20 0 15 0 517003735 15514783744 115145 33554432000 4194304 4196468 140727793918848 140451428088848 140451839018709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28540928 140727793923055 140727793923226 140727793923226 140727793926095 0
[pid=24234/tid=24240] ppid=24232 vsize=15151156 memory=1492 CPUtime=0.72 cores=0,2,4,6
/proc/24234/task/24240/stat : 24240 (java) S 24232 24232 21684 0 -1 1077944384 2861 0 0 0 66 6 0 0 20 0 15 0 517003737 15514783744 115145 33554432000 4194304 4196468 140727793918848 140450712823920 140451839019650 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28540928 140727793923055 140727793923226 140727793923226 140727793926095 0
[pid=24234/tid=24241] ppid=24232 vsize=15151156 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/24234/task/24241/stat : 24241 (java) S 24232 24232 21684 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 15 0 517003737 15514783744 115145 33554432000 4194304 4196468 140727793918848 140450711769952 140451839018709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28540928 140727793923055 140727793923226 140727793923226 140727793926095 0
[pid=24234/tid=24242] ppid=24232 vsize=15151156 memory=11620 CPUtime=0 cores=0,2,4,6
/proc/24234/task/24242/stat : 24242 (java) S 24232 24232 21684 0 -1 1077944384 87 0 0 0 0 0 0 0 20 0 15 0 517003737 15514783744 115145 33554432000 4194304 4196468 140727793918848 140450710717568 140451839018709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28540928 140727793923055 140727793923226 140727793923226 140727793926095 0
[pid=24234/tid=24243] ppid=24232 vsize=15151156 memory=3608 CPUtime=0 cores=0,2,4,6
/proc/24234/task/24243/stat : 24243 (java) S 24232 24232 21684 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517003740 15514783744 115145 33554432000 4194304 4196468 140727793918848 140450709665872 140451839027099 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28540928 140727793923055 140727793923226 140727793923226 140727793926095 0
[pid=24234/tid=24244] ppid=24232 vsize=15151156 memory=2828 CPUtime=1.09 cores=0,2,4,6
/proc/24234/task/24244/stat : 24244 (java) S 24232 24232 21684 0 -1 1077944384 9932 0 0 0 107 2 0 0 20 0 15 0 517003740 15514783744 115145 33554432000 4194304 4196468 140727793918848 140450708613744 140451839019650 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28540928 140727793923055 140727793923226 140727793923226 140727793926095 0
[pid=24234/tid=24245] ppid=24232 vsize=15151156 memory=1000 CPUtime=1.17 cores=0,2,4,6
/proc/24234/task/24245/stat : 24245 (java) S 24232 24232 21684 0 -1 1077944384 10894 0 0 0 116 1 0 0 20 0 15 0 517003740 15514783744 115145 33554432000 4194304 4196468 140727793918848 140450707560944 140451839019650 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 34 0 0 6293624 6294260 28540928 140727793923055 140727793923226 140727793923226 140727793926095 0
[pid=24234/tid=24246] ppid=24232 vsize=15151156 memory=932 CPUtime=0.46 cores=0,2,4,6
/proc/24234/task/24246/stat : 24246 (java) S 24232 24232 21684 0 -1 1077944384 6997 0 0 0 45 1 0 0 20 0 15 0 517003740 15514783744 115145 33554432000 4194304 4196468 140727793918848 140450706508656 140451839019650 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 35 0 0 6293624 6294260 28540928 140727793923055 140727793923226 140727793923226 140727793926095 0
[pid=24234/tid=24247] ppid=24232 vsize=15151156 memory=1492 CPUtime=0 cores=0,2,4,6
/proc/24234/task/24247/stat : 24247 (java) S 24232 24232 21684 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517003740 15514783744 115145 33554432000 4194304 4196468 140727793918848 140450705456096 140451839018709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28540928 140727793923055 140727793923226 140727793923226 140727793926095 0
[pid=24234/tid=24248] ppid=24232 vsize=15151156 memory=860 CPUtime=0.36 cores=0,2,4,6
/proc/24234/task/24248/stat : 24248 (java) S 24232 24232 21684 0 -1 1077944384 986 0 0 0 18 18 0 0 20 0 15 0 517003740 15514783744 115145 33554432000 4194304 4196468 140727793918848 140450704402864 140451839019650 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 34 0 0 6293624 6294260 28540928 140727793923055 140727793923226 140727793923226 140727793926095 0
Current children cumulated CPU time: 1017.63 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 462032 KiB
[startup+1014.4 s]
/proc/loadavg: 2.00 1.99 1.93 3/230 24344
/proc/meminfo: memFree=24371448/32770624 swapFree=66936832/67108860
[pid=24232] ppid=24229 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/24232/stat : 24232 (xcsp3-exec) S 24229 24232 21684 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 517003734 115843072 363 33554432000 4194304 5098028 140734542436080 140734542434184 140085391659644 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 15265792 140734542443386 140734542443629 140734542443629 140734542446538 0
/proc/24232/statm: 28282 363 304 221 0 87 0
[pid=24234] ppid=24232 vsize=15151156 memory=460580 CPUtime=1019.23 cores=0,2,4,6
/proc/24234/stat : 24234 (java) S 24232 24232 21684 0 -1 1077944320 67624 0 0 0 101873 50 0 0 20 0 15 0 517003734 15514783744 115145 33554432000 4194304 4196468 140727793918848 140727793901392 140451839008503 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 28540928 140727793923055 140727793923226 140727793923226 140727793926095 0
/proc/24234/statm: 3787789 115145 3503 1 0 3748889 0
[pid=24234/tid=24235] ppid=24232 vsize=15151156 memory=460580 CPUtime=1012.89 cores=0,2,4,6
/proc/24234/task/24235/stat : 24235 (java) R 24232 24232 21684 0 -1 4202560 28151 0 0 0 101278 11 0 0 20 0 15 0 517003734 15514783744 115145 33554432000 4194304 4196468 140727793918848 140451843248064 140451480392627 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28540928 140727793923055 140727793923226 140727793923226 140727793926095 0
[pid=24234/tid=24236] ppid=24232 vsize=15151156 memory=6791534058613427641 CPUtime=0.61 cores=0,2,4,6
/proc/24234/task/24236/stat : 24236 (java) S 24232 24232 21684 0 -1 1077944384 1839 0 0 0 54 7 0 0 20 0 15 0 517003735 15514783744 115145 33554432000 4194304 4196468 140727793918848 140451431246736 140451839018709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28540928 140727793923055 140727793923226 140727793923226 140727793926095 0
[pid=24234/tid=24237] ppid=24232 vsize=15151156 memory=2116 CPUtime=0.61 cores=0,2,4,6
/proc/24234/task/24237/stat : 24237 (java) S 24232 24232 21684 0 -1 1077944384 1288 0 0 0 55 6 0 0 20 0 15 0 517003735 15514783744 115145 33554432000 4194304 4196468 140727793918848 140451430193936 140451839018709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28540928 140727793923055 140727793923226 140727793923226 140727793926095 0
[pid=24234/tid=24238] ppid=24232 vsize=15151156 memory=24060 CPUtime=0.62 cores=0,2,4,6
/proc/24234/task/24238/stat : 24238 (java) S 24232 24232 21684 0 -1 1077944384 1587 0 0 0 55 7 0 0 20 0 15 0 517003735 15514783744 115145 33554432000 4194304 4196468 140727793918848 140451429141648 140451839018709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28540928 140727793923055 140727793923226 140727793923226 140727793926095 0
[pid=24234/tid=24239] ppid=24232 vsize=15151156 memory=1452 CPUtime=0.63 cores=0,2,4,6
/proc/24234/task/24239/stat : 24239 (java) S 24232 24232 21684 0 -1 1077944384 1687 0 0 0 56 7 0 0 20 0 15 0 517003735 15514783744 115145 33554432000 4194304 4196468 140727793918848 140451428088848 140451839018709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28540928 140727793923055 140727793923226 140727793923226 140727793926095 0
[pid=24234/tid=24240] ppid=24232 vsize=15151156 memory=460580 CPUtime=0.72 cores=0,2,4,6
/proc/24234/task/24240/stat : 24240 (java) S 24232 24232 21684 0 -1 1077944384 2861 0 0 0 66 6 0 0 20 0 15 0 517003737 15514783744 115145 33554432000 4194304 4196468 140727793918848 140450712823920 140451839019650 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28540928 140727793923055 140727793923226 140727793923226 140727793926095 0
[pid=24234/tid=24241] ppid=24232 vsize=15151156 memory=14008 CPUtime=0 cores=0,2,4,6
/proc/24234/task/24241/stat : 24241 (java) S 24232 24232 21684 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 15 0 517003737 15514783744 115145 33554432000 4194304 4196468 140727793918848 140450711769952 140451839018709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28540928 140727793923055 140727793923226 140727793923226 140727793926095 0
[pid=24234/tid=24242] ppid=24232 vsize=15151156 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/24234/task/24242/stat : 24242 (java) S 24232 24232 21684 0 -1 1077944384 87 0 0 0 0 0 0 0 20 0 15 0 517003737 15514783744 115145 33554432000 4194304 4196468 140727793918848 140450710717568 140451839018709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28540928 140727793923055 140727793923226 140727793923226 140727793926095 0
[pid=24234/tid=24243] ppid=24232 vsize=15151156 memory=460580 CPUtime=0 cores=0,2,4,6
/proc/24234/task/24243/stat : 24243 (java) S 24232 24232 21684 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517003740 15514783744 115145 33554432000 4194304 4196468 140727793918848 140450709665872 140451839027099 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28540928 140727793923055 140727793923226 140727793923226 140727793926095 0
[pid=24234/tid=24244] ppid=24232 vsize=15151156 memory=1452 CPUtime=1.09 cores=0,2,4,6
/proc/24234/task/24244/stat : 24244 (java) S 24232 24232 21684 0 -1 1077944384 9932 0 0 0 107 2 0 0 20 0 15 0 517003740 15514783744 115145 33554432000 4194304 4196468 140727793918848 140450708613744 140451839019650 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28540928 140727793923055 140727793923226 140727793923226 140727793926095 0
[pid=24234/tid=24245] ppid=24232 vsize=15151156 memory=460580 CPUtime=1.17 cores=0,2,4,6
/proc/24234/task/24245/stat : 24245 (java) S 24232 24232 21684 0 -1 1077944384 10894 0 0 0 116 1 0 0 20 0 15 0 517003740 15514783744 115145 33554432000 4194304 4196468 140727793918848 140450707560944 140451839019650 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 34 0 0 6293624 6294260 28540928 140727793923055 140727793923226 140727793923226 140727793926095 0
[pid=24234/tid=24246] ppid=24232 vsize=15151156 memory=1424 CPUtime=0.46 cores=0,2,4,6
/proc/24234/task/24246/stat : 24246 (java) S 24232 24232 21684 0 -1 1077944384 6997 0 0 0 45 1 0 0 20 0 15 0 517003740 15514783744 115145 33554432000 4194304 4196468 140727793918848 140450706508656 140451839019650 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 35 0 0 6293624 6294260 28540928 140727793923055 140727793923226 140727793923226 140727793926095 0
[pid=24234/tid=24247] ppid=24232 vsize=15151156 memory=1704 CPUtime=0 cores=0,2,4,6
/proc/24234/task/24247/stat : 24247 (java) S 24232 24232 21684 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517003740 15514783744 115145 33554432000 4194304 4196468 140727793918848 140450705456096 140451839018709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28540928 140727793923055 140727793923226 140727793923226 140727793926095 0
[pid=24234/tid=24248] ppid=24232 vsize=15151156 memory=6188 CPUtime=0.37 cores=0,2,4,6
/proc/24234/task/24248/stat : 24248 (java) S 24232 24232 21684 0 -1 1077944384 986 0 0 0 19 18 0 0 20 0 15 0 517003740 15514783744 115145 33554432000 4194304 4196468 140727793918848 140450704402864 140451839019650 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 34 0 0 6293624 6294260 28540928 140727793923055 140727793923226 140727793923226 140727793926095 0
Current children cumulated CPU time: 1019.23 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 462032 KiB
[startup+1014.8 s]
/proc/loadavg: 2.00 1.99 1.93 3/230 24344
/proc/meminfo: memFree=24371448/32770624 swapFree=66936832/67108860
[pid=24232] ppid=24229 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/24232/stat : 24232 (xcsp3-exec) S 24229 24232 21684 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 517003734 115843072 363 33554432000 4194304 5098028 140734542436080 140734542434184 140085391659644 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 15265792 140734542443386 140734542443629 140734542443629 140734542446538 0
/proc/24232/statm: 28282 363 304 221 0 87 0
[pid=24234] ppid=24232 vsize=15151156 memory=460620 CPUtime=1019.7 cores=0,2,4,6
/proc/24234/stat : 24234 (java) S 24232 24232 21684 0 -1 1077944320 68993 0 0 0 101920 50 0 0 20 0 15 0 517003734 15514783744 115155 33554432000 4194304 4196468 140727793918848 140727793901392 140451839008503 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 28540928 140727793923055 140727793923226 140727793923226 140727793926095 0
/proc/24234/statm: 3787789 115155 3503 1 0 3748889 0
[pid=24234/tid=24235] ppid=24232 vsize=15151156 memory=528 CPUtime=1013.29 cores=0,2,4,6
/proc/24234/task/24235/stat : 24235 (java) R 24232 24232 21684 0 -1 4202560 28497 0 0 0 101318 11 0 0 20 0 15 0 517003734 15514783744 115155 33554432000 4194304 4196468 140727793918848 140451843245704 140451480392539 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28540928 140727793923055 140727793923226 140727793923226 140727793926095 0
[pid=24234/tid=24236] ppid=24232 vsize=15151156 memory=1560 CPUtime=0.61 cores=0,2,4,6
/proc/24234/task/24236/stat : 24236 (java) S 24232 24232 21684 0 -1 1077944384 1839 0 0 0 54 7 0 0 20 0 15 0 517003735 15514783744 115155 33554432000 4194304 4196468 140727793918848 140451431246736 140451839018709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28540928 140727793923055 140727793923226 140727793923226 140727793926095 0
[pid=24234/tid=24237] ppid=24232 vsize=15151156 memory=6791534058613427641 CPUtime=0.61 cores=0,2,4,6
/proc/24234/task/24237/stat : 24237 (java) S 24232 24232 21684 0 -1 1077944384 1288 0 0 0 55 6 0 0 20 0 15 0 517003735 15514783744 115155 33554432000 4194304 4196468 140727793918848 140451430193936 140451839018709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28540928 140727793923055 140727793923226 140727793923226 140727793926095 0
[pid=24234/tid=24238] ppid=24232 vsize=15151156 memory=14008 CPUtime=0.62 cores=0,2,4,6
/proc/24234/task/24238/stat : 24238 (java) S 24232 24232 21684 0 -1 1077944384 1587 0 0 0 55 7 0 0 20 0 15 0 517003735 15514783744 115155 33554432000 4194304 4196468 140727793918848 140451429141648 140451839018709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28540928 140727793923055 140727793923226 140727793923226 140727793926095 0
[pid=24234/tid=24239] ppid=24232 vsize=15151156 memory=14076 CPUtime=0.63 cores=0,2,4,6
/proc/24234/task/24239/stat : 24239 (java) S 24232 24232 21684 0 -1 1077944384 1687 0 0 0 56 7 0 0 20 0 15 0 517003735 15514783744 115155 33554432000 4194304 4196468 140727793918848 140451428088848 140451839018709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28540928 140727793923055 140727793923226 140727793923226 140727793926095 0
[pid=24234/tid=24240] ppid=24232 vsize=15151156 memory=2116 CPUtime=0.72 cores=0,2,4,6
/proc/24234/task/24240/stat : 24240 (java) S 24232 24232 21684 0 -1 1077944384 2861 0 0 0 66 6 0 0 20 0 15 0 517003737 15514783744 115155 33554432000 4194304 4196468 140727793918848 140450712823920 140451839019650 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28540928 140727793923055 140727793923226 140727793923226 140727793926095 0
[pid=24234/tid=24241] ppid=24232 vsize=15151156 memory=24060 CPUtime=0 cores=0,2,4,6
/proc/24234/task/24241/stat : 24241 (java) S 24232 24232 21684 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 15 0 517003737 15514783744 115155 33554432000 4194304 4196468 140727793918848 140450711769952 140451839018709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28540928 140727793923055 140727793923226 140727793923226 140727793926095 0
[pid=24234/tid=24242] ppid=24232 vsize=15151156 memory=528 CPUtime=0 cores=0,2,4,6
/proc/24234/task/24242/stat : 24242 (java) S 24232 24232 21684 0 -1 1077944384 87 0 0 0 0 0 0 0 20 0 15 0 517003737 15514783744 115155 33554432000 4194304 4196468 140727793918848 140450710717568 140451839018709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28540928 140727793923055 140727793923226 140727793923226 140727793926095 0
[pid=24234/tid=24243] ppid=24232 vsize=15151156 memory=1560 CPUtime=0 cores=0,2,4,6
/proc/24234/task/24243/stat : 24243 (java) S 24232 24232 21684 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517003740 15514783744 115155 33554432000 4194304 4196468 140727793918848 140450709665872 140451839027099 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28540928 140727793923055 140727793923226 140727793923226 140727793926095 0
[pid=24234/tid=24244] ppid=24232 vsize=15151156 memory=932 CPUtime=1.09 cores=0,2,4,6
/proc/24234/task/24244/stat : 24244 (java) S 24232 24232 21684 0 -1 1077944384 10112 0 0 0 107 2 0 0 20 0 15 0 517003740 15514783744 115155 33554432000 4194304 4196468 140727793918848 140450708613744 140451839019650 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28540928 140727793923055 140727793923226 140727793923226 140727793926095 0
[pid=24234/tid=24245] ppid=24232 vsize=15151156 memory=1492 CPUtime=1.23 cores=0,2,4,6
/proc/24234/task/24245/stat : 24245 (java) S 24232 24232 21684 0 -1 1077944384 11245 0 0 0 122 1 0 0 20 0 15 0 517003740 15514783744 115155 33554432000 4194304 4196468 140727793918848 140450707560944 140451839019650 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 34 0 0 6293624 6294260 28540928 140727793923055 140727793923226 140727793923226 140727793926095 0
[pid=24234/tid=24246] ppid=24232 vsize=15151156 memory=860 CPUtime=0.46 cores=0,2,4,6
/proc/24234/task/24246/stat : 24246 (java) S 24232 24232 21684 0 -1 1077944384 7489 0 0 0 45 1 0 0 20 0 15 0 517003740 15514783744 115155 33554432000 4194304 4196468 140727793918848 140450706508656 140451839019650 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 35 0 0 6293624 6294260 28540928 140727793923055 140727793923226 140727793923226 140727793926095 0
[pid=24234/tid=24247] ppid=24232 vsize=15151156 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/24234/task/24247/stat : 24247 (java) S 24232 24232 21684 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517003740 15514783744 115155 33554432000 4194304 4196468 140727793918848 140450705456096 140451839018709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28540928 140727793923055 140727793923226 140727793923226 140727793926095 0
[pid=24234/tid=24248] ppid=24232 vsize=15151156 memory=1980 CPUtime=0.37 cores=0,2,4,6
/proc/24234/task/24248/stat : 24248 (java) S 24232 24232 21684 0 -1 1077944384 986 0 0 0 19 18 0 0 20 0 15 0 517003740 15514783744 115155 33554432000 4194304 4196468 140727793918848 140450704402864 140451839019650 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 34 0 0 6293624 6294260 28540928 140727793923055 140727793923226 140727793923226 140727793926095 0
Current children cumulated CPU time: 1019.7 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 462072 KiB
[startup+1015.2 s]
/proc/loadavg: 2.00 1.99 1.93 3/230 24344
/proc/meminfo: memFree=24371448/32770624 swapFree=66936832/67108860
[pid=24232] ppid=24229 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/24232/stat : 24232 (xcsp3-exec) S 24229 24232 21684 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 517003734 115843072 363 33554432000 4194304 5098028 140734542436080 140734542434184 140085391659644 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 15265792 140734542443386 140734542443629 140734542443629 140734542446538 0
/proc/24232/statm: 28282 363 304 221 0 87 0
[pid=24234] ppid=24232 vsize=15151156 memory=460620 CPUtime=1020.1 cores=0,2,4,6
/proc/24234/stat : 24234 (java) S 24232 24232 21684 0 -1 1077944320 68994 0 0 0 101960 50 0 0 20 0 15 0 517003734 15514783744 115155 33554432000 4194304 4196468 140727793918848 140727793901392 140451839008503 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 28540928 140727793923055 140727793923226 140727793923226 140727793926095 0
/proc/24234/statm: 3787789 115155 3503 1 0 3748889 0
[pid=24234/tid=24235] ppid=24232 vsize=15151156 memory=1172 CPUtime=1013.69 cores=0,2,4,6
/proc/24234/task/24235/stat : 24235 (java) R 24232 24232 21684 0 -1 4202560 28498 0 0 0 101358 11 0 0 20 0 15 0 517003734 15514783744 115155 33554432000 4194304 4196468 140727793918848 140451843245704 140451481754981 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28540928 140727793923055 140727793923226 140727793923226 140727793926095 0
[pid=24234/tid=24236] ppid=24232 vsize=15151156 memory=14008 CPUtime=0.61 cores=0,2,4,6
/proc/24234/task/24236/stat : 24236 (java) S 24232 24232 21684 0 -1 1077944384 1839 0 0 0 54 7 0 0 20 0 15 0 517003735 15514783744 115155 33554432000 4194304 4196468 140727793918848 140451431246736 140451839018709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28540928 140727793923055 140727793923226 140727793923226 140727793926095 0
[pid=24234/tid=24237] ppid=24232 vsize=15151156 memory=14076 CPUtime=0.61 cores=0,2,4,6
/proc/24234/task/24237/stat : 24237 (java) S 24232 24232 21684 0 -1 1077944384 1288 0 0 0 55 6 0 0 20 0 15 0 517003735 15514783744 115155 33554432000 4194304 4196468 140727793918848 140451430193936 140451839018709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28540928 140727793923055 140727793923226 140727793923226 140727793926095 0
[pid=24234/tid=24238] ppid=24232 vsize=15151156 memory=6791534058613427641 CPUtime=0.62 cores=0,2,4,6
/proc/24234/task/24238/stat : 24238 (java) S 24232 24232 21684 0 -1 1077944384 1587 0 0 0 55 7 0 0 20 0 15 0 517003735 15514783744 115155 33554432000 4194304 4196468 140727793918848 140451429141648 140451839018709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28540928 140727793923055 140727793923226 140727793923226 140727793926095 0
[pid=24234/tid=24239] ppid=24232 vsize=15151156 memory=3616 CPUtime=0.63 cores=0,2,4,6
/proc/24234/task/24239/stat : 24239 (java) S 24232 24232 21684 0 -1 1077944384 1687 0 0 0 56 7 0 0 20 0 15 0 517003735 15514783744 115155 33554432000 4194304 4196468 140727793918848 140451428088848 140451839018709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28540928 140727793923055 140727793923226 140727793923226 140727793926095 0
[pid=24234/tid=24240] ppid=24232 vsize=15151156 memory=53540 CPUtime=0.72 cores=0,2,4,6
/proc/24234/task/24240/stat : 24240 (java) S 24232 24232 21684 0 -1 1077944384 2861 0 0 0 66 6 0 0 20 0 15 0 517003737 15514783744 115155 33554432000 4194304 4196468 140727793918848 140450712823920 140451839019650 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28540928 140727793923055 140727793923226 140727793923226 140727793926095 0
[pid=24234/tid=24241] ppid=24232 vsize=15151156 memory=988 CPUtime=0 cores=0,2,4,6
/proc/24234/task/24241/stat : 24241 (java) S 24232 24232 21684 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 15 0 517003737 15514783744 115155 33554432000 4194304 4196468 140727793918848 140450711769952 140451839018709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28540928 140727793923055 140727793923226 140727793923226 140727793926095 0
[pid=24234/tid=24242] ppid=24232 vsize=15151156 memory=2012 CPUtime=0 cores=0,2,4,6
/proc/24234/task/24242/stat : 24242 (java) S 24232 24232 21684 0 -1 1077944384 87 0 0 0 0 0 0 0 20 0 15 0 517003737 15514783744 115155 33554432000 4194304 4196468 140727793918848 140450710717568 140451839018709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28540928 140727793923055 140727793923226 140727793923226 140727793926095 0
[pid=24234/tid=24243] ppid=24232 vsize=15151156 memory=1056 CPUtime=0 cores=0,2,4,6
/proc/24234/task/24243/stat : 24243 (java) S 24232 24232 21684 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517003740 15514783744 115155 33554432000 4194304 4196468 140727793918848 140450709665872 140451839027099 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28540928 140727793923055 140727793923226 140727793923226 140727793926095 0
[pid=24234/tid=24244] ppid=24232 vsize=15151156 memory=11620 CPUtime=1.09 cores=0,2,4,6
/proc/24234/task/24244/stat : 24244 (java) S 24232 24232 21684 0 -1 1077944384 10112 0 0 0 107 2 0 0 20 0 15 0 517003740 15514783744 115155 33554432000 4194304 4196468 140727793918848 140450708613744 140451839019650 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28540928 140727793923055 140727793923226 140727793923226 140727793926095 0
[pid=24234/tid=24245] ppid=24232 vsize=15151156 memory=3608 CPUtime=1.23 cores=0,2,4,6
/proc/24234/task/24245/stat : 24245 (java) S 24232 24232 21684 0 -1 1077944384 11245 0 0 0 122 1 0 0 20 0 15 0 517003740 15514783744 115155 33554432000 4194304 4196468 140727793918848 140450707560944 140451839019650 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 34 0 0 6293624 6294260 28540928 140727793923055 140727793923226 140727793923226 140727793926095 0
[pid=24234/tid=24246] ppid=24232 vsize=15151156 memory=2828 CPUtime=0.46 cores=0,2,4,6
/proc/24234/task/24246/stat : 24246 (java) S 24232 24232 21684 0 -1 1077944384 7489 0 0 0 45 1 0 0 20 0 15 0 517003740 15514783744 115155 33554432000 4194304 4196468 140727793918848 140450706508656 140451839019650 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 35 0 0 6293624 6294260 28540928 140727793923055 140727793923226 140727793923226 140727793926095 0
[pid=24234/tid=24247] ppid=24232 vsize=15151156 memory=1000 CPUtime=0 cores=0,2,4,6
/proc/24234/task/24247/stat : 24247 (java) S 24232 24232 21684 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517003740 15514783744 115155 33554432000 4194304 4196468 140727793918848 140450705456096 140451839018709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28540928 140727793923055 140727793923226 140727793923226 140727793926095 0
[pid=24234/tid=24248] ppid=24232 vsize=15151156 memory=1560 CPUtime=0.37 cores=0,2,4,6
/proc/24234/task/24248/stat : 24248 (java) S 24232 24232 21684 0 -1 1077944384 986 0 0 0 19 18 0 0 20 0 15 0 517003740 15514783744 115155 33554432000 4194304 4196468 140727793918848 140450704402864 140451839019650 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 34 0 0 6293624 6294260 28540928 140727793923055 140727793923226 140727793923226 140727793926095 0
Current children cumulated CPU time: 1020.1 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 462072 KiB
Child status: 0
Real time (s): 1015.28
CPU time (s): 1020.19
CPU user time (s): 1019.69
CPU system time (s): 0.508623
CPU usage (%): 100.484
Max. virtual memory (cumulated for all children) (KiB): 15266212
Max. memory (cumulated for all children) (KiB): 462072
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1019.69
system time used= 0.508623
maximum resident set size= 460664
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 70006
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1048
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 42555
involuntary context switches= 1265
# summary of solver processes directly reported to runsolver:
# pid: 24232
# total CPU time (s): 1020.19
# total CPU user time (s): 1019.69
# total CPU system time (s): 0.508623
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.90655 second user time and 8.44773 second system time
The end