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 (15056 MiB free)
memory of node 1: 16384 MiB (15528 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4400341-1568680159/watcher-4400341-1568680159 -o /tmp/evaluation-result-4400341-1568680159/solver-4400341-1568680159 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node103-1568673273-32545 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 1825563472 HOME/instance-4400341-1568680159.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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=12043, runsolver pid=12040
Current StackSize limit: 8192 KiB
[startup+0.100082 s]*
/proc/loadavg: 8.70 8.54 8.45 10/233 12059
/proc/meminfo: memFree=31301196/32770624 swapFree=66997372/67108860
[pid=12043] ppid=12040 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/12043/stat : 12043 (xcsp3-exec) S 12040 12043 32513 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 444268993 115843072 362 33554432000 4194304 5098028 140726162301424 140726162299528 140589278261884 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 22736896 140726162310010 140726162310253 140726162310253 140726162313162 0
/proc/12043/statm: 28282 362 304 221 0 87 0
[pid=12045] ppid=12043 vsize=15144776 memory=30212 CPUtime=0.13 cores=1,3,5,7
/proc/12045/stat : 12045 (java) S 12043 12043 32513 0 -1 1077944320 5458 0 0 0 12 1 0 0 20 0 15 0 444268993 15508250624 7553 33554432000 4194304 4196468 140722698085328 140722698067872 140199101812471 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 15380480 140722698089455 140722698089626 140722698089626 140722698092495 0
/proc/12045/statm: 3786194 7553 3181 1 0 3748377 0
[pid=12045/tid=12046] ppid=12043 vsize=15144776 memory=7031125463459224206 CPUtime=0.08 cores=1,3,5,7
/proc/12045/task/12046/stat : 12046 (java) R 12043 12043 32513 0 -1 4202560 3368 0 0 0 8 0 0 0 20 0 15 0 444268994 15508250624 7553 33554432000 4194304 4196468 140722698085328 140199106041824 140199085856101 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15380480 140722698089455 140722698089626 140722698089626 140722698092495 0
[pid=12045/tid=12047] ppid=12043 vsize=15144776 memory=7378697629483820645 CPUtime=0 cores=1,3,5,7
/proc/12045/task/12047/stat : 12047 (java) S 12043 12043 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444268994 15508250624 7553 33554432000 4194304 4196468 140722698085328 140199013468688 140199101822677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15380480 140722698089455 140722698089626 140722698089626 140722698092495 0
[pid=12045/tid=12048] ppid=12043 vsize=15144776 memory=139851388958336 CPUtime=0 cores=1,3,5,7
/proc/12045/task/12048/stat : 12048 (java) S 12043 12043 32513 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 444268994 15508250624 7553 33554432000 4194304 4196468 140722698085328 140199012416144 140199101822677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15380480 140722698089455 140722698089626 140722698089626 140722698092495 0
[pid=12045/tid=12049] ppid=12043 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12045/task/12049/stat : 12049 (java) S 12043 12043 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444268994 15508250624 7553 33554432000 4194304 4196468 140722698085328 140199011363088 140199101822677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15380480 140722698089455 140722698089626 140722698089626 140722698092495 0
[pid=12045/tid=12050] ppid=12043 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12045/task/12050/stat : 12050 (java) S 12043 12043 32513 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 444268994 15508250624 7553 33554432000 4194304 4196468 140722698085328 140199010310544 140199101822677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15380480 140722698089455 140722698089626 140722698089626 140722698092495 0
[pid=12045/tid=12051] ppid=12043 vsize=15144776 memory=139851388958336 CPUtime=0 cores=1,3,5,7
/proc/12045/task/12051/stat : 12051 (java) S 12043 12043 32513 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 444268996 15508250624 7553 33554432000 4194304 4196468 140722698085328 140198570121968 140199101823618 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15380480 140722698089455 140722698089626 140722698089626 140722698092495 0
[pid=12045/tid=12052] ppid=12043 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12045/task/12052/stat : 12052 (java) S 12043 12043 32513 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 444268996 15508250624 7553 33554432000 4194304 4196468 140722698085328 140198569068192 140199101822677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15380480 140722698089455 140722698089626 140722698089626 140722698092495 0
[pid=12045/tid=12053] ppid=12043 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12045/task/12053/stat : 12053 (java) S 12043 12043 32513 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 444268996 15508250624 7553 33554432000 4194304 4196468 140722698085328 140198568015088 140199101822677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15380480 140722698089455 140722698089626 140722698089626 140722698092495 0
[pid=12045/tid=12054] ppid=12043 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12045/task/12054/stat : 12054 (java) S 12043 12043 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444268999 15508250624 7553 33554432000 4194304 4196468 140722698085328 140198566963664 140199101831067 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15380480 140722698089455 140722698089626 140722698089626 140722698092495 0
[pid=12045/tid=12055] ppid=12043 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12045/task/12055/stat : 12055 (java) S 12043 12043 32513 0 -1 1077944384 300 0 0 0 0 0 0 0 20 0 15 0 444268999 15508250624 7553 33554432000 4194304 4196468 140722698085328 140198565910768 140199101823618 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15380480 140722698089455 140722698089626 140722698089626 140722698092495 0
[pid=12045/tid=12056] ppid=12043 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12045/task/12056/stat : 12056 (java) R 12043 12043 32513 0 -1 1077944384 160 0 0 0 0 0 0 0 20 0 15 0 444268999 15508250624 7553 33554432000 4194304 4196468 140722698085328 140198564858224 140199101823618 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15380480 140722698089455 140722698089626 140722698089626 140722698092495 0
[pid=12045/tid=12057] ppid=12043 vsize=15144776 memory=139851388958336 CPUtime=0.02 cores=1,3,5,7
/proc/12045/task/12057/stat : 12057 (java) R 12043 12043 32513 0 -1 4202560 357 0 0 0 2 0 0 0 20 0 15 0 444268999 15508250624 7553 33554432000 4194304 4196468 140722698085328 140198563805168 140199080948131 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15380480 140722698089455 140722698089626 140722698089626 140722698092495 0
[pid=12045/tid=12058] ppid=12043 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12045/task/12058/stat : 12058 (java) S 12043 12043 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444268999 15508250624 7553 33554432000 4194304 4196468 140722698085328 140198562752864 140199101822677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15380480 140722698089455 140722698089626 140722698089626 140722698092495 0
[pid=12045/tid=12059] ppid=12043 vsize=15144776 memory=139851388958336 CPUtime=0 cores=1,3,5,7
/proc/12045/task/12059/stat : 12059 (java) S 12043 12043 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444268999 15508250624 7553 33554432000 4194304 4196468 140722698085328 140198561700912 140199101823618 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15380480 140722698089455 140722698089626 140722698089626 140722698092495 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 31660 KiB
[startup+0.210878 s]*
/proc/loadavg: 8.70 8.54 8.45 8/233 12059
/proc/meminfo: memFree=31289692/32770624 swapFree=66997372/67108860
[pid=12043] ppid=12040 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/12043/stat : 12043 (xcsp3-exec) S 12040 12043 32513 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 444268993 115843072 362 33554432000 4194304 5098028 140726162301424 140726162299528 140589278261884 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 22736896 140726162310010 140726162310253 140726162310253 140726162313162 0
/proc/12043/statm: 28282 362 304 221 0 87 0
[pid=12045] ppid=12043 vsize=15144776 memory=40312 CPUtime=0.34 cores=1,3,5,7
/proc/12045/stat : 12045 (java) S 12043 12043 32513 0 -1 1077944320 8835 0 0 0 32 2 0 0 20 0 15 0 444268993 15508250624 10078 33554432000 4194304 4196468 140722698085328 140722698067872 140199101812471 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 15380480 140722698089455 140722698089626 140722698089626 140722698092495 0
/proc/12045/statm: 3786194 10078 3255 1 0 3748377 0
[pid=12045/tid=12046] ppid=12043 vsize=15144776 memory=7022364632946311227 CPUtime=0.2 cores=1,3,5,7
/proc/12045/task/12046/stat : 12046 (java) R 12043 12043 32513 0 -1 4202560 6132 0 0 0 18 2 0 0 20 0 15 0 444268994 15508250624 10078 33554432000 4194304 4196468 140722698085328 140199106046080 140199101834397 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15380480 140722698089455 140722698089626 140722698089626 140722698092495 0
[pid=12045/tid=12047] ppid=12043 vsize=15144776 memory=4294976396 CPUtime=0 cores=1,3,5,7
/proc/12045/task/12047/stat : 12047 (java) S 12043 12043 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444268994 15508250624 10078 33554432000 4194304 4196468 140722698085328 140199013468688 140199101822677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15380480 140722698089455 140722698089626 140722698089626 140722698092495 0
[pid=12045/tid=12048] ppid=12043 vsize=15144776 memory=139851392248960 CPUtime=0 cores=1,3,5,7
/proc/12045/task/12048/stat : 12048 (java) S 12043 12043 32513 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 444268994 15508250624 10078 33554432000 4194304 4196468 140722698085328 140199012416144 140199101822677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15380480 140722698089455 140722698089626 140722698089626 140722698092495 0
[pid=12045/tid=12049] ppid=12043 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12045/task/12049/stat : 12049 (java) S 12043 12043 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444268994 15508250624 10078 33554432000 4194304 4196468 140722698085328 140199011363088 140199101822677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15380480 140722698089455 140722698089626 140722698089626 140722698092495 0
[pid=12045/tid=12050] ppid=12043 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12045/task/12050/stat : 12050 (java) S 12043 12043 32513 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 444268994 15508250624 10078 33554432000 4194304 4196468 140722698085328 140199010310544 140199101822677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15380480 140722698089455 140722698089626 140722698089626 140722698092495 0
[pid=12045/tid=12051] ppid=12043 vsize=15144776 memory=139851388958336 CPUtime=0 cores=1,3,5,7
/proc/12045/task/12051/stat : 12051 (java) S 12043 12043 32513 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 444268996 15508250624 10078 33554432000 4194304 4196468 140722698085328 140198570121968 140199101823618 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15380480 140722698089455 140722698089626 140722698089626 140722698092495 0
[pid=12045/tid=12052] ppid=12043 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12045/task/12052/stat : 12052 (java) S 12043 12043 32513 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 444268996 15508250624 10078 33554432000 4194304 4196468 140722698085328 140198569068192 140199101822677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15380480 140722698089455 140722698089626 140722698089626 140722698092495 0
[pid=12045/tid=12053] ppid=12043 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12045/task/12053/stat : 12053 (java) S 12043 12043 32513 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 444268996 15508250624 10078 33554432000 4194304 4196468 140722698085328 140198568015088 140199101822677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15380480 140722698089455 140722698089626 140722698089626 140722698092495 0
[pid=12045/tid=12054] ppid=12043 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12045/task/12054/stat : 12054 (java) S 12043 12043 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444268999 15508250624 10078 33554432000 4194304 4196468 140722698085328 140198566963664 140199101831067 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15380480 140722698089455 140722698089626 140722698089626 140722698092495 0
[pid=12045/tid=12055] ppid=12043 vsize=15144776 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/12045/task/12055/stat : 12055 (java) S 12043 12043 32513 0 -1 1077944384 390 0 0 0 2 0 0 0 20 0 15 0 444268999 15508250624 10078 33554432000 4194304 4196468 140722698085328 140198565910768 140199101823618 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15380480 140722698089455 140722698089626 140722698089626 140722698092495 0
[pid=12045/tid=12056] ppid=12043 vsize=15144776 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/12045/task/12056/stat : 12056 (java) S 12043 12043 32513 0 -1 1077944384 228 0 0 0 2 0 0 0 20 0 15 0 444268999 15508250624 10078 33554432000 4194304 4196468 140722698085328 140198564858224 140199101823618 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15380480 140722698089455 140722698089626 140722698089626 140722698092495 0
[pid=12045/tid=12057] ppid=12043 vsize=15144776 memory=139851388958336 CPUtime=0.08 cores=1,3,5,7
/proc/12045/task/12057/stat : 12057 (java) S 12043 12043 32513 0 -1 1077944384 780 0 0 0 8 0 0 0 20 0 15 0 444268999 15508250624 10078 33554432000 4194304 4196468 140722698085328 140198563805168 140199101823618 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15380480 140722698089455 140722698089626 140722698089626 140722698092495 0
[pid=12045/tid=12058] ppid=12043 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12045/task/12058/stat : 12058 (java) S 12043 12043 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444268999 15508250624 10078 33554432000 4194304 4196468 140722698085328 140198562752864 140199101822677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15380480 140722698089455 140722698089626 140722698089626 140722698092495 0
[pid=12045/tid=12059] ppid=12043 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12045/task/12059/stat : 12059 (java) S 12043 12043 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444268999 15508250624 10078 33554432000 4194304 4196468 140722698085328 140198561700912 140199101823618 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15380480 140722698089455 140722698089626 140722698089626 140722698092495 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 41760 KiB
[startup+0.310705 s]*
/proc/loadavg: 8.70 8.54 8.45 7/233 12059
/proc/meminfo: memFree=31262064/32770624 swapFree=66997372/67108860
[pid=12043] ppid=12040 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/12043/stat : 12043 (xcsp3-exec) S 12040 12043 32513 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 444268993 115843072 362 33554432000 4194304 5098028 140726162301424 140726162299528 140589278261884 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 22736896 140726162310010 140726162310253 140726162310253 140726162313162 0
/proc/12043/statm: 28282 362 304 221 0 87 0
[pid=12045] ppid=12043 vsize=15149032 memory=50068 CPUtime=0.53 cores=1,3,5,7
/proc/12045/stat : 12045 (java) S 12043 12043 32513 0 -1 1077944320 10315 0 0 0 50 3 0 0 20 0 15 0 444268993 15512608768 12517 33554432000 4194304 4196468 140722698085328 140722698067872 140199101812471 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 15380480 140722698089455 140722698089626 140722698089626 140722698092495 0
/proc/12045/statm: 3787258 12517 3368 1 0 3748377 0
[pid=12045/tid=12046] ppid=12043 vsize=15149032 memory=32213995742560408 CPUtime=0.29 cores=1,3,5,7
/proc/12045/task/12046/stat : 12046 (java) R 12043 12043 32513 0 -1 4202560 7304 0 0 0 27 2 0 0 20 0 15 0 444268994 15512608768 12517 33554432000 4194304 4196468 140722698085328 140199106043584 140199085892958 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15380480 140722698089455 140722698089626 140722698089626 140722698092495 0
[pid=12045/tid=12047] ppid=12043 vsize=15149032 memory=288230600379474824 CPUtime=0 cores=1,3,5,7
/proc/12045/task/12047/stat : 12047 (java) S 12043 12043 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444268994 15512608768 12517 33554432000 4194304 4196468 140722698085328 140199013468688 140199101822677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15380480 140722698089455 140722698089626 140722698089626 140722698092495 0
[pid=12045/tid=12048] ppid=12043 vsize=15149032 memory=3549883 CPUtime=0 cores=1,3,5,7
/proc/12045/task/12048/stat : 12048 (java) S 12043 12043 32513 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 444268994 15512608768 12517 33554432000 4194304 4196468 140722698085328 140199012416144 140199101822677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15380480 140722698089455 140722698089626 140722698089626 140722698092495 0
[pid=12045/tid=12049] ppid=12043 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12045/task/12049/stat : 12049 (java) S 12043 12043 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444268994 15512608768 12517 33554432000 4194304 4196468 140722698085328 140199011363088 140199101822677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15380480 140722698089455 140722698089626 140722698089626 140722698092495 0
[pid=12045/tid=12050] ppid=12043 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12045/task/12050/stat : 12050 (java) S 12043 12043 32513 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 444268994 15512608768 12517 33554432000 4194304 4196468 140722698085328 140199010310544 140199101822677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15380480 140722698089455 140722698089626 140722698089626 140722698092495 0
[pid=12045/tid=12051] ppid=12043 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12045/task/12051/stat : 12051 (java) S 12043 12043 32513 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 444268996 15512608768 12517 33554432000 4194304 4196468 140722698085328 140198570121968 140199101823618 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15380480 140722698089455 140722698089626 140722698089626 140722698092495 0
[pid=12045/tid=12052] ppid=12043 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12045/task/12052/stat : 12052 (java) S 12043 12043 32513 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 444268996 15512608768 12517 33554432000 4194304 4196468 140722698085328 140198569068192 140199101822677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15380480 140722698089455 140722698089626 140722698089626 140722698092495 0
[pid=12045/tid=12053] ppid=12043 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12045/task/12053/stat : 12053 (java) S 12043 12043 32513 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 444268996 15512608768 12517 33554432000 4194304 4196468 140722698085328 140198568015088 140199101822677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15380480 140722698089455 140722698089626 140722698089626 140722698092495 0
[pid=12045/tid=12054] ppid=12043 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12045/task/12054/stat : 12054 (java) S 12043 12043 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444268999 15512608768 12517 33554432000 4194304 4196468 140722698085328 140198566963664 140199101831067 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15380480 140722698089455 140722698089626 140722698089626 140722698092495 0
[pid=12045/tid=12055] ppid=12043 vsize=15149032 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/12045/task/12055/stat : 12055 (java) S 12043 12043 32513 0 -1 1077944384 500 0 0 0 5 0 0 0 20 0 15 0 444268999 15512608768 12517 33554432000 4194304 4196468 140722698085328 140198565910768 140199101823618 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15380480 140722698089455 140722698089626 140722698089626 140722698092495 0
[pid=12045/tid=12056] ppid=12043 vsize=15149032 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/12045/task/12056/stat : 12056 (java) S 12043 12043 32513 0 -1 1077944384 283 0 0 0 4 0 0 0 20 0 15 0 444268999 15512608768 12517 33554432000 4194304 4196468 140722698085328 140198564858224 140199101823618 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15380480 140722698089455 140722698089626 140722698089626 140722698092495 0
[pid=12045/tid=12057] ppid=12043 vsize=15149032 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/12045/task/12057/stat : 12057 (java) S 12043 12043 32513 0 -1 1077944384 951 0 0 0 13 0 0 0 20 0 15 0 444268999 15512608768 12517 33554432000 4194304 4196468 140722698085328 140198563805168 140199101823618 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15380480 140722698089455 140722698089626 140722698089626 140722698092495 0
[pid=12045/tid=12058] ppid=12043 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12045/task/12058/stat : 12058 (java) S 12043 12043 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444268999 15512608768 12517 33554432000 4194304 4196468 140722698085328 140198562752864 140199101822677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15380480 140722698089455 140722698089626 140722698089626 140722698092495 0
[pid=12045/tid=12059] ppid=12043 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12045/task/12059/stat : 12059 (java) S 12043 12043 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444268999 15512608768 12517 33554432000 4194304 4196468 140722698085328 140198561700912 140199101823618 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15380480 140722698089455 140722698089626 140722698089626 140722698092495 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51516 KiB
[startup+0.708287 s]
/proc/loadavg: 8.70 8.54 8.45 9/233 12059
/proc/meminfo: memFree=31248212/32770624 swapFree=66997372/67108860
[pid=12043] ppid=12040 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/12043/stat : 12043 (xcsp3-exec) S 12040 12043 32513 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 444268993 115843072 362 33554432000 4194304 5098028 140726162301424 140726162299528 140589278261884 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 22736896 140726162310010 140726162310253 140726162310253 140726162313162 0
/proc/12043/statm: 28282 362 304 221 0 87 0
[pid=12045] ppid=12043 vsize=15417412 memory=91040 CPUtime=1.67 cores=1,3,5,7
/proc/12045/stat : 12045 (java) S 12043 12043 32513 0 -1 1077944320 14036 0 0 0 162 5 0 0 20 0 19 0 444268993 15787429888 22760 33554432000 4194304 4196468 140722698085328 140722698067872 140199101812471 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 15380480 140722698089455 140722698089626 140722698089626 140722698092495 0
/proc/12045/statm: 3854353 22760 3450 1 0 3815453 0
[pid=12045/tid=12046] ppid=12043 vsize=15417412 memory=0 CPUtime=0.63 cores=1,3,5,7
/proc/12045/task/12046/stat : 12046 (java) S 12043 12043 32513 0 -1 1077944384 8803 0 0 0 60 3 0 0 20 0 19 0 444268994 15787429888 22760 33554432000 4194304 4196468 140722698085328 140199106053248 140199101822677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15380480 140722698089455 140722698089626 140722698089626 140722698092495 0
[pid=12045/tid=12047] ppid=12043 vsize=15417412 memory=143 CPUtime=0 cores=1,3,5,7
/proc/12045/task/12047/stat : 12047 (java) S 12043 12043 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 444268994 15787429888 22760 33554432000 4194304 4196468 140722698085328 140199013468688 140199101822677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15380480 140722698089455 140722698089626 140722698089626 140722698092495 0
[pid=12045/tid=12048] ppid=12043 vsize=15417412 memory=2 CPUtime=0 cores=1,3,5,7
/proc/12045/task/12048/stat : 12048 (java) S 12043 12043 32513 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 444268994 15787429888 22760 33554432000 4194304 4196468 140722698085328 140199012416144 140199101822677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15380480 140722698089455 140722698089626 140722698089626 140722698092495 0
[pid=12045/tid=12049] ppid=12043 vsize=15417412 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12045/task/12049/stat : 12049 (java) S 12043 12043 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 444268994 15787429888 22760 33554432000 4194304 4196468 140722698085328 140199011363088 140199101822677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15380480 140722698089455 140722698089626 140722698089626 140722698092495 0
[pid=12045/tid=12050] ppid=12043 vsize=15417412 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12045/task/12050/stat : 12050 (java) S 12043 12043 32513 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 444268994 15787429888 22760 33554432000 4194304 4196468 140722698085328 140199010310544 140199101822677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15380480 140722698089455 140722698089626 140722698089626 140722698092495 0
[pid=12045/tid=12051] ppid=12043 vsize=15417412 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12045/task/12051/stat : 12051 (java) S 12043 12043 32513 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 444268996 15787429888 22760 33554432000 4194304 4196468 140722698085328 140198570121968 140199101823618 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15380480 140722698089455 140722698089626 140722698089626 140722698092495 0
[pid=12045/tid=12052] ppid=12043 vsize=15417412 memory=2512 CPUtime=0 cores=1,3,5,7
/proc/12045/task/12052/stat : 12052 (java) S 12043 12043 32513 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 444268996 15787429888 22760 33554432000 4194304 4196468 140722698085328 140198569068192 140199101822677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15380480 140722698089455 140722698089626 140722698089626 140722698092495 0
[pid=12045/tid=12053] ppid=12043 vsize=15417412 memory=1436 CPUtime=0 cores=1,3,5,7
/proc/12045/task/12053/stat : 12053 (java) S 12043 12043 32513 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 444268996 15787429888 22760 33554432000 4194304 4196468 140722698085328 140198568015088 140199101822677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15380480 140722698089455 140722698089626 140722698089626 140722698092495 0
[pid=12045/tid=12054] ppid=12043 vsize=15417412 memory=812 CPUtime=0 cores=1,3,5,7
/proc/12045/task/12054/stat : 12054 (java) S 12043 12043 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 444268999 15787429888 22760 33554432000 4194304 4196468 140722698085328 140198566963664 140199101831067 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15380480 140722698089455 140722698089626 140722698089626 140722698092495 0
[pid=12045/tid=12055] ppid=12043 vsize=15417412 memory=1764 CPUtime=0.22 cores=1,3,5,7
/proc/12045/task/12055/stat : 12055 (java) S 12043 12043 32513 0 -1 1077944384 871 0 0 0 22 0 0 0 20 0 19 0 444268999 15787429888 22760 33554432000 4194304 4196468 140722698085328 140198565903792 140199101822677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15380480 140722698089455 140722698089626 140722698089626 140722698092495 0
[pid=12045/tid=12056] ppid=12043 vsize=15417412 memory=111628 CPUtime=0.24 cores=1,3,5,7
/proc/12045/task/12056/stat : 12056 (java) R 12043 12043 32513 0 -1 4202560 902 0 0 0 24 0 0 0 20 0 19 0 444268999 15787429888 22760 33554432000 4194304 4196468 140722698085328 140198564858224 140199086741951 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15380480 140722698089455 140722698089626 140722698089626 140722698092495 0
[pid=12045/tid=12057] ppid=12043 vsize=15417412 memory=796 CPUtime=0.43 cores=1,3,5,7
/proc/12045/task/12057/stat : 12057 (java) R 12043 12043 32513 0 -1 1077944384 1949 0 0 0 43 0 0 0 20 0 19 0 444268999 15787429888 22760 33554432000 4194304 4196468 140722698085328 140198563805168 140199101823618 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 15380480 140722698089455 140722698089626 140722698089626 140722698092495 0
[pid=12045/tid=12058] ppid=12043 vsize=15417412 memory=4100 CPUtime=0 cores=1,3,5,7
/proc/12045/task/12058/stat : 12058 (java) S 12043 12043 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 444268999 15787429888 22760 33554432000 4194304 4196468 140722698085328 140198562752864 140199101822677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15380480 140722698089455 140722698089626 140722698089626 140722698092495 0
[pid=12045/tid=12059] ppid=12043 vsize=15417412 memory=1412 CPUtime=0 cores=1,3,5,7
/proc/12045/task/12059/stat : 12059 (java) S 12043 12043 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 444268999 15787429888 22760 33554432000 4194304 4196468 140722698085328 140198561700912 140199101823618 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15380480 140722698089455 140722698089626 140722698089626 140722698092495 0
Current children cumulated CPU time: 1.67 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 92488 KiB
[startup+1.50551 s]
/proc/loadavg: 8.70 8.54 8.45 12/237 12063
/proc/meminfo: memFree=31208068/32770624 swapFree=66997372/67108860
[pid=12043] ppid=12040 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/12043/stat : 12043 (xcsp3-exec) S 12040 12043 32513 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 444268993 115843072 362 33554432000 4194304 5098028 140726162301424 140726162299528 140589278261884 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 22736896 140726162310010 140726162310253 140726162310253 140726162313162 0
/proc/12043/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
/proc/12045/task/12063/stat : 12063 (java) R 12043 12043 32513 0 -1 4202560 41 0 0 0 48 0 0 0 20 0 19 0 444269059 15787429888 30580 33554432000 4194304 4196468 140722698085328 140198549561216 140198693101918 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15380480 140722698089455 140722698089626 140722698089626 140722698092495 0
Current children cumulated CPU time: 4.83 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 123768 KiB
[startup+1.98289 s]
# the end of solver process 12043 was just reported to runsolver
# cumulated CPU time of all completed processes: user=6.61012 s, system=0.078691 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.60114 s]
/proc/loadavg: 8.70 8.54 8.45 12/237 12063
/proc/meminfo: memFree=31208068/32770624 swapFree=66997372/67108860
[pid=12043] ppid=12040 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/12043/stat : 12043 (xcsp3-exec) S 12040 12043 32513 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 444268993 115843072 362 33554432000 4194304 5098028 140726162301424 140726162299528 140589278261884 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 22736896 140726162310010 140726162310253 140726162310253 140726162313162 0
/proc/12043/statm: 28282 362 304 221 0 87 0
[pid=12045] ppid=12043 vsize=15417412 memory=124432 CPUtime=5.21 cores=1,3,5,7
/proc/12045/stat : 12045 (java) S 12043 12043 32513 0 -1 1077944320 15719 0 0 0 515 6 0 0 20 0 19 0 444268993 15787429888 31108 33554432000 4194304 4196468 140722698085328 140722698067872 140199101812471 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 15380480 140722698089455 140722698089626 140722698089626 140722698092495 0
/proc/12045/statm: 3854353 31108 3477 1 0 3815453 0
[pid=12045/tid=12046] ppid=12043 vsize=15417412 memory=2273 CPUtime=0.63 cores=1,3,5,7
/proc/12045/task/12046/stat : 12046 (java) S 12043 12043 32513 0 -1 1077944384 8803 0 0 0 60 3 0 0 20 0 19 0 444268994 15787429888 31108 33554432000 4194304 4196468 140722698085328 140199106053248 140199101822677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15380480 140722698089455 140722698089626 140722698089626 140722698092495 0
[pid=12045/tid=12047] ppid=12043 vsize=15417412 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/12045/task/12047/stat : 12047 (java) S 12043 12043 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 444268994 15787429888 31108 33554432000 4194304 4196468 140722698085328 140199013468688 140199101822677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15380480 140722698089455 140722698089626 140722698089626 140722698092495 0
[pid=12045/tid=12048] ppid=12043 vsize=15417412 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12045/task/12048/stat : 12048 (java) S 12043 12043 32513 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 444268994 15787429888 31108 33554432000 4194304 4196468 140722698085328 140199012416144 140199101822677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15380480 140722698089455 140722698089626 140722698089626 140722698092495 0
[pid=12045/tid=12049] ppid=12043 vsize=15417412 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12045/task/12049/stat : 12049 (java) S 12043 12043 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 444268994 15787429888 31108 33554432000 4194304 4196468 140722698085328 140199011363088 140199101822677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15380480 140722698089455 140722698089626 140722698089626 140722698092495 0
[pid=12045/tid=12050] ppid=12043 vsize=15417412 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12045/task/12050/stat : 12050 (java) S 12043 12043 32513 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 444268994 15787429888 31108 33554432000 4194304 4196468 140722698085328 140199010310544 140199101822677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15380480 140722698089455 140722698089626 140722698089626 140722698092495 0
[pid=12045/tid=12051] ppid=12043 vsize=15417412 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12045/task/12051/stat : 12051 (java) S 12043 12043 32513 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 444268996 15787429888 31108 33554432000 4194304 4196468 140722698085328 140198570121968 140199101823618 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15380480 140722698089455 140722698089626 140722698089626 140722698092495 0
[pid=12045/tid=12052] ppid=12043 vsize=15417412 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12045/task/12052/stat : 12052 (java) S 12043 12043 32513 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 444268996 15787429888 31108 33554432000 4194304 4196468 140722698085328 140198569068192 140199101822677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15380480 140722698089455 140722698089626 140722698089626 140722698092495 0
[pid=12045/tid=12053] ppid=12043 vsize=15417412 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12045/task/12053/stat : 12053 (java) S 12043 12043 32513 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 444268996 15787429888 31108 33554432000 4194304 4196468 140722698085328 140198568015088 140199101822677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15380480 140722698089455 140722698089626 140722698089626 140722698092495 0
[pid=12045/tid=12054] ppid=12043 vsize=15417412 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12045/task/12054/stat : 12054 (java) S 12043 12043 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 444268999 15787429888 31108 33554432000 4194304 4196468 140722698085328 140198566963664 140199101831067 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15380480 140722698089455 140722698089626 140722698089626 140722698092495 0
[pid=12045/tid=12055] ppid=12043 vsize=15417412 memory=0 CPUtime=0.68 cores=1,3,5,7
/proc/12045/task/12055/stat : 12055 (java) R 12043 12043 32513 0 -1 4202560 1308 0 0 0 68 0 0 0 20 0 19 0 444268999 15787429888 31108 33554432000 4194304 4196468 140722698085328 140198565896648 140199083332484 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15380480 140722698089455 140722698089626 140722698089626 140722698092495 0
[pid=12045/tid=12056] ppid=12043 vsize=15417412 memory=0 CPUtime=0.7 cores=1,3,5,7
/proc/12045/task/12056/stat : 12056 (java) R 12043 12043 32513 0 -1 4202560 1630 0 0 0 70 0 0 0 20 0 19 0 444268999 15787429888 31108 33554432000 4194304 4196468 140722698085328 140198564858520 140199081069201 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 15380480 140722698089455 140722698089626 140722698089626 140722698092495 0
[pid=12045/tid=12057] ppid=12043 vsize=15417412 memory=0 CPUtime=0.57 cores=1,3,5,7
/proc/12045/task/12057/stat : 12057 (java) S 12043 12043 32513 0 -1 1077944384 2442 0 0 0 57 0 0 0 20 0 19 0 444268999 15787429888 31108 33554432000 4194304 4196468 140722698085328 140198563805168 140199101823618 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15380480 140722698089455 140722698089626 140722698089626 140722698092495 0
[pid=12045/tid=12058] ppid=12043 vsize=15417412 memory=279702497504448 CPUtime=0 cores=1,3,5,7
/proc/12045/task/12058/stat : 12058 (java) S 12043 12043 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 444268999 15787429888 31108 33554432000 4194304 4196468 140722698085328 140198562752864 140199101822677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15380480 140722698089455 140722698089626 140722698089626 140722698092495 0
[pid=12045/tid=12059] ppid=12043 vsize=15417412 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12045/task/12059/stat : 12059 (java) S 12043 12043 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 444268999 15787429888 31108 33554432000 4194304 4196468 140722698085328 140198561700912 140199101823618 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15380480 140722698089455 140722698089626 140722698089626 140722698092495 0
[pid=12045/tid=12060] ppid=12043 vsize=15417412 memory=0 CPUtime=0.81 cores=1,3,5,7
/proc/12045/task/12060/stat : 12060 (java) R 12043 12043 32513 0 -1 4202560 65 0 0 0 81 0 0 0 20 0 19 0 444269059 15787429888 31108 33554432000 4194304 4196468 140722698085328 140198552719144 140198693101967 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 15380480 140722698089455 140722698089626 140722698089626 140722698092495 0
[pid=12045/tid=12061] ppid=12043 vsize=15417412 memory=0 CPUtime=0.45 cores=1,3,5,7
/proc/12045/task/12061/stat : 12061 (java) R 12043 12043 32513 0 -1 4202560 87 0 0 0 45 0 0 0 20 0 19 0 444269059 15787429888 31108 33554432000 4194304 4196468 140722698085328 140198551669144 140198693007646 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15380480 140722698089455 140722698089626 140722698089626 140722698092495 0
[pid=12045/tid=12062] ppid=12043 vsize=15417412 memory=0 CPUtime=0.73 cores=1,3,5,7
/proc/12045/task/12062/stat : 12062 (java) R 12043 12043 32513 0 -1 4202560 36 0 0 0 73 0 0 0 20 0 19 0 444269059 15787429888 31108 33554432000 4194304 4196468 140722698085328 140198550614280 140198693815822 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15380480 140722698089455 140722698089626 140722698089626 140722698092495 0
[pid=12045/tid=12063] ppid=12043 vsize=15417412 memory=0 CPUtime=0.57 cores=1,3,5,7
/proc/12045/task/12063/stat : 12063 (java) R 12043 12043 32513 0 -1 4202560 41 0 0 0 57 0 0 0 20 0 19 0 444269059 15787429888 31108 33554432000 4194304 4196468 140722698085328 140198549561192 140198691585804 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15380480 140722698089455 140722698089626 140722698089626 140722698092495 0
Current children cumulated CPU time: 5.21 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 125880 KiB
[startup+1.80827 s]
/proc/loadavg: 8.70 8.54 8.45 12/237 12063
/proc/meminfo: memFree=31208068/32770624 swapFree=66997372/67108860
[pid=12043] ppid=12040 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/12043/stat : 12043 (xcsp3-exec) S 12040 12043 32513 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 444268993 115843072 362 33554432000 4194304 5098028 140726162301424 140726162299528 140589278261884 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 22736896 140726162310010 140726162310253 140726162310253 140726162313162 0
/proc/12043/statm: 28282 362 304 221 0 87 0
[pid=12045] ppid=12043 vsize=15417412 memory=144368 CPUtime=6.04 cores=1,3,5,7
/proc/12045/stat : 12045 (java) S 12043 12043 32513 0 -1 1077944320 16080 0 0 0 598 6 0 0 20 0 19 0 444268993 15787429888 36092 33554432000 4194304 4196468 140722698085328 140722698067872 140199101812471 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 15380480 140722698089455 140722698089626 140722698089626 140722698092495 0
/proc/12045/statm: 3854353 36092 3485 1 0 3815453 0
[pid=12045/tid=12046] ppid=12043 vsize=15417412 memory=0 CPUtime=0.63 cores=1,3,5,7
/proc/12045/task/12046/stat : 12046 (java) S 12043 12043 32513 0 -1 1077944384 8803 0 0 0 60 3 0 0 20 0 19 0 444268994 15787429888 36092 33554432000 4194304 4196468 140722698085328 140199106053248 140199101822677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15380480 140722698089455 140722698089626 140722698089626 140722698092495 0
[pid=12045/tid=12047] ppid=12043 vsize=15417412 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12045/task/12047/stat : 12047 (java) S 12043 12043 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 444268994 15787429888 36092 33554432000 4194304 4196468 140722698085328 140199013468688 140199101822677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15380480 140722698089455 140722698089626 140722698089626 140722698092495 0
[pid=12045/tid=12048] ppid=12043 vsize=15417412 memory=-6512073924441302884 CPUtime=0 cores=1,3,5,7
/proc/12045/task/12048/stat : 12048 (java) S 12043 12043 32513 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 444268994 15787429888 36092 33554432000 4194304 4196468 140722698085328 140199012416144 140199101822677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15380480 140722698089455 140722698089626 140722698089626 140722698092495 0
[pid=12045/tid=12049] ppid=12043 vsize=15417412 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/12045/task/12049/stat : 12049 (java) S 12043 12043 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 444268994 15787429888 36092 33554432000 4194304 4196468 140722698085328 140199011363088 140199101822677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15380480 140722698089455 140722698089626 140722698089626 140722698092495 0
[pid=12045/tid=12050] ppid=12043 vsize=15417412 memory=6944656592455097440 CPUtime=0 cores=1,3,5,7
/proc/12045/task/12050/stat : 12050 (java) S 12043 12043 32513 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 444268994 15787429888 36092 33554432000 4194304 4196468 140722698085328 140199010310544 140199101822677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15380480 140722698089455 140722698089626 140722698089626 140722698092495 0
[pid=12045/tid=12051] ppid=12043 vsize=15417412 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12045/task/12051/stat : 12051 (java) S 12043 12043 32513 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 444268996 15787429888 36092 33554432000 4194304 4196468 140722698085328 140198570121968 140199101823618 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15380480 140722698089455 140722698089626 140722698089626 140722698092495 0
[pid=12045/tid=12052] ppid=12043 vsize=15417412 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12045/task/12052/stat : 12052 (java) S 12043 12043 32513 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 444268996 15787429888 36092 33554432000 4194304 4196468 140722698085328 140198569068192 140199101822677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15380480 140722698089455 140722698089626 140722698089626 140722698092495 0
[pid=12045/tid=12053] ppid=12043 vsize=15417412 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12045/task/12053/stat : 12053 (java) S 12043 12043 32513 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 444268996 15787429888 36092 33554432000 4194304 4196468 140722698085328 140198568015088 140199101822677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15380480 140722698089455 140722698089626 140722698089626 140722698092495 0
[pid=12045/tid=12054] ppid=12043 vsize=15417412 memory=279490051118985 CPUtime=0 cores=1,3,5,7
/proc/12045/task/12054/stat : 12054 (java) S 12043 12043 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 444268999 15787429888 36092 33554432000 4194304 4196468 140722698085328 140198566963664 140199101831067 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15380480 140722698089455 140722698089626 140722698089626 140722698092495 0
[pid=12045/tid=12055] ppid=12043 vsize=15417412 memory=143 CPUtime=0.78 cores=1,3,5,7
/proc/12045/task/12055/stat : 12055 (java) R 12043 12043 32513 0 -1 4202560 1430 0 0 0 78 0 0 0 20 0 19 0 444268999 15787429888 36092 33554432000 4194304 4196468 140722698085328 140198565896872 140199082988551 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15380480 140722698089455 140722698089626 140722698089626 140722698092495 0
[pid=12045/tid=12056] ppid=12043 vsize=15417412 memory=0 CPUtime=0.8 cores=1,3,5,7
/proc/12045/task/12056/stat : 12056 (java) R 12043 12043 32513 0 -1 4202560 1839 0 0 0 80 0 0 0 20 0 19 0 444268999 15787429888 36092 33554432000 4194304 4196468 140722698085328 140198564844248 140199083330827 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 15380480 140722698089455 140722698089626 140722698089626 140722698092495 0
[pid=12045/tid=12057] ppid=12043 vsize=15417412 memory=4638778398332703844 CPUtime=0.59 cores=1,3,5,7
/proc/12045/task/12057/stat : 12057 (java) S 12043 12043 32513 0 -1 1077944384 2463 0 0 0 58 1 0 0 20 0 19 0 444268999 15787429888 36092 33554432000 4194304 4196468 140722698085328 140198563805168 140199101823618 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15380480 140722698089455 140722698089626 140722698089626 140722698092495 0
[pid=12045/tid=12058] ppid=12043 vsize=15417412 memory=7373916858537504097 CPUtime=0 cores=1,3,5,7
/proc/12045/task/12058/stat : 12058 (java) S 12043 12043 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 444268999 15787429888 36092 33554432000 4194304 4196468 140722698085328 140198562752864 140199101822677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15380480 140722698089455 140722698089626 140722698089626 140722698092495 0
[pid=12045/tid=12059] ppid=12043 vsize=15417412 memory=4638778398333097576 CPUtime=0 cores=1,3,5,7
/proc/12045/task/12059/stat : 12059 (java) S 12043 12043 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 444268999 15787429888 36092 33554432000 4194304 4196468 140722698085328 140198561700912 140199101823618 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15380480 140722698089455 140722698089626 140722698089626 140722698092495 0
[pid=12045/tid=12060] ppid=12043 vsize=15417412 memory=7747766295893256779 CPUtime=0.91 cores=1,3,5,7
/proc/12045/task/12060/stat : 12060 (java) R 12043 12043 32513 0 -1 4202560 65 0 0 0 91 0 0 0 20 0 19 0 444269059 15787429888 36092 33554432000 4194304 4196468 140722698085328 140198552719160 140198693007507 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 15380480 140722698089455 140722698089626 140722698089626 140722698092495 0
[pid=12045/tid=12061] ppid=12043 vsize=15417412 memory=8326441112149131693 CPUtime=0.63 cores=1,3,5,7
/proc/12045/task/12061/stat : 12061 (java) R 12043 12043 32513 0 -1 4202560 96 0 0 0 63 0 0 0 20 0 19 0 444269059 15787429888 36092 33554432000 4194304 4196468 140722698085328 140198551667032 140198694372256 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15380480 140722698089455 140722698089626 140722698089626 140722698092495 0
[pid=12045/tid=12062] ppid=12043 vsize=15417412 memory=6944613755328037012 CPUtime=0.86 cores=1,3,5,7
/proc/12045/task/12062/stat : 12062 (java) R 12043 12043 32513 0 -1 4202560 36 0 0 0 86 0 0 0 20 0 19 0 444269059 15787429888 36092 33554432000 4194304 4196468 140722698085328 140198550613752 140199081537580 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15380480 140722698089455 140722698089626 140722698089626 140722698092495 0
[pid=12045/tid=12063] ppid=12043 vsize=15417412 memory=-7522837415730323359 CPUtime=0.77 cores=1,3,5,7
/proc/12045/task/12063/stat : 12063 (java) R 12043 12043 32513 0 -1 4202560 41 0 0 0 77 0 0 0 20 0 19 0 444269059 15787429888 36092 33554432000 4194304 4196468 140722698085328 140198549559824 140198693007247 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15380480 140722698089455 140722698089626 140722698089626 140722698092495 0
Current children cumulated CPU time: 6.04 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 145816 KiB
[startup+1.90627 s]
/proc/loadavg: 8.70 8.54 8.45 12/237 12063
/proc/meminfo: memFree=31208068/32770624 swapFree=66997372/67108860
[pid=12043] ppid=12040 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/12043/stat : 12043 (xcsp3-exec) S 12040 12043 32513 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 444268993 115843072 362 33554432000 4194304 5098028 140726162301424 140726162299528 140589278261884 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 22736896 140726162310010 140726162310253 140726162310253 140726162313162 0
/proc/12043/statm: 28282 362 304 221 0 87 0
[pid=12045] ppid=12043 vsize=15417412 memory=151524 CPUtime=6.42 cores=1,3,5,7
/proc/12045/stat : 12045 (java) S 12043 12043 32513 0 -1 1077944320 16320 0 0 0 636 6 0 0 20 0 19 0 444268993 15787429888 37881 33554432000 4194304 4196468 140722698085328 140722698067872 140199101812471 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 15380480 140722698089455 140722698089626 140722698089626 140722698092495 0
/proc/12045/statm: 3854353 37881 3485 1 0 3815453 0
[pid=12045/tid=12046] ppid=12043 vsize=15417412 memory=0 CPUtime=0.63 cores=1,3,5,7
/proc/12045/task/12046/stat : 12046 (java) S 12043 12043 32513 0 -1 1077944384 8803 0 0 0 60 3 0 0 20 0 19 0 444268994 15787429888 37881 33554432000 4194304 4196468 140722698085328 140199106053248 140199101822677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15380480 140722698089455 140722698089626 140722698089626 140722698092495 0
[pid=12045/tid=12047] ppid=12043 vsize=15417412 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12045/task/12047/stat : 12047 (java) S 12043 12043 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 444268994 15787429888 37881 33554432000 4194304 4196468 140722698085328 140199013468688 140199101822677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15380480 140722698089455 140722698089626 140722698089626 140722698092495 0
[pid=12045/tid=12048] ppid=12043 vsize=15417412 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12045/task/12048/stat : 12048 (java) S 12043 12043 32513 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 444268994 15787429888 37881 33554432000 4194304 4196468 140722698085328 140199012416144 140199101822677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15380480 140722698089455 140722698089626 140722698089626 140722698092495 0
[pid=12045/tid=12049] ppid=12043 vsize=15417412 memory=139851248822955 CPUtime=0 cores=1,3,5,7
/proc/12045/task/12049/stat : 12049 (java) S 12043 12043 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 444268994 15787429888 37881 33554432000 4194304 4196468 140722698085328 140199011363088 140199101822677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15380480 140722698089455 140722698089626 140722698089626 140722698092495 0
[pid=12045/tid=12050] ppid=12043 vsize=15417412 memory=279702497626480 CPUtime=0 cores=1,3,5,7
/proc/12045/task/12050/stat : 12050 (java) S 12043 12043 32513 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 444268994 15787429888 37881 33554432000 4194304 4196468 140722698085328 140199010310544 140199101822677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15380480 140722698089455 140722698089626 140722698089626 140722698092495 0
[pid=12045/tid=12051] ppid=12043 vsize=15417412 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/12045/task/12051/stat : 12051 (java) S 12043 12043 32513 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 444268996 15787429888 37881 33554432000 4194304 4196468 140722698085328 140198570121968 140199101823618 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15380480 140722698089455 140722698089626 140722698089626 140722698092495 0
[pid=12045/tid=12052] ppid=12043 vsize=15417412 memory=122320 CPUtime=0 cores=1,3,5,7
/proc/12045/task/12052/stat : 12052 (java) S 12043 12043 32513 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 444268996 15787429888 37881 33554432000 4194304 4196468 140722698085328 140198569068192 140199101822677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15380480 140722698089455 140722698089626 140722698089626 140722698092495 0
[pid=12045/tid=12053] ppid=12043 vsize=15417412 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12045/task/12053/stat : 12053 (java) S 12043 12043 32513 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 444268996 15787429888 37881 33554432000 4194304 4196468 140722698085328 140198568015088 140199101822677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15380480 140722698089455 140722698089626 140722698089626 140722698092495 0
[pid=12045/tid=12054] ppid=12043 vsize=15417412 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12045/task/12054/stat : 12054 (java) S 12043 12043 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 444268999 15787429888 37881 33554432000 4194304 4196468 140722698085328 140198566963664 140199101831067 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15380480 140722698089455 140722698089626 140722698089626 140722698092495 0
[pid=12045/tid=12055] ppid=12043 vsize=15417412 memory=0 CPUtime=0.83 cores=1,3,5,7
/proc/12045/task/12055/stat : 12055 (java) R 12043 12043 32513 0 -1 4202560 1622 0 0 0 83 0 0 0 20 0 19 0 444268999 15787429888 37881 33554432000 4194304 4196468 140722698085328 140198565903256 140199082507640 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15380480 140722698089455 140722698089626 140722698089626 140722698092495 0
[pid=12045/tid=12056] ppid=12043 vsize=15417412 memory=0 CPUtime=0.85 cores=1,3,5,7
/proc/12045/task/12056/stat : 12056 (java) R 12043 12043 32513 0 -1 4202560 1879 0 0 0 85 0 0 0 20 0 19 0 444268999 15787429888 37881 33554432000 4194304 4196468 140722698085328 140198564839824 140199082514138 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 15380480 140722698089455 140722698089626 140722698089626 140722698092495 0
[pid=12045/tid=12057] ppid=12043 vsize=15417412 memory=0 CPUtime=0.59 cores=1,3,5,7
/proc/12045/task/12057/stat : 12057 (java) S 12043 12043 32513 0 -1 1077944384 2468 0 0 0 58 1 0 0 20 0 19 0 444268999 15787429888 37881 33554432000 4194304 4196468 140722698085328 140198563805168 140199101823618 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15380480 140722698089455 140722698089626 140722698089626 140722698092495 0
[pid=12045/tid=12058] ppid=12043 vsize=15417412 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12045/task/12058/stat : 12058 (java) S 12043 12043 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 444268999 15787429888 37881 33554432000 4194304 4196468 140722698085328 140198562752864 140199101822677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15380480 140722698089455 140722698089626 140722698089626 140722698092495 0
[pid=12045/tid=12059] ppid=12043 vsize=15417412 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12045/task/12059/stat : 12059 (java) S 12043 12043 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 444268999 15787429888 37881 33554432000 4194304 4196468 140722698085328 140198561700912 140199101823618 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15380480 140722698089455 140722698089626 140722698089626 140722698092495 0
[pid=12045/tid=12060] ppid=12043 vsize=15417412 memory=9319 CPUtime=0.96 cores=1,3,5,7
/proc/12045/task/12060/stat : 12060 (java) R 12043 12043 32513 0 -1 4202560 65 0 0 0 96 0 0 0 20 0 19 0 444269059 15787429888 37881 33554432000 4194304 4196468 140722698085328 140198552719160 140198694033122 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 15380480 140722698089455 140722698089626 140722698089626 140722698092495 0
[pid=12045/tid=12061] ppid=12043 vsize=15417412 memory=3525043 CPUtime=0.68 cores=1,3,5,7
/proc/12045/task/12061/stat : 12061 (java) R 12043 12043 32513 0 -1 4202560 99 0 0 0 68 0 0 0 20 0 19 0 444269059 15787429888 37881 33554432000 4194304 4196468 140722698085328 140198551669080 140198691585999 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15380480 140722698089455 140722698089626 140722698089626 140722698092495 0
[pid=12045/tid=12062] ppid=12043 vsize=15417412 memory=0 CPUtime=0.96 cores=1,3,5,7
/proc/12045/task/12062/stat : 12062 (java) R 12043 12043 32513 0 -1 4202560 36 0 0 0 96 0 0 0 20 0 19 0 444269059 15787429888 37881 33554432000 4194304 4196468 140722698085328 140198550613752 140198693101967 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15380480 140722698089455 140722698089626 140722698089626 140722698092495 0
[pid=12045/tid=12063] ppid=12043 vsize=15417412 memory=0 CPUtime=0.87 cores=1,3,5,7
/proc/12045/task/12063/stat : 12063 (java) R 12043 12043 32513 0 -1 4202560 41 0 0 0 87 0 0 0 20 0 19 0 444269059 15787429888 37881 33554432000 4194304 4196468 140722698085328 140198549561064 140198693963560 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15380480 140722698089455 140722698089626 140722698089626 140722698092495 0
Current children cumulated CPU time: 6.42 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 152972 KiB
Child status: 0
Real time (s): 1.98295
CPU time (s): 6.68881
CPU user time (s): 6.61012
CPU system time (s): 0.078691
CPU usage (%): 337.316
Max. virtual memory (cumulated for all children) (KiB): 15530540
Max. memory (cumulated for all children) (KiB): 152972
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 6.61012
system time used= 0.078691
maximum resident set size= 164568
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20415
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= 2097
involuntary context switches= 294
# summary of solver processes directly reported to runsolver:
# pid: 12043
# total CPU time (s): 6.68881
# total CPU user time (s): 6.61012
# total CPU system time (s): 0.078691
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.037768 second user time and 0.059799 second system time
The end