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 (6829 MiB free)
memory of node 1: 16384 MiB (3775 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4403658-1568991631/watcher-4403658-1568991631 -o /var/tmp/evaluation-result-4403658-1568991631/solver-4403658-1568991631 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node147-1568991333-3665 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 321073838 HOME/instance-4403658-1568991631.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=6186, runsolver pid=6183
[startup+0.100191 s]*
/proc/loadavg: 7.96 5.11 2.83 8/233 6202
/proc/meminfo: memFree=10812052/32770624 swapFree=66935844/67108860
[pid=6186] ppid=6183 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/6186/stat : 6186 (xcsp3-exec) S 6183 6186 3634 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475076945 115843072 363 33554432000 4194304 5098028 140733616570176 140733616568280 140001690997372 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 39718912 140733616575319 140733616575577 140733616575577 140733616578502 0
/proc/6186/statm: 28282 363 304 221 0 87 0
[pid=6188] ppid=6186 vsize=15144776 memory=29912 CPUtime=0.12 cores=0,2,4,6
/proc/6188/stat : 6188 (java) S 6186 6186 3634 0 -1 1077944320 5893 0 0 0 11 1 0 0 20 0 15 0 475076946 15508250624 7478 33554432000 4194304 4196468 140722594276432 140722594258976 140572140154615 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19140608 140722594280411 140722594280586 140722594280586 140722594283471 0
/proc/6188/statm: 3786194 7478 3146 1 0 3748377 0
[pid=6188/tid=6189] ppid=6186 vsize=15144776 memory=7827720830813705051 CPUtime=0.09 cores=0,2,4,6
/proc/6188/task/6189/stat : 6189 (java) R 6186 6186 3634 0 -1 4202560 3839 0 0 0 8 1 0 0 20 0 15 0 475076946 15508250624 7478 33554432000 4194304 4196468 140722594276432 140572144387504 140572124198245 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19140608 140722594280411 140722594280586 140722594280586 140722594283471 0
[pid=6188/tid=6190] ppid=6186 vsize=15144776 memory=-3689349214911541841 CPUtime=0 cores=0,2,4,6
/proc/6188/task/6190/stat : 6190 (java) S 6186 6186 3634 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475076947 15508250624 7478 33554432000 4194304 4196468 140722594276432 140572068194960 140572140164821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19140608 140722594280411 140722594280586 140722594280586 140722594283471 0
[pid=6188/tid=6191] ppid=6186 vsize=15144776 memory=140272301041280 CPUtime=0 cores=0,2,4,6
/proc/6188/task/6191/stat : 6191 (java) S 6186 6186 3634 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475076947 15508250624 7478 33554432000 4194304 4196468 140722594276432 140572067142160 140572140164821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19140608 140722594280411 140722594280586 140722594280586 140722594283471 0
[pid=6188/tid=6192] ppid=6186 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6188/task/6192/stat : 6192 (java) S 6186 6186 3634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475076947 15508250624 7478 33554432000 4194304 4196468 140722594276432 140572066089360 140572140164821 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19140608 140722594280411 140722594280586 140722594280586 140722594283471 0
[pid=6188/tid=6193] ppid=6186 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6188/task/6193/stat : 6193 (java) S 6186 6186 3634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475076947 15508250624 7478 33554432000 4194304 4196468 140722594276432 140571729848592 140572140164821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19140608 140722594280411 140722594280586 140722594280586 140722594283471 0
[pid=6188/tid=6194] ppid=6186 vsize=15144776 memory=140272301041280 CPUtime=0 cores=0,2,4,6
/proc/6188/task/6194/stat : 6194 (java) S 6186 6186 3634 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475076948 15508250624 7478 33554432000 4194304 4196468 140722594276432 140571282766704 140572140165762 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19140608 140722594280411 140722594280586 140722594280586 140722594283471 0
[pid=6188/tid=6195] ppid=6186 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6188/task/6195/stat : 6195 (java) S 6186 6186 3634 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475076949 15508250624 7478 33554432000 4194304 4196468 140722594276432 140571281712672 140572140164821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19140608 140722594280411 140722594280586 140722594280586 140722594283471 0
[pid=6188/tid=6196] ppid=6186 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6188/task/6196/stat : 6196 (java) S 6186 6186 3634 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475076949 15508250624 7478 33554432000 4194304 4196468 140722594276432 140571280659824 140572140164821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19140608 140722594280411 140722594280586 140722594280586 140722594283471 0
[pid=6188/tid=6197] ppid=6186 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6188/task/6197/stat : 6197 (java) S 6186 6186 3634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475076951 15508250624 7478 33554432000 4194304 4196468 140722594276432 140571279608144 140572140173211 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19140608 140722594280411 140722594280586 140722594280586 140722594283471 0
[pid=6188/tid=6198] ppid=6186 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6188/task/6198/stat : 6198 (java) R 6186 6186 3634 0 -1 1077944384 418 0 0 0 0 0 0 0 20 0 15 0 475076951 15508250624 7478 33554432000 4194304 4196468 140722594276432 140571278555504 140572140165762 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19140608 140722594280411 140722594280586 140722594280586 140722594283471 0
[pid=6188/tid=6199] ppid=6186 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6188/task/6199/stat : 6199 (java) R 6186 6186 3634 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 15 0 475076951 15508250624 7478 33554432000 4194304 4196468 140722594276432 140571277502704 140572125572560 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19140608 140722594280411 140722594280586 140722594280586 140722594283471 0
[pid=6188/tid=6200] ppid=6186 vsize=15144776 memory=140272301041280 CPUtime=0.02 cores=0,2,4,6
/proc/6188/task/6200/stat : 6200 (java) R 6186 6186 3634 0 -1 4202560 329 0 0 0 2 0 0 0 20 0 15 0 475076951 15508250624 7478 33554432000 4194304 4196468 140722594276432 140571276449904 140572140175962 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19140608 140722594280411 140722594280586 140722594280586 140722594283471 0
[pid=6188/tid=6201] ppid=6186 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6188/task/6201/stat : 6201 (java) S 6186 6186 3634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475076951 15508250624 7478 33554432000 4194304 4196468 140722594276432 140571275397344 140572140164821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19140608 140722594280411 140722594280586 140722594280586 140722594283471 0
[pid=6188/tid=6202] ppid=6186 vsize=15144776 memory=140272301041280 CPUtime=0 cores=0,2,4,6
/proc/6188/task/6202/stat : 6202 (java) S 6186 6186 3634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475076952 15508250624 7478 33554432000 4194304 4196468 140722594276432 140571274345648 140572140165762 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19140608 140722594280411 140722594280586 140722594280586 140722594283471 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 31364 KiB
[startup+0.210718 s]*
/proc/loadavg: 7.96 5.11 2.83 6/233 6202
/proc/meminfo: memFree=10758752/32770624 swapFree=66935844/67108860
[pid=6186] ppid=6183 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/6186/stat : 6186 (xcsp3-exec) S 6183 6186 3634 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475076945 115843072 363 33554432000 4194304 5098028 140733616570176 140733616568280 140001690997372 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 39718912 140733616575319 140733616575577 140733616575577 140733616578502 0
/proc/6186/statm: 28282 363 304 221 0 87 0
[pid=6188] ppid=6186 vsize=15144776 memory=40648 CPUtime=0.34 cores=0,2,4,6
/proc/6188/stat : 6188 (java) S 6186 6186 3634 0 -1 1077944320 9383 0 0 0 31 3 0 0 20 0 15 0 475076946 15508250624 10162 33554432000 4194304 4196468 140722594276432 140722594258976 140572140154615 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19140608 140722594280411 140722594280586 140722594280586 140722594283471 0
/proc/6188/statm: 3786194 10162 3306 1 0 3748377 0
[pid=6188/tid=6189] ppid=6186 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/6188/task/6189/stat : 6189 (java) R 6186 6186 3634 0 -1 4202560 6639 0 0 0 18 2 0 0 20 0 15 0 475076946 15508250624 10162 33554432000 4194304 4196468 140722594276432 140572144394288 140572124235102 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19140608 140722594280411 140722594280586 140722594280586 140722594283471 0
[pid=6188/tid=6190] ppid=6186 vsize=15144776 memory=8956 CPUtime=0 cores=0,2,4,6
/proc/6188/task/6190/stat : 6190 (java) S 6186 6186 3634 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475076947 15508250624 10162 33554432000 4194304 4196468 140722594276432 140572068194960 140572140164821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19140608 140722594280411 140722594280586 140722594280586 140722594283471 0
[pid=6188/tid=6191] ppid=6186 vsize=15144776 memory=3905381480786880160 CPUtime=0 cores=0,2,4,6
/proc/6188/task/6191/stat : 6191 (java) S 6186 6186 3634 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475076947 15508250624 10162 33554432000 4194304 4196468 140722594276432 140572067142160 140572140164821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19140608 140722594280411 140722594280586 140722594280586 140722594283471 0
[pid=6188/tid=6192] ppid=6186 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6188/task/6192/stat : 6192 (java) S 6186 6186 3634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475076947 15508250624 10162 33554432000 4194304 4196468 140722594276432 140572066089360 140572140164821 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19140608 140722594280411 140722594280586 140722594280586 140722594283471 0
[pid=6188/tid=6193] ppid=6186 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6188/task/6193/stat : 6193 (java) S 6186 6186 3634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475076947 15508250624 10162 33554432000 4194304 4196468 140722594276432 140571729848592 140572140164821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19140608 140722594280411 140722594280586 140722594280586 140722594283471 0
[pid=6188/tid=6194] ppid=6186 vsize=15144776 memory=140272301041280 CPUtime=0 cores=0,2,4,6
/proc/6188/task/6194/stat : 6194 (java) S 6186 6186 3634 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475076948 15508250624 10162 33554432000 4194304 4196468 140722594276432 140571282766704 140572140165762 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19140608 140722594280411 140722594280586 140722594280586 140722594283471 0
[pid=6188/tid=6195] ppid=6186 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6188/task/6195/stat : 6195 (java) S 6186 6186 3634 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475076949 15508250624 10162 33554432000 4194304 4196468 140722594276432 140571281712672 140572140164821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19140608 140722594280411 140722594280586 140722594280586 140722594283471 0
[pid=6188/tid=6196] ppid=6186 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6188/task/6196/stat : 6196 (java) S 6186 6186 3634 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475076949 15508250624 10162 33554432000 4194304 4196468 140722594276432 140571280659824 140572140164821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19140608 140722594280411 140722594280586 140722594280586 140722594283471 0
[pid=6188/tid=6197] ppid=6186 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6188/task/6197/stat : 6197 (java) S 6186 6186 3634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475076951 15508250624 10162 33554432000 4194304 4196468 140722594276432 140571279608144 140572140173211 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19140608 140722594280411 140722594280586 140722594280586 140722594283471 0
[pid=6188/tid=6198] ppid=6186 vsize=15144776 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/6188/task/6198/stat : 6198 (java) S 6186 6186 3634 0 -1 1077944384 488 0 0 0 2 0 0 0 20 0 15 0 475076951 15508250624 10162 33554432000 4194304 4196468 140722594276432 140571278555504 140572140165762 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19140608 140722594280411 140722594280586 140722594280586 140722594283471 0
[pid=6188/tid=6199] ppid=6186 vsize=15144776 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/6188/task/6199/stat : 6199 (java) S 6186 6186 3634 0 -1 1077944384 161 0 0 0 2 0 0 0 20 0 15 0 475076951 15508250624 10162 33554432000 4194304 4196468 140722594276432 140571277502704 140572140165762 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19140608 140722594280411 140722594280586 140722594280586 140722594283471 0
[pid=6188/tid=6200] ppid=6186 vsize=15144776 memory=140272301041280 CPUtime=0.08 cores=0,2,4,6
/proc/6188/task/6200/stat : 6200 (java) R 6186 6186 3634 0 -1 4202560 788 0 0 0 8 0 0 0 20 0 15 0 475076951 15508250624 10162 33554432000 4194304 4196468 140722594276432 140571276449904 140572119278176 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19140608 140722594280411 140722594280586 140722594280586 140722594283471 0
[pid=6188/tid=6201] ppid=6186 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6188/task/6201/stat : 6201 (java) S 6186 6186 3634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475076951 15508250624 10162 33554432000 4194304 4196468 140722594276432 140571275397344 140572140164821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19140608 140722594280411 140722594280586 140722594280586 140722594283471 0
[pid=6188/tid=6202] ppid=6186 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6188/task/6202/stat : 6202 (java) S 6186 6186 3634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475076952 15508250624 10162 33554432000 4194304 4196468 140722594276432 140571274345648 140572140165762 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19140608 140722594280411 140722594280586 140722594280586 140722594283471 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42100 KiB
[startup+0.310561 s]*
/proc/loadavg: 7.96 5.11 2.83 7/233 6202
/proc/meminfo: memFree=10751524/32770624 swapFree=66935844/67108860
[pid=6186] ppid=6183 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/6186/stat : 6186 (xcsp3-exec) S 6183 6186 3634 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475076945 115843072 363 33554432000 4194304 5098028 140733616570176 140733616568280 140001690997372 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 39718912 140733616575319 140733616575577 140733616575577 140733616578502 0
/proc/6186/statm: 28282 363 304 221 0 87 0
[pid=6188] ppid=6186 vsize=15149032 memory=49628 CPUtime=0.53 cores=0,2,4,6
/proc/6188/stat : 6188 (java) S 6186 6186 3634 0 -1 1077944320 10687 0 0 0 49 4 0 0 20 0 15 0 475076946 15512608768 12407 33554432000 4194304 4196468 140722594276432 140722594258976 140572140154615 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19140608 140722594280411 140722594280586 140722594280586 140722594283471 0
/proc/6188/statm: 3787258 12407 3359 1 0 3748377 0
[pid=6188/tid=6189] ppid=6186 vsize=15149032 memory=8112282956445269571 CPUtime=0.29 cores=0,2,4,6
/proc/6188/task/6189/stat : 6189 (java) R 6186 6186 3634 0 -1 4202560 7719 0 0 0 27 2 0 0 20 0 15 0 475076946 15512608768 12407 33554432000 4194304 4196468 140722594276432 140572144385728 140572124235102 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19140608 140722594280411 140722594280586 140722594280586 140722594283471 0
[pid=6188/tid=6190] ppid=6186 vsize=15149032 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/6188/task/6190/stat : 6190 (java) S 6186 6186 3634 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475076947 15512608768 12434 33554432000 4194304 4196468 140722594276432 140572068194960 140572140164821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19140608 140722594280411 140722594280586 140722594280586 140722594283471 0
[pid=6188/tid=6191] ppid=6186 vsize=15149032 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/6188/task/6191/stat : 6191 (java) S 6186 6186 3634 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475076947 15512608768 12434 33554432000 4194304 4196468 140722594276432 140572067142160 140572140164821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19140608 140722594280411 140722594280586 140722594280586 140722594283471 0
[pid=6188/tid=6192] ppid=6186 vsize=15149032 memory=-2026666227646604569 CPUtime=0 cores=0,2,4,6
/proc/6188/task/6192/stat : 6192 (java) S 6186 6186 3634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475076947 15512608768 12434 33554432000 4194304 4196468 140722594276432 140572066089360 140572140164821 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19140608 140722594280411 140722594280586 140722594280586 140722594283471 0
[pid=6188/tid=6193] ppid=6186 vsize=15149032 memory=7161374744685748120 CPUtime=0 cores=0,2,4,6
/proc/6188/task/6193/stat : 6193 (java) S 6186 6186 3634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475076947 15512608768 12434 33554432000 4194304 4196468 140722594276432 140571729848592 140572140164821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19140608 140722594280411 140722594280586 140722594280586 140722594283471 0
[pid=6188/tid=6194] ppid=6186 vsize=15149032 memory=6944657691966988345 CPUtime=0 cores=0,2,4,6
/proc/6188/task/6194/stat : 6194 (java) S 6186 6186 3634 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475076948 15512608768 12434 33554432000 4194304 4196468 140722594276432 140571282766704 140572140165762 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19140608 140722594280411 140722594280586 140722594280586 140722594283471 0
[pid=6188/tid=6195] ppid=6186 vsize=15149032 memory=4196912344889787449 CPUtime=0 cores=0,2,4,6
/proc/6188/task/6195/stat : 6195 (java) S 6186 6186 3634 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475076949 15512608768 12434 33554432000 4194304 4196468 140722594276432 140571281712672 140572140164821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19140608 140722594280411 140722594280586 140722594280586 140722594283471 0
[pid=6188/tid=6196] ppid=6186 vsize=15149032 memory=3047711566422646390 CPUtime=0 cores=0,2,4,6
/proc/6188/task/6196/stat : 6196 (java) S 6186 6186 3634 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475076949 15512608768 12434 33554432000 4194304 4196468 140722594276432 140571280659824 140572140164821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19140608 140722594280411 140722594280586 140722594280586 140722594283471 0
[pid=6188/tid=6197] ppid=6186 vsize=15149032 memory=-6444775992005010620 CPUtime=0 cores=0,2,4,6
/proc/6188/task/6197/stat : 6197 (java) S 6186 6186 3634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475076951 15512608768 12434 33554432000 4194304 4196468 140722594276432 140571279608144 140572140173211 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19140608 140722594280411 140722594280586 140722594280586 140722594283471 0
[pid=6188/tid=6198] ppid=6186 vsize=15149032 memory=8325818968683490714 CPUtime=0.04 cores=0,2,4,6
/proc/6188/task/6198/stat : 6198 (java) S 6186 6186 3634 0 -1 1077944384 549 0 0 0 4 0 0 0 20 0 15 0 475076951 15512608768 12434 33554432000 4194304 4196468 140722594276432 140571278555504 140572140165762 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19140608 140722594280411 140722594280586 140722594280586 140722594283471 0
[pid=6188/tid=6199] ppid=6186 vsize=15149032 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/6188/task/6199/stat : 6199 (java) S 6186 6186 3634 0 -1 1077944384 167 0 0 0 3 0 0 0 20 0 15 0 475076951 15512608768 12434 33554432000 4194304 4196468 140722594276432 140571277502704 140572140165762 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19140608 140722594280411 140722594280586 140722594280586 140722594283471 0
[pid=6188/tid=6200] ppid=6186 vsize=15149032 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/6188/task/6200/stat : 6200 (java) S 6186 6186 3634 0 -1 1077944384 957 0 0 0 13 0 0 0 20 0 15 0 475076951 15512608768 12434 33554432000 4194304 4196468 140722594276432 140571276449904 140572140165762 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19140608 140722594280411 140722594280586 140722594280586 140722594283471 0
[pid=6188/tid=6201] ppid=6186 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6188/task/6201/stat : 6201 (java) S 6186 6186 3634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475076951 15512608768 12434 33554432000 4194304 4196468 140722594276432 140571275397344 140572140164821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19140608 140722594280411 140722594280586 140722594280586 140722594283471 0
[pid=6188/tid=6202] ppid=6186 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6188/task/6202/stat : 6202 (java) S 6186 6186 3634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475076952 15512608768 12434 33554432000 4194304 4196468 140722594276432 140571274345648 140572140165762 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19140608 140722594280411 140722594280586 140722594280586 140722594283471 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51080 KiB
[startup+0.708285 s]
/proc/loadavg: 7.96 5.11 2.83 14/237 6249
/proc/meminfo: memFree=10639400/32770624 swapFree=66935844/67108860
[pid=6186] ppid=6183 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/6186/stat : 6186 (xcsp3-exec) S 6183 6186 3634 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475076945 115843072 363 33554432000 4194304 5098028 140733616570176 140733616568280 140001690997372 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 39718912 140733616575319 140733616575577 140733616575577 140733616578502 0
/proc/6186/statm: 28282 363 304 221 0 87 0
[pid=6188] ppid=6186 vsize=15617104 memory=190476 CPUtime=1.66 cores=0,2,4,6
/proc/6188/stat : 6188 (java) S 6186 6186 3634 0 -1 1077944320 18446 0 0 0 157 9 0 0 20 0 19 0 475076946 15991914496 47619 33554432000 4194304 4196468 140722594276432 140722594258976 140572140154615 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19140608 140722594280411 140722594280586 140722594280586 140722594283471 0
/proc/6188/statm: 3904276 47619 3483 1 0 3865376 0
[pid=6188/tid=6189] ppid=6186 vsize=15617104 memory=33 CPUtime=0.46 cores=0,2,4,6
/proc/6188/task/6189/stat : 6189 (java) S 6186 6186 3634 0 -1 1077944384 8968 0 0 0 43 3 0 0 20 0 19 0 475076946 15991914496 47619 33554432000 4194304 4196468 140722594276432 140572144395392 140572140164821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19140608 140722594280411 140722594280586 140722594280586 140722594283471 0
[pid=6188/tid=6190] ppid=6186 vsize=15617104 memory=-7082918048272507482 CPUtime=0 cores=0,2,4,6
/proc/6188/task/6190/stat : 6190 (java) S 6186 6186 3634 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 475076947 15991914496 47619 33554432000 4194304 4196468 140722594276432 140572068194960 140572140164821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19140608 140722594280411 140722594280586 140722594280586 140722594283471 0
[pid=6188/tid=6191] ppid=6186 vsize=15617104 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6188/task/6191/stat : 6191 (java) S 6186 6186 3634 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 19 0 475076947 15991914496 47619 33554432000 4194304 4196468 140722594276432 140572067142160 140572140164821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19140608 140722594280411 140722594280586 140722594280586 140722594283471 0
[pid=6188/tid=6192] ppid=6186 vsize=15617104 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6188/task/6192/stat : 6192 (java) S 6186 6186 3634 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 475076947 15991914496 47619 33554432000 4194304 4196468 140722594276432 140572066089360 140572140164821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19140608 140722594280411 140722594280586 140722594280586 140722594283471 0
[pid=6188/tid=6193] ppid=6186 vsize=15617104 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6188/task/6193/stat : 6193 (java) S 6186 6186 3634 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 475076947 15991914496 47619 33554432000 4194304 4196468 140722594276432 140571729848592 140572140164821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19140608 140722594280411 140722594280586 140722594280586 140722594283471 0
[pid=6188/tid=6194] ppid=6186 vsize=15617104 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6188/task/6194/stat : 6194 (java) S 6186 6186 3634 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 19 0 475076948 15991914496 47619 33554432000 4194304 4196468 140722594276432 140571282766704 140572140165762 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19140608 140722594280411 140722594280586 140722594280586 140722594283471 0
[pid=6188/tid=6195] ppid=6186 vsize=15617104 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6188/task/6195/stat : 6195 (java) S 6186 6186 3634 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 475076949 15991914496 47619 33554432000 4194304 4196468 140722594276432 140571281712736 140572140164821 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19140608 140722594280411 140722594280586 140722594280586 140722594283471 0
[pid=6188/tid=6196] ppid=6186 vsize=15617104 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6188/task/6196/stat : 6196 (java) S 6186 6186 3634 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 475076949 15991914496 47619 33554432000 4194304 4196468 140722594276432 140571280659840 140572140164821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19140608 140722594280411 140722594280586 140722594280586 140722594283471 0
[pid=6188/tid=6197] ppid=6186 vsize=15617104 memory=55772 CPUtime=0 cores=0,2,4,6
/proc/6188/task/6197/stat : 6197 (java) S 6186 6186 3634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475076951 15991914496 47619 33554432000 4194304 4196468 140722594276432 140571279608144 140572140173211 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19140608 140722594280411 140722594280586 140722594280586 140722594283471 0
[pid=6188/tid=6198] ppid=6186 vsize=15617104 memory=2020 CPUtime=0.26 cores=0,2,4,6
/proc/6188/task/6198/stat : 6198 (java) R 6186 6186 3634 0 -1 4202560 1475 0 0 0 26 0 0 0 20 0 19 0 475076951 15991914496 47619 33554432000 4194304 4196468 140722594276432 140571278541384 140572119841231 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19140608 140722594280411 140722594280586 140722594280586 140722594283471 0
[pid=6188/tid=6199] ppid=6186 vsize=15617104 memory=988 CPUtime=0.26 cores=0,2,4,6
/proc/6188/task/6199/stat : 6199 (java) R 6186 6186 3634 0 -1 4202560 819 0 0 0 26 0 0 0 20 0 19 0 475076951 15991914496 47619 33554432000 4194304 4196468 140722594276432 140571277491296 140572124579184 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19140608 140722594280411 140722594280586 140722594280586 140722594283471 0
[pid=6188/tid=6200] ppid=6186 vsize=15617104 memory=1368 CPUtime=0.31 cores=0,2,4,6
/proc/6188/task/6200/stat : 6200 (java) R 6186 6186 3634 0 -1 1077944384 1821 0 0 0 31 0 0 0 20 0 19 0 475076951 15991914496 47619 33554432000 4194304 4196468 140722594276432 140571276449904 140572140165762 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19140608 140722594280411 140722594280586 140722594280586 140722594283471 0
[pid=6188/tid=6201] ppid=6186 vsize=15617104 memory=1056 CPUtime=0 cores=0,2,4,6
/proc/6188/task/6201/stat : 6201 (java) S 6186 6186 3634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475076951 15991914496 47619 33554432000 4194304 4196468 140722594276432 140571275397344 140572140164821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19140608 140722594280411 140722594280586 140722594280586 140722594283471 0
[pid=6188/tid=6202] ppid=6186 vsize=15617104 memory=1716 CPUtime=0 cores=0,2,4,6
/proc/6188/task/6202/stat : 6202 (java) S 6186 6186 3634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475076952 15991914496 47619 33554432000 4194304 4196468 140722594276432 140571274345648 140572140165762 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19140608 140722594280411 140722594280586 140722594280586 140722594283471 0
Current children cumulated CPU time: 1.66 s
Current children cumulated vsize: 15730232 KiB
Current children cumulated memory: 191928 KiB
[startup+1.51029 s]
/proc/loadavg: 7.88 5.14 2.85 9/237 6473
/proc/meminfo: memFree=10592504/32770624 swapFree=66935844/67108860
[pid=6186] ppid=6183 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/6186/stat : 6186 (xcsp3-exec) S 6183 6186 3634 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475076945 115843072 363 33554432000 4194304 5098028 140733616570176 140733616568280 140001690997372 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 39718912 140733616575319 140733616575577 140733616575577 140733616578502 0
/proc/6186/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
/proc/6188/task/6202/stat : 6202 (java) S 6186 6186 3634 0 -1 1077944384 866 0 0 0 0 1 0 0 20 0 19 0 475076952 15991914496 92191 33554432000 4194304 4196468 140722594276432 140571274345648 140572140165762 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 9 0 0 6293624 6294260 19140608 140722594280411 140722594280586 140722594280586 140722594283471 0
[pid=6188/tid=6538] ppid=6186 vsize=15617104 memory=3592 CPUtime=25.52 cores=0,2,4,6
/proc/6188/task/6538/stat : 6538 (java) R 6186 6186 3634 0 -1 4202560 431 0 0 0 2552 0 0 0 20 0 19 0 475077122 15991914496 92191 33554432000 4194304 4196468 140722594276432 140571265126640 140572120997561 0 4 0 16800975 0 0 0 -1 2 0 0 10 0 0 6293624 6294260 19140608 140722594280411 140722594280586 140722594280586 140722594283471 0
[pid=6188/tid=6539] ppid=6186 vsize=15617104 memory=1124 CPUtime=25.47 cores=0,2,4,6
/proc/6188/task/6539/stat : 6539 (java) R 6186 6186 3634 0 -1 4202560 790 0 0 0 2547 0 0 0 20 0 19 0 475077122 15991914496 92191 33554432000 4194304 4196468 140722594276432 140571191528784 140571751094285 0 4 0 16800975 0 0 0 -1 6 0 0 10 0 0 6293624 6294260 19140608 140722594280411 140722594280586 140722594280586 140722594283471 0
[pid=6188/tid=6540] ppid=6186 vsize=15617104 memory=2828 CPUtime=25.43 cores=0,2,4,6
/proc/6188/task/6540/stat : 6540 (java) R 6186 6186 3634 0 -1 4202560 1198 0 0 0 2543 0 0 0 20 0 19 0 475077122 15991914496 92191 33554432000 4194304 4196468 140722594276432 140571261969456 140571750121451 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19140608 140722594280411 140722594280586 140722594280586 140722594283471 0
[pid=6188/tid=6541] ppid=6186 vsize=15617104 memory=1228 CPUtime=25.47 cores=0,2,4,6
/proc/6188/task/6541/stat : 6541 (java) R 6186 6186 3634 0 -1 4202560 665 0 0 0 2547 0 0 0 20 0 19 0 475077122 15991914496 92191 33554432000 4194304 4196468 140722594276432 140571263020880 140571750916412 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19140608 140722594280411 140722594280586 140722594280586 140722594283471 0
Current children cumulated CPU time: 109.09 s
Current children cumulated vsize: 15730232 KiB
Current children cumulated memory: 370216 KiB
[startup+28.8013 s]
/proc/loadavg: 8.01 5.40 3.00 6/234 6627
/proc/meminfo: memFree=9015488/32770624 swapFree=66935844/67108860
[pid=6186] ppid=6183 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/6186/stat : 6186 (xcsp3-exec) S 6183 6186 3634 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475076945 115843072 363 33554432000 4194304 5098028 140733616570176 140733616568280 140001690997372 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 39718912 140733616575319 140733616575577 140733616575577 140733616578502 0
/proc/6186/statm: 28282 363 304 221 0 87 0
[pid=6188] ppid=6186 vsize=15617104 memory=370864 CPUtime=112.2 cores=0,2,4,6
/proc/6188/stat : 6188 (java) S 6186 6186 3634 0 -1 1077944320 46145 0 0 0 11195 25 0 0 20 0 19 0 475076946 15991914496 92716 33554432000 4194304 4196468 140722594276432 140722594258976 140572140154615 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19140608 140722594280411 140722594280586 140722594280586 140722594283471 0
/proc/6188/statm: 3904276 92716 3514 1 0 3865376 0
[pid=6188/tid=6189] ppid=6186 vsize=15617104 memory=8112282956445269571 CPUtime=0.46 cores=0,2,4,6
/proc/6188/task/6189/stat : 6189 (java) S 6186 6186 3634 0 -1 1077944384 8970 0 0 0 43 3 0 0 20 0 19 0 475076946 15991914496 92716 33554432000 4194304 4196468 140722594276432 140572144395392 140572140164821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19140608 140722594280411 140722594280586 140722594280586 140722594283471 0
[pid=6188/tid=6190] ppid=6186 vsize=15617104 memory=368652 CPUtime=0.09 cores=0,2,4,6
/proc/6188/task/6190/stat : 6190 (java) S 6186 6186 3634 0 -1 1077944384 334 0 0 0 6 3 0 0 20 0 19 0 475076947 15991914496 92716 33554432000 4194304 4196468 140722594276432 140572068194960 140572140164821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19140608 140722594280411 140722594280586 140722594280586 140722594283471 0
[pid=6188/tid=6191] ppid=6186 vsize=15617104 memory=364548 CPUtime=0.1 cores=0,2,4,6
/proc/6188/task/6191/stat : 6191 (java) S 6186 6186 3634 0 -1 1077944384 563 0 0 0 7 3 0 0 20 0 19 0 475076947 15991914496 92716 33554432000 4194304 4196468 140722594276432 140572067142160 140572140164821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19140608 140722594280411 140722594280586 140722594280586 140722594283471 0
[pid=6188/tid=6192] ppid=6186 vsize=15617104 memory=1452 CPUtime=0.09 cores=0,2,4,6
/proc/6188/task/6192/stat : 6192 (java) S 6186 6186 3634 0 -1 1077944384 997 0 0 0 6 3 0 0 20 0 19 0 475076947 15991914496 92716 33554432000 4194304 4196468 140722594276432 140572066089360 140572140164821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19140608 140722594280411 140722594280586 140722594280586 140722594283471 0
[pid=6188/tid=6193] ppid=6186 vsize=15617104 memory=368652 CPUtime=0.09 cores=0,2,4,6
/proc/6188/task/6193/stat : 6193 (java) S 6186 6186 3634 0 -1 1077944384 607 0 0 0 6 3 0 0 20 0 19 0 475076947 15991914496 92716 33554432000 4194304 4196468 140722594276432 140571729848592 140572140164821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19140608 140722594280411 140722594280586 140722594280586 140722594283471 0
[pid=6188/tid=6194] ppid=6186 vsize=15617104 memory=364556 CPUtime=0.09 cores=0,2,4,6
/proc/6188/task/6194/stat : 6194 (java) S 6186 6186 3634 0 -1 1077944384 1129 0 0 0 7 2 0 0 20 0 19 0 475076948 15991914496 92716 33554432000 4194304 4196468 140722594276432 140571282766704 140572140165762 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19140608 140722594280411 140722594280586 140722594280586 140722594283471 0
[pid=6188/tid=6195] ppid=6186 vsize=15617104 memory=2592 CPUtime=0 cores=0,2,4,6
/proc/6188/task/6195/stat : 6195 (java) S 6186 6186 3634 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 475076949 15991914496 92716 33554432000 4194304 4196468 140722594276432 140571281712736 140572140164821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19140608 140722594280411 140722594280586 140722594280586 140722594283471 0
[pid=6188/tid=6196] ppid=6186 vsize=15617104 memory=2592 CPUtime=0 cores=0,2,4,6
/proc/6188/task/6196/stat : 6196 (java) S 6186 6186 3634 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 475076949 15991914496 92716 33554432000 4194304 4196468 140722594276432 140571280659840 140572140164821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19140608 140722594280411 140722594280586 140722594280586 140722594283471 0
[pid=6188/tid=6197] ppid=6186 vsize=15617104 memory=2828 CPUtime=0 cores=0,2,4,6
/proc/6188/task/6197/stat : 6197 (java) S 6186 6186 3634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475076951 15991914496 92716 33554432000 4194304 4196468 140722594276432 140571279608144 140572140173211 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19140608 140722594280411 140722594280586 140722594280586 140722594283471 0
[pid=6188/tid=6198] ppid=6186 vsize=15617104 memory=8112282956445269571 CPUtime=1.55 cores=0,2,4,6
/proc/6188/task/6198/stat : 6198 (java) S 6186 6186 3634 0 -1 1077944384 10897 0 0 0 154 1 0 0 20 0 19 0 475076951 15991914496 92716 33554432000 4194304 4196468 140722594276432 140571278555504 140572140165762 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19140608 140722594280411 140722594280586 140722594280586 140722594283471 0
[pid=6188/tid=6199] ppid=6186 vsize=15617104 memory=2892 CPUtime=1.51 cores=0,2,4,6
/proc/6188/task/6199/stat : 6199 (java) S 6186 6186 3634 0 -1 1077944384 6852 0 0 0 151 0 0 0 20 0 19 0 475076951 15991914496 92716 33554432000 4194304 4196468 140722594276432 140571277502704 140572140165762 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 13 0 0 6293624 6294260 19140608 140722594280411 140722594280586 140722594280586 140722594283471 0
[pid=6188/tid=6200] ppid=6186 vsize=15617104 memory=1452 CPUtime=0.49 cores=0,2,4,6
/proc/6188/task/6200/stat : 6200 (java) S 6186 6186 3634 0 -1 1077944384 4558 0 0 0 48 1 0 0 20 0 19 0 475076951 15991914496 92716 33554432000 4194304 4196468 140722594276432 140571276449904 140572140165762 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 12 0 0 6293624 6294260 19140608 140722594280411 140722594280586 140722594280586 140722594283471 0
[pid=6188/tid=6201] ppid=6186 vsize=15617104 memory=362208 CPUtime=0 cores=0,2,4,6
/proc/6188/task/6201/stat : 6201 (java) S 6186 6186 3634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475076951 15991914496 92716 33554432000 4194304 4196468 140722594276432 140571275397344 140572140164821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19140608 140722594280411 140722594280586 140722594280586 140722594283471 0
[pid=6188/tid=6202] ppid=6186 vsize=15617104 memory=1412 CPUtime=0.01 cores=0,2,4,6
/proc/6188/task/6202/stat : 6202 (java) S 6186 6186 3634 0 -1 1077944384 866 0 0 0 0 1 0 0 20 0 19 0 475076952 15991914496 92716 33554432000 4194304 4196468 140722594276432 140571274345648 140572140165762 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 9 0 0 6293624 6294260 19140608 140722594280411 140722594280586 140722594280586 140722594283471 0
[pid=6188/tid=6538] ppid=6186 vsize=15617104 memory=4126316290023845779 CPUtime=26.29 cores=0,2,4,6
/proc/6188/task/6538/stat : 6538 (java) R 6186 6186 3634 0 -1 4202560 433 0 0 0 2629 0 0 0 20 0 19 0 475077122 15991914496 92716 33554432000 4194304 4196468 140722594276432 140571265126776 140571749906028 0 4 0 16800975 0 0 0 -1 6 0 0 10 0 0 6293624 6294260 19140608 140722594280411 140722594280586 140722594280586 140722594283471 0
[pid=6188/tid=6539] ppid=6186 vsize=15617104 memory=5933608419044451943 CPUtime=26.24 cores=0,2,4,6
/proc/6188/task/6539/stat : 6539 (java) R 6186 6186 3634 0 -1 4202560 793 0 0 0 2624 0 0 0 20 0 19 0 475077122 15991914496 92716 33554432000 4194304 4196468 140722594276432 140571191529456 140571751094132 0 4 0 16800975 0 0 0 -1 4 0 0 10 0 0 6293624 6294260 19140608 140722594280411 140722594280586 140722594280586 140722594283471 0
[pid=6188/tid=6540] ppid=6186 vsize=15617104 memory=4639641545326219345 CPUtime=26.2 cores=0,2,4,6
/proc/6188/task/6540/stat : 6540 (java) R 6186 6186 3634 0 -1 4202560 1208 0 0 0 2620 0 0 0 20 0 19 0 475077122 15991914496 92716 33554432000 4194304 4196468 140722594276432 140571261969344 140571749907023 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19140608 140722594280411 140722594280586 140722594280586 140722594283471 0
[pid=6188/tid=6541] ppid=6186 vsize=15617104 memory=6153395287003517520 CPUtime=26.23 cores=0,2,4,6
/proc/6188/task/6541/stat : 6541 (java) R 6186 6186 3634 0 -1 4202560 670 0 0 0 2623 0 0 0 20 0 19 0 475077122 15991914496 92716 33554432000 4194304 4196468 140722594276432 140571263024328 140571750914485 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19140608 140722594280411 140722594280586 140722594280586 140722594283471 0
Current children cumulated CPU time: 112.2 s
Current children cumulated vsize: 15730232 KiB
Current children cumulated memory: 372316 KiB
[startup+29.2013 s]
/proc/loadavg: 8.01 5.40 3.00 9/238 6631
/proc/meminfo: memFree=9015012/32770624 swapFree=66935844/67108860
[pid=6186] ppid=6183 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/6186/stat : 6186 (xcsp3-exec) S 6183 6186 3634 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475076945 115843072 363 33554432000 4194304 5098028 140733616570176 140733616568280 140001690997372 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 39718912 140733616575319 140733616575577 140733616575577 140733616578502 0
/proc/6186/statm: 28282 363 304 221 0 87 0
[pid=6188] ppid=6186 vsize=15617104 memory=370908 CPUtime=113.76 cores=0,2,4,6
/proc/6188/stat : 6188 (java) S 6186 6186 3634 0 -1 1077944320 46750 0 0 0 11351 25 0 0 20 0 19 0 475076946 15991914496 92727 33554432000 4194304 4196468 140722594276432 140722594258976 140572140154615 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19140608 140722594280411 140722594280586 140722594280586 140722594283471 0
/proc/6188/statm: 3904276 92727 3514 1 0 3865376 0
[pid=6188/tid=6189] ppid=6186 vsize=15617104 memory=6944656575208382560 CPUtime=0.46 cores=0,2,4,6
/proc/6188/task/6189/stat : 6189 (java) S 6186 6186 3634 0 -1 1077944384 8970 0 0 0 43 3 0 0 20 0 19 0 475076946 15991914496 92727 33554432000 4194304 4196468 140722594276432 140572144395392 140572140164821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19140608 140722594280411 140722594280586 140722594280586 140722594283471 0
[pid=6188/tid=6190] ppid=6186 vsize=15617104 memory=6944656592455097440 CPUtime=0.11 cores=0,2,4,6
/proc/6188/task/6190/stat : 6190 (java) S 6186 6186 3634 0 -1 1077944384 348 0 0 0 7 4 0 0 20 0 19 0 475076947 15991914496 92727 33554432000 4194304 4196468 140722594276432 140572068194960 140572140164821 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19140608 140722594280411 140722594280586 140722594280586 140722594283471 0
[pid=6188/tid=6191] ppid=6186 vsize=15617104 memory=140272156205761 CPUtime=0.1 cores=0,2,4,6
/proc/6188/task/6191/stat : 6191 (java) S 6186 6186 3634 0 -1 1077944384 576 0 0 0 7 3 0 0 20 0 19 0 475076947 15991914496 92727 33554432000 4194304 4196468 140722594276432 140572067142160 140572140164821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19140608 140722594280411 140722594280586 140722594280586 140722594283471 0
[pid=6188/tid=6192] ppid=6186 vsize=15617104 memory=301741373374332954 CPUtime=0.09 cores=0,2,4,6
/proc/6188/task/6192/stat : 6192 (java) S 6186 6186 3634 0 -1 1077944384 1022 0 0 0 6 3 0 0 20 0 19 0 475076947 15991914496 92727 33554432000 4194304 4196468 140722594276432 140572066089360 140572140164821 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19140608 140722594280411 140722594280586 140722594280586 140722594283471 0
[pid=6188/tid=6193] ppid=6186 vsize=15617104 memory=288230583166042426 CPUtime=0.1 cores=0,2,4,6
/proc/6188/task/6193/stat : 6193 (java) S 6186 6186 3634 0 -1 1077944384 724 0 0 0 7 3 0 0 20 0 19 0 475076947 15991914496 92727 33554432000 4194304 4196468 140722594276432 140571729848592 140572140164821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19140608 140722594280411 140722594280586 140722594280586 140722594283471 0
[pid=6188/tid=6194] ppid=6186 vsize=15617104 memory=13848568834296438 CPUtime=0.09 cores=0,2,4,6
/proc/6188/task/6194/stat : 6194 (java) S 6186 6186 3634 0 -1 1077944384 1249 0 0 0 7 2 0 0 20 0 19 0 475076948 15991914496 92727 33554432000 4194304 4196468 140722594276432 140571282766704 140572140165762 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19140608 140722594280411 140722594280586 140722594280586 140722594283471 0
[pid=6188/tid=6195] ppid=6186 vsize=15617104 memory=1760 CPUtime=0 cores=0,2,4,6
/proc/6188/task/6195/stat : 6195 (java) S 6186 6186 3634 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 475076949 15991914496 92727 33554432000 4194304 4196468 140722594276432 140571281712736 140572140164821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19140608 140722594280411 140722594280586 140722594280586 140722594283471 0
[pid=6188/tid=6196] ppid=6186 vsize=15617104 memory=1660 CPUtime=0 cores=0,2,4,6
/proc/6188/task/6196/stat : 6196 (java) S 6186 6186 3634 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 475076949 15991914496 92727 33554432000 4194304 4196468 140722594276432 140571280659840 140572140164821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19140608 140722594280411 140722594280586 140722594280586 140722594283471 0
[pid=6188/tid=6197] ppid=6186 vsize=15617104 memory=111632 CPUtime=0 cores=0,2,4,6
/proc/6188/task/6197/stat : 6197 (java) S 6186 6186 3634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475076951 15991914496 92727 33554432000 4194304 4196468 140722594276432 140571279608144 140572140173211 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19140608 140722594280411 140722594280586 140722594280586 140722594283471 0
[pid=6188/tid=6198] ppid=6186 vsize=15617104 memory=796 CPUtime=1.55 cores=0,2,4,6
/proc/6188/task/6198/stat : 6198 (java) S 6186 6186 3634 0 -1 1077944384 10897 0 0 0 154 1 0 0 20 0 19 0 475076951 15991914496 92727 33554432000 4194304 4196468 140722594276432 140571278555504 140572140165762 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19140608 140722594280411 140722594280586 140722594280586 140722594283471 0
[pid=6188/tid=6199] ppid=6186 vsize=15617104 memory=4100 CPUtime=1.51 cores=0,2,4,6
/proc/6188/task/6199/stat : 6199 (java) S 6186 6186 3634 0 -1 1077944384 6852 0 0 0 151 0 0 0 20 0 19 0 475076951 15991914496 92727 33554432000 4194304 4196468 140722594276432 140571277502704 140572140165762 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 13 0 0 6293624 6294260 19140608 140722594280411 140722594280586 140722594280586 140722594283471 0
[pid=6188/tid=6200] ppid=6186 vsize=15617104 memory=1808 CPUtime=0.49 cores=0,2,4,6
/proc/6188/task/6200/stat : 6200 (java) S 6186 6186 3634 0 -1 1077944384 4558 0 0 0 48 1 0 0 20 0 19 0 475076951 15991914496 92727 33554432000 4194304 4196468 140722594276432 140571276449904 140572140165762 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 12 0 0 6293624 6294260 19140608 140722594280411 140722594280586 140722594280586 140722594283471 0
[pid=6188/tid=6201] ppid=6186 vsize=15617104 memory=920 CPUtime=0 cores=0,2,4,6
/proc/6188/task/6201/stat : 6201 (java) S 6186 6186 3634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475076951 15991914496 92727 33554432000 4194304 4196468 140722594276432 140571275397344 140572140164821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19140608 140722594280411 140722594280586 140722594280586 140722594283471 0
[pid=6188/tid=6202] ppid=6186 vsize=15617104 memory=3804 CPUtime=0.01 cores=0,2,4,6
/proc/6188/task/6202/stat : 6202 (java) S 6186 6186 3634 0 -1 1077944384 869 0 0 0 0 1 0 0 20 0 19 0 475076952 15991914496 92727 33554432000 4194304 4196468 140722594276432 140571274345648 140572140165762 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 9 0 0 6293624 6294260 19140608 140722594280411 140722594280586 140722594280586 140722594283471 0
[pid=6188/tid=6538] ppid=6186 vsize=15617104 memory=2592 CPUtime=26.66 cores=0,2,4,6
/proc/6188/task/6538/stat : 6538 (java) R 6186 6186 3634 0 -1 4202560 500 0 0 0 2666 0 0 0 20 0 19 0 475077122 15991914496 92727 33554432000 4194304 4196468 140722594276432 140571265126776 140571747374420 0 4 0 16800975 0 0 0 -1 6 0 0 10 0 0 6293624 6294260 19140608 140722594280411 140722594280586 140722594280586 140722594283471 0
[pid=6188/tid=6539] ppid=6186 vsize=15617104 memory=55780 CPUtime=26.64 cores=0,2,4,6
/proc/6188/task/6539/stat : 6539 (java) R 6186 6186 3634 0 -1 4202560 845 0 0 0 2664 0 0 0 20 0 19 0 475077122 15991914496 92727 33554432000 4194304 4196468 140722594276432 140571191526464 140571752183039 0 4 0 16800975 0 0 0 -1 2 0 0 10 0 0 6293624 6294260 19140608 140722594280411 140722594280586 140722594280586 140722594283471 0
[pid=6188/tid=6540] ppid=6186 vsize=15617104 memory=2020 CPUtime=26.6 cores=0,2,4,6
/proc/6188/task/6540/stat : 6540 (java) R 6186 6186 3634 0 -1 4202560 1326 0 0 0 2660 0 0 0 20 0 19 0 475077122 15991914496 92727 33554432000 4194304 4196468 140722594276432 140571261969456 140571749634158 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19140608 140722594280411 140722594280586 140722594280586 140722594283471 0
[pid=6188/tid=6541] ppid=6186 vsize=15617104 memory=1452 CPUtime=26.62 cores=0,2,4,6
/proc/6188/task/6541/stat : 6541 (java) R 6186 6186 3634 0 -1 4202560 746 0 0 0 2662 0 0 0 20 0 19 0 475077122 15991914496 92727 33554432000 4194304 4196468 140722594276432 140571263024128 140571750913817 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19140608 140722594280411 140722594280586 140722594280586 140722594283471 0
Current children cumulated CPU time: 113.76 s
Current children cumulated vsize: 15730232 KiB
Current children cumulated memory: 372360 KiB
[startup+29.3008 s]
/proc/loadavg: 8.01 5.40 3.00 9/238 6631
/proc/meminfo: memFree=9015012/32770624 swapFree=66935844/67108860
[pid=6186] ppid=6183 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/6186/stat : 6186 (xcsp3-exec) S 6183 6186 3634 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475076945 115843072 363 33554432000 4194304 5098028 140733616570176 140733616568280 140001690997372 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 39718912 140733616575319 140733616575577 140733616575577 140733616578502 0
/proc/6186/statm: 28282 363 304 221 0 87 0
[pid=6188] ppid=6186 vsize=15617104 memory=370908 CPUtime=114.15 cores=0,2,4,6
/proc/6188/stat : 6188 (java) S 6186 6186 3634 0 -1 1077944320 46774 0 0 0 11390 25 0 0 20 0 19 0 475076946 15991914496 92727 33554432000 4194304 4196468 140722594276432 140722594258976 140572140154615 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19140608 140722594280411 140722594280586 140722594280586 140722594283471 0
/proc/6188/statm: 3904276 92727 3514 1 0 3865376 0
[pid=6188/tid=6189] ppid=6186 vsize=15617104 memory=370864 CPUtime=0.46 cores=0,2,4,6
/proc/6188/task/6189/stat : 6189 (java) S 6186 6186 3634 0 -1 1077944384 8970 0 0 0 43 3 0 0 20 0 19 0 475076946 15991914496 92727 33554432000 4194304 4196468 140722594276432 140572144395392 140572140164821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19140608 140722594280411 140722594280586 140722594280586 140722594283471 0
[pid=6188/tid=6190] ppid=6186 vsize=15617104 memory=1452 CPUtime=0.11 cores=0,2,4,6
/proc/6188/task/6190/stat : 6190 (java) S 6186 6186 3634 0 -1 1077944384 349 0 0 0 7 4 0 0 20 0 19 0 475076947 15991914496 92727 33554432000 4194304 4196468 140722594276432 140572068194960 140572140164821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19140608 140722594280411 140722594280586 140722594280586 140722594283471 0
[pid=6188/tid=6191] ppid=6186 vsize=15617104 memory=370864 CPUtime=0.1 cores=0,2,4,6
/proc/6188/task/6191/stat : 6191 (java) S 6186 6186 3634 0 -1 1077944384 578 0 0 0 7 3 0 0 20 0 19 0 475076947 15991914496 92727 33554432000 4194304 4196468 140722594276432 140572067142160 140572140164821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19140608 140722594280411 140722594280586 140722594280586 140722594283471 0
[pid=6188/tid=6192] ppid=6186 vsize=15617104 memory=1452 CPUtime=0.09 cores=0,2,4,6
/proc/6188/task/6192/stat : 6192 (java) S 6186 6186 3634 0 -1 1077944384 1022 0 0 0 6 3 0 0 20 0 19 0 475076947 15991914496 92727 33554432000 4194304 4196468 140722594276432 140572066089360 140572140164821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19140608 140722594280411 140722594280586 140722594280586 140722594283471 0
[pid=6188/tid=6193] ppid=6186 vsize=15617104 memory=370864 CPUtime=0.1 cores=0,2,4,6
/proc/6188/task/6193/stat : 6193 (java) S 6186 6186 3634 0 -1 1077944384 725 0 0 0 7 3 0 0 20 0 19 0 475076947 15991914496 92727 33554432000 4194304 4196468 140722594276432 140571729848592 140572140164821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19140608 140722594280411 140722594280586 140722594280586 140722594283471 0
[pid=6188/tid=6194] ppid=6186 vsize=15617104 memory=364556 CPUtime=0.09 cores=0,2,4,6
/proc/6188/task/6194/stat : 6194 (java) S 6186 6186 3634 0 -1 1077944384 1250 0 0 0 7 2 0 0 20 0 19 0 475076948 15991914496 92727 33554432000 4194304 4196468 140722594276432 140571282766704 140572140165762 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19140608 140722594280411 140722594280586 140722594280586 140722594283471 0
[pid=6188/tid=6195] ppid=6186 vsize=15617104 memory=15663745731716 CPUtime=0 cores=0,2,4,6
/proc/6188/task/6195/stat : 6195 (java) S 6186 6186 3634 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 475076949 15991914496 92727 33554432000 4194304 4196468 140722594276432 140571281712736 140572140164821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19140608 140722594280411 140722594280586 140722594280586 140722594283471 0
[pid=6188/tid=6196] ppid=6186 vsize=15617104 memory=7380106142448642923 CPUtime=0 cores=0,2,4,6
/proc/6188/task/6196/stat : 6196 (java) S 6186 6186 3634 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 475076949 15991914496 92727 33554432000 4194304 4196468 140722594276432 140571280659840 140572140164821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19140608 140722594280411 140722594280586 140722594280586 140722594283471 0
[pid=6188/tid=6197] ppid=6186 vsize=15617104 memory=3592 CPUtime=0 cores=0,2,4,6
/proc/6188/task/6197/stat : 6197 (java) S 6186 6186 3634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475076951 15991914496 92727 33554432000 4194304 4196468 140722594276432 140571279608144 140572140173211 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19140608 140722594280411 140722594280586 140722594280586 140722594283471 0
[pid=6188/tid=6198] ppid=6186 vsize=15617104 memory=1124 CPUtime=1.55 cores=0,2,4,6
/proc/6188/task/6198/stat : 6198 (java) S 6186 6186 3634 0 -1 1077944384 10897 0 0 0 154 1 0 0 20 0 19 0 475076951 15991914496 92727 33554432000 4194304 4196468 140722594276432 140571278555504 140572140165762 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19140608 140722594280411 140722594280586 140722594280586 140722594283471 0
[pid=6188/tid=6199] ppid=6186 vsize=15617104 memory=1452 CPUtime=1.51 cores=0,2,4,6
/proc/6188/task/6199/stat : 6199 (java) S 6186 6186 3634 0 -1 1077944384 6852 0 0 0 151 0 0 0 20 0 19 0 475076951 15991914496 92727 33554432000 4194304 4196468 140722594276432 140571277502704 140572140165762 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 13 0 0 6293624 6294260 19140608 140722594280411 140722594280586 140722594280586 140722594283471 0
[pid=6188/tid=6200] ppid=6186 vsize=15617104 memory=350220 CPUtime=0.49 cores=0,2,4,6
/proc/6188/task/6200/stat : 6200 (java) S 6186 6186 3634 0 -1 1077944384 4558 0 0 0 48 1 0 0 20 0 19 0 475076951 15991914496 92727 33554432000 4194304 4196468 140722594276432 140571276449904 140572140165762 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 12 0 0 6293624 6294260 19140608 140722594280411 140722594280586 140722594280586 140722594283471 0
[pid=6188/tid=6201] ppid=6186 vsize=15617104 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/6188/task/6201/stat : 6201 (java) S 6186 6186 3634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475076951 15991914496 92727 33554432000 4194304 4196468 140722594276432 140571275397344 140572140164821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19140608 140722594280411 140722594280586 140722594280586 140722594283471 0
[pid=6188/tid=6202] ppid=6186 vsize=15617104 memory=362208 CPUtime=0.01 cores=0,2,4,6
/proc/6188/task/6202/stat : 6202 (java) S 6186 6186 3634 0 -1 1077944384 869 0 0 0 0 1 0 0 20 0 19 0 475076952 15991914496 92727 33554432000 4194304 4196468 140722594276432 140571274345648 140572140165762 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 9 0 0 6293624 6294260 19140608 140722594280411 140722594280586 140722594280586 140722594283471 0
[pid=6188/tid=6538] ppid=6186 vsize=15617104 memory=13848568834296438 CPUtime=26.76 cores=0,2,4,6
/proc/6188/task/6538/stat : 6538 (java) R 6186 6186 3634 0 -1 1077944384 505 0 0 0 2676 0 0 0 20 0 19 0 475077122 15991914496 92727 33554432000 4194304 4196468 140722594276432 140571265129104 140572140164821 0 4 0 16800975 0 0 0 -1 2 0 0 10 0 0 6293624 6294260 19140608 140722594280411 140722594280586 140722594280586 140722594283471 0
[pid=6188/tid=6539] ppid=6186 vsize=15617104 memory=1452 CPUtime=26.74 cores=0,2,4,6
/proc/6188/task/6539/stat : 6539 (java) R 6186 6186 3634 0 -1 4202560 846 0 0 0 2674 0 0 0 20 0 19 0 475077122 15991914496 92727 33554432000 4194304 4196468 140722594276432 140571191526576 140571751094510 0 4 0 16800975 0 0 0 -1 2 0 0 10 0 0 6293624 6294260 19140608 140722594280411 140722594280586 140722594280586 140722594283471 0
[pid=6188/tid=6540] ppid=6186 vsize=15617104 memory=362208 CPUtime=26.7 cores=0,2,4,6
/proc/6188/task/6540/stat : 6540 (java) R 6186 6186 3634 0 -1 4202560 1333 0 0 0 2670 0 0 0 20 0 19 0 475077122 15991914496 92727 33554432000 4194304 4196468 140722594276432 140571261969456 140571749907023 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19140608 140722594280411 140722594280586 140722594280586 140722594283471 0
[pid=6188/tid=6541] ppid=6186 vsize=15617104 memory=55780 CPUtime=26.72 cores=0,2,4,6
/proc/6188/task/6541/stat : 6541 (java) R 6186 6186 3634 0 -1 4202560 752 0 0 0 2672 0 0 0 20 0 19 0 475077122 15991914496 92727 33554432000 4194304 4196468 140722594276432 140571263021232 140571750915441 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19140608 140722594280411 140722594280586 140722594280586 140722594283471 0
Current children cumulated CPU time: 114.15 s
Current children cumulated vsize: 15730232 KiB
Current children cumulated memory: 372360 KiB
Child status: 0
Real time (s): 29.3367
CPU time (s): 114.281
CPU user time (s): 114.013
CPU system time (s): 0.267941
CPU usage (%): 389.548
Max. virtual memory (cumulated for all children) (KiB): 15731964
Max. memory (cumulated for all children) (KiB): 372360
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 114.013
system time used= 0.267941
maximum resident set size= 371044
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 48228
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= 7859
involuntary context switches= 2443
# summary of solver processes directly reported to runsolver:
# pid: 6186
# total CPU time (s): 114.281
# total CPU user time (s): 114.013
# total CPU system time (s): 0.267941
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.226074 second user time and 0.348844 second system time
The end