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 (14517 MiB free)
memory of node 1: 16384 MiB (15668 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4399286-1568698096/watcher-4399286-1568698096 -o /tmp/evaluation-result-4399286-1568698096/solver-4399286-1568698096 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1568690084-23429 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 1427303613 HOME/instance-4399286-1568698096.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=29122, runsolver pid=29119
[startup+0.101409 s]*
/proc/loadavg: 8.59 8.60 8.32 6/232 29138
/proc/meminfo: memFree=30893752/32770624 swapFree=66977408/67108860
[pid=29122] ppid=29119 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/29122/stat : 29122 (xcsp3-exec) S 29119 29122 23397 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 446066640 115843072 362 33554432000 4194304 5098028 140732233669392 140732233667496 140100557050492 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 11849728 140732233675642 140732233675885 140732233675885 140732233678794 0
/proc/29122/statm: 28282 362 304 221 0 87 0
[pid=29124] ppid=29122 vsize=15144776 memory=28920 CPUtime=0.13 cores=1,3,5,7
/proc/29124/stat : 29124 (java) S 29122 29122 23397 0 -1 1077944320 5707 0 0 0 12 1 0 0 20 0 15 0 446066641 15508250624 7230 33554432000 4194304 4196468 140734431392288 140734431374832 140222011879159 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16441344 140734431396847 140734431397018 140734431397018 140734431399887 0
/proc/29124/statm: 3786194 7230 3185 1 0 3748377 0
[pid=29124/tid=29125] ppid=29122 vsize=15144776 memory=576460756329955459 CPUtime=0.09 cores=1,3,5,7
/proc/29124/task/29125/stat : 29125 (java) R 29122 29122 23397 0 -1 4202560 3574 0 0 0 8 1 0 0 20 0 15 0 446066641 15508250624 7230 33554432000 4194304 4196468 140734431392288 140222016107376 140221639389344 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16441344 140734431396847 140734431397018 140734431397018 140734431399887 0
[pid=29124/tid=29126] ppid=29122 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29124/task/29126/stat : 29126 (java) S 29122 29122 23397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446066642 15508250624 7230 33554432000 4194304 4196468 140734431392288 140221964499600 140222011889365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16441344 140734431396847 140734431397018 140734431397018 140734431399887 0
[pid=29124/tid=29127] ppid=29122 vsize=15144776 memory=140614617122988 CPUtime=0 cores=1,3,5,7
/proc/29124/task/29127/stat : 29127 (java) S 29122 29122 23397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446066642 15508250624 7230 33554432000 4194304 4196468 140734431392288 140221963446800 140222011889365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16441344 140734431396847 140734431397018 140734431397018 140734431399887 0
[pid=29124/tid=29128] ppid=29122 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29124/task/29128/stat : 29128 (java) S 29122 29122 23397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446066642 15508250624 7230 33554432000 4194304 4196468 140734431392288 140221962394000 140222011889365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16441344 140734431396847 140734431397018 140734431397018 140734431399887 0
[pid=29124/tid=29129] ppid=29122 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29124/task/29129/stat : 29129 (java) S 29122 29122 23397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446066642 15508250624 7230 33554432000 4194304 4196468 140734431392288 140221961341200 140222011889365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16441344 140734431396847 140734431397018 140734431397018 140734431399887 0
[pid=29124/tid=29130] ppid=29122 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29124/task/29130/stat : 29130 (java) S 29122 29122 23397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446066643 15508250624 7230 33554432000 4194304 4196468 140734431392288 140221479873392 140222011890306 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16441344 140734431396847 140734431397018 140734431397018 140734431399887 0
[pid=29124/tid=29131] ppid=29122 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29124/task/29131/stat : 29131 (java) S 29122 29122 23397 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446066643 15508250624 7230 33554432000 4194304 4196468 140734431392288 140221478819360 140222011889365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16441344 140734431396847 140734431397018 140734431397018 140734431399887 0
[pid=29124/tid=29132] ppid=29122 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29124/task/29132/stat : 29132 (java) S 29122 29122 23397 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446066644 15508250624 7230 33554432000 4194304 4196468 140734431392288 140221477766512 140222011889365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16441344 140734431396847 140734431397018 140734431397018 140734431399887 0
[pid=29124/tid=29133] ppid=29122 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29124/task/29133/stat : 29133 (java) S 29122 29122 23397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446066646 15508250624 7230 33554432000 4194304 4196468 140734431392288 140221476714832 140222011897755 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16441344 140734431396847 140734431397018 140734431397018 140734431399887 0
[pid=29124/tid=29134] ppid=29122 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29124/task/29134/stat : 29134 (java) S 29122 29122 23397 0 -1 1077944384 316 0 0 0 0 0 0 0 20 0 15 0 446066646 15508250624 7230 33554432000 4194304 4196468 140734431392288 140221475662192 140222011890306 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16441344 140734431396847 140734431397018 140734431397018 140734431399887 0
[pid=29124/tid=29135] ppid=29122 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29124/task/29135/stat : 29135 (java) R 29122 29122 23397 0 -1 4202560 158 0 0 0 0 0 0 0 20 0 15 0 446066646 15508250624 7230 33554432000 4194304 4196468 140734431392288 140221474609392 140222004864201 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16441344 140734431396847 140734431397018 140734431397018 140734431399887 0
[pid=29124/tid=29136] ppid=29122 vsize=15144776 memory=140614613956224 CPUtime=0.02 cores=1,3,5,7
/proc/29124/task/29136/stat : 29136 (java) R 29122 29122 23397 0 -1 4202560 357 0 0 0 2 0 0 0 20 0 15 0 446066646 15508250624 7230 33554432000 4194304 4196468 140734431392288 140221473556592 140221995959646 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16441344 140734431396847 140734431397018 140734431397018 140734431399887 0
[pid=29124/tid=29137] ppid=29122 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29124/task/29137/stat : 29137 (java) S 29122 29122 23397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446066646 15508250624 7230 33554432000 4194304 4196468 140734431392288 140221472504032 140222011889365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16441344 140734431396847 140734431397018 140734431397018 140734431399887 0
[pid=29124/tid=29138] ppid=29122 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29124/task/29138/stat : 29138 (java) S 29122 29122 23397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446066646 15508250624 7230 33554432000 4194304 4196468 140734431392288 140221471452336 140222011890306 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16441344 140734431396847 140734431397018 140734431397018 140734431399887 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30368 KiB
[startup+0.212623 s]*
/proc/loadavg: 8.59 8.60 8.32 4/232 29138
/proc/meminfo: memFree=30880520/32770624 swapFree=66977408/67108860
[pid=29122] ppid=29119 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/29122/stat : 29122 (xcsp3-exec) S 29119 29122 23397 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 446066640 115843072 362 33554432000 4194304 5098028 140732233669392 140732233667496 140100557050492 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 11849728 140732233675642 140732233675885 140732233675885 140732233678794 0
/proc/29122/statm: 28282 362 304 221 0 87 0
[pid=29124] ppid=29122 vsize=15144776 memory=40700 CPUtime=0.34 cores=1,3,5,7
/proc/29124/stat : 29124 (java) S 29122 29122 23397 0 -1 1077944320 9459 0 0 0 31 3 0 0 20 0 15 0 446066641 15508250624 10175 33554432000 4194304 4196468 140734431392288 140734431374832 140222011879159 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16441344 140734431396847 140734431397018 140734431397018 140734431399887 0
/proc/29124/statm: 3786194 10175 3271 1 0 3748377 0
[pid=29124/tid=29125] ppid=29122 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/29124/task/29125/stat : 29125 (java) R 29122 29122 23397 0 -1 4202560 6610 0 0 0 18 2 0 0 20 0 15 0 446066641 15508250624 10175 33554432000 4194304 4196468 140734431392288 140222016115920 140222011891094 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16441344 140734431396847 140734431397018 140734431397018 140734431399887 0
[pid=29124/tid=29126] ppid=29122 vsize=15144776 memory=1898158 CPUtime=0 cores=1,3,5,7
/proc/29124/task/29126/stat : 29126 (java) S 29122 29122 23397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446066642 15508250624 10175 33554432000 4194304 4196468 140734431392288 140221964499600 140222011889365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16441344 140734431396847 140734431397018 140734431397018 140734431399887 0
[pid=29124/tid=29127] ppid=29122 vsize=15144776 memory=3472752597757163168 CPUtime=0 cores=1,3,5,7
/proc/29124/task/29127/stat : 29127 (java) S 29122 29122 23397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446066642 15508250624 10175 33554432000 4194304 4196468 140734431392288 140221963446800 140222011889365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16441344 140734431396847 140734431397018 140734431397018 140734431399887 0
[pid=29124/tid=29128] ppid=29122 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29124/task/29128/stat : 29128 (java) S 29122 29122 23397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446066642 15508250624 10175 33554432000 4194304 4196468 140734431392288 140221962394000 140222011889365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16441344 140734431396847 140734431397018 140734431397018 140734431399887 0
[pid=29124/tid=29129] ppid=29122 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29124/task/29129/stat : 29129 (java) S 29122 29122 23397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446066642 15508250624 10175 33554432000 4194304 4196468 140734431392288 140221961341200 140222011889365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16441344 140734431396847 140734431397018 140734431397018 140734431399887 0
[pid=29124/tid=29130] ppid=29122 vsize=15144776 memory=140614613956224 CPUtime=0 cores=1,3,5,7
/proc/29124/task/29130/stat : 29130 (java) S 29122 29122 23397 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 446066643 15508250624 10175 33554432000 4194304 4196468 140734431392288 140221479873392 140222011890306 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16441344 140734431396847 140734431397018 140734431397018 140734431399887 0
[pid=29124/tid=29131] ppid=29122 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29124/task/29131/stat : 29131 (java) S 29122 29122 23397 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446066643 15508250624 10175 33554432000 4194304 4196468 140734431392288 140221478819360 140222011889365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16441344 140734431396847 140734431397018 140734431397018 140734431399887 0
[pid=29124/tid=29132] ppid=29122 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29124/task/29132/stat : 29132 (java) S 29122 29122 23397 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446066644 15508250624 10175 33554432000 4194304 4196468 140734431392288 140221477766512 140222011889365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16441344 140734431396847 140734431397018 140734431397018 140734431399887 0
[pid=29124/tid=29133] ppid=29122 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29124/task/29133/stat : 29133 (java) S 29122 29122 23397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446066646 15508250624 10175 33554432000 4194304 4196468 140734431392288 140221476714832 140222011897755 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16441344 140734431396847 140734431397018 140734431397018 140734431399887 0
[pid=29124/tid=29134] ppid=29122 vsize=15144776 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/29124/task/29134/stat : 29134 (java) S 29122 29122 23397 0 -1 1077944384 571 0 0 0 3 0 0 0 20 0 15 0 446066646 15508250624 10175 33554432000 4194304 4196468 140734431392288 140221475662192 140222011890306 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16441344 140734431396847 140734431397018 140734431397018 140734431399887 0
[pid=29124/tid=29135] ppid=29122 vsize=15144776 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/29124/task/29135/stat : 29135 (java) S 29122 29122 23397 0 -1 1077944384 197 0 0 0 2 0 0 0 20 0 15 0 446066646 15508250624 10175 33554432000 4194304 4196468 140734431392288 140221474609392 140222011890306 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16441344 140734431396847 140734431397018 140734431397018 140734431399887 0
[pid=29124/tid=29136] ppid=29122 vsize=15144776 memory=140614613956224 CPUtime=0.08 cores=1,3,5,7
/proc/29124/task/29136/stat : 29136 (java) R 29122 29122 23397 0 -1 4202560 776 0 0 0 8 0 0 0 20 0 15 0 446066646 15508250624 10175 33554432000 4194304 4196468 140734431392288 140221473556592 140222011891094 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16441344 140734431396847 140734431397018 140734431397018 140734431399887 0
[pid=29124/tid=29137] ppid=29122 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29124/task/29137/stat : 29137 (java) S 29122 29122 23397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446066646 15508250624 10175 33554432000 4194304 4196468 140734431392288 140221472504032 140222011889365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16441344 140734431396847 140734431397018 140734431397018 140734431399887 0
[pid=29124/tid=29138] ppid=29122 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29124/task/29138/stat : 29138 (java) S 29122 29122 23397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446066646 15508250624 10175 33554432000 4194304 4196468 140734431392288 140221471452336 140222011890306 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16441344 140734431396847 140734431397018 140734431397018 140734431399887 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42148 KiB
[startup+0.310746 s]*
/proc/loadavg: 8.59 8.60 8.32 7/232 29138
/proc/meminfo: memFree=30873476/32770624 swapFree=66977408/67108860
[pid=29122] ppid=29119 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/29122/stat : 29122 (xcsp3-exec) S 29119 29122 23397 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 446066640 115843072 362 33554432000 4194304 5098028 140732233669392 140732233667496 140100557050492 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 11849728 140732233675642 140732233675885 140732233675885 140732233678794 0
/proc/29122/statm: 28282 362 304 221 0 87 0
[pid=29124] ppid=29122 vsize=15149032 memory=50184 CPUtime=0.54 cores=1,3,5,7
/proc/29124/stat : 29124 (java) S 29122 29122 23397 0 -1 1077944320 10909 0 0 0 50 4 0 0 20 0 15 0 446066641 15512608768 12546 33554432000 4194304 4196468 140734431392288 140734431374832 140222011879159 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16441344 140734431396847 140734431397018 140734431397018 140734431399887 0
/proc/29124/statm: 3787258 12546 3355 1 0 3748377 0
[pid=29124/tid=29125] ppid=29122 vsize=15149032 memory=8317482817917895235 CPUtime=0.3 cores=1,3,5,7
/proc/29124/task/29125/stat : 29125 (java) R 29122 29122 23397 0 -1 4202560 7791 0 0 0 27 3 0 0 20 0 15 0 446066641 15512608768 12546 33554432000 4194304 4196468 140734431392288 140222016110272 140221995959646 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16441344 140734431396847 140734431397018 140734431397018 140734431399887 0
[pid=29124/tid=29126] ppid=29122 vsize=15149032 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/29124/task/29126/stat : 29126 (java) S 29122 29122 23397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446066642 15512608768 12546 33554432000 4194304 4196468 140734431392288 140221964499600 140222011889365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16441344 140734431396847 140734431397018 140734431397018 140734431399887 0
[pid=29124/tid=29127] ppid=29122 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/29124/task/29127/stat : 29127 (java) S 29122 29122 23397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446066642 15512608768 12546 33554432000 4194304 4196468 140734431392288 140221963446800 140222011889365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16441344 140734431396847 140734431397018 140734431397018 140734431399887 0
[pid=29124/tid=29128] ppid=29122 vsize=15149032 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/29124/task/29128/stat : 29128 (java) S 29122 29122 23397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446066642 15512608768 12546 33554432000 4194304 4196468 140734431392288 140221962394000 140222011889365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16441344 140734431396847 140734431397018 140734431397018 140734431399887 0
[pid=29124/tid=29129] ppid=29122 vsize=15149032 memory=-3258418265892434876 CPUtime=0 cores=1,3,5,7
/proc/29124/task/29129/stat : 29129 (java) S 29122 29122 23397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446066642 15512608768 12546 33554432000 4194304 4196468 140734431392288 140221961341200 140222011889365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16441344 140734431396847 140734431397018 140734431397018 140734431399887 0
[pid=29124/tid=29130] ppid=29122 vsize=15149032 memory=4572146057552828020 CPUtime=0 cores=1,3,5,7
/proc/29124/task/29130/stat : 29130 (java) S 29122 29122 23397 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 446066643 15512608768 12546 33554432000 4194304 4196468 140734431392288 140221479873392 140222011890306 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16441344 140734431396847 140734431397018 140734431397018 140734431399887 0
[pid=29124/tid=29131] ppid=29122 vsize=15149032 memory=6944613755495348631 CPUtime=0 cores=1,3,5,7
/proc/29124/task/29131/stat : 29131 (java) S 29122 29122 23397 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446066643 15512608768 12546 33554432000 4194304 4196468 140734431392288 140221478819360 140222011889365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16441344 140734431396847 140734431397018 140734431397018 140734431399887 0
[pid=29124/tid=29132] ppid=29122 vsize=15149032 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/29124/task/29132/stat : 29132 (java) S 29122 29122 23397 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446066644 15512608768 12546 33554432000 4194304 4196468 140734431392288 140221477766512 140222011889365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16441344 140734431396847 140734431397018 140734431397018 140734431399887 0
[pid=29124/tid=29133] ppid=29122 vsize=15149032 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/29124/task/29133/stat : 29133 (java) S 29122 29122 23397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446066646 15512608768 12546 33554432000 4194304 4196468 140734431392288 140221476714832 140222011897755 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16441344 140734431396847 140734431397018 140734431397018 140734431399887 0
[pid=29124/tid=29134] ppid=29122 vsize=15149032 memory=7827413994055111515 CPUtime=0.05 cores=1,3,5,7
/proc/29124/task/29134/stat : 29134 (java) S 29122 29122 23397 0 -1 1077944384 614 0 0 0 5 0 0 0 20 0 15 0 446066646 15512608768 12546 33554432000 4194304 4196468 140734431392288 140221475662192 140222011890306 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16441344 140734431396847 140734431397018 140734431397018 140734431399887 0
[pid=29124/tid=29135] ppid=29122 vsize=15149032 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/29124/task/29135/stat : 29135 (java) S 29122 29122 23397 0 -1 1077944384 325 0 0 0 4 0 0 0 20 0 15 0 446066646 15512608768 12546 33554432000 4194304 4196468 140734431392288 140221474609392 140222011890306 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16441344 140734431396847 140734431397018 140734431397018 140734431399887 0
[pid=29124/tid=29136] ppid=29122 vsize=15149032 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/29124/task/29136/stat : 29136 (java) S 29122 29122 23397 0 -1 1077944384 876 0 0 0 12 0 0 0 20 0 15 0 446066646 15512608768 12546 33554432000 4194304 4196468 140734431392288 140221473556592 140222011890306 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16441344 140734431396847 140734431397018 140734431397018 140734431399887 0
[pid=29124/tid=29137] ppid=29122 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29124/task/29137/stat : 29137 (java) S 29122 29122 23397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446066646 15512608768 12546 33554432000 4194304 4196468 140734431392288 140221472504032 140222011889365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16441344 140734431396847 140734431397018 140734431397018 140734431399887 0
[pid=29124/tid=29138] ppid=29122 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29124/task/29138/stat : 29138 (java) S 29122 29122 23397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446066646 15512608768 12546 33554432000 4194304 4196468 140734431392288 140221471452336 140222011890306 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16441344 140734431396847 140734431397018 140734431397018 140734431399887 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51632 KiB
[startup+0.707429 s]
/proc/loadavg: 8.59 8.60 8.32 9/232 29138
/proc/meminfo: memFree=30855552/32770624 swapFree=66977408/67108860
[pid=29122] ppid=29119 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/29122/stat : 29122 (xcsp3-exec) S 29119 29122 23397 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 446066640 115843072 362 33554432000 4194304 5098028 140732233669392 140732233667496 140100557050492 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 11849728 140732233675642 140732233675885 140732233675885 140732233678794 0
/proc/29122/statm: 28282 362 304 221 0 87 0
[pid=29124] ppid=29122 vsize=15151156 memory=87804 CPUtime=1.62 cores=1,3,5,7
/proc/29124/stat : 29124 (java) S 29122 29122 23397 0 -1 1077944320 15125 0 0 0 157 5 0 0 20 0 15 0 446066641 15514783744 21951 33554432000 4194304 4196468 140734431392288 140734431374832 140222011879159 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16441344 140734431396847 140734431397018 140734431397018 140734431399887 0
/proc/29124/statm: 3787789 21951 3454 1 0 3748889 0
[pid=29124/tid=29125] ppid=29122 vsize=15151156 memory=-3704326594973231466 CPUtime=0.68 cores=1,3,5,7
/proc/29124/task/29125/stat : 29125 (java) R 29122 29122 23397 0 -1 4202560 9268 0 0 0 64 4 0 0 20 0 15 0 446066641 15514783744 21951 33554432000 4194304 4196468 140734431392288 140222016115088 140221642985319 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16441344 140734431396847 140734431397018 140734431397018 140734431399887 0
[pid=29124/tid=29126] ppid=29122 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29124/task/29126/stat : 29126 (java) S 29122 29122 23397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446066642 15514783744 21951 33554432000 4194304 4196468 140734431392288 140221964499600 140222011889365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16441344 140734431396847 140734431397018 140734431397018 140734431399887 0
[pid=29124/tid=29127] ppid=29122 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29124/task/29127/stat : 29127 (java) S 29122 29122 23397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446066642 15514783744 21951 33554432000 4194304 4196468 140734431392288 140221963446800 140222011889365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16441344 140734431396847 140734431397018 140734431397018 140734431399887 0
[pid=29124/tid=29128] ppid=29122 vsize=15151156 memory=692 CPUtime=0 cores=1,3,5,7
/proc/29124/task/29128/stat : 29128 (java) S 29122 29122 23397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446066642 15514783744 21951 33554432000 4194304 4196468 140734431392288 140221962394000 140222011889365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16441344 140734431396847 140734431397018 140734431397018 140734431399887 0
[pid=29124/tid=29129] ppid=29122 vsize=15151156 memory=1056 CPUtime=0 cores=1,3,5,7
/proc/29124/task/29129/stat : 29129 (java) S 29122 29122 23397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446066642 15514783744 21951 33554432000 4194304 4196468 140734431392288 140221961341200 140222011889365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16441344 140734431396847 140734431397018 140734431397018 140734431399887 0
[pid=29124/tid=29130] ppid=29122 vsize=15151156 memory=1556 CPUtime=0 cores=1,3,5,7
/proc/29124/task/29130/stat : 29130 (java) S 29122 29122 23397 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 446066643 15514783744 21951 33554432000 4194304 4196468 140734431392288 140221479873392 140222011890306 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16441344 140734431396847 140734431397018 140734431397018 140734431399887 0
[pid=29124/tid=29131] ppid=29122 vsize=15151156 memory=780 CPUtime=0 cores=1,3,5,7
/proc/29124/task/29131/stat : 29131 (java) S 29122 29122 23397 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446066643 15514783744 21951 33554432000 4194304 4196468 140734431392288 140221478819360 140222011889365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16441344 140734431396847 140734431397018 140734431397018 140734431399887 0
[pid=29124/tid=29132] ppid=29122 vsize=15151156 memory=4132 CPUtime=0 cores=1,3,5,7
/proc/29124/task/29132/stat : 29132 (java) S 29122 29122 23397 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446066644 15514783744 21951 33554432000 4194304 4196468 140734431392288 140221477766512 140222011889365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16441344 140734431396847 140734431397018 140734431397018 140734431399887 0
[pid=29124/tid=29133] ppid=29122 vsize=15151156 memory=1112 CPUtime=0 cores=1,3,5,7
/proc/29124/task/29133/stat : 29133 (java) S 29122 29122 23397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446066646 15514783744 21951 33554432000 4194304 4196468 140734431392288 140221476714832 140222011897755 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16441344 140734431396847 140734431397018 140734431397018 140734431399887 0
[pid=29124/tid=29134] ppid=29122 vsize=15151156 memory=6048 CPUtime=0.24 cores=1,3,5,7
/proc/29124/task/29134/stat : 29134 (java) R 29122 29122 23397 0 -1 4202560 1362 0 0 0 24 0 0 0 20 0 15 0 446066646 15514783744 21951 33554432000 4194304 4196468 140734431392288 140221475648128 140221991125163 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16441344 140734431396847 140734431397018 140734431397018 140734431399887 0
[pid=29124/tid=29135] ppid=29122 vsize=15151156 memory=7552 CPUtime=0.25 cores=1,3,5,7
/proc/29124/task/29135/stat : 29135 (java) R 29122 29122 23397 0 -1 4202560 995 0 0 0 25 0 0 0 20 0 15 0 446066646 15514783744 21951 33554432000 4194304 4196468 140734431392288 140221474590408 140221995375947 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 16441344 140734431396847 140734431397018 140734431397018 140734431399887 0
[pid=29124/tid=29136] ppid=29122 vsize=15151156 memory=2832 CPUtime=0.42 cores=1,3,5,7
/proc/29124/task/29136/stat : 29136 (java) R 29122 29122 23397 0 -1 4202560 2194 0 0 0 42 0 0 0 20 0 15 0 446066646 15514783744 21951 33554432000 4194304 4196468 140734431392288 140221473553528 140221991593940 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16441344 140734431396847 140734431397018 140734431397018 140734431399887 0
[pid=29124/tid=29137] ppid=29122 vsize=15151156 memory=1084 CPUtime=0 cores=1,3,5,7
/proc/29124/task/29137/stat : 29137 (java) S 29122 29122 23397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446066646 15514783744 21951 33554432000 4194304 4196468 140734431392288 140221472504032 140222011889365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16441344 140734431396847 140734431397018 140734431397018 140734431399887 0
[pid=29124/tid=29138] ppid=29122 vsize=15151156 memory=14012 CPUtime=0 cores=1,3,5,7
/proc/29124/task/29138/stat : 29138 (java) S 29122 29122 23397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446066646 15514783744 21951 33554432000 4194304 4196468 140734431392288 140221471452336 140222011890306 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16441344 140734431396847 140734431397018 140734431397018 140734431399887 0
Current children cumulated CPU time: 1.62 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 89252 KiB
[startup+1.50643 s]
/proc/loadavg: 8.46 8.57 8.31 10/237 29167
/proc/meminfo: memFree=30753712/32770624 swapFree=66977408/67108860
[pid=29122] ppid=29119 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/29122/stat : 29122 (xcsp3-exec) S 29119 29122 23397 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 446066640 115843072 362 33554432000 4194304 5098028 140732233669392 140732233667496 140100557050492 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 11849728 140732233675642 140732233675885 140732233675885 140732233678794 0
/proc/29122/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
/proc/29124/task/29138/stat : 29138 (java) S 29122 29122 23397 0 -1 1077944384 882 0 0 0 0 0 0 0 20 0 19 0 446066646 15926902784 59103 33554432000 4194304 4196468 140734431392288 140221471452336 140222011890306 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16441344 140734431396847 140734431397018 140734431397018 140734431399887 0
[pid=29124/tid=29191] ppid=29122 vsize=15553616 memory=288230574492221466 CPUtime=8.3 cores=1,3,5,7
/proc/29124/task/29191/stat : 29191 (java) R 29122 29122 23397 0 -1 4202560 165 0 0 0 830 0 0 0 20 0 19 0 446067955 15926902784 59103 33554432000 4194304 4196468 140734431392288 140221457214696 140221644658648 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 16441344 140734431396847 140734431397018 140734431397018 140734431399887 0
[pid=29124/tid=29192] ppid=29122 vsize=15553616 memory=1416 CPUtime=8.42 cores=1,3,5,7
/proc/29124/task/29192/stat : 29192 (java) R 29122 29122 23397 0 -1 4202560 514 0 0 0 842 0 0 0 20 0 19 0 446067955 15926902784 59103 33554432000 4194304 4196468 140734431392288 140221456165616 140221646142443 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16441344 140734431396847 140734431397018 140734431397018 140734431399887 0
[pid=29124/tid=29193] ppid=29122 vsize=15553616 memory=1716 CPUtime=8.33 cores=1,3,5,7
/proc/29124/task/29193/stat : 29193 (java) R 29122 29122 23397 0 -1 4202560 626 0 0 0 833 0 0 0 20 0 19 0 446067955 15926902784 59103 33554432000 4194304 4196468 140734431392288 140221455110264 140221646973834 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16441344 140734431396847 140734431397018 140734431397018 140734431399887 0
[pid=29124/tid=29194] ppid=29122 vsize=15553616 memory=692 CPUtime=8.34 cores=1,3,5,7
/proc/29124/task/29194/stat : 29194 (java) R 29122 29122 23397 0 -1 4202560 259 0 0 0 834 0 0 0 20 0 19 0 446067955 15926902784 59103 33554432000 4194304 4196468 140734431392288 140221462473384 140221647139158 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16441344 140734431396847 140734431397018 140734431397018 140734431399887 0
Current children cumulated CPU time: 84.62 s
Current children cumulated vsize: 15666744 KiB
Current children cumulated memory: 237860 KiB
[startup+22.4014 s]
/proc/loadavg: 8.33 8.54 8.31 10/236 29194
/proc/meminfo: memFree=30685352/32770624 swapFree=66977408/67108860
[pid=29122] ppid=29119 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/29122/stat : 29122 (xcsp3-exec) S 29119 29122 23397 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 446066640 115843072 362 33554432000 4194304 5098028 140732233669392 140732233667496 140100557050492 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 11849728 140732233675642 140732233675885 140732233675885 140732233678794 0
/proc/29122/statm: 28282 362 304 221 0 87 0
[pid=29124] ppid=29122 vsize=15553616 memory=236460 CPUtime=87.81 cores=1,3,5,7
/proc/29124/stat : 29124 (java) S 29122 29122 23397 0 -1 1077944320 51080 0 0 0 8769 12 0 0 20 0 19 0 446066641 15926902784 59115 33554432000 4194304 4196468 140734431392288 140734431374832 140222011879159 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16441344 140734431396847 140734431397018 140734431397018 140734431399887 0
/proc/29124/statm: 3888404 59115 3531 1 0 3849504 0
[pid=29124/tid=29125] ppid=29122 vsize=15553616 memory=1056 CPUtime=0.72 cores=1,3,5,7
/proc/29124/task/29125/stat : 29125 (java) S 29122 29122 23397 0 -1 1077944384 9608 0 0 0 68 4 0 0 20 0 19 0 446066641 15926902784 59115 33554432000 4194304 4196468 140734431392288 140222016119936 140222011889365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16441344 140734431396847 140734431397018 140734431397018 140734431399887 0
[pid=29124/tid=29126] ppid=29122 vsize=15553616 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/29124/task/29126/stat : 29126 (java) S 29122 29122 23397 0 -1 1077944384 326 0 0 0 0 0 0 0 20 0 19 0 446066642 15926902784 59115 33554432000 4194304 4196468 140734431392288 140221964499600 140222011889365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16441344 140734431396847 140734431397018 140734431397018 140734431399887 0
[pid=29124/tid=29127] ppid=29122 vsize=15553616 memory=236396 CPUtime=0.01 cores=1,3,5,7
/proc/29124/task/29127/stat : 29127 (java) S 29122 29122 23397 0 -1 1077944384 406 0 0 0 1 0 0 0 20 0 19 0 446066642 15926902784 59115 33554432000 4194304 4196468 140734431392288 140221963446800 140222011889365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16441344 140734431396847 140734431397018 140734431397018 140734431399887 0
[pid=29124/tid=29128] ppid=29122 vsize=15553616 memory=6944656592455359580 CPUtime=0.01 cores=1,3,5,7
/proc/29124/task/29128/stat : 29128 (java) S 29122 29122 23397 0 -1 1077944384 401 0 0 0 1 0 0 0 20 0 19 0 446066642 15926902784 59115 33554432000 4194304 4196468 140734431392288 140221962394000 140222011889365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16441344 140734431396847 140734431397018 140734431397018 140734431399887 0
[pid=29124/tid=29129] ppid=29122 vsize=15553616 memory=6791534058613427641 CPUtime=0.01 cores=1,3,5,7
/proc/29124/task/29129/stat : 29129 (java) S 29122 29122 23397 0 -1 1077944384 1204 0 0 0 1 0 0 0 20 0 19 0 446066642 15926902784 59115 33554432000 4194304 4196468 140734431392288 140221961341200 140222011889365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16441344 140734431396847 140734431397018 140734431397018 140734431399887 0
[pid=29124/tid=29130] ppid=29122 vsize=15553616 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/29124/task/29130/stat : 29130 (java) S 29122 29122 23397 0 -1 1077944384 686 0 0 0 1 1 0 0 20 0 19 0 446066643 15926902784 59115 33554432000 4194304 4196468 140734431392288 140221479873392 140222011890306 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16441344 140734431396847 140734431397018 140734431397018 140734431399887 0
[pid=29124/tid=29131] ppid=29122 vsize=15553616 memory=3616 CPUtime=0 cores=1,3,5,7
/proc/29124/task/29131/stat : 29131 (java) S 29122 29122 23397 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 19 0 446066643 15926902784 59115 33554432000 4194304 4196468 140734431392288 140221478819424 140222011889365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16441344 140734431396847 140734431397018 140734431397018 140734431399887 0
[pid=29124/tid=29132] ppid=29122 vsize=15553616 memory=47636 CPUtime=0 cores=1,3,5,7
/proc/29124/task/29132/stat : 29132 (java) S 29122 29122 23397 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 19 0 446066644 15926902784 59115 33554432000 4194304 4196468 140734431392288 140221477766512 140222011889365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16441344 140734431396847 140734431397018 140734431397018 140734431399887 0
[pid=29124/tid=29133] ppid=29122 vsize=15553616 memory=988 CPUtime=0 cores=1,3,5,7
/proc/29124/task/29133/stat : 29133 (java) S 29122 29122 23397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446066646 15926902784 59115 33554432000 4194304 4196468 140734431392288 140221476714832 140222011897755 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16441344 140734431396847 140734431397018 140734431397018 140734431399887 0
[pid=29124/tid=29134] ppid=29122 vsize=15553616 memory=6791534058613427641 CPUtime=3.11 cores=1,3,5,7
/proc/29124/task/29134/stat : 29134 (java) S 29122 29122 23397 0 -1 1077944384 14798 0 0 0 310 1 0 0 20 0 19 0 446066646 15926902784 59115 33554432000 4194304 4196468 140734431392288 140221475662192 140222011890306 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16441344 140734431396847 140734431397018 140734431397018 140734431399887 0
[pid=29124/tid=29135] ppid=29122 vsize=15553616 memory=4104 CPUtime=2.92 cores=1,3,5,7
/proc/29124/task/29135/stat : 29135 (java) S 29122 29122 23397 0 -1 1077944384 9278 0 0 0 292 0 0 0 20 0 19 0 446066646 15926902784 59115 33554432000 4194304 4196468 140734431392288 140221474609392 140222011890306 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16441344 140734431396847 140734431397018 140734431397018 140734431399887 0
[pid=29124/tid=29136] ppid=29122 vsize=15553616 memory=1808 CPUtime=0.83 cores=1,3,5,7
/proc/29124/task/29136/stat : 29136 (java) S 29122 29122 23397 0 -1 1077944384 6725 0 0 0 82 1 0 0 20 0 19 0 446066646 15926902784 59115 33554432000 4194304 4196468 140734431392288 140221473556592 140222011890306 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16441344 140734431396847 140734431397018 140734431397018 140734431399887 0
[pid=29124/tid=29137] ppid=29122 vsize=15553616 memory=920 CPUtime=0 cores=1,3,5,7
/proc/29124/task/29137/stat : 29137 (java) S 29122 29122 23397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446066646 15926902784 59115 33554432000 4194304 4196468 140734431392288 140221472504032 140222011889365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16441344 140734431396847 140734431397018 140734431397018 140734431399887 0
[pid=29124/tid=29138] ppid=29122 vsize=15553616 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/29124/task/29138/stat : 29138 (java) S 29122 29122 23397 0 -1 1077944384 882 0 0 0 0 0 0 0 20 0 19 0 446066646 15926902784 59115 33554432000 4194304 4196468 140734431392288 140221471452336 140222011890306 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16441344 140734431396847 140734431397018 140734431397018 140734431399887 0
[pid=29124/tid=29191] ppid=29122 vsize=15553616 memory=236388 CPUtime=9.08 cores=1,3,5,7
/proc/29124/task/29191/stat : 29191 (java) R 29122 29122 23397 0 -1 4202560 165 0 0 0 908 0 0 0 20 0 19 0 446067955 15926902784 59115 33554432000 4194304 4196468 140734431392288 140221457214696 140221644770679 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 16441344 140734431396847 140734431397018 140734431397018 140734431399887 0
[pid=29124/tid=29192] ppid=29122 vsize=15553616 memory=1448 CPUtime=9.22 cores=1,3,5,7
/proc/29124/task/29192/stat : 29192 (java) R 29122 29122 23397 0 -1 4202560 544 0 0 0 922 0 0 0 20 0 19 0 446067955 15926902784 59115 33554432000 4194304 4196468 140734431392288 140221456165616 140221647140757 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16441344 140734431396847 140734431397018 140734431397018 140734431399887 0
[pid=29124/tid=29193] ppid=29122 vsize=15553616 memory=236412 CPUtime=9.13 cores=1,3,5,7
/proc/29124/task/29193/stat : 29193 (java) R 29122 29122 23397 0 -1 4202560 667 0 0 0 913 0 0 0 20 0 19 0 446067955 15926902784 59115 33554432000 4194304 4196468 140734431392288 140221455110392 140221646046494 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16441344 140734431396847 140734431397018 140734431397018 140734431399887 0
[pid=29124/tid=29194] ppid=29122 vsize=15553616 memory=281228955954048 CPUtime=9.14 cores=1,3,5,7
/proc/29124/task/29194/stat : 29194 (java) R 29122 29122 23397 0 -1 4202560 260 0 0 0 914 0 0 0 20 0 19 0 446067955 15926902784 59115 33554432000 4194304 4196468 140734431392288 140221462473384 140221646335524 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16441344 140734431396847 140734431397018 140734431397018 140734431399887 0
Current children cumulated CPU time: 87.81 s
Current children cumulated vsize: 15666744 KiB
Current children cumulated memory: 237908 KiB
[startup+22.8014 s]
/proc/loadavg: 8.33 8.54 8.31 10/236 29194
/proc/meminfo: memFree=30685352/32770624 swapFree=66977408/67108860
[pid=29122] ppid=29119 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/29122/stat : 29122 (xcsp3-exec) S 29119 29122 23397 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 446066640 115843072 362 33554432000 4194304 5098028 140732233669392 140732233667496 140100557050492 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 11849728 140732233675642 140732233675885 140732233675885 140732233678794 0
/proc/29122/statm: 28282 362 304 221 0 87 0
[pid=29124] ppid=29122 vsize=15553616 memory=236460 CPUtime=89.41 cores=1,3,5,7
/proc/29124/stat : 29124 (java) S 29122 29122 23397 0 -1 1077944320 51085 0 0 0 8929 12 0 0 20 0 19 0 446066641 15926902784 59115 33554432000 4194304 4196468 140734431392288 140734431374832 140222011879159 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16441344 140734431396847 140734431397018 140734431397018 140734431399887 0
/proc/29124/statm: 3888404 59115 3531 1 0 3849504 0
[pid=29124/tid=29125] ppid=29122 vsize=15553616 memory=3978992089206448467 CPUtime=0.72 cores=1,3,5,7
/proc/29124/task/29125/stat : 29125 (java) S 29122 29122 23397 0 -1 1077944384 9608 0 0 0 68 4 0 0 20 0 19 0 446066641 15926902784 59115 33554432000 4194304 4196468 140734431392288 140222016119936 140222011889365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16441344 140734431396847 140734431397018 140734431397018 140734431399887 0
[pid=29124/tid=29126] ppid=29122 vsize=15553616 memory=4638778402627734864 CPUtime=0 cores=1,3,5,7
/proc/29124/task/29126/stat : 29126 (java) S 29122 29122 23397 0 -1 1077944384 326 0 0 0 0 0 0 0 20 0 19 0 446066642 15926902784 59115 33554432000 4194304 4196468 140734431392288 140221964499600 140222011889365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16441344 140734431396847 140734431397018 140734431397018 140734431399887 0
[pid=29124/tid=29127] ppid=29122 vsize=15553616 memory=7380385388137112419 CPUtime=0.01 cores=1,3,5,7
/proc/29124/task/29127/stat : 29127 (java) S 29122 29122 23397 0 -1 1077944384 406 0 0 0 1 0 0 0 20 0 19 0 446066642 15926902784 59115 33554432000 4194304 4196468 140734431392288 140221963446800 140222011889365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16441344 140734431396847 140734431397018 140734431397018 140734431399887 0
[pid=29124/tid=29128] ppid=29122 vsize=15553616 memory=7739554077300187731 CPUtime=0.01 cores=1,3,5,7
/proc/29124/task/29128/stat : 29128 (java) S 29122 29122 23397 0 -1 1077944384 401 0 0 0 1 0 0 0 20 0 19 0 446066642 15926902784 59115 33554432000 4194304 4196468 140734431392288 140221962394000 140222011889365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16441344 140734431396847 140734431397018 140734431397018 140734431399887 0
[pid=29124/tid=29129] ppid=29122 vsize=15553616 memory=7595440001688102255 CPUtime=0.01 cores=1,3,5,7
/proc/29124/task/29129/stat : 29129 (java) S 29122 29122 23397 0 -1 1077944384 1204 0 0 0 1 0 0 0 20 0 19 0 446066642 15926902784 59115 33554432000 4194304 4196468 140734431392288 140221961341200 140222011889365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16441344 140734431396847 140734431397018 140734431397018 140734431399887 0
[pid=29124/tid=29130] ppid=29122 vsize=15553616 memory=7661861387485927012 CPUtime=0.02 cores=1,3,5,7
/proc/29124/task/29130/stat : 29130 (java) S 29122 29122 23397 0 -1 1077944384 686 0 0 0 1 1 0 0 20 0 19 0 446066643 15926902784 59115 33554432000 4194304 4196468 140734431392288 140221479873392 140222011890306 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16441344 140734431396847 140734431397018 140734431397018 140734431399887 0
[pid=29124/tid=29131] ppid=29122 vsize=15553616 memory=7158899594142918554 CPUtime=0 cores=1,3,5,7
/proc/29124/task/29131/stat : 29131 (java) S 29122 29122 23397 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 19 0 446066643 15926902784 59115 33554432000 4194304 4196468 140734431392288 140221478819424 140222011889365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16441344 140734431396847 140734431397018 140734431397018 140734431399887 0
[pid=29124/tid=29132] ppid=29122 vsize=15553616 memory=1 CPUtime=0 cores=1,3,5,7
/proc/29124/task/29132/stat : 29132 (java) S 29122 29122 23397 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 19 0 446066644 15926902784 59115 33554432000 4194304 4196468 140734431392288 140221477766512 140222011889365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16441344 140734431396847 140734431397018 140734431397018 140734431399887 0
[pid=29124/tid=29133] ppid=29122 vsize=15553616 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29124/task/29133/stat : 29133 (java) S 29122 29122 23397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446066646 15926902784 59115 33554432000 4194304 4196468 140734431392288 140221476714832 140222011897755 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16441344 140734431396847 140734431397018 140734431397018 140734431399887 0
[pid=29124/tid=29134] ppid=29122 vsize=15553616 memory=0 CPUtime=3.11 cores=1,3,5,7
/proc/29124/task/29134/stat : 29134 (java) S 29122 29122 23397 0 -1 1077944384 14798 0 0 0 310 1 0 0 20 0 19 0 446066646 15926902784 59115 33554432000 4194304 4196468 140734431392288 140221475662192 140222011890306 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16441344 140734431396847 140734431397018 140734431397018 140734431399887 0
[pid=29124/tid=29135] ppid=29122 vsize=15553616 memory=0 CPUtime=2.92 cores=1,3,5,7
/proc/29124/task/29135/stat : 29135 (java) S 29122 29122 23397 0 -1 1077944384 9278 0 0 0 292 0 0 0 20 0 19 0 446066646 15926902784 59115 33554432000 4194304 4196468 140734431392288 140221474609392 140222011890306 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16441344 140734431396847 140734431397018 140734431397018 140734431399887 0
[pid=29124/tid=29136] ppid=29122 vsize=15553616 memory=304 CPUtime=0.83 cores=1,3,5,7
/proc/29124/task/29136/stat : 29136 (java) S 29122 29122 23397 0 -1 1077944384 6725 0 0 0 82 1 0 0 20 0 19 0 446066646 15926902784 59115 33554432000 4194304 4196468 140734431392288 140221473556592 140222011890306 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16441344 140734431396847 140734431397018 140734431397018 140734431399887 0
[pid=29124/tid=29137] ppid=29122 vsize=15553616 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29124/task/29137/stat : 29137 (java) S 29122 29122 23397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446066646 15926902784 59115 33554432000 4194304 4196468 140734431392288 140221472504032 140222011889365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16441344 140734431396847 140734431397018 140734431397018 140734431399887 0
[pid=29124/tid=29138] ppid=29122 vsize=15553616 memory=83 CPUtime=0 cores=1,3,5,7
/proc/29124/task/29138/stat : 29138 (java) S 29122 29122 23397 0 -1 1077944384 882 0 0 0 0 0 0 0 20 0 19 0 446066646 15926902784 59115 33554432000 4194304 4196468 140734431392288 140221471452336 140222011890306 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16441344 140734431396847 140734431397018 140734431397018 140734431399887 0
[pid=29124/tid=29191] ppid=29122 vsize=15553616 memory=0 CPUtime=9.48 cores=1,3,5,7
/proc/29124/task/29191/stat : 29191 (java) R 29122 29122 23397 0 -1 4202560 165 0 0 0 948 0 0 0 20 0 19 0 446067955 15926902784 59115 33554432000 4194304 4196468 140734431392288 140221457214696 140221646046494 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 16441344 140734431396847 140734431397018 140734431397018 140734431399887 0
[pid=29124/tid=29192] ppid=29122 vsize=15553616 memory=0 CPUtime=9.62 cores=1,3,5,7
/proc/29124/task/29192/stat : 29192 (java) R 29122 29122 23397 0 -1 4202560 544 0 0 0 962 0 0 0 20 0 19 0 446067955 15926902784 59115 33554432000 4194304 4196468 140734431392288 140221456165616 140221647139031 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16441344 140734431396847 140734431397018 140734431397018 140734431399887 0
[pid=29124/tid=29193] ppid=29122 vsize=15553616 memory=281227412489570 CPUtime=9.53 cores=1,3,5,7
/proc/29124/task/29193/stat : 29193 (java) R 29122 29122 23397 0 -1 4202560 672 0 0 0 953 0 0 0 20 0 19 0 446067955 15926902784 59115 33554432000 4194304 4196468 140734431392288 140221455110392 140221647140409 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16441344 140734431396847 140734431397018 140734431397018 140734431399887 0
[pid=29124/tid=29194] ppid=29122 vsize=15553616 memory=-3123010188551861097 CPUtime=9.54 cores=1,3,5,7
/proc/29124/task/29194/stat : 29194 (java) R 29122 29122 23397 0 -1 4202560 260 0 0 0 954 0 0 0 20 0 19 0 446067955 15926902784 59115 33554432000 4194304 4196468 140734431392288 140221462473384 140221646962316 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16441344 140734431396847 140734431397018 140734431397018 140734431399887 0
Current children cumulated CPU time: 89.41 s
Current children cumulated vsize: 15666744 KiB
Current children cumulated memory: 237908 KiB
[startup+22.9014 s]
/proc/loadavg: 8.33 8.54 8.31 10/236 29194
/proc/meminfo: memFree=30685352/32770624 swapFree=66977408/67108860
[pid=29122] ppid=29119 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/29122/stat : 29122 (xcsp3-exec) S 29119 29122 23397 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 446066640 115843072 362 33554432000 4194304 5098028 140732233669392 140732233667496 140100557050492 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 11849728 140732233675642 140732233675885 140732233675885 140732233678794 0
/proc/29122/statm: 28282 362 304 221 0 87 0
[pid=29124] ppid=29122 vsize=15553616 memory=236460 CPUtime=89.81 cores=1,3,5,7
/proc/29124/stat : 29124 (java) S 29122 29122 23397 0 -1 1077944320 51085 0 0 0 8969 12 0 0 20 0 19 0 446066641 15926902784 59115 33554432000 4194304 4196468 140734431392288 140734431374832 140222011879159 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16441344 140734431396847 140734431397018 140734431397018 140734431399887 0
/proc/29124/statm: 3888404 59115 3531 1 0 3849504 0
[pid=29124/tid=29125] ppid=29122 vsize=15553616 memory=236412 CPUtime=0.72 cores=1,3,5,7
/proc/29124/task/29125/stat : 29125 (java) S 29122 29122 23397 0 -1 1077944384 9608 0 0 0 68 4 0 0 20 0 19 0 446066641 15926902784 59115 33554432000 4194304 4196468 140734431392288 140222016119936 140222011889365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16441344 140734431396847 140734431397018 140734431397018 140734431399887 0
[pid=29124/tid=29126] ppid=29122 vsize=15553616 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29124/task/29126/stat : 29126 (java) S 29122 29122 23397 0 -1 1077944384 326 0 0 0 0 0 0 0 20 0 19 0 446066642 15926902784 59115 33554432000 4194304 4196468 140734431392288 140221964499600 140222011889365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16441344 140734431396847 140734431397018 140734431397018 140734431399887 0
[pid=29124/tid=29127] ppid=29122 vsize=15553616 memory=1 CPUtime=0.01 cores=1,3,5,7
/proc/29124/task/29127/stat : 29127 (java) S 29122 29122 23397 0 -1 1077944384 406 0 0 0 1 0 0 0 20 0 19 0 446066642 15926902784 59115 33554432000 4194304 4196468 140734431392288 140221963446800 140222011889365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16441344 140734431396847 140734431397018 140734431397018 140734431399887 0
[pid=29124/tid=29128] ppid=29122 vsize=15553616 memory=1 CPUtime=0.01 cores=1,3,5,7
/proc/29124/task/29128/stat : 29128 (java) S 29122 29122 23397 0 -1 1077944384 401 0 0 0 1 0 0 0 20 0 19 0 446066642 15926902784 59115 33554432000 4194304 4196468 140734431392288 140221962394000 140222011889365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16441344 140734431396847 140734431397018 140734431397018 140734431399887 0
[pid=29124/tid=29129] ppid=29122 vsize=15553616 memory=72 CPUtime=0.01 cores=1,3,5,7
/proc/29124/task/29129/stat : 29129 (java) S 29122 29122 23397 0 -1 1077944384 1204 0 0 0 1 0 0 0 20 0 19 0 446066642 15926902784 59115 33554432000 4194304 4196468 140734431392288 140221961341200 140222011889365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16441344 140734431396847 140734431397018 140734431397018 140734431399887 0
[pid=29124/tid=29130] ppid=29122 vsize=15553616 memory=140614478645637 CPUtime=0.02 cores=1,3,5,7
/proc/29124/task/29130/stat : 29130 (java) S 29122 29122 23397 0 -1 1077944384 686 0 0 0 1 1 0 0 20 0 19 0 446066643 15926902784 59115 33554432000 4194304 4196468 140734431392288 140221479873392 140222011890306 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16441344 140734431396847 140734431397018 140734431397018 140734431399887 0
[pid=29124/tid=29131] ppid=29122 vsize=15553616 memory=281228956415304 CPUtime=0 cores=1,3,5,7
/proc/29124/task/29131/stat : 29131 (java) S 29122 29122 23397 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 19 0 446066643 15926902784 59115 33554432000 4194304 4196468 140734431392288 140221478819424 140222011889365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16441344 140734431396847 140734431397018 140734431397018 140734431399887 0
[pid=29124/tid=29132] ppid=29122 vsize=15553616 memory=281228955952128 CPUtime=0 cores=1,3,5,7
/proc/29124/task/29132/stat : 29132 (java) S 29122 29122 23397 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 19 0 446066644 15926902784 59115 33554432000 4194304 4196468 140734431392288 140221477766512 140222011889365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16441344 140734431396847 140734431397018 140734431397018 140734431399887 0
[pid=29124/tid=29133] ppid=29122 vsize=15553616 memory=281228955952320 CPUtime=0 cores=1,3,5,7
/proc/29124/task/29133/stat : 29133 (java) S 29122 29122 23397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446066646 15926902784 59115 33554432000 4194304 4196468 140734431392288 140221476714832 140222011897755 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16441344 140734431396847 140734431397018 140734431397018 140734431399887 0
[pid=29124/tid=29134] ppid=29122 vsize=15553616 memory=0 CPUtime=3.11 cores=1,3,5,7
/proc/29124/task/29134/stat : 29134 (java) S 29122 29122 23397 0 -1 1077944384 14798 0 0 0 310 1 0 0 20 0 19 0 446066646 15926902784 59115 33554432000 4194304 4196468 140734431392288 140221475662192 140222011890306 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16441344 140734431396847 140734431397018 140734431397018 140734431399887 0
[pid=29124/tid=29135] ppid=29122 vsize=15553616 memory=-7523660553960122769 CPUtime=2.92 cores=1,3,5,7
/proc/29124/task/29135/stat : 29135 (java) S 29122 29122 23397 0 -1 1077944384 9278 0 0 0 292 0 0 0 20 0 19 0 446066646 15926902784 59115 33554432000 4194304 4196468 140734431392288 140221474609392 140222011890306 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16441344 140734431396847 140734431397018 140734431397018 140734431399887 0
[pid=29124/tid=29136] ppid=29122 vsize=15553616 memory=-3704326594973231466 CPUtime=0.83 cores=1,3,5,7
/proc/29124/task/29136/stat : 29136 (java) S 29122 29122 23397 0 -1 1077944384 6725 0 0 0 82 1 0 0 20 0 19 0 446066646 15926902784 59115 33554432000 4194304 4196468 140734431392288 140221473556592 140222011890306 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16441344 140734431396847 140734431397018 140734431397018 140734431399887 0
[pid=29124/tid=29137] ppid=29122 vsize=15553616 memory=281228955954240 CPUtime=0 cores=1,3,5,7
/proc/29124/task/29137/stat : 29137 (java) S 29122 29122 23397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446066646 15926902784 59115 33554432000 4194304 4196468 140734431392288 140221472504032 140222011889365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16441344 140734431396847 140734431397018 140734431397018 140734431399887 0
[pid=29124/tid=29138] ppid=29122 vsize=15553616 memory=281228955954432 CPUtime=0 cores=1,3,5,7
/proc/29124/task/29138/stat : 29138 (java) S 29122 29122 23397 0 -1 1077944384 882 0 0 0 0 0 0 0 20 0 19 0 446066646 15926902784 59115 33554432000 4194304 4196468 140734431392288 140221471452336 140222011890306 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16441344 140734431396847 140734431397018 140734431397018 140734431399887 0
[pid=29124/tid=29191] ppid=29122 vsize=15553616 memory=281228955954624 CPUtime=9.58 cores=1,3,5,7
/proc/29124/task/29191/stat : 29191 (java) R 29122 29122 23397 0 -1 4202560 165 0 0 0 958 0 0 0 20 0 19 0 446067955 15926902784 59115 33554432000 4194304 4196468 140734431392288 140221457214696 140221646335230 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 16441344 140734431396847 140734431397018 140734431397018 140734431399887 0
[pid=29124/tid=29192] ppid=29122 vsize=15553616 memory=0 CPUtime=9.72 cores=1,3,5,7
/proc/29124/task/29192/stat : 29192 (java) R 29122 29122 23397 0 -1 4202560 544 0 0 0 972 0 0 0 20 0 19 0 446067955 15926902784 59115 33554432000 4194304 4196468 140734431392288 140221456165616 140221646577063 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16441344 140734431396847 140734431397018 140734431397018 140734431399887 0
[pid=29124/tid=29193] ppid=29122 vsize=15553616 memory=0 CPUtime=9.63 cores=1,3,5,7
/proc/29124/task/29193/stat : 29193 (java) R 29122 29122 23397 0 -1 4202560 672 0 0 0 963 0 0 0 20 0 19 0 446067955 15926902784 59115 33554432000 4194304 4196468 140734431392288 140221455110392 140221645989374 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16441344 140734431396847 140734431397018 140734431397018 140734431399887 0
[pid=29124/tid=29194] ppid=29122 vsize=15553616 memory=0 CPUtime=9.64 cores=1,3,5,7
/proc/29124/task/29194/stat : 29194 (java) R 29122 29122 23397 0 -1 4202560 260 0 0 0 964 0 0 0 20 0 19 0 446067955 15926902784 59115 33554432000 4194304 4196468 140734431392288 140221462473384 140221646576931 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16441344 140734431396847 140734431397018 140734431397018 140734431399887 0
Current children cumulated CPU time: 89.81 s
Current children cumulated vsize: 15666744 KiB
Current children cumulated memory: 237908 KiB
Child status: 0
Real time (s): 22.967
CPU time (s): 90.0537
CPU user time (s): 89.9227
CPU system time (s): 0.131003
CPU usage (%): 392.1
Max. virtual memory (cumulated for all children) (KiB): 15668944
Max. memory (cumulated for all children) (KiB): 237908
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 89.9227
system time used= 0.131003
maximum resident set size= 236460
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 52737
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3705
involuntary context switches= 2071
# summary of solver processes directly reported to runsolver:
# pid: 29122
# total CPU time (s): 90.0537
# total CPU user time (s): 89.9227
# total CPU system time (s): 0.131003
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.159637 second user time and 0.280091 second system time
The end