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 (15022 MiB free)
memory of node 1: 16384 MiB (15509 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4400470-1568692086/watcher-4400470-1568692086 -o /tmp/evaluation-result-4400470-1568692086/solver-4400470-1568692086 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node103-1568691240-24304 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 1761279611 HOME/instance-4400470-1568692086.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=28668, runsolver pid=28665
Current StackSize limit: 8192 KiB
[startup+0.100105 s]*
/proc/loadavg: 8.04 8.01 7.91 8/233 28684
/proc/meminfo: memFree=31247384/32770624 swapFree=66997372/67108860
[pid=28668] ppid=28665 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/28668/stat : 28668 (xcsp3-exec) S 28665 28668 24272 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445461705 115843072 363 33554432000 4194304 5098028 140733431736432 140733431734536 139702531428988 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 8228864 140733431743354 140733431743597 140733431743597 140733431746506 0
/proc/28668/statm: 28282 363 304 221 0 87 0
[pid=28670] ppid=28668 vsize=15144776 memory=30300 CPUtime=0.13 cores=1,3,5,7
/proc/28670/stat : 28670 (java) S 28668 28668 24272 0 -1 1077944320 5494 0 0 0 12 1 0 0 20 0 15 0 445461705 15508250624 7575 33554432000 4194304 4196468 140728789490816 140728789473360 139651842645751 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34689024 140728789492719 140728789492890 140728789492890 140728789495759 0
/proc/28670/statm: 3786194 7575 3150 1 0 3748377 0
[pid=28670/tid=28671] ppid=28668 vsize=15144776 memory=7100839870104831090 CPUtime=0.09 cores=1,3,5,7
/proc/28670/task/28671/stat : 28671 (java) R 28668 28668 24272 0 -1 4202560 3384 0 0 0 8 1 0 0 20 0 15 0 445461706 15508250624 7575 33554432000 4194304 4196468 140728789490816 139651846878480 139651842667677 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34689024 140728789492719 140728789492890 140728789492890 140728789495759 0
[pid=28670/tid=28672] ppid=28668 vsize=15144776 memory=-3689451258167578675 CPUtime=0 cores=1,3,5,7
/proc/28670/task/28672/stat : 28672 (java) S 28668 28668 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445461706 15508250624 7575 33554432000 4194304 4196468 140728789490816 139651435276688 139651842655957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34689024 140728789492719 140728789492890 140728789492890 140728789495759 0
[pid=28670/tid=28673] ppid=28668 vsize=15144776 memory=139909449451136 CPUtime=0 cores=1,3,5,7
/proc/28670/task/28673/stat : 28673 (java) S 28668 28668 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445461706 15508250624 7575 33554432000 4194304 4196468 140728789490816 139651434223888 139651842655957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34689024 140728789492719 140728789492890 140728789492890 140728789495759 0
[pid=28670/tid=28674] ppid=28668 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28670/task/28674/stat : 28674 (java) S 28668 28668 24272 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445461706 15508250624 7575 33554432000 4194304 4196468 140728789490816 139651433171600 139651842655957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34689024 140728789492719 140728789492890 140728789492890 140728789495759 0
[pid=28670/tid=28675] ppid=28668 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28670/task/28675/stat : 28675 (java) S 28668 28668 24272 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445461706 15508250624 7575 33554432000 4194304 4196468 140728789490816 139651432118800 139651842655957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34689024 140728789492719 140728789492890 140728789492890 140728789495759 0
[pid=28670/tid=28676] ppid=28668 vsize=15144776 memory=139909449451136 CPUtime=0 cores=1,3,5,7
/proc/28670/task/28676/stat : 28676 (java) S 28668 28668 24272 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445461708 15508250624 7575 33554432000 4194304 4196468 140728789490816 139651311147632 139651842656898 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34689024 140728789492719 140728789492890 140728789492890 140728789495759 0
[pid=28670/tid=28677] ppid=28668 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28670/task/28677/stat : 28677 (java) S 28668 28668 24272 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445461708 15508250624 7575 33554432000 4194304 4196468 140728789490816 139651310093600 139651842655957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34689024 140728789492719 140728789492890 140728789492890 140728789495759 0
[pid=28670/tid=28678] ppid=28668 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28670/task/28678/stat : 28678 (java) S 28668 28668 24272 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445461708 15508250624 7575 33554432000 4194304 4196468 140728789490816 139651309041264 139651842655957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34689024 140728789492719 140728789492890 140728789492890 140728789495759 0
[pid=28670/tid=28679] ppid=28668 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28670/task/28679/stat : 28679 (java) S 28668 28668 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445461711 15508250624 7575 33554432000 4194304 4196468 140728789490816 139651307989584 139651842664347 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34689024 140728789492719 140728789492890 140728789492890 140728789495759 0
[pid=28670/tid=28680] ppid=28668 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28670/task/28680/stat : 28680 (java) R 28668 28668 24272 0 -1 4202560 456 0 0 0 0 0 0 0 20 0 15 0 445461711 15508250624 7575 33554432000 4194304 4196468 140728789490816 139651306936432 139651824166862 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34689024 140728789492719 140728789492890 140728789492890 140728789495759 0
[pid=28670/tid=28681] ppid=28668 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28670/task/28681/stat : 28681 (java) R 28668 28668 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445461711 15508250624 7575 33554432000 4194304 4196468 140728789490816 139651305883632 139651842656898 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34689024 140728789492719 140728789492890 140728789492890 140728789495759 0
[pid=28670/tid=28682] ppid=28668 vsize=15144776 memory=139909449451136 CPUtime=0.02 cores=1,3,5,7
/proc/28670/task/28682/stat : 28682 (java) R 28668 28668 24272 0 -1 4202560 362 0 0 0 2 0 0 0 20 0 15 0 445461711 15508250624 7575 33554432000 4194304 4196468 140728789490816 139651304828880 139651822126401 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34689024 140728789492719 140728789492890 140728789492890 140728789495759 0
[pid=28670/tid=28683] ppid=28668 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28670/task/28683/stat : 28683 (java) S 28668 28668 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445461711 15508250624 7575 33554432000 4194304 4196468 140728789490816 139651303778784 139651842655957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34689024 140728789492719 140728789492890 140728789492890 140728789495759 0
[pid=28670/tid=28684] ppid=28668 vsize=15144776 memory=139909449451136 CPUtime=0 cores=1,3,5,7
/proc/28670/task/28684/stat : 28684 (java) S 28668 28668 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445461711 15508250624 7575 33554432000 4194304 4196468 140728789490816 139651302726576 139651842656898 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34689024 140728789492719 140728789492890 140728789492890 140728789495759 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 31752 KiB
[startup+0.210735 s]*
/proc/loadavg: 8.04 8.01 7.91 7/233 28684
/proc/meminfo: memFree=31222008/32770624 swapFree=66997372/67108860
[pid=28668] ppid=28665 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/28668/stat : 28668 (xcsp3-exec) S 28665 28668 24272 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445461705 115843072 363 33554432000 4194304 5098028 140733431736432 140733431734536 139702531428988 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 8228864 140733431743354 140733431743597 140733431743597 140733431746506 0
/proc/28668/statm: 28282 363 304 221 0 87 0
[pid=28670] ppid=28668 vsize=15144776 memory=41376 CPUtime=0.34 cores=1,3,5,7
/proc/28670/stat : 28670 (java) S 28668 28668 24272 0 -1 1077944320 9027 0 0 0 31 3 0 0 20 0 15 0 445461705 15508250624 10344 33554432000 4194304 4196468 140728789490816 140728789473360 139651842645751 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34689024 140728789492719 140728789492890 140728789492890 140728789495759 0
/proc/28670/statm: 3786194 10344 3290 1 0 3748377 0
[pid=28670/tid=28671] ppid=28668 vsize=15144776 memory=7883960649037381690 CPUtime=0.19 cores=1,3,5,7
/proc/28670/task/28671/stat : 28671 (java) R 28668 28668 24272 0 -1 4202560 6198 0 0 0 17 2 0 0 20 0 15 0 445461706 15508250624 10344 33554432000 4194304 4196468 140728789490816 139651846875472 139651835323765 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34689024 140728789492719 140728789492890 140728789492890 140728789495759 0
[pid=28670/tid=28672] ppid=28668 vsize=15144776 memory=9100 CPUtime=0 cores=1,3,5,7
/proc/28670/task/28672/stat : 28672 (java) S 28668 28668 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445461706 15508250624 10344 33554432000 4194304 4196468 140728789490816 139651435276688 139651842655957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34689024 140728789492719 140728789492890 140728789492890 140728789495759 0
[pid=28670/tid=28673] ppid=28668 vsize=15144776 memory=288370285601162880 CPUtime=0 cores=1,3,5,7
/proc/28670/task/28673/stat : 28673 (java) S 28668 28668 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445461706 15508250624 10344 33554432000 4194304 4196468 140728789490816 139651434223888 139651842655957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34689024 140728789492719 140728789492890 140728789492890 140728789495759 0
[pid=28670/tid=28674] ppid=28668 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28670/task/28674/stat : 28674 (java) S 28668 28668 24272 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445461706 15508250624 10344 33554432000 4194304 4196468 140728789490816 139651433171600 139651842655957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34689024 140728789492719 140728789492890 140728789492890 140728789495759 0
[pid=28670/tid=28675] ppid=28668 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28670/task/28675/stat : 28675 (java) S 28668 28668 24272 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445461706 15508250624 10344 33554432000 4194304 4196468 140728789490816 139651432118800 139651842655957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34689024 140728789492719 140728789492890 140728789492890 140728789495759 0
[pid=28670/tid=28676] ppid=28668 vsize=15144776 memory=139909449451136 CPUtime=0 cores=1,3,5,7
/proc/28670/task/28676/stat : 28676 (java) S 28668 28668 24272 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445461708 15508250624 10344 33554432000 4194304 4196468 140728789490816 139651311147632 139651842656898 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34689024 140728789492719 140728789492890 140728789492890 140728789495759 0
[pid=28670/tid=28677] ppid=28668 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28670/task/28677/stat : 28677 (java) S 28668 28668 24272 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445461708 15508250624 10344 33554432000 4194304 4196468 140728789490816 139651310093600 139651842655957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34689024 140728789492719 140728789492890 140728789492890 140728789495759 0
[pid=28670/tid=28678] ppid=28668 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28670/task/28678/stat : 28678 (java) S 28668 28668 24272 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445461708 15508250624 10344 33554432000 4194304 4196468 140728789490816 139651309041264 139651842655957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34689024 140728789492719 140728789492890 140728789492890 140728789495759 0
[pid=28670/tid=28679] ppid=28668 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28670/task/28679/stat : 28679 (java) S 28668 28668 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445461711 15508250624 10344 33554432000 4194304 4196468 140728789490816 139651307989584 139651842664347 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34689024 140728789492719 140728789492890 140728789492890 140728789495759 0
[pid=28670/tid=28680] ppid=28668 vsize=15144776 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/28670/task/28680/stat : 28680 (java) S 28668 28668 24272 0 -1 1077944384 705 0 0 0 3 0 0 0 20 0 15 0 445461711 15508250624 10344 33554432000 4194304 4196468 140728789490816 139651306936432 139651842656898 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34689024 140728789492719 140728789492890 140728789492890 140728789495759 0
[pid=28670/tid=28681] ppid=28668 vsize=15144776 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/28670/task/28681/stat : 28681 (java) S 28668 28668 24272 0 -1 1077944384 73 0 0 0 2 0 0 0 20 0 15 0 445461711 15508250624 10344 33554432000 4194304 4196468 140728789490816 139651305883632 139651842656898 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34689024 140728789492719 140728789492890 140728789492890 140728789495759 0
[pid=28670/tid=28682] ppid=28668 vsize=15144776 memory=139909449451136 CPUtime=0.08 cores=1,3,5,7
/proc/28670/task/28682/stat : 28682 (java) S 28668 28668 24272 0 -1 1077944384 742 0 0 0 8 0 0 0 20 0 15 0 445461711 15508250624 10344 33554432000 4194304 4196468 140728789490816 139651304831344 139651842656898 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34689024 140728789492719 140728789492890 140728789492890 140728789495759 0
[pid=28670/tid=28683] ppid=28668 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28670/task/28683/stat : 28683 (java) S 28668 28668 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445461711 15508250624 10344 33554432000 4194304 4196468 140728789490816 139651303778784 139651842655957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34689024 140728789492719 140728789492890 140728789492890 140728789495759 0
[pid=28670/tid=28684] ppid=28668 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28670/task/28684/stat : 28684 (java) S 28668 28668 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445461711 15508250624 10344 33554432000 4194304 4196468 140728789490816 139651302726576 139651842656898 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34689024 140728789492719 140728789492890 140728789492890 140728789495759 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42828 KiB
[startup+0.768508 s]*
/proc/loadavg: 8.04 8.01 7.91 3/212 28684
/proc/meminfo: memFree=31403164/32770624 swapFree=66997372/67108860
[pid=28668] ppid=28665 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/28668/stat : 28668 (xcsp3-exec) S 28665 28668 24272 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445461705 115843072 363 33554432000 4194304 5098028 140733431736432 140733431734536 139702531428988 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 8228864 140733431743354 140733431743597 140733431743597 140733431746506 0
/proc/28668/statm: 28282 363 304 221 0 87 0
[pid=28670] ppid=28668 vsize=15151156 memory=98700 CPUtime=2.01 cores=1,3,5,7
/proc/28670/stat : 28670 (java) S 28668 28668 24272 0 -1 1077944320 14796 0 0 0 195 6 0 0 20 0 15 0 445461705 15514783744 24675 33554432000 4194304 4196468 140728789490816 140728789473360 139651842645751 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34689024 140728789492719 140728789492890 140728789492890 140728789495759 0
/proc/28670/statm: 3787789 24675 3452 1 0 3748889 0
[pid=28670/tid=28671] ppid=28668 vsize=15151156 memory=7156329090724226156 CPUtime=0.75 cores=1,3,5,7
/proc/28670/task/28671/stat : 28671 (java) R 28668 28668 24272 0 -1 4202560 8627 0 0 0 71 4 0 0 20 0 15 0 445461706 15514783744 24675 33554432000 4194304 4196468 140728789490816 139651846882928 139651484062407 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34689024 140728789492719 140728789492890 140728789492890 140728789495759 0
[pid=28670/tid=28672] ppid=28668 vsize=15151156 memory=3467832397208231983 CPUtime=0 cores=1,3,5,7
/proc/28670/task/28672/stat : 28672 (java) S 28668 28668 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445461706 15514783744 24675 33554432000 4194304 4196468 140728789490816 139651435276688 139651842655957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34689024 140728789492719 140728789492890 140728789492890 140728789495759 0
[pid=28670/tid=28673] ppid=28668 vsize=15151156 memory=3540024412029730227 CPUtime=0 cores=1,3,5,7
/proc/28670/task/28673/stat : 28673 (java) S 28668 28668 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445461706 15514783744 24675 33554432000 4194304 4196468 140728789490816 139651434223888 139651842655957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34689024 140728789492719 140728789492890 140728789492890 140728789495759 0
[pid=28670/tid=28674] ppid=28668 vsize=15151156 memory=7236277862652138064 CPUtime=0 cores=1,3,5,7
/proc/28670/task/28674/stat : 28674 (java) S 28668 28668 24272 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445461706 15514783744 24675 33554432000 4194304 4196468 140728789490816 139651433171600 139651842655957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34689024 140728789492719 140728789492890 140728789492890 140728789495759 0
[pid=28670/tid=28675] ppid=28668 vsize=15151156 memory=4026532047 CPUtime=0 cores=1,3,5,7
/proc/28670/task/28675/stat : 28675 (java) S 28668 28668 24272 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445461706 15514783744 24675 33554432000 4194304 4196468 140728789490816 139651432118800 139651842655957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34689024 140728789492719 140728789492890 140728789492890 140728789495759 0
[pid=28670/tid=28676] ppid=28668 vsize=15151156 memory=9379 CPUtime=0 cores=1,3,5,7
/proc/28670/task/28676/stat : 28676 (java) S 28668 28668 24272 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445461708 15514783744 24675 33554432000 4194304 4196468 140728789490816 139651311147632 139651842656898 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34689024 140728789492719 140728789492890 140728789492890 140728789495759 0
[pid=28670/tid=28677] ppid=28668 vsize=15151156 memory=288230376154967162 CPUtime=0 cores=1,3,5,7
/proc/28670/task/28677/stat : 28677 (java) S 28668 28668 24272 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445461708 15514783744 24675 33554432000 4194304 4196468 140728789490816 139651310093600 139651842655957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34689024 140728789492719 140728789492890 140728789492890 140728789495759 0
[pid=28670/tid=28678] ppid=28668 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28670/task/28678/stat : 28678 (java) S 28668 28668 24272 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445461708 15514783744 24675 33554432000 4194304 4196468 140728789490816 139651309041264 139651842655957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34689024 140728789492719 140728789492890 140728789492890 140728789495759 0
[pid=28670/tid=28679] ppid=28668 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28670/task/28679/stat : 28679 (java) S 28668 28668 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445461711 15514783744 24675 33554432000 4194304 4196468 140728789490816 139651307989584 139651842664347 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34689024 140728789492719 140728789492890 140728789492890 140728789495759 0
[pid=28670/tid=28680] ppid=28668 vsize=15151156 memory=0 CPUtime=0.39 cores=1,3,5,7
/proc/28670/task/28680/stat : 28680 (java) R 28668 28668 24272 0 -1 1077944384 1638 0 0 0 39 0 0 0 20 0 15 0 445461711 15514783744 24675 33554432000 4194304 4196468 140728789490816 139651306936528 139651842655957 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34689024 140728789492719 140728789492890 140728789492890 140728789495759 0
[pid=28670/tid=28681] ppid=28668 vsize=15151156 memory=0 CPUtime=0.38 cores=1,3,5,7
/proc/28670/task/28681/stat : 28681 (java) R 28668 28668 24272 0 -1 4202560 1128 0 0 0 38 0 0 0 20 0 15 0 445461711 15514783744 24675 33554432000 4194304 4196468 140728789490816 139651305873232 139651828797422 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34689024 140728789492719 140728789492890 140728789492890 140728789495759 0
[pid=28670/tid=28682] ppid=28668 vsize=15151156 memory=0 CPUtime=0.45 cores=1,3,5,7
/proc/28670/task/28682/stat : 28682 (java) R 28668 28668 24272 0 -1 4202560 2094 0 0 0 45 0 0 0 20 0 15 0 445461711 15514783744 24675 33554432000 4194304 4196468 140728789490816 139651304831344 139651821313434 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34689024 140728789492719 140728789492890 140728789492890 140728789495759 0
[pid=28670/tid=28683] ppid=28668 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28670/task/28683/stat : 28683 (java) S 28668 28668 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445461711 15514783744 24675 33554432000 4194304 4196468 140728789490816 139651303778784 139651842655957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34689024 140728789492719 140728789492890 140728789492890 140728789495759 0
[pid=28670/tid=28684] ppid=28668 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28670/task/28684/stat : 28684 (java) S 28668 28668 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445461711 15514783744 24675 33554432000 4194304 4196468 140728789490816 139651302726576 139651842656898 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34689024 140728789492719 140728789492890 140728789492890 140728789495759 0
Current children cumulated CPU time: 2.01 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 100152 KiB
[startup+0.810399 s]*
/proc/loadavg: 8.04 8.01 7.91 5/209 28692
/proc/meminfo: memFree=31392236/32770624 swapFree=66997372/67108860
[pid=28668] ppid=28665 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/28668/stat : 28668 (xcsp3-exec) S 28665 28668 24272 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445461705 115843072 363 33554432000 4194304 5098028 140733431736432 140733431734536 139702531428988 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 8228864 140733431743354 140733431743597 140733431743597 140733431746506 0
/proc/28668/statm: 28282 363 304 221 0 87 0
[pid=28670] ppid=28668 vsize=15151156 memory=111720 CPUtime=2.15 cores=1,3,5,7
/proc/28670/stat : 28670 (java) S 28668 28668 24272 0 -1 1077944320 14962 0 0 0 209 6 0 0 20 0 15 0 445461705 15514783744 27930 33554432000 4194304 4196468 140728789490816 140728789473360 139651842645751 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34689024 140728789492719 140728789492890 140728789492890 140728789495759 0
/proc/28670/statm: 3787789 27930 3452 1 0 3748889 0
[pid=28670/tid=28671] ppid=28668 vsize=15151156 memory=8390339637985935414 CPUtime=0.79 cores=1,3,5,7
/proc/28670/task/28671/stat : 28671 (java) R 28668 28668 24272 0 -1 4202560 8636 0 0 0 75 4 0 0 20 0 15 0 445461706 15514783744 27930 33554432000 4194304 4196468 140728789490816 139651846880592 139651484785767 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34689024 140728789492719 140728789492890 140728789492890 140728789495759 0
[pid=28670/tid=28672] ppid=28668 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28670/task/28672/stat : 28672 (java) S 28668 28668 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445461706 15514783744 27930 33554432000 4194304 4196468 140728789490816 139651435276688 139651842655957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34689024 140728789492719 140728789492890 140728789492890 140728789495759 0
[pid=28670/tid=28673] ppid=28668 vsize=15151156 memory=288370285601162880 CPUtime=0 cores=1,3,5,7
/proc/28670/task/28673/stat : 28673 (java) S 28668 28668 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445461706 15514783744 27930 33554432000 4194304 4196468 140728789490816 139651434223888 139651842655957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34689024 140728789492719 140728789492890 140728789492890 140728789495759 0
[pid=28670/tid=28674] ppid=28668 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28670/task/28674/stat : 28674 (java) S 28668 28668 24272 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445461706 15514783744 27930 33554432000 4194304 4196468 140728789490816 139651433171600 139651842655957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34689024 140728789492719 140728789492890 140728789492890 140728789495759 0
[pid=28670/tid=28675] ppid=28668 vsize=15151156 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28670/task/28675/stat : 28675 (java) S 28668 28668 24272 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445461706 15514783744 27930 33554432000 4194304 4196468 140728789490816 139651432118800 139651842655957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34689024 140728789492719 140728789492890 140728789492890 140728789495759 0
[pid=28670/tid=28676] ppid=28668 vsize=15151156 memory=139909449451136 CPUtime=0 cores=1,3,5,7
/proc/28670/task/28676/stat : 28676 (java) S 28668 28668 24272 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445461708 15514783744 27930 33554432000 4194304 4196468 140728789490816 139651311147632 139651842656898 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34689024 140728789492719 140728789492890 140728789492890 140728789495759 0
[pid=28670/tid=28677] ppid=28668 vsize=15151156 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28670/task/28677/stat : 28677 (java) S 28668 28668 24272 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445461708 15514783744 27930 33554432000 4194304 4196468 140728789490816 139651310093600 139651842655957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34689024 140728789492719 140728789492890 140728789492890 140728789495759 0
[pid=28670/tid=28678] ppid=28668 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28670/task/28678/stat : 28678 (java) S 28668 28668 24272 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445461708 15514783744 28442 33554432000 4194304 4196468 140728789490816 139651309041264 139651842655957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34689024 140728789492719 140728789492890 140728789492890 140728789495759 0
[pid=28670/tid=28679] ppid=28668 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28670/task/28679/stat : 28679 (java) S 28668 28668 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445461711 15514783744 28442 33554432000 4194304 4196468 140728789490816 139651307989584 139651842664347 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34689024 140728789492719 140728789492890 140728789492890 140728789495759 0
[pid=28670/tid=28680] ppid=28668 vsize=15151156 memory=0 CPUtime=0.43 cores=1,3,5,7
/proc/28670/task/28680/stat : 28680 (java) R 28668 28668 24272 0 -1 4202560 1731 0 0 0 43 0 0 0 20 0 15 0 445461711 15514783744 28442 33554432000 4194304 4196468 140728789490816 139651306917448 139651826142480 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34689024 140728789492719 140728789492890 140728789492890 140728789495759 0
[pid=28670/tid=28681] ppid=28668 vsize=15151156 memory=-1 CPUtime=0.42 cores=1,3,5,7
/proc/28670/task/28681/stat : 28681 (java) R 28668 28668 24272 0 -1 4202560 1142 0 0 0 42 0 0 0 20 0 15 0 445461711 15514783744 28442 33554432000 4194304 4196468 140728789490816 139651305870064 139651827567533 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34689024 140728789492719 140728789492890 140728789492890 140728789495759 0
[pid=28670/tid=28682] ppid=28668 vsize=15151156 memory=139909449451136 CPUtime=0.47 cores=1,3,5,7
/proc/28670/task/28682/stat : 28682 (java) S 28668 28668 24272 0 -1 1077944384 2144 0 0 0 47 0 0 0 20 0 15 0 445461711 15514783744 28442 33554432000 4194304 4196468 140728789490816 139651304831344 139651842656898 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34689024 140728789492719 140728789492890 140728789492890 140728789495759 0
[pid=28670/tid=28683] ppid=28668 vsize=15151156 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28670/task/28683/stat : 28683 (java) S 28668 28668 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445461711 15514783744 28442 33554432000 4194304 4196468 140728789490816 139651303778784 139651842655957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34689024 140728789492719 140728789492890 140728789492890 140728789495759 0
[pid=28670/tid=28684] ppid=28668 vsize=15151156 memory=139909449451136 CPUtime=0 cores=1,3,5,7
/proc/28670/task/28684/stat : 28684 (java) R 28668 28668 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445461711 15514783744 28442 33554432000 4194304 4196468 140728789490816 139651302726576 139651842656898 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34689024 140728789492719 140728789492890 140728789492890 140728789495759 0
Current children cumulated CPU time: 2.15 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 113172 KiB
[startup+1.51049 s]
/proc/loadavg: 8.04 8.01 7.91 11/230 28716
/proc/meminfo: memFree=31202752/32770624 swapFree=66997372/67108860
[pid=28668] ppid=28665 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/28668/stat : 28668 (xcsp3-exec) S 28665 28668 24272 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445461705 115843072 363 33554432000 4194304 5098028 140733431736432 140733431734536 139702531428988 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 8228864 140733431743354 140733431743597 140733431743597 140733431746506 0
/proc/28668/statm: 28282 363 304 221 0 87 0
[pid=28670] ppid=28668 vsize=15151156 memory=298116 CPUtime=4.25 cores=1,3,5,7
/proc/28670/stat : 28670 (java) S 28668 28668 24272 0 -1 1077944320 24639 0 0 0 407 18 0 0 20 0 15 0 445461705 15514783744 74529 33554432000 4194304 4196468 140728789490816 140728789473360 139651842645751 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34689024 140728789492719 140728789492890 140728789492890 140728789495759 0
/proc/28670/statm: 3787789 74529 3497 1 0 3748889 0
[pid=28670/tid=28671] ppid=28668 vsize=15151156 memory=2828 CPUtime=1.39 cores=1,3,5,7
/proc/28670/task/28671/stat : 28671 (java) R 28668 28668 24272 0 -1 4202560 10835 0 0 0 133 6 0 0 20 0 15 0 445461706 15514783744 74529 33554432000 4194304 4196468 140728789490816 139651846883104 139651824208353 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34689024 140728789492719 140728789492890 140728789492890 140728789495759 0
[pid=28670/tid=28672] ppid=28668 vsize=15151156 memory=676 CPUtime=0.06 cores=1,3,5,7
/proc/28670/task/28672/stat : 28672 (java) S 28668 28668 24272 0 -1 1077944384 189 0 0 0 4 2 0 0 20 0 15 0 445461706 15514783744 74529 33554432000 4194304 4196468 140728789490816 139651435276688 139651842655957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34689024 140728789492719 140728789492890 140728789492890 140728789495759 0
[pid=28670/tid=28673] ppid=28668 vsize=15151156 memory=1060 CPUtime=0.08 cores=1,3,5,7
/proc/28670/task/28673/stat : 28673 (java) S 28668 28668 24272 0 -1 1077944384 327 0 0 0 6 2 0 0 20 0 15 0 445461706 15514783744 74529 33554432000 4194304 4196468 140728789490816 139651434223888 139651842655957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34689024 140728789492719 140728789492890 140728789492890 140728789495759 0
[pid=28670/tid=28674] ppid=28668 vsize=15151156 memory=297290062 CPUtime=0.05 cores=1,3,5,7
/proc/28670/task/28674/stat : 28674 (java) S 28668 28668 24272 0 -1 1077944384 83 0 0 0 4 1 0 0 20 0 15 0 445461706 15514783744 74529 33554432000 4194304 4196468 140728789490816 139651433171600 139651842655957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34689024 140728789492719 140728789492890 140728789492890 140728789495759 0
[pid=28670/tid=28675] ppid=28668 vsize=15151156 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/28670/task/28675/stat : 28675 (java) S 28668 28668 24272 0 -1 1077944384 483 0 0 0 6 2 0 0 20 0 15 0 445461706 15514783744 74529 33554432000 4194304 4196468 140728789490816 139651432118800 139651842655957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34689024 140728789492719 140728789492890 140728789492890 140728789495759 0
[pid=28670/tid=28676] ppid=28668 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28670/task/28676/stat : 28676 (java) S 28668 28668 24272 0 -1 1077944384 233 0 0 0 0 0 0 0 20 0 15 0 445461708 15514783744 74529 33554432000 4194304 4196468 140728789490816 139651311147632 139651842656898 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34689024 140728789492719 140728789492890 140728789492890 140728789495759 0
[pid=28670/tid=28677] ppid=28668 vsize=15151156 memory=288230377007612190 CPUtime=0 cores=1,3,5,7
/proc/28670/task/28677/stat : 28677 (java) S 28668 28668 24272 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 445461708 15514783744 74529 33554432000 4194304 4196468 140728789490816 139651310093664 139651842655957 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34689024 140728789492719 140728789492890 140728789492890 140728789495759 0
[pid=28670/tid=28678] ppid=28668 vsize=15151156 memory=15259237940987404 CPUtime=0 cores=1,3,5,7
/proc/28670/task/28678/stat : 28678 (java) S 28668 28668 24272 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 445461708 15514783744 74529 33554432000 4194304 4196468 140728789490816 139651309041264 139651842655957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34689024 140728789492719 140728789492890 140728789492890 140728789495759 0
[pid=28670/tid=28679] ppid=28668 vsize=15151156 memory=3809 CPUtime=0 cores=1,3,5,7
/proc/28670/task/28679/stat : 28679 (java) S 28668 28668 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445461711 15514783744 74529 33554432000 4194304 4196468 140728789490816 139651307989584 139651842664347 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34689024 140728789492719 140728789492890 140728789492890 140728789495759 0
[pid=28670/tid=28680] ppid=28668 vsize=15151156 memory=288230574492221466 CPUtime=1.01 cores=1,3,5,7
/proc/28670/task/28680/stat : 28680 (java) R 28668 28668 24272 0 -1 4202560 4101 0 0 0 101 0 0 0 20 0 15 0 445461711 15514783744 74529 33554432000 4194304 4196468 140728789490816 139651306922456 139651821892512 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34689024 140728789492719 140728789492890 140728789492890 140728789495759 0
[pid=28670/tid=28681] ppid=28668 vsize=15151156 memory=288230596050944315 CPUtime=0.92 cores=1,3,5,7
/proc/28670/task/28681/stat : 28681 (java) S 28668 28668 24272 0 -1 1077944384 3302 0 0 0 91 1 0 0 20 0 15 0 445461711 15514783744 74529 33554432000 4194304 4196468 140728789490816 139651305883632 139651842656898 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34689024 140728789492719 140728789492890 140728789492890 140728789495759 0
[pid=28670/tid=28682] ppid=28668 vsize=15151156 memory=14410423571057304 CPUtime=0.59 cores=1,3,5,7
/proc/28670/task/28682/stat : 28682 (java) S 28668 28668 24272 0 -1 1077944384 3737 0 0 0 59 0 0 0 20 0 15 0 445461711 15514783744 74529 33554432000 4194304 4196468 140728789490816 139651304831344 139651842656898 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34689024 140728789492719 140728789492890 140728789492890 140728789495759 0
[pid=28670/tid=28683] ppid=28668 vsize=15151156 memory=8560 CPUtime=0 cores=1,3,5,7
/proc/28670/task/28683/stat : 28683 (java) S 28668 28668 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445461711 15514783744 74529 33554432000 4194304 4196468 140728789490816 139651303778784 139651842655957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34689024 140728789492719 140728789492890 140728789492890 140728789495759 0
[pid=28670/tid=28684] ppid=28668 vsize=15151156 memory=1668 CPUtime=0 cores=1,3,5,7
/proc/28670/task/28684/stat : 28684 (java) S 28668 28668 24272 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 445461711 15514783744 74529 33554432000 4194304 4196468 140728789490816 139651302726576 139651842656898 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34689024 140728789492719 140728789492890 140728789492890 140728789495759 0
Current children cumulated CPU time: 4.25 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 299568 KiB
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+2.51105 s]
/proc/loadavg: 8.04 8.01 7.91 12/233 28867
/proc/meminfo: memFree=30933768/32770624 swapFree=66997372/67108860
[pid=28668] ppid=28665 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/28668/stat : 28668 (xcsp3-exec) S 28665 28668 24272 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445461705 115843072 363 33554432000 4194304 5098028 140733431736432 140733431734536 139702531428988 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 8228864 140733431743354 140733431743597 140733431743597 140733431746506 0
/proc/28668/statm: 28282 363 304 221 0 87 0
[pid=28670] ppid=28668 vsize=15820900 memory=507148 CPUtime=7.47 cores=1,3,5,7
/proc/28670/stat : 28670 (java) S 28668 28668 24272 0 -1 1077944320 29542 0 0 0 715 32 0 0 20 0 19 0 445461705 16200601600 126787 33554432000 4194304 4196468 140728789490816 140728789473360 139651842645751 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34689024 140728789492719 140728789492890 140728789492890 140728789495759 0
/proc/28670/statm: 3955225 126787 3510 1 0 3916325 0
[pid=28670/tid=28671] ppid=28668 vsize=15820900 memory=298684 CPUtime=1.8 cores=1,3,5,7
/proc/28670/task/28671/stat : 28671 (java) R 28668 28668 24272 0 -1 4202560 11020 0 0 0 173 7 0 0 20 0 19 0 445461706 16200601600 126787 33554432000 4194304 4196468 140728789490816 139651846886528 139651842667581 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34689024 140728789492719 140728789492890 140728789492890 140728789495759 0
[pid=28670/tid=28672] ppid=28668 vsize=15820900 memory=0 CPUtime=0.15 cores=1,3,5,7
/proc/28670/task/28672/stat : 28672 (java) S 28668 28668 24272 0 -1 1077944384 267 0 0 0 11 4 0 0 20 0 19 0 445461706 16200601600 126787 33554432000 4194304 4196468 140728789490816 139651435276688 139651842655957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34689024 140728789492719 140728789492890 140728789492890 140728789495759 0
[pid=28670/tid=28673] ppid=28668 vsize=15820900 memory=0 CPUtime=0.17 cores=1,3,5,7
/proc/28670/task/28673/stat : 28673 (java) S 28668 28668 24272 0 -1 1077944384 468 0 0 0 12 5 0 0 20 0 19 0 445461706 16200601600 126787 33554432000 4194304 4196468 140728789490816 139651434223888 139651842655957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34689024 140728789492719 140728789492890 140728789492890 140728789495759 0
[pid=28670/tid=28674] ppid=28668 vsize=15820900 memory=495892 CPUtime=0.14 cores=1,3,5,7
/proc/28670/task/28674/stat : 28674 (java) S 28668 28668 24272 0 -1 1077944384 157 0 0 0 10 4 0 0 20 0 19 0 445461706 16200601600 126787 33554432000 4194304 4196468 140728789490816 139651433171600 139651842655957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34689024 140728789492719 140728789492890 140728789492890 140728789495759 0
[pid=28670/tid=28675] ppid=28668 vsize=15820900 memory=676 CPUtime=0.17 cores=1,3,5,7
/proc/28670/task/28675/stat : 28675 (java) S 28668 28668 24272 0 -1 1077944384 553 0 0 0 13 4 0 0 20 0 20 0 445461706 16200601600 126787 33554432000 4194304 4196468 140728789490816 139651432118800 139651842655957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34689024 140728789492719 140728789492890 140728789492890 140728789495759 0
[pid=28670/tid=28676] ppid=28668 vsize=15820900 memory=1060 CPUtime=0 cores=1,3,5,7
/proc/28670/task/28676/stat : 28676 (java) S 28668 28668 24272 0 -1 1077944384 384 0 0 0 0 0 0 0 20 0 20 0 445461708 16200601600 126787 33554432000 4194304 4196468 140728789490816 139651311147632 139651842656898 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34689024 140728789492719 140728789492890 140728789492890 140728789495759 0
[pid=28670/tid=28677] ppid=28668 vsize=15820900 memory=1548 CPUtime=0 cores=1,3,5,7
/proc/28670/task/28677/stat : 28677 (java) S 28668 28668 24272 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 20 0 445461708 16200601600 126787 33554432000 4194304 4196468 140728789490816 139651310093664 139651842655957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34689024 140728789492719 140728789492890 140728789492890 140728789495759 0
[pid=28670/tid=28678] ppid=28668 vsize=15820900 memory=8560 CPUtime=0 cores=1,3,5,7
/proc/28670/task/28678/stat : 28678 (java) S 28668 28668 24272 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 20 0 445461708 16200601600 126787 33554432000 4194304 4196468 140728789490816 139651309041264 139651842655957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34689024 140728789492719 140728789492890 140728789492890 140728789495759 0
[pid=28670/tid=28679] ppid=28668 vsize=15820900 memory=7091008208638077014 CPUtime=0 cores=1,3,5,7
/proc/28670/task/28679/stat : 28679 (java) S 28668 28668 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 445461711 16200601600 126787 33554432000 4194304 4196468 140728789490816 139651307989584 139651842664347 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34689024 140728789492719 140728789492890 140728789492890 140728789495759 0
[pid=28670/tid=28680] ppid=28668 vsize=15820900 memory=7884224471435407721 CPUtime=1.75 cores=1,3,5,7
/proc/28670/task/28680/stat : 28680 (java) R 28668 28668 24272 0 -1 4202560 4394 0 0 0 175 0 0 0 20 0 20 0 445461711 16200601600 126787 33554432000 4194304 4196468 140728789490816 139651306924992 139651822499312 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34689024 140728789492719 140728789492890 140728789492890 140728789495759 0
[pid=28670/tid=28681] ppid=28668 vsize=15820900 memory=8242538745273215849 CPUtime=1.56 cores=1,3,5,7
/proc/28670/task/28681/stat : 28681 (java) R 28668 28668 24272 0 -1 4202560 3533 0 0 0 155 1 0 0 20 0 20 0 445461711 16200601600 126787 33554432000 4194304 4196468 140728789490816 139651305883632 139651828677632 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34689024 140728789492719 140728789492890 140728789492890 140728789495759 0
[pid=28670/tid=28682] ppid=28668 vsize=15820900 memory=4639074098508484693 CPUtime=0.79 cores=1,3,5,7
/proc/28670/task/28682/stat : 28682 (java) R 28668 28668 24272 0 -1 4202560 4244 0 0 0 78 1 0 0 20 0 20 0 445461711 16200601600 126787 33554432000 4194304 4196468 140728789490816 139651304831344 139651842667098 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34689024 140728789492719 140728789492890 140728789492890 140728789495759 0
[pid=28670/tid=28683] ppid=28668 vsize=15820900 memory=7595717052496048490 CPUtime=0 cores=1,3,5,7
/proc/28670/task/28683/stat : 28683 (java) S 28668 28668 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 445461711 16200601600 126787 33554432000 4194304 4196468 140728789490816 139651303778784 139651842655957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34689024 140728789492719 140728789492890 140728789492890 140728789495759 0
[pid=28670/tid=28684] ppid=28668 vsize=15820900 memory=7667775737756673905 CPUtime=0 cores=1,3,5,7
/proc/28670/task/28684/stat : 28684 (java) S 28668 28668 24272 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 20 0 445461711 16200601600 126787 33554432000 4194304 4196468 140728789490816 139651302726576 139651842656898 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34689024 140728789492719 140728789492890 140728789492890 140728789495759 0
Current children cumulated CPU time: 7.47 s
Current children cumulated vsize: 15934028 KiB
Current children cumulated memory: 508600 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2.52913 s]
# the end of solver process 28668 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.002404 s, system=0 s
[startup+2.56384 s]
# the end of solver process 28670 was just reported to runsolver
# cumulated CPU time of all completed processes: user=7.26602 s, system=0.349299 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2.51105 s]
/proc/loadavg: 8.04 8.01 7.91 12/233 28867
/proc/meminfo: memFree=30933768/32770624 swapFree=66997372/67108860
[pid=28668] ppid=28665 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/28668/stat : 28668 (xcsp3-exec) S 28665 28668 24272 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445461705 115843072 363 33554432000 4194304 5098028 140733431736432 140733431734536 139702531428988 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 8228864 140733431743354 140733431743597 140733431743597 140733431746506 0
/proc/28668/statm: 28282 363 304 221 0 87 0
[pid=28670] ppid=28668 vsize=15820900 memory=507148 CPUtime=7.47 cores=1,3,5,7
/proc/28670/stat : 28670 (java) S 28668 28668 24272 0 -1 1077944320 29542 0 0 0 715 32 0 0 20 0 19 0 445461705 16200601600 126787 33554432000 4194304 4196468 140728789490816 140728789473360 139651842645751 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34689024 140728789492719 140728789492890 140728789492890 140728789495759 0
/proc/28670/statm: 3955225 126787 3510 1 0 3916325 0
[pid=28670/tid=28671] ppid=28668 vsize=15820900 memory=298684 CPUtime=1.8 cores=1,3,5,7
/proc/28670/task/28671/stat : 28671 (java) R 28668 28668 24272 0 -1 4202560 11020 0 0 0 173 7 0 0 20 0 19 0 445461706 16200601600 126787 33554432000 4194304 4196468 140728789490816 139651846886528 139651842667581 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34689024 140728789492719 140728789492890 140728789492890 140728789495759 0
[pid=28670/tid=28672] ppid=28668 vsize=15820900 memory=0 CPUtime=0.15 cores=1,3,5,7
/proc/28670/task/28672/stat : 28672 (java) S 28668 28668 24272 0 -1 1077944384 267 0 0 0 11 4 0 0 20 0 19 0 445461706 16200601600 126787 33554432000 4194304 4196468 140728789490816 139651435276688 139651842655957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34689024 140728789492719 140728789492890 140728789492890 140728789495759 0
[pid=28670/tid=28673] ppid=28668 vsize=15820900 memory=0 CPUtime=0.17 cores=1,3,5,7
/proc/28670/task/28673/stat : 28673 (java) S 28668 28668 24272 0 -1 1077944384 468 0 0 0 12 5 0 0 20 0 19 0 445461706 16200601600 126787 33554432000 4194304 4196468 140728789490816 139651434223888 139651842655957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34689024 140728789492719 140728789492890 140728789492890 140728789495759 0
[pid=28670/tid=28674] ppid=28668 vsize=15820900 memory=495892 CPUtime=0.14 cores=1,3,5,7
/proc/28670/task/28674/stat : 28674 (java) S 28668 28668 24272 0 -1 1077944384 157 0 0 0 10 4 0 0 20 0 19 0 445461706 16200601600 126787 33554432000 4194304 4196468 140728789490816 139651433171600 139651842655957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34689024 140728789492719 140728789492890 140728789492890 140728789495759 0
[pid=28670/tid=28675] ppid=28668 vsize=15820900 memory=676 CPUtime=0.17 cores=1,3,5,7
/proc/28670/task/28675/stat : 28675 (java) S 28668 28668 24272 0 -1 1077944384 553 0 0 0 13 4 0 0 20 0 20 0 445461706 16200601600 126787 33554432000 4194304 4196468 140728789490816 139651432118800 139651842655957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34689024 140728789492719 140728789492890 140728789492890 140728789495759 0
[pid=28670/tid=28676] ppid=28668 vsize=15820900 memory=1060 CPUtime=0 cores=1,3,5,7
/proc/28670/task/28676/stat : 28676 (java) S 28668 28668 24272 0 -1 1077944384 384 0 0 0 0 0 0 0 20 0 20 0 445461708 16200601600 126787 33554432000 4194304 4196468 140728789490816 139651311147632 139651842656898 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34689024 140728789492719 140728789492890 140728789492890 140728789495759 0
[pid=28670/tid=28677] ppid=28668 vsize=15820900 memory=1548 CPUtime=0 cores=1,3,5,7
/proc/28670/task/28677/stat : 28677 (java) S 28668 28668 24272 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 20 0 445461708 16200601600 126787 33554432000 4194304 4196468 140728789490816 139651310093664 139651842655957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34689024 140728789492719 140728789492890 140728789492890 140728789495759 0
[pid=28670/tid=28678] ppid=28668 vsize=15820900 memory=8560 CPUtime=0 cores=1,3,5,7
/proc/28670/task/28678/stat : 28678 (java) S 28668 28668 24272 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 20 0 445461708 16200601600 126787 33554432000 4194304 4196468 140728789490816 139651309041264 139651842655957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34689024 140728789492719 140728789492890 140728789492890 140728789495759 0
[pid=28670/tid=28679] ppid=28668 vsize=15820900 memory=7091008208638077014 CPUtime=0 cores=1,3,5,7
/proc/28670/task/28679/stat : 28679 (java) S 28668 28668 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 445461711 16200601600 126787 33554432000 4194304 4196468 140728789490816 139651307989584 139651842664347 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34689024 140728789492719 140728789492890 140728789492890 140728789495759 0
[pid=28670/tid=28680] ppid=28668 vsize=15820900 memory=7884224471435407721 CPUtime=1.75 cores=1,3,5,7
/proc/28670/task/28680/stat : 28680 (java) R 28668 28668 24272 0 -1 4202560 4394 0 0 0 175 0 0 0 20 0 20 0 445461711 16200601600 126787 33554432000 4194304 4196468 140728789490816 139651306924992 139651822499312 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34689024 140728789492719 140728789492890 140728789492890 140728789495759 0
[pid=28670/tid=28681] ppid=28668 vsize=15820900 memory=8242538745273215849 CPUtime=1.56 cores=1,3,5,7
/proc/28670/task/28681/stat : 28681 (java) R 28668 28668 24272 0 -1 4202560 3533 0 0 0 155 1 0 0 20 0 20 0 445461711 16200601600 126787 33554432000 4194304 4196468 140728789490816 139651305883632 139651828677632 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34689024 140728789492719 140728789492890 140728789492890 140728789495759 0
[pid=28670/tid=28682] ppid=28668 vsize=15820900 memory=4639074098508484693 CPUtime=0.79 cores=1,3,5,7
/proc/28670/task/28682/stat : 28682 (java) R 28668 28668 24272 0 -1 4202560 4244 0 0 0 78 1 0 0 20 0 20 0 445461711 16200601600 126787 33554432000 4194304 4196468 140728789490816 139651304831344 139651842667098 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34689024 140728789492719 140728789492890 140728789492890 140728789495759 0
[pid=28670/tid=28683] ppid=28668 vsize=15820900 memory=7595717052496048490 CPUtime=0 cores=1,3,5,7
/proc/28670/task/28683/stat : 28683 (java) S 28668 28668 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 445461711 16200601600 126787 33554432000 4194304 4196468 140728789490816 139651303778784 139651842655957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34689024 140728789492719 140728789492890 140728789492890 140728789495759 0
[pid=28670/tid=28684] ppid=28668 vsize=15820900 memory=7667775737756673905 CPUtime=0 cores=1,3,5,7
/proc/28670/task/28684/stat : 28684 (java) S 28668 28668 24272 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 20 0 445461711 16200601600 126787 33554432000 4194304 4196468 140728789490816 139651302726576 139651842656898 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34689024 140728789492719 140728789492890 140728789492890 140728789495759 0
Current children cumulated CPU time: 7.47 s
Current children cumulated vsize: 15934028 KiB
Current children cumulated memory: 508600 KiB
Child status: 143
Real time (s): 2.5639
CPU time (s): 7.61532
CPU user time (s): 7.26602
CPU system time (s): 0.349299
CPU usage (%): 297.021
Max. virtual memory (cumulated for all children) (KiB): 15934028
Max. memory (cumulated for all children) (KiB): 508600
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.26602
system time used= 0.349299
maximum resident set size= 531844
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30556
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= 3165
involuntary context switches= 96
# summary of solver processes directly reported to runsolver:
# pid: 28668,28670
# total CPU time (s): 7.61532
# total CPU user time (s): 7.26602
# total CPU system time (s): 0.349299
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.041206 second user time and 0.066441 second system time
The end