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 (9856 MiB free)
memory of node 1: 16384 MiB (7364 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393178-1568348374/watcher-4393178-1568348374 -o /tmp/evaluation-result-4393178-1568348374/solver-4393178-1568348374 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node124-1568343408-4478 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 1116082900 HOME/instance-4393178-1568348374.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=9609, runsolver pid=9606
Current StackSize limit: 8192 KiB
[startup+0.100385 s]*
/proc/loadavg: 8.23 8.48 8.14 7/233 9625
/proc/meminfo: memFree=17613428/32770624 swapFree=66959216/67108860
[pid=9609] ppid=9606 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/9609/stat : 9609 (xcsp3-exec) S 9606 9609 3331 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 410777612 115843072 362 33554432000 4194304 5098028 140724670975904 140724670974008 139668304609916 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 32415744 140724670985082 140724670985325 140724670985325 140724670988234 0
/proc/9609/statm: 28282 362 304 221 0 87 0
[pid=9611] ppid=9609 vsize=15144768 memory=28980 CPUtime=0.13 cores=0,2,4,6
/proc/9611/stat : 9611 (java) S 9609 9609 3331 0 -1 1077944320 5670 0 0 0 12 1 0 0 20 0 15 0 410777612 15508242432 7245 33554432000 4194304 4196468 140736013403152 140736013385696 140392477351671 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11964416 140736013411311 140736013411482 140736013411482 140736013414351 0
/proc/9611/statm: 3786192 7245 3143 1 0 3748377 0
[pid=9611/tid=9612] ppid=9609 vsize=15144768 memory=-8976644418600983157 CPUtime=0.09 cores=0,2,4,6
/proc/9611/task/9612/stat : 9612 (java) R 9609 9609 3331 0 -1 4202560 3562 0 0 0 9 0 0 0 20 0 15 0 410777612 15508242432 7245 33554432000 4194304 4196468 140736013403152 140392481581856 140392461432158 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11964416 140736013411311 140736013411482 140736013411482 140736013414351 0
[pid=9611/tid=9613] ppid=9609 vsize=15144768 memory=3472468098351641808 CPUtime=0 cores=0,2,4,6
/proc/9611/task/9613/stat : 9613 (java) S 9609 9609 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410777613 15508242432 7245 33554432000 4194304 4196468 140736013403152 140392429972240 140392477361877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11964416 140736013411311 140736013411482 140736013411482 140736013414351 0
[pid=9611/tid=9614] ppid=9609 vsize=15144768 memory=139969456490112 CPUtime=0 cores=0,2,4,6
/proc/9611/task/9614/stat : 9614 (java) S 9609 9609 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410777613 15508242432 7245 33554432000 4194304 4196468 140736013403152 140392428919696 140392477361877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11964416 140736013411311 140736013411482 140736013411482 140736013414351 0
[pid=9611/tid=9615] ppid=9609 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9611/task/9615/stat : 9615 (java) S 9609 9609 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410777613 15508242432 7245 33554432000 4194304 4196468 140736013403152 140392427867152 140392477361877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11964416 140736013411311 140736013411482 140736013411482 140736013414351 0
[pid=9611/tid=9616] ppid=9609 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9611/task/9616/stat : 9616 (java) S 9609 9609 3331 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410777613 15508242432 7245 33554432000 4194304 4196468 140736013403152 140392426814608 140392477361877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11964416 140736013411311 140736013411482 140736013411482 140736013414351 0
[pid=9611/tid=9617] ppid=9609 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9611/task/9617/stat : 9617 (java) S 9609 9609 3331 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410777615 15508242432 7311 33554432000 4194304 4196468 140736013403152 140392013182960 140392477362818 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11964416 140736013411311 140736013411482 140736013411482 140736013414351 0
[pid=9611/tid=9618] ppid=9609 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9611/task/9618/stat : 9618 (java) S 9609 9609 3331 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 410777615 15508242432 7311 33554432000 4194304 4196468 140736013403152 140391944807328 140392477361877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11964416 140736013411311 140736013411482 140736013411482 140736013414351 0
[pid=9611/tid=9619] ppid=9609 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9611/task/9619/stat : 9619 (java) S 9609 9609 3331 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 410777615 15508242432 7311 33554432000 4194304 4196468 140736013403152 140391943754736 140392477361877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11964416 140736013411311 140736013411482 140736013411482 140736013414351 0
[pid=9611/tid=9620] ppid=9609 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9611/task/9620/stat : 9620 (java) S 9609 9609 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410777618 15508242432 7311 33554432000 4194304 4196468 140736013403152 140391942703312 140392477370267 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11964416 140736013411311 140736013411482 140736013411482 140736013414351 0
[pid=9611/tid=9621] ppid=9609 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9611/task/9621/stat : 9621 (java) R 9609 9609 3331 0 -1 4202560 464 0 0 0 0 0 0 0 20 0 15 0 410777618 15508242432 7311 33554432000 4194304 4196468 140736013403152 140391941650928 140392455184528 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11964416 140736013411311 140736013411482 140736013411482 140736013414351 0
[pid=9611/tid=9622] ppid=9609 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9611/task/9622/stat : 9622 (java) R 9609 9609 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410777618 15508242432 7311 33554432000 4194304 4196468 140736013403152 140391940598384 140392477362818 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11964416 140736013411311 140736013411482 140736013411482 140736013414351 0
[pid=9611/tid=9623] ppid=9609 vsize=15144768 memory=139969456490112 CPUtime=0.02 cores=0,2,4,6
/proc/9611/task/9623/stat : 9623 (java) S 9609 9609 3331 0 -1 1077944384 360 0 0 0 2 0 0 0 20 0 15 0 410777618 15508242432 7311 33554432000 4194304 4196468 140736013403152 140391939545840 140392477362818 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11964416 140736013411311 140736013411482 140736013411482 140736013414351 0
[pid=9611/tid=9624] ppid=9609 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9611/task/9624/stat : 9624 (java) S 9609 9609 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410777618 15508242432 7311 33554432000 4194304 4196468 140736013403152 140391938493536 140392477361877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11964416 140736013411311 140736013411482 140736013411482 140736013414351 0
[pid=9611/tid=9625] ppid=9609 vsize=15144768 memory=139969456490112 CPUtime=0 cores=0,2,4,6
/proc/9611/task/9625/stat : 9625 (java) S 9609 9609 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410777618 15508242432 7311 33554432000 4194304 4196468 140736013403152 140391937440048 140392477362818 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11964416 140736013411311 140736013411482 140736013411482 140736013414351 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 30428 KiB
[startup+0.210768 s]*
/proc/loadavg: 8.23 8.48 8.14 7/233 9625
/proc/meminfo: memFree=17601044/32770624 swapFree=66959216/67108860
[pid=9609] ppid=9606 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/9609/stat : 9609 (xcsp3-exec) S 9606 9609 3331 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 410777612 115843072 362 33554432000 4194304 5098028 140724670975904 140724670974008 139668304609916 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 32415744 140724670985082 140724670985325 140724670985325 140724670988234 0
/proc/9609/statm: 28282 362 304 221 0 87 0
[pid=9611] ppid=9609 vsize=15144768 memory=40488 CPUtime=0.34 cores=0,2,4,6
/proc/9611/stat : 9611 (java) S 9609 9609 3331 0 -1 1077944320 9306 0 0 0 32 2 0 0 20 0 15 0 410777612 15508242432 10122 33554432000 4194304 4196468 140736013403152 140736013385696 140392477351671 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11964416 140736013411311 140736013411482 140736013411482 140736013414351 0
/proc/9611/statm: 3786192 10122 3312 1 0 3748377 0
[pid=9611/tid=9612] ppid=9609 vsize=15144768 memory=4212167822348820889 CPUtime=0.2 cores=0,2,4,6
/proc/9611/task/9612/stat : 9612 (java) R 9609 9609 3331 0 -1 4202560 6567 0 0 0 18 2 0 0 20 0 15 0 410777612 15508242432 10122 33554432000 4194304 4196468 140736013403152 140392481584768 140392477363606 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11964416 140736013411311 140736013411482 140736013411482 140736013414351 0
[pid=9611/tid=9613] ppid=9609 vsize=15144768 memory=3472468098351641808 CPUtime=0 cores=0,2,4,6
/proc/9611/task/9613/stat : 9613 (java) S 9609 9609 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410777613 15508242432 10122 33554432000 4194304 4196468 140736013403152 140392429972240 140392477361877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11964416 140736013411311 140736013411482 140736013411482 140736013414351 0
[pid=9611/tid=9614] ppid=9609 vsize=15144768 memory=139969456490112 CPUtime=0 cores=0,2,4,6
/proc/9611/task/9614/stat : 9614 (java) S 9609 9609 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410777613 15508242432 10122 33554432000 4194304 4196468 140736013403152 140392428919696 140392477361877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11964416 140736013411311 140736013411482 140736013411482 140736013414351 0
[pid=9611/tid=9615] ppid=9609 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9611/task/9615/stat : 9615 (java) S 9609 9609 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410777613 15508242432 10122 33554432000 4194304 4196468 140736013403152 140392427867152 140392477361877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11964416 140736013411311 140736013411482 140736013411482 140736013414351 0
[pid=9611/tid=9616] ppid=9609 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9611/task/9616/stat : 9616 (java) S 9609 9609 3331 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410777613 15508242432 10122 33554432000 4194304 4196468 140736013403152 140392426814608 140392477361877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11964416 140736013411311 140736013411482 140736013411482 140736013414351 0
[pid=9611/tid=9617] ppid=9609 vsize=15144768 memory=139969456490112 CPUtime=0 cores=0,2,4,6
/proc/9611/task/9617/stat : 9617 (java) S 9609 9609 3331 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 410777615 15508242432 10122 33554432000 4194304 4196468 140736013403152 140392013182960 140392477362818 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11964416 140736013411311 140736013411482 140736013411482 140736013414351 0
[pid=9611/tid=9618] ppid=9609 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9611/task/9618/stat : 9618 (java) S 9609 9609 3331 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 410777615 15508242432 10122 33554432000 4194304 4196468 140736013403152 140391944807328 140392477361877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11964416 140736013411311 140736013411482 140736013411482 140736013414351 0
[pid=9611/tid=9619] ppid=9609 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9611/task/9619/stat : 9619 (java) S 9609 9609 3331 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 410777615 15508242432 10122 33554432000 4194304 4196468 140736013403152 140391943754736 140392477361877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11964416 140736013411311 140736013411482 140736013411482 140736013414351 0
[pid=9611/tid=9620] ppid=9609 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9611/task/9620/stat : 9620 (java) S 9609 9609 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410777618 15508242432 10122 33554432000 4194304 4196468 140736013403152 140391942703312 140392477370267 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11964416 140736013411311 140736013411482 140736013411482 140736013414351 0
[pid=9611/tid=9621] ppid=9609 vsize=15144768 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/9611/task/9621/stat : 9621 (java) S 9609 9609 3331 0 -1 1077944384 600 0 0 0 4 0 0 0 20 0 15 0 410777618 15508242432 10122 33554432000 4194304 4196468 140736013403152 140391941650928 140392477362818 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11964416 140736013411311 140736013411482 140736013411482 140736013414351 0
[pid=9611/tid=9622] ppid=9609 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9611/task/9622/stat : 9622 (java) S 9609 9609 3331 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 410777618 15508242432 10122 33554432000 4194304 4196468 140736013403152 140391940598384 140392477362818 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11964416 140736013411311 140736013411482 140736013411482 140736013414351 0
[pid=9611/tid=9623] ppid=9609 vsize=15144768 memory=139969456490112 CPUtime=0.08 cores=0,2,4,6
/proc/9611/task/9623/stat : 9623 (java) R 9609 9609 3331 0 -1 4202560 812 0 0 0 8 0 0 0 20 0 15 0 410777618 15508242432 10122 33554432000 4194304 4196468 140736013403152 140391939545648 140392456706559 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11964416 140736013411311 140736013411482 140736013411482 140736013414351 0
[pid=9611/tid=9624] ppid=9609 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9611/task/9624/stat : 9624 (java) S 9609 9609 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410777618 15508242432 10122 33554432000 4194304 4196468 140736013403152 140391938493536 140392477361877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11964416 140736013411311 140736013411482 140736013411482 140736013414351 0
[pid=9611/tid=9625] ppid=9609 vsize=15144768 memory=139969456490112 CPUtime=0 cores=0,2,4,6
/proc/9611/task/9625/stat : 9625 (java) S 9609 9609 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410777618 15508242432 10122 33554432000 4194304 4196468 140736013403152 140391937440048 140392477362818 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11964416 140736013411311 140736013411482 140736013411482 140736013414351 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 41936 KiB
[startup+0.310912 s]*
/proc/loadavg: 8.05 8.44 8.13 8/233 9625
/proc/meminfo: memFree=17593660/32770624 swapFree=66959216/67108860
[pid=9609] ppid=9606 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/9609/stat : 9609 (xcsp3-exec) S 9606 9609 3331 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 410777612 115843072 362 33554432000 4194304 5098028 140724670975904 140724670974008 139668304609916 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 32415744 140724670985082 140724670985325 140724670985325 140724670988234 0
/proc/9609/statm: 28282 362 304 221 0 87 0
[pid=9611] ppid=9609 vsize=15149024 memory=49976 CPUtime=0.53 cores=0,2,4,6
/proc/9611/stat : 9611 (java) S 9609 9609 3331 0 -1 1077944320 10830 0 0 0 50 3 0 0 20 0 15 0 410777612 15512600576 12494 33554432000 4194304 4196468 140736013403152 140736013385696 140392477351671 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11964416 140736013411311 140736013411482 140736013411482 140736013414351 0
/proc/9611/statm: 3787256 12494 3368 1 0 3748377 0
[pid=9611/tid=9612] ppid=9609 vsize=15149024 memory=-8976644418600983157 CPUtime=0.3 cores=0,2,4,6
/proc/9611/task/9612/stat : 9612 (java) R 9609 9609 3331 0 -1 4202560 7747 0 0 0 28 2 0 0 20 0 15 0 410777612 15512600576 12494 33554432000 4194304 4196468 140736013403152 140392481582784 140392461432158 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11964416 140736013411311 140736013411482 140736013411482 140736013414351 0
[pid=9611/tid=9613] ppid=9609 vsize=15149024 memory=3472468098351641808 CPUtime=0 cores=0,2,4,6
/proc/9611/task/9613/stat : 9613 (java) S 9609 9609 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410777613 15512600576 12494 33554432000 4194304 4196468 140736013403152 140392429972240 140392477361877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11964416 140736013411311 140736013411482 140736013411482 140736013414351 0
[pid=9611/tid=9614] ppid=9609 vsize=15149024 memory=139969456490112 CPUtime=0 cores=0,2,4,6
/proc/9611/task/9614/stat : 9614 (java) S 9609 9609 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410777613 15512600576 12494 33554432000 4194304 4196468 140736013403152 140392428919696 140392477361877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11964416 140736013411311 140736013411482 140736013411482 140736013414351 0
[pid=9611/tid=9615] ppid=9609 vsize=15149024 memory=6 CPUtime=0 cores=0,2,4,6
/proc/9611/task/9615/stat : 9615 (java) S 9609 9609 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410777613 15512600576 12494 33554432000 4194304 4196468 140736013403152 140392427867152 140392477361877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11964416 140736013411311 140736013411482 140736013411482 140736013414351 0
[pid=9611/tid=9616] ppid=9609 vsize=15149024 memory=139969293330463 CPUtime=0 cores=0,2,4,6
/proc/9611/task/9616/stat : 9616 (java) S 9609 9609 3331 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410777613 15512600576 12494 33554432000 4194304 4196468 140736013403152 140392426814608 140392477361877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11964416 140736013411311 140736013411482 140736013411482 140736013414351 0
[pid=9611/tid=9617] ppid=9609 vsize=15149024 memory=279938586640160 CPUtime=0 cores=0,2,4,6
/proc/9611/task/9617/stat : 9617 (java) S 9609 9609 3331 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 410777615 15512600576 12494 33554432000 4194304 4196468 140736013403152 140392013182960 140392477362818 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11964416 140736013411311 140736013411482 140736013411482 140736013414351 0
[pid=9611/tid=9618] ppid=9609 vsize=15149024 memory=139969293307407 CPUtime=0 cores=0,2,4,6
/proc/9611/task/9618/stat : 9618 (java) S 9609 9609 3331 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 410777615 15512600576 12494 33554432000 4194304 4196468 140736013403152 140391944807328 140392477361877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11964416 140736013411311 140736013411482 140736013411482 140736013414351 0
[pid=9611/tid=9619] ppid=9609 vsize=15149024 memory=279938749680648 CPUtime=0 cores=0,2,4,6
/proc/9611/task/9619/stat : 9619 (java) S 9609 9609 3331 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 410777615 15512600576 12494 33554432000 4194304 4196468 140736013403152 140391943754736 140392477361877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11964416 140736013411311 140736013411482 140736013411482 140736013414351 0
[pid=9611/tid=9620] ppid=9609 vsize=15149024 memory=139969293330463 CPUtime=0 cores=0,2,4,6
/proc/9611/task/9620/stat : 9620 (java) S 9609 9609 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410777618 15512600576 12494 33554432000 4194304 4196468 140736013403152 140391942703312 140392477370267 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11964416 140736013411311 140736013411482 140736013411482 140736013414351 0
[pid=9611/tid=9621] ppid=9609 vsize=15149024 memory=0 CPUtime=0.06 cores=0,2,4,6
/proc/9611/task/9621/stat : 9621 (java) R 9609 9609 3331 0 -1 4202560 721 0 0 0 6 0 0 0 20 0 15 0 410777618 15512600576 12494 33554432000 4194304 4196468 140736013403152 140391941641312 140392458895914 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11964416 140736013411311 140736013411482 140736013411482 140736013414351 0
[pid=9611/tid=9622] ppid=9609 vsize=15149024 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/9611/task/9622/stat : 9622 (java) S 9609 9609 3331 0 -1 1077944384 97 0 0 0 2 0 0 0 20 0 15 0 410777618 15512600576 12494 33554432000 4194304 4196468 140736013403152 140391940598384 140392477362818 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11964416 140736013411311 140736013411482 140736013411482 140736013414351 0
[pid=9611/tid=9623] ppid=9609 vsize=15149024 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/9611/task/9623/stat : 9623 (java) S 9609 9609 3331 0 -1 1077944384 968 0 0 0 13 0 0 0 20 0 15 0 410777618 15512600576 12494 33554432000 4194304 4196468 140736013403152 140391939545840 140392477362818 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11964416 140736013411311 140736013411482 140736013411482 140736013414351 0
[pid=9611/tid=9624] ppid=9609 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9611/task/9624/stat : 9624 (java) S 9609 9609 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410777618 15512600576 12494 33554432000 4194304 4196468 140736013403152 140391938493536 140392477361877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11964416 140736013411311 140736013411482 140736013411482 140736013414351 0
[pid=9611/tid=9625] ppid=9609 vsize=15149024 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/9611/task/9625/stat : 9625 (java) S 9609 9609 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410777618 15512600576 12494 33554432000 4194304 4196468 140736013403152 140391937440048 140392477362818 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11964416 140736013411311 140736013411482 140736013411482 140736013414351 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 51424 KiB
[startup+0.701333 s]
/proc/loadavg: 8.05 8.44 8.13 9/233 9625
/proc/meminfo: memFree=17578648/32770624 swapFree=66959216/67108860
[pid=9609] ppid=9606 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/9609/stat : 9609 (xcsp3-exec) S 9606 9609 3331 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 410777612 115843072 362 33554432000 4194304 5098028 140724670975904 140724670974008 139668304609916 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 32415744 140724670985082 140724670985325 140724670985325 140724670988234 0
/proc/9609/statm: 28282 362 304 221 0 87 0
[pid=9611] ppid=9609 vsize=15151148 memory=166932 CPUtime=1.69 cores=0,2,4,6
/proc/9611/stat : 9611 (java) S 9609 9609 3331 0 -1 1077944320 14466 0 0 0 164 5 0 0 20 0 15 0 410777612 15514775552 41733 33554432000 4194304 4196468 140736013403152 140736013385696 140392477351671 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11964416 140736013411311 140736013411482 140736013411482 140736013414351 0
/proc/9611/statm: 3787787 41733 3439 1 0 3748889 0
[pid=9611/tid=9612] ppid=9609 vsize=15151148 memory=4639059877604708710 CPUtime=0.67 cores=0,2,4,6
/proc/9611/task/9612/stat : 9612 (java) R 9609 9609 3331 0 -1 4202560 9143 0 0 0 64 3 0 0 20 0 15 0 410777612 15514775552 41733 33554432000 4194304 4196468 140736013403152 140392481589600 140392099533177 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11964416 140736013411311 140736013411482 140736013411482 140736013414351 0
[pid=9611/tid=9613] ppid=9609 vsize=15151148 memory=6935650355287975249 CPUtime=0 cores=0,2,4,6
/proc/9611/task/9613/stat : 9613 (java) S 9609 9609 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410777613 15514775552 41733 33554432000 4194304 4196468 140736013403152 140392429972240 140392477361877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11964416 140736013411311 140736013411482 140736013411482 140736013414351 0
[pid=9611/tid=9614] ppid=9609 vsize=15151148 memory=6935649255962144081 CPUtime=0 cores=0,2,4,6
/proc/9611/task/9614/stat : 9614 (java) S 9609 9609 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410777613 15514775552 41733 33554432000 4194304 4196468 140736013403152 140392428919696 140392477361877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11964416 140736013411311 140736013411482 140736013411482 140736013414351 0
[pid=9611/tid=9615] ppid=9609 vsize=15151148 memory=7825734864442108491 CPUtime=0 cores=0,2,4,6
/proc/9611/task/9615/stat : 9615 (java) S 9609 9609 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410777613 15514775552 41733 33554432000 4194304 4196468 140736013403152 140392427867152 140392477361877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11964416 140736013411311 140736013411482 140736013411482 140736013414351 0
[pid=9611/tid=9616] ppid=9609 vsize=15151148 memory=7100839870140027543 CPUtime=0 cores=0,2,4,6
/proc/9611/task/9616/stat : 9616 (java) S 9609 9609 3331 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410777613 15514775552 41733 33554432000 4194304 4196468 140736013403152 140392426814608 140392477361877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11964416 140736013411311 140736013411482 140736013411482 140736013414351 0
[pid=9611/tid=9617] ppid=9609 vsize=15151148 memory=6944613755328037012 CPUtime=0 cores=0,2,4,6
/proc/9611/task/9617/stat : 9617 (java) S 9609 9609 3331 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 410777615 15514775552 41733 33554432000 4194304 4196468 140736013403152 140392013182960 140392477362818 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11964416 140736013411311 140736013411482 140736013411482 140736013414351 0
[pid=9611/tid=9618] ppid=9609 vsize=15151148 memory=4612 CPUtime=0 cores=0,2,4,6
/proc/9611/task/9618/stat : 9618 (java) S 9609 9609 3331 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 410777615 15514775552 41733 33554432000 4194304 4196468 140736013403152 140391944807328 140392477361877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11964416 140736013411311 140736013411482 140736013411482 140736013414351 0
[pid=9611/tid=9619] ppid=9609 vsize=15151148 memory=6884 CPUtime=0 cores=0,2,4,6
/proc/9611/task/9619/stat : 9619 (java) S 9609 9609 3331 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 410777615 15514775552 41733 33554432000 4194304 4196468 140736013403152 140391943754736 140392477361877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11964416 140736013411311 140736013411482 140736013411482 140736013414351 0
[pid=9611/tid=9620] ppid=9609 vsize=15151148 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/9611/task/9620/stat : 9620 (java) S 9609 9609 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410777618 15514775552 41733 33554432000 4194304 4196468 140736013403152 140391942703312 140392477370267 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11964416 140736013411311 140736013411482 140736013411482 140736013414351 0
[pid=9611/tid=9621] ppid=9609 vsize=15151148 memory=1660 CPUtime=0.29 cores=0,2,4,6
/proc/9611/task/9621/stat : 9621 (java) R 9609 9609 3331 0 -1 4202560 1260 0 0 0 29 0 0 0 20 0 15 0 410777618 15514775552 41733 33554432000 4194304 4196468 140736013403152 140391941637472 140392458896319 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11964416 140736013411311 140736013411482 140736013411482 140736013414351 0
[pid=9611/tid=9622] ppid=9609 vsize=15151148 memory=38740 CPUtime=0.29 cores=0,2,4,6
/proc/9611/task/9622/stat : 9622 (java) R 9609 9609 3331 0 -1 4202560 865 0 0 0 29 0 0 0 20 0 15 0 410777618 15514775552 41733 33554432000 4194304 4196468 140736013403152 140391940591576 140392460738389 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11964416 140736013411311 140736013411482 140736013411482 140736013414351 0
[pid=9611/tid=9623] ppid=9609 vsize=15151148 memory=988 CPUtime=0.4 cores=0,2,4,6
/proc/9611/task/9623/stat : 9623 (java) R 9609 9609 3331 0 -1 4202560 1891 0 0 0 40 0 0 0 20 0 15 0 410777618 15514775552 41733 33554432000 4194304 4196468 140736013403152 140391939542208 140392455952069 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11964416 140736013411311 140736013411482 140736013411482 140736013414351 0
[pid=9611/tid=9624] ppid=9609 vsize=15151148 memory=5793994532452520804 CPUtime=0 cores=0,2,4,6
/proc/9611/task/9624/stat : 9624 (java) S 9609 9609 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410777618 15514775552 41733 33554432000 4194304 4196468 140736013403152 140391938493536 140392477361877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11964416 140736013411311 140736013411482 140736013411482 140736013414351 0
[pid=9611/tid=9625] ppid=9609 vsize=15151148 memory=8099279071866868836 CPUtime=0 cores=0,2,4,6
/proc/9611/task/9625/stat : 9625 (java) S 9609 9609 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410777618 15514775552 41733 33554432000 4194304 4196468 140736013403152 140391937440048 140392477362818 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11964416 140736013411311 140736013411482 140736013411482 140736013414351 0
Current children cumulated CPU time: 1.69 s
Current children cumulated vsize: 15264276 KiB
Current children cumulated memory: 168380 KiB
[startup+1.50133 s]
/proc/loadavg: 8.05 8.44 8.13 8/233 9625
/proc/meminfo: memFree=17216136/32770624 swapFree=66959216/67108860
[pid=9609] ppid=9606 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/9609/stat : 9609 (xcsp3-exec) S 9606 9609 3331 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 410777612 115843072 362 33554432000 4194304 5098028 140724670975904 140724670974008 139668304609916 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 32415744 140724670985082 140724670985325 140724670985325 140724670988234 0
/proc/9609/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
Current children cumulated vsize: 15533608 KiB
Current children cumulated memory: 627184 KiB
[startup+16.0013 s]*
/proc/loadavg: 8.19 8.45 8.14 9/238 9699
/proc/meminfo: memFree=17016564/32770624 swapFree=66959216/67108860
[pid=9609] ppid=9606 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/9609/stat : 9609 (xcsp3-exec) S 9606 9609 3331 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 410777612 115843072 362 33554432000 4194304 5098028 140724670975904 140724670974008 139668304609916 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 32415744 140724670985082 140724670985325 140724670985325 140724670988234 0
/proc/9609/statm: 28282 362 304 221 0 87 0
[pid=9611] ppid=9609 vsize=15420480 memory=626020 CPUtime=61.12 cores=0,2,4,6
/proc/9611/stat : 9611 (java) S 9609 9609 3331 0 -1 1077944320 49894 0 0 0 6068 44 0 0 20 0 19 0 410777612 15790571520 156505 33554432000 4194304 4196468 140736013403152 140736013385696 140392477351671 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11964416 140736013411311 140736013411482 140736013411482 140736013414351 0
/proc/9611/statm: 3855120 156505 3537 1 0 3816222 0
[pid=9611/tid=9612] ppid=9609 vsize=15420480 memory=8112282956445269571 CPUtime=0.83 cores=0,2,4,6
/proc/9611/task/9612/stat : 9612 (java) S 9609 9609 3331 0 -1 1077944384 9583 0 0 0 79 4 0 0 20 0 19 0 410777612 15790571520 156505 33554432000 4194304 4196468 140736013403152 140392481592448 140392477361877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11964416 140736013411311 140736013411482 140736013411482 140736013414351 0
[pid=9611/tid=9613] ppid=9609 vsize=15420480 memory=-7003737579269690708 CPUtime=0.41 cores=0,2,4,6
/proc/9611/task/9613/stat : 9613 (java) S 9609 9609 3331 0 -1 1077944384 1195 0 0 0 35 6 0 0 20 0 19 0 410777613 15790571520 156505 33554432000 4194304 4196468 140736013403152 140392429972240 140392477361877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11964416 140736013411311 140736013411482 140736013411482 140736013414351 0
[pid=9611/tid=9614] ppid=9609 vsize=15420480 memory=0 CPUtime=0.44 cores=0,2,4,6
/proc/9611/task/9614/stat : 9614 (java) S 9609 9609 3331 0 -1 1077944384 881 0 0 0 36 8 0 0 20 0 19 0 410777613 15790571520 156505 33554432000 4194304 4196468 140736013403152 140392428919696 140392477361877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11964416 140736013411311 140736013411482 140736013411482 140736013414351 0
[pid=9611/tid=9615] ppid=9609 vsize=15420480 memory=31076 CPUtime=0.42 cores=0,2,4,6
/proc/9611/task/9615/stat : 9615 (java) S 9609 9609 3331 0 -1 1077944384 358 0 0 0 35 7 0 0 20 0 19 0 410777613 15790571520 156505 33554432000 4194304 4196468 140736013403152 140392427867152 140392477361877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11964416 140736013411311 140736013411482 140736013411482 140736013414351 0
[pid=9611/tid=9616] ppid=9609 vsize=15420480 memory=1448 CPUtime=0.46 cores=0,2,4,6
/proc/9611/task/9616/stat : 9616 (java) S 9609 9609 3331 0 -1 1077944384 365 0 0 0 38 8 0 0 20 0 19 0 410777613 15790571520 156505 33554432000 4194304 4196468 140736013403152 140392426814608 140392477361877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11964416 140736013411311 140736013411482 140736013411482 140736013414351 0
[pid=9611/tid=9617] ppid=9609 vsize=15420480 memory=1448 CPUtime=0.02 cores=0,2,4,6
/proc/9611/task/9617/stat : 9617 (java) S 9609 9609 3331 0 -1 1077944384 3186 0 0 0 2 0 0 0 20 0 19 0 410777615 15790571520 156505 33554432000 4194304 4196468 140736013403152 140392013182960 140392477362818 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11964416 140736013411311 140736013411482 140736013411482 140736013414351 0
[pid=9611/tid=9618] ppid=9609 vsize=15420480 memory=516840 CPUtime=0 cores=0,2,4,6
/proc/9611/task/9618/stat : 9618 (java) S 9609 9609 3331 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 19 0 410777615 15790571520 156505 33554432000 4194304 4196468 140736013403152 140391944807392 140392477361877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11964416 140736013411311 140736013411482 140736013411482 140736013414351 0
[pid=9611/tid=9619] ppid=9609 vsize=15420480 memory=1216 CPUtime=0 cores=0,2,4,6
/proc/9611/task/9619/stat : 9619 (java) S 9609 9609 3331 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 19 0 410777615 15790571520 156505 33554432000 4194304 4196468 140736013403152 140391943754752 140392477361877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11964416 140736013411311 140736013411482 140736013411482 140736013414351 0
[pid=9611/tid=9620] ppid=9609 vsize=15420480 memory=984 CPUtime=0 cores=0,2,4,6
/proc/9611/task/9620/stat : 9620 (java) S 9609 9609 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 410777618 15790571520 156505 33554432000 4194304 4196468 140736013403152 140391942703312 140392477370267 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11964416 140736013411311 140736013411482 140736013411482 140736013414351 0
[pid=9611/tid=9621] ppid=9609 vsize=15420480 memory=14004 CPUtime=2.81 cores=0,2,4,6
/proc/9611/task/9621/stat : 9621 (java) S 9609 9609 3331 0 -1 1077944384 10238 0 0 0 280 1 0 0 20 0 19 0 410777618 15790571520 156505 33554432000 4194304 4196468 140736013403152 140391941650928 140392477362818 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11964416 140736013411311 140736013411482 140736013411482 140736013414351 0
[pid=9611/tid=9622] ppid=9609 vsize=15420480 memory=20736 CPUtime=2.75 cores=0,2,4,6
/proc/9611/task/9622/stat : 9622 (java) S 9609 9609 3331 0 -1 1077944384 8282 0 0 0 274 1 0 0 20 0 19 0 410777618 15790571520 156505 33554432000 4194304 4196468 140736013403152 140391940598384 140392477362818 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11964416 140736013411311 140736013411482 140736013411482 140736013414351 0
[pid=9611/tid=9623] ppid=9609 vsize=15420480 memory=626020 CPUtime=0.84 cores=0,2,4,6
/proc/9611/task/9623/stat : 9623 (java) S 9609 9609 3331 0 -1 1077944384 7388 0 0 0 83 1 0 0 20 0 19 0 410777618 15790571520 156505 33554432000 4194304 4196468 140736013403152 140391939545840 140392477362818 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11964416 140736013411311 140736013411482 140736013411482 140736013414351 0
[pid=9611/tid=9624] ppid=9609 vsize=15420480 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/9611/task/9624/stat : 9624 (java) S 9609 9609 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 410777618 15790571520 156505 33554432000 4194304 4196468 140736013403152 140391938493536 140392477361877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11964416 140736013411311 140736013411482 140736013411482 140736013414351 0
[pid=9611/tid=9625] ppid=9609 vsize=15420480 memory=625736 CPUtime=0 cores=0,2,4,6
/proc/9611/task/9625/stat : 9625 (java) S 9609 9609 3331 0 -1 1077944384 555 0 0 0 0 0 0 0 20 0 19 0 410777618 15790571520 156505 33554432000 4194304 4196468 140736013403152 140391937440048 140392477362818 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 25 0 0 6293624 6294260 11964416 140736013411311 140736013411482 140736013411482 140736013414351 0
[pid=9611/tid=9696] ppid=9609 vsize=15420480 memory=38740 CPUtime=3.53 cores=0,2,4,6
/proc/9611/task/9696/stat : 9696 (java) R 9609 9609 3331 0 -1 4202560 163 0 0 0 353 0 0 0 20 0 19 0 410778822 15790571520 156505 33554432000 4194304 4196468 140736013403152 140391926124056 140392102282847 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11964416 140736013411311 140736013411482 140736013411482 140736013414351 0
[pid=9611/tid=9697] ppid=9609 vsize=15420480 memory=625940 CPUtime=3.51 cores=0,2,4,6
/proc/9611/task/9697/stat : 9697 (java) R 9609 9609 3331 0 -1 4202560 309 0 0 0 351 0 0 0 20 0 19 0 410778822 15790571520 156505 33554432000 4194304 4196468 140736013403152 140391928232584 140392101426300 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11964416 140736013411311 140736013411482 140736013411482 140736013414351 0
[pid=9611/tid=9698] ppid=9609 vsize=15420480 memory=1448 CPUtime=3.48 cores=0,2,4,6
/proc/9611/task/9698/stat : 9698 (java) R 9609 9609 3331 0 -1 4202560 306 0 0 0 348 0 0 0 20 0 19 0 410778822 15790571520 156505 33554432000 4194304 4196468 140736013403152 140391927178520 140392101425735 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11964416 140736013411311 140736013411482 140736013411482 140736013414351 0
[pid=9611/tid=9699] ppid=9609 vsize=15420480 memory=625804 CPUtime=3.59 cores=0,2,4,6
/proc/9611/task/9699/stat : 9699 (java) R 9609 9609 3331 0 -1 4202560 158 0 0 0 359 0 0 0 20 0 19 0 410778822 15790571520 156505 33554432000 4194304 4196468 140736013403152 140391925071136 140392103664688 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11964416 140736013411311 140736013411482 140736013411482 140736013414351 0
Current children cumulated CPU time: 61.12 s
Current children cumulated vsize: 15533608 KiB
Current children cumulated memory: 627468 KiB
[startup+16.4013 s]
/proc/loadavg: 8.19 8.45 8.14 9/238 9699
/proc/meminfo: memFree=17016564/32770624 swapFree=66959216/67108860
[pid=9609] ppid=9606 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/9609/stat : 9609 (xcsp3-exec) S 9606 9609 3331 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 410777612 115843072 362 33554432000 4194304 5098028 140724670975904 140724670974008 139668304609916 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 32415744 140724670985082 140724670985325 140724670985325 140724670988234 0
/proc/9609/statm: 28282 362 304 221 0 87 0
[pid=9611] ppid=9609 vsize=15420480 memory=626020 CPUtime=62.67 cores=0,2,4,6
/proc/9611/stat : 9611 (java) S 9609 9609 3331 0 -1 1077944320 50047 0 0 0 6223 44 0 0 20 0 19 0 410777612 15790571520 156505 33554432000 4194304 4196468 140736013403152 140736013385696 140392477351671 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11964416 140736013411311 140736013411482 140736013411482 140736013414351 0
/proc/9611/statm: 3855120 156505 3537 1 0 3816222 0
[pid=9611/tid=9612] ppid=9609 vsize=15420480 memory=0 CPUtime=0.83 cores=0,2,4,6
/proc/9611/task/9612/stat : 9612 (java) S 9609 9609 3331 0 -1 1077944384 9583 0 0 0 79 4 0 0 20 0 19 0 410777612 15790571520 156505 33554432000 4194304 4196468 140736013403152 140392481592448 140392477361877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11964416 140736013411311 140736013411482 140736013411482 140736013414351 0
[pid=9611/tid=9613] ppid=9609 vsize=15420480 memory=8112282956445269571 CPUtime=0.41 cores=0,2,4,6
/proc/9611/task/9613/stat : 9613 (java) S 9609 9609 3331 0 -1 1077944384 1195 0 0 0 35 6 0 0 20 0 19 0 410777613 15790571520 156505 33554432000 4194304 4196468 140736013403152 140392429972240 140392477361877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11964416 140736013411311 140736013411482 140736013411482 140736013414351 0
[pid=9611/tid=9614] ppid=9609 vsize=15420480 memory=506560 CPUtime=0.44 cores=0,2,4,6
/proc/9611/task/9614/stat : 9614 (java) S 9609 9609 3331 0 -1 1077944384 881 0 0 0 36 8 0 0 20 0 19 0 410777613 15790571520 156505 33554432000 4194304 4196468 140736013403152 140392428919696 140392477361877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11964416 140736013411311 140736013411482 140736013411482 140736013414351 0
[pid=9611/tid=9615] ppid=9609 vsize=15420480 memory=3368 CPUtime=0.42 cores=0,2,4,6
/proc/9611/task/9615/stat : 9615 (java) S 9609 9609 3331 0 -1 1077944384 358 0 0 0 35 7 0 0 20 0 19 0 410777613 15790571520 156505 33554432000 4194304 4196468 140736013403152 140392427867152 140392477361877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11964416 140736013411311 140736013411482 140736013411482 140736013414351 0
[pid=9611/tid=9616] ppid=9609 vsize=15420480 memory=1448 CPUtime=0.46 cores=0,2,4,6
/proc/9611/task/9616/stat : 9616 (java) S 9609 9609 3331 0 -1 1077944384 365 0 0 0 38 8 0 0 20 0 19 0 410777613 15790571520 156505 33554432000 4194304 4196468 140736013403152 140392426814608 140392477361877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11964416 140736013411311 140736013411482 140736013411482 140736013414351 0
[pid=9611/tid=9617] ppid=9609 vsize=15420480 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/9611/task/9617/stat : 9617 (java) S 9609 9609 3331 0 -1 1077944384 3186 0 0 0 2 0 0 0 20 0 19 0 410777615 15790571520 156505 33554432000 4194304 4196468 140736013403152 140392013182960 140392477362818 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11964416 140736013411311 140736013411482 140736013411482 140736013414351 0
[pid=9611/tid=9618] ppid=9609 vsize=15420480 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9611/task/9618/stat : 9618 (java) S 9609 9609 3331 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 19 0 410777615 15790571520 156505 33554432000 4194304 4196468 140736013403152 140391944807392 140392477361877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11964416 140736013411311 140736013411482 140736013411482 140736013414351 0
[pid=9611/tid=9619] ppid=9609 vsize=15420480 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9611/task/9619/stat : 9619 (java) S 9609 9609 3331 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 19 0 410777615 15790571520 156505 33554432000 4194304 4196468 140736013403152 140391943754752 140392477361877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11964416 140736013411311 140736013411482 140736013411482 140736013414351 0
[pid=9611/tid=9620] ppid=9609 vsize=15420480 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/9611/task/9620/stat : 9620 (java) S 9609 9609 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 410777618 15790571520 156505 33554432000 4194304 4196468 140736013403152 140391942703312 140392477370267 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11964416 140736013411311 140736013411482 140736013411482 140736013414351 0
[pid=9611/tid=9621] ppid=9609 vsize=15420480 memory=626020 CPUtime=2.81 cores=0,2,4,6
/proc/9611/task/9621/stat : 9621 (java) S 9609 9609 3331 0 -1 1077944384 10238 0 0 0 280 1 0 0 20 0 19 0 410777618 15790571520 156505 33554432000 4194304 4196468 140736013403152 140391941650928 140392477362818 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11964416 140736013411311 140736013411482 140736013411482 140736013414351 0
[pid=9611/tid=9622] ppid=9609 vsize=15420480 memory=2588 CPUtime=2.75 cores=0,2,4,6
/proc/9611/task/9622/stat : 9622 (java) S 9609 9609 3331 0 -1 1077944384 8282 0 0 0 274 1 0 0 20 0 19 0 410777618 15790571520 156505 33554432000 4194304 4196468 140736013403152 140391940598384 140392477362818 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11964416 140736013411311 140736013411482 140736013411482 140736013414351 0
[pid=9611/tid=9623] ppid=9609 vsize=15420480 memory=1412 CPUtime=0.84 cores=0,2,4,6
/proc/9611/task/9623/stat : 9623 (java) S 9609 9609 3331 0 -1 1077944384 7388 0 0 0 83 1 0 0 20 0 19 0 410777618 15790571520 156505 33554432000 4194304 4196468 140736013403152 140391939545840 140392477362818 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11964416 140736013411311 140736013411482 140736013411482 140736013414351 0
[pid=9611/tid=9624] ppid=9609 vsize=15420480 memory=3368 CPUtime=0 cores=0,2,4,6
/proc/9611/task/9624/stat : 9624 (java) S 9609 9609 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 410777618 15790571520 156505 33554432000 4194304 4196468 140736013403152 140391938493536 140392477361877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11964416 140736013411311 140736013411482 140736013411482 140736013414351 0
[pid=9611/tid=9625] ppid=9609 vsize=15420480 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/9611/task/9625/stat : 9625 (java) S 9609 9609 3331 0 -1 1077944384 555 0 0 0 0 0 0 0 20 0 19 0 410777618 15790571520 156505 33554432000 4194304 4196468 140736013403152 140391937440048 140392477362818 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 25 0 0 6293624 6294260 11964416 140736013411311 140736013411482 140736013411482 140736013414351 0
[pid=9611/tid=9696] ppid=9609 vsize=15420480 memory=2251404 CPUtime=3.92 cores=0,2,4,6
/proc/9611/task/9696/stat : 9696 (java) R 9609 9609 3331 0 -1 4202560 201 0 0 0 392 0 0 0 20 0 19 0 410778822 15790571520 156505 33554432000 4194304 4196468 140736013403152 140391926124056 140392102609216 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11964416 140736013411311 140736013411482 140736013411482 140736013414351 0
[pid=9611/tid=9697] ppid=9609 vsize=15420480 memory=4112 CPUtime=3.9 cores=0,2,4,6
/proc/9611/task/9697/stat : 9697 (java) R 9609 9609 3331 0 -1 4202560 340 0 0 0 390 0 0 0 20 0 19 0 410778822 15790571520 156505 33554432000 4194304 4196468 140736013403152 140391928232584 140392101426179 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11964416 140736013411311 140736013411482 140736013411482 140736013414351 0
[pid=9611/tid=9698] ppid=9609 vsize=15420480 memory=1408 CPUtime=3.87 cores=0,2,4,6
/proc/9611/task/9698/stat : 9698 (java) R 9609 9609 3331 0 -1 4202560 328 0 0 0 387 0 0 0 20 0 19 0 410778822 15790571520 156505 33554432000 4194304 4196468 140736013403152 140391927178520 140392103035953 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11964416 140736013411311 140736013411482 140736013411482 140736013414351 0
[pid=9611/tid=9699] ppid=9609 vsize=15420480 memory=6908 CPUtime=3.98 cores=0,2,4,6
/proc/9611/task/9699/stat : 9699 (java) R 9609 9609 3331 0 -1 4202560 220 0 0 0 398 0 0 0 20 0 19 0 410778822 15790571520 156505 33554432000 4194304 4196468 140736013403152 140391925071136 140392101426050 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11964416 140736013411311 140736013411482 140736013411482 140736013414351 0
Current children cumulated CPU time: 62.67 s
Current children cumulated vsize: 15533608 KiB
Current children cumulated memory: 627468 KiB
[startup+16.6013 s]
/proc/loadavg: 8.19 8.45 8.14 9/238 9699
/proc/meminfo: memFree=17016564/32770624 swapFree=66959216/67108860
[pid=9609] ppid=9606 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/9609/stat : 9609 (xcsp3-exec) S 9606 9609 3331 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 410777612 115843072 362 33554432000 4194304 5098028 140724670975904 140724670974008 139668304609916 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 32415744 140724670985082 140724670985325 140724670985325 140724670988234 0
/proc/9609/statm: 28282 362 304 221 0 87 0
[pid=9611] ppid=9609 vsize=15420480 memory=626104 CPUtime=63.47 cores=0,2,4,6
/proc/9611/stat : 9611 (java) S 9609 9609 3331 0 -1 1077944320 50101 0 0 0 6303 44 0 0 20 0 19 0 410777612 15790571520 156526 33554432000 4194304 4196468 140736013403152 140736013385696 140392477351671 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11964416 140736013411311 140736013411482 140736013411482 140736013414351 0
/proc/9611/statm: 3855120 156526 3537 1 0 3816222 0
[pid=9611/tid=9612] ppid=9609 vsize=15420480 memory=14048 CPUtime=0.83 cores=0,2,4,6
/proc/9611/task/9612/stat : 9612 (java) S 9609 9609 3331 0 -1 1077944384 9583 0 0 0 79 4 0 0 20 0 19 0 410777612 15790571520 156526 33554432000 4194304 4196468 140736013403152 140392481592448 140392477361877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11964416 140736013411311 140736013411482 140736013411482 140736013414351 0
[pid=9611/tid=9613] ppid=9609 vsize=15420480 memory=8112282956445269571 CPUtime=0.41 cores=0,2,4,6
/proc/9611/task/9613/stat : 9613 (java) S 9609 9609 3331 0 -1 1077944384 1195 0 0 0 35 6 0 0 20 0 19 0 410777613 15790571520 156526 33554432000 4194304 4196468 140736013403152 140392429972240 140392477361877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11964416 140736013411311 140736013411482 140736013411482 140736013414351 0
[pid=9611/tid=9614] ppid=9609 vsize=15420480 memory=504128 CPUtime=0.44 cores=0,2,4,6
/proc/9611/task/9614/stat : 9614 (java) S 9609 9609 3331 0 -1 1077944384 881 0 0 0 36 8 0 0 20 0 19 0 410777613 15790571520 156526 33554432000 4194304 4196468 140736013403152 140392428919696 140392477361877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11964416 140736013411311 140736013411482 140736013411482 140736013414351 0
[pid=9611/tid=9615] ppid=9609 vsize=15420480 memory=2775 CPUtime=0.42 cores=0,2,4,6
/proc/9611/task/9615/stat : 9615 (java) S 9609 9609 3331 0 -1 1077944384 358 0 0 0 35 7 0 0 20 0 19 0 410777613 15790571520 156526 33554432000 4194304 4196468 140736013403152 140392427867152 140392477361877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11964416 140736013411311 140736013411482 140736013411482 140736013414351 0
[pid=9611/tid=9616] ppid=9609 vsize=15420480 memory=83 CPUtime=0.46 cores=0,2,4,6
/proc/9611/task/9616/stat : 9616 (java) S 9609 9609 3331 0 -1 1077944384 365 0 0 0 38 8 0 0 20 0 19 0 410777613 15790571520 156526 33554432000 4194304 4196468 140736013403152 140392426814608 140392477361877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11964416 140736013411311 140736013411482 140736013411482 140736013414351 0
[pid=9611/tid=9617] ppid=9609 vsize=15420480 memory=12 CPUtime=0.02 cores=0,2,4,6
/proc/9611/task/9617/stat : 9617 (java) S 9609 9609 3331 0 -1 1077944384 3233 0 0 0 2 0 0 0 20 0 19 0 410777615 15790571520 156526 33554432000 4194304 4196468 140736013403152 140392013182960 140392477362818 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11964416 140736013411311 140736013411482 140736013411482 140736013414351 0
[pid=9611/tid=9618] ppid=9609 vsize=15420480 memory=512716 CPUtime=0 cores=0,2,4,6
/proc/9611/task/9618/stat : 9618 (java) S 9609 9609 3331 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 19 0 410777615 15790571520 156526 33554432000 4194304 4196468 140736013403152 140391944807392 140392477361877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11964416 140736013411311 140736013411482 140736013411482 140736013414351 0
[pid=9611/tid=9619] ppid=9609 vsize=15420480 memory=279938586818976 CPUtime=0 cores=0,2,4,6
/proc/9611/task/9619/stat : 9619 (java) S 9609 9609 3331 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 19 0 410777615 15790571520 156526 33554432000 4194304 4196468 140736013403152 140391943754752 140392477361877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11964416 140736013411311 140736013411482 140736013411482 140736013414351 0
[pid=9611/tid=9620] ppid=9609 vsize=15420480 memory=6944656592455359580 CPUtime=0 cores=0,2,4,6
/proc/9611/task/9620/stat : 9620 (java) S 9609 9609 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 410777618 15790571520 156526 33554432000 4194304 4196468 140736013403152 140391942703312 140392477370267 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11964416 140736013411311 140736013411482 140736013411482 140736013414351 0
[pid=9611/tid=9621] ppid=9609 vsize=15420480 memory=6944656592387989600 CPUtime=2.81 cores=0,2,4,6
/proc/9611/task/9621/stat : 9621 (java) S 9609 9609 3331 0 -1 1077944384 10238 0 0 0 280 1 0 0 20 0 19 0 410777618 15790571520 156526 33554432000 4194304 4196468 140736013403152 140391941650928 140392477362818 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11964416 140736013411311 140736013411482 140736013411482 140736013414351 0
[pid=9611/tid=9622] ppid=9609 vsize=15420480 memory=6656426216303648864 CPUtime=2.75 cores=0,2,4,6
/proc/9611/task/9622/stat : 9622 (java) S 9609 9609 3331 0 -1 1077944384 8282 0 0 0 274 1 0 0 20 0 19 0 410777618 15790571520 156526 33554432000 4194304 4196468 140736013403152 140391940598384 140392477362818 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11964416 140736013411311 140736013411482 140736013411482 140736013414351 0
[pid=9611/tid=9623] ppid=9609 vsize=15420480 memory=6944652177228980320 CPUtime=0.84 cores=0,2,4,6
/proc/9611/task/9623/stat : 9623 (java) S 9609 9609 3331 0 -1 1077944384 7388 0 0 0 83 1 0 0 20 0 19 0 410777618 15790571520 156526 33554432000 4194304 4196468 140736013403152 140391939545840 140392477362818 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11964416 140736013411311 140736013411482 140736013411482 140736013414351 0
[pid=9611/tid=9624] ppid=9609 vsize=15420480 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/9611/task/9624/stat : 9624 (java) S 9609 9609 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 410777618 15790571520 156526 33554432000 4194304 4196468 140736013403152 140391938493536 140392477361877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11964416 140736013411311 140736013411482 140736013411482 140736013414351 0
[pid=9611/tid=9625] ppid=9609 vsize=15420480 memory=6944656592455097440 CPUtime=0 cores=0,2,4,6
/proc/9611/task/9625/stat : 9625 (java) S 9609 9609 3331 0 -1 1077944384 555 0 0 0 0 0 0 0 20 0 19 0 410777618 15790571520 156526 33554432000 4194304 4196468 140736013403152 140391937440048 140392477362818 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 25 0 0 6293624 6294260 11964416 140736013411311 140736013411482 140736013411482 140736013414351 0
[pid=9611/tid=9696] ppid=9609 vsize=15420480 memory=6943526294502006880 CPUtime=4.12 cores=0,2,4,6
/proc/9611/task/9696/stat : 9696 (java) R 9609 9609 3331 0 -1 4202560 202 0 0 0 412 0 0 0 20 0 19 0 410778822 15790571520 156526 33554432000 4194304 4196468 140736013403152 140391926124360 140392104473096 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11964416 140736013411311 140736013411482 140736013411482 140736013414351 0
[pid=9611/tid=9697] ppid=9609 vsize=15420480 memory=6656426216303648864 CPUtime=4.1 cores=0,2,4,6
/proc/9611/task/9697/stat : 9697 (java) R 9609 9609 3331 0 -1 4202560 342 0 0 0 410 0 0 0 20 0 19 0 410778822 15790571520 156526 33554432000 4194304 4196468 140736013403152 140391928230200 140392104623090 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11964416 140736013411311 140736013411482 140736013411482 140736013414351 0
[pid=9611/tid=9698] ppid=9609 vsize=15420480 memory=6944656592387989600 CPUtime=4.07 cores=0,2,4,6
/proc/9611/task/9698/stat : 9698 (java) R 9609 9609 3331 0 -1 4202560 332 0 0 0 407 0 0 0 20 0 19 0 410778822 15790571520 156526 33554432000 4194304 4196468 140736013403152 140391927177672 140392105360498 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11964416 140736013411311 140736013411482 140736013411482 140736013414351 0
[pid=9611/tid=9699] ppid=9609 vsize=15420480 memory=55 CPUtime=4.18 cores=0,2,4,6
/proc/9611/task/9699/stat : 9699 (java) R 9609 9609 3331 0 -1 4202560 220 0 0 0 418 0 0 0 20 0 19 0 410778822 15790571520 156526 33554432000 4194304 4196468 140736013403152 140391925071184 140392101426056 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11964416 140736013411311 140736013411482 140736013411482 140736013414351 0
Current children cumulated CPU time: 63.47 s
Current children cumulated vsize: 15533608 KiB
Current children cumulated memory: 627552 KiB
[startup+16.7008 s]
/proc/loadavg: 8.19 8.45 8.14 9/238 9699
/proc/meminfo: memFree=17016564/32770624 swapFree=66959216/67108860
[pid=9609] ppid=9606 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/9609/stat : 9609 (xcsp3-exec) S 9606 9609 3331 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 410777612 115843072 362 33554432000 4194304 5098028 140724670975904 140724670974008 139668304609916 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 32415744 140724670985082 140724670985325 140724670985325 140724670988234 0
/proc/9609/statm: 28282 362 304 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1448 KiB
Child status: 0
Real time (s): 16.7081
CPU time (s): 63.8788
CPU user time (s): 63.423
CPU system time (s): 0.455736
CPU usage (%): 382.322
Max. virtual memory (cumulated for all children) (KiB): 15533608
Max. memory (cumulated for all children) (KiB): 627552
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 63.423
system time used= 0.455736
maximum resident set size= 626380
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 51758
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= 3660
involuntary context switches= 1957
# summary of solver processes directly reported to runsolver:
# pid: 9609
# total CPU time (s): 63.8788
# total CPU user time (s): 63.423
# total CPU system time (s): 0.455736
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.159304 second user time and 0.195147 second system time
The end