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 (11554 MiB free)
memory of node 1: 16384 MiB (11550 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4406154-1569402014/watcher-4406154-1569402014 -o /var/tmp/evaluation-result-4406154-1569402014/solver-4406154-1569402014 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node124-1569396629-4888 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 1 -ml 12000 -tdir HOME -seed 1174005154 HOME/instance-4406154-1569402014.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
solver pid=6357, runsolver pid=6354
Current StackSize limit: 8192 KiB
[startup+0.100058 s]*
/proc/loadavg: 2.10 2.05 2.05 4/230 6373
/proc/meminfo: memFree=23642448/32770624 swapFree=66976792/67108860
[pid=6357] ppid=6354 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/6357/stat : 6357 (xcsp3-exec) S 6354 6357 4857 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516141467 115843072 364 33554432000 4194304 5098028 140731599562368 140731599560472 140396484215420 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 33071104 140731599569750 140731599570009 140731599570009 140731599572934 0
/proc/6357/statm: 28282 364 305 221 0 87 0
[pid=6359] ppid=6357 vsize=15144776 memory=30072 CPUtime=0.12 cores=0,2,4,6
/proc/6359/stat : 6359 (java) S 6357 6357 4857 0 -1 1077944320 5423 0 0 0 11 1 0 0 20 0 15 0 516141468 15508250624 7518 33554432000 4194304 4196468 140735474105408 140735474087952 140064625409783 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 33648640 140735474111451 140735474111626 140735474111626 140735474114511 0
/proc/6359/statm: 3786194 7518 3143 1 0 3748377 0
[pid=6359/tid=6360] ppid=6357 vsize=15144776 memory=7684168592691270491 CPUtime=0.09 cores=0,2,4,6
/proc/6359/task/6360/stat : 6360 (java) R 6357 6357 4857 0 -1 4202560 3366 0 0 0 8 1 0 0 20 0 15 0 516141468 15508250624 7518 33554432000 4194304 4196468 140735474105408 140064629646128 140064617646910 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33648640 140735474111451 140735474111626 140735474111626 140735474114511 0
[pid=6359/tid=6361] ppid=6357 vsize=15144776 memory=-3689349214911541841 CPUtime=0 cores=0,2,4,6
/proc/6359/task/6361/stat : 6361 (java) S 6357 6357 4857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516141469 15508250624 7518 33554432000 4194304 4196468 140735474105408 140064217553168 140064625419989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33648640 140735474111451 140735474111626 140735474111626 140735474114511 0
[pid=6359/tid=6362] ppid=6357 vsize=15144776 memory=140397990909568 CPUtime=0 cores=0,2,4,6
/proc/6359/task/6362/stat : 6362 (java) S 6357 6357 4857 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516141469 15508250624 7518 33554432000 4194304 4196468 140735474105408 140064216500624 140064625419989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33648640 140735474111451 140735474111626 140735474111626 140735474114511 0
[pid=6359/tid=6363] ppid=6357 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6359/task/6363/stat : 6363 (java) S 6357 6357 4857 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516141469 15508250624 7518 33554432000 4194304 4196468 140735474105408 140064215448080 140064625419989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33648640 140735474111451 140735474111626 140735474111626 140735474114511 0
[pid=6359/tid=6364] ppid=6357 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6359/task/6364/stat : 6364 (java) S 6357 6357 4857 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516141469 15508250624 7518 33554432000 4194304 4196468 140735474105408 140064214395536 140064625419989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33648640 140735474111451 140735474111626 140735474111626 140735474114511 0
[pid=6359/tid=6365] ppid=6357 vsize=15144776 memory=140397990909568 CPUtime=0 cores=0,2,4,6
/proc/6359/task/6365/stat : 6365 (java) S 6357 6357 4857 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516141470 15508250624 7518 33554432000 4194304 4196468 140735474105408 140064093829616 140064625420930 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33648640 140735474111451 140735474111626 140735474111626 140735474114511 0
[pid=6359/tid=6366] ppid=6357 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6359/task/6366/stat : 6366 (java) S 6357 6357 4857 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516141471 15508250624 7518 33554432000 4194304 4196468 140735474105408 140064092775840 140064625419989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33648640 140735474111451 140735474111626 140735474111626 140735474114511 0
[pid=6359/tid=6367] ppid=6357 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6359/task/6367/stat : 6367 (java) S 6357 6357 4857 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516141471 15508250624 7518 33554432000 4194304 4196468 140735474105408 140064091723248 140064625419989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33648640 140735474111451 140735474111626 140735474111626 140735474114511 0
[pid=6359/tid=6368] ppid=6357 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6359/task/6368/stat : 6368 (java) S 6357 6357 4857 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516141473 15508250624 7518 33554432000 4194304 4196468 140735474105408 140064090671824 140064625428379 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33648640 140735474111451 140735474111626 140735474111626 140735474114511 0
[pid=6359/tid=6369] ppid=6357 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6359/task/6369/stat : 6369 (java) R 6357 6357 4857 0 -1 4202560 445 0 0 0 0 0 0 0 20 0 15 0 516141473 15508250624 7518 33554432000 4194304 4196468 140735474105408 140064089609920 140064606110080 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33648640 140735474111451 140735474111626 140735474111626 140735474114511 0
[pid=6359/tid=6370] ppid=6357 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6359/task/6370/stat : 6370 (java) S 6357 6357 4857 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 516141473 15508250624 7518 33554432000 4194304 4196468 140735474105408 140064088565872 140064625420930 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33648640 140735474111451 140735474111626 140735474111626 140735474114511 0
[pid=6359/tid=6371] ppid=6357 vsize=15144776 memory=140397990909568 CPUtime=0.02 cores=0,2,4,6
/proc/6359/task/6371/stat : 6371 (java) R 6357 6357 4857 0 -1 4202560 330 0 0 0 2 0 0 0 20 0 15 0 516141473 15508250624 7584 33554432000 4194304 4196468 140735474105408 140064087513328 140064604362602 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33648640 140735474111451 140735474111626 140735474111626 140735474114511 0
[pid=6359/tid=6372] ppid=6357 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6359/task/6372/stat : 6372 (java) S 6357 6357 4857 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516141473 15508250624 7584 33554432000 4194304 4196468 140735474105408 140064086461024 140064625419989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33648640 140735474111451 140735474111626 140735474111626 140735474114511 0
[pid=6359/tid=6373] ppid=6357 vsize=15144776 memory=140397990909568 CPUtime=0 cores=0,2,4,6
/proc/6359/task/6373/stat : 6373 (java) S 6357 6357 4857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516141474 15508250624 7584 33554432000 4194304 4196468 140735474105408 140064085408560 140064625420930 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33648640 140735474111451 140735474111626 140735474111626 140735474114511 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 31528 KiB
[startup+0.210961 s]*
/proc/loadavg: 2.10 2.05 2.05 3/230 6373
/proc/meminfo: memFree=23629432/32770624 swapFree=66976792/67108860
[pid=6357] ppid=6354 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/6357/stat : 6357 (xcsp3-exec) S 6354 6357 4857 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516141467 115843072 364 33554432000 4194304 5098028 140731599562368 140731599560472 140396484215420 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 33071104 140731599569750 140731599570009 140731599570009 140731599572934 0
/proc/6357/statm: 28282 364 305 221 0 87 0
[pid=6359] ppid=6357 vsize=15144776 memory=41092 CPUtime=0.35 cores=0,2,4,6
/proc/6359/stat : 6359 (java) S 6357 6357 4857 0 -1 1077944320 9027 0 0 0 32 3 0 0 20 0 15 0 516141468 15508250624 10273 33554432000 4194304 4196468 140735474105408 140735474087952 140064625409783 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 33648640 140735474111451 140735474111626 140735474111626 140735474114511 0
/proc/6359/statm: 3786194 10273 3261 1 0 3748377 0
[pid=6359/tid=6360] ppid=6357 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/6359/task/6360/stat : 6360 (java) R 6357 6357 4857 0 -1 4202560 6187 0 0 0 18 2 0 0 20 0 15 0 516141468 15508250624 10273 33554432000 4194304 4196468 140735474105408 140064629641696 140064625421718 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33648640 140735474111451 140735474111626 140735474111626 140735474114511 0
[pid=6359/tid=6361] ppid=6357 vsize=15144776 memory=1965946 CPUtime=0 cores=0,2,4,6
/proc/6359/task/6361/stat : 6361 (java) S 6357 6357 4857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516141469 15508250624 10273 33554432000 4194304 4196468 140735474105408 140064217553168 140064625419989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33648640 140735474111451 140735474111626 140735474111626 140735474114511 0
[pid=6359/tid=6362] ppid=6357 vsize=15144776 memory=140397994201325 CPUtime=0 cores=0,2,4,6
/proc/6359/task/6362/stat : 6362 (java) S 6357 6357 4857 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516141469 15508250624 10273 33554432000 4194304 4196468 140735474105408 140064216500624 140064625419989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33648640 140735474111451 140735474111626 140735474111626 140735474114511 0
[pid=6359/tid=6363] ppid=6357 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6359/task/6363/stat : 6363 (java) S 6357 6357 4857 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516141469 15508250624 10273 33554432000 4194304 4196468 140735474105408 140064215448080 140064625419989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33648640 140735474111451 140735474111626 140735474111626 140735474114511 0
[pid=6359/tid=6364] ppid=6357 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6359/task/6364/stat : 6364 (java) S 6357 6357 4857 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516141469 15508250624 10273 33554432000 4194304 4196468 140735474105408 140064214395536 140064625419989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33648640 140735474111451 140735474111626 140735474111626 140735474114511 0
[pid=6359/tid=6365] ppid=6357 vsize=15144776 memory=140397990909568 CPUtime=0 cores=0,2,4,6
/proc/6359/task/6365/stat : 6365 (java) S 6357 6357 4857 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 516141470 15508250624 10273 33554432000 4194304 4196468 140735474105408 140064093829616 140064625420930 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33648640 140735474111451 140735474111626 140735474111626 140735474114511 0
[pid=6359/tid=6366] ppid=6357 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6359/task/6366/stat : 6366 (java) S 6357 6357 4857 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516141471 15508250624 10273 33554432000 4194304 4196468 140735474105408 140064092775840 140064625419989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33648640 140735474111451 140735474111626 140735474111626 140735474114511 0
[pid=6359/tid=6367] ppid=6357 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6359/task/6367/stat : 6367 (java) S 6357 6357 4857 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516141471 15508250624 10273 33554432000 4194304 4196468 140735474105408 140064091723248 140064625419989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33648640 140735474111451 140735474111626 140735474111626 140735474114511 0
[pid=6359/tid=6368] ppid=6357 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6359/task/6368/stat : 6368 (java) S 6357 6357 4857 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516141473 15508250624 10273 33554432000 4194304 4196468 140735474105408 140064090671824 140064625428379 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33648640 140735474111451 140735474111626 140735474111626 140735474114511 0
[pid=6359/tid=6369] ppid=6357 vsize=15144776 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/6359/task/6369/stat : 6369 (java) S 6357 6357 4857 0 -1 1077944384 725 0 0 0 3 0 0 0 20 0 15 0 516141473 15508250624 10273 33554432000 4194304 4196468 140735474105408 140064089618416 140064625420930 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33648640 140735474111451 140735474111626 140735474111626 140735474114511 0
[pid=6359/tid=6370] ppid=6357 vsize=15144776 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/6359/task/6370/stat : 6370 (java) S 6357 6357 4857 0 -1 1077944384 42 0 0 0 1 0 0 0 20 0 15 0 516141473 15508250624 10273 33554432000 4194304 4196468 140735474105408 140064088565872 140064625420930 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33648640 140735474111451 140735474111626 140735474111626 140735474114511 0
[pid=6359/tid=6371] ppid=6357 vsize=15144776 memory=140397990909568 CPUtime=0.08 cores=0,2,4,6
/proc/6359/task/6371/stat : 6371 (java) R 6357 6357 4857 0 -1 4202560 762 0 0 0 8 0 0 0 20 0 15 0 516141473 15508250624 10273 33554432000 4194304 4196468 140735474105408 140064087513328 140064625431130 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33648640 140735474111451 140735474111626 140735474111626 140735474114511 0
[pid=6359/tid=6372] ppid=6357 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6359/task/6372/stat : 6372 (java) S 6357 6357 4857 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516141473 15508250624 10273 33554432000 4194304 4196468 140735474105408 140064086461024 140064625419989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33648640 140735474111451 140735474111626 140735474111626 140735474114511 0
[pid=6359/tid=6373] ppid=6357 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6359/task/6373/stat : 6373 (java) S 6357 6357 4857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516141474 15508250624 10273 33554432000 4194304 4196468 140735474105408 140064085408560 140064625420930 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33648640 140735474111451 140735474111626 140735474111626 140735474114511 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42548 KiB
[startup+0.31115 s]*
/proc/loadavg: 2.10 2.05 2.05 5/230 6373
/proc/meminfo: memFree=23622644/32770624 swapFree=66976792/67108860
[pid=6357] ppid=6354 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/6357/stat : 6357 (xcsp3-exec) S 6354 6357 4857 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516141467 115843072 364 33554432000 4194304 5098028 140731599562368 140731599560472 140396484215420 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 33071104 140731599569750 140731599570009 140731599570009 140731599572934 0
/proc/6357/statm: 28282 364 305 221 0 87 0
[pid=6359] ppid=6357 vsize=15149032 memory=50060 CPUtime=0.53 cores=0,2,4,6
/proc/6359/stat : 6359 (java) S 6357 6357 4857 0 -1 1077944320 10297 0 0 0 49 4 0 0 20 0 15 0 516141468 15512608768 12515 33554432000 4194304 4196468 140735474105408 140735474087952 140064625409783 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 33648640 140735474111451 140735474111626 140735474111626 140735474114511 0
/proc/6359/statm: 3787258 12515 3362 1 0 3748377 0
[pid=6359/tid=6360] ppid=6357 vsize=15149032 memory=8112282956445269571 CPUtime=0.3 cores=0,2,4,6
/proc/6359/task/6360/stat : 6360 (java) R 6357 6357 4857 0 -1 4202560 7272 0 0 0 27 3 0 0 20 0 15 0 516141468 15512608768 12515 33554432000 4194304 4196468 140735474105408 140064629640896 140064609490270 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33648640 140735474111451 140735474111626 140735474111626 140735474114511 0
[pid=6359/tid=6361] ppid=6357 vsize=15149032 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/6359/task/6361/stat : 6361 (java) S 6357 6357 4857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516141469 15512608768 12515 33554432000 4194304 4196468 140735474105408 140064217553168 140064625419989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33648640 140735474111451 140735474111626 140735474111626 140735474114511 0
[pid=6359/tid=6362] ppid=6357 vsize=15149032 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/6359/task/6362/stat : 6362 (java) S 6357 6357 4857 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516141469 15512608768 12515 33554432000 4194304 4196468 140735474105408 140064216500624 140064625419989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33648640 140735474111451 140735474111626 140735474111626 140735474114511 0
[pid=6359/tid=6363] ppid=6357 vsize=15149032 memory=-5587046532246807594 CPUtime=0 cores=0,2,4,6
/proc/6359/task/6363/stat : 6363 (java) S 6357 6357 4857 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516141469 15512608768 12515 33554432000 4194304 4196468 140735474105408 140064215448080 140064625419989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33648640 140735474111451 140735474111626 140735474111626 140735474114511 0
[pid=6359/tid=6364] ppid=6357 vsize=15149032 memory=7379517702019849078 CPUtime=0 cores=0,2,4,6
/proc/6359/task/6364/stat : 6364 (java) S 6357 6357 4857 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516141469 15512608768 12515 33554432000 4194304 4196468 140735474105408 140064214395536 140064625419989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33648640 140735474111451 140735474111626 140735474111626 140735474114511 0
[pid=6359/tid=6365] ppid=6357 vsize=15149032 memory=7016714186490735262 CPUtime=0 cores=0,2,4,6
/proc/6359/task/6365/stat : 6365 (java) S 6357 6357 4857 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 516141470 15512608768 12515 33554432000 4194304 4196468 140735474105408 140064093829616 140064625420930 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33648640 140735474111451 140735474111626 140735474111626 140735474114511 0
[pid=6359/tid=6366] ppid=6357 vsize=15149032 memory=-9062862659931694204 CPUtime=0 cores=0,2,4,6
/proc/6359/task/6366/stat : 6366 (java) S 6357 6357 4857 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516141471 15512608768 12515 33554432000 4194304 4196468 140735474105408 140064092775840 140064625419989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33648640 140735474111451 140735474111626 140735474111626 140735474114511 0
[pid=6359/tid=6367] ppid=6357 vsize=15149032 memory=3047711566422646390 CPUtime=0 cores=0,2,4,6
/proc/6359/task/6367/stat : 6367 (java) S 6357 6357 4857 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516141471 15512608768 12515 33554432000 4194304 4196468 140735474105408 140064091723248 140064625419989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33648640 140735474111451 140735474111626 140735474111626 140735474114511 0
[pid=6359/tid=6368] ppid=6357 vsize=15149032 memory=8982046290584177472 CPUtime=0 cores=0,2,4,6
/proc/6359/task/6368/stat : 6368 (java) S 6357 6357 4857 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516141473 15512608768 12515 33554432000 4194304 4196468 140735474105408 140064090671824 140064625428379 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33648640 140735474111451 140735474111626 140735474111626 140735474114511 0
[pid=6359/tid=6369] ppid=6357 vsize=15149032 memory=8325818968683490714 CPUtime=0.05 cores=0,2,4,6
/proc/6359/task/6369/stat : 6369 (java) R 6357 6357 4857 0 -1 1077944384 745 0 0 0 5 0 0 0 20 0 15 0 516141473 15512608768 12515 33554432000 4194304 4196468 140735474105408 140064089618416 140064625420930 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33648640 140735474111451 140735474111626 140735474111626 140735474114511 0
[pid=6359/tid=6370] ppid=6357 vsize=15149032 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/6359/task/6370/stat : 6370 (java) R 6357 6357 4857 0 -1 4202560 151 0 0 0 3 0 0 0 20 0 15 0 516141473 15512608768 12515 33554432000 4194304 4196468 140735474105408 140064088556256 140064608622173 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33648640 140735474111451 140735474111626 140735474111626 140735474114511 0
[pid=6359/tid=6371] ppid=6357 vsize=15149032 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/6359/task/6371/stat : 6371 (java) S 6357 6357 4857 0 -1 1077944384 824 0 0 0 13 0 0 0 20 0 15 0 516141473 15512608768 12515 33554432000 4194304 4196468 140735474105408 140064087513328 140064625420930 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33648640 140735474111451 140735474111626 140735474111626 140735474114511 0
[pid=6359/tid=6372] ppid=6357 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6359/task/6372/stat : 6372 (java) S 6357 6357 4857 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516141473 15512608768 12515 33554432000 4194304 4196468 140735474105408 140064086461024 140064625419989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33648640 140735474111451 140735474111626 140735474111626 140735474114511 0
[pid=6359/tid=6373] ppid=6357 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6359/task/6373/stat : 6373 (java) S 6357 6357 4857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516141474 15512608768 12515 33554432000 4194304 4196468 140735474105408 140064085408560 140064625420930 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33648640 140735474111451 140735474111626 140735474111626 140735474114511 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51516 KiB
[startup+0.70082 s]
/proc/loadavg: 2.10 2.05 2.05 6/230 6373
/proc/meminfo: memFree=23610864/32770624 swapFree=66976792/67108860
[pid=6357] ppid=6354 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/6357/stat : 6357 (xcsp3-exec) S 6354 6357 4857 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516141467 115843072 364 33554432000 4194304 5098028 140731599562368 140731599560472 140396484215420 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 33071104 140731599569750 140731599570009 140731599570009 140731599572934 0
/proc/6357/statm: 28282 364 305 221 0 87 0
[pid=6359] ppid=6357 vsize=15151156 memory=76116 CPUtime=1.61 cores=0,2,4,6
/proc/6359/stat : 6359 (java) S 6357 6357 4857 0 -1 1077944320 13256 0 0 0 156 5 0 0 20 0 15 0 516141468 15514783744 19029 33554432000 4194304 4196468 140735474105408 140735474087952 140064625409783 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 33648640 140735474111451 140735474111626 140735474111626 140735474114511 0
/proc/6359/statm: 3787789 19029 3464 1 0 3748889 0
[pid=6359/tid=6360] ppid=6357 vsize=15151156 memory=33 CPUtime=0.67 cores=0,2,4,6
/proc/6359/task/6360/stat : 6360 (java) R 6357 6357 4857 0 -1 4202560 8623 0 0 0 64 3 0 0 20 0 15 0 516141468 15514783744 19029 33554432000 4194304 4196468 140735474105408 140064629647872 140064266714944 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33648640 140735474111451 140735474111626 140735474111626 140735474114511 0
[pid=6359/tid=6361] ppid=6357 vsize=15151156 memory=-7816663703405220396 CPUtime=0 cores=0,2,4,6
/proc/6359/task/6361/stat : 6361 (java) S 6357 6357 4857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516141469 15514783744 19029 33554432000 4194304 4196468 140735474105408 140064217553168 140064625419989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33648640 140735474111451 140735474111626 140735474111626 140735474114511 0
[pid=6359/tid=6362] ppid=6357 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6359/task/6362/stat : 6362 (java) S 6357 6357 4857 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516141469 15514783744 19029 33554432000 4194304 4196468 140735474105408 140064216500624 140064625419989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33648640 140735474111451 140735474111626 140735474111626 140735474114511 0
[pid=6359/tid=6363] ppid=6357 vsize=15151156 memory=1660 CPUtime=0 cores=0,2,4,6
/proc/6359/task/6363/stat : 6363 (java) S 6357 6357 4857 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516141469 15514783744 19029 33554432000 4194304 4196468 140735474105408 140064215448080 140064625419989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33648640 140735474111451 140735474111626 140735474111626 140735474114511 0
[pid=6359/tid=6364] ppid=6357 vsize=15151156 memory=66584 CPUtime=0 cores=0,2,4,6
/proc/6359/task/6364/stat : 6364 (java) S 6357 6357 4857 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516141469 15514783744 19029 33554432000 4194304 4196468 140735474105408 140064214395536 140064625419989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33648640 140735474111451 140735474111626 140735474111626 140735474114511 0
[pid=6359/tid=6365] ppid=6357 vsize=15151156 memory=988 CPUtime=0 cores=0,2,4,6
/proc/6359/task/6365/stat : 6365 (java) S 6357 6357 4857 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 516141470 15514783744 19029 33554432000 4194304 4196468 140735474105408 140064093829616 140064625420930 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33648640 140735474111451 140735474111626 140735474111626 140735474114511 0
[pid=6359/tid=6366] ppid=6357 vsize=15151156 memory=2008 CPUtime=0 cores=0,2,4,6
/proc/6359/task/6366/stat : 6366 (java) S 6357 6357 4857 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516141471 15514783744 19029 33554432000 4194304 4196468 140735474105408 140064092775840 140064625419989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33648640 140735474111451 140735474111626 140735474111626 140735474114511 0
[pid=6359/tid=6367] ppid=6357 vsize=15151156 memory=1440 CPUtime=0 cores=0,2,4,6
/proc/6359/task/6367/stat : 6367 (java) S 6357 6357 4857 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516141471 15514783744 19029 33554432000 4194304 4196468 140735474105408 140064091723248 140064625419989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33648640 140735474111451 140735474111626 140735474111626 140735474114511 0
[pid=6359/tid=6368] ppid=6357 vsize=15151156 memory=580 CPUtime=0 cores=0,2,4,6
/proc/6359/task/6368/stat : 6368 (java) S 6357 6357 4857 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516141473 15514783744 19029 33554432000 4194304 4196468 140735474105408 140064090671824 140064625428379 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33648640 140735474111451 140735474111626 140735474111626 140735474114511 0
[pid=6359/tid=6369] ppid=6357 vsize=15151156 memory=1716 CPUtime=0.28 cores=0,2,4,6
/proc/6359/task/6369/stat : 6369 (java) R 6357 6357 4857 0 -1 4202560 1199 0 0 0 28 0 0 0 20 0 15 0 516141473 15514783744 19029 33554432000 4194304 4196468 140735474105408 140064089604440 140064604666308 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33648640 140735474111451 140735474111626 140735474111626 140735474114511 0
[pid=6359/tid=6370] ppid=6357 vsize=15151156 memory=10604 CPUtime=0.25 cores=0,2,4,6
/proc/6359/task/6370/stat : 6370 (java) R 6357 6357 4857 0 -1 4202560 636 0 0 0 25 0 0 0 20 0 15 0 516141473 15514783744 19029 33554432000 4194304 4196468 140735474105408 140064088555472 140064605238595 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33648640 140735474111451 140735474111626 140735474111626 140735474114511 0
[pid=6359/tid=6371] ppid=6357 vsize=15151156 memory=3636 CPUtime=0.37 cores=0,2,4,6
/proc/6359/task/6371/stat : 6371 (java) S 6357 6357 4857 0 -1 1077944384 1486 0 0 0 37 0 0 0 20 0 15 0 516141473 15514783744 19029 33554432000 4194304 4196468 140735474105408 140064087513328 140064625420930 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33648640 140735474111451 140735474111626 140735474111626 140735474114511 0
[pid=6359/tid=6372] ppid=6357 vsize=15151156 memory=776 CPUtime=0 cores=0,2,4,6
/proc/6359/task/6372/stat : 6372 (java) S 6357 6357 4857 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516141473 15514783744 19029 33554432000 4194304 4196468 140735474105408 140064086461024 140064625419989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33648640 140735474111451 140735474111626 140735474111626 140735474114511 0
[pid=6359/tid=6373] ppid=6357 vsize=15151156 memory=1564 CPUtime=0 cores=0,2,4,6
/proc/6359/task/6373/stat : 6373 (java) S 6357 6357 4857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516141474 15514783744 19029 33554432000 4194304 4196468 140735474105408 140064085408560 140064625420930 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33648640 140735474111451 140735474111626 140735474111626 140735474114511 0
Current children cumulated CPU time: 1.61 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 77572 KiB
[startup+1.50081 s]
/proc/loadavg: 2.10 2.05 2.05 3/230 6373
/proc/meminfo: memFree=23595976/32770624 swapFree=66976792/67108860
[pid=6357] ppid=6354 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/6357/stat : 6357 (xcsp3-exec) S 6354 6357 4857 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516141467 115843072 364 33554432000 4194304 5098028 140731599562368 140731599560472 140396484215420 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 33071104 140731599569750 140731599570009 140731599570009 140731599572934 0
/proc/6357/statm: 28282 364 305 221 0 87 0
################
# More data... #
################
/proc/6359/task/6367/stat : 6367 (java) S 6357 6357 4857 0 -1 1077944384 93 0 0 0 0 0 0 0 20 0 15 0 516141471 15514783744 48671 33554432000 4194304 4196468 140735474105408 140064091723264 140064625419989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33648640 140735474111451 140735474111626 140735474111626 140735474114511 0
[pid=6359/tid=6368] ppid=6357 vsize=15151156 memory=3620 CPUtime=0 cores=0,2,4,6
/proc/6359/task/6368/stat : 6368 (java) S 6357 6357 4857 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516141473 15514783744 48671 33554432000 4194304 4196468 140735474105408 140064090671824 140064625428379 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33648640 140735474111451 140735474111626 140735474111626 140735474114511 0
[pid=6359/tid=6369] ppid=6357 vsize=15151156 memory=1660 CPUtime=2.8 cores=0,2,4,6
/proc/6359/task/6369/stat : 6369 (java) S 6357 6357 4857 0 -1 1077944384 24790 0 0 0 277 3 0 0 20 0 15 0 516141473 15514783744 48671 33554432000 4194304 4196468 140735474105408 140064089618416 140064625420930 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33648640 140735474111451 140735474111626 140735474111626 140735474114511 0
[pid=6359/tid=6370] ppid=6357 vsize=15151156 memory=1456 CPUtime=2.87 cores=0,2,4,6
/proc/6359/task/6370/stat : 6370 (java) S 6357 6357 4857 0 -1 1077944384 24923 0 0 0 285 2 0 0 20 0 15 0 516141473 15514783744 48671 33554432000 4194304 4196468 140735474105408 140064088565872 140064625420930 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33648640 140735474111451 140735474111626 140735474111626 140735474114511 0
[pid=6359/tid=6371] ppid=6357 vsize=15151156 memory=1456 CPUtime=0.62 cores=0,2,4,6
/proc/6359/task/6371/stat : 6371 (java) S 6357 6357 4857 0 -1 1077944384 9337 0 0 0 61 1 0 0 20 0 15 0 516141473 15514783744 48671 33554432000 4194304 4196468 140735474105408 140064087513328 140064625420930 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33648640 140735474111451 140735474111626 140735474111626 140735474114511 0
[pid=6359/tid=6372] ppid=6357 vsize=15151156 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/6359/task/6372/stat : 6372 (java) S 6357 6357 4857 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516141473 15514783744 48671 33554432000 4194304 4196468 140735474105408 140064086461024 140064625419989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33648640 140735474111451 140735474111626 140735474111626 140735474114511 0
[pid=6359/tid=6373] ppid=6357 vsize=15151156 memory=1456 CPUtime=0.7 cores=0,2,4,6
/proc/6359/task/6373/stat : 6373 (java) S 6357 6357 4857 0 -1 1077944384 1664 0 0 0 31 39 0 0 20 0 15 0 516141474 15514783744 48671 33554432000 4194304 4196468 140735474105408 140064085408560 140064625420930 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33648640 140735474111451 140735474111626 140735474111626 140735474114511 0
Current children cumulated CPU time: 2450.14 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 196140 KiB
[startup+2502.3 s]
/proc/loadavg: 1.78 1.83 1.90 3/229 6705
/proc/meminfo: memFree=23874096/32770624 swapFree=66976792/67108860
[pid=6357] ppid=6354 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/6357/stat : 6357 (xcsp3-exec) S 6354 6357 4857 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516141467 115843072 364 33554432000 4194304 5098028 140731599562368 140731599560472 140396484215420 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 33071104 140731599569750 140731599570009 140731599570009 140731599572934 0
/proc/6357/statm: 28282 364 305 221 0 87 0
[pid=6359] ppid=6357 vsize=15151156 memory=194704 CPUtime=2510.22 cores=0,2,4,6
/proc/6359/stat : 6359 (java) S 6357 6357 4857 0 -1 1077944320 99249 0 0 0 250962 60 0 0 20 0 15 0 516141468 15514783744 48676 33554432000 4194304 4196468 140735474105408 140735474087952 140064625409783 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 33648640 140735474111451 140735474111626 140735474111626 140735474114511 0
/proc/6359/statm: 3787789 48676 3516 1 0 3748889 0
[pid=6359/tid=6360] ppid=6357 vsize=15151156 memory=194684 CPUtime=2501.1 cores=0,2,4,6
/proc/6359/task/6360/stat : 6360 (java) R 6357 6357 4857 0 -1 4202560 20595 0 0 0 250103 7 0 0 20 0 15 0 516141468 15514783744 48676 33554432000 4194304 4196468 140735474105408 140064629649584 140064269138897 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33648640 140735474111451 140735474111626 140735474111626 140735474114511 0
[pid=6359/tid=6361] ppid=6357 vsize=15151156 memory=194684 CPUtime=0.43 cores=0,2,4,6
/proc/6359/task/6361/stat : 6361 (java) S 6357 6357 4857 0 -1 1077944384 3115 0 0 0 39 4 0 0 20 0 15 0 516141469 15514783744 48676 33554432000 4194304 4196468 140735474105408 140064217553168 140064625419989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33648640 140735474111451 140735474111626 140735474111626 140735474114511 0
[pid=6359/tid=6362] ppid=6357 vsize=15151156 memory=194684 CPUtime=0.42 cores=0,2,4,6
/proc/6359/task/6362/stat : 6362 (java) S 6357 6357 4857 0 -1 1077944384 2913 0 0 0 38 4 0 0 20 0 15 0 516141469 15514783744 48676 33554432000 4194304 4196468 140735474105408 140064216500624 140064625419989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33648640 140735474111451 140735474111626 140735474111626 140735474114511 0
[pid=6359/tid=6363] ppid=6357 vsize=15151156 memory=194704 CPUtime=0.43 cores=0,2,4,6
/proc/6359/task/6363/stat : 6363 (java) S 6357 6357 4857 0 -1 1077944384 2923 0 0 0 38 5 0 0 20 0 15 0 516141469 15514783744 48676 33554432000 4194304 4196468 140735474105408 140064215448080 140064625419989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33648640 140735474111451 140735474111626 140735474111626 140735474114511 0
[pid=6359/tid=6364] ppid=6357 vsize=15151156 memory=194684 CPUtime=0.43 cores=0,2,4,6
/proc/6359/task/6364/stat : 6364 (java) S 6357 6357 4857 0 -1 1077944384 2832 0 0 0 40 3 0 0 20 0 15 0 516141469 15514783744 48676 33554432000 4194304 4196468 140735474105408 140064214395536 140064625419989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33648640 140735474111451 140735474111626 140735474111626 140735474114511 0
[pid=6359/tid=6365] ppid=6357 vsize=15151156 memory=194684 CPUtime=0.32 cores=0,2,4,6
/proc/6359/task/6365/stat : 6365 (java) S 6357 6357 4857 0 -1 1077944384 4687 0 0 0 26 6 0 0 20 0 15 0 516141470 15514783744 48676 33554432000 4194304 4196468 140735474105408 140064093829616 140064625420930 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33648640 140735474111451 140735474111626 140735474111626 140735474114511 0
[pid=6359/tid=6366] ppid=6357 vsize=15151156 memory=194684 CPUtime=0 cores=0,2,4,6
/proc/6359/task/6366/stat : 6366 (java) S 6357 6357 4857 0 -1 1077944384 103 0 0 0 0 0 0 0 20 0 15 0 516141471 15514783744 48676 33554432000 4194304 4196468 140735474105408 140064092775904 140064625419989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33648640 140735474111451 140735474111626 140735474111626 140735474114511 0
[pid=6359/tid=6367] ppid=6357 vsize=15151156 memory=3620 CPUtime=0 cores=0,2,4,6
/proc/6359/task/6367/stat : 6367 (java) S 6357 6357 4857 0 -1 1077944384 93 0 0 0 0 0 0 0 20 0 15 0 516141471 15514783744 48676 33554432000 4194304 4196468 140735474105408 140064091723264 140064625419989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33648640 140735474111451 140735474111626 140735474111626 140735474114511 0
[pid=6359/tid=6368] ppid=6357 vsize=15151156 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/6359/task/6368/stat : 6368 (java) S 6357 6357 4857 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516141473 15514783744 48676 33554432000 4194304 4196468 140735474105408 140064090671824 140064625428379 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33648640 140735474111451 140735474111626 140735474111626 140735474114511 0
[pid=6359/tid=6369] ppid=6357 vsize=15151156 memory=1456 CPUtime=2.8 cores=0,2,4,6
/proc/6359/task/6369/stat : 6369 (java) S 6357 6357 4857 0 -1 1077944384 24792 0 0 0 277 3 0 0 20 0 15 0 516141473 15514783744 48676 33554432000 4194304 4196468 140735474105408 140064089618416 140064625420930 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33648640 140735474111451 140735474111626 140735474111626 140735474114511 0
[pid=6359/tid=6370] ppid=6357 vsize=15151156 memory=4126316290023845779 CPUtime=2.87 cores=0,2,4,6
/proc/6359/task/6370/stat : 6370 (java) S 6357 6357 4857 0 -1 1077944384 24925 0 0 0 285 2 0 0 20 0 15 0 516141473 15514783744 48676 33554432000 4194304 4196468 140735474105408 140064088565872 140064625420930 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33648640 140735474111451 140735474111626 140735474111626 140735474114511 0
[pid=6359/tid=6371] ppid=6357 vsize=15151156 memory=111636 CPUtime=0.62 cores=0,2,4,6
/proc/6359/task/6371/stat : 6371 (java) S 6357 6357 4857 0 -1 1077944384 9340 0 0 0 61 1 0 0 20 0 15 0 516141473 15514783744 48676 33554432000 4194304 4196468 140735474105408 140064087513328 140064625420930 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33648640 140735474111451 140735474111626 140735474111626 140735474114511 0
[pid=6359/tid=6372] ppid=6357 vsize=15151156 memory=194684 CPUtime=0 cores=0,2,4,6
/proc/6359/task/6372/stat : 6372 (java) S 6357 6357 4857 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516141473 15514783744 48676 33554432000 4194304 4196468 140735474105408 140064086461024 140064625419989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33648640 140735474111451 140735474111626 140735474111626 140735474114511 0
[pid=6359/tid=6373] ppid=6357 vsize=15151156 memory=3620 CPUtime=0.71 cores=0,2,4,6
/proc/6359/task/6373/stat : 6373 (java) S 6357 6357 4857 0 -1 1077944384 1686 0 0 0 32 39 0 0 20 0 15 0 516141474 15514783744 48676 33554432000 4194304 4196468 140735474105408 140064085408560 140064625420930 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33648640 140735474111451 140735474111626 140735474111626 140735474114511 0
Current children cumulated CPU time: 2510.22 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 196160 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2512.11 s]
/proc/loadavg: 1.81 1.83 1.90 3/229 6706
/proc/meminfo: memFree=23874220/32770624 swapFree=66976792/67108860
[pid=6357] ppid=6354 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/6357/stat : 6357 (xcsp3-exec) S 6354 6357 4857 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516141467 115843072 364 33554432000 4194304 5098028 140731599562368 140731599560472 140396484215420 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 33071104 140731599569750 140731599570009 140731599570009 140731599572934 0
/proc/6357/statm: 28282 364 305 221 0 87 0
[pid=6359] ppid=6357 vsize=15151156 memory=194704 CPUtime=2520.05 cores=0,2,4,6
/proc/6359/stat : 6359 (java) S 6357 6357 4857 0 -1 1077944320 99274 0 0 0 251944 61 0 0 20 0 15 0 516141468 15514783744 48676 33554432000 4194304 4196468 140735474105408 140735474087952 140064625409783 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 33648640 140735474111451 140735474111626 140735474111626 140735474114511 0
/proc/6359/statm: 3787789 48676 3516 1 0 3748889 0
[pid=6359/tid=6360] ppid=6357 vsize=15151156 memory=194704 CPUtime=2510.9 cores=0,2,4,6
/proc/6359/task/6360/stat : 6360 (java) R 6357 6357 4857 0 -1 4202560 20607 0 0 0 251083 7 0 0 20 0 15 0 516141468 15514783744 48676 33554432000 4194304 4196468 140735474105408 140064629649408 140064268926061 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33648640 140735474111451 140735474111626 140735474111626 140735474114511 0
[pid=6359/tid=6361] ppid=6357 vsize=15151156 memory=3204 CPUtime=0.43 cores=0,2,4,6
/proc/6359/task/6361/stat : 6361 (java) S 6357 6357 4857 0 -1 1077944384 3118 0 0 0 39 4 0 0 20 0 15 0 516141469 15514783744 48676 33554432000 4194304 4196468 140735474105408 140064217553168 140064625419989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33648640 140735474111451 140735474111626 140735474111626 140735474114511 0
[pid=6359/tid=6362] ppid=6357 vsize=15151156 memory=194704 CPUtime=0.42 cores=0,2,4,6
/proc/6359/task/6362/stat : 6362 (java) S 6357 6357 4857 0 -1 1077944384 2914 0 0 0 38 4 0 0 20 0 15 0 516141469 15514783744 48676 33554432000 4194304 4196468 140735474105408 140064216500624 140064625419989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33648640 140735474111451 140735474111626 140735474111626 140735474114511 0
[pid=6359/tid=6363] ppid=6357 vsize=15151156 memory=1456 CPUtime=0.43 cores=0,2,4,6
/proc/6359/task/6363/stat : 6363 (java) S 6357 6357 4857 0 -1 1077944384 2925 0 0 0 38 5 0 0 20 0 15 0 516141469 15514783744 48676 33554432000 4194304 4196468 140735474105408 140064215448080 140064625419989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33648640 140735474111451 140735474111626 140735474111626 140735474114511 0
[pid=6359/tid=6364] ppid=6357 vsize=15151156 memory=72 CPUtime=0.43 cores=0,2,4,6
/proc/6359/task/6364/stat : 6364 (java) S 6357 6357 4857 0 -1 1077944384 2834 0 0 0 40 3 0 0 20 0 15 0 516141469 15514783744 48676 33554432000 4194304 4196468 140735474105408 140064214395536 140064625419989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33648640 140735474111451 140735474111626 140735474111626 140735474114511 0
[pid=6359/tid=6365] ppid=6357 vsize=15151156 memory=1456 CPUtime=0.32 cores=0,2,4,6
/proc/6359/task/6365/stat : 6365 (java) S 6357 6357 4857 0 -1 1077944384 4692 0 0 0 26 6 0 0 20 0 15 0 516141470 15514783744 48676 33554432000 4194304 4196468 140735474105408 140064093829616 140064625420930 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33648640 140735474111451 140735474111626 140735474111626 140735474114511 0
[pid=6359/tid=6366] ppid=6357 vsize=15151156 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/6359/task/6366/stat : 6366 (java) S 6357 6357 4857 0 -1 1077944384 103 0 0 0 0 0 0 0 20 0 15 0 516141471 15514783744 48676 33554432000 4194304 4196468 140735474105408 140064092775904 140064625419989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33648640 140735474111451 140735474111626 140735474111626 140735474114511 0
[pid=6359/tid=6367] ppid=6357 vsize=15151156 memory=194704 CPUtime=0 cores=0,2,4,6
/proc/6359/task/6367/stat : 6367 (java) S 6357 6357 4857 0 -1 1077944384 93 0 0 0 0 0 0 0 20 0 15 0 516141471 15514783744 48676 33554432000 4194304 4196468 140735474105408 140064091723264 140064625419989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33648640 140735474111451 140735474111626 140735474111626 140735474114511 0
[pid=6359/tid=6368] ppid=6357 vsize=15151156 memory=194704 CPUtime=0 cores=0,2,4,6
/proc/6359/task/6368/stat : 6368 (java) S 6357 6357 4857 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516141473 15514783744 48676 33554432000 4194304 4196468 140735474105408 140064090671824 140064625428379 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33648640 140735474111451 140735474111626 140735474111626 140735474114511 0
[pid=6359/tid=6369] ppid=6357 vsize=15151156 memory=3620 CPUtime=2.8 cores=0,2,4,6
/proc/6359/task/6369/stat : 6369 (java) S 6357 6357 4857 0 -1 1077944384 24792 0 0 0 277 3 0 0 20 0 15 0 516141473 15514783744 48676 33554432000 4194304 4196468 140735474105408 140064089618416 140064625420930 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33648640 140735474111451 140735474111626 140735474111626 140735474114511 0
[pid=6359/tid=6370] ppid=6357 vsize=15151156 memory=194684 CPUtime=2.87 cores=0,2,4,6
/proc/6359/task/6370/stat : 6370 (java) S 6357 6357 4857 0 -1 1077944384 24925 0 0 0 285 2 0 0 20 0 15 0 516141473 15514783744 48676 33554432000 4194304 4196468 140735474105408 140064088565872 140064625420930 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33648640 140735474111451 140735474111626 140735474111626 140735474114511 0
[pid=6359/tid=6371] ppid=6357 vsize=15151156 memory=1456 CPUtime=0.62 cores=0,2,4,6
/proc/6359/task/6371/stat : 6371 (java) S 6357 6357 4857 0 -1 1077944384 9340 0 0 0 61 1 0 0 20 0 15 0 516141473 15514783744 48676 33554432000 4194304 4196468 140735474105408 140064087513328 140064625420930 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33648640 140735474111451 140735474111626 140735474111626 140735474114511 0
[pid=6359/tid=6372] ppid=6357 vsize=15151156 memory=8112282956445269571 CPUtime=0 cores=0,2,4,6
/proc/6359/task/6372/stat : 6372 (java) S 6357 6357 4857 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516141473 15514783744 48676 33554432000 4194304 4196468 140735474105408 140064086461024 140064625419989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33648640 140735474111451 140735474111626 140735474111626 140735474114511 0
[pid=6359/tid=6373] ppid=6357 vsize=15151156 memory=111636 CPUtime=0.72 cores=0,2,4,6
/proc/6359/task/6373/stat : 6373 (java) S 6357 6357 4857 0 -1 1077944384 1686 0 0 0 32 40 0 0 20 0 15 0 516141474 15514783744 48676 33554432000 4194304 4196468 140735474105408 140064085408560 140064625420930 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33648640 140735474111451 140735474111626 140735474111626 140735474114511 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 196160 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2512.12 s]
# the end of solver process 6357 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.001134 s, system=0.001134 s
[startup+2512.13 s]
# the end of solver process 6359 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.46 s, system=0.616234 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+2512.11 s]
/proc/loadavg: 1.81 1.83 1.90 3/229 6706
/proc/meminfo: memFree=23874220/32770624 swapFree=66976792/67108860
[pid=6357] ppid=6354 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/6357/stat : 6357 (xcsp3-exec) S 6354 6357 4857 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516141467 115843072 364 33554432000 4194304 5098028 140731599562368 140731599560472 140396484215420 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 33071104 140731599569750 140731599570009 140731599570009 140731599572934 0
/proc/6357/statm: 28282 364 305 221 0 87 0
[pid=6359] ppid=6357 vsize=15151156 memory=194704 CPUtime=2520.05 cores=0,2,4,6
/proc/6359/stat : 6359 (java) S 6357 6357 4857 0 -1 1077944320 99274 0 0 0 251944 61 0 0 20 0 15 0 516141468 15514783744 48676 33554432000 4194304 4196468 140735474105408 140735474087952 140064625409783 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 33648640 140735474111451 140735474111626 140735474111626 140735474114511 0
/proc/6359/statm: 3787789 48676 3516 1 0 3748889 0
[pid=6359/tid=6360] ppid=6357 vsize=15151156 memory=194704 CPUtime=2510.9 cores=0,2,4,6
/proc/6359/task/6360/stat : 6360 (java) R 6357 6357 4857 0 -1 4202560 20607 0 0 0 251083 7 0 0 20 0 15 0 516141468 15514783744 48676 33554432000 4194304 4196468 140735474105408 140064629649408 140064268926061 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33648640 140735474111451 140735474111626 140735474111626 140735474114511 0
[pid=6359/tid=6361] ppid=6357 vsize=15151156 memory=3204 CPUtime=0.43 cores=0,2,4,6
/proc/6359/task/6361/stat : 6361 (java) S 6357 6357 4857 0 -1 1077944384 3118 0 0 0 39 4 0 0 20 0 15 0 516141469 15514783744 48676 33554432000 4194304 4196468 140735474105408 140064217553168 140064625419989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33648640 140735474111451 140735474111626 140735474111626 140735474114511 0
[pid=6359/tid=6362] ppid=6357 vsize=15151156 memory=194704 CPUtime=0.42 cores=0,2,4,6
/proc/6359/task/6362/stat : 6362 (java) S 6357 6357 4857 0 -1 1077944384 2914 0 0 0 38 4 0 0 20 0 15 0 516141469 15514783744 48676 33554432000 4194304 4196468 140735474105408 140064216500624 140064625419989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33648640 140735474111451 140735474111626 140735474111626 140735474114511 0
[pid=6359/tid=6363] ppid=6357 vsize=15151156 memory=1456 CPUtime=0.43 cores=0,2,4,6
/proc/6359/task/6363/stat : 6363 (java) S 6357 6357 4857 0 -1 1077944384 2925 0 0 0 38 5 0 0 20 0 15 0 516141469 15514783744 48676 33554432000 4194304 4196468 140735474105408 140064215448080 140064625419989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33648640 140735474111451 140735474111626 140735474111626 140735474114511 0
[pid=6359/tid=6364] ppid=6357 vsize=15151156 memory=72 CPUtime=0.43 cores=0,2,4,6
/proc/6359/task/6364/stat : 6364 (java) S 6357 6357 4857 0 -1 1077944384 2834 0 0 0 40 3 0 0 20 0 15 0 516141469 15514783744 48676 33554432000 4194304 4196468 140735474105408 140064214395536 140064625419989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33648640 140735474111451 140735474111626 140735474111626 140735474114511 0
[pid=6359/tid=6365] ppid=6357 vsize=15151156 memory=1456 CPUtime=0.32 cores=0,2,4,6
/proc/6359/task/6365/stat : 6365 (java) S 6357 6357 4857 0 -1 1077944384 4692 0 0 0 26 6 0 0 20 0 15 0 516141470 15514783744 48676 33554432000 4194304 4196468 140735474105408 140064093829616 140064625420930 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33648640 140735474111451 140735474111626 140735474111626 140735474114511 0
[pid=6359/tid=6366] ppid=6357 vsize=15151156 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/6359/task/6366/stat : 6366 (java) S 6357 6357 4857 0 -1 1077944384 103 0 0 0 0 0 0 0 20 0 15 0 516141471 15514783744 48676 33554432000 4194304 4196468 140735474105408 140064092775904 140064625419989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33648640 140735474111451 140735474111626 140735474111626 140735474114511 0
[pid=6359/tid=6367] ppid=6357 vsize=15151156 memory=194704 CPUtime=0 cores=0,2,4,6
/proc/6359/task/6367/stat : 6367 (java) S 6357 6357 4857 0 -1 1077944384 93 0 0 0 0 0 0 0 20 0 15 0 516141471 15514783744 48676 33554432000 4194304 4196468 140735474105408 140064091723264 140064625419989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33648640 140735474111451 140735474111626 140735474111626 140735474114511 0
[pid=6359/tid=6368] ppid=6357 vsize=15151156 memory=194704 CPUtime=0 cores=0,2,4,6
/proc/6359/task/6368/stat : 6368 (java) S 6357 6357 4857 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516141473 15514783744 48676 33554432000 4194304 4196468 140735474105408 140064090671824 140064625428379 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33648640 140735474111451 140735474111626 140735474111626 140735474114511 0
[pid=6359/tid=6369] ppid=6357 vsize=15151156 memory=3620 CPUtime=2.8 cores=0,2,4,6
/proc/6359/task/6369/stat : 6369 (java) S 6357 6357 4857 0 -1 1077944384 24792 0 0 0 277 3 0 0 20 0 15 0 516141473 15514783744 48676 33554432000 4194304 4196468 140735474105408 140064089618416 140064625420930 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33648640 140735474111451 140735474111626 140735474111626 140735474114511 0
[pid=6359/tid=6370] ppid=6357 vsize=15151156 memory=194684 CPUtime=2.87 cores=0,2,4,6
/proc/6359/task/6370/stat : 6370 (java) S 6357 6357 4857 0 -1 1077944384 24925 0 0 0 285 2 0 0 20 0 15 0 516141473 15514783744 48676 33554432000 4194304 4196468 140735474105408 140064088565872 140064625420930 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33648640 140735474111451 140735474111626 140735474111626 140735474114511 0
[pid=6359/tid=6371] ppid=6357 vsize=15151156 memory=1456 CPUtime=0.62 cores=0,2,4,6
/proc/6359/task/6371/stat : 6371 (java) S 6357 6357 4857 0 -1 1077944384 9340 0 0 0 61 1 0 0 20 0 15 0 516141473 15514783744 48676 33554432000 4194304 4196468 140735474105408 140064087513328 140064625420930 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33648640 140735474111451 140735474111626 140735474111626 140735474114511 0
[pid=6359/tid=6372] ppid=6357 vsize=15151156 memory=8112282956445269571 CPUtime=0 cores=0,2,4,6
/proc/6359/task/6372/stat : 6372 (java) S 6357 6357 4857 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516141473 15514783744 48676 33554432000 4194304 4196468 140735474105408 140064086461024 140064625419989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33648640 140735474111451 140735474111626 140735474111626 140735474114511 0
[pid=6359/tid=6373] ppid=6357 vsize=15151156 memory=111636 CPUtime=0.72 cores=0,2,4,6
/proc/6359/task/6373/stat : 6373 (java) S 6357 6357 4857 0 -1 1077944384 1686 0 0 0 32 40 0 0 20 0 15 0 516141474 15514783744 48676 33554432000 4194304 4196468 140735474105408 140064085408560 140064625420930 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33648640 140735474111451 140735474111626 140735474111626 140735474114511 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 196160 KiB
Child status: 143
Real time (s): 2512.13
CPU time (s): 2520.08
CPU user time (s): 2519.46
CPU system time (s): 0.616234
CPU usage (%): 100.316
Max. virtual memory (cumulated for all children) (KiB): 15268732
Max. memory (cumulated for all children) (KiB): 226116
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.46
system time used= 0.616234
maximum resident set size= 229764
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 100266
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2752
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 64703
involuntary context switches= 7777
# summary of solver processes directly reported to runsolver:
# pid: 6357,6359
# total CPU time (s): 2520.08
# total CPU user time (s): 2519.46
# total CPU system time (s): 0.616234
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.5475 second user time and 18.3124 second system time
The end