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 (6180 MiB free)
memory of node 1: 16384 MiB (8609 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4403452-1568991991/watcher-4403452-1568991991 -o /var/tmp/evaluation-result-4403452-1568991991/solver-4403452-1568991991 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node121-1568988421-6087 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 416271843 HOME/instance-4403452-1568991991.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
solver pid=10455, runsolver pid=10452
Current StackSize limit: 8192 KiB
[startup+0.101825 s]*
/proc/loadavg: 8.24 7.77 7.83 6/235 10471
/proc/meminfo: memFree=15128988/32770624 swapFree=66988776/67108860
[pid=10455] ppid=10452 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/10455/stat : 10455 (xcsp3-exec) S 10452 10455 6055 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475461667 115843072 363 33554432000 4194304 5098028 140725808582112 140725808580216 140027581244028 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 15355904 140725808583511 140725808583769 140725808583769 140725808586694 0
/proc/10455/statm: 28282 363 305 221 0 87 0
[pid=10457] ppid=10455 vsize=15144776 memory=29084 CPUtime=0.14 cores=1,3,5,7
/proc/10457/stat : 10457 (java) S 10455 10455 6055 0 -1 1077944320 5665 0 0 0 13 1 0 0 20 0 15 0 475461667 15508250624 7271 33554432000 4194304 4196468 140728699801872 140728699784416 140138282782455 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 21762048 140728699810779 140728699810954 140728699810954 140728699813839 0
/proc/10457/statm: 3786194 7271 3214 1 0 3748377 0
[pid=10457/tid=10458] ppid=10455 vsize=15144776 memory=-8895323862916359523 CPUtime=0.09 cores=1,3,5,7
/proc/10457/task/10458/stat : 10458 (java) R 10455 10455 6055 0 -1 4202560 3558 0 0 0 9 0 0 0 20 0 15 0 475461667 15508250624 7271 33554432000 4194304 4196468 140728699801872 140138287016032 140138275019582 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21762048 140728699810779 140728699810954 140728699810954 140728699813839 0
[pid=10457/tid=10459] ppid=10455 vsize=15144776 memory=3472468700667466960 CPUtime=0 cores=1,3,5,7
/proc/10457/task/10459/stat : 10459 (java) S 10455 10455 6055 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475461668 15508250624 7271 33554432000 4194304 4196468 140728699801872 140138210823184 140138282792661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21762048 140728699810779 140728699810954 140728699810954 140728699813839 0
[pid=10457/tid=10460] ppid=10455 vsize=15144776 memory=140571772315264 CPUtime=0 cores=1,3,5,7
/proc/10457/task/10460/stat : 10460 (java) S 10455 10455 6055 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475461668 15508250624 7271 33554432000 4194304 4196468 140728699801872 140138209770640 140138282792661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21762048 140728699810779 140728699810954 140728699810954 140728699813839 0
[pid=10457/tid=10461] ppid=10455 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10457/task/10461/stat : 10461 (java) S 10455 10455 6055 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475461668 15508250624 7271 33554432000 4194304 4196468 140728699801872 140138208717584 140138282792661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21762048 140728699810779 140728699810954 140728699810954 140728699813839 0
[pid=10457/tid=10462] ppid=10455 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10457/task/10462/stat : 10462 (java) S 10455 10455 6055 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475461668 15508250624 7271 33554432000 4194304 4196468 140728699801872 140138207665040 140138282792661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21762048 140728699810779 140728699810954 140728699810954 140728699813839 0
[pid=10457/tid=10463] ppid=10455 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10457/task/10463/stat : 10463 (java) S 10455 10455 6055 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475461669 15508250624 7271 33554432000 4194304 4196468 140728699801872 140137751402736 140138282793602 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21762048 140728699810779 140728699810954 140728699810954 140728699813839 0
[pid=10457/tid=10464] ppid=10455 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10457/task/10464/stat : 10464 (java) S 10455 10455 6055 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475461670 15508250624 7271 33554432000 4194304 4196468 140728699801872 140137750348960 140138282792661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21762048 140728699810779 140728699810954 140728699810954 140728699813839 0
[pid=10457/tid=10465] ppid=10455 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10457/task/10465/stat : 10465 (java) S 10455 10455 6055 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475461670 15508250624 7271 33554432000 4194304 4196468 140728699801872 140137749295856 140138282792661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21762048 140728699810779 140728699810954 140728699810954 140728699813839 0
[pid=10457/tid=10466] ppid=10455 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10457/task/10466/stat : 10466 (java) S 10455 10455 6055 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475461672 15508250624 7271 33554432000 4194304 4196468 140728699801872 140137748244432 140138282801051 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21762048 140728699810779 140728699810954 140728699810954 140728699813839 0
[pid=10457/tid=10467] ppid=10455 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10457/task/10467/stat : 10467 (java) R 10455 10455 6055 0 -1 4202560 492 0 0 0 0 0 0 0 20 0 15 0 475461673 15508250624 7271 33554432000 4194304 4196468 140728699801872 140137747192560 140138263482752 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21762048 140728699810779 140728699810954 140728699810954 140728699813839 0
[pid=10457/tid=10468] ppid=10455 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10457/task/10468/stat : 10468 (java) R 10455 10455 6055 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475461673 15508250624 7271 33554432000 4194304 4196468 140728699801872 140137746140016 140138282793602 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21762048 140728699810779 140728699810954 140728699810954 140728699813839 0
[pid=10457/tid=10469] ppid=10455 vsize=15144776 memory=140571772315264 CPUtime=0.02 cores=1,3,5,7
/proc/10457/task/10469/stat : 10469 (java) R 10455 10455 6055 0 -1 4202560 353 0 0 0 2 0 0 0 20 0 15 0 475461673 15508250624 7271 33554432000 4194304 4196468 140728699801872 140137745087256 140138275019582 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21762048 140728699810779 140728699810954 140728699810954 140728699813839 0
[pid=10457/tid=10470] ppid=10455 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10457/task/10470/stat : 10470 (java) S 10455 10455 6055 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475461673 15508250624 7271 33554432000 4194304 4196468 140728699801872 140137744034656 140138282792661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21762048 140728699810779 140728699810954 140728699810954 140728699813839 0
[pid=10457/tid=10471] ppid=10455 vsize=15144776 memory=140571772315264 CPUtime=0 cores=1,3,5,7
/proc/10457/task/10471/stat : 10471 (java) S 10455 10455 6055 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475461673 15508250624 7271 33554432000 4194304 4196468 140728699801872 140137742981680 140138282793602 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21762048 140728699810779 140728699810954 140728699810954 140728699813839 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30536 KiB
[startup+0.211621 s]*
/proc/loadavg: 8.24 7.77 7.83 8/235 10471
/proc/meminfo: memFree=15115760/32770624 swapFree=66988776/67108860
[pid=10455] ppid=10452 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/10455/stat : 10455 (xcsp3-exec) S 10452 10455 6055 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475461667 115843072 363 33554432000 4194304 5098028 140725808582112 140725808580216 140027581244028 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 15355904 140725808583511 140725808583769 140725808583769 140725808586694 0
/proc/10455/statm: 28282 363 305 221 0 87 0
[pid=10457] ppid=10455 vsize=15144776 memory=40960 CPUtime=0.35 cores=1,3,5,7
/proc/10457/stat : 10457 (java) S 10455 10455 6055 0 -1 1077944320 9486 0 0 0 33 2 0 0 20 0 15 0 475461667 15508250624 10240 33554432000 4194304 4196468 140728699801872 140728699784416 140138282782455 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 21762048 140728699810779 140728699810954 140728699810954 140728699813839 0
/proc/10457/statm: 3786194 10240 3298 1 0 3748377 0
[pid=10457/tid=10458] ppid=10455 vsize=15144776 memory=-8895323862916359523 CPUtime=0.2 cores=1,3,5,7
/proc/10457/task/10458/stat : 10458 (java) S 10455 10455 6055 0 -1 1077944384 6613 0 0 0 18 2 0 0 20 0 15 0 475461667 15508250624 10240 33554432000 4194304 4196468 140728699801872 140138287017440 140138282792661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21762048 140728699810779 140728699810954 140728699810954 140728699813839 0
[pid=10457/tid=10459] ppid=10455 vsize=15144776 memory=3472468700667466960 CPUtime=0 cores=1,3,5,7
/proc/10457/task/10459/stat : 10459 (java) S 10455 10455 6055 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475461668 15508250624 10240 33554432000 4194304 4196468 140728699801872 140138210823184 140138282792661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21762048 140728699810779 140728699810954 140728699810954 140728699813839 0
[pid=10457/tid=10460] ppid=10455 vsize=15144776 memory=140571772315264 CPUtime=0 cores=1,3,5,7
/proc/10457/task/10460/stat : 10460 (java) S 10455 10455 6055 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475461668 15508250624 10240 33554432000 4194304 4196468 140728699801872 140138209770640 140138282792661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21762048 140728699810779 140728699810954 140728699810954 140728699813839 0
[pid=10457/tid=10461] ppid=10455 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10457/task/10461/stat : 10461 (java) S 10455 10455 6055 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475461668 15508250624 10240 33554432000 4194304 4196468 140728699801872 140138208717584 140138282792661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21762048 140728699810779 140728699810954 140728699810954 140728699813839 0
[pid=10457/tid=10462] ppid=10455 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10457/task/10462/stat : 10462 (java) S 10455 10455 6055 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475461668 15508250624 10240 33554432000 4194304 4196468 140728699801872 140138207665040 140138282792661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21762048 140728699810779 140728699810954 140728699810954 140728699813839 0
[pid=10457/tid=10463] ppid=10455 vsize=15144776 memory=140571772315264 CPUtime=0 cores=1,3,5,7
/proc/10457/task/10463/stat : 10463 (java) S 10455 10455 6055 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475461669 15508250624 10240 33554432000 4194304 4196468 140728699801872 140137751402736 140138282793602 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21762048 140728699810779 140728699810954 140728699810954 140728699813839 0
[pid=10457/tid=10464] ppid=10455 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10457/task/10464/stat : 10464 (java) S 10455 10455 6055 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475461670 15508250624 10240 33554432000 4194304 4196468 140728699801872 140137750348960 140138282792661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21762048 140728699810779 140728699810954 140728699810954 140728699813839 0
[pid=10457/tid=10465] ppid=10455 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10457/task/10465/stat : 10465 (java) S 10455 10455 6055 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475461670 15508250624 10240 33554432000 4194304 4196468 140728699801872 140137749295856 140138282792661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21762048 140728699810779 140728699810954 140728699810954 140728699813839 0
[pid=10457/tid=10466] ppid=10455 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10457/task/10466/stat : 10466 (java) S 10455 10455 6055 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475461672 15508250624 10240 33554432000 4194304 4196468 140728699801872 140137748244432 140138282801051 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21762048 140728699810779 140728699810954 140728699810954 140728699813839 0
[pid=10457/tid=10467] ppid=10455 vsize=15144776 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/10457/task/10467/stat : 10467 (java) S 10455 10455 6055 0 -1 1077944384 697 0 0 0 3 0 0 0 20 0 15 0 475461673 15508250624 10240 33554432000 4194304 4196468 140728699801872 140137747192560 140138282793602 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21762048 140728699810779 140728699810954 140728699810954 140728699813839 0
[pid=10457/tid=10468] ppid=10455 vsize=15144776 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/10457/task/10468/stat : 10468 (java) S 10455 10455 6055 0 -1 1077944384 98 0 0 0 1 0 0 0 20 0 15 0 475461673 15508250624 10240 33554432000 4194304 4196468 140728699801872 140137746140016 140138282793602 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21762048 140728699810779 140728699810954 140728699810954 140728699813839 0
[pid=10457/tid=10469] ppid=10455 vsize=15144776 memory=140571772315264 CPUtime=0.08 cores=1,3,5,7
/proc/10457/task/10469/stat : 10469 (java) S 10455 10455 6055 0 -1 1077944384 776 0 0 0 8 0 0 0 20 0 15 0 475461673 15508250624 10240 33554432000 4194304 4196468 140728699801872 140137745086960 140138282793602 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21762048 140728699810779 140728699810954 140728699810954 140728699813839 0
[pid=10457/tid=10470] ppid=10455 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10457/task/10470/stat : 10470 (java) S 10455 10455 6055 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475461673 15508250624 10240 33554432000 4194304 4196468 140728699801872 140137744034656 140138282792661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21762048 140728699810779 140728699810954 140728699810954 140728699813839 0
[pid=10457/tid=10471] ppid=10455 vsize=15144776 memory=140571772315264 CPUtime=0 cores=1,3,5,7
/proc/10457/task/10471/stat : 10471 (java) S 10455 10455 6055 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475461673 15508250624 10240 33554432000 4194304 4196468 140728699801872 140137742981680 140138282793602 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21762048 140728699810779 140728699810954 140728699810954 140728699813839 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42412 KiB
[startup+0.310725 s]*
/proc/loadavg: 8.24 7.77 7.83 6/235 10471
/proc/meminfo: memFree=15108976/32770624 swapFree=66988776/67108860
[pid=10455] ppid=10452 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/10455/stat : 10455 (xcsp3-exec) S 10452 10455 6055 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475461667 115843072 363 33554432000 4194304 5098028 140725808582112 140725808580216 140027581244028 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 15355904 140725808583511 140725808583769 140725808583769 140725808586694 0
/proc/10455/statm: 28282 363 305 221 0 87 0
[pid=10457] ppid=10455 vsize=15149032 memory=49676 CPUtime=0.53 cores=1,3,5,7
/proc/10457/stat : 10457 (java) S 10455 10455 6055 0 -1 1077944320 10759 0 0 0 50 3 0 0 20 0 15 0 475461667 15512608768 12419 33554432000 4194304 4196468 140728699801872 140728699784416 140138282782455 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 21762048 140728699810779 140728699810954 140728699810954 140728699813839 0
/proc/10457/statm: 3787258 12419 3333 1 0 3748377 0
[pid=10457/tid=10458] ppid=10455 vsize=15149032 memory=-8094235084319000145 CPUtime=0.29 cores=1,3,5,7
/proc/10457/task/10458/stat : 10458 (java) R 10455 10455 6055 0 -1 4202560 7796 0 0 0 27 2 0 0 20 0 15 0 475461667 15512608768 12419 33554432000 4194304 4196468 140728699801872 140138287013568 140138266862942 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21762048 140728699810779 140728699810954 140728699810954 140728699813839 0
[pid=10457/tid=10459] ppid=10455 vsize=15149032 memory=3472468700667466960 CPUtime=0 cores=1,3,5,7
/proc/10457/task/10459/stat : 10459 (java) S 10455 10455 6055 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475461668 15512608768 12419 33554432000 4194304 4196468 140728699801872 140138210823184 140138282792661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21762048 140728699810779 140728699810954 140728699810954 140728699813839 0
[pid=10457/tid=10460] ppid=10455 vsize=15149032 memory=281143434779008 CPUtime=0 cores=1,3,5,7
/proc/10457/task/10460/stat : 10460 (java) S 10455 10455 6055 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475461668 15512608768 12419 33554432000 4194304 4196468 140728699801872 140138209770640 140138282792661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21762048 140728699810779 140728699810954 140728699810954 140728699813839 0
[pid=10457/tid=10461] ppid=10455 vsize=15149032 memory=281143324959776 CPUtime=0 cores=1,3,5,7
/proc/10457/task/10461/stat : 10461 (java) S 10455 10455 6055 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475461668 15512608768 12419 33554432000 4194304 4196468 140728699801872 140138208717584 140138282792661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21762048 140728699810779 140728699810954 140728699810954 140728699813839 0
[pid=10457/tid=10462] ppid=10455 vsize=15149032 memory=140571662463759 CPUtime=0 cores=1,3,5,7
/proc/10457/task/10462/stat : 10462 (java) S 10455 10455 6055 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475461668 15512608768 12419 33554432000 4194304 4196468 140728699801872 140138207665040 140138282792661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21762048 140728699810779 140728699810954 140728699810954 140728699813839 0
[pid=10457/tid=10463] ppid=10455 vsize=15149032 memory=281143434785920 CPUtime=0 cores=1,3,5,7
/proc/10457/task/10463/stat : 10463 (java) S 10455 10455 6055 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475461669 15512608768 12419 33554432000 4194304 4196468 140728699801872 140137751402736 140138282793602 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21762048 140728699810779 140728699810954 140728699810954 140728699813839 0
[pid=10457/tid=10464] ppid=10455 vsize=15149032 memory=140571662468367 CPUtime=0 cores=1,3,5,7
/proc/10457/task/10464/stat : 10464 (java) S 10455 10455 6055 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475461670 15512608768 12419 33554432000 4194304 4196468 140728699801872 140137750348960 140138282792661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21762048 140728699810779 140728699810954 140728699810954 140728699813839 0
[pid=10457/tid=10465] ppid=10455 vsize=15149032 memory=140571662476759 CPUtime=0 cores=1,3,5,7
/proc/10457/task/10465/stat : 10465 (java) S 10455 10455 6055 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475461670 15512608768 12419 33554432000 4194304 4196468 140728699801872 140137749295856 140138282792661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21762048 140728699810779 140728699810954 140728699810954 140728699813839 0
[pid=10457/tid=10466] ppid=10455 vsize=15149032 memory=140571662482497 CPUtime=0 cores=1,3,5,7
/proc/10457/task/10466/stat : 10466 (java) S 10455 10455 6055 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475461672 15512608768 12419 33554432000 4194304 4196468 140728699801872 140137748244432 140138282801051 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21762048 140728699810779 140728699810954 140728699810954 140728699813839 0
[pid=10457/tid=10467] ppid=10455 vsize=15149032 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/10457/task/10467/stat : 10467 (java) S 10455 10455 6055 0 -1 1077944384 700 0 0 0 5 0 0 0 20 0 15 0 475461673 15512608768 12419 33554432000 4194304 4196468 140728699801872 140137747192560 140138282793602 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21762048 140728699810779 140728699810954 140728699810954 140728699813839 0
[pid=10457/tid=10468] ppid=10455 vsize=15149032 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/10457/task/10468/stat : 10468 (java) S 10455 10455 6055 0 -1 1077944384 109 0 0 0 3 0 0 0 20 0 15 0 475461673 15512608768 12419 33554432000 4194304 4196468 140728699801872 140137746140016 140138282793602 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21762048 140728699810779 140728699810954 140728699810954 140728699813839 0
[pid=10457/tid=10469] ppid=10455 vsize=15149032 memory=140571772315264 CPUtime=0.13 cores=1,3,5,7
/proc/10457/task/10469/stat : 10469 (java) S 10455 10455 6055 0 -1 1077944384 853 0 0 0 13 0 0 0 20 0 15 0 475461673 15512608768 12419 33554432000 4194304 4196468 140728699801872 140137745086960 140138282793602 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21762048 140728699810779 140728699810954 140728699810954 140728699813839 0
[pid=10457/tid=10470] ppid=10455 vsize=15149032 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10457/task/10470/stat : 10470 (java) S 10455 10455 6055 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475461673 15512608768 12419 33554432000 4194304 4196468 140728699801872 140137744034656 140138282792661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21762048 140728699810779 140728699810954 140728699810954 140728699813839 0
[pid=10457/tid=10471] ppid=10455 vsize=15149032 memory=140571772316716 CPUtime=0 cores=1,3,5,7
/proc/10457/task/10471/stat : 10471 (java) S 10455 10455 6055 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475461673 15512608768 12419 33554432000 4194304 4196468 140728699801872 140137742981680 140138282793602 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21762048 140728699810779 140728699810954 140728699810954 140728699813839 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51128 KiB
[startup+0.700758 s]
/proc/loadavg: 8.24 7.77 7.83 8/235 10471
/proc/meminfo: memFree=15091212/32770624 swapFree=66988776/67108860
[pid=10455] ppid=10452 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/10455/stat : 10455 (xcsp3-exec) S 10452 10455 6055 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475461667 115843072 363 33554432000 4194304 5098028 140725808582112 140725808580216 140027581244028 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 15355904 140725808583511 140725808583769 140725808583769 140725808586694 0
/proc/10455/statm: 28282 363 305 221 0 87 0
[pid=10457] ppid=10455 vsize=15417412 memory=107860 CPUtime=1.71 cores=1,3,5,7
/proc/10457/stat : 10457 (java) S 10455 10455 6055 0 -1 1077944320 14173 0 0 0 166 5 0 0 20 0 19 0 475461667 15787429888 26965 33554432000 4194304 4196468 140728699801872 140728699784416 140138282782455 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 21762048 140728699810779 140728699810954 140728699810954 140728699813839 0
/proc/10457/statm: 3854353 26965 3464 1 0 3815453 0
[pid=10457/tid=10458] ppid=10455 vsize=15417412 memory=7882800638288482663 CPUtime=0.65 cores=1,3,5,7
/proc/10457/task/10458/stat : 10458 (java) S 10455 10455 6055 0 -1 1077944384 9119 0 0 0 61 4 0 0 20 0 19 0 475461667 15787429888 26965 33554432000 4194304 4196468 140728699801872 140138287023232 140138282792661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21762048 140728699810779 140728699810954 140728699810954 140728699813839 0
[pid=10457/tid=10459] ppid=10455 vsize=15417412 memory=7740951466249179473 CPUtime=0 cores=1,3,5,7
/proc/10457/task/10459/stat : 10459 (java) S 10455 10455 6055 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475461668 15787429888 26965 33554432000 4194304 4196468 140728699801872 140138210823184 140138282792661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21762048 140728699810779 140728699810954 140728699810954 140728699813839 0
[pid=10457/tid=10460] ppid=10455 vsize=15417412 memory=7453282923495516522 CPUtime=0 cores=1,3,5,7
/proc/10457/task/10460/stat : 10460 (java) S 10455 10455 6055 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 475461668 15787429888 26965 33554432000 4194304 4196468 140728699801872 140138209770640 140138282792661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21762048 140728699810779 140728699810954 140728699810954 140728699813839 0
[pid=10457/tid=10461] ppid=10455 vsize=15417412 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10457/task/10461/stat : 10461 (java) S 10455 10455 6055 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475461668 15787429888 26965 33554432000 4194304 4196468 140728699801872 140138208717584 140138282792661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21762048 140728699810779 140728699810954 140728699810954 140728699813839 0
[pid=10457/tid=10462] ppid=10455 vsize=15417412 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/10457/task/10462/stat : 10462 (java) S 10455 10455 6055 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 475461668 15787429888 26965 33554432000 4194304 4196468 140728699801872 140138207665040 140138282792661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21762048 140728699810779 140728699810954 140728699810954 140728699813839 0
[pid=10457/tid=10463] ppid=10455 vsize=15417412 memory=2828 CPUtime=0 cores=1,3,5,7
/proc/10457/task/10463/stat : 10463 (java) S 10455 10455 6055 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 475461669 15787429888 26965 33554432000 4194304 4196468 140728699801872 140137751402736 140138282793602 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21762048 140728699810779 140728699810954 140728699810954 140728699813839 0
[pid=10457/tid=10464] ppid=10455 vsize=15417412 memory=756 CPUtime=0 cores=1,3,5,7
/proc/10457/task/10464/stat : 10464 (java) S 10455 10455 6055 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 475461670 15787429888 26965 33554432000 4194304 4196468 140728699801872 140137750348960 140138282792661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21762048 140728699810779 140728699810954 140728699810954 140728699813839 0
[pid=10457/tid=10465] ppid=10455 vsize=15417412 memory=1548 CPUtime=0 cores=1,3,5,7
/proc/10457/task/10465/stat : 10465 (java) S 10455 10455 6055 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 475461670 15787429888 26965 33554432000 4194304 4196468 140728699801872 140137749295856 140138282792661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21762048 140728699810779 140728699810954 140728699810954 140728699813839 0
[pid=10457/tid=10466] ppid=10455 vsize=15417412 memory=8100 CPUtime=0 cores=1,3,5,7
/proc/10457/task/10466/stat : 10466 (java) S 10455 10455 6055 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475461672 15787429888 26965 33554432000 4194304 4196468 140728699801872 140137748244432 140138282801051 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21762048 140728699810779 140728699810954 140728699810954 140728699813839 0
[pid=10457/tid=10467] ppid=10455 vsize=15417412 memory=1164 CPUtime=0.32 cores=1,3,5,7
/proc/10457/task/10467/stat : 10467 (java) R 10455 10455 6055 0 -1 4202560 1407 0 0 0 32 0 0 0 20 0 19 0 475461673 15787429888 26965 33554432000 4194304 4196468 140728699801872 140137747179408 140138266688640 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21762048 140728699810779 140728699810954 140728699810954 140728699813839 0
[pid=10457/tid=10468] ppid=10455 vsize=15417412 memory=9520 CPUtime=0.33 cores=1,3,5,7
/proc/10457/task/10468/stat : 10468 (java) R 10455 10455 6055 0 -1 4202560 691 0 0 0 33 0 0 0 20 0 19 0 475461673 15787429888 26965 33554432000 4194304 4196468 140728699801872 140137746131472 140138267907727 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21762048 140728699810779 140728699810954 140728699810954 140728699813839 0
[pid=10457/tid=10469] ppid=10455 vsize=15417412 memory=14008 CPUtime=0.34 cores=1,3,5,7
/proc/10457/task/10469/stat : 10469 (java) R 10455 10455 6055 0 -1 1077944384 1509 0 0 0 34 0 0 0 20 0 19 0 475461673 15787429888 26965 33554432000 4194304 4196468 140728699801872 140137745086144 140138282792661 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 21762048 140728699810779 140728699810954 140728699810954 140728699813839 0
[pid=10457/tid=10470] ppid=10455 vsize=15417412 memory=2120 CPUtime=0 cores=1,3,5,7
/proc/10457/task/10470/stat : 10470 (java) S 10455 10455 6055 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475461673 15787429888 26965 33554432000 4194304 4196468 140728699801872 140137744034656 140138282792661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21762048 140728699810779 140728699810954 140728699810954 140728699813839 0
[pid=10457/tid=10471] ppid=10455 vsize=15417412 memory=12028 CPUtime=0 cores=1,3,5,7
/proc/10457/task/10471/stat : 10471 (java) S 10455 10455 6055 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475461673 15787429888 26965 33554432000 4194304 4196468 140728699801872 140137742981680 140138282793602 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21762048 140728699810779 140728699810954 140728699810954 140728699813839 0
Current children cumulated CPU time: 1.71 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 109312 KiB
[startup+0.952679 s]
# the end of solver process 10455 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2.54302 s, system=0.068709 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+0.800911 s]
/proc/loadavg: 8.24 7.77 7.83 8/235 10471
/proc/meminfo: memFree=15091212/32770624 swapFree=66988776/67108860
[pid=10455] ppid=10452 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/10455/stat : 10455 (xcsp3-exec) S 10452 10455 6055 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475461667 115843072 363 33554432000 4194304 5098028 140725808582112 140725808580216 140027581244028 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 15355904 140725808583511 140725808583769 140725808583769 140725808586694 0
/proc/10455/statm: 28282 363 305 221 0 87 0
[pid=10457] ppid=10455 vsize=15417412 memory=109896 CPUtime=2.1 cores=1,3,5,7
/proc/10457/stat : 10457 (java) S 10455 10455 6055 0 -1 1077944320 14754 0 0 0 205 5 0 0 20 0 19 0 475461667 15787429888 27474 33554432000 4194304 4196468 140728699801872 140728699784416 140138282782455 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 21762048 140728699810779 140728699810954 140728699810954 140728699813839 0
/proc/10457/statm: 3854353 27474 3466 1 0 3815453 0
[pid=10457/tid=10458] ppid=10455 vsize=15417412 memory=6791534058613427641 CPUtime=0.65 cores=1,3,5,7
/proc/10457/task/10458/stat : 10458 (java) S 10455 10455 6055 0 -1 1077944384 9119 0 0 0 61 4 0 0 20 0 19 0 475461667 15787429888 27474 33554432000 4194304 4196468 140728699801872 140138287023232 140138282792661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21762048 140728699810779 140728699810954 140728699810954 140728699813839 0
[pid=10457/tid=10459] ppid=10455 vsize=15417412 memory=14008 CPUtime=0 cores=1,3,5,7
/proc/10457/task/10459/stat : 10459 (java) S 10455 10455 6055 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475461668 15787429888 27474 33554432000 4194304 4196468 140728699801872 140138210823184 140138282792661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21762048 140728699810779 140728699810954 140728699810954 140728699813839 0
[pid=10457/tid=10460] ppid=10455 vsize=15417412 memory=2120 CPUtime=0 cores=1,3,5,7
/proc/10457/task/10460/stat : 10460 (java) S 10455 10455 6055 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 475461668 15787429888 27474 33554432000 4194304 4196468 140728699801872 140138209770640 140138282792661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21762048 140728699810779 140728699810954 140728699810954 140728699813839 0
[pid=10457/tid=10461] ppid=10455 vsize=15417412 memory=12028 CPUtime=0 cores=1,3,5,7
/proc/10457/task/10461/stat : 10461 (java) S 10455 10455 6055 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475461668 15787429888 27474 33554432000 4194304 4196468 140728699801872 140138208717584 140138282792661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21762048 140728699810779 140728699810954 140728699810954 140728699813839 0
[pid=10457/tid=10462] ppid=10455 vsize=15417412 memory=15692 CPUtime=0 cores=1,3,5,7
/proc/10457/task/10462/stat : 10462 (java) S 10455 10455 6055 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 475461668 15787429888 27474 33554432000 4194304 4196468 140728699801872 140138207665040 140138282792661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21762048 140728699810779 140728699810954 140728699810954 140728699813839 0
[pid=10457/tid=10463] ppid=10455 vsize=15417412 memory=7157735280247134545 CPUtime=0 cores=1,3,5,7
/proc/10457/task/10463/stat : 10463 (java) S 10455 10455 6055 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 475461669 15787429888 27474 33554432000 4194304 4196468 140728699801872 140137751402736 140138282793602 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21762048 140728699810779 140728699810954 140728699810954 140728699813839 0
[pid=10457/tid=10464] ppid=10455 vsize=15417412 memory=7597685182856913236 CPUtime=0 cores=1,3,5,7
/proc/10457/task/10464/stat : 10464 (java) S 10455 10455 6055 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 475461670 15787429888 27474 33554432000 4194304 4196468 140728699801872 140137750348960 140138282792661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21762048 140728699810779 140728699810954 140728699810954 140728699813839 0
[pid=10457/tid=10465] ppid=10455 vsize=15417412 memory=5788063852999566677 CPUtime=0 cores=1,3,5,7
/proc/10457/task/10465/stat : 10465 (java) S 10455 10455 6055 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 475461670 15787429888 27474 33554432000 4194304 4196468 140728699801872 140137749295856 140138282792661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21762048 140728699810779 140728699810954 140728699810954 140728699813839 0
[pid=10457/tid=10466] ppid=10455 vsize=15417412 memory=3054156605368933524 CPUtime=0 cores=1,3,5,7
/proc/10457/task/10466/stat : 10466 (java) S 10455 10455 6055 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475461672 15787429888 27474 33554432000 4194304 4196468 140728699801872 140137748244432 140138282801051 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21762048 140728699810779 140728699810954 140728699810954 140728699813839 0
[pid=10457/tid=10467] ppid=10455 vsize=15417412 memory=8326441112149131693 CPUtime=0.4 cores=1,3,5,7
/proc/10457/task/10467/stat : 10467 (java) R 10455 10455 6055 0 -1 4202560 1556 0 0 0 40 0 0 0 20 0 19 0 475461673 15787429888 27474 33554432000 4194304 4196468 140728699801872 140137747172048 140138268810444 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21762048 140728699810779 140728699810954 140728699810954 140728699813839 0
[pid=10457/tid=10468] ppid=10455 vsize=15417412 memory=-7025452035940392864 CPUtime=0.4 cores=1,3,5,7
/proc/10457/task/10468/stat : 10468 (java) R 10455 10455 6055 0 -1 4202560 878 0 0 0 40 0 0 0 20 0 19 0 475461673 15787429888 27474 33554432000 4194304 4196468 140728699801872 140137746121032 140138263484119 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21762048 140728699810779 140728699810954 140728699810954 140728699813839 0
[pid=10457/tid=10469] ppid=10455 vsize=15417412 memory=6944656592452807326 CPUtime=0.38 cores=1,3,5,7
/proc/10457/task/10469/stat : 10469 (java) R 10455 10455 6055 0 -1 1077944384 1701 0 0 0 38 0 0 0 20 0 19 0 475461673 15787429888 27474 33554432000 4194304 4196468 140728699801872 140137745086960 140138282793602 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 21762048 140728699810779 140728699810954 140728699810954 140728699813839 0
[pid=10457/tid=10470] ppid=10455 vsize=15417412 memory=-9178176116494409632 CPUtime=0 cores=1,3,5,7
/proc/10457/task/10470/stat : 10470 (java) S 10455 10455 6055 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475461673 15787429888 27474 33554432000 4194304 4196468 140728699801872 140137744034656 140138282792661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21762048 140728699810779 140728699810954 140728699810954 140728699813839 0
[pid=10457/tid=10471] ppid=10455 vsize=15417412 memory=-7029379521808015264 CPUtime=0 cores=1,3,5,7
/proc/10457/task/10471/stat : 10471 (java) S 10455 10455 6055 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475461673 15787429888 27474 33554432000 4194304 4196468 140728699801872 140137742981680 140138282793602 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21762048 140728699810779 140728699810954 140728699810954 140728699813839 0
Current children cumulated CPU time: 2.1 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 111348 KiB
[startup+0.900719 s]
/proc/loadavg: 8.24 7.77 7.83 8/235 10471
/proc/meminfo: memFree=15091212/32770624 swapFree=66988776/67108860
[pid=10455] ppid=10452 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/10455/stat : 10455 (xcsp3-exec) S 10452 10455 6055 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475461667 115843072 363 33554432000 4194304 5098028 140725808582112 140725808580216 140027581244028 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 15355904 140725808583511 140725808583769 140725808583769 140725808586694 0
/proc/10455/statm: 28282 363 305 221 0 87 0
[pid=10457] ppid=10455 vsize=15417412 memory=116496 CPUtime=2.5 cores=1,3,5,7
/proc/10457/stat : 10457 (java) S 10455 10455 6055 0 -1 1077944320 15846 0 0 0 245 5 0 0 20 0 19 0 475461667 15787429888 29124 33554432000 4194304 4196468 140728699801872 140728699784416 140138282782455 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 21762048 140728699810779 140728699810954 140728699810954 140728699813839 0
/proc/10457/statm: 3854353 29124 3467 1 0 3815453 0
[pid=10457/tid=10458] ppid=10455 vsize=15417412 memory=7882800638288482663 CPUtime=0.65 cores=1,3,5,7
/proc/10457/task/10458/stat : 10458 (java) S 10455 10455 6055 0 -1 1077944384 9119 0 0 0 61 4 0 0 20 0 19 0 475461667 15787429888 29124 33554432000 4194304 4196468 140728699801872 140138287023232 140138282792661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21762048 140728699810779 140728699810954 140728699810954 140728699813839 0
[pid=10457/tid=10459] ppid=10455 vsize=15417412 memory=7740951466249179473 CPUtime=0 cores=1,3,5,7
/proc/10457/task/10459/stat : 10459 (java) S 10455 10455 6055 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475461668 15787429888 29124 33554432000 4194304 4196468 140728699801872 140138210823184 140138282792661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21762048 140728699810779 140728699810954 140728699810954 140728699813839 0
[pid=10457/tid=10460] ppid=10455 vsize=15417412 memory=7453282923495516522 CPUtime=0 cores=1,3,5,7
/proc/10457/task/10460/stat : 10460 (java) S 10455 10455 6055 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 475461668 15787429888 29124 33554432000 4194304 4196468 140728699801872 140138209770640 140138282792661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21762048 140728699810779 140728699810954 140728699810954 140728699813839 0
[pid=10457/tid=10461] ppid=10455 vsize=15417412 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10457/task/10461/stat : 10461 (java) S 10455 10455 6055 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475461668 15787429888 29124 33554432000 4194304 4196468 140728699801872 140138208717584 140138282792661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21762048 140728699810779 140728699810954 140728699810954 140728699813839 0
[pid=10457/tid=10462] ppid=10455 vsize=15417412 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/10457/task/10462/stat : 10462 (java) S 10455 10455 6055 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 475461668 15787429888 29124 33554432000 4194304 4196468 140728699801872 140138207665040 140138282792661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21762048 140728699810779 140728699810954 140728699810954 140728699813839 0
[pid=10457/tid=10463] ppid=10455 vsize=15417412 memory=2828 CPUtime=0 cores=1,3,5,7
/proc/10457/task/10463/stat : 10463 (java) S 10455 10455 6055 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 475461669 15787429888 29124 33554432000 4194304 4196468 140728699801872 140137751402736 140138282793602 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21762048 140728699810779 140728699810954 140728699810954 140728699813839 0
[pid=10457/tid=10464] ppid=10455 vsize=15417412 memory=756 CPUtime=0 cores=1,3,5,7
/proc/10457/task/10464/stat : 10464 (java) S 10455 10455 6055 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 475461670 15787429888 29124 33554432000 4194304 4196468 140728699801872 140137750348960 140138282792661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21762048 140728699810779 140728699810954 140728699810954 140728699813839 0
[pid=10457/tid=10465] ppid=10455 vsize=15417412 memory=1548 CPUtime=0 cores=1,3,5,7
/proc/10457/task/10465/stat : 10465 (java) S 10455 10455 6055 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 475461670 15787429888 29124 33554432000 4194304 4196468 140728699801872 140137749295856 140138282792661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21762048 140728699810779 140728699810954 140728699810954 140728699813839 0
[pid=10457/tid=10466] ppid=10455 vsize=15417412 memory=8100 CPUtime=0 cores=1,3,5,7
/proc/10457/task/10466/stat : 10466 (java) S 10455 10455 6055 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475461672 15787429888 29124 33554432000 4194304 4196468 140728699801872 140137748244432 140138282801051 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21762048 140728699810779 140728699810954 140728699810954 140728699813839 0
[pid=10457/tid=10467] ppid=10455 vsize=15417412 memory=1164 CPUtime=0.5 cores=1,3,5,7
/proc/10457/task/10467/stat : 10467 (java) R 10455 10455 6055 0 -1 4202560 2310 0 0 0 50 0 0 0 20 0 19 0 475461673 15787429888 29124 33554432000 4194304 4196468 140728699801872 140137747173576 140138266169042 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21762048 140728699810779 140728699810954 140728699810954 140728699813839 0
[pid=10457/tid=10468] ppid=10455 vsize=15417412 memory=9520 CPUtime=0.47 cores=1,3,5,7
/proc/10457/task/10468/stat : 10468 (java) R 10455 10455 6055 0 -1 4202560 1103 0 0 0 47 0 0 0 20 0 19 0 475461673 15787429888 29124 33554432000 4194304 4196468 140728699801872 140137746129056 140138263974249 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21762048 140728699810779 140728699810954 140728699810954 140728699813839 0
[pid=10457/tid=10469] ppid=10455 vsize=15417412 memory=14008 CPUtime=0.42 cores=1,3,5,7
/proc/10457/task/10469/stat : 10469 (java) R 10455 10455 6055 0 -1 1077944384 1808 0 0 0 42 0 0 0 20 0 19 0 475461673 15787429888 29124 33554432000 4194304 4196468 140728699801872 140137745086960 140138282793602 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 21762048 140728699810779 140728699810954 140728699810954 140728699813839 0
[pid=10457/tid=10470] ppid=10455 vsize=15417412 memory=2120 CPUtime=0 cores=1,3,5,7
/proc/10457/task/10470/stat : 10470 (java) S 10455 10455 6055 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475461673 15787429888 29124 33554432000 4194304 4196468 140728699801872 140137744034656 140138282792661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21762048 140728699810779 140728699810954 140728699810954 140728699813839 0
[pid=10457/tid=10471] ppid=10455 vsize=15417412 memory=12028 CPUtime=0 cores=1,3,5,7
/proc/10457/task/10471/stat : 10471 (java) S 10455 10455 6055 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475461673 15787429888 29124 33554432000 4194304 4196468 140728699801872 140137742981680 140138282793602 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21762048 140728699810779 140728699810954 140728699810954 140728699813839 0
Current children cumulated CPU time: 2.5 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 117948 KiB
Child status: 0
Real time (s): 0.952732
CPU time (s): 2.61172
CPU user time (s): 2.54302
CPU system time (s): 0.068709
CPU usage (%): 274.13
Max. virtual memory (cumulated for all children) (KiB): 15530540
Max. memory (cumulated for all children) (KiB): 117948
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.54302
system time used= 0.068709
maximum resident set size= 124128
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17553
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1574
involuntary context switches= 54
# summary of solver processes directly reported to runsolver:
# pid: 10455
# total CPU time (s): 2.61172
# total CPU user time (s): 2.54302
# total CPU system time (s): 0.068709
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.025452 second user time and 0.052932 second system time
The end