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 (5489 MiB free)
memory of node 1: 16384 MiB (3678 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4403394-1568990129/watcher-4403394-1568990129 -o /var/tmp/evaluation-result-4403394-1568990129/solver-4403394-1568990129 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node121-1568988421-6086 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 1912811265 HOME/instance-4403394-1568990129.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=8093, runsolver pid=8090
[startup+0.100123 s]*
/proc/loadavg: 8.16 8.25 7.11 8/234 8109
/proc/meminfo: memFree=9373028/32770624 swapFree=66988724/67108860
[pid=8093] ppid=8090 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/8093/stat : 8093 (xcsp3-exec) S 8090 8093 6055 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475275550 115843072 363 33554432000 4194304 5098028 140725009252880 140725009250984 140698703987324 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 7655424 140725009257302 140725009257561 140725009257561 140725009260486 0
/proc/8093/statm: 28282 363 304 221 0 87 0
[pid=8095] ppid=8093 vsize=15144776 memory=28680 CPUtime=0.13 cores=0,2,4,6
/proc/8095/stat : 8095 (java) S 8093 8093 6055 0 -1 1077944320 5627 0 0 0 12 1 0 0 20 0 15 0 475275550 15508250624 7170 33554432000 4194304 4196468 140734626919104 140734626901648 140172352831223 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 15560704 140734626923483 140734626923658 140734626923658 140734626926543 0
/proc/8095/statm: 3786194 7170 3146 1 0 3748377 0
[pid=8095/tid=8096] ppid=8093 vsize=15144776 memory=-8895323862916359523 CPUtime=0.08 cores=0,2,4,6
/proc/8095/task/8096/stat : 8096 (java) R 8093 8093 6055 0 -1 4202560 3548 0 0 0 8 0 0 0 20 0 15 0 475275550 15508250624 7236 33554432000 4194304 4196468 140734626919104 140172357061048 140172336911740 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15560704 140734626923483 140734626923658 140734626923658 140734626926543 0
[pid=8095/tid=8097] ppid=8093 vsize=15144776 memory=3472468818676536528 CPUtime=0 cores=0,2,4,6
/proc/8095/task/8097/stat : 8097 (java) S 8093 8093 6055 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475275551 15508250624 7236 33554432000 4194304 4196468 140734626919104 140172305451280 140172352841429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15560704 140734626923483 140734626923658 140734626923658 140734626926543 0
[pid=8095/tid=8098] ppid=8093 vsize=15144776 memory=140689781384832 CPUtime=0 cores=0,2,4,6
/proc/8095/task/8098/stat : 8098 (java) S 8093 8093 6055 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475275551 15508250624 7236 33554432000 4194304 4196468 140734626919104 140172304398736 140172352841429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15560704 140734626923483 140734626923658 140734626923658 140734626926543 0
[pid=8095/tid=8099] ppid=8093 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8095/task/8099/stat : 8099 (java) S 8093 8093 6055 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475275551 15508250624 7236 33554432000 4194304 4196468 140734626919104 140172303346192 140172352841429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15560704 140734626923483 140734626923658 140734626923658 140734626926543 0
[pid=8095/tid=8100] ppid=8093 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8095/task/8100/stat : 8100 (java) S 8093 8093 6055 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475275551 15508250624 7236 33554432000 4194304 4196468 140734626919104 140172302293648 140172352841429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15560704 140734626923483 140734626923658 140734626923658 140734626926543 0
[pid=8095/tid=8101] ppid=8093 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8095/task/8101/stat : 8101 (java) S 8093 8093 6055 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475275552 15508250624 7236 33554432000 4194304 4196468 140734626919104 140171821418992 140172352842370 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15560704 140734626923483 140734626923658 140734626923658 140734626926543 0
[pid=8095/tid=8102] ppid=8093 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8095/task/8102/stat : 8102 (java) S 8093 8093 6055 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475275553 15508250624 7236 33554432000 4194304 4196468 140734626919104 140171820365216 140172352841429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15560704 140734626923483 140734626923658 140734626923658 140734626926543 0
[pid=8095/tid=8103] ppid=8093 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8095/task/8103/stat : 8103 (java) S 8093 8093 6055 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475275553 15508250624 7236 33554432000 4194304 4196468 140734626919104 140171819312624 140172352841429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15560704 140734626923483 140734626923658 140734626923658 140734626926543 0
[pid=8095/tid=8104] ppid=8093 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8095/task/8104/stat : 8104 (java) S 8093 8093 6055 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475275555 15508250624 7236 33554432000 4194304 4196468 140734626919104 140171818261200 140172352849819 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15560704 140734626923483 140734626923658 140734626923658 140734626926543 0
[pid=8095/tid=8105] ppid=8093 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8095/task/8105/stat : 8105 (java) R 8093 8093 6055 0 -1 1077944384 421 0 0 0 0 0 0 0 20 0 15 0 475275555 15508250624 7236 33554432000 4194304 4196468 140734626919104 140171817207792 140172352842370 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15560704 140734626923483 140734626923658 140734626923658 140734626926543 0
[pid=8095/tid=8106] ppid=8093 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8095/task/8106/stat : 8106 (java) R 8093 8093 6055 0 -1 4202560 64 0 0 0 0 0 0 0 20 0 15 0 475275555 15508250624 7236 33554432000 4194304 4196468 140734626919104 140171816155544 140172352843158 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15560704 140734626923483 140734626923658 140734626923658 140734626926543 0
[pid=8095/tid=8107] ppid=8093 vsize=15144776 memory=140689781384832 CPUtime=0.02 cores=0,2,4,6
/proc/8095/task/8107/stat : 8107 (java) R 8093 8093 6055 0 -1 4202560 339 0 0 0 2 0 0 0 20 0 15 0 475275555 15508250624 7236 33554432000 4194304 4196468 140734626919104 140171815102704 140172332132183 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15560704 140734626923483 140734626923658 140734626923658 140734626926543 0
[pid=8095/tid=8108] ppid=8093 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8095/task/8108/stat : 8108 (java) S 8093 8093 6055 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475275556 15508250624 7236 33554432000 4194304 4196468 140734626919104 140171814050400 140172352841429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15560704 140734626923483 140734626923658 140734626923658 140734626926543 0
[pid=8095/tid=8109] ppid=8093 vsize=15144776 memory=140689781384832 CPUtime=0 cores=0,2,4,6
/proc/8095/task/8109/stat : 8109 (java) S 8093 8093 6055 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475275556 15508250624 7236 33554432000 4194304 4196468 140734626919104 140171812997936 140172352842370 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15560704 140734626923483 140734626923658 140734626923658 140734626926543 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30132 KiB
[startup+0.210807 s]*
/proc/loadavg: 8.16 8.25 7.11 7/234 8109
/proc/meminfo: memFree=9349624/32770624 swapFree=66988724/67108860
[pid=8093] ppid=8090 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/8093/stat : 8093 (xcsp3-exec) S 8090 8093 6055 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475275550 115843072 363 33554432000 4194304 5098028 140725009252880 140725009250984 140698703987324 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 7655424 140725009257302 140725009257561 140725009257561 140725009260486 0
/proc/8093/statm: 28282 363 304 221 0 87 0
[pid=8095] ppid=8093 vsize=15144776 memory=41076 CPUtime=0.34 cores=0,2,4,6
/proc/8095/stat : 8095 (java) S 8093 8093 6055 0 -1 1077944320 9491 0 0 0 31 3 0 0 20 0 15 0 475275550 15508250624 10269 33554432000 4194304 4196468 140734626919104 140734626901648 140172352831223 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 15560704 140734626923483 140734626923658 140734626923658 140734626926543 0
/proc/8095/statm: 3786194 10269 3306 1 0 3748377 0
[pid=8095/tid=8096] ppid=8093 vsize=15144776 memory=-8895323862916359523 CPUtime=0.2 cores=0,2,4,6
/proc/8095/task/8096/stat : 8096 (java) R 8093 8093 6055 0 -1 4202560 6583 0 0 0 18 2 0 0 20 0 15 0 475275550 15508250624 10269 33554432000 4194304 4196468 140734626919104 140172357062496 140172352843158 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15560704 140734626923483 140734626923658 140734626923658 140734626926543 0
[pid=8095/tid=8097] ppid=8093 vsize=15144776 memory=3472468818676536528 CPUtime=0 cores=0,2,4,6
/proc/8095/task/8097/stat : 8097 (java) S 8093 8093 6055 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475275551 15508250624 10269 33554432000 4194304 4196468 140734626919104 140172305451280 140172352841429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15560704 140734626923483 140734626923658 140734626923658 140734626926543 0
[pid=8095/tid=8098] ppid=8093 vsize=15144776 memory=140689781384832 CPUtime=0 cores=0,2,4,6
/proc/8095/task/8098/stat : 8098 (java) S 8093 8093 6055 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475275551 15508250624 10269 33554432000 4194304 4196468 140734626919104 140172304398736 140172352841429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15560704 140734626923483 140734626923658 140734626923658 140734626926543 0
[pid=8095/tid=8099] ppid=8093 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8095/task/8099/stat : 8099 (java) S 8093 8093 6055 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475275551 15508250624 10269 33554432000 4194304 4196468 140734626919104 140172303346192 140172352841429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15560704 140734626923483 140734626923658 140734626923658 140734626926543 0
[pid=8095/tid=8100] ppid=8093 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8095/task/8100/stat : 8100 (java) S 8093 8093 6055 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475275551 15508250624 10269 33554432000 4194304 4196468 140734626919104 140172302293648 140172352841429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15560704 140734626923483 140734626923658 140734626923658 140734626926543 0
[pid=8095/tid=8101] ppid=8093 vsize=15144776 memory=140689781384832 CPUtime=0 cores=0,2,4,6
/proc/8095/task/8101/stat : 8101 (java) S 8093 8093 6055 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475275552 15508250624 10269 33554432000 4194304 4196468 140734626919104 140171821418992 140172352842370 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15560704 140734626923483 140734626923658 140734626923658 140734626926543 0
[pid=8095/tid=8102] ppid=8093 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8095/task/8102/stat : 8102 (java) S 8093 8093 6055 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475275553 15508250624 10269 33554432000 4194304 4196468 140734626919104 140171820365216 140172352841429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15560704 140734626923483 140734626923658 140734626923658 140734626926543 0
[pid=8095/tid=8103] ppid=8093 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8095/task/8103/stat : 8103 (java) S 8093 8093 6055 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475275553 15508250624 10269 33554432000 4194304 4196468 140734626919104 140171819312624 140172352841429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15560704 140734626923483 140734626923658 140734626923658 140734626926543 0
[pid=8095/tid=8104] ppid=8093 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8095/task/8104/stat : 8104 (java) S 8093 8093 6055 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475275555 15508250624 10269 33554432000 4194304 4196468 140734626919104 140171818261200 140172352849819 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15560704 140734626923483 140734626923658 140734626923658 140734626926543 0
[pid=8095/tid=8105] ppid=8093 vsize=15144776 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/8095/task/8105/stat : 8105 (java) S 8093 8093 6055 0 -1 1077944384 737 0 0 0 3 0 0 0 20 0 15 0 475275555 15508250624 10269 33554432000 4194304 4196468 140734626919104 140171817207792 140172352842370 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15560704 140734626923483 140734626923658 140734626923658 140734626926543 0
[pid=8095/tid=8106] ppid=8093 vsize=15144776 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/8095/task/8106/stat : 8106 (java) S 8093 8093 6055 0 -1 1077944384 127 0 0 0 1 0 0 0 20 0 15 0 475275555 15508250624 10269 33554432000 4194304 4196468 140734626919104 140171816155248 140172352842370 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15560704 140734626923483 140734626923658 140734626923658 140734626926543 0
[pid=8095/tid=8107] ppid=8093 vsize=15144776 memory=140689781384832 CPUtime=0.08 cores=0,2,4,6
/proc/8095/task/8107/stat : 8107 (java) R 8093 8093 6055 0 -1 4202560 737 0 0 0 8 0 0 0 20 0 15 0 475275555 15508250624 10269 33554432000 4194304 4196468 140734626919104 140171815102512 140172352843158 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15560704 140734626923483 140734626923658 140734626923658 140734626926543 0
[pid=8095/tid=8108] ppid=8093 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8095/task/8108/stat : 8108 (java) S 8093 8093 6055 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475275556 15508250624 10269 33554432000 4194304 4196468 140734626919104 140171814050400 140172352841429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15560704 140734626923483 140734626923658 140734626923658 140734626926543 0
[pid=8095/tid=8109] ppid=8093 vsize=15144776 memory=140689781384832 CPUtime=0 cores=0,2,4,6
/proc/8095/task/8109/stat : 8109 (java) S 8093 8093 6055 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475275556 15508250624 10269 33554432000 4194304 4196468 140734626919104 140171812997936 140172352842370 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15560704 140734626923483 140734626923658 140734626923658 140734626926543 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42528 KiB
[startup+0.310572 s]*
/proc/loadavg: 8.16 8.25 7.11 6/234 8109
/proc/meminfo: memFree=9345836/32770624 swapFree=66988724/67108860
[pid=8093] ppid=8090 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/8093/stat : 8093 (xcsp3-exec) S 8090 8093 6055 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475275550 115843072 363 33554432000 4194304 5098028 140725009252880 140725009250984 140698703987324 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 7655424 140725009257302 140725009257561 140725009257561 140725009260486 0
/proc/8093/statm: 28282 363 304 221 0 87 0
[pid=8095] ppid=8093 vsize=15149032 memory=49924 CPUtime=0.53 cores=0,2,4,6
/proc/8095/stat : 8095 (java) S 8093 8093 6055 0 -1 1077944320 10783 0 0 0 49 4 0 0 20 0 15 0 475275550 15512608768 12481 33554432000 4194304 4196468 140734626919104 140734626901648 140172352831223 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 15560704 140734626923483 140734626923658 140734626923658 140734626926543 0
/proc/8095/statm: 3787258 12481 3373 1 0 3748377 0
[pid=8095/tid=8096] ppid=8093 vsize=15149032 memory=-8094235084319000145 CPUtime=0.29 cores=0,2,4,6
/proc/8095/task/8096/stat : 8096 (java) R 8093 8093 6055 0 -1 4202560 7717 0 0 0 27 2 0 0 20 0 15 0 475275550 15512608768 12481 33554432000 4194304 4196468 140734626919104 140172357062336 140172352853149 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15560704 140734626923483 140734626923658 140734626923658 140734626926543 0
[pid=8095/tid=8097] ppid=8093 vsize=15149032 memory=3472468818676536528 CPUtime=0 cores=0,2,4,6
/proc/8095/task/8097/stat : 8097 (java) S 8093 8093 6055 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475275551 15512608768 12481 33554432000 4194304 4196468 140734626919104 140172305451280 140172352841429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15560704 140734626923483 140734626923658 140734626923658 140734626926543 0
[pid=8095/tid=8098] ppid=8093 vsize=15149032 memory=281379421231488 CPUtime=0 cores=0,2,4,6
/proc/8095/task/8098/stat : 8098 (java) S 8093 8093 6055 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475275551 15512608768 12481 33554432000 4194304 4196468 140734626919104 140172304398736 140172352841429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15560704 140734626923483 140734626923658 140734626923658 140734626926543 0
[pid=8095/tid=8099] ppid=8093 vsize=15149032 memory=281379279725600 CPUtime=0 cores=0,2,4,6
/proc/8095/task/8099/stat : 8099 (java) S 8093 8093 6055 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475275551 15512608768 12481 33554432000 4194304 4196468 140734626919104 140172303346192 140172352841429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15560704 140734626923483 140734626923658 140734626923658 140734626926543 0
[pid=8095/tid=8100] ppid=8093 vsize=15149032 memory=140689639846671 CPUtime=0 cores=0,2,4,6
/proc/8095/task/8100/stat : 8100 (java) S 8093 8093 6055 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475275551 15512608768 12481 33554432000 4194304 4196468 140734626919104 140172302293648 140172352841429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15560704 140734626923483 140734626923658 140734626923658 140734626926543 0
[pid=8095/tid=8101] ppid=8093 vsize=15149032 memory=281379421238400 CPUtime=0 cores=0,2,4,6
/proc/8095/task/8101/stat : 8101 (java) S 8093 8093 6055 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475275552 15512608768 12481 33554432000 4194304 4196468 140734626919104 140171821418992 140172352842370 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15560704 140734626923483 140734626923658 140734626923658 140734626926543 0
[pid=8095/tid=8102] ppid=8093 vsize=15149032 memory=140689639851279 CPUtime=0 cores=0,2,4,6
/proc/8095/task/8102/stat : 8102 (java) S 8093 8093 6055 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475275553 15512608768 12481 33554432000 4194304 4196468 140734626919104 140171820365216 140172352841429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15560704 140734626923483 140734626923658 140734626923658 140734626926543 0
[pid=8095/tid=8103] ppid=8093 vsize=15149032 memory=140689639859671 CPUtime=0 cores=0,2,4,6
/proc/8095/task/8103/stat : 8103 (java) S 8093 8093 6055 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475275553 15512608768 12481 33554432000 4194304 4196468 140734626919104 140171819312624 140172352841429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15560704 140734626923483 140734626923658 140734626923658 140734626926543 0
[pid=8095/tid=8104] ppid=8093 vsize=15149032 memory=140689639863229 CPUtime=0 cores=0,2,4,6
/proc/8095/task/8104/stat : 8104 (java) S 8093 8093 6055 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475275555 15512608768 12481 33554432000 4194304 4196468 140734626919104 140171818261200 140172352849819 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15560704 140734626923483 140734626923658 140734626923658 140734626926543 0
[pid=8095/tid=8105] ppid=8093 vsize=15149032 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/8095/task/8105/stat : 8105 (java) R 8093 8093 6055 0 -1 4202560 830 0 0 0 5 0 0 0 20 0 15 0 475275555 15512608768 12481 33554432000 4194304 4196468 140734626919104 140171817207888 140172334355574 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15560704 140734626923483 140734626923658 140734626923658 140734626926543 0
[pid=8095/tid=8106] ppid=8093 vsize=15149032 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/8095/task/8106/stat : 8106 (java) R 8093 8093 6055 0 -1 1077944384 133 0 0 0 3 0 0 0 20 0 15 0 475275555 15512608768 12481 33554432000 4194304 4196468 140734626919104 140171816155248 140172352842370 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15560704 140734626923483 140734626923658 140734626923658 140734626926543 0
[pid=8095/tid=8107] ppid=8093 vsize=15149032 memory=140689781384832 CPUtime=0.13 cores=0,2,4,6
/proc/8095/task/8107/stat : 8107 (java) S 8093 8093 6055 0 -1 1077944384 800 0 0 0 13 0 0 0 20 0 15 0 475275555 15512608768 12481 33554432000 4194304 4196468 140734626919104 140171815102704 140172352842370 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15560704 140734626923483 140734626923658 140734626923658 140734626926543 0
[pid=8095/tid=8108] ppid=8093 vsize=15149032 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8095/task/8108/stat : 8108 (java) S 8093 8093 6055 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475275556 15512608768 12481 33554432000 4194304 4196468 140734626919104 140171814050400 140172352841429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15560704 140734626923483 140734626923658 140734626923658 140734626926543 0
[pid=8095/tid=8109] ppid=8093 vsize=15149032 memory=140689781386284 CPUtime=0 cores=0,2,4,6
/proc/8095/task/8109/stat : 8109 (java) S 8093 8093 6055 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475275556 15512608768 12481 33554432000 4194304 4196468 140734626919104 140171812997936 140172352842370 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15560704 140734626923483 140734626923658 140734626923658 140734626926543 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51376 KiB
[startup+0.701251 s]
/proc/loadavg: 8.16 8.25 7.11 5/234 8109
/proc/meminfo: memFree=9328676/32770624 swapFree=66988724/67108860
[pid=8093] ppid=8090 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/8093/stat : 8093 (xcsp3-exec) S 8090 8093 6055 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475275550 115843072 363 33554432000 4194304 5098028 140725009252880 140725009250984 140698703987324 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 7655424 140725009257302 140725009257561 140725009257561 140725009260486 0
/proc/8093/statm: 28282 363 304 221 0 87 0
[pid=8095] ppid=8093 vsize=15151156 memory=132224 CPUtime=1.74 cores=0,2,4,6
/proc/8095/stat : 8095 (java) S 8093 8093 6055 0 -1 1077944320 14478 0 0 0 168 6 0 0 20 0 15 0 475275550 15514783744 33056 33554432000 4194304 4196468 140734626919104 140734626901648 140172352831223 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 15560704 140734626923483 140734626923658 140734626923658 140734626926543 0
/proc/8095/statm: 3787789 33056 3447 1 0 3748889 0
[pid=8095/tid=8096] ppid=8093 vsize=15151156 memory=7882800638288482663 CPUtime=0.68 cores=0,2,4,6
/proc/8095/task/8096/stat : 8096 (java) R 8093 8093 6055 0 -1 4202560 8311 0 0 0 64 4 0 0 20 0 15 0 475275550 15514783744 33056 33554432000 4194304 4196468 140734626919104 140172357065416 140172331888914 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15560704 140734626923483 140734626923658 140734626923658 140734626926543 0
[pid=8095/tid=8097] ppid=8093 vsize=15151156 memory=7740951466249179473 CPUtime=0 cores=0,2,4,6
/proc/8095/task/8097/stat : 8097 (java) S 8093 8093 6055 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475275551 15514783744 33056 33554432000 4194304 4196468 140734626919104 140172305451280 140172352841429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15560704 140734626923483 140734626923658 140734626923658 140734626926543 0
[pid=8095/tid=8098] ppid=8093 vsize=15151156 memory=7453282923495516522 CPUtime=0 cores=0,2,4,6
/proc/8095/task/8098/stat : 8098 (java) S 8093 8093 6055 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475275551 15514783744 33056 33554432000 4194304 4196468 140734626919104 140172304398736 140172352841429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15560704 140734626923483 140734626923658 140734626923658 140734626926543 0
[pid=8095/tid=8099] ppid=8093 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8095/task/8099/stat : 8099 (java) S 8093 8093 6055 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475275551 15514783744 33056 33554432000 4194304 4196468 140734626919104 140172303346192 140172352841429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15560704 140734626923483 140734626923658 140734626923658 140734626926543 0
[pid=8095/tid=8100] ppid=8093 vsize=15151156 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/8095/task/8100/stat : 8100 (java) S 8093 8093 6055 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475275551 15514783744 33056 33554432000 4194304 4196468 140734626919104 140172302293648 140172352841429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15560704 140734626923483 140734626923658 140734626923658 140734626926543 0
[pid=8095/tid=8101] ppid=8093 vsize=15151156 memory=2828 CPUtime=0 cores=0,2,4,6
/proc/8095/task/8101/stat : 8101 (java) S 8093 8093 6055 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475275552 15514783744 33056 33554432000 4194304 4196468 140734626919104 140171821418992 140172352842370 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15560704 140734626923483 140734626923658 140734626923658 140734626926543 0
[pid=8095/tid=8102] ppid=8093 vsize=15151156 memory=756 CPUtime=0 cores=0,2,4,6
/proc/8095/task/8102/stat : 8102 (java) S 8093 8093 6055 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475275553 15514783744 33056 33554432000 4194304 4196468 140734626919104 140171820365216 140172352841429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15560704 140734626923483 140734626923658 140734626923658 140734626926543 0
[pid=8095/tid=8103] ppid=8093 vsize=15151156 memory=1548 CPUtime=0 cores=0,2,4,6
/proc/8095/task/8103/stat : 8103 (java) S 8093 8093 6055 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475275553 15514783744 33056 33554432000 4194304 4196468 140734626919104 140171819312624 140172352841429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15560704 140734626923483 140734626923658 140734626923658 140734626926543 0
[pid=8095/tid=8104] ppid=8093 vsize=15151156 memory=8104 CPUtime=0 cores=0,2,4,6
/proc/8095/task/8104/stat : 8104 (java) S 8093 8093 6055 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475275555 15514783744 33056 33554432000 4194304 4196468 140734626919104 140171818261200 140172352849819 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15560704 140734626923483 140734626923658 140734626923658 140734626926543 0
[pid=8095/tid=8105] ppid=8093 vsize=15151156 memory=1164 CPUtime=0.4 cores=0,2,4,6
/proc/8095/task/8105/stat : 8105 (java) R 8093 8093 6055 0 -1 4202560 1827 0 0 0 40 0 0 0 20 0 15 0 475275555 15514783744 33056 33554432000 4194304 4196468 140734626919104 140171817196032 140172337941304 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15560704 140734626923483 140734626923658 140734626923658 140734626926543 0
[pid=8095/tid=8106] ppid=8093 vsize=15151156 memory=9520 CPUtime=0.34 cores=0,2,4,6
/proc/8095/task/8106/stat : 8106 (java) R 8093 8093 6055 0 -1 4202560 1342 0 0 0 34 0 0 0 20 0 15 0 475275555 15514783744 33056 33554432000 4194304 4196468 140734626919104 140171816141312 140172334137664 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15560704 140734626923483 140734626923658 140734626923658 140734626926543 0
[pid=8095/tid=8107] ppid=8093 vsize=15151156 memory=14008 CPUtime=0.3 cores=0,2,4,6
/proc/8095/task/8107/stat : 8107 (java) S 8093 8093 6055 0 -1 1077944384 1690 0 0 0 29 1 0 0 20 0 15 0 475275555 15514783744 33056 33554432000 4194304 4196468 140734626919104 140171815102704 140172352842370 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15560704 140734626923483 140734626923658 140734626923658 140734626926543 0
[pid=8095/tid=8108] ppid=8093 vsize=15151156 memory=2120 CPUtime=0 cores=0,2,4,6
/proc/8095/task/8108/stat : 8108 (java) S 8093 8093 6055 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475275556 15514783744 33056 33554432000 4194304 4196468 140734626919104 140171814050400 140172352841429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15560704 140734626923483 140734626923658 140734626923658 140734626926543 0
[pid=8095/tid=8109] ppid=8093 vsize=15151156 memory=12028 CPUtime=0 cores=0,2,4,6
/proc/8095/task/8109/stat : 8109 (java) S 8093 8093 6055 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475275556 15514783744 33056 33554432000 4194304 4196468 140734626919104 140171812997936 140172352842370 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15560704 140734626923483 140734626923658 140734626923658 140734626926543 0
Current children cumulated CPU time: 1.74 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 133676 KiB
[startup+1.50595 s]
/proc/loadavg: 8.16 8.25 7.11 8/234 8113
/proc/meminfo: memFree=9204508/32770624 swapFree=66988724/67108860
[pid=8093] ppid=8090 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/8093/stat : 8093 (xcsp3-exec) S 8090 8093 6055 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475275550 115843072 363 33554432000 4194304 5098028 140725009252880 140725009250984 140698703987324 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 7655424 140725009257302 140725009257561 140725009257561 140725009260486 0
/proc/8093/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
/proc/8095/stat : 8095 (java) S 8093 8093 6055 0 -1 1077944320 104646 0 0 0 230157 199 0 0 20 0 19 0 475275550 15789527040 614079 33554432000 4194304 4196468 140734626919104 140734626901648 140172352831223 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 15560704 140734626923483 140734626923658 140734626923658 140734626926543 0
/proc/8095/statm: 3854865 614079 3553 1 0 3815965 0
[pid=8095/tid=8096] ppid=8093 vsize=15419460 memory=2456316 CPUtime=6.72 cores=0,2,4,6
/proc/8095/task/8096/stat : 8096 (java) S 8093 8093 6055 0 -1 1077944384 11325 0 0 0 656 16 0 0 20 0 19 0 475275550 15789527040 614079 33554432000 4194304 4196468 140734626919104 140172357072000 140172352841429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15560704 140734626923483 140734626923658 140734626923658 140734626926543 0
[pid=8095/tid=8097] ppid=8093 vsize=15419460 memory=1452 CPUtime=2.48 cores=0,2,4,6
/proc/8095/task/8097/stat : 8097 (java) S 8093 8093 6055 0 -1 1077944384 1627 0 0 0 204 44 0 0 20 0 19 0 475275551 15789527040 614079 33554432000 4194304 4196468 140734626919104 140172305451280 140172352841429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15560704 140734626923483 140734626923658 140734626923658 140734626926543 0
[pid=8095/tid=8098] ppid=8093 vsize=15419460 memory=2456316 CPUtime=2.49 cores=0,2,4,6
/proc/8095/task/8098/stat : 8098 (java) S 8093 8093 6055 0 -1 1077944384 1215 0 0 0 208 41 0 0 20 0 19 0 475275551 15789527040 614079 33554432000 4194304 4196468 140734626919104 140172304398736 140172352841429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15560704 140734626923483 140734626923658 140734626923658 140734626926543 0
[pid=8095/tid=8099] ppid=8093 vsize=15419460 memory=2456316 CPUtime=2.38 cores=0,2,4,6
/proc/8095/task/8099/stat : 8099 (java) S 8093 8093 6055 0 -1 1077944384 1345 0 0 0 198 40 0 0 20 0 19 0 475275551 15789527040 614079 33554432000 4194304 4196468 140734626919104 140172303346192 140172352841429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15560704 140734626923483 140734626923658 140734626923658 140734626926543 0
[pid=8095/tid=8100] ppid=8093 vsize=15419460 memory=2456316 CPUtime=2.44 cores=0,2,4,6
/proc/8095/task/8100/stat : 8100 (java) S 8093 8093 6055 0 -1 1077944384 1210 0 0 0 205 39 0 0 20 0 19 0 475275551 15789527040 614079 33554432000 4194304 4196468 140734626919104 140172302293648 140172352841429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15560704 140734626923483 140734626923658 140734626923658 140734626926543 0
[pid=8095/tid=8101] ppid=8093 vsize=15419460 memory=1452 CPUtime=0.07 cores=0,2,4,6
/proc/8095/task/8101/stat : 8101 (java) S 8093 8093 6055 0 -1 1077944384 7712 0 0 0 6 1 0 0 20 0 19 0 475275552 15789527040 614079 33554432000 4194304 4196468 140734626919104 140171821418992 140172352842370 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15560704 140734626923483 140734626923658 140734626923658 140734626926543 0
[pid=8095/tid=8102] ppid=8093 vsize=15419460 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/8095/task/8102/stat : 8102 (java) S 8093 8093 6055 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 19 0 475275553 15789527040 614079 33554432000 4194304 4196468 140734626919104 140171820365280 140172352841429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15560704 140734626923483 140734626923658 140734626923658 140734626926543 0
[pid=8095/tid=8103] ppid=8093 vsize=15419460 memory=804 CPUtime=0 cores=0,2,4,6
/proc/8095/task/8103/stat : 8103 (java) S 8093 8093 6055 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 19 0 475275553 15789527040 614079 33554432000 4194304 4196468 140734626919104 140171819312640 140172352841429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15560704 140734626923483 140734626923658 140734626923658 140734626926543 0
[pid=8095/tid=8104] ppid=8093 vsize=15419460 memory=4096 CPUtime=0 cores=0,2,4,6
/proc/8095/task/8104/stat : 8104 (java) S 8093 8093 6055 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475275555 15789527040 614079 33554432000 4194304 4196468 140734626919104 140171818261200 140172352849819 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15560704 140734626923483 140734626923658 140734626923658 140734626926543 0
[pid=8095/tid=8105] ppid=8093 vsize=15419460 memory=1452 CPUtime=4.32 cores=0,2,4,6
/proc/8095/task/8105/stat : 8105 (java) S 8093 8093 6055 0 -1 1077944384 20025 0 0 0 430 2 0 0 20 0 19 0 475275555 15789527040 614079 33554432000 4194304 4196468 140734626919104 140171817207792 140172352842370 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15560704 140734626923483 140734626923658 140734626923658 140734626926543 0
[pid=8095/tid=8106] ppid=8093 vsize=15419460 memory=2456316 CPUtime=4.4 cores=0,2,4,6
/proc/8095/task/8106/stat : 8106 (java) S 8093 8093 6055 0 -1 1077944384 22986 0 0 0 438 2 0 0 20 0 19 0 475275555 15789527040 614079 33554432000 4194304 4196468 140734626919104 140171816155248 140172352842370 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15560704 140734626923483 140734626923658 140734626923658 140734626926543 0
[pid=8095/tid=8107] ppid=8093 vsize=15419460 memory=8112282956445269571 CPUtime=0.96 cores=0,2,4,6
/proc/8095/task/8107/stat : 8107 (java) S 8093 8093 6055 0 -1 1077944384 8916 0 0 0 94 2 0 0 20 0 19 0 475275555 15789527040 614079 33554432000 4194304 4196468 140734626919104 140171815102704 140172352842370 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15560704 140734626923483 140734626923658 140734626923658 140734626926543 0
[pid=8095/tid=8108] ppid=8093 vsize=15419460 memory=1440 CPUtime=0 cores=0,2,4,6
/proc/8095/task/8108/stat : 8108 (java) S 8093 8093 6055 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475275556 15789527040 614079 33554432000 4194304 4196468 140734626919104 140171814050400 140172352841429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15560704 140734626923483 140734626923658 140734626923658 140734626926543 0
[pid=8095/tid=8109] ppid=8093 vsize=15419460 memory=2456316 CPUtime=0.27 cores=0,2,4,6
/proc/8095/task/8109/stat : 8109 (java) S 8093 8093 6055 0 -1 1077944384 885 0 0 0 27 0 0 0 20 0 19 0 475275556 15789527040 614079 33554432000 4194304 4196468 140734626919104 140171812997936 140172352842370 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15560704 140734626923483 140734626923658 140734626923658 140734626926543 0
[pid=8095/tid=8114] ppid=8093 vsize=15419460 memory=1452 CPUtime=563.49 cores=0,2,4,6
/proc/8095/task/8114/stat : 8114 (java) R 8093 8093 6055 0 -1 4202560 5204 0 0 0 56348 1 0 0 20 0 19 0 475276483 15789527040 614079 33554432000 4194304 4196468 140734626919104 140171803778008 140171984269918 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15560704 140734626923483 140734626923658 140734626923658 140734626926543 0
[pid=8095/tid=8115] ppid=8093 vsize=15419460 memory=1452 CPUtime=570.99 cores=0,2,4,6
/proc/8095/task/8115/stat : 8115 (java) R 8093 8093 6055 0 -1 4202560 6319 0 0 0 57098 1 0 0 20 0 19 0 475276483 15789527040 614079 33554432000 4194304 4196468 140734626919104 140171802729416 140171982730316 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15560704 140734626923483 140734626923658 140734626923658 140734626926543 0
[pid=8095/tid=8116] ppid=8093 vsize=15419460 memory=2456316 CPUtime=570.94 cores=0,2,4,6
/proc/8095/task/8116/stat : 8116 (java) R 8093 8093 6055 0 -1 4202560 8172 0 0 0 57089 5 0 0 20 0 19 0 475276483 15789527040 614079 33554432000 4194304 4196468 140734626919104 140171801673872 140171981060273 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15560704 140734626923483 140734626923658 140734626923658 140734626926543 0
[pid=8095/tid=8117] ppid=8093 vsize=15419460 memory=1452 CPUtime=571.48 cores=0,2,4,6
/proc/8095/task/8117/stat : 8117 (java) R 8093 8093 6055 0 -1 4202560 6378 0 0 0 57148 0 0 0 20 0 19 0 475276483 15789527040 614079 33554432000 4194304 4196468 140734626919104 140171800622648 140171981059660 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15560704 140734626923483 140734626923658 140734626923658 140734626926543 0
Current children cumulated CPU time: 2303.56 s
Current children cumulated vsize: 15532588 KiB
Current children cumulated memory: 2457768 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+636.701 s]
/proc/loadavg: 7.90 7.68 7.43 9/233 8251
/proc/meminfo: memFree=195860/32770624 swapFree=66988728/67108860
[pid=8093] ppid=8090 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/8093/stat : 8093 (xcsp3-exec) S 8090 8093 6055 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475275550 115843072 363 33554432000 4194304 5098028 140725009252880 140725009250984 140698703987324 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 7655424 140725009257302 140725009257561 140725009257561 140725009260486 0
/proc/8093/statm: 28282 363 304 221 0 87 0
[pid=8095] ppid=8093 vsize=15419460 memory=2456320 CPUtime=2520.11 cores=0,2,4,6
/proc/8095/stat : 8095 (java) S 8093 8093 6055 0 -1 1077944320 106127 0 0 0 251812 199 0 0 20 0 19 0 475275550 15789527040 614080 33554432000 4194304 4196468 140734626919104 140734626901648 140172352831223 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 15560704 140734626923483 140734626923658 140734626923658 140734626926543 0
/proc/8095/statm: 3854865 614080 3553 1 0 3815965 0
[pid=8095/tid=8096] ppid=8093 vsize=15419460 memory=1452 CPUtime=6.72 cores=0,2,4,6
/proc/8095/task/8096/stat : 8096 (java) S 8093 8093 6055 0 -1 1077944384 11325 0 0 0 656 16 0 0 20 0 19 0 475275550 15789527040 614080 33554432000 4194304 4196468 140734626919104 140172357072000 140172352841429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15560704 140734626923483 140734626923658 140734626923658 140734626926543 0
[pid=8095/tid=8097] ppid=8093 vsize=15419460 memory=0 CPUtime=2.48 cores=0,2,4,6
/proc/8095/task/8097/stat : 8097 (java) S 8093 8093 6055 0 -1 1077944384 1627 0 0 0 204 44 0 0 20 0 19 0 475275551 15789527040 614080 33554432000 4194304 4196468 140734626919104 140172305451280 140172352841429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15560704 140734626923483 140734626923658 140734626923658 140734626926543 0
[pid=8095/tid=8098] ppid=8093 vsize=15419460 memory=2456320 CPUtime=2.49 cores=0,2,4,6
/proc/8095/task/8098/stat : 8098 (java) S 8093 8093 6055 0 -1 1077944384 1215 0 0 0 208 41 0 0 20 0 19 0 475275551 15789527040 614080 33554432000 4194304 4196468 140734626919104 140172304398736 140172352841429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15560704 140734626923483 140734626923658 140734626923658 140734626926543 0
[pid=8095/tid=8099] ppid=8093 vsize=15419460 memory=2456320 CPUtime=2.38 cores=0,2,4,6
/proc/8095/task/8099/stat : 8099 (java) S 8093 8093 6055 0 -1 1077944384 1345 0 0 0 198 40 0 0 20 0 19 0 475275551 15789527040 614080 33554432000 4194304 4196468 140734626919104 140172303346192 140172352841429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15560704 140734626923483 140734626923658 140734626923658 140734626926543 0
[pid=8095/tid=8100] ppid=8093 vsize=15419460 memory=8112282956445269571 CPUtime=2.44 cores=0,2,4,6
/proc/8095/task/8100/stat : 8100 (java) S 8093 8093 6055 0 -1 1077944384 1210 0 0 0 205 39 0 0 20 0 19 0 475275551 15789527040 614080 33554432000 4194304 4196468 140734626919104 140172302293648 140172352841429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15560704 140734626923483 140734626923658 140734626923658 140734626926543 0
[pid=8095/tid=8101] ppid=8093 vsize=15419460 memory=2456316 CPUtime=0.07 cores=0,2,4,6
/proc/8095/task/8101/stat : 8101 (java) S 8093 8093 6055 0 -1 1077944384 7717 0 0 0 6 1 0 0 20 0 19 0 475275552 15789527040 614080 33554432000 4194304 4196468 140734626919104 140171821418992 140172352842370 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15560704 140734626923483 140734626923658 140734626923658 140734626926543 0
[pid=8095/tid=8102] ppid=8093 vsize=15419460 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/8095/task/8102/stat : 8102 (java) S 8093 8093 6055 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 19 0 475275553 15789527040 614080 33554432000 4194304 4196468 140734626919104 140171820365280 140172352841429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15560704 140734626923483 140734626923658 140734626923658 140734626926543 0
[pid=8095/tid=8103] ppid=8093 vsize=15419460 memory=2456316 CPUtime=0 cores=0,2,4,6
/proc/8095/task/8103/stat : 8103 (java) S 8093 8093 6055 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 19 0 475275553 15789527040 614080 33554432000 4194304 4196468 140734626919104 140171819312640 140172352841429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15560704 140734626923483 140734626923658 140734626923658 140734626926543 0
[pid=8095/tid=8104] ppid=8093 vsize=15419460 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/8095/task/8104/stat : 8104 (java) S 8093 8093 6055 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475275555 15789527040 614080 33554432000 4194304 4196468 140734626919104 140171818261200 140172352849819 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15560704 140734626923483 140734626923658 140734626923658 140734626926543 0
[pid=8095/tid=8105] ppid=8093 vsize=15419460 memory=2456316 CPUtime=4.32 cores=0,2,4,6
/proc/8095/task/8105/stat : 8105 (java) S 8093 8093 6055 0 -1 1077944384 20028 0 0 0 430 2 0 0 20 0 19 0 475275555 15789527040 614080 33554432000 4194304 4196468 140734626919104 140171817207792 140172352842370 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15560704 140734626923483 140734626923658 140734626923658 140734626926543 0
[pid=8095/tid=8106] ppid=8093 vsize=15419460 memory=2456316 CPUtime=4.4 cores=0,2,4,6
/proc/8095/task/8106/stat : 8106 (java) S 8093 8093 6055 0 -1 1077944384 22994 0 0 0 438 2 0 0 20 0 19 0 475275555 15789527040 614080 33554432000 4194304 4196468 140734626919104 140171816155248 140172352842370 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15560704 140734626923483 140734626923658 140734626923658 140734626926543 0
[pid=8095/tid=8107] ppid=8093 vsize=15419460 memory=3620 CPUtime=0.96 cores=0,2,4,6
/proc/8095/task/8107/stat : 8107 (java) S 8093 8093 6055 0 -1 1077944384 8920 0 0 0 94 2 0 0 20 0 19 0 475275555 15789527040 614080 33554432000 4194304 4196468 140734626919104 140171815102704 140172352842370 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15560704 140734626923483 140734626923658 140734626923658 140734626926543 0
[pid=8095/tid=8108] ppid=8093 vsize=15419460 memory=38944 CPUtime=0 cores=0,2,4,6
/proc/8095/task/8108/stat : 8108 (java) S 8093 8093 6055 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475275556 15789527040 614080 33554432000 4194304 4196468 140734626919104 140171814050400 140172352841429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15560704 140734626923483 140734626923658 140734626923658 140734626926543 0
[pid=8095/tid=8109] ppid=8093 vsize=15419460 memory=2004 CPUtime=0.3 cores=0,2,4,6
/proc/8095/task/8109/stat : 8109 (java) S 8093 8093 6055 0 -1 1077944384 914 0 0 0 30 0 0 0 20 0 19 0 475275556 15789527040 614080 33554432000 4194304 4196468 140734626919104 140171812997936 140172352842370 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15560704 140734626923483 140734626923658 140734626923658 140734626926543 0
[pid=8095/tid=8114] ppid=8093 vsize=15419460 memory=2004 CPUtime=617.86 cores=0,2,4,6
/proc/8095/task/8114/stat : 8114 (java) R 8093 8093 6055 0 -1 4202560 5457 0 0 0 61785 1 0 0 20 0 19 0 475276483 15789527040 614080 33554432000 4194304 4196468 140734626919104 140171803778008 140171981059699 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15560704 140734626923483 140734626923658 140734626923658 140734626926543 0
[pid=8095/tid=8115] ppid=8093 vsize=15419460 memory=984 CPUtime=625.36 cores=0,2,4,6
/proc/8095/task/8115/stat : 8115 (java) R 8093 8093 6055 0 -1 4202560 6654 0 0 0 62535 1 0 0 20 0 19 0 475276483 15789527040 614080 33554432000 4194304 4196468 140734626919104 140171802729416 140171982730154 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15560704 140734626923483 140734626923658 140734626923658 140734626926543 0
[pid=8095/tid=8116] ppid=8093 vsize=15419460 memory=1452 CPUtime=624.36 cores=0,2,4,6
/proc/8095/task/8116/stat : 8116 (java) R 8093 8093 6055 0 -1 4202560 8583 0 0 0 62431 5 0 0 20 0 19 0 475276483 15789527040 614080 33554432000 4194304 4196468 140734626919104 140171801673872 140171982730464 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15560704 140734626923483 140734626923658 140734626923658 140734626926543 0
[pid=8095/tid=8117] ppid=8093 vsize=15419460 memory=780 CPUtime=625.84 cores=0,2,4,6
/proc/8095/task/8117/stat : 8117 (java) R 8093 8093 6055 0 -1 4202560 6811 0 0 0 62584 0 0 0 20 0 19 0 475276483 15789527040 614080 33554432000 4194304 4196468 140734626919104 140171800622648 140171984818883 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15560704 140734626923483 140734626923658 140734626923658 140734626926543 0
Current children cumulated CPU time: 2520.11 s
Current children cumulated vsize: 15532588 KiB
Current children cumulated memory: 2457772 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+636.724 s]
# the end of solver process 8093 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.001141 s, system=0.001141 s
[startup+636.815 s]
# the end of solver process 8095 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2518.51 s, system=2.01387 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+636.701 s]
/proc/loadavg: 7.90 7.68 7.43 9/233 8251
/proc/meminfo: memFree=195860/32770624 swapFree=66988728/67108860
[pid=8093] ppid=8090 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/8093/stat : 8093 (xcsp3-exec) S 8090 8093 6055 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475275550 115843072 363 33554432000 4194304 5098028 140725009252880 140725009250984 140698703987324 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 7655424 140725009257302 140725009257561 140725009257561 140725009260486 0
/proc/8093/statm: 28282 363 304 221 0 87 0
[pid=8095] ppid=8093 vsize=15419460 memory=2456320 CPUtime=2520.11 cores=0,2,4,6
/proc/8095/stat : 8095 (java) S 8093 8093 6055 0 -1 1077944320 106127 0 0 0 251812 199 0 0 20 0 19 0 475275550 15789527040 614080 33554432000 4194304 4196468 140734626919104 140734626901648 140172352831223 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 15560704 140734626923483 140734626923658 140734626923658 140734626926543 0
/proc/8095/statm: 3854865 614080 3553 1 0 3815965 0
[pid=8095/tid=8096] ppid=8093 vsize=15419460 memory=1452 CPUtime=6.72 cores=0,2,4,6
/proc/8095/task/8096/stat : 8096 (java) S 8093 8093 6055 0 -1 1077944384 11325 0 0 0 656 16 0 0 20 0 19 0 475275550 15789527040 614080 33554432000 4194304 4196468 140734626919104 140172357072000 140172352841429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15560704 140734626923483 140734626923658 140734626923658 140734626926543 0
[pid=8095/tid=8097] ppid=8093 vsize=15419460 memory=0 CPUtime=2.48 cores=0,2,4,6
/proc/8095/task/8097/stat : 8097 (java) S 8093 8093 6055 0 -1 1077944384 1627 0 0 0 204 44 0 0 20 0 19 0 475275551 15789527040 614080 33554432000 4194304 4196468 140734626919104 140172305451280 140172352841429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15560704 140734626923483 140734626923658 140734626923658 140734626926543 0
[pid=8095/tid=8098] ppid=8093 vsize=15419460 memory=2456320 CPUtime=2.49 cores=0,2,4,6
/proc/8095/task/8098/stat : 8098 (java) S 8093 8093 6055 0 -1 1077944384 1215 0 0 0 208 41 0 0 20 0 19 0 475275551 15789527040 614080 33554432000 4194304 4196468 140734626919104 140172304398736 140172352841429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15560704 140734626923483 140734626923658 140734626923658 140734626926543 0
[pid=8095/tid=8099] ppid=8093 vsize=15419460 memory=2456320 CPUtime=2.38 cores=0,2,4,6
/proc/8095/task/8099/stat : 8099 (java) S 8093 8093 6055 0 -1 1077944384 1345 0 0 0 198 40 0 0 20 0 19 0 475275551 15789527040 614080 33554432000 4194304 4196468 140734626919104 140172303346192 140172352841429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15560704 140734626923483 140734626923658 140734626923658 140734626926543 0
[pid=8095/tid=8100] ppid=8093 vsize=15419460 memory=8112282956445269571 CPUtime=2.44 cores=0,2,4,6
/proc/8095/task/8100/stat : 8100 (java) S 8093 8093 6055 0 -1 1077944384 1210 0 0 0 205 39 0 0 20 0 19 0 475275551 15789527040 614080 33554432000 4194304 4196468 140734626919104 140172302293648 140172352841429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15560704 140734626923483 140734626923658 140734626923658 140734626926543 0
[pid=8095/tid=8101] ppid=8093 vsize=15419460 memory=2456316 CPUtime=0.07 cores=0,2,4,6
/proc/8095/task/8101/stat : 8101 (java) S 8093 8093 6055 0 -1 1077944384 7717 0 0 0 6 1 0 0 20 0 19 0 475275552 15789527040 614080 33554432000 4194304 4196468 140734626919104 140171821418992 140172352842370 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15560704 140734626923483 140734626923658 140734626923658 140734626926543 0
[pid=8095/tid=8102] ppid=8093 vsize=15419460 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/8095/task/8102/stat : 8102 (java) S 8093 8093 6055 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 19 0 475275553 15789527040 614080 33554432000 4194304 4196468 140734626919104 140171820365280 140172352841429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15560704 140734626923483 140734626923658 140734626923658 140734626926543 0
[pid=8095/tid=8103] ppid=8093 vsize=15419460 memory=2456316 CPUtime=0 cores=0,2,4,6
/proc/8095/task/8103/stat : 8103 (java) S 8093 8093 6055 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 19 0 475275553 15789527040 614080 33554432000 4194304 4196468 140734626919104 140171819312640 140172352841429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15560704 140734626923483 140734626923658 140734626923658 140734626926543 0
[pid=8095/tid=8104] ppid=8093 vsize=15419460 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/8095/task/8104/stat : 8104 (java) S 8093 8093 6055 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475275555 15789527040 614080 33554432000 4194304 4196468 140734626919104 140171818261200 140172352849819 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15560704 140734626923483 140734626923658 140734626923658 140734626926543 0
[pid=8095/tid=8105] ppid=8093 vsize=15419460 memory=2456316 CPUtime=4.32 cores=0,2,4,6
/proc/8095/task/8105/stat : 8105 (java) S 8093 8093 6055 0 -1 1077944384 20028 0 0 0 430 2 0 0 20 0 19 0 475275555 15789527040 614080 33554432000 4194304 4196468 140734626919104 140171817207792 140172352842370 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15560704 140734626923483 140734626923658 140734626923658 140734626926543 0
[pid=8095/tid=8106] ppid=8093 vsize=15419460 memory=2456316 CPUtime=4.4 cores=0,2,4,6
/proc/8095/task/8106/stat : 8106 (java) S 8093 8093 6055 0 -1 1077944384 22994 0 0 0 438 2 0 0 20 0 19 0 475275555 15789527040 614080 33554432000 4194304 4196468 140734626919104 140171816155248 140172352842370 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15560704 140734626923483 140734626923658 140734626923658 140734626926543 0
[pid=8095/tid=8107] ppid=8093 vsize=15419460 memory=3620 CPUtime=0.96 cores=0,2,4,6
/proc/8095/task/8107/stat : 8107 (java) S 8093 8093 6055 0 -1 1077944384 8920 0 0 0 94 2 0 0 20 0 19 0 475275555 15789527040 614080 33554432000 4194304 4196468 140734626919104 140171815102704 140172352842370 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15560704 140734626923483 140734626923658 140734626923658 140734626926543 0
[pid=8095/tid=8108] ppid=8093 vsize=15419460 memory=38944 CPUtime=0 cores=0,2,4,6
/proc/8095/task/8108/stat : 8108 (java) S 8093 8093 6055 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475275556 15789527040 614080 33554432000 4194304 4196468 140734626919104 140171814050400 140172352841429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15560704 140734626923483 140734626923658 140734626923658 140734626926543 0
[pid=8095/tid=8109] ppid=8093 vsize=15419460 memory=2004 CPUtime=0.3 cores=0,2,4,6
/proc/8095/task/8109/stat : 8109 (java) S 8093 8093 6055 0 -1 1077944384 914 0 0 0 30 0 0 0 20 0 19 0 475275556 15789527040 614080 33554432000 4194304 4196468 140734626919104 140171812997936 140172352842370 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15560704 140734626923483 140734626923658 140734626923658 140734626926543 0
[pid=8095/tid=8114] ppid=8093 vsize=15419460 memory=2004 CPUtime=617.86 cores=0,2,4,6
/proc/8095/task/8114/stat : 8114 (java) R 8093 8093 6055 0 -1 4202560 5457 0 0 0 61785 1 0 0 20 0 19 0 475276483 15789527040 614080 33554432000 4194304 4196468 140734626919104 140171803778008 140171981059699 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15560704 140734626923483 140734626923658 140734626923658 140734626926543 0
[pid=8095/tid=8115] ppid=8093 vsize=15419460 memory=984 CPUtime=625.36 cores=0,2,4,6
/proc/8095/task/8115/stat : 8115 (java) R 8093 8093 6055 0 -1 4202560 6654 0 0 0 62535 1 0 0 20 0 19 0 475276483 15789527040 614080 33554432000 4194304 4196468 140734626919104 140171802729416 140171982730154 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15560704 140734626923483 140734626923658 140734626923658 140734626926543 0
[pid=8095/tid=8116] ppid=8093 vsize=15419460 memory=1452 CPUtime=624.36 cores=0,2,4,6
/proc/8095/task/8116/stat : 8116 (java) R 8093 8093 6055 0 -1 4202560 8583 0 0 0 62431 5 0 0 20 0 19 0 475276483 15789527040 614080 33554432000 4194304 4196468 140734626919104 140171801673872 140171982730464 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15560704 140734626923483 140734626923658 140734626923658 140734626926543 0
[pid=8095/tid=8117] ppid=8093 vsize=15419460 memory=780 CPUtime=625.84 cores=0,2,4,6
/proc/8095/task/8117/stat : 8117 (java) R 8093 8093 6055 0 -1 4202560 6811 0 0 0 62584 0 0 0 20 0 19 0 475276483 15789527040 614080 33554432000 4194304 4196468 140734626919104 140171800622648 140171984818883 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15560704 140734626923483 140734626923658 140734626923658 140734626926543 0
Current children cumulated CPU time: 2520.11 s
Current children cumulated vsize: 15532588 KiB
Current children cumulated memory: 2457772 KiB
Child status: 143
Real time (s): 636.815
CPU time (s): 2520.53
CPU user time (s): 2518.51
CPU system time (s): 2.01387
CPU usage (%): 395.802
Max. virtual memory (cumulated for all children) (KiB): 15532588
Max. memory (cumulated for all children) (KiB): 2462108
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.51
system time used= 2.01387
maximum resident set size= 2460656
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 107431
page faults= 0
swaps= 0
block input operations= 0
block output operations= 608
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 17266
involuntary context switches= 45391
# summary of solver processes directly reported to runsolver:
# pid: 8093,8095
# total CPU time (s): 2520.53
# total CPU user time (s): 2518.51
# total CPU system time (s): 2.01387
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.17005 second user time and 7.20641 second system time
The end