Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
cosoco 1.12 | ? | 60.7082 | 60.7031 |
Name | Fapp/Fapp-m2s/ Fapp-m2s-test03-0400_c18.xml |
MD5SUM | a5fe7a04cb5002912ef3d870057982e3 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 164004631 |
Best CPU time to get the best result obtained on this benchmark | 2520.07 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 6864 |
Number of constraints | 4370 |
Number of domains | 85 |
Minimum domain size | 1 |
Maximum domain size | 175 |
Distribution of domain sizes | [{"size":1,"count":8},{"size":2,"count":2413},{"size":11,"count":2021},{"size":12,"count":1},{"size":21,"count":15},{"size":26,"count":8},{"size":29,"count":37},{"size":31,"count":9},{"size":32,"count":9},{"size":33,"count":36},{"size":35,"count":22},{"size":37,"count":62},{"size":41,"count":51},{"size":43,"count":13},{"size":44,"count":6},{"size":47,"count":16},{"size":49,"count":20},{"size":51,"count":47},{"size":53,"count":8},{"size":55,"count":14},{"size":56,"count":16},{"size":57,"count":3},{"size":59,"count":3},{"size":61,"count":30},{"size":63,"count":21},"...",{"size":91,"count":18}, {"size":93,"count":6}, {"size":94,"count":7}, {"size":97,"count":4}, {"size":99,"count":11}, {"size":101,"count":31}, {"size":103,"count":5}, {"size":105,"count":6}, {"size":107,"count":14}, {"size":109,"count":15}, {"size":113,"count":11}, {"size":115,"count":20}, {"size":117,"count":3}, {"size":123,"count":35}, {"size":127,"count":5}, {"size":135,"count":20}, {"size":136,"count":127}, {"size":137,"count":28}, {"size":153,"count":82}, {"size":158,"count":107}, {"size":160,"count":191}, {"size":163,"count":78}, {"size":165,"count":126}, {"size":167,"count":89}, {"size":175,"count":655}] |
Minimum variable degree | 2 |
Maximum variable degree | 2022 |
Distribution of variable degrees | [{"degree":2,"count":6063},{"degree":3,"count":3},{"degree":4,"count":12},{"degree":5,"count":22},{"degree":6,"count":42},{"degree":7,"count":47},{"degree":8,"count":59},{"degree":9,"count":62},{"degree":10,"count":77},{"degree":11,"count":88},{"degree":12,"count":91},{"degree":13,"count":96},{"degree":14,"count":131},{"degree":15,"count":70},{"degree":2022,"count":1}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 6 |
Distribution of constraint arities | [{"arity":2,"count":328},{"arity":3,"count":2021},{"arity":6,"count":2021}] |
Number of extensional constraints | 2021 |
Number of intensional constraints | 2349 |
Distribution of constraint types | [{"type":"extension","count":2021},{"type":"intension","count":2349}] |
Optimization problem | YES |
Type of objective | min SUM |
0.00/0.09 c AllEqual constraint using 1 generic x=y constraints 0.00/0.09 c AllEqual constraint using 1 generic x=y constraints 0.00/0.09 c AllEqual constraint using 1 generic x=y constraints 0.00/0.09 c AllEqual constraint using 1 generic x=y constraints 0.00/0.09 c AllEqual constraint using 1 generic x=y constraints 0.00/0.09 c AllEqual constraint using 1 generic x=y constraints 0.00/0.09 c AllEqual constraint using 1 generic x=y constraints 0.00/0.10 c AllEqual constraint using 1 generic x=y constraints 0.00/0.10 c AllEqual constraint using 1 generic x=y constraints 0.00/0.10 c AllEqual constraint using 1 generic x=y constraints 0.00/0.10 c AllEqual constraint using 1 generic x=y constraints 0.00/0.10 c AllEqual constraint using 1 generic x=y constraints 0.00/0.10 c AllEqual constraint using 1 generic x=y constraints 0.00/0.10 c AllEqual constraint using 1 generic x=y constraints 0.00/0.10 c AllEqual constraint using 1 generic x=y constraints 0.00/0.10 c AllEqual constraint using 1 generic x=y constraints 0.00/0.10 c AllEqual constraint using 1 generic x=y constraints 0.00/0.10 c AllEqual constraint using 1 generic x=y constraints 0.00/0.10 c AllEqual constraint using 1 generic x=y constraints 0.00/0.10 c AllEqual constraint using 1 generic x=y constraints 0.00/0.10 c AllEqual constraint using 1 generic x=y constraints 0.00/0.10 c AllEqual constraint using 1 generic x=y constraints 0.00/0.10 c AllEqual constraint using 1 generic x=y constraints 0.00/0.10 c AllEqual constraint using 1 generic x=y constraints 0.00/0.10 c AllEqual constraint using 1 generic x=y constraints 0.00/0.10 c AllEqual constraint using 1 generic x=y constraints 0.00/0.10 c AllEqual constraint using 1 generic x=y constraints 0.00/0.10 c AllEqual constraint using 1 generic x=y constraints 0.00/0.10 c AllEqual constraint using 1 generic x=y constraints 0.00/0.10 c AllEqual constraint using 1 generic x=y constraints 0.00/0.10 c AllEqual constraint using 1 generic x=y constraints 0.00/0.10 c AllEqual constraint using 1 generic x=y constraints 0.00/0.10 c AllEqual constraint using 1 generic x=y constraints 0.00/0.10 c AllEqual constraint using 1 generic x=y constraints 0.00/0.10 c AllEqual constraint using 1 generic x=y constraints 0.00/0.10 c AllEqual constraint using 1 generic x=y constraints 0.00/0.10 c AllEqual constraint using 1 generic x=y constraints 0.00/0.10 c AllEqual constraint using 1 generic x=y constraints 0.00/0.10 c AllEqual constraint using 1 generic x=y constraints 0.00/0.10 c AllEqual constraint using 1 generic x=y constraints 0.00/0.10 c AllEqual constraint using 1 generic x=y constraints 0.00/0.10 c AllEqual constraint using 1 generic x=y constraints 0.00/0.10 c AllEqual constraint using 1 generic x=y constraints 0.00/0.10 c AllEqual constraint using 1 generic x=y constraints 0.00/0.10 c AllEqual constraint using 1 generic x=y constraints 0.00/0.10 c AllEqual constraint using 1 generic x=y constraints 0.00/0.10 c AllEqual constraint using 1 generic x=y constraints 0.00/0.10 c AllEqual constraint using 1 generic x=y constraints 0.00/0.10 c AllEqual constraint using 1 generic x=y constraints 0.00/0.10 c AllEqual constraint using 1 generic x=y constraints 60.60/60.64 c best=?? lower=0 upper=490153130 60.60/60.65 cosoco: /home/evaluation/evaluation/priv/XCSP18/test1/xcsp18-28-audemard/competition2017-full/cosoco/core/domain/DomainRange.h:30: virtual int Cosoco::DomainRange::toVal(int): Assertion `idv >= 0 && idv < sparseIdvs.maxSize()' failed. 60.60/60.65 c 60.60/60.65 c This is cosoco 1.12 -- 60.60/60.65 c 60.60/60.65 c command line: HOME/cosoco -lc -model -restarts HOME/instance-4293935-1532379539.xml 60.60/60.65 c enable optimization 60.60/60.65 c ========================================[ Problem Statistics ]=========================================== 60.60/60.65 c | 60.60/60.65 c | Parse time : 60.32 s 60.60/60.65 c | 60.60/60.65 c | Variables: 6864 60.60/60.65 c | Domain Sizes: 1..175 60.60/60.65 c | 60.60/60.65 c | Constraints: 4371 60.60/60.65 c | Arity: 2..4043 -- Binary: 328 -- Ternary: 2021 60.60/60.65 c | 60.60/60.65 c | Types: 60.60/60.65 c | (X != Y): 11 60.60/60.65 c | (X = Y): 50 60.60/60.65 c | Extension: 2021 (nb tuples: 634..8360) -- (shared: 0) 60.60/60.65 c | Intension: 2288 60.60/60.65 c | Sum: 1 60.60/60.65 c | 60.60/60.65 c | Objective: Minimize Sum 60.60/60.65 60.60/60.65 c ========================================================================================================= 60.60/60.65 60.60/60.65 c *** INTERRUPTED *** 60.60/60.65 c restarts : 0 60.60/60.65 c conflicts : 0 (0 /sec) 60.60/60.65 c decisions : 0 (0 /sec) 60.60/60.65 c propagations : 474 (8 /sec) 60.60/60.65 c root propagations : 0 60.60/60.65 c filter calls : 94 (2 /sec) 60.60/60.65 c useless filter calls : 3 (3 %) 60.60/60.65 c Memory used : 831.32 MB 60.60/60.65 c CPU time : 60.3331 s 60.60/60.65 60.60/60.65 c No Bound found! 60.60/60.65 60.60/60.65 s UNKNOWN
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 (3916 MiB free) memory of node 1: 16384 MiB (7279 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4293935-1532379539/watcher-4293935-1532379539 -o /tmp/evaluation-result-4293935-1532379539/solver-4293935-1532379539 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1532371797-14425 --watchdog 2580 HOME/cosoco -lc -model -restarts HOME/instance-4293935-1532379539.xml running on 4 cores: 0,2,4,6 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=15365, runsolver pid=15362 Current StackSize limit: 8192 KiB [startup+0.100059 s]* /proc/loadavg: 1.99 1.99 2.03 3/187 15366 /proc/meminfo: memFree=11441108/32770624 swapFree=67108860/67108860 [pid=15365] ppid=15362 vsize=51776 memory=28076 CPUtime=0.1 cores=0,2,4,6 /proc/15365/stat : 15365 (cosoco) R 15362 15365 14394 0 -1 4202496 7196 0 0 0 10 0 0 0 20 0 1 0 55517161 53018624 7019 33554432000 4194304 6142532 140728566480144 140728566475304 140660803435372 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8243016 8247936 27799552 140728566486150 140728566486280 140728566486280 140728566489038 0 /proc/15365/statm: 12944 7019 802 476 0 6266 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 51776 KiB Current children cumulated memory: 28076 KiB [startup+0.210333 s]* /proc/loadavg: 1.99 1.99 2.03 3/187 15366 /proc/meminfo: memFree=11422652/32770624 swapFree=67108860/67108860 [pid=15365] ppid=15362 vsize=69508 memory=45952 CPUtime=0.21 cores=0,2,4,6 /proc/15365/stat : 15365 (cosoco) R 15362 15365 14394 0 -1 4202496 11644 0 0 0 20 1 0 0 20 0 1 0 55517161 71176192 11488 33554432000 4194304 6142532 140728566480144 140728566475304 5546348 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8243016 8247936 27799552 140728566486150 140728566486280 140728566486280 140728566489038 0 /proc/15365/statm: 17377 11488 807 476 0 10699 0 Current children cumulated CPU time: 0.21 s Current children cumulated vsize: 69508 KiB Current children cumulated memory: 45952 KiB [startup+0.309908 s]* /proc/loadavg: 1.99 1.99 2.03 4/187 15366 /proc/meminfo: memFree=11402564/32770624 swapFree=67108860/67108860 [pid=15365] ppid=15362 vsize=91508 memory=67752 CPUtime=0.31 cores=0,2,4,6 /proc/15365/stat : 15365 (cosoco) R 15362 15365 14394 0 -1 4202496 17122 0 0 0 29 2 0 0 20 0 1 0 55517161 93704192 16938 33554432000 4194304 6142532 140728566480144 140728566475304 140660793486142 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8243016 8247936 27799552 140728566486150 140728566486280 140728566486280 140728566489038 0 /proc/15365/statm: 22877 16938 807 476 0 16199 0 Current children cumulated CPU time: 0.31 s Current children cumulated vsize: 91508 KiB Current children cumulated memory: 67752 KiB [startup+0.700412 s] /proc/loadavg: 1.99 1.99 2.03 3/187 15366 /proc/meminfo: memFree=11357056/32770624 swapFree=67108860/67108860 [pid=15365] ppid=15362 vsize=178060 memory=154360 CPUtime=0.69 cores=0,2,4,6 /proc/15365/stat : 15365 (cosoco) R 15362 15365 14394 0 -1 4202496 38779 0 0 0 63 6 0 0 20 0 1 0 55517161 182333440 38590 33554432000 4194304 6142532 140728566480144 140728566470744 140660793490405 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8243016 8247936 27799552 140728566486150 140728566486280 140728566486280 140728566489038 0 /proc/15365/statm: 44515 38590 807 476 0 37837 0 Current children cumulated CPU time: 0.69 s Current children cumulated vsize: 178060 KiB Current children cumulated memory: 154360 KiB [startup+1.50035 s] /proc/loadavg: 1.99 1.99 2.03 3/187 15366 /proc/meminfo: memFree=11284640/32770624 swapFree=67108860/67108860 [pid=15365] ppid=15362 vsize=211964 memory=187828 CPUtime=1.49 cores=0,2,4,6 /proc/15365/stat : 15365 (cosoco) R 15362 15365 14394 0 -1 4202496 47203 0 0 0 142 7 0 0 20 0 1 0 55517161 217051136 46957 33554432000 4194304 6142532 140728566480144 140728566470744 5801157 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8243016 8247936 27799552 140728566486150 140728566486280 140728566486280 140728566489038 0 /proc/15365/statm: 52991 46957 812 476 0 46313 0 Current children cumulated CPU time: 1.49 s Current children cumulated vsize: 211964 KiB Current children cumulated memory: 187828 KiB [startup+3.10951 s] /proc/loadavg: 1.99 1.99 2.03 3/187 15366 /proc/meminfo: memFree=11266912/32770624 swapFree=67108860/67108860 [pid=15365] ppid=15362 vsize=227356 memory=202484 CPUtime=3.1 cores=0,2,4,6 /proc/15365/stat : 15365 (cosoco) R 15362 15365 14394 0 -1 4202496 51357 0 0 0 302 8 0 0 20 0 1 0 55517161 232812544 50621 33554432000 4194304 6142532 140728566480144 140728566470744 5802652 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8243016 8247936 27799552 140728566486150 140728566486280 140728566486280 140728566489038 0 /proc/15365/statm: 56839 50621 812 476 0 50161 0 Current children cumulated CPU time: 3.1 s Current children cumulated vsize: 227356 KiB Current children cumulated memory: 202484 KiB [startup+6.30033 s] /proc/loadavg: 2.07 2.01 2.04 3/187 15366 /proc/meminfo: memFree=11236700/32770624 swapFree=67108860/67108860 [pid=15365] ppid=15362 vsize=257668 memory=231068 CPUtime=6.29 cores=0,2,4,6 /proc/15365/stat : 15365 (cosoco) R 15362 15365 14394 0 -1 4202496 60221 0 0 0 619 10 0 0 20 0 1 0 55517161 263852032 57767 33554432000 4194304 6142532 140728566480144 140728566476792 5403315 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8243016 8247936 27799552 140728566486150 140728566486280 140728566486280 140728566489038 0 /proc/15365/statm: 64417 57767 812 476 0 57739 0 Current children cumulated CPU time: 6.29 s Current children cumulated vsize: 257668 KiB Current children cumulated memory: 231068 KiB [startup+12.7003 s] /proc/loadavg: 2.06 2.01 2.04 3/187 15366 /proc/meminfo: memFree=11181588/32770624 swapFree=67108860/67108860 [pid=15365] ppid=15362 vsize=318312 memory=288792 CPUtime=12.69 cores=0,2,4,6 /proc/15365/stat : 15365 (cosoco) R 15362 15365 14394 0 -1 4202496 76525 0 0 0 1257 12 0 0 20 0 1 0 55517161 325951488 72198 33554432000 4194304 6142532 140728566480144 140728566476792 5404833 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8243016 8247936 27799552 140728566486150 140728566486280 140728566486280 140728566489038 0 /proc/15365/statm: 79578 72198 812 476 0 72900 0 Current children cumulated CPU time: 12.69 s Current children cumulated vsize: 318312 KiB Current children cumulated memory: 288792 KiB [startup+25.5004 s] /proc/loadavg: 2.05 2.01 2.04 3/187 15366 /proc/meminfo: memFree=11063720/32770624 swapFree=67108860/67108860 [pid=15365] ppid=15362 vsize=439484 memory=403776 CPUtime=25.49 cores=0,2,4,6 /proc/15365/stat : 15365 (cosoco) R 15362 15365 14394 0 -1 4202496 108046 0 0 0 2532 17 0 0 20 0 1 0 55517161 450031616 100944 33554432000 4194304 6142532 140728566480144 140728566476792 5800163 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8243016 8247936 27799552 140728566486150 140728566486280 140728566486280 140728566489038 0 /proc/15365/statm: 109871 100944 812 476 0 103193 0 Current children cumulated CPU time: 25.49 s Current children cumulated vsize: 439484 KiB Current children cumulated memory: 403776 KiB [startup+51.1095 s] /proc/loadavg: 2.03 2.01 2.04 3/187 15366 /proc/meminfo: memFree=10783344/32770624 swapFree=67108860/67108860 [pid=15365] ppid=15362 vsize=682260 memory=634388 CPUtime=51.11 cores=0,2,4,6 /proc/15365/stat : 15365 (cosoco) R 15362 15365 14394 0 -1 4202496 169699 0 0 0 5085 26 0 0 20 0 1 0 55517161 698634240 158597 33554432000 4194304 6142532 140728566480144 140728566476792 5798118 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8243016 8247936 27799552 140728566486150 140728566486280 140728566486280 140728566489038 0 /proc/15365/statm: 170565 158597 812 476 0 163887 0 Current children cumulated CPU time: 51.11 s Current children cumulated vsize: 682260 KiB Current children cumulated memory: 634388 KiB [startup+60.703 s] # the end of solver process 15365 was just reported to runsolver # cumulated CPU time of all completed processes: user=60.3331 s, system=0.375047 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+51.2004 s] /proc/loadavg: 2.03 2.01 2.04 3/187 15366 /proc/meminfo: memFree=10783344/32770624 swapFree=67108860/67108860 [pid=15365] ppid=15362 vsize=682748 memory=634904 CPUtime=51.2 cores=0,2,4,6 /proc/15365/stat : 15365 (cosoco) R 15362 15365 14394 0 -1 4202496 169827 0 0 0 5094 26 0 0 20 0 1 0 55517161 699133952 158726 33554432000 4194304 6142532 140728566480144 140728566476792 5796039 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8243016 8247936 27799552 140728566486150 140728566486280 140728566486280 140728566489038 0 /proc/15365/statm: 170687 158726 812 476 0 164009 0 Current children cumulated CPU time: 51.2 s Current children cumulated vsize: 682748 KiB Current children cumulated memory: 634904 KiB [startup+57.6003 s] /proc/loadavg: 2.03 2.01 2.04 3/187 15366 /proc/meminfo: memFree=10729664/32770624 swapFree=67108860/67108860 [pid=15365] ppid=15362 vsize=743832 memory=692840 CPUtime=57.6 cores=0,2,4,6 /proc/15365/stat : 15365 (cosoco) R 15362 15365 14394 0 -1 4202496 184716 0 0 0 5732 28 0 0 20 0 1 0 55517161 761683968 173210 33554432000 4194304 6142532 140728566480144 140728566476792 5403273 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8243016 8247936 27799552 140728566486150 140728566486280 140728566486280 140728566489038 0 /proc/15365/statm: 185958 173210 812 476 0 179280 0 Current children cumulated CPU time: 57.6 s Current children cumulated vsize: 743832 KiB Current children cumulated memory: 692840 KiB [startup+59.2003 s] /proc/loadavg: 2.03 2.01 2.04 3/187 15366 /proc/meminfo: memFree=10711436/32770624 swapFree=67108860/67108860 [pid=15365] ppid=15362 vsize=758604 memory=706976 CPUtime=59.2 cores=0,2,4,6 /proc/15365/stat : 15365 (cosoco) R 15362 15365 14394 0 -1 4202496 188384 0 0 0 5892 28 0 0 20 0 1 0 55517161 776810496 176744 33554432000 4194304 6142532 140728566480144 140728566476792 5413432 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8243016 8247936 27799552 140728566486150 140728566486280 140728566486280 140728566489038 0 /proc/15365/statm: 189651 176744 812 476 0 182973 0 Current children cumulated CPU time: 59.2 s Current children cumulated vsize: 758604 KiB Current children cumulated memory: 706976 KiB [startup+60.0003 s]* /proc/loadavg: 2.03 2.01 2.04 3/187 15367 /proc/meminfo: memFree=10702260/32770624 swapFree=67108860/67108860 [pid=15365] ppid=15362 vsize=766168 memory=714180 CPUtime=60 cores=0,2,4,6 /proc/15365/stat : 15365 (cosoco) R 15362 15365 14394 0 -1 4202496 190198 0 0 0 5972 28 0 0 20 0 1 0 55517161 784556032 178545 33554432000 4194304 6142532 140728566480144 140728566476792 140660793928704 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8243016 8247936 27799552 140728566486150 140728566486280 140728566486280 140728566489038 0 /proc/15365/statm: 191542 178545 812 476 0 184864 0 Current children cumulated CPU time: 60 s Current children cumulated vsize: 766168 KiB Current children cumulated memory: 714180 KiB [startup+60.4003 s] /proc/loadavg: 2.03 2.01 2.04 3/187 15367 /proc/meminfo: memFree=10702260/32770624 swapFree=67108860/67108860 [pid=15365] ppid=15362 vsize=769120 memory=717140 CPUtime=60.39 cores=0,2,4,6 /proc/15365/stat : 15365 (cosoco) R 15362 15365 14394 0 -1 4202496 190986 0 0 0 6011 28 0 0 20 0 1 0 55517161 787578880 179285 33554432000 4194304 6142532 140728566480144 140728566476792 5543516 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8243016 8247936 27799552 140728566486150 140728566486280 140728566486280 140728566489038 0 /proc/15365/statm: 192280 179285 813 476 0 185602 0 Current children cumulated CPU time: 60.39 s Current children cumulated vsize: 769120 KiB Current children cumulated memory: 717140 KiB [startup+60.6003 s] /proc/loadavg: 2.03 2.01 2.04 3/187 15367 /proc/meminfo: memFree=10702260/32770624 swapFree=67108860/67108860 [pid=15365] ppid=15362 vsize=838556 memory=786524 CPUtime=60.6 cores=0,2,4,6 /proc/15365/stat : 15365 (cosoco) R 15362 15365 14394 0 -1 4202496 215461 0 0 0 6029 31 0 0 20 0 1 0 55517161 858681344 196631 33554432000 4194304 6142532 140728566480144 140728566474680 5015877 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8243016 8247936 27799552 140728566486150 140728566486280 140728566486280 140728566489038 0 /proc/15365/statm: 209639 196631 818 476 0 202961 0 Current children cumulated CPU time: 60.6 s Current children cumulated vsize: 838556 KiB Current children cumulated memory: 786524 KiB Child status: 1 Real time (s): 60.7031 CPU time (s): 60.7082 CPU user time (s): 60.3331 CPU system time (s): 0.375047 CPU usage (%): 100.008 Max. virtual memory (cumulated for all children) (KiB): 838556 Max. memory (cumulated for all children) (KiB): 786524 getrusage(RUSAGE_CHILDREN,...) data: user time used= 60.3331 system time used= 0.375047 maximum resident set size= 799560 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 255792 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= 15 involuntary context switches= 19 # summary of solver processes directly reported to runsolver: # pid: 15365 # total CPU time (s): 60.7082 # total CPU user time (s): 60.3331 # total CPU system time (s): 0.375047 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.408503 second user time and 0.296557 second system time The end
Begin job on node104 at 2018-07-23 22:59:00 IDJOB=4293935 IDBENCH=141268 IDSOLVER=2752 FILE ID=node104/4293935-1532379539 RUNJOBID= node104-1532371797-14425 PBS_JOBID= 21021574 Free space on /tmp= 48700 MiB SOLVER NAME= cosoco 1.12 BENCH NAME= XCSP18/Fapp/Fapp-m2s/Fapp-m2s-test03-0400_c18.xml COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4293935-1532379539/watcher-4293935-1532379539 -o /tmp/evaluation-result-4293935-1532379539/solver-4293935-1532379539 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1532371797-14425 --watchdog 2580 HOME/cosoco -lc -model -restarts HOME/instance-4293935-1532379539.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= a5fe7a04cb5002912ef3d870057982e3 RANDOM SEED=672165993 node104.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 : 5333.11 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 : 5333.11 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 : 5333.11 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 : 5333.11 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: 11464616 kB MemAvailable: 31096680 kB Buffers: 268220 kB Cached: 19325892 kB SwapCached: 0 kB Active: 3236488 kB Inactive: 17253160 kB Active(anon): 897840 kB Inactive(anon): 17080 kB Active(file): 2338648 kB Inactive(file): 17236080 kB Unevictable: 7180 kB Mlocked: 7180 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 150428 kB Writeback: 0 kB AnonPages: 914952 kB Mapped: 39288 kB Shmem: 17036 kB Slab: 513592 kB SReclaimable: 485796 kB SUnreclaim: 27796 kB KernelStack: 3568 kB PageTables: 6900 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1214108 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 18432 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 116096 kB DirectMap2M: 33429504 kB Free space on /tmp at the end= 48696 MiB End job on node104 at 2018-07-23 23:00:01