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 (1545 MiB free)
memory of node 1: 16384 MiB (6072 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4403566-1568993777/watcher-4403566-1568993777 -o /var/tmp/evaluation-result-4403566-1568993777/solver-4403566-1568993777 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node133-1568990876-1248 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 1095528236 HOME/instance-4403566-1568993777.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=5664, runsolver pid=5661
[startup+0.100127 s]*
/proc/loadavg: 8.08 8.41 8.27 8/238 5680
/proc/meminfo: memFree=7782880/32770624 swapFree=67001892/67108860
[pid=5664] ppid=5661 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/5664/stat : 5664 (xcsp3-exec) S 5661 5664 1216 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475617241 115843072 363 33554432000 4194304 5098028 140723407965136 140723407963240 140539145384572 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 36319232 140723407971158 140723407971417 140723407971417 140723407974342 0
/proc/5664/statm: 28282 363 305 221 0 87 0
[pid=5666] ppid=5664 vsize=15144776 memory=29632 CPUtime=0.13 cores=1,3,5,7
/proc/5666/stat : 5666 (java) S 5664 5664 1216 0 -1 1077944320 5829 0 0 0 12 1 0 0 20 0 15 0 475617241 15508250624 7408 33554432000 4194304 4196468 140729029234048 140729029216592 139747583340279 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 7704576 140729029239771 140729029239946 140729029239946 140729029242831 0
/proc/5666/statm: 3786194 7408 3190 1 0 3748377 0
[pid=5666/tid=5667] ppid=5664 vsize=15144776 memory=8189415076375270235 CPUtime=0.09 cores=1,3,5,7
/proc/5666/task/5667/stat : 5667 (java) R 5664 5664 1216 0 -1 4202560 3713 0 0 0 9 0 0 0 20 0 15 0 475617241 15508250624 7408 33554432000 4194304 4196468 140729029234048 139747587561552 139747583352214 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7704576 140729029239771 140729029239946 140729029239946 140729029242831 0
[pid=5666/tid=5668] ppid=5664 vsize=15144776 memory=-3689451258167578675 CPUtime=0 cores=1,3,5,7
/proc/5666/task/5668/stat : 5668 (java) S 5664 5664 1216 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475617242 15508250624 7408 33554432000 4194304 4196468 140729029234048 139747511380880 139747583350485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7704576 140729029239771 140729029239946 140729029239946 140729029242831 0
[pid=5666/tid=5669] ppid=5664 vsize=15144776 memory=140101066561152 CPUtime=0 cores=1,3,5,7
/proc/5666/task/5669/stat : 5669 (java) S 5664 5664 1216 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475617242 15508250624 7408 33554432000 4194304 4196468 140729029234048 139747510328080 139747583350485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7704576 140729029239771 140729029239946 140729029239946 140729029242831 0
[pid=5666/tid=5670] ppid=5664 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5666/task/5670/stat : 5670 (java) S 5664 5664 1216 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475617242 15508250624 7408 33554432000 4194304 4196468 140729029234048 139747509275792 139747583350485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7704576 140729029239771 140729029239946 140729029239946 140729029242831 0
[pid=5666/tid=5671] ppid=5664 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5666/task/5671/stat : 5671 (java) S 5664 5664 1216 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475617242 15508250624 7408 33554432000 4194304 4196468 140729029234048 139747508222992 139747583350485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7704576 140729029239771 140729029239946 140729029239946 140729029242831 0
[pid=5666/tid=5672] ppid=5664 vsize=15144776 memory=140101066561152 CPUtime=0 cores=1,3,5,7
/proc/5666/task/5672/stat : 5672 (java) S 5664 5664 1216 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475617243 15508250624 7408 33554432000 4194304 4196468 140729029234048 139747051972720 139747583351426 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7704576 140729029239771 140729029239946 140729029239946 140729029242831 0
[pid=5666/tid=5673] ppid=5664 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5666/task/5673/stat : 5673 (java) S 5664 5664 1216 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475617244 15508250624 7408 33554432000 4194304 4196468 140729029234048 139747050918688 139747583350485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7704576 140729029239771 140729029239946 140729029239946 140729029242831 0
[pid=5666/tid=5674] ppid=5664 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5666/task/5674/stat : 5674 (java) S 5664 5664 1216 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475617244 15508250624 7408 33554432000 4194304 4196468 140729029234048 139747049866352 139747583350485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7704576 140729029239771 140729029239946 140729029239946 140729029242831 0
[pid=5666/tid=5675] ppid=5664 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5666/task/5675/stat : 5675 (java) S 5664 5664 1216 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475617246 15508250624 7408 33554432000 4194304 4196468 140729029234048 139747048814672 139747583358875 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7704576 140729029239771 140729029239946 140729029239946 140729029242831 0
[pid=5666/tid=5676] ppid=5664 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5666/task/5676/stat : 5676 (java) S 5664 5664 1216 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 15 0 475617246 15508250624 7408 33554432000 4194304 4196468 140729029234048 139747047762544 139747583351426 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7704576 140729029239771 140729029239946 140729029239946 140729029242831 0
[pid=5666/tid=5677] ppid=5664 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5666/task/5677/stat : 5677 (java) S 5664 5664 1216 0 -1 1077944384 174 0 0 0 0 0 0 0 20 0 15 0 475617246 15508250624 7408 33554432000 4194304 4196468 140729029234048 139747046709744 139747583351426 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7704576 140729029239771 140729029239946 140729029239946 140729029242831 0
[pid=5666/tid=5678] ppid=5664 vsize=15144776 memory=140101066561152 CPUtime=0.02 cores=1,3,5,7
/proc/5666/task/5678/stat : 5678 (java) R 5664 5664 1216 0 -1 4202560 340 0 0 0 2 0 0 0 20 0 15 0 475617246 15508250624 7408 33554432000 4194304 4196468 140729029234048 139747045657456 139747562045016 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7704576 140729029239771 140729029239946 140729029239946 140729029242831 0
[pid=5666/tid=5679] ppid=5664 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5666/task/5679/stat : 5679 (java) S 5664 5664 1216 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475617246 15508250624 7408 33554432000 4194304 4196468 140729029234048 139747044604896 139747583350485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7704576 140729029239771 140729029239946 140729029239946 140729029242831 0
[pid=5666/tid=5680] ppid=5664 vsize=15144776 memory=140101066561152 CPUtime=0 cores=1,3,5,7
/proc/5666/task/5680/stat : 5680 (java) S 5664 5664 1216 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475617247 15508250624 7408 33554432000 4194304 4196468 140729029234048 139747043551664 139747583351426 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7704576 140729029239771 140729029239946 140729029239946 140729029242831 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 31084 KiB
[startup+0.211163 s]*
/proc/loadavg: 8.08 8.41 8.27 7/238 5680
/proc/meminfo: memFree=7771280/32770624 swapFree=67001892/67108860
[pid=5664] ppid=5661 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/5664/stat : 5664 (xcsp3-exec) S 5661 5664 1216 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475617241 115843072 363 33554432000 4194304 5098028 140723407965136 140723407963240 140539145384572 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 36319232 140723407971158 140723407971417 140723407971417 140723407974342 0
/proc/5664/statm: 28282 363 305 221 0 87 0
[pid=5666] ppid=5664 vsize=15144776 memory=40940 CPUtime=0.34 cores=1,3,5,7
/proc/5666/stat : 5666 (java) S 5664 5664 1216 0 -1 1077944320 9452 0 0 0 32 2 0 0 20 0 15 0 475617241 15508250624 10235 33554432000 4194304 4196468 140729029234048 140729029216592 139747583340279 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 7704576 140729029239771 140729029239946 140729029239946 140729029242831 0
/proc/5666/statm: 3786194 10235 3300 1 0 3748377 0
[pid=5666/tid=5667] ppid=5664 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/5666/task/5667/stat : 5667 (java) R 5664 5664 1216 0 -1 4202560 6632 0 0 0 19 1 0 0 20 0 15 0 475617241 15508250624 10235 33554432000 4194304 4196468 140729029234048 139747587575264 139747567383909 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7704576 140729029239771 140729029239946 140729029239946 140729029242831 0
[pid=5666/tid=5668] ppid=5664 vsize=15144776 memory=13589 CPUtime=0 cores=1,3,5,7
/proc/5666/task/5668/stat : 5668 (java) S 5664 5664 1216 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475617242 15508250624 10235 33554432000 4194304 4196468 140729029234048 139747511380880 139747583350485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7704576 140729029239771 140729029239946 140729029239946 140729029242831 0
[pid=5666/tid=5669] ppid=5664 vsize=15144776 memory=140101069652898 CPUtime=0 cores=1,3,5,7
/proc/5666/task/5669/stat : 5669 (java) S 5664 5664 1216 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475617242 15508250624 10235 33554432000 4194304 4196468 140729029234048 139747510328080 139747583350485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7704576 140729029239771 140729029239946 140729029239946 140729029242831 0
[pid=5666/tid=5670] ppid=5664 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5666/task/5670/stat : 5670 (java) S 5664 5664 1216 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475617242 15508250624 10235 33554432000 4194304 4196468 140729029234048 139747509275792 139747583350485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7704576 140729029239771 140729029239946 140729029239946 140729029242831 0
[pid=5666/tid=5671] ppid=5664 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5666/task/5671/stat : 5671 (java) S 5664 5664 1216 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475617242 15508250624 10235 33554432000 4194304 4196468 140729029234048 139747508222992 139747583350485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7704576 140729029239771 140729029239946 140729029239946 140729029242831 0
[pid=5666/tid=5672] ppid=5664 vsize=15144776 memory=140101066561152 CPUtime=0 cores=1,3,5,7
/proc/5666/task/5672/stat : 5672 (java) S 5664 5664 1216 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475617243 15508250624 10235 33554432000 4194304 4196468 140729029234048 139747051972720 139747583351426 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7704576 140729029239771 140729029239946 140729029239946 140729029242831 0
[pid=5666/tid=5673] ppid=5664 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5666/task/5673/stat : 5673 (java) S 5664 5664 1216 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475617244 15508250624 10235 33554432000 4194304 4196468 140729029234048 139747050918688 139747583350485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7704576 140729029239771 140729029239946 140729029239946 140729029242831 0
[pid=5666/tid=5674] ppid=5664 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5666/task/5674/stat : 5674 (java) S 5664 5664 1216 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475617244 15508250624 10235 33554432000 4194304 4196468 140729029234048 139747049866352 139747583350485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7704576 140729029239771 140729029239946 140729029239946 140729029242831 0
[pid=5666/tid=5675] ppid=5664 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5666/task/5675/stat : 5675 (java) S 5664 5664 1216 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475617246 15508250624 10235 33554432000 4194304 4196468 140729029234048 139747048814672 139747583358875 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7704576 140729029239771 140729029239946 140729029239946 140729029242831 0
[pid=5666/tid=5676] ppid=5664 vsize=15144776 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/5666/task/5676/stat : 5676 (java) S 5664 5664 1216 0 -1 1077944384 348 0 0 0 1 0 0 0 20 0 15 0 475617246 15508250624 10235 33554432000 4194304 4196468 140729029234048 139747047762544 139747583351426 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7704576 140729029239771 140729029239946 140729029239946 140729029242831 0
[pid=5666/tid=5677] ppid=5664 vsize=15144776 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/5666/task/5677/stat : 5677 (java) S 5664 5664 1216 0 -1 1077944384 419 0 0 0 3 0 0 0 20 0 15 0 475617246 15508250624 10235 33554432000 4194304 4196468 140729029234048 139747046709744 139747583351426 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7704576 140729029239771 140729029239946 140729029239946 140729029242831 0
[pid=5666/tid=5678] ppid=5664 vsize=15144776 memory=140101066561152 CPUtime=0.08 cores=1,3,5,7
/proc/5666/task/5678/stat : 5678 (java) R 5664 5664 1216 0 -1 4202560 755 0 0 0 8 0 0 0 20 0 15 0 475617246 15508250624 10235 33554432000 4194304 4196468 140729029234048 139747045657456 139747583361626 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7704576 140729029239771 140729029239946 140729029239946 140729029242831 0
[pid=5666/tid=5679] ppid=5664 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5666/task/5679/stat : 5679 (java) S 5664 5664 1216 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475617246 15508250624 10235 33554432000 4194304 4196468 140729029234048 139747044604896 139747583350485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7704576 140729029239771 140729029239946 140729029239946 140729029242831 0
[pid=5666/tid=5680] ppid=5664 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5666/task/5680/stat : 5680 (java) S 5664 5664 1216 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475617247 15508250624 10235 33554432000 4194304 4196468 140729029234048 139747043551664 139747583351426 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7704576 140729029239771 140729029239946 140729029239946 140729029242831 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42392 KiB
[startup+0.315851 s]*
/proc/loadavg: 8.08 8.41 8.27 7/238 5680
/proc/meminfo: memFree=7763032/32770624 swapFree=67001892/67108860
[pid=5664] ppid=5661 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/5664/stat : 5664 (xcsp3-exec) S 5661 5664 1216 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475617241 115843072 363 33554432000 4194304 5098028 140723407965136 140723407963240 140539145384572 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 36319232 140723407971158 140723407971417 140723407971417 140723407974342 0
/proc/5664/statm: 28282 363 305 221 0 87 0
[pid=5666] ppid=5664 vsize=15149032 memory=50412 CPUtime=0.54 cores=1,3,5,7
/proc/5666/stat : 5666 (java) S 5664 5664 1216 0 -1 1077944320 10906 0 0 0 51 3 0 0 20 0 15 0 475617241 15512608768 12603 33554432000 4194304 4196468 140729029234048 140729029216592 139747583340279 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 7704576 140729029239771 140729029239946 140729029239946 140729029242831 0
/proc/5666/statm: 3787258 12603 3365 1 0 3748377 0
[pid=5666/tid=5667] ppid=5664 vsize=15149032 memory=7883960649037381690 CPUtime=0.3 cores=1,3,5,7
/proc/5666/task/5667/stat : 5667 (java) R 5664 5664 1216 0 -1 4202560 7887 0 0 0 28 2 0 0 20 0 15 0 475617241 15512608768 12611 33554432000 4194304 4196468 140729029234048 139747587571392 139747567420766 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7704576 140729029239771 140729029239946 140729029239946 140729029242831 0
[pid=5666/tid=5668] ppid=5664 vsize=15149032 memory=13951 CPUtime=0 cores=1,3,5,7
/proc/5666/task/5668/stat : 5668 (java) S 5664 5664 1216 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475617242 15512608768 12611 33554432000 4194304 4196468 140729029234048 139747511380880 139747583350485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7704576 140729029239771 140729029239946 140729029239946 140729029242831 0
[pid=5666/tid=5669] ppid=5664 vsize=15149032 memory=3573201 CPUtime=0 cores=1,3,5,7
/proc/5666/task/5669/stat : 5669 (java) S 5664 5664 1216 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475617242 15512608768 12611 33554432000 4194304 4196468 140729029234048 139747510328080 139747583350485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7704576 140729029239771 140729029239946 140729029239946 140729029242831 0
[pid=5666/tid=5670] ppid=5664 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5666/task/5670/stat : 5670 (java) S 5664 5664 1216 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475617242 15512608768 12611 33554432000 4194304 4196468 140729029234048 139747509275792 139747583350485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7704576 140729029239771 140729029239946 140729029239946 140729029242831 0
[pid=5666/tid=5671] ppid=5664 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5666/task/5671/stat : 5671 (java) S 5664 5664 1216 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475617242 15512608768 12611 33554432000 4194304 4196468 140729029234048 139747508222992 139747583350485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7704576 140729029239771 140729029239946 140729029239946 140729029242831 0
[pid=5666/tid=5672] ppid=5664 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5666/task/5672/stat : 5672 (java) S 5664 5664 1216 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475617243 15512608768 12611 33554432000 4194304 4196468 140729029234048 139747051972720 139747583351426 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7704576 140729029239771 140729029239946 140729029239946 140729029242831 0
[pid=5666/tid=5673] ppid=5664 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5666/task/5673/stat : 5673 (java) S 5664 5664 1216 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475617244 15512608768 12611 33554432000 4194304 4196468 140729029234048 139747050918688 139747583350485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7704576 140729029239771 140729029239946 140729029239946 140729029242831 0
[pid=5666/tid=5674] ppid=5664 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5666/task/5674/stat : 5674 (java) S 5664 5664 1216 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475617244 15512608768 12611 33554432000 4194304 4196468 140729029234048 139747049866352 139747583350485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7704576 140729029239771 140729029239946 140729029239946 140729029242831 0
[pid=5666/tid=5675] ppid=5664 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5666/task/5675/stat : 5675 (java) S 5664 5664 1216 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475617246 15512608768 12611 33554432000 4194304 4196468 140729029234048 139747048814672 139747583358875 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7704576 140729029239771 140729029239946 140729029239946 140729029242831 0
[pid=5666/tid=5676] ppid=5664 vsize=15149032 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/5666/task/5676/stat : 5676 (java) S 5664 5664 1216 0 -1 1077944384 464 0 0 0 5 0 0 0 20 0 15 0 475617246 15512608768 12611 33554432000 4194304 4196468 140729029234048 139747047762544 139747583351426 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7704576 140729029239771 140729029239946 140729029239946 140729029242831 0
[pid=5666/tid=5677] ppid=5664 vsize=15149032 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/5666/task/5677/stat : 5677 (java) S 5664 5664 1216 0 -1 1077944384 425 0 0 0 4 0 0 0 20 0 15 0 475617246 15512608768 12611 33554432000 4194304 4196468 140729029234048 139747046709744 139747583351426 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7704576 140729029239771 140729029239946 140729029239946 140729029242831 0
[pid=5666/tid=5678] ppid=5664 vsize=15149032 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/5666/task/5678/stat : 5678 (java) S 5664 5664 1216 0 -1 1077944384 833 0 0 0 12 0 0 0 20 0 15 0 475617246 15512608768 12611 33554432000 4194304 4196468 140729029234048 139747045657456 139747583351426 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7704576 140729029239771 140729029239946 140729029239946 140729029242831 0
[pid=5666/tid=5679] ppid=5664 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5666/task/5679/stat : 5679 (java) S 5664 5664 1216 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475617246 15512608768 12611 33554432000 4194304 4196468 140729029234048 139747044604896 139747583350485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7704576 140729029239771 140729029239946 140729029239946 140729029242831 0
[pid=5666/tid=5680] ppid=5664 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5666/task/5680/stat : 5680 (java) S 5664 5664 1216 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475617247 15512608768 12611 33554432000 4194304 4196468 140729029234048 139747043551664 139747583351426 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7704576 140729029239771 140729029239946 140729029239946 140729029242831 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51864 KiB
[startup+0.700848 s]
/proc/loadavg: 8.08 8.41 8.27 8/238 5680
/proc/meminfo: memFree=7723568/32770624 swapFree=67001892/67108860
[pid=5664] ppid=5661 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/5664/stat : 5664 (xcsp3-exec) S 5661 5664 1216 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475617241 115843072 363 33554432000 4194304 5098028 140723407965136 140723407963240 140539145384572 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 36319232 140723407971158 140723407971417 140723407971417 140723407974342 0
/proc/5664/statm: 28282 363 305 221 0 87 0
[pid=5666] ppid=5664 vsize=15151156 memory=189860 CPUtime=1.69 cores=1,3,5,7
/proc/5666/stat : 5666 (java) S 5664 5664 1216 0 -1 1077944320 13676 0 0 0 162 7 0 0 20 0 15 0 475617241 15514783744 47465 33554432000 4194304 4196468 140729029234048 140729029216592 139747583340279 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 7704576 140729029239771 140729029239946 140729029239946 140729029242831 0
/proc/5666/statm: 3787789 47465 3469 1 0 3748889 0
[pid=5666/tid=5667] ppid=5664 vsize=15151156 memory=29312 CPUtime=0.67 cores=1,3,5,7
/proc/5666/task/5667/stat : 5667 (java) R 5664 5664 1216 0 -1 4202560 8382 0 0 0 63 4 0 0 20 0 15 0 475617241 15514783744 47465 33554432000 4194304 4196468 140729029234048 139747587578688 139747179748417 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7704576 140729029239771 140729029239946 140729029239946 140729029242831 0
[pid=5666/tid=5668] ppid=5664 vsize=15151156 memory=496 CPUtime=0 cores=1,3,5,7
/proc/5666/task/5668/stat : 5668 (java) S 5664 5664 1216 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 15 0 475617242 15514783744 47465 33554432000 4194304 4196468 140729029234048 139747511380880 139747583350485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7704576 140729029239771 140729029239946 140729029239946 140729029242831 0
[pid=5666/tid=5669] ppid=5664 vsize=15151156 memory=1564 CPUtime=0 cores=1,3,5,7
/proc/5666/task/5669/stat : 5669 (java) S 5664 5664 1216 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 15 0 475617242 15514783744 47465 33554432000 4194304 4196468 140729029234048 139747510328080 139747583350485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7704576 140729029239771 140729029239946 140729029239946 140729029242831 0
[pid=5666/tid=5670] ppid=5664 vsize=15151156 memory=928 CPUtime=0 cores=1,3,5,7
/proc/5666/task/5670/stat : 5670 (java) S 5664 5664 1216 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475617242 15514783744 47465 33554432000 4194304 4196468 140729029234048 139747509275792 139747583350485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7704576 140729029239771 140729029239946 140729029239946 140729029242831 0
[pid=5666/tid=5671] ppid=5664 vsize=15151156 memory=1804 CPUtime=0 cores=1,3,5,7
/proc/5666/task/5671/stat : 5671 (java) S 5664 5664 1216 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 15 0 475617242 15514783744 47465 33554432000 4194304 4196468 140729029234048 139747508222992 139747583350485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7704576 140729029239771 140729029239946 140729029239946 140729029242831 0
[pid=5666/tid=5672] ppid=5664 vsize=15151156 memory=920 CPUtime=0 cores=1,3,5,7
/proc/5666/task/5672/stat : 5672 (java) S 5664 5664 1216 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 475617243 15514783744 47465 33554432000 4194304 4196468 140729029234048 139747051972720 139747583351426 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7704576 140729029239771 140729029239946 140729029239946 140729029242831 0
[pid=5666/tid=5673] ppid=5664 vsize=15151156 memory=3848 CPUtime=0 cores=1,3,5,7
/proc/5666/task/5673/stat : 5673 (java) S 5664 5664 1216 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475617244 15514783744 47465 33554432000 4194304 4196468 140729029234048 139747050918752 139747583350485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7704576 140729029239771 140729029239946 140729029239946 140729029242831 0
[pid=5666/tid=5674] ppid=5664 vsize=15151156 memory=2592 CPUtime=0 cores=1,3,5,7
/proc/5666/task/5674/stat : 5674 (java) S 5664 5664 1216 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475617244 15514783744 47465 33554432000 4194304 4196468 140729029234048 139747049866368 139747583350485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7704576 140729029239771 140729029239946 140729029239946 140729029242831 0
[pid=5666/tid=5675] ppid=5664 vsize=15151156 memory=2668 CPUtime=0 cores=1,3,5,7
/proc/5666/task/5675/stat : 5675 (java) S 5664 5664 1216 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475617246 15514783744 47465 33554432000 4194304 4196468 140729029234048 139747048814672 139747583358875 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7704576 140729029239771 140729029239946 140729029239946 140729029242831 0
[pid=5666/tid=5676] ppid=5664 vsize=15151156 memory=1744 CPUtime=0.34 cores=1,3,5,7
/proc/5666/task/5676/stat : 5676 (java) R 5664 5664 1216 0 -1 4202560 1183 0 0 0 34 0 0 0 20 0 15 0 475617246 15514783744 47465 33554432000 4194304 4196468 140729029234048 139747047751808 139747566546868 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7704576 140729029239771 140729029239946 140729029239946 140729029242831 0
[pid=5666/tid=5677] ppid=5664 vsize=15151156 memory=780 CPUtime=0.3 cores=1,3,5,7
/proc/5666/task/5677/stat : 5677 (java) R 5664 5664 1216 0 -1 4202560 1262 0 0 0 30 0 0 0 20 0 15 0 475617246 15514783744 47465 33554432000 4194304 4196468 140729029234048 139747046696312 139747561315661 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7704576 140729029239771 140729029239946 140729029239946 140729029242831 0
[pid=5666/tid=5678] ppid=5664 vsize=15151156 memory=1440 CPUtime=0.31 cores=1,3,5,7
/proc/5666/task/5678/stat : 5678 (java) S 5664 5664 1216 0 -1 1077944384 1421 0 0 0 31 0 0 0 20 0 15 0 475617246 15514783744 47465 33554432000 4194304 4196468 140729029234048 139747045657456 139747583351426 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7704576 140729029239771 140729029239946 140729029239946 140729029242831 0
[pid=5666/tid=5679] ppid=5664 vsize=15151156 memory=1984 CPUtime=0 cores=1,3,5,7
/proc/5666/task/5679/stat : 5679 (java) S 5664 5664 1216 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475617246 15514783744 47465 33554432000 4194304 4196468 140729029234048 139747044604896 139747583350485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7704576 140729029239771 140729029239946 140729029239946 140729029242831 0
[pid=5666/tid=5680] ppid=5664 vsize=15151156 memory=2376 CPUtime=0 cores=1,3,5,7
/proc/5666/task/5680/stat : 5680 (java) S 5664 5664 1216 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475617247 15514783744 47465 33554432000 4194304 4196468 140729029234048 139747043551664 139747583351426 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7704576 140729029239771 140729029239946 140729029239946 140729029242831 0
Current children cumulated CPU time: 1.69 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 191312 KiB
[startup+1.50586 s]
/proc/loadavg: 8.08 8.41 8.27 7/238 5680
/proc/meminfo: memFree=7581208/32770624 swapFree=67001892/67108860
[pid=5664] ppid=5661 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/5664/stat : 5664 (xcsp3-exec) S 5661 5664 1216 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475617241 115843072 363 33554432000 4194304 5098028 140723407965136 140723407963240 140539145384572 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 36319232 140723407971158 140723407971417 140723407971417 140723407974342 0
/proc/5664/statm: 28282 363 305 221 0 87 0
[pid=5666] ppid=5664 vsize=15417412 memory=387720 CPUtime=3.83 cores=1,3,5,7
/proc/5666/stat : 5666 (java) S 5664 5664 1216 0 -1 1077944320 15950 0 0 0 366 17 0 0 20 0 19 0 475617241 15787429888 96930 33554432000 4194304 4196468 140729029234048 140729029216592 139747583340279 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 7704576 140729029239771 140729029239946 140729029239946 140729029242831 0
/proc/5666/statm: 3854353 96930 3500 1 0 3815453 0
[pid=5666/tid=5667] ppid=5664 vsize=15417412 memory=0 CPUtime=1.29 cores=1,3,5,7
/proc/5666/task/5667/stat : 5667 (java) S 5664 5664 1216 0 -1 1077944384 9202 0 0 0 123 6 0 0 20 0 19 0 475617241 15787429888 96930 33554432000 4194304 4196468 140729029234048 139747587581056 139747583350485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7704576 140729029239771 140729029239946 140729029239946 140729029242831 0
[pid=5666/tid=5668] ppid=5664 vsize=15417412 memory=5794251801077829732 CPUtime=0.07 cores=1,3,5,7
/proc/5666/task/5668/stat : 5668 (java) S 5664 5664 1216 0 -1 1077944384 120 0 0 0 5 2 0 0 20 0 19 0 475617242 15787429888 96930 33554432000 4194304 4196468 140729029234048 139747511380880 139747583350485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7704576 140729029239771 140729029239946 140729029239946 140729029242831 0
[pid=5666/tid=5669] ppid=5664 vsize=15417412 memory=6369590072536886886 CPUtime=0.06 cores=1,3,5,7
/proc/5666/task/5669/stat : 5669 (java) S 5664 5664 1216 0 -1 1077944384 118 0 0 0 4 2 0 0 20 0 19 0 475617242 15787429888 96930 33554432000 4194304 4196468 140729029234048 139747510328080 139747583350485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7704576 140729029239771 140729029239946 140729029239946 140729029242831 0
[pid=5666/tid=5670] ppid=5664 vsize=15417412 memory=7805974384891420736 CPUtime=0.05 cores=1,3,5,7
/proc/5666/task/5670/stat : 5670 (java) S 5664 5664 1216 0 -1 1077944384 130 0 0 0 4 1 0 0 20 0 19 0 475617242 15787429888 96930 33554432000 4194304 4196468 140729029234048 139747509275792 139747583350485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7704576 140729029239771 140729029239946 140729029239946 140729029242831 0
[pid=5666/tid=5671] ppid=5664 vsize=15417412 memory=7007707949394126417 CPUtime=0.05 cores=1,3,5,7
/proc/5666/task/5671/stat : 5671 (java) S 5664 5664 1216 0 -1 1077944384 75 0 0 0 4 1 0 0 20 0 19 0 475617242 15787429888 96930 33554432000 4194304 4196468 140729029234048 139747508222992 139747583350485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7704576 140729029239771 140729029239946 140729029239946 140729029242831 0
[pid=5666/tid=5672] ppid=5664 vsize=15417412 memory=7014470040326004800 CPUtime=0 cores=1,3,5,7
/proc/5666/task/5672/stat : 5672 (java) S 5664 5664 1216 0 -1 1077944384 211 0 0 0 0 0 0 0 20 0 19 0 475617243 15787429888 96930 33554432000 4194304 4196468 140729029234048 139747051972720 139747583351426 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7704576 140729029239771 140729029239946 140729029239946 140729029242831 0
[pid=5666/tid=5673] ppid=5664 vsize=15417412 memory=7013903843497764965 CPUtime=0 cores=1,3,5,7
/proc/5666/task/5673/stat : 5673 (java) S 5664 5664 1216 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 19 0 475617244 15787429888 96930 33554432000 4194304 4196468 140729029234048 139747050918752 139747583350485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7704576 140729029239771 140729029239946 140729029239946 140729029242831 0
[pid=5666/tid=5674] ppid=5664 vsize=15417412 memory=7596838541687023202 CPUtime=0 cores=1,3,5,7
/proc/5666/task/5674/stat : 5674 (java) S 5664 5664 1216 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 475617244 15787429888 96930 33554432000 4194304 4196468 140729029234048 139747049866368 139747583350485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7704576 140729029239771 140729029239946 140729029239946 140729029242831 0
[pid=5666/tid=5675] ppid=5664 vsize=15417412 memory=7013066049896540516 CPUtime=0 cores=1,3,5,7
/proc/5666/task/5675/stat : 5675 (java) S 5664 5664 1216 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475617246 15787429888 96930 33554432000 4194304 4196468 140729029234048 139747048814672 139747583358875 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7704576 140729029239771 140729029239946 140729029239946 140729029242831 0
[pid=5666/tid=5676] ppid=5664 vsize=15417412 memory=7014751519683793506 CPUtime=0.7 cores=1,3,5,7
/proc/5666/task/5676/stat : 5676 (java) S 5664 5664 1216 0 -1 1077944384 1308 0 0 0 70 0 0 0 20 0 19 0 475617246 15787429888 96930 33554432000 4194304 4196468 140729029234048 139747047762544 139747583351426 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7704576 140729029239771 140729029239946 140729029239946 140729029242831 0
[pid=5666/tid=5677] ppid=5664 vsize=15417412 memory=0 CPUtime=0.76 cores=1,3,5,7
/proc/5666/task/5677/stat : 5677 (java) R 5664 5664 1216 0 -1 4202560 1668 0 0 0 76 0 0 0 20 0 19 0 475617246 15787429888 96930 33554432000 4194304 4196468 140729029234048 139747046694000 139747564884786 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7704576 140729029239771 140729029239946 140729029239946 140729029242831 0
[pid=5666/tid=5678] ppid=5664 vsize=15417412 memory=0 CPUtime=0.44 cores=1,3,5,7
/proc/5666/task/5678/stat : 5678 (java) S 5664 5664 1216 0 -1 1077944384 1681 0 0 0 44 0 0 0 20 0 19 0 475617246 15787429888 96930 33554432000 4194304 4196468 140729029234048 139747045657456 139747583351426 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7704576 140729029239771 140729029239946 140729029239946 140729029242831 0
[pid=5666/tid=5679] ppid=5664 vsize=15417412 memory=15470472203376 CPUtime=0 cores=1,3,5,7
/proc/5666/task/5679/stat : 5679 (java) S 5664 5664 1216 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475617246 15787429888 96930 33554432000 4194304 4196468 140729029234048 139747044604896 139747583350485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7704576 140729029239771 140729029239946 140729029239946 140729029242831 0
[pid=5666/tid=5680] ppid=5664 vsize=15417412 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5666/task/5680/stat : 5680 (java) S 5664 5664 1216 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 475617247 15787429888 96930 33554432000 4194304 4196468 140729029234048 139747043551664 139747583351426 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7704576 140729029239771 140729029239946 140729029239946 140729029242831 0
Current children cumulated CPU time: 3.83 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 389172 KiB
[startup+3.11185 s]
/proc/loadavg: 8.08 8.41 8.27 13/242 5684
/proc/meminfo: memFree=7421844/32770624 swapFree=67001892/67108860
[pid=5664] ppid=5661 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/5664/stat : 5664 (xcsp3-exec) S 5661 5664 1216 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475617241 115843072 363 33554432000 4194304 5098028 140723407965136 140723407963240 140539145384572 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 36319232 140723407971158 140723407971417 140723407971417 140723407974342 0
/proc/5664/statm: 28282 363 305 221 0 87 0
[pid=5666] ppid=5664 vsize=15417412 memory=390316 CPUtime=10.2 cores=1,3,5,7
/proc/5666/stat : 5666 (java) S 5664 5664 1216 0 -1 1077944320 16642 0 0 0 1001 19 0 0 20 0 19 0 475617241 15787429888 97579 33554432000 4194304 4196468 140729029234048 140729029216592 139747583340279 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 7704576 140729029239771 140729029239946 140729029239946 140729029242831 0
/proc/5666/statm: 3854353 97579 3508 1 0 3815453 0
[pid=5666/tid=5667] ppid=5664 vsize=15417412 memory=129 CPUtime=1.29 cores=1,3,5,7
/proc/5666/task/5667/stat : 5667 (java) S 5664 5664 1216 0 -1 1077944384 9202 0 0 0 123 6 0 0 20 0 19 0 475617241 15787429888 97579 33554432000 4194304 4196468 140729029234048 139747587581056 139747583350485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7704576 140729029239771 140729029239946 140729029239946 140729029242831 0
[pid=5666/tid=5668] ppid=5664 vsize=15417412 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/5666/task/5668/stat : 5668 (java) S 5664 5664 1216 0 -1 1077944384 120 0 0 0 5 2 0 0 20 0 19 0 475617242 15787429888 97579 33554432000 4194304 4196468 140729029234048 139747511380880 139747583350485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7704576 140729029239771 140729029239946 140729029239946 140729029242831 0
[pid=5666/tid=5669] ppid=5664 vsize=15417412 memory=140100960794048 CPUtime=0.06 cores=1,3,5,7
/proc/5666/task/5669/stat : 5669 (java) S 5664 5664 1216 0 -1 1077944384 118 0 0 0 4 2 0 0 20 0 19 0 475617242 15787429888 97579 33554432000 4194304 4196468 140729029234048 139747510328080 139747583350485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7704576 140729029239771 140729029239946 140729029239946 140729029242831 0
[pid=5666/tid=5670] ppid=5664 vsize=15417412 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/5666/task/5670/stat : 5670 (java) S 5664 5664 1216 0 -1 1077944384 130 0 0 0 4 1 0 0 20 0 19 0 475617242 15787429888 97579 33554432000 4194304 4196468 140729029234048 139747509275792 139747583350485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7704576 140729029239771 140729029239946 140729029239946 140729029242831 0
[pid=5666/tid=5671] ppid=5664 vsize=15417412 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/5666/task/5671/stat : 5671 (java) S 5664 5664 1216 0 -1 1077944384 75 0 0 0 4 1 0 0 20 0 19 0 475617242 15787429888 97579 33554432000 4194304 4196468 140729029234048 139747508222992 139747583350485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7704576 140729029239771 140729029239946 140729029239946 140729029242831 0
[pid=5666/tid=5672] ppid=5664 vsize=15417412 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5666/task/5672/stat : 5672 (java) S 5664 5664 1216 0 -1 1077944384 211 0 0 0 0 0 0 0 20 0 19 0 475617243 15787429888 97579 33554432000 4194304 4196468 140729029234048 139747051972720 139747583351426 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7704576 140729029239771 140729029239946 140729029239946 140729029242831 0
[pid=5666/tid=5673] ppid=5664 vsize=15417412 memory=280201921560816 CPUtime=0 cores=1,3,5,7
/proc/5666/task/5673/stat : 5673 (java) S 5664 5664 1216 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 19 0 475617244 15787429888 97579 33554432000 4194304 4196468 140729029234048 139747050918752 139747583350485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7704576 140729029239771 140729029239946 140729029239946 140729029242831 0
[pid=5666/tid=5674] ppid=5664 vsize=15417412 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5666/task/5674/stat : 5674 (java) S 5664 5664 1216 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 475617244 15787429888 97579 33554432000 4194304 4196468 140729029234048 139747049866368 139747583350485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7704576 140729029239771 140729029239946 140729029239946 140729029242831 0
[pid=5666/tid=5675] ppid=5664 vsize=15417412 memory=14008 CPUtime=0 cores=1,3,5,7
/proc/5666/task/5675/stat : 5675 (java) S 5664 5664 1216 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475617246 15787429888 97579 33554432000 4194304 4196468 140729029234048 139747048814672 139747583358875 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7704576 140729029239771 140729029239946 140729029239946 140729029242831 0
[pid=5666/tid=5676] ppid=5664 vsize=15417412 memory=12024 CPUtime=1.23 cores=1,3,5,7
/proc/5666/task/5676/stat : 5676 (java) R 5664 5664 1216 0 -1 4202560 1599 0 0 0 123 0 0 0 20 0 19 0 475617246 15787429888 97579 33554432000 4194304 4196468 140729029234048 139747047749936 139747564860302 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7704576 140729029239771 140729029239946 140729029239946 140729029242831 0
[pid=5666/tid=5677] ppid=5664 vsize=15417412 memory=2116 CPUtime=1.32 cores=1,3,5,7
/proc/5666/task/5677/stat : 5677 (java) R 5664 5664 1216 0 -1 4202560 1762 0 0 0 131 1 0 0 20 0 19 0 475617246 15787429888 97579 33554432000 4194304 4196468 140729029234048 139747046695968 139747562596904 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7704576 140729029239771 140729029239946 140729029239946 140729029242831 0
[pid=5666/tid=5678] ppid=5664 vsize=15417412 memory=29312 CPUtime=0.52 cores=1,3,5,7
/proc/5666/task/5678/stat : 5678 (java) S 5664 5664 1216 0 -1 1077944384 1812 0 0 0 52 0 0 0 20 0 19 0 475617246 15787429888 97579 33554432000 4194304 4196468 140729029234048 139747045657456 139747583351426 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7704576 140729029239771 140729029239946 140729029239946 140729029242831 0
[pid=5666/tid=5679] ppid=5664 vsize=15417412 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5666/task/5679/stat : 5679 (java) S 5664 5664 1216 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475617246 15787429888 97579 33554432000 4194304 4196468 140729029234048 139747044604896 139747583350485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7704576 140729029239771 140729029239946 140729029239946 140729029242831 0
[pid=5666/tid=5680] ppid=5664 vsize=15417412 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5666/task/5680/stat : 5680 (java) S 5664 5664 1216 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 475617247 15787429888 97579 33554432000 4194304 4196468 140729029234048 139747043551664 139747583351426 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7704576 140729029239771 140729029239946 140729029239946 140729029242831 0
[pid=5666/tid=5681] ppid=5664 vsize=15417412 memory=0 CPUtime=1.42 cores=1,3,5,7
/proc/5666/task/5681/stat : 5681 (java) R 5664 5664 1216 0 -1 4202560 68 0 0 0 142 0 0 0 20 0 19 0 475617380 15787429888 97579 33554432000 4194304 4196468 140729029234048 139747034332008 139747185664544 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7704576 140729029239771 140729029239946 140729029239946 140729029242831 0
[pid=5666/tid=5682] ppid=5664 vsize=15417412 memory=280201921745440 CPUtime=1.45 cores=1,3,5,7
/proc/5666/task/5682/stat : 5682 (java) S 5664 5664 1216 0 -1 1077944384 105 0 0 0 144 1 0 0 20 0 19 0 475617380 15787429888 97579 33554432000 4194304 4196468 140729029234048 139747033285712 139747583350485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7704576 140729029239771 140729029239946 140729029239946 140729029242831 0
[pid=5666/tid=5683] ppid=5664 vsize=15417412 memory=4354301833820402590 CPUtime=1.22 cores=1,3,5,7
/proc/5666/task/5683/stat : 5683 (java) R 5664 5664 1216 0 -1 4202560 78 0 0 0 122 0 0 0 20 0 19 0 475617380 15787429888 97579 33554432000 4194304 4196468 140729029234048 139747032229528 139747185729600 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7704576 140729029239771 140729029239946 140729029239946 140729029242831 0
[pid=5666/tid=5684] ppid=5664 vsize=15417412 memory=8260079401224650331 CPUtime=1.41 cores=1,3,5,7
/proc/5666/task/5684/stat : 5684 (java) S 5664 5664 1216 0 -1 1077944384 61 0 0 0 141 0 0 0 20 0 19 0 475617380 15787429888 97579 33554432000 4194304 4196468 140729029234048 139747031180624 139747583350485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7704576 140729029239771 140729029239946 140729029239946 140729029242831 0
Current children cumulated CPU time: 10.2 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 391768 KiB
[startup+3.1688 s]
# the end of solver process 5664 was just reported to runsolver
# cumulated CPU time of all completed processes: user=10.1674 s, system=0.196971 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.11185 s]
/proc/loadavg: 8.08 8.41 8.27 13/242 5684
/proc/meminfo: memFree=7421844/32770624 swapFree=67001892/67108860
[pid=5664] ppid=5661 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/5664/stat : 5664 (xcsp3-exec) S 5661 5664 1216 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475617241 115843072 363 33554432000 4194304 5098028 140723407965136 140723407963240 140539145384572 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 36319232 140723407971158 140723407971417 140723407971417 140723407974342 0
/proc/5664/statm: 28282 363 305 221 0 87 0
[pid=5666] ppid=5664 vsize=15417412 memory=390316 CPUtime=10.2 cores=1,3,5,7
/proc/5666/stat : 5666 (java) S 5664 5664 1216 0 -1 1077944320 16642 0 0 0 1001 19 0 0 20 0 19 0 475617241 15787429888 97579 33554432000 4194304 4196468 140729029234048 140729029216592 139747583340279 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 7704576 140729029239771 140729029239946 140729029239946 140729029242831 0
/proc/5666/statm: 3854353 97579 3508 1 0 3815453 0
[pid=5666/tid=5667] ppid=5664 vsize=15417412 memory=129 CPUtime=1.29 cores=1,3,5,7
/proc/5666/task/5667/stat : 5667 (java) S 5664 5664 1216 0 -1 1077944384 9202 0 0 0 123 6 0 0 20 0 19 0 475617241 15787429888 97579 33554432000 4194304 4196468 140729029234048 139747587581056 139747583350485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7704576 140729029239771 140729029239946 140729029239946 140729029242831 0
[pid=5666/tid=5668] ppid=5664 vsize=15417412 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/5666/task/5668/stat : 5668 (java) S 5664 5664 1216 0 -1 1077944384 120 0 0 0 5 2 0 0 20 0 19 0 475617242 15787429888 97579 33554432000 4194304 4196468 140729029234048 139747511380880 139747583350485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7704576 140729029239771 140729029239946 140729029239946 140729029242831 0
[pid=5666/tid=5669] ppid=5664 vsize=15417412 memory=140100960794048 CPUtime=0.06 cores=1,3,5,7
/proc/5666/task/5669/stat : 5669 (java) S 5664 5664 1216 0 -1 1077944384 118 0 0 0 4 2 0 0 20 0 19 0 475617242 15787429888 97579 33554432000 4194304 4196468 140729029234048 139747510328080 139747583350485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7704576 140729029239771 140729029239946 140729029239946 140729029242831 0
[pid=5666/tid=5670] ppid=5664 vsize=15417412 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/5666/task/5670/stat : 5670 (java) S 5664 5664 1216 0 -1 1077944384 130 0 0 0 4 1 0 0 20 0 19 0 475617242 15787429888 97579 33554432000 4194304 4196468 140729029234048 139747509275792 139747583350485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7704576 140729029239771 140729029239946 140729029239946 140729029242831 0
[pid=5666/tid=5671] ppid=5664 vsize=15417412 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/5666/task/5671/stat : 5671 (java) S 5664 5664 1216 0 -1 1077944384 75 0 0 0 4 1 0 0 20 0 19 0 475617242 15787429888 97579 33554432000 4194304 4196468 140729029234048 139747508222992 139747583350485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7704576 140729029239771 140729029239946 140729029239946 140729029242831 0
[pid=5666/tid=5672] ppid=5664 vsize=15417412 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5666/task/5672/stat : 5672 (java) S 5664 5664 1216 0 -1 1077944384 211 0 0 0 0 0 0 0 20 0 19 0 475617243 15787429888 97579 33554432000 4194304 4196468 140729029234048 139747051972720 139747583351426 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7704576 140729029239771 140729029239946 140729029239946 140729029242831 0
[pid=5666/tid=5673] ppid=5664 vsize=15417412 memory=280201921560816 CPUtime=0 cores=1,3,5,7
/proc/5666/task/5673/stat : 5673 (java) S 5664 5664 1216 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 19 0 475617244 15787429888 97579 33554432000 4194304 4196468 140729029234048 139747050918752 139747583350485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7704576 140729029239771 140729029239946 140729029239946 140729029242831 0
[pid=5666/tid=5674] ppid=5664 vsize=15417412 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5666/task/5674/stat : 5674 (java) S 5664 5664 1216 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 475617244 15787429888 97579 33554432000 4194304 4196468 140729029234048 139747049866368 139747583350485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7704576 140729029239771 140729029239946 140729029239946 140729029242831 0
[pid=5666/tid=5675] ppid=5664 vsize=15417412 memory=14008 CPUtime=0 cores=1,3,5,7
/proc/5666/task/5675/stat : 5675 (java) S 5664 5664 1216 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475617246 15787429888 97579 33554432000 4194304 4196468 140729029234048 139747048814672 139747583358875 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7704576 140729029239771 140729029239946 140729029239946 140729029242831 0
[pid=5666/tid=5676] ppid=5664 vsize=15417412 memory=12024 CPUtime=1.23 cores=1,3,5,7
/proc/5666/task/5676/stat : 5676 (java) R 5664 5664 1216 0 -1 4202560 1599 0 0 0 123 0 0 0 20 0 19 0 475617246 15787429888 97579 33554432000 4194304 4196468 140729029234048 139747047749936 139747564860302 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7704576 140729029239771 140729029239946 140729029239946 140729029242831 0
[pid=5666/tid=5677] ppid=5664 vsize=15417412 memory=2116 CPUtime=1.32 cores=1,3,5,7
/proc/5666/task/5677/stat : 5677 (java) R 5664 5664 1216 0 -1 4202560 1762 0 0 0 131 1 0 0 20 0 19 0 475617246 15787429888 97579 33554432000 4194304 4196468 140729029234048 139747046695968 139747562596904 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7704576 140729029239771 140729029239946 140729029239946 140729029242831 0
[pid=5666/tid=5678] ppid=5664 vsize=15417412 memory=29312 CPUtime=0.52 cores=1,3,5,7
/proc/5666/task/5678/stat : 5678 (java) S 5664 5664 1216 0 -1 1077944384 1812 0 0 0 52 0 0 0 20 0 19 0 475617246 15787429888 97579 33554432000 4194304 4196468 140729029234048 139747045657456 139747583351426 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7704576 140729029239771 140729029239946 140729029239946 140729029242831 0
[pid=5666/tid=5679] ppid=5664 vsize=15417412 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5666/task/5679/stat : 5679 (java) S 5664 5664 1216 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475617246 15787429888 97579 33554432000 4194304 4196468 140729029234048 139747044604896 139747583350485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7704576 140729029239771 140729029239946 140729029239946 140729029242831 0
[pid=5666/tid=5680] ppid=5664 vsize=15417412 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5666/task/5680/stat : 5680 (java) S 5664 5664 1216 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 475617247 15787429888 97579 33554432000 4194304 4196468 140729029234048 139747043551664 139747583351426 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7704576 140729029239771 140729029239946 140729029239946 140729029242831 0
[pid=5666/tid=5681] ppid=5664 vsize=15417412 memory=0 CPUtime=1.42 cores=1,3,5,7
/proc/5666/task/5681/stat : 5681 (java) R 5664 5664 1216 0 -1 4202560 68 0 0 0 142 0 0 0 20 0 19 0 475617380 15787429888 97579 33554432000 4194304 4196468 140729029234048 139747034332008 139747185664544 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7704576 140729029239771 140729029239946 140729029239946 140729029242831 0
[pid=5666/tid=5682] ppid=5664 vsize=15417412 memory=280201921745440 CPUtime=1.45 cores=1,3,5,7
/proc/5666/task/5682/stat : 5682 (java) S 5664 5664 1216 0 -1 1077944384 105 0 0 0 144 1 0 0 20 0 19 0 475617380 15787429888 97579 33554432000 4194304 4196468 140729029234048 139747033285712 139747583350485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7704576 140729029239771 140729029239946 140729029239946 140729029242831 0
[pid=5666/tid=5683] ppid=5664 vsize=15417412 memory=4354301833820402590 CPUtime=1.22 cores=1,3,5,7
/proc/5666/task/5683/stat : 5683 (java) R 5664 5664 1216 0 -1 4202560 78 0 0 0 122 0 0 0 20 0 19 0 475617380 15787429888 97579 33554432000 4194304 4196468 140729029234048 139747032229528 139747185729600 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7704576 140729029239771 140729029239946 140729029239946 140729029242831 0
[pid=5666/tid=5684] ppid=5664 vsize=15417412 memory=8260079401224650331 CPUtime=1.41 cores=1,3,5,7
/proc/5666/task/5684/stat : 5684 (java) S 5664 5664 1216 0 -1 1077944384 61 0 0 0 141 0 0 0 20 0 19 0 475617380 15787429888 97579 33554432000 4194304 4196468 140729029234048 139747031180624 139747583350485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7704576 140729029239771 140729029239946 140729029239946 140729029242831 0
Current children cumulated CPU time: 10.2 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 391768 KiB
Child status: 0
Real time (s): 3.16886
CPU time (s): 10.3644
CPU user time (s): 10.1674
CPU system time (s): 0.196971
CPU usage (%): 327.071
Max. virtual memory (cumulated for all children) (KiB): 15530540
Max. memory (cumulated for all children) (KiB): 391768
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 10.1674
system time used= 0.196971
maximum resident set size= 391868
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17259
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2220
involuntary context switches= 317
# summary of solver processes directly reported to runsolver:
# pid: 5664
# total CPU time (s): 10.3644
# total CPU user time (s): 10.1674
# total CPU system time (s): 0.196971
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.04678 second user time and 0.080505 second system time
The end