Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
cosoco 2.0 | SAT | 114.1 | 114.092 |
Name | Random/Random-RB-2-40-19f/ rand-2-40-19-443-230f-30.xml |
MD5SUM | 50ce50ecf2588fb2b611ab94508eaebd |
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 | 44.0789 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 40 |
Number of constraints | 334 |
Number of domains | 1 |
Minimum domain size | 19 |
Maximum domain size | 19 |
Distribution of domain sizes | [{"size":19,"count":40}] |
Minimum variable degree | 8 |
Maximum variable degree | 21 |
Distribution of variable degrees | [{"degree":8,"count":1},{"degree":10,"count":1},{"degree":12,"count":2},{"degree":13,"count":2},{"degree":14,"count":3},{"degree":15,"count":6},{"degree":16,"count":3},{"degree":17,"count":4},{"degree":18,"count":4},{"degree":19,"count":4},{"degree":20,"count":6},{"degree":21,"count":4}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 2 |
Distribution of constraint arities | [{"arity":2,"count":334}] |
Number of extensional constraints | 334 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":334}] |
Optimization problem | NO |
Type of objective |
0.00/0.10 c root propagations : 0 0.00/0.10 c restarts enabled, print stats at every restarts 0.00/0.10 c 0.00/0.10 c 0.00/0.10 c 0.00/0.10 c This is cosoco 2.00 -- 0.00/0.10 c 0.00/0.10 c command line: cosoco -lc -model -restarts -stick HOME/instance-4397267-1568572994.xml 0.00/0.10 c ========================================[ Problem Statistics ]=========================================== 0.00/0.10 c | 0.00/0.10 c | Parse time : 0.10 s 0.00/0.10 c | 0.00/0.10 c | Variables: 40 0.00/0.10 c | Domain Sizes: 19..19 0.00/0.10 c | 0.00/0.10 c | Constraints: 334 0.00/0.10 c | Arity: 2..2 -- Binary: 334 0.00/0.10 c | 0.00/0.10 c | Types: 0.00/0.10 c | Extension: 334 (nb tuples: 83..175) -- (shared: 0) 0.00/0.10 c | 0.00/0.10 c ========================================================================================================= 0.00/0.10 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.10/0.11 c 101 246 61653 24002 0 0 5 12 8 0.10/0.12 c 211 480 122067 42973 0 0 8 12 9 0.10/0.13 c 332 797 200742 69919 0 0 7 13 9 0.10/0.14 c 465 1111 277404 97070 0 0 7 12 8 0.10/0.15 c 611 1458 366027 126725 0 0 7 12 9 0.10/0.16 c 771 1855 459391 157937 0 0 5 15 9 0.10/0.18 c 947 2334 574003 196800 0 0 6 16 10 0.10/0.19 c 1140 2841 693340 236304 0 0 7 17 10 0.10/0.21 c 1352 3303 812791 277212 0 0 5 12 8 0.21/0.23 c 1585 3997 969914 327695 0 0 6 15 10 0.21/0.25 c 1841 4636 1132777 382992 0 0 5 13 9 0.21/0.28 c 2122 5447 1328414 450935 0 0 5 14 8 0.21/0.30 c 2431 6226 1517313 514510 0 0 6 13 9 0.31/0.33 c 2770 7141 1738752 590544 0 0 5 14 9 0.31/0.36 c 3142 8134 1982641 671313 0 0 5 13 9 0.31/0.39 c 3551 9318 2259215 762023 0 0 6 16 9 0.41/0.43 c 4000 10565 2558805 864770 0 0 5 16 10 0.41/0.47 c 4493 11880 2865966 969863 0 0 5 14 9 0.41/0.51 c 5035 13304 3209744 1076906 0 0 5 14 9 0.51/0.56 c 5631 14834 3584201 1201058 0 0 5 15 9 0.60/0.61 c 6286 16787 4017846 1333381 0 0 6 15 10 0.60/0.67 c 7006 18627 4483870 1492155 0 0 5 15 9 0.69/0.73 c 7798 20563 4954367 1658008 0 0 6 15 9 0.79/0.80 c 8669 22825 5506924 1845904 0 0 7 18 10 0.79/0.88 c 9627 25302 6091173 2042991 0 0 5 15 9 0.89/0.96 c 10680 28041 6756491 2260712 0 0 5 17 9 1.00/1.05 c 11838 30944 7465107 2500679 0 0 6 15 9 1.10/1.15 c 13111 34138 8263377 2761388 0 0 6 16 10 1.19/1.26 c 14511 37574 9120263 3048241 0 0 4 13 9 1.29/1.39 c 16051 41576 10106617 3385282 0 0 6 17 9 1.49/1.53 c 17745 45993 11186165 3760908 0 0 4 16 8 1.59/1.68 c 19608 50829 12349089 4150807 0 0 4 17 9 1.79/1.84 c 21657 56280 13677849 4603589 0 0 4 17 9 2.00/2.04 c 23910 62337 15155740 5118308 0 0 4 14 9 2.19/2.24 c 26388 69207 16785059 5656773 0 0 5 17 9 2.39/2.48 c 29113 76496 18546110 6290273 0 0 4 15 9 2.69/2.73 c 32110 84522 20492579 6964450 0 0 4 18 9 3.00/3.01 c 35406 93273 22633471 7711761 0 0 4 14 9 3.29/3.30 c 39031 102289 24846840 8463389 0 0 5 15 9 3.59/3.64 c 43018 112234 27359870 9382773 0 0 4 15 8 3.89/3.99 c 47403 123561 30145309 10296569 0 0 5 16 9 4.29/4.35 c 52226 135964 33099059 11267798 0 0 4 16 10 4.79/4.80 c 57531 149646 36494259 12452646 0 0 4 15 8 5.19/5.27 c 63366 164992 40209894 13698722 0 0 3 16 9 5.79/5.83 c 69784 182305 44464871 15208659 0 0 4 16 9 6.39/6.43 c 76843 202017 49154967 16826839 0 0 3 17 9 7.00/7.07 c 84607 222027 54043313 18517035 0 0 4 16 9 7.69/7.77 c 93147 244812 59512682 20367878 0 0 4 17 9 8.49/8.55 c 102541 269087 65516696 22443173 0 0 4 17 9 9.39/9.40 c 112874 296467 72109778 24672593 0 0 4 16 9 10.29/10.32 c 124240 326810 79426750 27101569 0 0 4 18 9 11.29/11.33 c 136742 360106 87347514 29815455 0 0 3 16 9 12.39/12.49 c 150494 397688 96271766 32915948 0 0 3 16 9 13.69/13.75 c 165621 437597 105941621 36229067 0 0 4 16 9 15.00/15.06 c 182260 479877 116141310 39675592 0 0 4 16 9 16.49/16.59 c 200562 527371 127928124 43724483 0 0 3 16 8 18.19/18.28 c 220694 580823 141002517 48178848 0 0 3 16 9 20.00/20.08 c 242839 640413 155320346 52966677 0 0 4 20 10 22.00/22.03 c 267198 705246 170843951 58128863 0 0 4 18 9 24.19/24.29 c 293992 775927 188066816 64222757 0 0 4 18 9 26.79/26.82 c 323465 858727 207644165 70947980 0 0 3 18 9 29.59/29.63 c 355885 945316 229116709 78384752 0 0 3 16 9 32.59/32.64 c 391547 1043409 252573747 86320135 0 0 3 18 9 36.00/36.04 c 430775 1146610 278283150 95391167 0 0 4 19 9 39.69/39.76 c 473925 1261009 306520382 105300991 1 0 3 16 8 43.69/43.74 c 521390 1391415 337722869 115850961 1 0 3 17 9 48.19/48.23 c 573601 1531098 371704945 127808255 1 0 3 20 9 53.00/53.01 c 631033 1682048 408561947 140622908 1 0 4 19 9 58.30/58.38 c 694208 1847926 449157055 154964363 1 0 3 18 8 64.30/64.30 c 763700 2035306 494880478 170734677 2 0 2 16 9 70.80/70.87 c 840141 2246884 545434525 188234959 4 0 3 18 9 77.90/77.95 c 924226 2469053 599527021 207215493 4 0 3 17 9 85.60/85.62 c 1016719 2710286 658608737 227697436 4 0 3 16 9 94.30/94.39 c 1118461 2983373 725299131 251132764 6 0 2 18 8 103.80/103.88 c 1230377 3285845 798030105 276443327 7 0 2 18 9 114.01/114.09 c First solution is found 114.01/114.09 s SATISFIABLE 114.01/114.09 c restarts : 75 114.01/114.09 c conflicts : 1350088 (11833 /sec) 114.01/114.09 c decisions : 3607804 (31621 /sec) 114.01/114.09 c propagations : 303749836 (2662217 /sec) 114.01/114.09 c root propagations : 0 114.01/114.09 c filter calls : 876388027 (7681106 /sec) 114.01/114.09 c useless filter calls : 704695582 (80 %) 114.01/114.09 c Memory used : 27.09 MB 114.01/114.09 c CPU time : 114.097 s 114.01/114.09 c real time : 114.086 s 114.01/114.09 114.01/114.09 c solution 1 114.01/114.09 114.01/114.09 v <instantiation type='solution'> 114.01/114.09 v <list>x[0] x[1] 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[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] </list> 114.01/114.09 v <values>2 7 3 6 3 7 11 0 8 3 4 8 10 14 5 5 6 9 14 6 12 11 16 14 12 13 14 4 18 5 10 12 18 8 4 11 9 1 1 17 </values> 114.01/114.09 v </instantiation> 114.01/114.09
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 (14503 MiB free) memory of node 1: 16384 MiB (15487 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4397267-1568572994/watcher-4397267-1568572994 -o /tmp/evaluation-result-4397267-1568572994/solver-4397267-1568572994 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node116-1568572744-16757 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4397267-1568572994.xml running on 4 cores: 0-3 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread solver pid=17178, runsolver pid=17175 Current StackSize limit: 8192 KiB [startup+0.100157 s]* /proc/loadavg: 1.94 1.02 0.44 3/201 17179 /proc/meminfo: memFree=30710424/32770688 swapFree=66961172/67108860 [pid=17178] ppid=17175 vsize=27732 memory=4296 CPUtime=0.1 cores=0-3 /proc/17178/stat : 17178 (cosoco) R 17175 17178 16726 0 -1 4202496 1240 0 0 0 10 0 0 0 20 0 1 0 433241094 28397568 1074 33554432000 4194304 6211092 140726332618080 140726332614616 5193728 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 36331520 140726332621835 140726332621937 140726332621937 140726332624846 0 /proc/17178/statm: 6933 1074 848 493 0 238 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 27732 KiB Current children cumulated memory: 4296 KiB [startup+0.210665 s]* /proc/loadavg: 1.94 1.02 0.44 3/201 17179 /proc/meminfo: memFree=30710424/32770688 swapFree=66961172/67108860 [pid=17178] ppid=17175 vsize=27732 memory=4296 CPUtime=0.21 cores=0-3 /proc/17178/stat : 17178 (cosoco) R 17175 17178 16726 0 -1 4202496 1242 0 0 0 21 0 0 0 20 0 1 0 433241094 28397568 1074 33554432000 4194304 6211092 140726332618080 140726332614616 5017744 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 36331520 140726332621835 140726332621937 140726332621937 140726332624846 0 /proc/17178/statm: 6933 1074 848 493 0 238 0 Current children cumulated CPU time: 0.21 s Current children cumulated vsize: 27732 KiB Current children cumulated memory: 4296 KiB [startup+0.310195 s]* /proc/loadavg: 1.94 1.02 0.44 3/201 17179 /proc/meminfo: memFree=30710424/32770688 swapFree=66961172/67108860 [pid=17178] ppid=17175 vsize=27732 memory=4296 CPUtime=0.31 cores=0-3 /proc/17178/stat : 17178 (cosoco) R 17175 17178 16726 0 -1 4202496 1242 0 0 0 31 0 0 0 20 0 1 0 433241094 28397568 1074 33554432000 4194304 6211092 140726332618080 140726332614616 5017373 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 36331520 140726332621835 140726332621937 140726332621937 140726332624846 0 /proc/17178/statm: 6933 1074 848 493 0 238 0 Current children cumulated CPU time: 0.31 s Current children cumulated vsize: 27732 KiB Current children cumulated memory: 4296 KiB [startup+0.700285 s] /proc/loadavg: 1.95 1.04 0.45 3/201 17179 /proc/meminfo: memFree=30710424/32770688 swapFree=66961172/67108860 [pid=17178] ppid=17175 vsize=27732 memory=4296 CPUtime=0.69 cores=0-3 /proc/17178/stat : 17178 (cosoco) R 17175 17178 16726 0 -1 4202496 1242 0 0 0 69 0 0 0 20 0 1 0 433241094 28397568 1074 33554432000 4194304 6211092 140726332618080 140726332614616 5017522 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 36331520 140726332621835 140726332621937 140726332621937 140726332624846 0 /proc/17178/statm: 6933 1074 848 493 0 238 0 Current children cumulated CPU time: 0.69 s Current children cumulated vsize: 27732 KiB Current children cumulated memory: 4296 KiB [startup+1.50029 s] /proc/loadavg: 1.95 1.04 0.45 3/201 17179 /proc/meminfo: memFree=30710360/32770688 swapFree=66961172/67108860 [pid=17178] ppid=17175 vsize=27732 memory=4296 CPUtime=1.49 cores=0-3 /proc/17178/stat : 17178 (cosoco) R 17175 17178 16726 0 -1 4202496 1242 0 0 0 149 0 0 0 20 0 1 0 433241094 28397568 1074 33554432000 4194304 6211092 140726332618080 140726332616040 5017472 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 36331520 140726332621835 140726332621937 140726332621937 140726332624846 0 /proc/17178/statm: 6933 1074 848 493 0 238 0 Current children cumulated CPU time: 1.49 s Current children cumulated vsize: 27732 KiB Current children cumulated memory: 4296 KiB [startup+3.11022 s] /proc/loadavg: 1.95 1.04 0.45 3/201 17179 /proc/meminfo: memFree=30710484/32770688 swapFree=66961172/67108860 [pid=17178] ppid=17175 vsize=27732 memory=4320 CPUtime=3.1 cores=0-3 /proc/17178/stat : 17178 (cosoco) R 17175 17178 16726 0 -1 4202496 1405 0 0 0 310 0 0 0 20 0 1 0 433241094 28397568 1080 33554432000 4194304 6211092 140726332618080 140726332616040 5017373 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 36331520 140726332621835 140726332621937 140726332621937 140726332624846 0 /proc/17178/statm: 6933 1080 853 493 0 238 0 Current children cumulated CPU time: 3.1 s Current children cumulated vsize: 27732 KiB Current children cumulated memory: 4320 KiB [startup+6.30028 s] /proc/loadavg: 1.95 1.05 0.46 3/201 17179 /proc/meminfo: memFree=30710540/32770688 swapFree=66961172/67108860 [pid=17178] ppid=17175 vsize=27732 memory=4320 CPUtime=6.29 cores=0-3 /proc/17178/stat : 17178 (cosoco) R 17175 17178 16726 0 -1 4202496 1568 0 0 0 629 0 0 0 20 0 1 0 433241094 28397568 1080 33554432000 4194304 6211092 140726332618080 140726332616040 5186246 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 36331520 140726332621835 140726332621937 140726332621937 140726332624846 0 /proc/17178/statm: 6933 1080 853 493 0 238 0 Current children cumulated CPU time: 6.29 s Current children cumulated vsize: 27732 KiB Current children cumulated memory: 4320 KiB [startup+12.7003 s] /proc/loadavg: 2.04 1.08 0.47 3/201 17179 /proc/meminfo: memFree=30710280/32770688 swapFree=66961172/67108860 [pid=17178] ppid=17175 vsize=27732 memory=4320 CPUtime=12.69 cores=0-3 /proc/17178/stat : 17178 (cosoco) R 17175 17178 16726 0 -1 4202496 1731 0 0 0 1269 0 0 0 20 0 1 0 433241094 28397568 1080 33554432000 4194304 6211092 140726332618080 140726332616040 5017373 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 36331520 140726332621835 140726332621937 140726332621937 140726332624846 0 /proc/17178/statm: 6933 1080 853 493 0 238 0 Current children cumulated CPU time: 12.69 s Current children cumulated vsize: 27732 KiB Current children cumulated memory: 4320 KiB [startup+25.5003 s] /proc/loadavg: 2.03 1.11 0.49 3/201 17179 /proc/meminfo: memFree=30710436/32770688 swapFree=66961172/67108860 [pid=17178] ppid=17175 vsize=27732 memory=4320 CPUtime=25.49 cores=0-3 /proc/17178/stat : 17178 (cosoco) R 17175 17178 16726 0 -1 4202496 2057 0 0 0 2549 0 0 0 20 0 1 0 433241094 28397568 1080 33554432000 4194304 6211092 140726332618080 140726332616040 5017476 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 36331520 140726332621835 140726332621937 140726332621937 140726332624846 0 /proc/17178/statm: 6933 1080 853 493 0 238 0 Current children cumulated CPU time: 25.49 s Current children cumulated vsize: 27732 KiB Current children cumulated memory: 4320 KiB [startup+51.1103 s] /proc/loadavg: 2.09 1.21 0.54 3/201 17182 /proc/meminfo: memFree=30709876/32770688 swapFree=66961172/67108860 [pid=17178] ppid=17175 vsize=27732 memory=4320 CPUtime=51.11 cores=0-3 /proc/17178/stat : 17178 (cosoco) R 17175 17178 16726 0 -1 4202496 2220 0 0 0 5111 0 0 0 20 0 1 0 433241094 28397568 1080 33554432000 4194304 6211092 140726332618080 140726332616040 5017569 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 36331520 140726332621835 140726332621937 140726332621937 140726332624846 0 /proc/17178/statm: 6933 1080 853 493 0 238 0 Current children cumulated CPU time: 51.11 s Current children cumulated vsize: 27732 KiB Current children cumulated memory: 4320 KiB [startup+102.3 s] /proc/loadavg: 2.04 1.34 0.62 3/202 17187 /proc/meminfo: memFree=30710120/32770688 swapFree=66961172/67108860 [pid=17178] ppid=17175 vsize=27732 memory=4320 CPUtime=102.3 cores=0-3 /proc/17178/stat : 17178 (cosoco) R 17175 17178 16726 0 -1 4202496 2383 0 0 0 10230 0 0 0 20 0 1 0 433241094 28397568 1080 33554432000 4194304 6211092 140726332618080 140726332616040 5017569 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 36331520 140726332621835 140726332621937 140726332621937 140726332624846 0 /proc/17178/statm: 6933 1080 853 493 0 238 0 Current children cumulated CPU time: 102.3 s Current children cumulated vsize: 27732 KiB Current children cumulated memory: 4320 KiB [startup+114.092 s] # the end of solver process 17178 was just reported to runsolver # cumulated CPU time of all completed processes: user=114.097 s, system=0.003 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+102.4 s] /proc/loadavg: 2.04 1.34 0.62 3/202 17187 /proc/meminfo: memFree=30710120/32770688 swapFree=66961172/67108860 [pid=17178] ppid=17175 vsize=27732 memory=4320 CPUtime=102.4 cores=0-3 /proc/17178/stat : 17178 (cosoco) R 17175 17178 16726 0 -1 4202496 2383 0 0 0 10240 0 0 0 20 0 1 0 433241094 28397568 1080 33554432000 4194304 6211092 140726332618080 140726332616040 5017377 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 36331520 140726332621835 140726332621937 140726332621937 140726332624846 0 /proc/17178/statm: 6933 1080 853 493 0 238 0 Current children cumulated CPU time: 102.4 s Current children cumulated vsize: 27732 KiB Current children cumulated memory: 4320 KiB [startup+108.8 s] /proc/loadavg: 2.03 1.35 0.63 3/202 17187 /proc/meminfo: memFree=30710120/32770688 swapFree=66961172/67108860 [pid=17178] ppid=17175 vsize=27732 memory=4320 CPUtime=108.8 cores=0-3 /proc/17178/stat : 17178 (cosoco) R 17175 17178 16726 0 -1 4202496 2383 0 0 0 10880 0 0 0 20 0 1 0 433241094 28397568 1080 33554432000 4194304 6211092 140726332618080 140726332616040 5008844 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 36331520 140726332621835 140726332621937 140726332621937 140726332624846 0 /proc/17178/statm: 6933 1080 853 493 0 238 0 Current children cumulated CPU time: 108.8 s Current children cumulated vsize: 27732 KiB Current children cumulated memory: 4320 KiB [startup+112 s]* /proc/loadavg: 2.03 1.36 0.63 3/202 17187 /proc/meminfo: memFree=30710272/32770688 swapFree=66961172/67108860 [pid=17178] ppid=17175 vsize=27732 memory=4320 CPUtime=112.01 cores=0-3 /proc/17178/stat : 17178 (cosoco) R 17175 17178 16726 0 -1 4202496 2383 0 0 0 11201 0 0 0 20 0 1 0 433241094 28397568 1080 33554432000 4194304 6211092 140726332618080 140726332616040 5017191 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 36331520 140726332621835 140726332621937 140726332621937 140726332624846 0 /proc/17178/statm: 6933 1080 853 493 0 238 0 Current children cumulated CPU time: 112.01 s Current children cumulated vsize: 27732 KiB Current children cumulated memory: 4320 KiB [startup+112.8 s] /proc/loadavg: 2.03 1.36 0.63 3/202 17187 /proc/meminfo: memFree=30710272/32770688 swapFree=66961172/67108860 [pid=17178] ppid=17175 vsize=27732 memory=4320 CPUtime=112.8 cores=0-3 /proc/17178/stat : 17178 (cosoco) R 17175 17178 16726 0 -1 4202496 2383 0 0 0 11280 0 0 0 20 0 1 0 433241094 28397568 1080 33554432000 4194304 6211092 140726332618080 140726332616040 5017292 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 36331520 140726332621835 140726332621937 140726332621937 140726332624846 0 /proc/17178/statm: 6933 1080 853 493 0 238 0 Current children cumulated CPU time: 112.8 s Current children cumulated vsize: 27732 KiB Current children cumulated memory: 4320 KiB [startup+113.6 s] /proc/loadavg: 2.03 1.36 0.63 3/202 17187 /proc/meminfo: memFree=30710272/32770688 swapFree=66961172/67108860 [pid=17178] ppid=17175 vsize=27732 memory=4320 CPUtime=113.6 cores=0-3 /proc/17178/stat : 17178 (cosoco) R 17175 17178 16726 0 -1 4202496 2383 0 0 0 11360 0 0 0 20 0 1 0 433241094 28397568 1080 33554432000 4194304 6211092 140726332618080 140726332616040 5017267 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 36331520 140726332621835 140726332621937 140726332621937 140726332624846 0 /proc/17178/statm: 6933 1080 853 493 0 238 0 Current children cumulated CPU time: 113.6 s Current children cumulated vsize: 27732 KiB Current children cumulated memory: 4320 KiB [startup+114 s]* /proc/loadavg: 2.03 1.36 0.63 3/202 17187 /proc/meminfo: memFree=30710272/32770688 swapFree=66961172/67108860 [pid=17178] ppid=17175 vsize=27732 memory=4320 CPUtime=114.01 cores=0-3 /proc/17178/stat : 17178 (cosoco) R 17175 17178 16726 0 -1 4202496 2383 0 0 0 11401 0 0 0 20 0 1 0 433241094 28397568 1080 33554432000 4194304 6211092 140726332618080 140726332616040 5017277 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 36331520 140726332621835 140726332621937 140726332621937 140726332624846 0 /proc/17178/statm: 6933 1080 853 493 0 238 0 Current children cumulated CPU time: 114.01 s Current children cumulated vsize: 27732 KiB Current children cumulated memory: 4320 KiB Child status: 0 Real time (s): 114.092 CPU time (s): 114.1 CPU user time (s): 114.097 CPU system time (s): 0.003 CPU usage (%): 100.007 Max. virtual memory (cumulated for all children) (KiB): 27732 Max. memory (cumulated for all children) (KiB): 4320 getrusage(RUSAGE_CHILDREN,...) data: user time used= 114.097 system time used= 0.003 maximum resident set size= 4392 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2423 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= 13 involuntary context switches= 34 # summary of solver processes directly reported to runsolver: # pid: 17178 # total CPU time (s): 114.1 # total CPU user time (s): 114.097 # total CPU system time (s): 0.003 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.455094 second user time and 0.894603 second system time The end
Begin job on node116 at 2019-09-15 20:42:33 IDJOB=4397267 IDBENCH=120943 IDSOLVER=2849 FILE ID=node116/4397267-1568572994 RUNJOBID= node116-1568572744-16757 PBS_JOBID= 21703332 Free space on /tmp= 61228 MiB SOLVER NAME= cosoco 2.0 BENCH NAME= XCSP17/Random/Random-RB-2-40-19f/rand-2-40-19-443-230f-30.xml COMMAND LINE= cosoco -lc -model -restarts -stick BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4397267-1568572994/watcher-4397267-1568572994 -o /tmp/evaluation-result-4397267-1568572994/solver-4397267-1568572994 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node116-1568572744-16757 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4397267-1568572994.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 50ce50ecf2588fb2b611ab94508eaebd RANDOM SEED=1112019617 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: 30711160 kB MemAvailable: 31771456 kB Buffers: 105180 kB Cached: 1249880 kB SwapCached: 46624 kB Active: 1005124 kB Inactive: 478280 kB Active(anon): 82620 kB Inactive(anon): 94984 kB Active(file): 922504 kB Inactive(file): 383296 kB Unevictable: 110604 kB Mlocked: 110604 kB SwapTotal: 67108860 kB SwapFree: 66961172 kB Dirty: 2800 kB Writeback: 0 kB AnonPages: 210132 kB Mapped: 48252 kB Shmem: 40256 kB Slab: 169080 kB SReclaimable: 140660 kB SUnreclaim: 28420 kB KernelStack: 3792 kB PageTables: 5840 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494204 kB Committed_AS: 614320 kB VmallocTotal: 34359738367 kB VmallocUsed: 350212 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 161792 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= 61228 MiB End job on node116 at 2019-09-15 20:44:27