0.00/0.00 c java -server -Xmx12000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4398935-1568694582.xml" -tl '2520s' -p 4
0.12/0.19 c Choco e747e1e
0.12/0.20 c [HOME/instance-4398935-1568694582.xml, -tl, 2520s, -p, 4]
0.34/0.24 c 4 solvers in parallel
0.34/0.31 c parse instance...
1.53/0.77 c solve instance...
2520.08/636.55 s UNKNOWN
2520.08/636.55 c Unexpected resolution interruption!
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: 16375 MiB (14423 MiB free)
memory of node 1: 16384 MiB (15445 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4398935-1568694582/watcher-4398935-1568694582 -o /tmp/evaluation-result-4398935-1568694582/solver-4398935-1568694582 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node116-1568694541-4848 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 1734036904 HOME/instance-4398935-1568694582.xml
running on 4 cores: 4-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
Current StackSize limit: 8192 KiB
solver pid=4867, runsolver pid=4864
[startup+0.100134 s]*
/proc/loadavg: 1.08 1.25 1.30 4/223 4902
/proc/meminfo: memFree=30556332/32770688 swapFree=66961208/67108860
[pid=4867] ppid=4864 vsize=113128 memory=1448 CPUtime=0 cores=4-7
/proc/4867/stat : 4867 (xcsp3-exec) S 4864 4867 4816 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445399870 115843072 362 33554432000 4194304 5098028 140721767350976 140721767349080 140454084874876 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 19927040 140721767355258 140721767355501 140721767355501 140721767358410 0
/proc/4867/statm: 28282 362 304 221 0 87 0
[pid=4869] ppid=4867 vsize=15144776 memory=29840 CPUtime=0.12 cores=4-7
/proc/4869/stat : 4869 (java) S 4867 4867 4816 0 -1 1077944320 5918 0 0 0 11 1 0 0 20 0 15 0 445399870 15508250624 7460 33554432000 4194304 4196468 140733016912240 140733016894784 140557728980727 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 34131968 140733016916975 140733016917146 140733016917146 140733016920015 0
/proc/4869/statm: 3786194 7460 3115 1 0 3748377 0
[pid=4869/tid=4870] ppid=4867 vsize=15144776 memory=8252428994737482315 CPUtime=0.08 cores=4-7
/proc/4869/task/4870/stat : 4870 (java) R 4867 4867 4816 0 -1 4202560 3850 0 0 0 8 0 0 0 20 0 15 0 445399870 15508250624 7460 33554432000 4194304 4196468 140733016912240 140557733208960 140557729002653 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34131968 140733016916975 140733016917146 140733016917146 140733016920015 0
[pid=4869/tid=4871] ppid=4867 vsize=15144776 memory=-3689349214911541841 CPUtime=0 cores=4-7
/proc/4869/task/4871/stat : 4871 (java) S 4867 4867 4816 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445399871 15508250624 7460 33554432000 4194304 4196468 140733016912240 140557640636944 140557728990933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34131968 140733016916975 140733016917146 140733016917146 140733016920015 0
[pid=4869/tid=4872] ppid=4867 vsize=15144776 memory=139853632444032 CPUtime=0 cores=4-7
/proc/4869/task/4872/stat : 4872 (java) S 4867 4867 4816 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445399871 15508250624 7460 33554432000 4194304 4196468 140733016912240 140557639584400 140557728990933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34131968 140733016916975 140733016917146 140733016917146 140733016920015 0
[pid=4869/tid=4873] ppid=4867 vsize=15144776 memory=0 CPUtime=0 cores=4-7
/proc/4869/task/4873/stat : 4873 (java) S 4867 4867 4816 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445399871 15508250624 7460 33554432000 4194304 4196468 140733016912240 140557638531344 140557728990933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34131968 140733016916975 140733016917146 140733016917146 140733016920015 0
[pid=4869/tid=4874] ppid=4867 vsize=15144776 memory=-1 CPUtime=0 cores=4-7
/proc/4869/task/4874/stat : 4874 (java) S 4867 4867 4816 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445399871 15508250624 7460 33554432000 4194304 4196468 140733016912240 140557317826960 140557728990933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34131968 140733016916975 140733016917146 140733016917146 140733016920015 0
[pid=4869/tid=4875] ppid=4867 vsize=15144776 memory=139853632444032 CPUtime=0 cores=4-7
/proc/4869/task/4875/stat : 4875 (java) S 4867 4867 4816 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445399873 15508250624 7460 33554432000 4194304 4196468 140733016912240 140557197515504 140557728991874 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34131968 140733016916975 140733016917146 140733016917146 140733016920015 0
[pid=4869/tid=4876] ppid=4867 vsize=15144776 memory=-1 CPUtime=0 cores=4-7
/proc/4869/task/4876/stat : 4876 (java) S 4867 4867 4816 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445399873 15508250624 7460 33554432000 4194304 4196468 140733016912240 140557196461728 140557728990933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34131968 140733016916975 140733016917146 140733016917146 140733016920015 0
[pid=4869/tid=4877] ppid=4867 vsize=15144776 memory=0 CPUtime=0 cores=4-7
/proc/4869/task/4877/stat : 4877 (java) S 4867 4867 4816 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445399873 15508250624 7460 33554432000 4194304 4196468 140733016912240 140557195408624 140557728990933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34131968 140733016916975 140733016917146 140733016917146 140733016920015 0
[pid=4869/tid=4889] ppid=4867 vsize=15144776 memory=0 CPUtime=0 cores=4-7
/proc/4869/task/4889/stat : 4889 (java) S 4867 4867 4816 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445399876 15508250624 7460 33554432000 4194304 4196468 140733016912240 140557194357200 140557728999323 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34131968 140733016916975 140733016917146 140733016917146 140733016920015 0
[pid=4869/tid=4890] ppid=4867 vsize=15144776 memory=0 CPUtime=0 cores=4-7
/proc/4869/task/4890/stat : 4890 (java) S 4867 4867 4816 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 15 0 445399876 15508250624 7460 33554432000 4194304 4196468 140733016912240 140557193304304 140557728991874 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34131968 140733016916975 140733016917146 140733016917146 140733016920015 0
[pid=4869/tid=4891] ppid=4867 vsize=15144776 memory=-1 CPUtime=0 cores=4-7
/proc/4869/task/4891/stat : 4891 (java) S 4867 4867 4816 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 445399876 15508250624 7460 33554432000 4194304 4196468 140733016912240 140557192251760 140557728991874 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34131968 140733016916975 140733016917146 140733016917146 140733016920015 0
[pid=4869/tid=4892] ppid=4867 vsize=15144776 memory=139853632444032 CPUtime=0.01 cores=4-7
/proc/4869/task/4892/stat : 4892 (java) S 4867 4867 4816 0 -1 1077944384 346 0 0 0 1 0 0 0 20 0 15 0 445399876 15508250624 7460 33554432000 4194304 4196468 140733016912240 140557191198704 140557728991874 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34131968 140733016916975 140733016917146 140733016917146 140733016920015 0
[pid=4869/tid=4894] ppid=4867 vsize=15144776 memory=-1 CPUtime=0 cores=4-7
/proc/4869/task/4894/stat : 4894 (java) S 4867 4867 4816 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445399876 15508250624 7460 33554432000 4194304 4196468 140733016912240 140557190146400 140557728990933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34131968 140733016916975 140733016917146 140733016917146 140733016920015 0
[pid=4869/tid=4895] ppid=4867 vsize=15144776 memory=139853632444032 CPUtime=0 cores=4-7
/proc/4869/task/4895/stat : 4895 (java) S 4867 4867 4816 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445399877 15508250624 7460 33554432000 4194304 4196468 140733016912240 140557189094448 140557728991874 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34131968 140733016916975 140733016917146 140733016917146 140733016920015 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 31288 KiB
[startup+0.211856 s]*
/proc/loadavg: 1.08 1.25 1.30 6/229 4908
/proc/meminfo: memFree=30535736/32770688 swapFree=66961208/67108860
[pid=4867] ppid=4864 vsize=113128 memory=1448 CPUtime=0 cores=4-7
/proc/4867/stat : 4867 (xcsp3-exec) S 4864 4867 4816 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445399870 115843072 362 33554432000 4194304 5098028 140721767350976 140721767349080 140454084874876 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 19927040 140721767355258 140721767355501 140721767355501 140721767358410 0
/proc/4867/statm: 28282 362 304 221 0 87 0
[pid=4869] ppid=4867 vsize=15144776 memory=41128 CPUtime=0.34 cores=4-7
/proc/4869/stat : 4869 (java) S 4867 4867 4816 0 -1 1077944320 9444 0 0 0 31 3 0 0 20 0 15 0 445399870 15508250624 10282 33554432000 4194304 4196468 140733016912240 140733016894784 140557728980727 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 34131968 140733016916975 140733016917146 140733016917146 140733016920015 0
/proc/4869/statm: 3786194 10282 3302 1 0 3748377 0
[pid=4869/tid=4870] ppid=4867 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=4-7
/proc/4869/task/4870/stat : 4870 (java) R 4867 4867 4816 0 -1 4202560 6643 0 0 0 18 2 0 0 20 0 15 0 445399870 15508250624 10282 33554432000 4194304 4196468 140733016912240 140557733214656 140557317983245 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34131968 140733016916975 140733016917146 140733016917146 140733016920015 0
[pid=4869/tid=4871] ppid=4867 vsize=15144776 memory=9642 CPUtime=0 cores=4-7
/proc/4869/task/4871/stat : 4871 (java) S 4867 4867 4816 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445399871 15508250624 10282 33554432000 4194304 4196468 140733016912240 140557640636944 140557728990933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34131968 140733016916975 140733016917146 140733016917146 140733016920015 0
[pid=4869/tid=4872] ppid=4867 vsize=15144776 memory=2968757 CPUtime=0 cores=4-7
/proc/4869/task/4872/stat : 4872 (java) S 4867 4867 4816 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445399871 15508250624 10282 33554432000 4194304 4196468 140733016912240 140557639584400 140557728990933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34131968 140733016916975 140733016917146 140733016917146 140733016920015 0
[pid=4869/tid=4873] ppid=4867 vsize=15144776 memory=0 CPUtime=0 cores=4-7
/proc/4869/task/4873/stat : 4873 (java) S 4867 4867 4816 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445399871 15508250624 10282 33554432000 4194304 4196468 140733016912240 140557638531344 140557728990933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34131968 140733016916975 140733016917146 140733016917146 140733016920015 0
[pid=4869/tid=4874] ppid=4867 vsize=15144776 memory=-1 CPUtime=0 cores=4-7
/proc/4869/task/4874/stat : 4874 (java) S 4867 4867 4816 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445399871 15508250624 10282 33554432000 4194304 4196468 140733016912240 140557317826960 140557728990933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34131968 140733016916975 140733016917146 140733016917146 140733016920015 0
[pid=4869/tid=4875] ppid=4867 vsize=15144776 memory=0 CPUtime=0 cores=4-7
/proc/4869/task/4875/stat : 4875 (java) S 4867 4867 4816 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445399873 15508250624 10282 33554432000 4194304 4196468 140733016912240 140557197515504 140557728991874 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34131968 140733016916975 140733016917146 140733016917146 140733016920015 0
[pid=4869/tid=4876] ppid=4867 vsize=15144776 memory=-1 CPUtime=0 cores=4-7
/proc/4869/task/4876/stat : 4876 (java) S 4867 4867 4816 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445399873 15508250624 10282 33554432000 4194304 4196468 140733016912240 140557196461728 140557728990933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34131968 140733016916975 140733016917146 140733016917146 140733016920015 0
[pid=4869/tid=4877] ppid=4867 vsize=15144776 memory=139853632444032 CPUtime=0 cores=4-7
/proc/4869/task/4877/stat : 4877 (java) S 4867 4867 4816 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445399873 15508250624 10282 33554432000 4194304 4196468 140733016912240 140557195408624 140557728990933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34131968 140733016916975 140733016917146 140733016917146 140733016920015 0
[pid=4869/tid=4889] ppid=4867 vsize=15144776 memory=-1 CPUtime=0 cores=4-7
/proc/4869/task/4889/stat : 4889 (java) S 4867 4867 4816 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445399876 15508250624 10282 33554432000 4194304 4196468 140733016912240 140557194357200 140557728999323 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34131968 140733016916975 140733016917146 140733016917146 140733016920015 0
[pid=4869/tid=4890] ppid=4867 vsize=15144776 memory=0 CPUtime=0.01 cores=4-7
/proc/4869/task/4890/stat : 4890 (java) S 4867 4867 4816 0 -1 1077944384 495 0 0 0 1 0 0 0 20 0 15 0 445399876 15508250624 10282 33554432000 4194304 4196468 140733016912240 140557193304304 140557728991874 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34131968 140733016916975 140733016917146 140733016917146 140733016920015 0
[pid=4869/tid=4891] ppid=4867 vsize=15144776 memory=-1 CPUtime=0.03 cores=4-7
/proc/4869/task/4891/stat : 4891 (java) R 4867 4867 4816 0 -1 1077944384 275 0 0 0 3 0 0 0 20 0 15 0 445399876 15508250624 10282 33554432000 4194304 4196468 140733016912240 140557192251760 140557728991874 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34131968 140733016916975 140733016917146 140733016917146 140733016920015 0
[pid=4869/tid=4892] ppid=4867 vsize=15144776 memory=0 CPUtime=0.07 cores=4-7
/proc/4869/task/4892/stat : 4892 (java) R 4867 4867 4816 0 -1 4202560 729 0 0 0 7 0 0 0 20 0 15 0 445399876 15508250624 10282 33554432000 4194304 4196468 140733016912240 140557191198704 140557714146366 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34131968 140733016916975 140733016917146 140733016917146 140733016920015 0
[pid=4869/tid=4894] ppid=4867 vsize=15144776 memory=0 CPUtime=0 cores=4-7
/proc/4869/task/4894/stat : 4894 (java) S 4867 4867 4816 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445399876 15508250624 10282 33554432000 4194304 4196468 140733016912240 140557190146400 140557728990933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34131968 140733016916975 140733016917146 140733016917146 140733016920015 0
[pid=4869/tid=4895] ppid=4867 vsize=15144776 memory=0 CPUtime=0 cores=4-7
/proc/4869/task/4895/stat : 4895 (java) S 4867 4867 4816 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445399877 15508250624 10282 33554432000 4194304 4196468 140733016912240 140557189094448 140557728991874 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34131968 140733016916975 140733016917146 140733016917146 140733016920015 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42576 KiB
[startup+0.311751 s]*
/proc/loadavg: 1.08 1.25 1.30 3/229 4908
/proc/meminfo: memFree=30521364/32770688 swapFree=66961208/67108860
[pid=4867] ppid=4864 vsize=113128 memory=1448 CPUtime=0 cores=4-7
/proc/4867/stat : 4867 (xcsp3-exec) S 4864 4867 4816 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445399870 115843072 362 33554432000 4194304 5098028 140721767350976 140721767349080 140454084874876 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 19927040 140721767355258 140721767355501 140721767355501 140721767358410 0
/proc/4867/statm: 28282 362 304 221 0 87 0
[pid=4869] ppid=4867 vsize=15149032 memory=46828 CPUtime=0.51 cores=4-7
/proc/4869/stat : 4869 (java) S 4867 4867 4816 0 -1 1077944320 10540 0 0 0 48 3 0 0 20 0 15 0 445399870 15512608768 11707 33554432000 4194304 4196468 140733016912240 140733016894784 140557728980727 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 34131968 140733016916975 140733016917146 140733016917146 140733016920015 0
/proc/4869/statm: 3787258 11707 3322 1 0 3748377 0
[pid=4869/tid=4870] ppid=4867 vsize=15149032 memory=42950340640 CPUtime=0.29 cores=4-7
/proc/4869/task/4870/stat : 4870 (java) R 4867 4867 4816 0 -1 4202560 7597 0 0 0 27 2 0 0 20 0 15 0 445399870 15512608768 11707 33554432000 4194304 4196468 140733016912240 140557733206400 140557729002653 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34131968 140733016916975 140733016917146 140733016917146 140733016920015 0
[pid=4869/tid=4871] ppid=4867 vsize=15149032 memory=35 CPUtime=0 cores=4-7
/proc/4869/task/4871/stat : 4871 (java) S 4867 4867 4816 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445399871 15512608768 11707 33554432000 4194304 4196468 140733016912240 140557640636944 140557728990933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34131968 140733016916975 140733016917146 140733016917146 140733016920015 0
[pid=4869/tid=4872] ppid=4867 vsize=15149032 memory=139853632499744 CPUtime=0 cores=4-7
/proc/4869/task/4872/stat : 4872 (java) S 4867 4867 4816 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445399871 15512608768 11707 33554432000 4194304 4196468 140733016912240 140557639584400 140557728990933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34131968 140733016916975 140733016917146 140733016917146 140733016920015 0
[pid=4869/tid=4873] ppid=4867 vsize=15149032 memory=58084 CPUtime=0 cores=4-7
/proc/4869/task/4873/stat : 4873 (java) S 4867 4867 4816 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445399871 15512608768 11707 33554432000 4194304 4196468 140733016912240 140557638531344 140557728990933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34131968 140733016916975 140733016917146 140733016917146 140733016920015 0
[pid=4869/tid=4874] ppid=4867 vsize=15149032 memory=35 CPUtime=0 cores=4-7
/proc/4869/task/4874/stat : 4874 (java) S 4867 4867 4816 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445399871 15512608768 11707 33554432000 4194304 4196468 140733016912240 140557317826960 140557728990933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34131968 140733016916975 140733016917146 140733016917146 140733016920015 0
[pid=4869/tid=4875] ppid=4867 vsize=15149032 memory=139853632506656 CPUtime=0 cores=4-7
/proc/4869/task/4875/stat : 4875 (java) S 4867 4867 4816 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445399873 15512608768 11707 33554432000 4194304 4196468 140733016912240 140557197515504 140557728991874 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34131968 140733016916975 140733016917146 140733016917146 140733016920015 0
[pid=4869/tid=4876] ppid=4867 vsize=15149032 memory=35 CPUtime=0 cores=4-7
/proc/4869/task/4876/stat : 4876 (java) S 4867 4867 4816 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445399873 15512608768 11707 33554432000 4194304 4196468 140733016912240 140557196461728 140557728990933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34131968 140733016916975 140733016917146 140733016917146 140733016920015 0
[pid=4869/tid=4877] ppid=4867 vsize=15149032 memory=2244 CPUtime=0 cores=4-7
/proc/4869/task/4877/stat : 4877 (java) S 4867 4867 4816 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445399873 15512608768 11707 33554432000 4194304 4196468 140733016912240 140557195408624 140557728990933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34131968 140733016916975 140733016917146 140733016917146 140733016920015 0
[pid=4869/tid=4889] ppid=4867 vsize=15149032 memory=2244 CPUtime=0 cores=4-7
/proc/4869/task/4889/stat : 4889 (java) S 4867 4867 4816 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445399876 15512608768 11707 33554432000 4194304 4196468 140733016912240 140557194357200 140557728999323 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34131968 140733016916975 140733016917146 140733016917146 140733016920015 0
[pid=4869/tid=4890] ppid=4867 vsize=15149032 memory=0 CPUtime=0.03 cores=4-7
/proc/4869/task/4890/stat : 4890 (java) S 4867 4867 4816 0 -1 1077944384 505 0 0 0 3 0 0 0 20 0 15 0 445399876 15512608768 11707 33554432000 4194304 4196468 140733016912240 140557193304304 140557728991874 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34131968 140733016916975 140733016917146 140733016917146 140733016920015 0
[pid=4869/tid=4891] ppid=4867 vsize=15149032 memory=139853530526159 CPUtime=0.04 cores=4-7
/proc/4869/task/4891/stat : 4891 (java) S 4867 4867 4816 0 -1 1077944384 311 0 0 0 4 0 0 0 20 0 15 0 445399876 15512608768 11707 33554432000 4194304 4196468 140733016912240 140557192251760 140557728991874 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34131968 140733016916975 140733016917146 140733016917146 140733016920015 0
[pid=4869/tid=4892] ppid=4867 vsize=15149032 memory=139853632448880 CPUtime=0.12 cores=4-7
/proc/4869/task/4892/stat : 4892 (java) S 4867 4867 4816 0 -1 1077944384 826 0 0 0 12 0 0 0 20 0 15 0 445399876 15512608768 11707 33554432000 4194304 4196468 140733016912240 140557191198704 140557728991874 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34131968 140733016916975 140733016917146 140733016917146 140733016920015 0
[pid=4869/tid=4894] ppid=4867 vsize=15149032 memory=139853530516943 CPUtime=0 cores=4-7
/proc/4869/task/4894/stat : 4894 (java) S 4867 4867 4816 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445399876 15512608768 11707 33554432000 4194304 4196468 140733016912240 140557190146400 140557728990933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34131968 140733016916975 140733016917146 140733016917146 140733016920015 0
[pid=4869/tid=4895] ppid=4867 vsize=15149032 memory=279707162970240 CPUtime=0 cores=4-7
/proc/4869/task/4895/stat : 4895 (java) S 4867 4867 4816 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445399877 15512608768 11707 33554432000 4194304 4196468 140733016912240 140557189094448 140557728991874 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34131968 140733016916975 140733016917146 140733016917146 140733016920015 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 48276 KiB
[startup+0.70462 s]
/proc/loadavg: 1.08 1.25 1.30 8/229 4908
/proc/meminfo: memFree=30498640/32770688 swapFree=66961208/67108860
[pid=4867] ppid=4864 vsize=113128 memory=1448 CPUtime=0 cores=4-7
/proc/4867/stat : 4867 (xcsp3-exec) S 4864 4867 4816 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445399870 115843072 362 33554432000 4194304 5098028 140721767350976 140721767349080 140454084874876 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 19927040 140721767355258 140721767355501 140721767355501 140721767358410 0
/proc/4867/statm: 28282 362 304 221 0 87 0
[pid=4869] ppid=4867 vsize=15151156 memory=76364 CPUtime=1.53 cores=4-7
/proc/4869/stat : 4869 (java) S 4867 4867 4816 0 -1 1077944320 13347 0 0 0 148 5 0 0 20 0 15 0 445399870 15514783744 19091 33554432000 4194304 4196468 140733016912240 140733016894784 140557728980727 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 34131968 140733016916975 140733016917146 140733016917146 140733016920015 0
/proc/4869/statm: 3787789 19091 3438 1 0 3748889 0
[pid=4869/tid=4870] ppid=4867 vsize=15151156 memory=0 CPUtime=0.67 cores=4-7
/proc/4869/task/4870/stat : 4870 (java) R 4867 4867 4816 0 -1 4202560 8563 0 0 0 64 3 0 0 20 0 15 0 445399870 15514783744 19091 33554432000 4194304 4196468 140733016912240 140557733218432 140557319767941 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34131968 140733016916975 140733016917146 140733016917146 140733016920015 0
[pid=4869/tid=4871] ppid=4867 vsize=15151156 memory=7886766292050655029 CPUtime=0 cores=4-7
/proc/4869/task/4871/stat : 4871 (java) S 4867 4867 4816 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445399871 15514783744 19091 33554432000 4194304 4196468 140733016912240 140557640636944 140557728990933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34131968 140733016916975 140733016917146 140733016917146 140733016920015 0
[pid=4869/tid=4872] ppid=4867 vsize=15151156 memory=5789489918927591273 CPUtime=0 cores=4-7
/proc/4869/task/4872/stat : 4872 (java) S 4867 4867 4816 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445399871 15514783744 19091 33554432000 4194304 4196468 140733016912240 140557639584400 140557728990933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34131968 140733016916975 140733016917146 140733016917146 140733016920015 0
[pid=4869/tid=4873] ppid=4867 vsize=15151156 memory=7519148084804674902 CPUtime=0 cores=4-7
/proc/4869/task/4873/stat : 4873 (java) S 4867 4867 4816 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445399871 15514783744 19091 33554432000 4194304 4196468 140733016912240 140557638531344 140557728990933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34131968 140733016916975 140733016917146 140733016917146 140733016920015 0
[pid=4869/tid=4874] ppid=4867 vsize=15151156 memory=6028 CPUtime=0 cores=4-7
/proc/4869/task/4874/stat : 4874 (java) S 4867 4867 4816 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445399871 15514783744 19091 33554432000 4194304 4196468 140733016912240 140557317826960 140557728990933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34131968 140733016916975 140733016917146 140733016917146 140733016920015 0
[pid=4869/tid=4875] ppid=4867 vsize=15151156 memory=780 CPUtime=0 cores=4-7
/proc/4869/task/4875/stat : 4875 (java) S 4867 4867 4816 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445399873 15514783744 19091 33554432000 4194304 4196468 140733016912240 140557197515504 140557728991874 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34131968 140733016916975 140733016917146 140733016917146 140733016920015 0
[pid=4869/tid=4876] ppid=4867 vsize=15151156 memory=3988 CPUtime=0 cores=4-7
/proc/4869/task/4876/stat : 4876 (java) S 4867 4867 4816 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445399873 15514783744 19091 33554432000 4194304 4196468 140733016912240 140557196461728 140557728990933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34131968 140733016916975 140733016917146 140733016917146 140733016920015 0
[pid=4869/tid=4877] ppid=4867 vsize=15151156 memory=1088 CPUtime=0 cores=4-7
/proc/4869/task/4877/stat : 4877 (java) S 4867 4867 4816 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445399873 15514783744 19091 33554432000 4194304 4196468 140733016912240 140557195408624 140557728990933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34131968 140733016916975 140733016917146 140733016917146 140733016920015 0
[pid=4869/tid=4889] ppid=4867 vsize=15151156 memory=2832 CPUtime=0 cores=4-7
/proc/4869/task/4889/stat : 4889 (java) S 4867 4867 4816 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445399876 15514783744 19091 33554432000 4194304 4196468 140733016912240 140557194357200 140557728999323 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34131968 140733016916975 140733016917146 140733016917146 140733016920015 0
[pid=4869/tid=4890] ppid=4867 vsize=15151156 memory=1564 CPUtime=0.19 cores=4-7
/proc/4869/task/4890/stat : 4890 (java) R 4867 4867 4816 0 -1 4202560 1013 0 0 0 19 0 0 0 20 0 15 0 445399876 15514783744 19091 33554432000 4194304 4196468 140733016912240 140557193289784 140557729002074 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34131968 140733016916975 140733016917146 140733016917146 140733016920015 0
[pid=4869/tid=4891] ppid=4867 vsize=15151156 memory=8560 CPUtime=0.22 cores=4-7
/proc/4869/task/4891/stat : 4891 (java) R 4867 4867 4816 0 -1 4202560 772 0 0 0 22 0 0 0 20 0 15 0 445399876 15514783744 19091 33554432000 4194304 4196468 140733016912240 140557192237560 140557729002074 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34131968 140733016916975 140733016917146 140733016917146 140733016920015 0
[pid=4869/tid=4892] ppid=4867 vsize=15151156 memory=14008 CPUtime=0.41 cores=4-7
/proc/4869/task/4892/stat : 4892 (java) S 4867 4867 4816 0 -1 1077944384 1693 0 0 0 41 0 0 0 20 0 15 0 445399876 15514783744 19091 33554432000 4194304 4196468 140733016912240 140557191198704 140557728991874 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34131968 140733016916975 140733016917146 140733016917146 140733016920015 0
[pid=4869/tid=4894] ppid=4867 vsize=15151156 memory=22916 CPUtime=0 cores=4-7
/proc/4869/task/4894/stat : 4894 (java) S 4867 4867 4816 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445399876 15514783744 19091 33554432000 4194304 4196468 140733016912240 140557190146400 140557728990933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34131968 140733016916975 140733016917146 140733016917146 140733016920015 0
[pid=4869/tid=4895] ppid=4867 vsize=15151156 memory=6297835844906604903 CPUtime=0 cores=4-7
/proc/4869/task/4895/stat : 4895 (java) S 4867 4867 4816 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445399877 15514783744 19091 33554432000 4194304 4196468 140733016912240 140557189094448 140557728991874 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34131968 140733016916975 140733016917146 140733016917146 140733016920015 0
Current children cumulated CPU time: 1.53 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 77812 KiB
[startup+1.50559 s]
/proc/loadavg: 1.08 1.25 1.30 13/237 4988
/proc/meminfo: memFree=30303800/32770688 swapFree=66961208/67108860
[pid=4867] ppid=4864 vsize=113128 memory=1448 CPUtime=0 cores=4-7
/proc/4867/stat : 4867 (xcsp3-exec) S 4864 4867 4816 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445399870 115843072 362 33554432000 4194304 5098028 140721767350976 140721767349080 140454084874876 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 19927040 140721767355258 140721767355501 140721767355501 140721767358410 0
/proc/4867/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
/proc/4869/stat : 4869 (java) S 4867 4867 4816 0 -1 1077944320 98124 0 0 0 230356 140 0 0 20 0 19 0 445399870 15787429888 262949 33554432000 4194304 4196468 140733016912240 140733016894784 140557728980727 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 34131968 140733016916975 140733016917146 140733016917146 140733016920015 0
/proc/4869/statm: 3854353 262949 3519 1 0 3815453 0
[pid=4869/tid=4870] ppid=4867 vsize=15417412 memory=1048120 CPUtime=0.74 cores=4-7
/proc/4869/task/4870/stat : 4870 (java) S 4867 4867 4816 0 -1 1077944384 8618 0 0 0 71 3 0 0 20 0 19 0 445399870 15787429888 262949 33554432000 4194304 4196468 140733016912240 140557733221504 140557728990933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34131968 140733016916975 140733016917146 140733016917146 140733016920015 0
[pid=4869/tid=4871] ppid=4867 vsize=15417412 memory=1011532 CPUtime=3.52 cores=4-7
/proc/4869/task/4871/stat : 4871 (java) S 4867 4867 4816 0 -1 1077944384 4459 0 0 0 334 18 0 0 20 0 19 0 445399871 15787429888 262949 33554432000 4194304 4196468 140733016912240 140557640636944 140557728990933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34131968 140733016916975 140733016917146 140733016917146 140733016920015 0
[pid=4869/tid=4872] ppid=4867 vsize=15417412 memory=1448 CPUtime=3.54 cores=4-7
/proc/4869/task/4872/stat : 4872 (java) S 4867 4867 4816 0 -1 1077944384 7344 0 0 0 335 19 0 0 20 0 19 0 445399871 15787429888 262949 33554432000 4194304 4196468 140733016912240 140557639584400 140557728990933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34131968 140733016916975 140733016917146 140733016917146 140733016920015 0
[pid=4869/tid=4873] ppid=4867 vsize=15417412 memory=1046636 CPUtime=3.53 cores=4-7
/proc/4869/task/4873/stat : 4873 (java) S 4867 4867 4816 0 -1 1077944384 5071 0 0 0 333 20 0 0 20 0 19 0 445399871 15787429888 262949 33554432000 4194304 4196468 140733016912240 140557638531344 140557728990933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34131968 140733016916975 140733016917146 140733016917146 140733016920015 0
[pid=4869/tid=4874] ppid=4867 vsize=15417412 memory=1046348 CPUtime=3.55 cores=4-7
/proc/4869/task/4874/stat : 4874 (java) S 4867 4867 4816 0 -1 1077944384 4756 0 0 0 336 19 0 0 20 0 19 0 445399871 15787429888 262949 33554432000 4194304 4196468 140733016912240 140557317826960 140557728990933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34131968 140733016916975 140733016917146 140733016917146 140733016920015 0
[pid=4869/tid=4875] ppid=4867 vsize=15417412 memory=992036 CPUtime=1.61 cores=4-7
/proc/4869/task/4875/stat : 4875 (java) S 4867 4867 4816 0 -1 1077944384 22703 0 0 0 134 27 0 0 20 0 19 0 445399873 15787429888 262949 33554432000 4194304 4196468 140733016912240 140557197515504 140557728991874 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34131968 140733016916975 140733016917146 140733016917146 140733016920015 0
[pid=4869/tid=4876] ppid=4867 vsize=15417412 memory=1000244 CPUtime=0 cores=4-7
/proc/4869/task/4876/stat : 4876 (java) S 4867 4867 4816 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 445399873 15787429888 262949 33554432000 4194304 4196468 140733016912240 140557196461792 140557728990933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34131968 140733016916975 140733016917146 140733016917146 140733016920015 0
[pid=4869/tid=4877] ppid=4867 vsize=15417412 memory=1047608 CPUtime=0 cores=4-7
/proc/4869/task/4877/stat : 4877 (java) S 4867 4867 4816 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 19 0 445399873 15787429888 262949 33554432000 4194304 4196468 140733016912240 140557195408640 140557728990933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34131968 140733016916975 140733016917146 140733016917146 140733016920015 0
[pid=4869/tid=4889] ppid=4867 vsize=15417412 memory=1048728 CPUtime=0 cores=4-7
/proc/4869/task/4889/stat : 4889 (java) S 4867 4867 4816 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445399876 15787429888 262949 33554432000 4194304 4196468 140733016912240 140557194357200 140557728999323 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34131968 140733016916975 140733016917146 140733016917146 140733016920015 0
[pid=4869/tid=4890] ppid=4867 vsize=15417412 memory=1448 CPUtime=1.51 cores=4-7
/proc/4869/task/4890/stat : 4890 (java) S 4867 4867 4816 0 -1 1077944384 8041 0 0 0 150 1 0 0 20 0 19 0 445399876 15787429888 262949 33554432000 4194304 4196468 140733016912240 140557193304304 140557728991874 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34131968 140733016916975 140733016917146 140733016917146 140733016920015 0
[pid=4869/tid=4891] ppid=4867 vsize=15417412 memory=1047728 CPUtime=1.64 cores=4-7
/proc/4869/task/4891/stat : 4891 (java) S 4867 4867 4816 0 -1 1077944384 11256 0 0 0 163 1 0 0 20 0 19 0 445399876 15787429888 262949 33554432000 4194304 4196468 140733016912240 140557192251760 140557728991874 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34131968 140733016916975 140733016917146 140733016917146 140733016920015 0
[pid=4869/tid=4892] ppid=4867 vsize=15417412 memory=1448 CPUtime=0.67 cores=4-7
/proc/4869/task/4892/stat : 4892 (java) S 4867 4867 4816 0 -1 1077944384 6828 0 0 0 66 1 0 0 20 0 19 0 445399876 15787429888 262949 33554432000 4194304 4196468 140733016912240 140557191198704 140557728991874 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34131968 140733016916975 140733016917146 140733016917146 140733016920015 0
[pid=4869/tid=4894] ppid=4867 vsize=15417412 memory=1048120 CPUtime=0 cores=4-7
/proc/4869/task/4894/stat : 4894 (java) S 4867 4867 4816 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445399876 15787429888 262949 33554432000 4194304 4196468 140733016912240 140557190146400 140557728990933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34131968 140733016916975 140733016917146 140733016917146 140733016920015 0
[pid=4869/tid=4895] ppid=4867 vsize=15417412 memory=1051796 CPUtime=0.3 cores=4-7
/proc/4869/task/4895/stat : 4895 (java) S 4867 4867 4816 0 -1 1077944384 272 0 0 0 23 7 0 0 20 0 19 0 445399877 15787429888 262949 33554432000 4194304 4196468 140733016912240 140557189094448 140557728991874 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34131968 140733016916975 140733016917146 140733016917146 140733016920015 0
[pid=4869/tid=4909] ppid=4867 vsize=15417412 memory=1448 CPUtime=571.1 cores=4-7
/proc/4869/task/4909/stat : 4909 (java) R 4867 4867 4816 0 -1 4202560 3744 0 0 0 57102 8 0 0 20 0 19 0 445399948 15787429888 262949 33554432000 4194304 4196468 140733016912240 140557179875224 140557324492037 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 34131968 140733016916975 140733016917146 140733016917146 140733016920015 0
[pid=4869/tid=4910] ppid=4867 vsize=15417412 memory=1044228 CPUtime=570.78 cores=4-7
/proc/4869/task/4910/stat : 4910 (java) R 4867 4867 4816 0 -1 4202560 5172 0 0 0 57069 9 0 0 20 0 19 0 445399948 15787429888 262949 33554432000 4194304 4196468 140733016912240 140557178823256 140557323754245 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34131968 140733016916975 140733016917146 140733016917146 140733016920015 0
[pid=4869/tid=4911] ppid=4867 vsize=15417412 memory=3612 CPUtime=571.53 cores=4-7
/proc/4869/task/4911/stat : 4911 (java) R 4867 4867 4816 0 -1 4202560 3810 0 0 0 57143 10 0 0 20 0 19 0 445399948 15787429888 262949 33554432000 4194304 4196468 140733016912240 140557177772816 140557323354893 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34131968 140733016916975 140733016917146 140733016917146 140733016920015 0
[pid=4869/tid=4912] ppid=4867 vsize=15417412 memory=2596 CPUtime=570.81 cores=4-7
/proc/4869/task/4912/stat : 4912 (java) R 4867 4867 4816 0 -1 4202560 4752 0 0 0 57074 7 0 0 20 0 19 0 445399948 15787429888 262949 33554432000 4194304 4196468 140733016912240 140557176716464 140557324148778 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34131968 140733016916975 140733016917146 140733016917146 140733016920015 0
Current children cumulated CPU time: 2304.96 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 1053244 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+636.501 s]
/proc/loadavg: 9.06 7.94 4.93 10/237 5316
/proc/meminfo: memFree=20852704/32770688 swapFree=66961208/67108860
[pid=4867] ppid=4864 vsize=113128 memory=1448 CPUtime=0 cores=4-7
/proc/4867/stat : 4867 (xcsp3-exec) S 4864 4867 4816 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445399870 115843072 362 33554432000 4194304 5098028 140721767350976 140721767349080 140454084874876 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 19927040 140721767355258 140721767355501 140721767355501 140721767358410 0
/proc/4867/statm: 28282 362 304 221 0 87 0
[pid=4869] ppid=4867 vsize=15417412 memory=1167140 CPUtime=2520.08 cores=4-7
/proc/4869/stat : 4869 (java) S 4867 4867 4816 0 -1 1077944320 103497 0 0 0 251847 161 0 0 20 0 19 0 445399870 15787429888 291785 33554432000 4194304 4196468 140733016912240 140733016894784 140557728980727 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 34131968 140733016916975 140733016917146 140733016917146 140733016920015 0
/proc/4869/statm: 3854353 291785 3519 1 0 3815453 0
[pid=4869/tid=4870] ppid=4867 vsize=15417412 memory=1171252 CPUtime=0.74 cores=4-7
/proc/4869/task/4870/stat : 4870 (java) S 4867 4867 4816 0 -1 1077944384 8618 0 0 0 71 3 0 0 20 0 19 0 445399870 15787429888 291785 33554432000 4194304 4196468 140733016912240 140557733221504 140557728990933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34131968 140733016916975 140733016917146 140733016917146 140733016920015 0
[pid=4869/tid=4871] ppid=4867 vsize=15417412 memory=1448 CPUtime=3.87 cores=4-7
/proc/4869/task/4871/stat : 4871 (java) S 4867 4867 4816 0 -1 1077944384 5209 0 0 0 365 22 0 0 20 0 19 0 445399871 15787429888 291785 33554432000 4194304 4196468 140733016912240 140557640636944 140557728990933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34131968 140733016916975 140733016917146 140733016917146 140733016920015 0
[pid=4869/tid=4872] ppid=4867 vsize=15417412 memory=1448 CPUtime=3.9 cores=4-7
/proc/4869/task/4872/stat : 4872 (java) S 4867 4867 4816 0 -1 1077944384 9629 0 0 0 366 24 0 0 20 0 19 0 445399871 15787429888 291785 33554432000 4194304 4196468 140733016912240 140557639584400 140557728990933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34131968 140733016916975 140733016917146 140733016917146 140733016920015 0
[pid=4869/tid=4873] ppid=4867 vsize=15417412 memory=1172828 CPUtime=3.89 cores=4-7
/proc/4869/task/4873/stat : 4873 (java) S 4867 4867 4816 0 -1 1077944384 5270 0 0 0 364 25 0 0 20 0 19 0 445399871 15787429888 291785 33554432000 4194304 4196468 140733016912240 140557638531344 140557728990933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34131968 140733016916975 140733016917146 140733016917146 140733016920015 0
[pid=4869/tid=4874] ppid=4867 vsize=15417412 memory=1167140 CPUtime=3.89 cores=4-7
/proc/4869/task/4874/stat : 4874 (java) S 4867 4867 4816 0 -1 1077944384 4915 0 0 0 367 22 0 0 20 0 19 0 445399871 15787429888 291785 33554432000 4194304 4196468 140733016912240 140557317826960 140557728990933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34131968 140733016916975 140733016917146 140733016917146 140733016920015 0
[pid=4869/tid=4875] ppid=4867 vsize=15417412 memory=1448 CPUtime=1.7 cores=4-7
/proc/4869/task/4875/stat : 4875 (java) S 4867 4867 4816 0 -1 1077944384 22878 0 0 0 141 29 0 0 20 0 19 0 445399873 15787429888 291785 33554432000 4194304 4196468 140733016912240 140557197515504 140557728991874 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34131968 140733016916975 140733016917146 140733016917146 140733016920015 0
[pid=4869/tid=4876] ppid=4867 vsize=15417412 memory=1448 CPUtime=0 cores=4-7
/proc/4869/task/4876/stat : 4876 (java) S 4867 4867 4816 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 445399873 15787429888 291785 33554432000 4194304 4196468 140733016912240 140557196461792 140557728990933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34131968 140733016916975 140733016917146 140733016917146 140733016920015 0
[pid=4869/tid=4877] ppid=4867 vsize=15417412 memory=1448 CPUtime=0 cores=4-7
/proc/4869/task/4877/stat : 4877 (java) S 4867 4867 4816 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 19 0 445399873 15787429888 291785 33554432000 4194304 4196468 140733016912240 140557195408640 140557728990933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34131968 140733016916975 140733016917146 140733016917146 140733016920015 0
[pid=4869/tid=4889] ppid=4867 vsize=15417412 memory=4126316290023845779 CPUtime=0 cores=4-7
/proc/4869/task/4889/stat : 4889 (java) S 4867 4867 4816 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445399876 15787429888 291785 33554432000 4194304 4196468 140733016912240 140557194357200 140557728999323 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34131968 140733016916975 140733016917146 140733016917146 140733016920015 0
[pid=4869/tid=4890] ppid=4867 vsize=15417412 memory=4195447490462202311 CPUtime=1.52 cores=4-7
/proc/4869/task/4890/stat : 4890 (java) S 4867 4867 4816 0 -1 1077944384 8410 0 0 0 151 1 0 0 20 0 19 0 445399876 15787429888 291785 33554432000 4194304 4196468 140733016912240 140557193304304 140557728991874 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34131968 140733016916975 140733016917146 140733016917146 140733016920015 0
[pid=4869/tid=4891] ppid=4867 vsize=15417412 memory=1448 CPUtime=1.64 cores=4-7
/proc/4869/task/4891/stat : 4891 (java) S 4867 4867 4816 0 -1 1077944384 11256 0 0 0 163 1 0 0 20 0 19 0 445399876 15787429888 291785 33554432000 4194304 4196468 140733016912240 140557192251760 140557728991874 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34131968 140733016916975 140733016917146 140733016917146 140733016920015 0
[pid=4869/tid=4892] ppid=4867 vsize=15417412 memory=1172852 CPUtime=0.67 cores=4-7
/proc/4869/task/4892/stat : 4892 (java) S 4867 4867 4816 0 -1 1077944384 6828 0 0 0 66 1 0 0 20 0 19 0 445399876 15787429888 291785 33554432000 4194304 4196468 140733016912240 140557191198704 140557728991874 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34131968 140733016916975 140733016917146 140733016917146 140733016920015 0
[pid=4869/tid=4894] ppid=4867 vsize=15417412 memory=1756 CPUtime=0 cores=4-7
/proc/4869/task/4894/stat : 4894 (java) S 4867 4867 4816 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445399876 15787429888 291785 33554432000 4194304 4196468 140733016912240 140557190146400 140557728990933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34131968 140733016916975 140733016917146 140733016917146 140733016920015 0
[pid=4869/tid=4895] ppid=4867 vsize=15417412 memory=1398722017469774279 CPUtime=0.3 cores=4-7
/proc/4869/task/4895/stat : 4895 (java) S 4867 4867 4816 0 -1 1077944384 308 0 0 0 23 7 0 0 20 0 19 0 445399877 15787429888 291785 33554432000 4194304 4196468 140733016912240 140557189094448 140557728991874 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34131968 140733016916975 140733016917146 140733016917146 140733016920015 0
[pid=4869/tid=4909] ppid=4867 vsize=15417412 memory=1448 CPUtime=624.42 cores=4-7
/proc/4869/task/4909/stat : 4909 (java) R 4867 4867 4816 0 -1 4202560 4274 0 0 0 62433 9 0 0 20 0 19 0 445399948 15787429888 291785 33554432000 4194304 4196468 140733016912240 140557179874512 140557323355961 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34131968 140733016916975 140733016917146 140733016917146 140733016920015 0
[pid=4869/tid=4910] ppid=4867 vsize=15417412 memory=1165552 CPUtime=624.14 cores=4-7
/proc/4869/task/4910/stat : 4910 (java) R 4867 4867 4816 0 -1 4202560 5383 0 0 0 62403 11 0 0 20 0 19 0 445399948 15787429888 291785 33554432000 4194304 4196468 140733016912240 140557178825760 140557323823250 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 34131968 140733016916975 140733016917146 140733016917146 140733016920015 0
[pid=4869/tid=4911] ppid=4867 vsize=15417412 memory=1448 CPUtime=624.98 cores=4-7
/proc/4869/task/4911/stat : 4911 (java) R 4867 4867 4816 0 -1 4202560 3946 0 0 0 62487 11 0 0 20 0 19 0 445399948 15787429888 291785 33554432000 4194304 4196468 140733016912240 140557177770744 140557324386069 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34131968 140733016916975 140733016917146 140733016917146 140733016920015 0
[pid=4869/tid=4912] ppid=4867 vsize=15417412 memory=1166552 CPUtime=624.28 cores=4-7
/proc/4869/task/4912/stat : 4912 (java) R 4867 4867 4816 0 -1 4202560 5275 0 0 0 62420 8 0 0 20 0 19 0 445399948 15787429888 291785 33554432000 4194304 4196468 140733016912240 140557176716576 140557324148366 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34131968 140733016916975 140733016917146 140733016917146 140733016920015 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 1168588 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+636.534 s]
# the end of solver process 4867 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.002718 s, system=0 s
[startup+636.581 s]
# the end of solver process 4869 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2518.75 s, system=1.62601 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+636.501 s]
/proc/loadavg: 9.06 7.94 4.93 10/237 5316
/proc/meminfo: memFree=20852704/32770688 swapFree=66961208/67108860
[pid=4867] ppid=4864 vsize=113128 memory=1448 CPUtime=0 cores=4-7
/proc/4867/stat : 4867 (xcsp3-exec) S 4864 4867 4816 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445399870 115843072 362 33554432000 4194304 5098028 140721767350976 140721767349080 140454084874876 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 19927040 140721767355258 140721767355501 140721767355501 140721767358410 0
/proc/4867/statm: 28282 362 304 221 0 87 0
[pid=4869] ppid=4867 vsize=15417412 memory=1167140 CPUtime=2520.08 cores=4-7
/proc/4869/stat : 4869 (java) S 4867 4867 4816 0 -1 1077944320 103497 0 0 0 251847 161 0 0 20 0 19 0 445399870 15787429888 291785 33554432000 4194304 4196468 140733016912240 140733016894784 140557728980727 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 34131968 140733016916975 140733016917146 140733016917146 140733016920015 0
/proc/4869/statm: 3854353 291785 3519 1 0 3815453 0
[pid=4869/tid=4870] ppid=4867 vsize=15417412 memory=1171252 CPUtime=0.74 cores=4-7
/proc/4869/task/4870/stat : 4870 (java) S 4867 4867 4816 0 -1 1077944384 8618 0 0 0 71 3 0 0 20 0 19 0 445399870 15787429888 291785 33554432000 4194304 4196468 140733016912240 140557733221504 140557728990933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34131968 140733016916975 140733016917146 140733016917146 140733016920015 0
[pid=4869/tid=4871] ppid=4867 vsize=15417412 memory=1448 CPUtime=3.87 cores=4-7
/proc/4869/task/4871/stat : 4871 (java) S 4867 4867 4816 0 -1 1077944384 5209 0 0 0 365 22 0 0 20 0 19 0 445399871 15787429888 291785 33554432000 4194304 4196468 140733016912240 140557640636944 140557728990933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34131968 140733016916975 140733016917146 140733016917146 140733016920015 0
[pid=4869/tid=4872] ppid=4867 vsize=15417412 memory=1448 CPUtime=3.9 cores=4-7
/proc/4869/task/4872/stat : 4872 (java) S 4867 4867 4816 0 -1 1077944384 9629 0 0 0 366 24 0 0 20 0 19 0 445399871 15787429888 291785 33554432000 4194304 4196468 140733016912240 140557639584400 140557728990933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34131968 140733016916975 140733016917146 140733016917146 140733016920015 0
[pid=4869/tid=4873] ppid=4867 vsize=15417412 memory=1172828 CPUtime=3.89 cores=4-7
/proc/4869/task/4873/stat : 4873 (java) S 4867 4867 4816 0 -1 1077944384 5270 0 0 0 364 25 0 0 20 0 19 0 445399871 15787429888 291785 33554432000 4194304 4196468 140733016912240 140557638531344 140557728990933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34131968 140733016916975 140733016917146 140733016917146 140733016920015 0
[pid=4869/tid=4874] ppid=4867 vsize=15417412 memory=1167140 CPUtime=3.89 cores=4-7
/proc/4869/task/4874/stat : 4874 (java) S 4867 4867 4816 0 -1 1077944384 4915 0 0 0 367 22 0 0 20 0 19 0 445399871 15787429888 291785 33554432000 4194304 4196468 140733016912240 140557317826960 140557728990933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34131968 140733016916975 140733016917146 140733016917146 140733016920015 0
[pid=4869/tid=4875] ppid=4867 vsize=15417412 memory=1448 CPUtime=1.7 cores=4-7
/proc/4869/task/4875/stat : 4875 (java) S 4867 4867 4816 0 -1 1077944384 22878 0 0 0 141 29 0 0 20 0 19 0 445399873 15787429888 291785 33554432000 4194304 4196468 140733016912240 140557197515504 140557728991874 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34131968 140733016916975 140733016917146 140733016917146 140733016920015 0
[pid=4869/tid=4876] ppid=4867 vsize=15417412 memory=1448 CPUtime=0 cores=4-7
/proc/4869/task/4876/stat : 4876 (java) S 4867 4867 4816 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 445399873 15787429888 291785 33554432000 4194304 4196468 140733016912240 140557196461792 140557728990933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34131968 140733016916975 140733016917146 140733016917146 140733016920015 0
[pid=4869/tid=4877] ppid=4867 vsize=15417412 memory=1448 CPUtime=0 cores=4-7
/proc/4869/task/4877/stat : 4877 (java) S 4867 4867 4816 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 19 0 445399873 15787429888 291785 33554432000 4194304 4196468 140733016912240 140557195408640 140557728990933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34131968 140733016916975 140733016917146 140733016917146 140733016920015 0
[pid=4869/tid=4889] ppid=4867 vsize=15417412 memory=4126316290023845779 CPUtime=0 cores=4-7
/proc/4869/task/4889/stat : 4889 (java) S 4867 4867 4816 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445399876 15787429888 291785 33554432000 4194304 4196468 140733016912240 140557194357200 140557728999323 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34131968 140733016916975 140733016917146 140733016917146 140733016920015 0
[pid=4869/tid=4890] ppid=4867 vsize=15417412 memory=4195447490462202311 CPUtime=1.52 cores=4-7
/proc/4869/task/4890/stat : 4890 (java) S 4867 4867 4816 0 -1 1077944384 8410 0 0 0 151 1 0 0 20 0 19 0 445399876 15787429888 291785 33554432000 4194304 4196468 140733016912240 140557193304304 140557728991874 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34131968 140733016916975 140733016917146 140733016917146 140733016920015 0
[pid=4869/tid=4891] ppid=4867 vsize=15417412 memory=1448 CPUtime=1.64 cores=4-7
/proc/4869/task/4891/stat : 4891 (java) S 4867 4867 4816 0 -1 1077944384 11256 0 0 0 163 1 0 0 20 0 19 0 445399876 15787429888 291785 33554432000 4194304 4196468 140733016912240 140557192251760 140557728991874 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34131968 140733016916975 140733016917146 140733016917146 140733016920015 0
[pid=4869/tid=4892] ppid=4867 vsize=15417412 memory=1172852 CPUtime=0.67 cores=4-7
/proc/4869/task/4892/stat : 4892 (java) S 4867 4867 4816 0 -1 1077944384 6828 0 0 0 66 1 0 0 20 0 19 0 445399876 15787429888 291785 33554432000 4194304 4196468 140733016912240 140557191198704 140557728991874 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34131968 140733016916975 140733016917146 140733016917146 140733016920015 0
[pid=4869/tid=4894] ppid=4867 vsize=15417412 memory=1756 CPUtime=0 cores=4-7
/proc/4869/task/4894/stat : 4894 (java) S 4867 4867 4816 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445399876 15787429888 291785 33554432000 4194304 4196468 140733016912240 140557190146400 140557728990933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34131968 140733016916975 140733016917146 140733016917146 140733016920015 0
[pid=4869/tid=4895] ppid=4867 vsize=15417412 memory=1398722017469774279 CPUtime=0.3 cores=4-7
/proc/4869/task/4895/stat : 4895 (java) S 4867 4867 4816 0 -1 1077944384 308 0 0 0 23 7 0 0 20 0 19 0 445399877 15787429888 291785 33554432000 4194304 4196468 140733016912240 140557189094448 140557728991874 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34131968 140733016916975 140733016917146 140733016917146 140733016920015 0
[pid=4869/tid=4909] ppid=4867 vsize=15417412 memory=1448 CPUtime=624.42 cores=4-7
/proc/4869/task/4909/stat : 4909 (java) R 4867 4867 4816 0 -1 4202560 4274 0 0 0 62433 9 0 0 20 0 19 0 445399948 15787429888 291785 33554432000 4194304 4196468 140733016912240 140557179874512 140557323355961 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34131968 140733016916975 140733016917146 140733016917146 140733016920015 0
[pid=4869/tid=4910] ppid=4867 vsize=15417412 memory=1165552 CPUtime=624.14 cores=4-7
/proc/4869/task/4910/stat : 4910 (java) R 4867 4867 4816 0 -1 4202560 5383 0 0 0 62403 11 0 0 20 0 19 0 445399948 15787429888 291785 33554432000 4194304 4196468 140733016912240 140557178825760 140557323823250 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 34131968 140733016916975 140733016917146 140733016917146 140733016920015 0
[pid=4869/tid=4911] ppid=4867 vsize=15417412 memory=1448 CPUtime=624.98 cores=4-7
/proc/4869/task/4911/stat : 4911 (java) R 4867 4867 4816 0 -1 4202560 3946 0 0 0 62487 11 0 0 20 0 19 0 445399948 15787429888 291785 33554432000 4194304 4196468 140733016912240 140557177770744 140557324386069 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34131968 140733016916975 140733016917146 140733016917146 140733016920015 0
[pid=4869/tid=4912] ppid=4867 vsize=15417412 memory=1166552 CPUtime=624.28 cores=4-7
/proc/4869/task/4912/stat : 4912 (java) R 4867 4867 4816 0 -1 4202560 5275 0 0 0 62420 8 0 0 20 0 19 0 445399948 15787429888 291785 33554432000 4194304 4196468 140733016912240 140557176716576 140557324148366 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34131968 140733016916975 140733016917146 140733016917146 140733016920015 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 1168588 KiB
Child status: 143
Real time (s): 636.581
CPU time (s): 2520.38
CPU user time (s): 2518.75
CPU system time (s): 1.62601
CPU usage (%): 395.924
Max. virtual memory (cumulated for all children) (KiB): 15530540
Max. memory (cumulated for all children) (KiB): 1232712
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.75
system time used= 1.62601
maximum resident set size= 1260992
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 104268
page faults= 0
swaps= 0
block input operations= 0
block output operations= 880
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 69231
involuntary context switches= 53347
# summary of solver processes directly reported to runsolver:
# pid: 4867,4869
# total CPU time (s): 2520.38
# total CPU user time (s): 2518.75
# total CPU system time (s): 1.62601
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.34508 second user time and 8.28276 second system time
The end
Begin job on node116 at 2019-09-17 06:29:01
IDJOB=4398935
IDBENCH=123576
IDSOLVER=2853
FILE ID=node116/4398935-1568694582
RUNJOBID= node116-1568694541-4848
PBS_JOBID= 21703807
Free space on /tmp= 61232 MiB
SOLVER NAME= choco-solver 2019-09-16
BENCH NAME= XCSP17/Sat/Sat-m1-various/hole-10.xml
COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 12000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4398935-1568694582/watcher-4398935-1568694582 -o /tmp/evaluation-result-4398935-1568694582/solver-4398935-1568694582 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node116-1568694541-4848 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 1734036904 HOME/instance-4398935-1568694582.xml
TIME LIMIT= 2520 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4
MD5SUM BENCH= 9520e39dbeb812da3aa0c7bffde6870d
RANDOM SEED=1734036904
node116.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2667.000
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5333.12
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2667.000
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5333.12
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2667.000
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5333.12
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2667.000
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5333.12
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2667.000
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2667.000
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2667.000
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2667.000
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 32770688 kB
MemFree: 30584684 kB
MemAvailable: 31847268 kB
Buffers: 145868 kB
Cached: 1410968 kB
SwapCached: 46588 kB
Active: 1022400 kB
Inactive: 584576 kB
Active(anon): 4096 kB
Inactive(anon): 95224 kB
Active(file): 1018304 kB
Inactive(file): 489352 kB
Unevictable: 110836 kB
Mlocked: 110836 kB
SwapTotal: 67108860 kB
SwapFree: 66961208 kB
Dirty: 51936 kB
Writeback: 0 kB
AnonPages: 117228 kB
Mapped: 47460 kB
Shmem: 40292 kB
Slab: 170300 kB
SReclaimable: 141528 kB
SUnreclaim: 28772 kB
KernelStack: 3296 kB
PageTables: 5696 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494204 kB
Committed_AS: 509680 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 350212 kB
VmallocChunk: 34341910524 kB
HardwareCorrupted: 0 kB
AnonHugePages: 71680 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 116160 kB
DirectMap2M: 33429504 kB
Free space on /tmp at the end= 61164 MiB
End job on node116 at 2019-09-17 06:39:38