Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| cosoco-sat 1.12 | SAT (TO) | 478 | 2520.0901 | 2520.03 |
| Name | GolombRuler/GolombRuler-a4-s1/ GolombRuler-21-a4.xml |
| MD5SUM | 982ba5645f5cd940fa49e525f3796150 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT TO |
| Best value of the objective obtained on this benchmark | 416 |
| Best CPU time to get the best result obtained on this benchmark | 2520.03 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 21 |
| Number of constraints | 20617 |
| Number of domains | 1 |
| Minimum domain size | 1001 |
| Maximum domain size | 1001 |
| Distribution of domain sizes | [{"size":1001,"count":21}] |
| Minimum variable degree | 3801 |
| Maximum variable degree | 3802 |
| Distribution of variable degrees | [{"degree":3801,"count":19},{"degree":3802,"count":2}] |
| Minimum constraint arity | 1 |
| Maximum constraint arity | 21 |
| Distribution of constraint arities | [{"arity":1,"count":1},{"arity":3,"count":2660},{"arity":4,"count":17955},{"arity":21,"count":1}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 20616 |
| Distribution of constraint types | [{"type":"intension","count":20616},{"type":"ordered","count":1}] |
| Optimization problem | YES |
| Type of objective | min VAR |
24.19/24.26 c SAT : Variables: 21021 -- Clauses: 10510521 24.19/24.26 c best=?? lower=0 upper=1000 414.48/414.51 c 414.48/414.51 c This is cosoco 1.12 -- 414.48/414.51 c 414.48/414.51 c command line: cosoco -lc -model -restarts -sat HOME/instance-4265696-1502576270.xml 414.48/414.51 c enable optimization 414.48/414.51 c ========================================[ Problem Statistics ]=========================================== 414.48/414.51 c | 414.48/414.51 c | Parse time : 23.69 s 414.48/414.51 c | 414.48/414.51 c | Variables: 21 414.48/414.51 c | Domain Sizes: 1001..1001 414.48/414.51 c | 414.48/414.51 c | Constraints: 20637 414.48/414.51 c | Arity: 1..4 -- Unary: 2 -- Binary: 20 -- Ternary: 2660 414.48/414.51 c | 414.48/414.51 c | Types: 414.48/414.51 c | (X - Y < k): 20 414.48/414.51 c | Intension: 20617 414.48/414.51 c | 414.48/414.51 c ========================================================================================================= 414.48/414.51 o 483 414.48/414.51 c 1 calls to solver: best=483 lower=0 upper=482 532.49/532.50 o 482 816.19/816.22 o 478 816.19/816.22 c 3 calls to solver: best=478 lower=0 upper=477 2520.06/2520.01 2520.06/2520.01 c *** INTERRUPTED *** 2520.06/2520.01 c restarts : 523 2520.06/2520.01 c conflicts : 8669 (3 /sec) 2520.06/2520.01 c decisions : 16595 (7 /sec) 2520.06/2520.01 c propagations : 6745921 (2682 /sec) 2520.06/2520.01 c root propagations : 1400 2520.06/2520.01 c filter calls : 443878335 (176492 /sec) 2520.06/2520.01 c useless filter calls : 442245465 (99 %) 2520.06/2520.01 c 2520.06/2520.01 c clauses : 10513023 2520.06/2520.01 c SAT propagations : 17928 2520.06/2520.01 c SAT conflicts : 22 (0 learnts) 2520.06/2520.01 c Memory used : 3409.57 MB 2520.06/2520.01 c CPU time : 2515 s 2520.06/2520.01 2520.06/2520.01 c nb Solutions = 3 2520.06/2520.01 s SATISFIABLE 2520.06/2520.01 c Best value found: 478 2520.06/2520.01 2520.06/2520.01 2520.06/2520.01 v <instantiation type='solution' cost='478'> 2520.06/2520.01 v <list>x[0] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[1] x[20] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] </list> 2520.06/2520.01 v <values>0 107 133 155 192 232 260 318 342 397 453 1 478 4 10 12 17 31 46 64 84 </values> 2520.06/2520.01 v </instantiation> 2520.06/2520.01
OK 478
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (12826 MiB free)
memory of node 1: 16384 MiB (12361 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4265696-1502576270/watcher-4265696-1502576270 -o /tmp/evaluation-result-4265696-1502576270/solver-4265696-1502576270 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node114-1502567254-24358 --watchdog 2580 cosoco -lc -model -restarts -sat HOME/instance-4265696-1502576270.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=25848, runsolver pid=25845
Current StackSize limit: 8192 KiB
[startup+0.100143 s]*
/proc/loadavg: 2.00 1.99 2.03 3/188 25849
/proc/meminfo: memFree=25792380/32770624 swapFree=67108860/67108860
[pid=25848] ppid=25845 vsize=27664 memory=3592 CPUtime=0.1 cores=1,3,5,7
/proc/25848/stat : 25848 (cosoco) R 25845 25848 24273 0 -1 4202496 1122 0 0 0 10 0 0 0 20 0 1 0 90714818 28327936 898 33554432000 4194304 5972588 140732155914928 140732155911576 140514850028517 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 8070896 8075904 10969088 140732155917498 140732155917598 140732155917598 140732155920334 0
/proc/25848/statm: 6916 898 716 435 0 279 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27664 KiB
Current children cumulated memory: 3592 KiB
[startup+0.209671 s]*
/proc/loadavg: 2.00 1.99 2.03 3/188 25849
/proc/meminfo: memFree=25792008/32770624 swapFree=67108860/67108860
[pid=25848] ppid=25845 vsize=28120 memory=4216 CPUtime=0.21 cores=1,3,5,7
/proc/25848/stat : 25848 (cosoco) R 25845 25848 24273 0 -1 4202496 1290 0 0 0 21 0 0 0 20 0 1 0 90714818 28794880 1054 33554432000 4194304 5972588 140732155914928 140732155911576 5673555 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 8070896 8075904 10969088 140732155917498 140732155917598 140732155917598 140732155920334 0
/proc/25848/statm: 7030 1054 716 435 0 393 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 28120 KiB
Current children cumulated memory: 4216 KiB
[startup+0.309198 s]*
/proc/loadavg: 2.00 1.99 2.03 3/188 25849
/proc/meminfo: memFree=25791264/32770624 swapFree=67108860/67108860
[pid=25848] ppid=25845 vsize=28900 memory=4532 CPUtime=0.31 cores=1,3,5,7
/proc/25848/stat : 25848 (cosoco) R 25845 25848 24273 0 -1 4202496 1495 0 0 0 31 0 0 0 20 0 1 0 90714818 29593600 1133 33554432000 4194304 5972588 140732155914928 140732155911576 140514850028517 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 8070896 8075904 10969088 140732155917498 140732155917598 140732155917598 140732155920334 0
/proc/25848/statm: 7225 1133 716 435 0 588 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 28900 KiB
Current children cumulated memory: 4532 KiB
[startup+0.700288 s]
/proc/loadavg: 2.00 1.99 2.03 3/188 25849
/proc/meminfo: memFree=25782088/32770624 swapFree=67108860/67108860
[pid=25848] ppid=25845 vsize=49196 memory=25120 CPUtime=0.69 cores=1,3,5,7
/proc/25848/stat : 25848 (cosoco) R 25845 25848 24273 0 -1 4202496 6642 0 0 0 68 1 0 0 20 0 1 0 90714818 50376704 6280 33554432000 4194304 5972588 140732155914928 140732155908488 140514850037663 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 8070896 8075904 10969088 140732155917498 140732155917598 140732155917598 140732155920334 0
/proc/25848/statm: 12299 6280 786 435 0 5662 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 49196 KiB
Current children cumulated memory: 25120 KiB
[startup+1.50031 s]
/proc/loadavg: 2.00 1.99 2.03 3/188 25849
/proc/meminfo: memFree=25754372/32770624 swapFree=67108860/67108860
[pid=25848] ppid=25845 vsize=93992 memory=70000 CPUtime=1.49 cores=1,3,5,7
/proc/25848/stat : 25848 (cosoco) R 25845 25848 24273 0 -1 4202496 17868 0 0 0 147 2 0 0 20 0 1 0 90714818 96247808 17500 33554432000 4194304 5972588 140732155914928 140732155908488 140514859383732 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 8070896 8075904 10969088 140732155917498 140732155917598 140732155917598 140732155920334 0
/proc/25848/statm: 23498 17500 786 435 0 16861 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 93992 KiB
Current children cumulated memory: 70000 KiB
[startup+3.10971 s]
/proc/loadavg: 2.00 1.99 2.03 3/188 25849
/proc/meminfo: memFree=25642260/32770624 swapFree=67108860/67108860
[pid=25848] ppid=25845 vsize=183824 memory=159944 CPUtime=3.1 cores=1,3,5,7
/proc/25848/stat : 25848 (cosoco) R 25845 25848 24273 0 -1 4202496 40397 0 0 0 305 5 0 0 20 0 1 0 90714818 188235776 39986 33554432000 4194304 5972588 140732155914928 140732155908488 140514850028517 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 8070896 8075904 10969088 140732155917498 140732155917598 140732155917598 140732155920334 0
/proc/25848/statm: 45956 39986 786 435 0 39319 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 183824 KiB
Current children cumulated memory: 159944 KiB
[startup+6.30028 s]
/proc/loadavg: 2.08 2.00 2.03 3/188 25849
/proc/meminfo: memFree=25474744/32770624 swapFree=67108860/67108860
[pid=25848] ppid=25845 vsize=361796 memory=337920 CPUtime=6.29 cores=1,3,5,7
/proc/25848/stat : 25848 (cosoco) R 25845 25848 24273 0 -1 4202496 85018 0 0 0 617 12 0 0 20 0 1 0 90714818 370479104 84480 33554432000 4194304 5972588 140732155914928 140732155906504 140514850026301 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 8070896 8075904 10969088 140732155917498 140732155917598 140732155917598 140732155920334 0
/proc/25848/statm: 90449 84480 786 435 0 83812 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 361796 KiB
Current children cumulated memory: 337920 KiB
[startup+12.7003 s]
/proc/loadavg: 2.07 2.00 2.03 3/188 25849
/proc/meminfo: memFree=25139200/32770624 swapFree=67108860/67108860
[pid=25848] ppid=25845 vsize=718908 memory=694784 CPUtime=12.69 cores=1,3,5,7
/proc/25848/stat : 25848 (cosoco) R 25845 25848 24273 0 -1 4202496 174421 0 0 0 1247 22 0 0 20 0 1 0 90714818 736161792 173696 33554432000 4194304 5972588 140732155914928 140732155908488 5187235 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 8070896 8075904 10969088 140732155917498 140732155917598 140732155917598 140732155920334 0
/proc/25848/statm: 179727 173696 786 435 0 173090 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 718908 KiB
Current children cumulated memory: 694784 KiB
[startup+25.5004 s]
/proc/loadavg: 2.05 2.00 2.03 3/188 25849
/proc/meminfo: memFree=23920136/32770624 swapFree=67108860/67108860
[pid=25848] ppid=25845 vsize=2038040 memory=1967100 CPUtime=25.49 cores=1,3,5,7
/proc/25848/stat : 25848 (cosoco) R 25845 25848 24273 0 -1 4202496 481740 0 0 0 2485 64 0 0 20 0 1 0 90714818 2086952960 491775 33554432000 4194304 5972588 140732155914928 140732155911720 4965339 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 10969088 140732155917498 140732155917598 140732155917598 140732155920334 0
/proc/25848/statm: 509510 491775 838 435 0 502873 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 2038040 KiB
Current children cumulated memory: 1967100 KiB
[startup+51.1095 s]
/proc/loadavg: 2.04 2.00 2.03 3/188 25849
/proc/meminfo: memFree=23010812/32770624 swapFree=67108860/67108860
[pid=25848] ppid=25845 vsize=2849484 memory=2778660 CPUtime=51.1 cores=1,3,5,7
/proc/25848/stat : 25848 (cosoco) R 25845 25848 24273 0 -1 4202496 860414 0 0 0 5014 96 0 0 20 0 1 0 90714818 2917871616 694665 33554432000 4194304 5972588 140732155914928 140732155911784 4965760 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 10969088 140732155917498 140732155917598 140732155917598 140732155920334 0
/proc/25848/statm: 712371 694665 838 435 0 705734 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 2849484 KiB
Current children cumulated memory: 2778660 KiB
[startup+102.3 s]
/proc/loadavg: 2.02 2.00 2.03 3/187 25850
/proc/meminfo: memFree=22801244/32770624 swapFree=67108860/67108860
[pid=25848] ppid=25845 vsize=3058440 memory=2987552 CPUtime=102.29 cores=1,3,5,7
/proc/25848/stat : 25848 (cosoco) R 25845 25848 24273 0 -1 4202496 1212771 0 0 0 10114 115 0 0 20 0 1 0 90714818 3131842560 746888 33554432000 4194304 5972588 140732155914928 140732155911784 4965400 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 10969088 140732155917498 140732155917598 140732155917598 140732155920334 0
/proc/25848/statm: 764610 746888 838 435 0 757973 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 3058440 KiB
Current children cumulated memory: 2987552 KiB
[startup+162.3 s]
/proc/loadavg: 2.01 2.00 2.03 3/187 25851
/proc/meminfo: memFree=22655948/32770624 swapFree=67108860/67108860
[pid=25848] ppid=25845 vsize=3202716 memory=3131832 CPUtime=162.29 cores=1,3,5,7
/proc/25848/stat : 25848 (cosoco) R 25845 25848 24273 0 -1 4202496 1569537 0 0 0 16094 135 0 0 20 0 1 0 90714818 3279581184 782958 33554432000 4194304 5972588 140732155914928 140732155911784 5070704 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 10969088 140732155917498 140732155917598 140732155917598 140732155920334 0
/proc/25848/statm: 800679 782958 838 435 0 794042 0
Current children cumulated CPU time: 162.29 s
Current children cumulated vsize: 3202716 KiB
Current children cumulated memory: 3131832 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.03 3/187 25852
/proc/meminfo: memFree=22632608/32770624 swapFree=67108860/67108860
[pid=25848] ppid=25845 vsize=3227268 memory=3156444 CPUtime=222.29 cores=1,3,5,7
/proc/25848/stat : 25848 (cosoco) R 25845 25848 24273 0 -1 4202496 1677523 0 0 0 22089 140 0 0 20 0 1 0 90714818 3304722432 789111 33554432000 4194304 5972588 140732155914928 140732155911784 4965714 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 10969088 140732155917498 140732155917598 140732155917598 140732155920334 0
/proc/25848/statm: 806817 789111 838 435 0 800180 0
Current children cumulated CPU time: 222.29 s
Current children cumulated vsize: 3227268 KiB
Current children cumulated memory: 3156444 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.03 3/187 25854
/proc/meminfo: memFree=22558836/32770624 swapFree=67108860/67108860
[pid=25848] ppid=25845 vsize=3300132 memory=3229268 CPUtime=282.29 cores=1,3,5,7
/proc/25848/stat : 25848 (cosoco) R 25845 25848 24273 0 -1 4202496 2028283 0 0 0 28071 158 0 0 20 0 1 0 90714818 3379335168 807317 33554432000 4194304 5972588 140732155914928 140732155911784 4909184 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 10969088 140732155917498 140732155917598 140732155917598 140732155920334 0
/proc/25848/statm: 825033 807317 838 435 0 818396 0
Current children cumulated CPU time: 282.29 s
Current children cumulated vsize: 3300132 KiB
Current children cumulated memory: 3229268 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.03 3/187 25855
/proc/meminfo: memFree=22549708/32770624 swapFree=67108860/67108860
[pid=25848] ppid=25845 vsize=3307656 memory=3236820 CPUtime=342.29 cores=1,3,5,7
/proc/25848/stat : 25848 (cosoco) R 25845 25848 24273 0 -1 4202496 2344721 0 0 0 34054 175 0 0 20 0 1 0 90714818 3387039744 809205 33554432000 4194304 5972588 140732155914928 140732155911784 4965342 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 10969088 140732155917498 140732155917598 140732155917598 140732155920334 0
/proc/25848/statm: 826914 809205 838 435 0 820277 0
Current children cumulated CPU time: 342.29 s
Current children cumulated vsize: 3307656 KiB
Current children cumulated memory: 3236820 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.03 3/188 25865
/proc/meminfo: memFree=22512268/32770624 swapFree=67108860/67108860
[pid=25848] ppid=25845 vsize=3344484 memory=3273564 CPUtime=402.29 cores=1,3,5,7
/proc/25848/stat : 25848 (cosoco) R 25845 25848 24273 0 -1 4202496 2629171 0 0 0 40040 189 0 0 20 0 1 0 90714818 3424751616 818391 33554432000 4194304 5972588 140732155914928 140732155911784 4965673 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 10969088 140732155917498 140732155917598 140732155917598 140732155920334 0
/proc/25848/statm: 836121 818391 838 435 0 829484 0
Current children cumulated CPU time: 402.29 s
Current children cumulated vsize: 3344484 KiB
Current children cumulated memory: 3273564 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.03 3/188 25866
/proc/meminfo: memFree=22482860/32770624 swapFree=67108860/67108860
[pid=25848] ppid=25845 vsize=3374448 memory=3303552 CPUtime=462.29 cores=1,3,5,7
/proc/25848/stat : 25848 (cosoco) R 25845 25848 24273 0 -1 4202496 3067343 0 0 0 46019 210 0 0 20 0 1 0 90714818 3455434752 825888 33554432000 4194304 5972588 140732155914928 140732155911784 4965365 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 10969088 140732155917498 140732155917598 140732155917598 140732155920334 0
/proc/25848/statm: 843612 825888 839 435 0 836975 0
Current children cumulated CPU time: 462.29 s
Current children cumulated vsize: 3374448 KiB
Current children cumulated memory: 3303552 KiB
################
# More data... #
################
/proc/25848/statm: 857967 840290 839 435 0 851330 0
Current children cumulated CPU time: 1722.31 s
Current children cumulated vsize: 3431868 KiB
Current children cumulated memory: 3361160 KiB
[startup+1782.3 s]
/proc/loadavg: 2.03 2.04 2.05 3/187 25904
/proc/meminfo: memFree=22415708/32770624 swapFree=67108860/67108860
[pid=25848] ppid=25845 vsize=3437940 memory=3367148 CPUtime=1782.31 cores=1,3,5,7
/proc/25848/stat : 25848 (cosoco) R 25845 25848 24273 0 -1 4202496 8070025 0 0 0 177763 468 0 0 20 0 1 0 90714818 3520450560 841787 33554432000 4194304 5972588 140732155914928 140732155911784 4965773 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 10969088 140732155917498 140732155917598 140732155917598 140732155920334 0
/proc/25848/statm: 859485 841787 839 435 0 852848 0
Current children cumulated CPU time: 1782.31 s
Current children cumulated vsize: 3437940 KiB
Current children cumulated memory: 3367148 KiB
[startup+1842.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/187 25905
/proc/meminfo: memFree=22408792/32770624 swapFree=67108860/67108860
[pid=25848] ppid=25845 vsize=3444012 memory=3373188 CPUtime=1842.31 cores=1,3,5,7
/proc/25848/stat : 25848 (cosoco) R 25845 25848 24273 0 -1 4202496 8151885 0 0 0 183759 472 0 0 20 0 1 0 90714818 3526668288 843297 33554432000 4194304 5972588 140732155914928 140732155911784 4965888 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 10969088 140732155917498 140732155917598 140732155917598 140732155920334 0
/proc/25848/statm: 861003 843297 839 435 0 854366 0
Current children cumulated CPU time: 1842.31 s
Current children cumulated vsize: 3444012 KiB
Current children cumulated memory: 3373188 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 25906
/proc/meminfo: memFree=22408536/32770624 swapFree=67108860/67108860
[pid=25848] ppid=25845 vsize=3444144 memory=3373380 CPUtime=1902.31 cores=1,3,5,7
/proc/25848/stat : 25848 (cosoco) R 25845 25848 24273 0 -1 4202496 8229942 0 0 0 189755 476 0 0 20 0 1 0 90714818 3526803456 843345 33554432000 4194304 5972588 140732155914928 140732155911784 4962170 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 10969088 140732155917498 140732155917598 140732155917598 140732155920334 0
/proc/25848/statm: 861036 843345 839 435 0 854399 0
Current children cumulated CPU time: 1902.31 s
Current children cumulated vsize: 3444144 KiB
Current children cumulated memory: 3373380 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 25907
/proc/meminfo: memFree=22407944/32770624 swapFree=67108860/67108860
[pid=25848] ppid=25845 vsize=3444936 memory=3374212 CPUtime=1962.31 cores=1,3,5,7
/proc/25848/stat : 25848 (cosoco) R 25845 25848 24273 0 -1 4202496 8323030 0 0 0 195749 482 0 0 20 0 1 0 90714818 3527614464 843553 33554432000 4194304 5972588 140732155914928 140732155911784 4965382 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 10969088 140732155917498 140732155917598 140732155917598 140732155920334 0
/proc/25848/statm: 861234 843553 839 435 0 854597 0
Current children cumulated CPU time: 1962.31 s
Current children cumulated vsize: 3444936 KiB
Current children cumulated memory: 3374212 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 25908
/proc/meminfo: memFree=22384412/32770624 swapFree=67108860/67108860
[pid=25848] ppid=25845 vsize=3468168 memory=3397404 CPUtime=2022.32 cores=1,3,5,7
/proc/25848/stat : 25848 (cosoco) R 25845 25848 24273 0 -1 4202496 8449151 0 0 0 201743 489 0 0 20 0 1 0 90714818 3551404032 849351 33554432000 4194304 5972588 140732155914928 140732155911784 4965416 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 10969088 140732155917498 140732155917598 140732155917598 140732155920334 0
/proc/25848/statm: 867042 849351 839 435 0 860405 0
Current children cumulated CPU time: 2022.32 s
Current children cumulated vsize: 3468168 KiB
Current children cumulated memory: 3397404 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 25909
/proc/meminfo: memFree=22382208/32770624 swapFree=67108860/67108860
[pid=25848] ppid=25845 vsize=3470280 memory=3399612 CPUtime=2082.32 cores=1,3,5,7
/proc/25848/stat : 25848 (cosoco) R 25845 25848 24273 0 -1 4202496 8526210 0 0 0 207739 493 0 0 20 0 1 0 90714818 3553566720 849903 33554432000 4194304 5972588 140732155914928 140732155911784 4965342 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 10969088 140732155917498 140732155917598 140732155917598 140732155920334 0
/proc/25848/statm: 867570 849903 839 435 0 860933 0
Current children cumulated CPU time: 2082.32 s
Current children cumulated vsize: 3470280 KiB
Current children cumulated memory: 3399612 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 25910
/proc/meminfo: memFree=22381616/32770624 swapFree=67108860/67108860
[pid=25848] ppid=25845 vsize=3470808 memory=3400056 CPUtime=2142.33 cores=1,3,5,7
/proc/25848/stat : 25848 (cosoco) R 25845 25848 24273 0 -1 4202496 8602154 0 0 0 213736 497 0 0 20 0 1 0 90714818 3554107392 850014 33554432000 4194304 5972588 140732155914928 140732155911784 4965365 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 10969088 140732155917498 140732155917598 140732155917598 140732155920334 0
/proc/25848/statm: 867702 850014 839 435 0 861065 0
Current children cumulated CPU time: 2142.33 s
Current children cumulated vsize: 3470808 KiB
Current children cumulated memory: 3400056 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 25981
/proc/meminfo: memFree=23362676/32770624 swapFree=67108860/67108860
[pid=25848] ppid=25845 vsize=3470808 memory=3400060 CPUtime=2202.33 cores=1,3,5,7
/proc/25848/stat : 25848 (cosoco) R 25845 25848 24273 0 -1 4202496 8626828 0 0 0 219735 498 0 0 20 0 1 0 90714818 3554107392 850015 33554432000 4194304 5972588 140732155914928 140732155911784 4965428 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 10969088 140732155917498 140732155917598 140732155917598 140732155920334 0
/proc/25848/statm: 867702 850015 839 435 0 861065 0
Current children cumulated CPU time: 2202.33 s
Current children cumulated vsize: 3470808 KiB
Current children cumulated memory: 3400060 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 25982
/proc/meminfo: memFree=22868696/32770624 swapFree=67108860/67108860
[pid=25848] ppid=25845 vsize=3484404 memory=3413720 CPUtime=2262.34 cores=1,3,5,7
/proc/25848/stat : 25848 (cosoco) R 25845 25848 24273 0 -1 4202496 8692810 0 0 0 225731 503 0 0 20 0 1 0 90714818 3568029696 853430 33554432000 4194304 5972588 140732155914928 140732155911784 4965760 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 10969088 140732155917498 140732155917598 140732155917598 140732155920334 0
/proc/25848/statm: 871101 853430 839 435 0 864464 0
Current children cumulated CPU time: 2262.34 s
Current children cumulated vsize: 3484404 KiB
Current children cumulated memory: 3413720 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 25983
/proc/meminfo: memFree=22856864/32770624 swapFree=67108860/67108860
[pid=25848] ppid=25845 vsize=3484668 memory=3413976 CPUtime=2322.34 cores=1,3,5,7
/proc/25848/stat : 25848 (cosoco) R 25845 25848 24273 0 -1 4202496 8717928 0 0 0 231730 504 0 0 20 0 1 0 90714818 3568300032 853494 33554432000 4194304 5972588 140732155914928 140732155911784 5053056 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 10969088 140732155917498 140732155917598 140732155917598 140732155920334 0
/proc/25848/statm: 871167 853494 839 435 0 864530 0
Current children cumulated CPU time: 2322.34 s
Current children cumulated vsize: 3484668 KiB
Current children cumulated memory: 3413976 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 25984
/proc/meminfo: memFree=22846264/32770624 swapFree=67108860/67108860
[pid=25848] ppid=25845 vsize=3484800 memory=3414112 CPUtime=2382.34 cores=1,3,5,7
/proc/25848/stat : 25848 (cosoco) R 25845 25848 24273 0 -1 4202496 8744711 0 0 0 237729 505 0 0 20 0 1 0 90714818 3568435200 853528 33554432000 4194304 5972588 140732155914928 140732155911784 5070704 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 10969088 140732155917498 140732155917598 140732155917598 140732155920334 0
/proc/25848/statm: 871200 853528 839 435 0 864563 0
Current children cumulated CPU time: 2382.34 s
Current children cumulated vsize: 3484800 KiB
Current children cumulated memory: 3414112 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 25985
/proc/meminfo: memFree=22842320/32770624 swapFree=67108860/67108860
[pid=25848] ppid=25845 vsize=3484800 memory=3414112 CPUtime=2442.34 cores=1,3,5,7
/proc/25848/stat : 25848 (cosoco) R 25845 25848 24273 0 -1 4202496 8748262 0 0 0 243729 505 0 0 20 0 1 0 90714818 3568435200 853528 33554432000 4194304 5972588 140732155914928 140732155911784 4965365 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 10969088 140732155917498 140732155917598 140732155917598 140732155920334 0
/proc/25848/statm: 871200 853528 839 435 0 864563 0
Current children cumulated CPU time: 2442.34 s
Current children cumulated vsize: 3484800 KiB
Current children cumulated memory: 3414112 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 25987
/proc/meminfo: memFree=22835768/32770624 swapFree=67108860/67108860
[pid=25848] ppid=25845 vsize=3489948 memory=3419212 CPUtime=2502.35 cores=1,3,5,7
/proc/25848/stat : 25848 (cosoco) R 25845 25848 24273 0 -1 4202496 8756432 0 0 0 249729 506 0 0 20 0 1 0 90714818 3573706752 854803 33554432000 4194304 5972588 140732155914928 140732155911784 4962352 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 10969088 140732155917498 140732155917598 140732155917598 140732155920334 0
/proc/25848/statm: 872487 854803 839 435 0 865850 0
Current children cumulated CPU time: 2502.35 s
Current children cumulated vsize: 3489948 KiB
Current children cumulated memory: 3419212 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 25987
/proc/meminfo: memFree=22833272/32770624 swapFree=67108860/67108860
[pid=25848] ppid=25845 vsize=3491400 memory=3420680 CPUtime=2520.06 cores=1,3,5,7
/proc/25848/stat : 25848 (cosoco) R 25845 25848 24273 0 -1 4202496 8761559 0 0 0 251500 506 0 0 20 0 1 0 90714818 3575193600 855170 33554432000 4194304 5972588 140732155914928 140732155911784 4965365 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 10969088 140732155917498 140732155917598 140732155917598 140732155920334 0
/proc/25848/statm: 872850 855170 839 435 0 866213 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 3491400 KiB
Current children cumulated memory: 3420680 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.03 s]
# the end of solver process 25848 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2515 s, system=5.08743 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 2520.03
CPU time (s): 2520.09
CPU user time (s): 2515
CPU system time (s): 5.08743
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 3491400
Max. memory (cumulated for all children) (KiB): 3420680
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515
system time used= 5.08743
maximum resident set size= 3420744
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8761600
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 262
involuntary context switches= 1790
# summary of solver processes directly reported to runsolver:
# pid: 25848
# total CPU time (s): 2520.09
# total CPU user time (s): 2515
# total CPU system time (s): 5.08743
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.38573 second user time and 18.6914 second system time
The end
Begin job on node114 at 2017-08-13 00:03:32 IDJOB=4265696 IDBENCH=126250 IDSOLVER=2655 FILE ID=node114/4265696-1502576270 RUNJOBID= node114-1502567254-24358 PBS_JOBID= 20628281 Free space on /tmp= 61696 MiB SOLVER NAME= cosoco-sat 1.12 BENCH NAME= XCSP17/GolombRuler/GolombRuler-a4-s1/GolombRuler-21-a4.xml COMMAND LINE= cosoco -lc -model -restarts -sat BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4265696-1502576270/watcher-4265696-1502576270 -o /tmp/evaluation-result-4265696-1502576270/solver-4265696-1502576270 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node114-1502567254-24358 --watchdog 2580 cosoco -lc -model -restarts -sat HOME/instance-4265696-1502576270.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 982ba5645f5cd940fa49e525f3796150 RANDOM SEED=365090561 node114.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 : 2668.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 : 5332.98 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 : 2668.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 : 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 : 2668.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 : 5332.98 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 : 2668.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 : 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 : 2668.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 : 5332.98 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 : 2668.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 : 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 : 2668.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 : 5332.98 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 : 2668.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: 32770624 kB MemFree: 25793440 kB MemAvailable: 30627744 kB Buffers: 124060 kB Cached: 5001680 kB SwapCached: 0 kB Active: 1735460 kB Inactive: 4808564 kB Active(anon): 1421156 kB Inactive(anon): 25036 kB Active(file): 314304 kB Inactive(file): 4783528 kB Unevictable: 6520 kB Mlocked: 6520 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 3184 kB Writeback: 0 kB AnonPages: 1445452 kB Mapped: 44908 kB Shmem: 25224 kB Slab: 130116 kB SReclaimable: 104612 kB SUnreclaim: 25504 kB KernelStack: 3584 kB PageTables: 7804 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1750244 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 704512 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 109952 kB DirectMap2M: 33435648 kB Free space on /tmp at the end= 61692 MiB End job on node114 at 2017-08-13 00:45:32