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 (3584 MiB free)
memory of node 1: 16384 MiB (14774 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4399323-1568699975/watcher-4399323-1568699975 -o /tmp/evaluation-result-4399323-1568699975/solver-4399323-1568699975 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1568698598-24720 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 868210179 HOME/instance-4399323-1568699975.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=27156, runsolver pid=27153
Current StackSize limit: 8192 KiB
[startup+0.102711 s]*
/proc/loadavg: 7.26 7.07 5.83 6/229 27172
/proc/meminfo: memFree=18781100/32770624 swapFree=66938240/67108860
[pid=27156] ppid=27153 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/27156/stat : 27156 (xcsp3-exec) S 27153 27156 24688 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446268928 115843072 363 33554432000 4194304 5098028 140726403483552 140726403481656 139922265170556 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 32317440 140726403486587 140726403486829 140726403486829 140726403489738 0
/proc/27156/statm: 28282 363 304 221 0 87 0
[pid=27158] ppid=27156 vsize=15144776 memory=31824 CPUtime=0.13 cores=1,3,5,7
/proc/27158/stat : 27158 (java) S 27156 27156 24688 0 -1 1077944320 5872 0 0 0 12 1 0 0 20 0 15 0 446268928 15508250624 7956 33554432000 4194304 4196468 140723675016960 140723674999504 139724006653687 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27369472 140723675022319 140723675022490 140723675022490 140723675025359 0
/proc/27158/statm: 3786194 7956 3153 1 0 3748377 0
[pid=27158/tid=27159] ppid=27156 vsize=15144776 memory=-6962121287837372198 CPUtime=0.09 cores=1,3,5,7
/proc/27158/task/27159/stat : 27159 (java) R 27156 27156 24688 0 -1 4202560 3775 0 0 0 8 1 0 0 20 0 15 0 446268928 15508250624 7956 33554432000 4194304 4196468 140723675016960 139724010883904 139723624515047 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27369472 140723675022319 140723675022490 140723675022490 140723675025359 0
[pid=27158/tid=27160] ppid=27156 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27158/task/27160/stat : 27160 (java) S 27156 27156 24688 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446268929 15508250624 7956 33554432000 4194304 4196468 140723675016960 139723959273872 139724006663893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27369472 140723675022319 140723675022490 140723675022490 140723675025359 0
[pid=27158/tid=27161] ppid=27156 vsize=15144776 memory=140023575213696 CPUtime=0 cores=1,3,5,7
/proc/27158/task/27161/stat : 27161 (java) S 27156 27156 24688 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446268929 15508250624 7956 33554432000 4194304 4196468 140723675016960 139723958221072 139724006663893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27369472 140723675022319 140723675022490 140723675022490 140723675025359 0
[pid=27158/tid=27162] ppid=27156 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27158/task/27162/stat : 27162 (java) S 27156 27156 24688 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446268929 15508250624 7956 33554432000 4194304 4196468 140723675016960 139723957168784 139724006663893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27369472 140723675022319 140723675022490 140723675022490 140723675025359 0
[pid=27158/tid=27163] ppid=27156 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27158/task/27163/stat : 27163 (java) S 27156 27156 24688 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446268929 15508250624 7956 33554432000 4194304 4196468 140723675016960 139723956115984 139724006663893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27369472 140723675022319 140723675022490 140723675022490 140723675025359 0
[pid=27158/tid=27164] ppid=27156 vsize=15144776 memory=140023575213696 CPUtime=0 cores=1,3,5,7
/proc/27158/task/27164/stat : 27164 (java) S 27156 27156 24688 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446268930 15508250624 7956 33554432000 4194304 4196468 140723675016960 139723542403696 139724006664834 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27369472 140723675022319 140723675022490 140723675022490 140723675025359 0
[pid=27158/tid=27165] ppid=27156 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27158/task/27165/stat : 27165 (java) S 27156 27156 24688 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 446268931 15508250624 7956 33554432000 4194304 4196468 140723675016960 139722878870816 139724006663893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27369472 140723675022319 140723675022490 140723675022490 140723675025359 0
[pid=27158/tid=27166] ppid=27156 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27158/task/27166/stat : 27166 (java) S 27156 27156 24688 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446268931 15508250624 7956 33554432000 4194304 4196468 140723675016960 139722877818480 139724006663893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27369472 140723675022319 140723675022490 140723675022490 140723675025359 0
[pid=27158/tid=27167] ppid=27156 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27158/task/27167/stat : 27167 (java) S 27156 27156 24688 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446268933 15508250624 7956 33554432000 4194304 4196468 140723675016960 139722876766800 139724006672283 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27369472 140723675022319 140723675022490 140723675022490 140723675025359 0
[pid=27158/tid=27168] ppid=27156 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27158/task/27168/stat : 27168 (java) S 27156 27156 24688 0 -1 1077944384 455 0 0 0 0 0 0 0 20 0 15 0 446268933 15508250624 7956 33554432000 4194304 4196468 140723675016960 139722875713648 139724006664834 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27369472 140723675022319 140723675022490 140723675022490 140723675025359 0
[pid=27158/tid=27169] ppid=27156 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27158/task/27169/stat : 27169 (java) R 27156 27156 24688 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446268933 15508250624 7956 33554432000 4194304 4196468 140723675016960 139722874660848 139724006664834 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27369472 140723675022319 140723675022490 140723675022490 140723675025359 0
[pid=27158/tid=27170] ppid=27156 vsize=15144776 memory=140023575213696 CPUtime=0.02 cores=1,3,5,7
/proc/27158/task/27170/stat : 27170 (java) R 27156 27156 24688 0 -1 4202560 355 0 0 0 2 0 0 0 20 0 15 0 446268933 15508250624 7956 33554432000 4194304 4196468 140723675016960 139722873606096 139723992978032 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27369472 140723675022319 140723675022490 140723675022490 140723675025359 0
[pid=27158/tid=27171] ppid=27156 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27158/task/27171/stat : 27171 (java) S 27156 27156 24688 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446268934 15508250624 7956 33554432000 4194304 4196468 140723675016960 139722872556000 139724006663893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27369472 140723675022319 140723675022490 140723675022490 140723675025359 0
[pid=27158/tid=27172] ppid=27156 vsize=15144776 memory=140023575213696 CPUtime=0 cores=1,3,5,7
/proc/27158/task/27172/stat : 27172 (java) S 27156 27156 24688 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446268934 15508250624 7956 33554432000 4194304 4196468 140723675016960 139722871503792 139724006664834 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27369472 140723675022319 140723675022490 140723675022490 140723675025359 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 33276 KiB
[startup+0.210804 s]*
/proc/loadavg: 7.26 7.07 5.83 7/229 27172
/proc/meminfo: memFree=18768712/32770624 swapFree=66938240/67108860
[pid=27156] ppid=27153 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/27156/stat : 27156 (xcsp3-exec) S 27153 27156 24688 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446268928 115843072 363 33554432000 4194304 5098028 140726403483552 140726403481656 139922265170556 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 32317440 140726403486587 140726403486829 140726403486829 140726403489738 0
/proc/27156/statm: 28282 363 304 221 0 87 0
[pid=27158] ppid=27156 vsize=15144776 memory=42816 CPUtime=0.34 cores=1,3,5,7
/proc/27158/stat : 27158 (java) S 27156 27156 24688 0 -1 1077944320 9436 0 0 0 31 3 0 0 20 0 15 0 446268928 15508250624 10704 33554432000 4194304 4196468 140723675016960 140723674999504 139724006653687 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27369472 140723675022319 140723675022490 140723675022490 140723675025359 0
/proc/27158/statm: 3786194 10704 3275 1 0 3748377 0
[pid=27158/tid=27159] ppid=27156 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/27158/task/27159/stat : 27159 (java) R 27156 27156 24688 0 -1 4202560 6639 0 0 0 18 2 0 0 20 0 15 0 446268928 15508250624 10704 33554432000 4194304 4196468 140723675016960 139724010890448 139724006675613 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27369472 140723675022319 140723675022490 140723675022490 140723675025359 0
[pid=27158/tid=27160] ppid=27156 vsize=15144776 memory=2964504 CPUtime=0 cores=1,3,5,7
/proc/27158/task/27160/stat : 27160 (java) S 27156 27156 24688 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446268929 15508250624 10704 33554432000 4194304 4196468 140723675016960 139723959273872 139724006663893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27369472 140723675022319 140723675022490 140723675022490 140723675025359 0
[pid=27158/tid=27161] ppid=27156 vsize=15144776 memory=140023575238160 CPUtime=0 cores=1,3,5,7
/proc/27158/task/27161/stat : 27161 (java) S 27156 27156 24688 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446268929 15508250624 10704 33554432000 4194304 4196468 140723675016960 139723958221072 139724006663893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27369472 140723675022319 140723675022490 140723675022490 140723675025359 0
[pid=27158/tid=27162] ppid=27156 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27158/task/27162/stat : 27162 (java) S 27156 27156 24688 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446268929 15508250624 10704 33554432000 4194304 4196468 140723675016960 139723957168784 139724006663893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27369472 140723675022319 140723675022490 140723675022490 140723675025359 0
[pid=27158/tid=27163] ppid=27156 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27158/task/27163/stat : 27163 (java) S 27156 27156 24688 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446268929 15508250624 10704 33554432000 4194304 4196468 140723675016960 139723956115984 139724006663893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27369472 140723675022319 140723675022490 140723675022490 140723675025359 0
[pid=27158/tid=27164] ppid=27156 vsize=15144776 memory=140023575213696 CPUtime=0 cores=1,3,5,7
/proc/27158/task/27164/stat : 27164 (java) S 27156 27156 24688 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 446268930 15508250624 10704 33554432000 4194304 4196468 140723675016960 139723542403696 139724006664834 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27369472 140723675022319 140723675022490 140723675022490 140723675025359 0
[pid=27158/tid=27165] ppid=27156 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27158/task/27165/stat : 27165 (java) S 27156 27156 24688 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 446268931 15508250624 10704 33554432000 4194304 4196468 140723675016960 139722878870816 139724006663893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27369472 140723675022319 140723675022490 140723675022490 140723675025359 0
[pid=27158/tid=27166] ppid=27156 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27158/task/27166/stat : 27166 (java) S 27156 27156 24688 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446268931 15508250624 10704 33554432000 4194304 4196468 140723675016960 139722877818480 139724006663893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27369472 140723675022319 140723675022490 140723675022490 140723675025359 0
[pid=27158/tid=27167] ppid=27156 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27158/task/27167/stat : 27167 (java) S 27156 27156 24688 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446268933 15508250624 10704 33554432000 4194304 4196468 140723675016960 139722876766800 139724006672283 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27369472 140723675022319 140723675022490 140723675022490 140723675025359 0
[pid=27158/tid=27168] ppid=27156 vsize=15144776 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/27158/task/27168/stat : 27168 (java) S 27156 27156 24688 0 -1 1077944384 658 0 0 0 2 0 0 0 20 0 15 0 446268933 15508250624 10704 33554432000 4194304 4196468 140723675016960 139722875713648 139724006664834 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27369472 140723675022319 140723675022490 140723675022490 140723675025359 0
[pid=27158/tid=27169] ppid=27156 vsize=15144776 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/27158/task/27169/stat : 27169 (java) S 27156 27156 24688 0 -1 1077944384 112 0 0 0 2 0 0 0 20 0 15 0 446268933 15508250624 10704 33554432000 4194304 4196468 140723675016960 139722874660848 139724006664834 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27369472 140723675022319 140723675022490 140723675022490 140723675025359 0
[pid=27158/tid=27170] ppid=27156 vsize=15144776 memory=140023575213696 CPUtime=0.08 cores=1,3,5,7
/proc/27158/task/27170/stat : 27170 (java) S 27156 27156 24688 0 -1 1077944384 740 0 0 0 8 0 0 0 20 0 15 0 446268933 15508250624 10704 33554432000 4194304 4196468 140723675016960 139722873608560 139724006664834 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27369472 140723675022319 140723675022490 140723675022490 140723675025359 0
[pid=27158/tid=27171] ppid=27156 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27158/task/27171/stat : 27171 (java) S 27156 27156 24688 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446268934 15508250624 10704 33554432000 4194304 4196468 140723675016960 139722872556000 139724006663893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27369472 140723675022319 140723675022490 140723675022490 140723675025359 0
[pid=27158/tid=27172] ppid=27156 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27158/task/27172/stat : 27172 (java) S 27156 27156 24688 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446268934 15508250624 10704 33554432000 4194304 4196468 140723675016960 139722871503792 139724006664834 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27369472 140723675022319 140723675022490 140723675022490 140723675025359 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 44268 KiB
[startup+0.310771 s]*
/proc/loadavg: 7.26 7.07 5.83 7/229 27172
/proc/meminfo: memFree=18760932/32770624 swapFree=66938240/67108860
[pid=27156] ppid=27153 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/27156/stat : 27156 (xcsp3-exec) S 27153 27156 24688 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446268928 115843072 363 33554432000 4194304 5098028 140726403483552 140726403481656 139922265170556 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 32317440 140726403486587 140726403486829 140726403486829 140726403489738 0
/proc/27156/statm: 28282 363 304 221 0 87 0
[pid=27158] ppid=27156 vsize=15149032 memory=52368 CPUtime=0.53 cores=1,3,5,7
/proc/27158/stat : 27158 (java) S 27156 27156 24688 0 -1 1077944320 10876 0 0 0 49 4 0 0 20 0 15 0 446268928 15512608768 13092 33554432000 4194304 4196468 140723675016960 140723674999504 139724006653687 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27369472 140723675022319 140723675022490 140723675022490 140723675025359 0
/proc/27158/statm: 3787258 13092 3370 1 0 3748377 0
[pid=27158/tid=27159] ppid=27156 vsize=15149032 memory=6791534058613427641 CPUtime=0.3 cores=1,3,5,7
/proc/27158/task/27159/stat : 27159 (java) R 27156 27156 24688 0 -1 4202560 7833 0 0 0 27 3 0 0 20 0 15 0 446268928 15512608768 13092 33554432000 4194304 4196468 140723675016960 139724010884800 139723990734174 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27369472 140723675022319 140723675022490 140723675022490 140723675025359 0
[pid=27158/tid=27160] ppid=27156 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/27158/task/27160/stat : 27160 (java) S 27156 27156 24688 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446268929 15512608768 13092 33554432000 4194304 4196468 140723675016960 139723959273872 139724006663893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27369472 140723675022319 140723675022490 140723675022490 140723675025359 0
[pid=27158/tid=27161] ppid=27156 vsize=15149032 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/27158/task/27161/stat : 27161 (java) S 27156 27156 24688 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446268929 15512608768 13092 33554432000 4194304 4196468 140723675016960 139723958221072 139724006663893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27369472 140723675022319 140723675022490 140723675022490 140723675025359 0
[pid=27158/tid=27162] ppid=27156 vsize=15149032 memory=-3258418265892434876 CPUtime=0 cores=1,3,5,7
/proc/27158/task/27162/stat : 27162 (java) S 27156 27156 24688 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446268929 15512608768 13092 33554432000 4194304 4196468 140723675016960 139723957168784 139724006663893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27369472 140723675022319 140723675022490 140723675022490 140723675025359 0
[pid=27158/tid=27163] ppid=27156 vsize=15149032 memory=4572146057552828020 CPUtime=0 cores=1,3,5,7
/proc/27158/task/27163/stat : 27163 (java) S 27156 27156 24688 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446268929 15512608768 13092 33554432000 4194304 4196468 140723675016960 139723956115984 139724006663893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27369472 140723675022319 140723675022490 140723675022490 140723675025359 0
[pid=27158/tid=27164] ppid=27156 vsize=15149032 memory=6944613755495348631 CPUtime=0 cores=1,3,5,7
/proc/27158/task/27164/stat : 27164 (java) S 27156 27156 24688 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 446268930 15512608768 13092 33554432000 4194304 4196468 140723675016960 139723542403696 139724006664834 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27369472 140723675022319 140723675022490 140723675022490 140723675025359 0
[pid=27158/tid=27165] ppid=27156 vsize=15149032 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/27158/task/27165/stat : 27165 (java) S 27156 27156 24688 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 446268931 15512608768 13092 33554432000 4194304 4196468 140723675016960 139722878870816 139724006663893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27369472 140723675022319 140723675022490 140723675022490 140723675025359 0
[pid=27158/tid=27166] ppid=27156 vsize=15149032 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/27158/task/27166/stat : 27166 (java) S 27156 27156 24688 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446268931 15512608768 13092 33554432000 4194304 4196468 140723675016960 139722877818480 139724006663893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27369472 140723675022319 140723675022490 140723675022490 140723675025359 0
[pid=27158/tid=27167] ppid=27156 vsize=15149032 memory=-6664436420846796947 CPUtime=0 cores=1,3,5,7
/proc/27158/task/27167/stat : 27167 (java) S 27156 27156 24688 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446268933 15512608768 13092 33554432000 4194304 4196468 140723675016960 139722876766800 139724006672283 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27369472 140723675022319 140723675022490 140723675022490 140723675025359 0
[pid=27158/tid=27168] ppid=27156 vsize=15149032 memory=4426078206164241782 CPUtime=0.05 cores=1,3,5,7
/proc/27158/task/27168/stat : 27168 (java) R 27156 27156 24688 0 -1 4202560 767 0 0 0 5 0 0 0 20 0 15 0 446268933 15512608768 13092 33554432000 4194304 4196468 140723675016960 139722875713648 139723991316849 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27369472 140723675022319 140723675022490 140723675022490 140723675025359 0
[pid=27158/tid=27169] ppid=27156 vsize=15149032 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/27158/task/27169/stat : 27169 (java) S 27156 27156 24688 0 -1 1077944384 145 0 0 0 4 0 0 0 20 0 15 0 446268933 15512608768 13092 33554432000 4194304 4196468 140723675016960 139722874660848 139724006664834 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27369472 140723675022319 140723675022490 140723675022490 140723675025359 0
[pid=27158/tid=27170] ppid=27156 vsize=15149032 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/27158/task/27170/stat : 27170 (java) S 27156 27156 24688 0 -1 1077944384 845 0 0 0 13 0 0 0 20 0 15 0 446268933 15512608768 13092 33554432000 4194304 4196468 140723675016960 139722873608560 139724006664834 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27369472 140723675022319 140723675022490 140723675022490 140723675025359 0
[pid=27158/tid=27171] ppid=27156 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27158/task/27171/stat : 27171 (java) S 27156 27156 24688 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446268934 15512608768 13092 33554432000 4194304 4196468 140723675016960 139722872556000 139724006663893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27369472 140723675022319 140723675022490 140723675022490 140723675025359 0
[pid=27158/tid=27172] ppid=27156 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27158/task/27172/stat : 27172 (java) S 27156 27156 24688 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446268934 15512608768 13092 33554432000 4194304 4196468 140723675016960 139722871503792 139724006664834 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27369472 140723675022319 140723675022490 140723675022490 140723675025359 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 53820 KiB
[startup+0.711571 s]
/proc/loadavg: 7.26 7.07 5.83 8/229 27172
/proc/meminfo: memFree=18737644/32770624 swapFree=66938240/67108860
[pid=27156] ppid=27153 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/27156/stat : 27156 (xcsp3-exec) S 27153 27156 24688 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446268928 115843072 363 33554432000 4194304 5098028 140726403483552 140726403481656 139922265170556 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 32317440 140726403486587 140726403486829 140726403486829 140726403489738 0
/proc/27156/statm: 28282 363 304 221 0 87 0
[pid=27158] ppid=27156 vsize=15151156 memory=106276 CPUtime=1.84 cores=1,3,5,7
/proc/27158/stat : 27158 (java) S 27156 27156 24688 0 -1 1077944320 15614 0 0 0 178 6 0 0 20 0 15 0 446268928 15514783744 26569 33554432000 4194304 4196468 140723675016960 140723674999504 139724006653687 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27369472 140723675022319 140723675022490 140723675022490 140723675025359 0
/proc/27158/statm: 3787789 26569 3450 1 0 3748889 0
[pid=27158/tid=27159] ppid=27156 vsize=15151156 memory=33 CPUtime=0.68 cores=1,3,5,7
/proc/27158/task/27159/stat : 27159 (java) R 27156 27156 24688 0 -1 4202560 9144 0 0 0 64 4 0 0 20 0 15 0 446268928 15514783744 26569 33554432000 4194304 4196468 140723675016960 139724010890944 139723626335761 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27369472 140723675022319 140723675022490 140723675022490 140723675025359 0
[pid=27158/tid=27160] ppid=27156 vsize=15151156 memory=288230377044124670 CPUtime=0 cores=1,3,5,7
/proc/27158/task/27160/stat : 27160 (java) S 27156 27156 24688 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446268929 15514783744 26569 33554432000 4194304 4196468 140723675016960 139723959273872 139724006663893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27369472 140723675022319 140723675022490 140723675022490 140723675025359 0
[pid=27158/tid=27161] ppid=27156 vsize=15151156 memory=288291077884034143 CPUtime=0 cores=1,3,5,7
/proc/27158/task/27161/stat : 27161 (java) S 27156 27156 24688 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446268929 15514783744 26569 33554432000 4194304 4196468 140723675016960 139723958221072 139724006663893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27369472 140723675022319 140723675022490 140723675022490 140723675025359 0
[pid=27158/tid=27162] ppid=27156 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27158/task/27162/stat : 27162 (java) S 27156 27156 24688 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446268929 15514783744 26569 33554432000 4194304 4196468 140723675016960 139723957168784 139724006663893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27369472 140723675022319 140723675022490 140723675022490 140723675025359 0
[pid=27158/tid=27163] ppid=27156 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27158/task/27163/stat : 27163 (java) S 27156 27156 24688 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446268929 15514783744 26569 33554432000 4194304 4196468 140723675016960 139723956115984 139724006663893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27369472 140723675022319 140723675022490 140723675022490 140723675025359 0
[pid=27158/tid=27164] ppid=27156 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27158/task/27164/stat : 27164 (java) S 27156 27156 24688 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 446268930 15514783744 26569 33554432000 4194304 4196468 140723675016960 139723542403696 139724006664834 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27369472 140723675022319 140723675022490 140723675022490 140723675025359 0
[pid=27158/tid=27165] ppid=27156 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27158/task/27165/stat : 27165 (java) S 27156 27156 24688 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 446268931 15514783744 26569 33554432000 4194304 4196468 140723675016960 139722878870816 139724006663893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27369472 140723675022319 140723675022490 140723675022490 140723675025359 0
[pid=27158/tid=27166] ppid=27156 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27158/task/27166/stat : 27166 (java) S 27156 27156 24688 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446268931 15514783744 26569 33554432000 4194304 4196468 140723675016960 139722877818480 139724006663893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27369472 140723675022319 140723675022490 140723675022490 140723675025359 0
[pid=27158/tid=27167] ppid=27156 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27158/task/27167/stat : 27167 (java) S 27156 27156 24688 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446268933 15514783744 26569 33554432000 4194304 4196468 140723675016960 139722876766800 139724006672283 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27369472 140723675022319 140723675022490 140723675022490 140723675025359 0
[pid=27158/tid=27168] ppid=27156 vsize=15151156 memory=0 CPUtime=0.39 cores=1,3,5,7
/proc/27158/task/27168/stat : 27168 (java) R 27156 27156 24688 0 -1 4202560 1901 0 0 0 39 0 0 0 20 0 15 0 446268933 15514783744 26569 33554432000 4194304 4196468 140723675016960 139722875702384 139723990152280 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27369472 140723675022319 140723675022490 140723675022490 140723675025359 0
[pid=27158/tid=27169] ppid=27156 vsize=15151156 memory=4639074098508484689 CPUtime=0.35 cores=1,3,5,7
/proc/27158/task/27169/stat : 27169 (java) R 27156 27156 24688 0 -1 4202560 1042 0 0 0 35 0 0 0 20 0 15 0 446268933 15514783744 26569 33554432000 4194304 4196468 140723675016960 139722874647696 139723988175791 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 27369472 140723675022319 140723675022490 140723675022490 140723675025359 0
[pid=27158/tid=27170] ppid=27156 vsize=15151156 memory=8028059236986940007 CPUtime=0.38 cores=1,3,5,7
/proc/27158/task/27170/stat : 27170 (java) S 27156 27156 24688 0 -1 1077944384 2239 0 0 0 38 0 0 0 20 0 15 0 446268933 15514783744 26569 33554432000 4194304 4196468 140723675016960 139722873608560 139724006664834 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27369472 140723675022319 140723675022490 140723675022490 140723675025359 0
[pid=27158/tid=27171] ppid=27156 vsize=15151156 memory=7523639645888865877 CPUtime=0 cores=1,3,5,7
/proc/27158/task/27171/stat : 27171 (java) S 27156 27156 24688 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446268934 15514783744 26569 33554432000 4194304 4196468 140723675016960 139722872556000 139724006663893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27369472 140723675022319 140723675022490 140723675022490 140723675025359 0
[pid=27158/tid=27172] ppid=27156 vsize=15151156 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27158/task/27172/stat : 27172 (java) S 27156 27156 24688 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446268934 15514783744 26569 33554432000 4194304 4196468 140723675016960 139722871503792 139724006664834 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27369472 140723675022319 140723675022490 140723675022490 140723675025359 0
Current children cumulated CPU time: 1.84 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 107728 KiB
[startup+1.50162 s]
/proc/loadavg: 7.26 7.07 5.83 5/229 27172
/proc/meminfo: memFree=18660388/32770624 swapFree=66938240/67108860
[pid=27156] ppid=27153 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/27156/stat : 27156 (xcsp3-exec) S 27153 27156 24688 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446268928 115843072 363 33554432000 4194304 5098028 140726403483552 140726403481656 139922265170556 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 32317440 140726403486587 140726403486829 140726403486829 140726403489738 0
/proc/27156/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
/proc/27158/task/27164/stat : 27164 (java) S 27156 27156 24688 0 -1 1077944384 145 0 0 0 0 0 0 0 20 0 19 0 446268930 15791632384 67800 33554432000 4194304 4196468 140723675016960 139723542403696 139724006664834 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27369472 140723675022319 140723675022490 140723675022490 140723675025359 0
[pid=27158/tid=27165] ppid=27156 vsize=15421516 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27158/task/27165/stat : 27165 (java) S 27156 27156 24688 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 19 0 446268931 15791632384 67800 33554432000 4194304 4196468 140723675016960 139722878870880 139724006663893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27369472 140723675022319 140723675022490 140723675022490 140723675025359 0
[pid=27158/tid=27166] ppid=27156 vsize=15421516 memory=280046900147136 CPUtime=0 cores=1,3,5,7
/proc/27158/task/27166/stat : 27166 (java) S 27156 27156 24688 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 19 0 446268931 15791632384 67800 33554432000 4194304 4196468 140723675016960 139722877818496 139724006663893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27369472 140723675022319 140723675022490 140723675022490 140723675025359 0
[pid=27158/tid=27167] ppid=27156 vsize=15421516 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27158/task/27167/stat : 27167 (java) S 27156 27156 24688 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446268933 15791632384 67800 33554432000 4194304 4196468 140723675016960 139722876766800 139724006672283 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27369472 140723675022319 140723675022490 140723675022490 140723675025359 0
[pid=27158/tid=27168] ppid=27156 vsize=15421516 memory=33540 CPUtime=2.4 cores=1,3,5,7
/proc/27158/task/27168/stat : 27168 (java) R 27156 27156 24688 0 -1 4202560 6081 0 0 0 240 0 0 0 20 0 19 0 446268933 15791632384 67800 33554432000 4194304 4196468 140723675016960 139722875700192 139723991766351 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27369472 140723675022319 140723675022490 140723675022490 140723675025359 0
[pid=27158/tid=27169] ppid=27156 vsize=15421516 memory=2319389199166351968 CPUtime=2.48 cores=1,3,5,7
/proc/27158/task/27169/stat : 27169 (java) R 27156 27156 24688 0 -1 4202560 5627 0 0 0 247 1 0 0 20 0 19 0 446268933 15791632384 67800 33554432000 4194304 4196468 140723675016960 139722874647072 139723991574979 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27369472 140723675022319 140723675022490 140723675022490 140723675025359 0
[pid=27158/tid=27170] ppid=27156 vsize=15421516 memory=4639059877604708710 CPUtime=0.91 cores=1,3,5,7
/proc/27158/task/27170/stat : 27170 (java) S 27156 27156 24688 0 -1 1077944384 4873 0 0 0 90 1 0 0 20 0 19 0 446268933 15791632384 67800 33554432000 4194304 4196468 140723675016960 139722873608560 139724006664834 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27369472 140723675022319 140723675022490 140723675022490 140723675025359 0
[pid=27158/tid=27171] ppid=27156 vsize=15421516 memory=288230574492221466 CPUtime=0 cores=1,3,5,7
/proc/27158/task/27171/stat : 27171 (java) S 27156 27156 24688 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446268934 15791632384 67800 33554432000 4194304 4196468 140723675016960 139722872556000 139724006663893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27369472 140723675022319 140723675022490 140723675022490 140723675025359 0
[pid=27158/tid=27172] ppid=27156 vsize=15421516 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27158/task/27172/stat : 27172 (java) S 27156 27156 24688 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 19 0 446268934 15791632384 67800 33554432000 4194304 4196468 140723675016960 139722871503792 139724006664834 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27369472 140723675022319 140723675022490 140723675022490 140723675025359 0
[pid=27158/tid=27217] ppid=27156 vsize=15421516 memory=0 CPUtime=0.24 cores=1,3,5,7
/proc/27158/task/27217/stat : 27217 (java) R 27156 27156 24688 0 -1 4202560 46 0 0 0 24 0 0 0 20 0 19 0 446269189 15791632384 67800 33554432000 4194304 4196468 140723675016960 139722546743960 139723632319067 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27369472 140723675022319 140723675022490 140723675022490 140723675025359 0
[pid=27158/tid=27218] ppid=27156 vsize=15421516 memory=0 CPUtime=0.3 cores=1,3,5,7
/proc/27158/task/27218/stat : 27218 (java) R 27156 27156 24688 0 -1 4202560 92 0 0 0 30 0 0 0 20 0 19 0 446269189 15791632384 67800 33554432000 4194304 4196468 140723675016960 139722549905640 139723632318912 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27369472 140723675022319 140723675022490 140723675022490 140723675025359 0
[pid=27158/tid=27219] ppid=27156 vsize=15421516 memory=0 CPUtime=0.27 cores=1,3,5,7
/proc/27158/task/27219/stat : 27219 (java) R 27156 27156 24688 0 -1 4202560 168 0 0 0 27 0 0 0 20 0 19 0 446269189 15791632384 67800 33554432000 4194304 4196468 140723675016960 139722548849928 139723633846179 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27369472 140723675022319 140723675022490 140723675022490 140723675025359 0
[pid=27158/tid=27220] ppid=27156 vsize=15421516 memory=0 CPUtime=0.32 cores=1,3,5,7
/proc/27158/task/27220/stat : 27220 (java) R 27156 27156 24688 0 -1 4202560 221 0 0 0 32 0 0 0 20 0 19 0 446269190 15791632384 67800 33554432000 4194304 4196468 140723675016960 139722552010872 139723633565968 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 27369472 140723675022319 140723675022490 140723675022490 140723675025359 0
Current children cumulated CPU time: 10.55 s
Current children cumulated vsize: 15534644 KiB
Current children cumulated memory: 272652 KiB
[startup+6.30157 s]
/proc/loadavg: 7.56 7.14 5.86 9/233 27232
/proc/meminfo: memFree=18428976/32770624 swapFree=66938240/67108860
[pid=27156] ppid=27153 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/27156/stat : 27156 (xcsp3-exec) S 27153 27156 24688 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446268928 115843072 363 33554432000 4194304 5098028 140726403483552 140726403481656 139922265170556 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 32317440 140726403486587 140726403486829 140726403486829 140726403489738 0
/proc/27156/statm: 28282 363 304 221 0 87 0
[pid=27158] ppid=27156 vsize=15421516 memory=383484 CPUtime=22.79 cores=1,3,5,7
/proc/27158/stat : 27158 (java) S 27156 27156 24688 0 -1 1077944320 33743 0 0 0 2259 20 0 0 20 0 19 0 446268928 15791632384 95871 33554432000 4194304 4196468 140723675016960 140723674999504 139724006653687 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27369472 140723675022319 140723675022490 140723675022490 140723675025359 0
/proc/27158/statm: 3855379 95871 3540 1 0 3816479 0
[pid=27158/tid=27159] ppid=27156 vsize=15421516 memory=0 CPUtime=1.5 cores=1,3,5,7
/proc/27158/task/27159/stat : 27159 (java) S 27156 27156 24688 0 -1 1077944384 10192 0 0 0 144 6 0 0 20 0 19 0 446268928 15791632384 95871 33554432000 4194304 4196468 140723675016960 139724010894464 139724006663893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27369472 140723675022319 140723675022490 140723675022490 140723675025359 0
[pid=27158/tid=27160] ppid=27156 vsize=15421516 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/27158/task/27160/stat : 27160 (java) S 27156 27156 24688 0 -1 1077944384 117 0 0 0 2 0 0 0 20 0 19 0 446268929 15791632384 95871 33554432000 4194304 4196468 140723675016960 139723959273872 139724006663893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27369472 140723675022319 140723675022490 140723675022490 140723675025359 0
[pid=27158/tid=27161] ppid=27156 vsize=15421516 memory=6791534058613427641 CPUtime=0.05 cores=1,3,5,7
/proc/27158/task/27161/stat : 27161 (java) S 27156 27156 24688 0 -1 1077944384 93 0 0 0 4 1 0 0 20 0 19 0 446268929 15791632384 95871 33554432000 4194304 4196468 140723675016960 139723958221072 139724006663893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27369472 140723675022319 140723675022490 140723675022490 140723675025359 0
[pid=27158/tid=27162] ppid=27156 vsize=15421516 memory=7450731033947366740 CPUtime=0.05 cores=1,3,5,7
/proc/27158/task/27162/stat : 27162 (java) S 27156 27156 24688 0 -1 1077944384 141 0 0 0 4 1 0 0 20 0 19 0 446268929 15791632384 95871 33554432000 4194304 4196468 140723675016960 139723957168784 139724006663893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27369472 140723675022319 140723675022490 140723675022490 140723675025359 0
[pid=27158/tid=27163] ppid=27156 vsize=15421516 memory=4640781674728153702 CPUtime=0.05 cores=1,3,5,7
/proc/27158/task/27163/stat : 27163 (java) S 27156 27156 24688 0 -1 1077944384 184 0 0 0 4 1 0 0 20 0 19 0 446268929 15791632384 95871 33554432000 4194304 4196468 140723675016960 139723956115984 139724006663893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27369472 140723675022319 140723675022490 140723675022490 140723675025359 0
[pid=27158/tid=27164] ppid=27156 vsize=15421516 memory=5794562988889292904 CPUtime=0.01 cores=1,3,5,7
/proc/27158/task/27164/stat : 27164 (java) S 27156 27156 24688 0 -1 1077944384 388 0 0 0 1 0 0 0 20 0 19 0 446268930 15791632384 95871 33554432000 4194304 4196468 140723675016960 139723542403696 139724006664834 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27369472 140723675022319 140723675022490 140723675022490 140723675025359 0
[pid=27158/tid=27165] ppid=27156 vsize=15421516 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/27158/task/27165/stat : 27165 (java) S 27156 27156 24688 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 19 0 446268931 15791632384 95871 33554432000 4194304 4196468 140723675016960 139722878870880 139724006663893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27369472 140723675022319 140723675022490 140723675022490 140723675025359 0
[pid=27158/tid=27166] ppid=27156 vsize=15421516 memory=280046900925648 CPUtime=0 cores=1,3,5,7
/proc/27158/task/27166/stat : 27166 (java) S 27156 27156 24688 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 19 0 446268931 15791632384 95871 33554432000 4194304 4196468 140723675016960 139722877818496 139724006663893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27369472 140723675022319 140723675022490 140723675022490 140723675025359 0
[pid=27158/tid=27167] ppid=27156 vsize=15421516 memory=2110374057671844 CPUtime=0 cores=1,3,5,7
/proc/27158/task/27167/stat : 27167 (java) S 27156 27156 24688 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446268933 15791632384 95871 33554432000 4194304 4196468 140723675016960 139722876766800 139724006672283 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27369472 140723675022319 140723675022490 140723675022490 140723675025359 0
[pid=27158/tid=27168] ppid=27156 vsize=15421516 memory=8819569139123385389 CPUtime=3.62 cores=1,3,5,7
/proc/27158/task/27168/stat : 27168 (java) R 27156 27156 24688 0 -1 4202560 6813 0 0 0 361 1 0 0 20 0 19 0 446268933 15791632384 95871 33554432000 4194304 4196468 140723675016960 139722875713648 139723985824936 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27369472 140723675022319 140723675022490 140723675022490 140723675025359 0
[pid=27158/tid=27169] ppid=27156 vsize=15421516 memory=0 CPUtime=3.6 cores=1,3,5,7
/proc/27158/task/27169/stat : 27169 (java) S 27156 27156 24688 0 -1 1077944384 6972 0 0 0 359 1 0 0 20 0 19 0 446268933 15791632384 95871 33554432000 4194304 4196468 140723675016960 139722874660848 139724006664834 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27369472 140723675022319 140723675022490 140723675022490 140723675025359 0
[pid=27158/tid=27170] ppid=27156 vsize=15421516 memory=0 CPUtime=1.06 cores=1,3,5,7
/proc/27158/task/27170/stat : 27170 (java) S 27156 27156 24688 0 -1 1077944384 5097 0 0 0 105 1 0 0 20 0 19 0 446268933 15791632384 95871 33554432000 4194304 4196468 140723675016960 139722873608560 139724006664834 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27369472 140723675022319 140723675022490 140723675022490 140723675025359 0
[pid=27158/tid=27171] ppid=27156 vsize=15421516 memory=3472468318869329982 CPUtime=0 cores=1,3,5,7
/proc/27158/task/27171/stat : 27171 (java) S 27156 27156 24688 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446268934 15791632384 95871 33554432000 4194304 4196468 140723675016960 139722872556000 139724006663893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27369472 140723675022319 140723675022490 140723675022490 140723675025359 0
[pid=27158/tid=27172] ppid=27156 vsize=15421516 memory=6944652027076318631 CPUtime=0 cores=1,3,5,7
/proc/27158/task/27172/stat : 27172 (java) S 27156 27156 24688 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 19 0 446268934 15791632384 95871 33554432000 4194304 4196468 140723675016960 139722871503792 139724006664834 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27369472 140723675022319 140723675022490 140723675022490 140723675025359 0
Current children cumulated CPU time: 22.79 s
Current children cumulated vsize: 15534644 KiB
Current children cumulated memory: 384936 KiB
[startup+6.66388 s]
# the end of solver process 27156 was just reported to runsolver
# cumulated CPU time of all completed processes: user=23.6024 s, system=0.212527 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+6.40101 s]
/proc/loadavg: 7.56 7.14 5.86 9/233 27232
/proc/meminfo: memFree=18428976/32770624 swapFree=66938240/67108860
[pid=27156] ppid=27153 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/27156/stat : 27156 (xcsp3-exec) S 27153 27156 24688 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446268928 115843072 363 33554432000 4194304 5098028 140726403483552 140726403481656 139922265170556 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 32317440 140726403486587 140726403486829 140726403486829 140726403489738 0
/proc/27156/statm: 28282 363 304 221 0 87 0
[pid=27158] ppid=27156 vsize=15421516 memory=383484 CPUtime=23.04 cores=1,3,5,7
/proc/27158/stat : 27158 (java) S 27156 27156 24688 0 -1 1077944320 33769 0 0 0 2284 20 0 0 20 0 19 0 446268928 15791632384 95871 33554432000 4194304 4196468 140723675016960 140723674999504 139724006653687 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27369472 140723675022319 140723675022490 140723675022490 140723675025359 0
/proc/27158/statm: 3855379 95871 3540 1 0 3816479 0
[pid=27158/tid=27159] ppid=27156 vsize=15421516 memory=6791534058613427641 CPUtime=1.5 cores=1,3,5,7
/proc/27158/task/27159/stat : 27159 (java) S 27156 27156 24688 0 -1 1077944384 10192 0 0 0 144 6 0 0 20 0 19 0 446268928 15791632384 95871 33554432000 4194304 4196468 140723675016960 139724010894464 139724006663893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27369472 140723675022319 140723675022490 140723675022490 140723675025359 0
[pid=27158/tid=27160] ppid=27156 vsize=15421516 memory=4280455132452081822 CPUtime=0.02 cores=1,3,5,7
/proc/27158/task/27160/stat : 27160 (java) S 27156 27156 24688 0 -1 1077944384 117 0 0 0 2 0 0 0 20 0 19 0 446268929 15791632384 95871 33554432000 4194304 4196468 140723675016960 139723959273872 139724006663893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27369472 140723675022319 140723675022490 140723675022490 140723675025359 0
[pid=27158/tid=27161] ppid=27156 vsize=15421516 memory=7308324478668727916 CPUtime=0.05 cores=1,3,5,7
/proc/27158/task/27161/stat : 27161 (java) S 27156 27156 24688 0 -1 1077944384 93 0 0 0 4 1 0 0 20 0 19 0 446268929 15791632384 95871 33554432000 4194304 4196468 140723675016960 139723958221072 139724006663893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27369472 140723675022319 140723675022490 140723675022490 140723675025359 0
[pid=27158/tid=27162] ppid=27156 vsize=15421516 memory=7595391571552921458 CPUtime=0.05 cores=1,3,5,7
/proc/27158/task/27162/stat : 27162 (java) S 27156 27156 24688 0 -1 1077944384 141 0 0 0 4 1 0 0 20 0 19 0 446268929 15791632384 95871 33554432000 4194304 4196468 140723675016960 139723957168784 139724006663893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27369472 140723675022319 140723675022490 140723675022490 140723675025359 0
[pid=27158/tid=27163] ppid=27156 vsize=15421516 memory=7512114578044973668 CPUtime=0.05 cores=1,3,5,7
/proc/27158/task/27163/stat : 27163 (java) S 27156 27156 24688 0 -1 1077944384 184 0 0 0 4 1 0 0 20 0 19 0 446268929 15791632384 95871 33554432000 4194304 4196468 140723675016960 139723956115984 139724006663893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27369472 140723675022319 140723675022490 140723675022490 140723675025359 0
[pid=27158/tid=27164] ppid=27156 vsize=15421516 memory=7512114578044973668 CPUtime=0.01 cores=1,3,5,7
/proc/27158/task/27164/stat : 27164 (java) S 27156 27156 24688 0 -1 1077944384 388 0 0 0 1 0 0 0 20 0 19 0 446268930 15791632384 95871 33554432000 4194304 4196468 140723675016960 139723542403696 139724006664834 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27369472 140723675022319 140723675022490 140723675022490 140723675025359 0
[pid=27158/tid=27165] ppid=27156 vsize=15421516 memory=5859271421084520810 CPUtime=0 cores=1,3,5,7
/proc/27158/task/27165/stat : 27165 (java) S 27156 27156 24688 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 19 0 446268931 15791632384 95871 33554432000 4194304 4196468 140723675016960 139722878870880 139724006663893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27369472 140723675022319 140723675022490 140723675022490 140723675025359 0
[pid=27158/tid=27166] ppid=27156 vsize=15421516 memory=5788063852999566677 CPUtime=0 cores=1,3,5,7
/proc/27158/task/27166/stat : 27166 (java) S 27156 27156 24688 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 19 0 446268931 15791632384 95871 33554432000 4194304 4196468 140723675016960 139722877818496 139724006663893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27369472 140723675022319 140723675022490 140723675022490 140723675025359 0
[pid=27158/tid=27167] ppid=27156 vsize=15421516 memory=149 CPUtime=0 cores=1,3,5,7
/proc/27158/task/27167/stat : 27167 (java) S 27156 27156 24688 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446268933 15791632384 95871 33554432000 4194304 4196468 140723675016960 139722876766800 139724006672283 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27369472 140723675022319 140723675022490 140723675022490 140723675025359 0
[pid=27158/tid=27168] ppid=27156 vsize=15421516 memory=140023450399815 CPUtime=3.64 cores=1,3,5,7
/proc/27158/task/27168/stat : 27168 (java) S 27156 27156 24688 0 -1 1077944384 6813 0 0 0 363 1 0 0 20 0 19 0 446268933 15791632384 95871 33554432000 4194304 4196468 140723675016960 139722875713648 139724006664834 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27369472 140723675022319 140723675022490 140723675022490 140723675025359 0
[pid=27158/tid=27169] ppid=27156 vsize=15421516 memory=280046900754352 CPUtime=3.6 cores=1,3,5,7
/proc/27158/task/27169/stat : 27169 (java) S 27156 27156 24688 0 -1 1077944384 6972 0 0 0 359 1 0 0 20 0 19 0 446268933 15791632384 95871 33554432000 4194304 4196468 140723675016960 139722874660848 139724006664834 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27369472 140723675022319 140723675022490 140723675022490 140723675025359 0
[pid=27158/tid=27170] ppid=27156 vsize=15421516 memory=-7966001734536614954 CPUtime=1.06 cores=1,3,5,7
/proc/27158/task/27170/stat : 27170 (java) S 27156 27156 24688 0 -1 1077944384 5097 0 0 0 105 1 0 0 20 0 19 0 446268933 15791632384 95871 33554432000 4194304 4196468 140723675016960 139722873608560 139724006664834 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27369472 140723675022319 140723675022490 140723675022490 140723675025359 0
[pid=27158/tid=27171] ppid=27156 vsize=15421516 memory=6944613755495348631 CPUtime=0 cores=1,3,5,7
/proc/27158/task/27171/stat : 27171 (java) S 27156 27156 24688 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446268934 15791632384 95871 33554432000 4194304 4196468 140723675016960 139722872556000 139724006663893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27369472 140723675022319 140723675022490 140723675022490 140723675025359 0
[pid=27158/tid=27172] ppid=27156 vsize=15421516 memory=-8918990855134196790 CPUtime=0 cores=1,3,5,7
/proc/27158/task/27172/stat : 27172 (java) S 27156 27156 24688 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 19 0 446268934 15791632384 95871 33554432000 4194304 4196468 140723675016960 139722871503792 139724006664834 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27369472 140723675022319 140723675022490 140723675022490 140723675025359 0
Current children cumulated CPU time: 23.04 s
Current children cumulated vsize: 15534644 KiB
Current children cumulated memory: 384936 KiB
[startup+6.60074 s]
/proc/loadavg: 7.56 7.14 5.86 9/233 27232
/proc/meminfo: memFree=18428976/32770624 swapFree=66938240/67108860
[pid=27156] ppid=27153 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/27156/stat : 27156 (xcsp3-exec) S 27153 27156 24688 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446268928 115843072 363 33554432000 4194304 5098028 140726403483552 140726403481656 139922265170556 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 32317440 140726403486587 140726403486829 140726403486829 140726403489738 0
/proc/27156/statm: 28282 363 304 221 0 87 0
[pid=27158] ppid=27156 vsize=15421516 memory=383484 CPUtime=23.58 cores=1,3,5,7
/proc/27158/stat : 27158 (java) S 27156 27156 24688 0 -1 1077944320 33850 0 0 0 2338 20 0 0 20 0 19 0 446268928 15791632384 95871 33554432000 4194304 4196468 140723675016960 140723674999504 139724006653687 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27369472 140723675022319 140723675022490 140723675022490 140723675025359 0
/proc/27158/statm: 3855379 95871 3540 1 0 3816479 0
[pid=27158/tid=27159] ppid=27156 vsize=15421516 memory=6791534058613427641 CPUtime=1.5 cores=1,3,5,7
/proc/27158/task/27159/stat : 27159 (java) S 27156 27156 24688 0 -1 1077944384 10193 0 0 0 144 6 0 0 20 0 19 0 446268928 15791632384 95871 33554432000 4194304 4196468 140723675016960 139724010894464 139724006663893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27369472 140723675022319 140723675022490 140723675022490 140723675025359 0
[pid=27158/tid=27160] ppid=27156 vsize=15421516 memory=12024 CPUtime=0.02 cores=1,3,5,7
/proc/27158/task/27160/stat : 27160 (java) S 27156 27156 24688 0 -1 1077944384 117 0 0 0 2 0 0 0 20 0 19 0 446268929 15791632384 95871 33554432000 4194304 4196468 140723675016960 139723959273872 139724006663893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27369472 140723675022319 140723675022490 140723675022490 140723675025359 0
[pid=27158/tid=27161] ppid=27156 vsize=15421516 memory=31076 CPUtime=0.05 cores=1,3,5,7
/proc/27158/task/27161/stat : 27161 (java) S 27156 27156 24688 0 -1 1077944384 93 0 0 0 4 1 0 0 20 0 19 0 446268929 15791632384 95871 33554432000 4194304 4196468 140723675016960 139723958221072 139724006663893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27369472 140723675022319 140723675022490 140723675022490 140723675025359 0
[pid=27158/tid=27162] ppid=27156 vsize=15421516 memory=1452 CPUtime=0.05 cores=1,3,5,7
/proc/27158/task/27162/stat : 27162 (java) S 27156 27156 24688 0 -1 1077944384 141 0 0 0 4 1 0 0 20 0 19 0 446268929 15791632384 95871 33554432000 4194304 4196468 140723675016960 139723957168784 139724006663893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27369472 140723675022319 140723675022490 140723675022490 140723675025359 0
[pid=27158/tid=27163] ppid=27156 vsize=15421516 memory=33 CPUtime=0.05 cores=1,3,5,7
/proc/27158/task/27163/stat : 27163 (java) S 27156 27156 24688 0 -1 1077944384 184 0 0 0 4 1 0 0 20 0 19 0 446268929 15791632384 95871 33554432000 4194304 4196468 140723675016960 139723956115984 139724006663893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27369472 140723675022319 140723675022490 140723675022490 140723675025359 0
[pid=27158/tid=27164] ppid=27156 vsize=15421516 memory=2465 CPUtime=0.02 cores=1,3,5,7
/proc/27158/task/27164/stat : 27164 (java) S 27156 27156 24688 0 -1 1077944384 388 0 0 0 1 1 0 0 20 0 19 0 446268930 15791632384 95871 33554432000 4194304 4196468 140723675016960 139723542403696 139724006664834 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27369472 140723675022319 140723675022490 140723675022490 140723675025359 0
[pid=27158/tid=27165] ppid=27156 vsize=15421516 memory=288230587494564173 CPUtime=0 cores=1,3,5,7
/proc/27158/task/27165/stat : 27165 (java) S 27156 27156 24688 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 19 0 446268931 15791632384 95871 33554432000 4194304 4196468 140723675016960 139722878870880 139724006663893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27369472 140723675022319 140723675022490 140723675022490 140723675025359 0
[pid=27158/tid=27166] ppid=27156 vsize=15421516 memory=3905518293989208322 CPUtime=0 cores=1,3,5,7
/proc/27158/task/27166/stat : 27166 (java) S 27156 27156 24688 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 19 0 446268931 15791632384 95871 33554432000 4194304 4196468 140723675016960 139722877818496 139724006663893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27369472 140723675022319 140723675022490 140723675022490 140723675025359 0
[pid=27158/tid=27167] ppid=27156 vsize=15421516 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27158/task/27167/stat : 27167 (java) S 27156 27156 24688 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446268933 15791632384 95871 33554432000 4194304 4196468 140723675016960 139722876766800 139724006672283 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27369472 140723675022319 140723675022490 140723675022490 140723675025359 0
[pid=27158/tid=27168] ppid=27156 vsize=15421516 memory=0 CPUtime=3.65 cores=1,3,5,7
/proc/27158/task/27168/stat : 27168 (java) S 27156 27156 24688 0 -1 1077944384 6813 0 0 0 364 1 0 0 20 0 19 0 446268933 15791632384 95871 33554432000 4194304 4196468 140723675016960 139722875713648 139724006664834 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27369472 140723675022319 140723675022490 140723675022490 140723675025359 0
[pid=27158/tid=27169] ppid=27156 vsize=15421516 memory=0 CPUtime=3.65 cores=1,3,5,7
/proc/27158/task/27169/stat : 27169 (java) R 27156 27156 24688 0 -1 4202560 6972 0 0 0 364 1 0 0 20 0 19 0 446268933 15791632384 95871 33554432000 4194304 4196468 140723675016960 139722874661144 139723991572741 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 27369472 140723675022319 140723675022490 140723675022490 140723675025359 0
[pid=27158/tid=27170] ppid=27156 vsize=15421516 memory=288230574492221466 CPUtime=1.07 cores=1,3,5,7
/proc/27158/task/27170/stat : 27170 (java) S 27156 27156 24688 0 -1 1077944384 5098 0 0 0 106 1 0 0 20 0 19 0 446268933 15791632384 95871 33554432000 4194304 4196468 140723675016960 139722873608560 139724006664834 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27369472 140723675022319 140723675022490 140723675022490 140723675025359 0
[pid=27158/tid=27171] ppid=27156 vsize=15421516 memory=288230583166042426 CPUtime=0 cores=1,3,5,7
/proc/27158/task/27171/stat : 27171 (java) S 27156 27156 24688 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446268934 15791632384 95871 33554432000 4194304 4196468 140723675016960 139722872556000 139724006663893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27369472 140723675022319 140723675022490 140723675022490 140723675025359 0
[pid=27158/tid=27172] ppid=27156 vsize=15421516 memory=15816716106074690 CPUtime=0 cores=1,3,5,7
/proc/27158/task/27172/stat : 27172 (java) S 27156 27156 24688 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 19 0 446268934 15791632384 95871 33554432000 4194304 4196468 140723675016960 139722871503792 139724006664834 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27369472 140723675022319 140723675022490 140723675022490 140723675025359 0
Current children cumulated CPU time: 23.58 s
Current children cumulated vsize: 15534644 KiB
Current children cumulated memory: 384936 KiB
Child status: 0
Real time (s): 6.66393
CPU time (s): 23.8149
CPU user time (s): 23.6024
CPU system time (s): 0.212527
CPU usage (%): 357.371
Max. virtual memory (cumulated for all children) (KiB): 15534644
Max. memory (cumulated for all children) (KiB): 385000
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 23.6024
system time used= 0.212527
maximum resident set size= 384140
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 34533
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= 3362
involuntary context switches= 933
# summary of solver processes directly reported to runsolver:
# pid: 27156
# total CPU time (s): 23.8149
# total CPU user time (s): 23.6024
# total CPU system time (s): 0.212527
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.058368 second user time and 0.1238 second system time
The end