Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
choco-solver 2019-09-16 | SAT | 1.31848 | 0.637876 |
Name | Primes/ Primes-m1-p15/Primes-15-20-2-7.xml |
MD5SUM | d26c1a16a8e9a423ebbeb7c1b2e2b431 |
Bench Category | CSP (decision problem) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 0.008024 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 100 |
Number of constraints | 20 |
Number of domains | 1 |
Minimum domain size | 46 |
Maximum domain size | 46 |
Distribution of domain sizes | [{"size":46,"count":76}] |
Minimum variable degree | 0 |
Maximum variable degree | 5 |
Distribution of variable degrees | [{"degree":0,"count":24},{"degree":1,"count":44},{"degree":2,"count":15},{"degree":3,"count":11},{"degree":4,"count":5},{"degree":5,"count":1}] |
Minimum constraint arity | 3 |
Maximum constraint arity | 9 |
Distribution of constraint arities | [{"arity":3,"count":2},{"arity":4,"count":3},{"arity":6,"count":4},{"arity":7,"count":2},{"arity":8,"count":5},{"arity":9,"count":4}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"sum","count":20}] |
Optimization problem | NO |
Type of objective |
0.00/0.00 c java -server -Xmx12000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4398956-1568698271.xml" -tl '2520s' -p 4 0.13/0.19 c Choco e747e1e 0.13/0.20 c [HOME/instance-4398956-1568698271.xml, -tl, 2520s, -p, 4] 0.35/0.24 c 4 solvers in parallel 0.35/0.31 c parse instance... 0.97/0.59 c solve instance... 1.28/0.62 s SATISFIABLE 1.28/0.62 v <instantiation> 1.28/0.62 v <list>x[0] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[17] x[19] x[20] x[21] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[43] x[44] x[46] x[47] x[48] x[50] x[53] x[54] x[55] x[56] x[59] x[60] x[61] x[63] x[64] x[65] x[66] x[67] x[69] x[72] x[73] x[74] x[75] x[79] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] x[90] x[91] x[92] x[93] x[94] x[97] x[99] </list> 1.28/0.62 v <values>2 23 10 23 41 15 2 2 11 13 2 43 47 2 19 2 47 21 15 34 2 33 2 2 46 47 2 46 12 27 18 24 14 9 47 2 6 2 5 47 4 2 17 47 13 2 2 2 14 33 2 47 11 40 5 42 2 33 47 2 2 11 47 46 30 43 37 2 20 2 7 3 2 45 11 44 </values> 1.28/0.62 v </instantiation>
OK
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 (14224 MiB free) memory of node 1: 16384 MiB (15437 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4398956-1568698271/watcher-4398956-1568698271 -o /tmp/evaluation-result-4398956-1568698271/solver-4398956-1568698271 -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 1805373049 HOME/instance-4398956-1568698271.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=15027, runsolver pid=15024 [startup+0.100108 s]* /proc/loadavg: 7.76 8.42 8.30 7/234 15043 /proc/meminfo: memFree=30356952/32770688 swapFree=66961208/67108860 [pid=15027] ppid=15024 vsize=113128 memory=1452 CPUtime=0 cores=4-7 /proc/15027/stat : 15027 (xcsp3-exec) S 15024 15027 4816 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445768780 115843072 363 33554432000 4194304 5098028 140723398387232 140723398385336 140648338453116 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 16904192 140723398390650 140723398390893 140723398390893 140723398393802 0 /proc/15027/statm: 28282 363 304 221 0 87 0 [pid=15029] ppid=15027 vsize=15144776 memory=29004 CPUtime=0.13 cores=4-7 /proc/15029/stat : 15029 (java) S 15027 15027 4816 0 -1 1077944320 5708 0 0 0 11 2 0 0 20 0 15 0 445768780 15508250624 7251 33554432000 4194304 4196468 140725314456144 140725314438688 140652937027319 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 24887296 140725314462703 140725314462874 140725314462874 140725314465743 0 /proc/15029/statm: 3786194 7251 3118 1 0 3748377 0 [pid=15029/tid=15030] ppid=15027 vsize=15144776 memory=8252428994737482315 CPUtime=0.09 cores=4-7 /proc/15029/task/15030/stat : 15030 (java) R 15027 15027 4816 0 -1 4202560 3640 0 0 0 8 1 0 0 20 0 15 0 445768781 15508250624 7251 33554432000 4194304 4196468 140725314456144 140652941253904 140652921557029 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24887296 140725314462703 140725314462874 140725314462874 140725314465743 0 [pid=15029/tid=15031] ppid=15027 vsize=15144776 memory=-3689349214911541841 CPUtime=0 cores=4-7 /proc/15029/task/15031/stat : 15031 (java) S 15027 15027 4816 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445768781 15508250624 7251 33554432000 4194304 4196468 140725314456144 140652528921104 140652937037525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24887296 140725314462703 140725314462874 140725314462874 140725314465743 0 [pid=15029/tid=15032] ppid=15027 vsize=15144776 memory=140083477554816 CPUtime=0 cores=4-7 /proc/15029/task/15032/stat : 15032 (java) S 15027 15027 4816 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445768781 15508250624 7251 33554432000 4194304 4196468 140725314456144 140652527868560 140652937037525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24887296 140725314462703 140725314462874 140725314462874 140725314465743 0 [pid=15029/tid=15033] ppid=15027 vsize=15144776 memory=0 CPUtime=0 cores=4-7 /proc/15029/task/15033/stat : 15033 (java) S 15027 15027 4816 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445768781 15508250624 7251 33554432000 4194304 4196468 140725314456144 140652526815504 140652937037525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24887296 140725314462703 140725314462874 140725314462874 140725314465743 0 [pid=15029/tid=15034] ppid=15027 vsize=15144776 memory=-1 CPUtime=0 cores=4-7 /proc/15029/task/15034/stat : 15034 (java) S 15027 15027 4816 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445768781 15508250624 7251 33554432000 4194304 4196468 140725314456144 140652525762960 140652937037525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24887296 140725314462703 140725314462874 140725314462874 140725314465743 0 [pid=15029/tid=15035] ppid=15027 vsize=15144776 memory=140083477554816 CPUtime=0 cores=4-7 /proc/15029/task/15035/stat : 15035 (java) S 15027 15027 4816 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445768783 15508250624 7251 33554432000 4194304 4196468 140725314456144 140652472859376 140652937038466 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24887296 140725314462703 140725314462874 140725314462874 140725314465743 0 [pid=15029/tid=15036] ppid=15027 vsize=15144776 memory=-1 CPUtime=0 cores=4-7 /proc/15029/task/15036/stat : 15036 (java) S 15027 15027 4816 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445768783 15508250624 7251 33554432000 4194304 4196468 140725314456144 140652471805600 140652937037525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24887296 140725314462703 140725314462874 140725314462874 140725314465743 0 [pid=15029/tid=15037] ppid=15027 vsize=15144776 memory=0 CPUtime=0 cores=4-7 /proc/15029/task/15037/stat : 15037 (java) S 15027 15027 4816 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445768784 15508250624 7251 33554432000 4194304 4196468 140725314456144 140652470752496 140652937037525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24887296 140725314462703 140725314462874 140725314462874 140725314465743 0 [pid=15029/tid=15038] ppid=15027 vsize=15144776 memory=0 CPUtime=0 cores=4-7 /proc/15029/task/15038/stat : 15038 (java) S 15027 15027 4816 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445768786 15508250624 7251 33554432000 4194304 4196468 140725314456144 140652469701072 140652937045915 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24887296 140725314462703 140725314462874 140725314462874 140725314465743 0 [pid=15029/tid=15039] ppid=15027 vsize=15144776 memory=0 CPUtime=0 cores=4-7 /proc/15029/task/15039/stat : 15039 (java) S 15027 15027 4816 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 15 0 445768786 15508250624 7251 33554432000 4194304 4196468 140725314456144 140652468648176 140652937038466 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24887296 140725314462703 140725314462874 140725314462874 140725314465743 0 [pid=15029/tid=15040] ppid=15027 vsize=15144776 memory=-1 CPUtime=0 cores=4-7 /proc/15029/task/15040/stat : 15040 (java) R 15027 15027 4816 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 445768786 15508250624 7251 33554432000 4194304 4196468 140725314456144 140652467595632 140652937038466 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24887296 140725314462703 140725314462874 140725314462874 140725314465743 0 [pid=15029/tid=15041] ppid=15027 vsize=15144776 memory=140083477554816 CPUtime=0.01 cores=4-7 /proc/15029/task/15041/stat : 15041 (java) R 15027 15027 4816 0 -1 4202560 340 0 0 0 1 0 0 0 20 0 15 0 445768786 15508250624 7251 33554432000 4194304 4196468 140725314456144 140652466542576 140652929264446 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24887296 140725314462703 140725314462874 140725314462874 140725314465743 0 [pid=15029/tid=15042] ppid=15027 vsize=15144776 memory=-1 CPUtime=0 cores=4-7 /proc/15029/task/15042/stat : 15042 (java) S 15027 15027 4816 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445768787 15508250624 7251 33554432000 4194304 4196468 140725314456144 140652465490272 140652937037525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24887296 140725314462703 140725314462874 140725314462874 140725314465743 0 [pid=15029/tid=15043] ppid=15027 vsize=15144776 memory=140083477554816 CPUtime=0 cores=4-7 /proc/15029/task/15043/stat : 15043 (java) S 15027 15027 4816 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445768787 15508250624 7251 33554432000 4194304 4196468 140725314456144 140652464438320 140652937038466 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24887296 140725314462703 140725314462874 140725314462874 140725314465743 0 Current children cumulated CPU time: 0.13 s Current children cumulated vsize: 15257904 KiB Current children cumulated memory: 30456 KiB [startup+0.211714 s]* /proc/loadavg: 7.76 8.42 8.30 6/234 15043 /proc/meminfo: memFree=30344332/32770688 swapFree=66961208/67108860 [pid=15027] ppid=15024 vsize=113128 memory=1452 CPUtime=0 cores=4-7 /proc/15027/stat : 15027 (xcsp3-exec) S 15024 15027 4816 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445768780 115843072 363 33554432000 4194304 5098028 140723398387232 140723398385336 140648338453116 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 16904192 140723398390650 140723398390893 140723398390893 140723398393802 0 /proc/15027/statm: 28282 363 304 221 0 87 0 [pid=15029] ppid=15027 vsize=15144776 memory=40220 CPUtime=0.35 cores=4-7 /proc/15029/stat : 15029 (java) S 15027 15027 4816 0 -1 1077944320 9257 0 0 0 32 3 0 0 20 0 15 0 445768780 15508250624 10055 33554432000 4194304 4196468 140725314456144 140725314438688 140652937027319 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 24887296 140725314462703 140725314462874 140725314462874 140725314465743 0 /proc/15029/statm: 3786194 10055 3308 1 0 3748377 0 [pid=15029/tid=15030] ppid=15027 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=4-7 /proc/15029/task/15030/stat : 15030 (java) R 15027 15027 4816 0 -1 4202560 6572 0 0 0 18 2 0 0 20 0 15 0 445768781 15508250624 10055 33554432000 4194304 4196468 140725314456144 140652941261408 140652937049245 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24887296 140725314462703 140725314462874 140725314462874 140725314465743 0 [pid=15029/tid=15031] ppid=15027 vsize=15144776 memory=9642 CPUtime=0 cores=4-7 /proc/15029/task/15031/stat : 15031 (java) S 15027 15027 4816 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445768781 15508250624 10055 33554432000 4194304 4196468 140725314456144 140652528921104 140652937037525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24887296 140725314462703 140725314462874 140725314462874 140725314465743 0 [pid=15029/tid=15032] ppid=15027 vsize=15144776 memory=3977302118221742112 CPUtime=0 cores=4-7 /proc/15029/task/15032/stat : 15032 (java) S 15027 15027 4816 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445768781 15508250624 10055 33554432000 4194304 4196468 140725314456144 140652527868560 140652937037525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24887296 140725314462703 140725314462874 140725314462874 140725314465743 0 [pid=15029/tid=15033] ppid=15027 vsize=15144776 memory=0 CPUtime=0 cores=4-7 /proc/15029/task/15033/stat : 15033 (java) S 15027 15027 4816 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445768781 15508250624 10055 33554432000 4194304 4196468 140725314456144 140652526815504 140652937037525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24887296 140725314462703 140725314462874 140725314462874 140725314465743 0 [pid=15029/tid=15034] ppid=15027 vsize=15144776 memory=-1 CPUtime=0 cores=4-7 /proc/15029/task/15034/stat : 15034 (java) S 15027 15027 4816 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445768781 15508250624 10055 33554432000 4194304 4196468 140725314456144 140652525762960 140652937037525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24887296 140725314462703 140725314462874 140725314462874 140725314465743 0 [pid=15029/tid=15035] ppid=15027 vsize=15144776 memory=0 CPUtime=0 cores=4-7 /proc/15029/task/15035/stat : 15035 (java) S 15027 15027 4816 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445768783 15508250624 10055 33554432000 4194304 4196468 140725314456144 140652472859376 140652937038466 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24887296 140725314462703 140725314462874 140725314462874 140725314465743 0 [pid=15029/tid=15036] ppid=15027 vsize=15144776 memory=-1 CPUtime=0 cores=4-7 /proc/15029/task/15036/stat : 15036 (java) S 15027 15027 4816 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445768783 15508250624 10055 33554432000 4194304 4196468 140725314456144 140652471805600 140652937037525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24887296 140725314462703 140725314462874 140725314462874 140725314465743 0 [pid=15029/tid=15037] ppid=15027 vsize=15144776 memory=140083477554816 CPUtime=0 cores=4-7 /proc/15029/task/15037/stat : 15037 (java) S 15027 15027 4816 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445768784 15508250624 10055 33554432000 4194304 4196468 140725314456144 140652470752496 140652937037525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24887296 140725314462703 140725314462874 140725314462874 140725314465743 0 [pid=15029/tid=15038] ppid=15027 vsize=15144776 memory=-1 CPUtime=0 cores=4-7 /proc/15029/task/15038/stat : 15038 (java) S 15027 15027 4816 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445768786 15508250624 10055 33554432000 4194304 4196468 140725314456144 140652469701072 140652937045915 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24887296 140725314462703 140725314462874 140725314462874 140725314465743 0 [pid=15029/tid=15039] ppid=15027 vsize=15144776 memory=0 CPUtime=0.01 cores=4-7 /proc/15029/task/15039/stat : 15039 (java) S 15027 15027 4816 0 -1 1077944384 313 0 0 0 1 0 0 0 20 0 15 0 445768786 15508250624 10055 33554432000 4194304 4196468 140725314456144 140652468648176 140652937038466 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24887296 140725314462703 140725314462874 140725314462874 140725314465743 0 [pid=15029/tid=15040] ppid=15027 vsize=15144776 memory=-1 CPUtime=0.03 cores=4-7 /proc/15029/task/15040/stat : 15040 (java) S 15027 15027 4816 0 -1 1077944384 305 0 0 0 3 0 0 0 20 0 15 0 445768786 15508250624 10055 33554432000 4194304 4196468 140725314456144 140652467595632 140652937038466 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24887296 140725314462703 140725314462874 140725314462874 140725314465743 0 [pid=15029/tid=15041] ppid=15027 vsize=15144776 memory=0 CPUtime=0.08 cores=4-7 /proc/15029/task/15041/stat : 15041 (java) S 15027 15027 4816 0 -1 1077944384 764 0 0 0 8 0 0 0 20 0 15 0 445768786 15508250624 10055 33554432000 4194304 4196468 140725314456144 140652466542576 140652937038466 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24887296 140725314462703 140725314462874 140725314462874 140725314465743 0 [pid=15029/tid=15042] ppid=15027 vsize=15144776 memory=0 CPUtime=0 cores=4-7 /proc/15029/task/15042/stat : 15042 (java) S 15027 15027 4816 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445768787 15508250624 10055 33554432000 4194304 4196468 140725314456144 140652465490272 140652937037525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24887296 140725314462703 140725314462874 140725314462874 140725314465743 0 [pid=15029/tid=15043] ppid=15027 vsize=15144776 memory=0 CPUtime=0 cores=4-7 /proc/15029/task/15043/stat : 15043 (java) S 15027 15027 4816 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445768787 15508250624 10055 33554432000 4194304 4196468 140725314456144 140652464438320 140652937038466 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24887296 140725314462703 140725314462874 140725314462874 140725314465743 0 Current children cumulated CPU time: 0.35 s Current children cumulated vsize: 15257904 KiB Current children cumulated memory: 41672 KiB [startup+0.311596 s]* /proc/loadavg: 7.76 8.42 8.30 6/234 15043 /proc/meminfo: memFree=30339980/32770688 swapFree=66961208/67108860 [pid=15027] ppid=15024 vsize=113128 memory=1452 CPUtime=0 cores=4-7 /proc/15027/stat : 15027 (xcsp3-exec) S 15024 15027 4816 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445768780 115843072 363 33554432000 4194304 5098028 140723398387232 140723398385336 140648338453116 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 16904192 140723398390650 140723398390893 140723398390893 140723398393802 0 /proc/15027/statm: 28282 363 304 221 0 87 0 [pid=15029] ppid=15027 vsize=15149032 memory=46552 CPUtime=0.52 cores=4-7 /proc/15029/stat : 15029 (java) S 15027 15027 4816 0 -1 1077944320 10514 0 0 0 48 4 0 0 20 0 15 0 445768780 15512608768 11638 33554432000 4194304 4196468 140725314456144 140725314438688 140652937027319 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 24887296 140725314462703 140725314462874 140725314462874 140725314465743 0 /proc/15029/statm: 3787258 11638 3343 1 0 3748377 0 [pid=15029/tid=15030] ppid=15027 vsize=15149032 memory=7883960649037381690 CPUtime=0.3 cores=4-7 /proc/15029/task/15030/stat : 15030 (java) R 15027 15027 4816 0 -1 4202560 7586 0 0 0 27 3 0 0 20 0 15 0 445768781 15512608768 11638 33554432000 4194304 4196468 140725314456144 140652941240368 140652921107806 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24887296 140725314462703 140725314462874 140725314462874 140725314465743 0 [pid=15029/tid=15031] ppid=15027 vsize=15149032 memory=0 CPUtime=0 cores=4-7 /proc/15029/task/15031/stat : 15031 (java) S 15027 15027 4816 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445768781 15512608768 11638 33554432000 4194304 4196468 140725314456144 140652528921104 140652937037525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24887296 140725314462703 140725314462874 140725314462874 140725314465743 0 [pid=15029/tid=15032] ppid=15027 vsize=15149032 memory=4050200834359951392 CPUtime=0 cores=4-7 /proc/15029/task/15032/stat : 15032 (java) S 15027 15027 4816 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445768781 15512608768 11638 33554432000 4194304 4196468 140725314456144 140652527868560 140652937037525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24887296 140725314462703 140725314462874 140725314462874 140725314465743 0 [pid=15029/tid=15033] ppid=15027 vsize=15149032 memory=0 CPUtime=0 cores=4-7 /proc/15029/task/15033/stat : 15033 (java) S 15027 15027 4816 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445768781 15512608768 11638 33554432000 4194304 4196468 140725314456144 140652526815504 140652937037525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24887296 140725314462703 140725314462874 140725314462874 140725314465743 0 [pid=15029/tid=15034] ppid=15027 vsize=15149032 memory=-1 CPUtime=0 cores=4-7 /proc/15029/task/15034/stat : 15034 (java) S 15027 15027 4816 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445768781 15512608768 11638 33554432000 4194304 4196468 140725314456144 140652525762960 140652937037525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24887296 140725314462703 140725314462874 140725314462874 140725314465743 0 [pid=15029/tid=15035] ppid=15027 vsize=15149032 memory=140083477554816 CPUtime=0 cores=4-7 /proc/15029/task/15035/stat : 15035 (java) S 15027 15027 4816 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445768783 15512608768 11638 33554432000 4194304 4196468 140725314456144 140652472859376 140652937038466 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24887296 140725314462703 140725314462874 140725314462874 140725314465743 0 [pid=15029/tid=15036] ppid=15027 vsize=15149032 memory=-1 CPUtime=0 cores=4-7 /proc/15029/task/15036/stat : 15036 (java) S 15027 15027 4816 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445768783 15512608768 11638 33554432000 4194304 4196468 140725314456144 140652471805600 140652937037525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24887296 140725314462703 140725314462874 140725314462874 140725314465743 0 [pid=15029/tid=15037] ppid=15027 vsize=15149032 memory=0 CPUtime=0 cores=4-7 /proc/15029/task/15037/stat : 15037 (java) S 15027 15027 4816 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445768784 15512608768 11638 33554432000 4194304 4196468 140725314456144 140652470752496 140652937037525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24887296 140725314462703 140725314462874 140725314462874 140725314465743 0 [pid=15029/tid=15038] ppid=15027 vsize=15149032 memory=0 CPUtime=0 cores=4-7 /proc/15029/task/15038/stat : 15038 (java) S 15027 15027 4816 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445768786 15512608768 11638 33554432000 4194304 4196468 140725314456144 140652469701072 140652937045915 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24887296 140725314462703 140725314462874 140725314462874 140725314465743 0 [pid=15029/tid=15039] ppid=15027 vsize=15149032 memory=0 CPUtime=0.03 cores=4-7 /proc/15029/task/15039/stat : 15039 (java) S 15027 15027 4816 0 -1 1077944384 363 0 0 0 3 0 0 0 20 0 15 0 445768786 15512608768 11638 33554432000 4194304 4196468 140725314456144 140652468648176 140652937038466 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24887296 140725314462703 140725314462874 140725314462874 140725314465743 0 [pid=15029/tid=15040] ppid=15027 vsize=15149032 memory=-1 CPUtime=0.05 cores=4-7 /proc/15029/task/15040/stat : 15040 (java) S 15027 15027 4816 0 -1 1077944384 358 0 0 0 5 0 0 0 20 0 15 0 445768786 15512608768 11638 33554432000 4194304 4196468 140725314456144 140652467595632 140652937038466 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24887296 140725314462703 140725314462874 140725314462874 140725314465743 0 [pid=15029/tid=15041] ppid=15027 vsize=15149032 memory=140083477554816 CPUtime=0.13 cores=4-7 /proc/15029/task/15041/stat : 15041 (java) S 15027 15027 4816 0 -1 1077944384 903 0 0 0 13 0 0 0 20 0 15 0 445768786 15512608768 11638 33554432000 4194304 4196468 140725314456144 140652466542576 140652937038466 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24887296 140725314462703 140725314462874 140725314462874 140725314465743 0 [pid=15029/tid=15042] ppid=15027 vsize=15149032 memory=-1 CPUtime=0 cores=4-7 /proc/15029/task/15042/stat : 15042 (java) S 15027 15027 4816 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445768787 15512608768 11638 33554432000 4194304 4196468 140725314456144 140652465490272 140652937037525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24887296 140725314462703 140725314462874 140725314462874 140725314465743 0 [pid=15029/tid=15043] ppid=15027 vsize=15149032 memory=140083477554816 CPUtime=0 cores=4-7 /proc/15029/task/15043/stat : 15043 (java) S 15027 15027 4816 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445768787 15512608768 11638 33554432000 4194304 4196468 140725314456144 140652464438320 140652937038466 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24887296 140725314462703 140725314462874 140725314462874 140725314465743 0 Current children cumulated CPU time: 0.52 s Current children cumulated vsize: 15262160 KiB Current children cumulated memory: 48004 KiB [startup+0.637837 s] # the end of solver process 15027 was just reported to runsolver # cumulated CPU time of all completed processes: user=1.24874 s, system=0.069741 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+0.411548 s]* /proc/loadavg: 7.76 8.42 8.30 8/234 15043 /proc/meminfo: memFree=30334140/32770688 swapFree=66961208/67108860 [pid=15027] ppid=15024 vsize=113128 memory=1452 CPUtime=0 cores=4-7 /proc/15027/stat : 15027 (xcsp3-exec) S 15024 15027 4816 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445768780 115843072 363 33554432000 4194304 5098028 140723398387232 140723398385336 140648338453116 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 16904192 140723398390650 140723398390893 140723398390893 140723398393802 0 /proc/15027/statm: 28282 363 304 221 0 87 0 [pid=15029] ppid=15027 vsize=15149108 memory=52196 CPUtime=0.72 cores=4-7 /proc/15029/stat : 15029 (java) S 15027 15027 4816 0 -1 1077944320 11391 0 0 0 67 5 0 0 20 0 15 0 445768780 15512686592 13049 33554432000 4194304 4196468 140725314456144 140725314438688 140652937027319 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 24887296 140725314462703 140725314462874 140725314462874 140725314465743 0 /proc/15029/statm: 3787277 13049 3390 1 0 3748377 0 [pid=15029/tid=15030] ppid=15027 vsize=15149108 memory=7883960649037381690 CPUtime=0.4 cores=4-7 /proc/15029/task/15030/stat : 15030 (java) R 15027 15027 4816 0 -1 4202560 8221 0 0 0 36 4 0 0 20 0 15 0 445768781 15512686592 13049 33554432000 4194304 4196468 140725314456144 140652941264368 140652545448749 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24887296 140725314462703 140725314462874 140725314462874 140725314465743 0 [pid=15029/tid=15031] ppid=15027 vsize=15149108 memory=9642 CPUtime=0 cores=4-7 /proc/15029/task/15031/stat : 15031 (java) S 15027 15027 4816 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445768781 15512686592 13049 33554432000 4194304 4196468 140725314456144 140652528921104 140652937037525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24887296 140725314462703 140725314462874 140725314462874 140725314465743 0 [pid=15029/tid=15032] ppid=15027 vsize=15149108 memory=3977302118221742112 CPUtime=0 cores=4-7 /proc/15029/task/15032/stat : 15032 (java) S 15027 15027 4816 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445768781 15512686592 13049 33554432000 4194304 4196468 140725314456144 140652527868560 140652937037525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24887296 140725314462703 140725314462874 140725314462874 140725314465743 0 [pid=15029/tid=15033] ppid=15027 vsize=15149108 memory=0 CPUtime=0 cores=4-7 /proc/15029/task/15033/stat : 15033 (java) S 15027 15027 4816 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445768781 15512686592 13049 33554432000 4194304 4196468 140725314456144 140652526815504 140652937037525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24887296 140725314462703 140725314462874 140725314462874 140725314465743 0 [pid=15029/tid=15034] ppid=15027 vsize=15149108 memory=-1 CPUtime=0 cores=4-7 /proc/15029/task/15034/stat : 15034 (java) S 15027 15027 4816 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445768781 15512686592 13049 33554432000 4194304 4196468 140725314456144 140652525762960 140652937037525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24887296 140725314462703 140725314462874 140725314462874 140725314465743 0 [pid=15029/tid=15035] ppid=15027 vsize=15149108 memory=0 CPUtime=0 cores=4-7 /proc/15029/task/15035/stat : 15035 (java) S 15027 15027 4816 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445768783 15512686592 13049 33554432000 4194304 4196468 140725314456144 140652472859376 140652937038466 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24887296 140725314462703 140725314462874 140725314462874 140725314465743 0 [pid=15029/tid=15036] ppid=15027 vsize=15149108 memory=-1 CPUtime=0 cores=4-7 /proc/15029/task/15036/stat : 15036 (java) S 15027 15027 4816 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445768783 15512686592 13049 33554432000 4194304 4196468 140725314456144 140652471805600 140652937037525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24887296 140725314462703 140725314462874 140725314462874 140725314465743 0 [pid=15029/tid=15037] ppid=15027 vsize=15149108 memory=140083477554816 CPUtime=0 cores=4-7 /proc/15029/task/15037/stat : 15037 (java) S 15027 15027 4816 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445768784 15512686592 13049 33554432000 4194304 4196468 140725314456144 140652470752496 140652937037525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24887296 140725314462703 140725314462874 140725314462874 140725314465743 0 [pid=15029/tid=15038] ppid=15027 vsize=15149108 memory=-1 CPUtime=0 cores=4-7 /proc/15029/task/15038/stat : 15038 (java) S 15027 15027 4816 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445768786 15512686592 13049 33554432000 4194304 4196468 140725314456144 140652469701072 140652937045915 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24887296 140725314462703 140725314462874 140725314462874 140725314465743 0 [pid=15029/tid=15039] ppid=15027 vsize=15149108 memory=0 CPUtime=0.05 cores=4-7 /proc/15029/task/15039/stat : 15039 (java) S 15027 15027 4816 0 -1 1077944384 383 0 0 0 5 0 0 0 20 0 15 0 445768786 15512686592 13049 33554432000 4194304 4196468 140725314456144 140652468648176 140652937038466 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24887296 140725314462703 140725314462874 140725314462874 140725314465743 0 [pid=15029/tid=15040] ppid=15027 vsize=15149108 memory=-1 CPUtime=0.07 cores=4-7 /proc/15029/task/15040/stat : 15040 (java) S 15027 15027 4816 0 -1 1077944384 470 0 0 0 7 0 0 0 20 0 15 0 445768786 15512686592 13049 33554432000 4194304 4196468 140725314456144 140652467595632 140652937038466 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24887296 140725314462703 140725314462874 140725314462874 140725314465743 0 [pid=15029/tid=15041] ppid=15027 vsize=15149108 memory=0 CPUtime=0.17 cores=4-7 /proc/15029/task/15041/stat : 15041 (java) R 15027 15027 4816 0 -1 4202560 1013 0 0 0 17 0 0 0 20 0 15 0 445768786 15512686592 13049 33554432000 4194304 4196468 140725314456144 140652466542576 140652915393774 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24887296 140725314462703 140725314462874 140725314462874 140725314465743 0 [pid=15029/tid=15042] ppid=15027 vsize=15149108 memory=0 CPUtime=0 cores=4-7 /proc/15029/task/15042/stat : 15042 (java) S 15027 15027 4816 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445768787 15512686592 13049 33554432000 4194304 4196468 140725314456144 140652465490272 140652937037525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24887296 140725314462703 140725314462874 140725314462874 140725314465743 0 [pid=15029/tid=15043] ppid=15027 vsize=15149108 memory=0 CPUtime=0 cores=4-7 /proc/15029/task/15043/stat : 15043 (java) S 15027 15027 4816 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445768787 15512686592 13049 33554432000 4194304 4196468 140725314456144 140652464438320 140652937038466 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24887296 140725314462703 140725314462874 140725314462874 140725314465743 0 Current children cumulated CPU time: 0.72 s Current children cumulated vsize: 15262236 KiB Current children cumulated memory: 53648 KiB [startup+0.61776 s] /proc/loadavg: 7.76 8.42 8.30 9/234 15043 /proc/meminfo: memFree=30328172/32770688 swapFree=66961208/67108860 [pid=15027] ppid=15024 vsize=113128 memory=1452 CPUtime=0 cores=4-7 /proc/15027/stat : 15027 (xcsp3-exec) S 15024 15027 4816 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445768780 115843072 363 33554432000 4194304 5098028 140723398387232 140723398385336 140648338453116 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 16904192 140723398390650 140723398390893 140723398390893 140723398393802 0 /proc/15027/statm: 28282 363 304 221 0 87 0 [pid=15029] ppid=15027 vsize=15417412 memory=74144 CPUtime=1.28 cores=4-7 /proc/15029/stat : 15029 (java) S 15027 15027 4816 0 -1 1077944320 13899 0 0 0 122 6 0 0 20 0 19 0 445768780 15787429888 18536 33554432000 4194304 4196468 140725314456144 140725314438688 140652937027319 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 24887296 140725314462703 140725314462874 140725314462874 140725314465743 0 /proc/15029/statm: 3854353 18536 3450 1 0 3815453 0 [pid=15029/tid=15030] ppid=15027 vsize=15417412 memory=3282550 CPUtime=0.57 cores=4-7 /proc/15029/task/15030/stat : 15030 (java) S 15027 15027 4816 0 -1 1077944384 9123 0 0 0 53 4 0 0 20 0 19 0 445768781 15787429888 18536 33554432000 4194304 4196468 140725314456144 140652941268096 140652937037525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24887296 140725314462703 140725314462874 140725314462874 140725314465743 0 [pid=15029/tid=15031] ppid=15027 vsize=15417412 memory=0 CPUtime=0 cores=4-7 /proc/15029/task/15031/stat : 15031 (java) S 15027 15027 4816 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 445768781 15787429888 18536 33554432000 4194304 4196468 140725314456144 140652528921104 140652937037525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24887296 140725314462703 140725314462874 140725314462874 140725314465743 0 [pid=15029/tid=15032] ppid=15027 vsize=15417412 memory=0 CPUtime=0 cores=4-7 /proc/15029/task/15032/stat : 15032 (java) S 15027 15027 4816 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 445768781 15787429888 18536 33554432000 4194304 4196468 140725314456144 140652527868560 140652937037525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24887296 140725314462703 140725314462874 140725314462874 140725314465743 0 [pid=15029/tid=15033] ppid=15027 vsize=15417412 memory=0 CPUtime=0 cores=4-7 /proc/15029/task/15033/stat : 15033 (java) S 15027 15027 4816 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 445768781 15787429888 18536 33554432000 4194304 4196468 140725314456144 140652526815504 140652937037525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24887296 140725314462703 140725314462874 140725314462874 140725314465743 0 [pid=15029/tid=15034] ppid=15027 vsize=15417412 memory=0 CPUtime=0 cores=4-7 /proc/15029/task/15034/stat : 15034 (java) S 15027 15027 4816 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 445768781 15787429888 18536 33554432000 4194304 4196468 140725314456144 140652525762960 140652937037525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24887296 140725314462703 140725314462874 140725314462874 140725314465743 0 [pid=15029/tid=15035] ppid=15027 vsize=15417412 memory=0 CPUtime=0 cores=4-7 /proc/15029/task/15035/stat : 15035 (java) S 15027 15027 4816 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 445768783 15787429888 18536 33554432000 4194304 4196468 140725314456144 140652472859376 140652937038466 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24887296 140725314462703 140725314462874 140725314462874 140725314465743 0 [pid=15029/tid=15036] ppid=15027 vsize=15417412 memory=0 CPUtime=0 cores=4-7 /proc/15029/task/15036/stat : 15036 (java) S 15027 15027 4816 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 445768783 15787429888 18536 33554432000 4194304 4196468 140725314456144 140652471805600 140652937037525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24887296 140725314462703 140725314462874 140725314462874 140725314465743 0 [pid=15029/tid=15037] ppid=15027 vsize=15417412 memory=0 CPUtime=0 cores=4-7 /proc/15029/task/15037/stat : 15037 (java) S 15027 15027 4816 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 445768784 15787429888 18536 33554432000 4194304 4196468 140725314456144 140652470752496 140652937037525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24887296 140725314462703 140725314462874 140725314462874 140725314465743 0 [pid=15029/tid=15038] ppid=15027 vsize=15417412 memory=0 CPUtime=0 cores=4-7 /proc/15029/task/15038/stat : 15038 (java) S 15027 15027 4816 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445768786 15787429888 18536 33554432000 4194304 4196468 140725314456144 140652469701072 140652937045915 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24887296 140725314462703 140725314462874 140725314462874 140725314465743 0 [pid=15029/tid=15039] ppid=15027 vsize=15417412 memory=0 CPUtime=0.16 cores=4-7 /proc/15029/task/15039/stat : 15039 (java) R 15027 15027 4816 0 -1 4202560 845 0 0 0 16 0 0 0 20 0 19 0 445768786 15787429888 18536 33554432000 4194304 4196468 140725314456144 140652468648176 140652920938125 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24887296 140725314462703 140725314462874 140725314462874 140725314465743 0 [pid=15029/tid=15040] ppid=15027 vsize=15417412 memory=0 CPUtime=0.18 cores=4-7 /proc/15029/task/15040/stat : 15040 (java) R 15027 15027 4816 0 -1 4202560 878 0 0 0 18 0 0 0 20 0 19 0 445768786 15787429888 18536 33554432000 4194304 4196468 140725314456144 140652467595928 140652914622209 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24887296 140725314462703 140725314462874 140725314462874 140725314465743 0 [pid=15029/tid=15041] ppid=15027 vsize=15417412 memory=0 CPUtime=0.29 cores=4-7 /proc/15029/task/15041/stat : 15041 (java) R 15027 15027 4816 0 -1 1077944384 1550 0 0 0 29 0 0 0 20 0 19 0 445768786 15787429888 18536 33554432000 4194304 4196468 140725314456144 140652466542576 140652937038466 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24887296 140725314462703 140725314462874 140725314462874 140725314465743 0 [pid=15029/tid=15042] ppid=15027 vsize=15417412 memory=0 CPUtime=0 cores=4-7 /proc/15029/task/15042/stat : 15042 (java) S 15027 15027 4816 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445768787 15787429888 18536 33554432000 4194304 4196468 140725314456144 140652465490272 140652937037525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24887296 140725314462703 140725314462874 140725314462874 140725314465743 0 [pid=15029/tid=15043] ppid=15027 vsize=15417412 memory=0 CPUtime=0 cores=4-7 /proc/15029/task/15043/stat : 15043 (java) S 15027 15027 4816 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 445768787 15787429888 18536 33554432000 4194304 4196468 140725314456144 140652464438320 140652937038466 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24887296 140725314462703 140725314462874 140725314462874 140725314465743 0 Current children cumulated CPU time: 1.28 s Current children cumulated vsize: 15530540 KiB Current children cumulated memory: 75596 KiB Child status: 0 Real time (s): 0.637876 CPU time (s): 1.31848 CPU user time (s): 1.24874 CPU system time (s): 0.069741 CPU usage (%): 206.699 Max. virtual memory (cumulated for all children) (KiB): 15530540 Max. memory (cumulated for all children) (KiB): 75596 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1.24874 system time used= 0.069741 maximum resident set size= 77184 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 14500 page faults= 0 swaps= 0 block input operations= 0 block output operations= 72 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 1434 involuntary context switches= 14 # summary of solver processes directly reported to runsolver: # pid: 15027 # total CPU time (s): 1.31848 # total CPU user time (s): 1.24874 # total CPU system time (s): 0.069741 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.038054 second user time and 0.045064 second system time The end
Begin job on node116 at 2019-09-17 07:30:30 IDJOB=4398956 IDBENCH=133381 IDSOLVER=2853 FILE ID=node116/4398956-1568698271 RUNJOBID= node116-1568694541-4848 PBS_JOBID= 21703807 Free space on /tmp= 61208 MiB SOLVER NAME= choco-solver 2019-09-16 BENCH NAME= XCSP17/Primes/Primes-m1-p15/Primes-15-20-2-7.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-4398956-1568698271/watcher-4398956-1568698271 -o /tmp/evaluation-result-4398956-1568698271/solver-4398956-1568698271 -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 1805373049 HOME/instance-4398956-1568698271.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= d26c1a16a8e9a423ebbeb7c1b2e2b431 RANDOM SEED=1805373049 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: 30373616 kB MemAvailable: 31650744 kB Buffers: 148468 kB Cached: 1422484 kB SwapCached: 46588 kB Active: 1247760 kB Inactive: 572016 kB Active(anon): 202772 kB Inactive(anon): 94964 kB Active(file): 1044988 kB Inactive(file): 477052 kB Unevictable: 110568 kB Mlocked: 110568 kB SwapTotal: 67108860 kB SwapFree: 66961208 kB Dirty: 26568 kB Writeback: 0 kB AnonPages: 313892 kB Mapped: 61268 kB Shmem: 40292 kB Slab: 171508 kB SReclaimable: 141844 kB SUnreclaim: 29664 kB KernelStack: 3792 kB PageTables: 6312 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494204 kB Committed_AS: 1491536 kB VmallocTotal: 34359738367 kB VmallocUsed: 350212 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 215040 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= 61180 MiB End job on node116 at 2019-09-17 07:30:31