0.79/0.88	c intension x0 != x1  using generic constraint 
0.79/0.88	c intension x2 != x3  using generic constraint 
0.79/0.88	c intension x4 != x5  using generic constraint 
0.79/0.88	c intension x6 != x7  using generic constraint 
0.79/0.88	c intension x8 != x9  using generic constraint 
0.79/0.89	c intension x10 != x11  using generic constraint 
0.79/0.89	c intension x12 != x13  using generic constraint 
0.79/0.89	c intension x14 != x15  using generic constraint 
0.79/0.89	c intension x16 != x17  using generic constraint 
0.79/0.89	c intension x18 != x19  using generic constraint 
0.79/0.89	c intension x20 != x21  using generic constraint 
0.79/0.89	c intension x22 != x23  using generic constraint 
0.79/0.89	c intension x24 != x25  using generic constraint 
0.79/0.89	c intension x26 != x27  using generic constraint 
0.79/0.89	c intension x28 != x29  using generic constraint 
0.79/0.89	c intension x30 != x31  using generic constraint 
0.79/0.90	c intension x32 != x33  using generic constraint 
0.89/0.90	c intension x34 != x35  using generic constraint 
0.89/0.90	c intension x36 != x37  using generic constraint 
0.89/0.90	c intension x38 != x39  using generic constraint 
0.89/0.90	c intension x40 != x41  using generic constraint 
0.89/0.90	c intension x42 != x43  using generic constraint 
0.89/0.90	c intension x44 != x45  using generic constraint 
0.89/0.90	c intension x46 != x47  using generic constraint 
0.89/0.90	c intension x48 != x49  using generic constraint 
0.89/0.90	c intension x50 != x51  using generic constraint 
0.89/0.90	c intension x52 != x53  using generic constraint 
0.89/0.90	c intension x54 != x55  using generic constraint 
0.89/0.91	c intension x56 != x57  using generic constraint 
0.89/0.91	c intension x58 != x59  using generic constraint 
0.89/0.91	c intension x60 != x61  using generic constraint 
0.89/0.91	c intension x62 != x63  using generic constraint 
0.89/0.91	c intension x64 != x65  using generic constraint 
0.89/0.91	c intension x66 != x67  using generic constraint 
0.89/0.91	c intension x68 != x69  using generic constraint 
0.89/0.91	c intension x70 != x71  using generic constraint 
0.89/0.91	c intension x72 != x73  using generic constraint 
0.89/0.91	c intension x74 != x75  using generic constraint 
0.89/0.91	c intension x76 != x77  using generic constraint 
0.89/0.91	c intension x78 != x79  using generic constraint 
0.89/0.92	c intension x80 != x81  using generic constraint 
0.89/0.92	c intension x82 != x83  using generic constraint 
0.89/0.92	c intension x84 != x85  using generic constraint 
0.89/0.92	c intension x86 != x87  using generic constraint 
0.89/0.92	c intension x88 != x89  using generic constraint 
0.89/0.92	c intension x90 != x91  using generic constraint 
0.89/0.92	c intension x92 != x93  using generic constraint 
0.89/0.92	c intension x94 != x95  using generic constraint 
0.89/0.92	c intension x96 != x97  using generic constraint 
0.89/0.92	c intension x98 != x99  using generic constraint 
0.89/0.99	c SAT : Variables: 12720 -- Clauses: 804860
0.89/0.99	c root propagations     : 0           
0.89/0.99	c restarts enabled, print stats at every restarts
0.89/0.99	c
0.89/0.99	c
0.89/0.99	c
0.89/0.99	c This is cosoco 1.12 --  
0.89/0.99	c
0.89/0.99	c command line: cosoco -lc -model -restarts -sat HOME/instance-4266452-1502591194.xml 
0.89/0.99	c ========================================[ Problem Statistics ]===========================================
0.89/0.99	c |                                                                                                       
0.89/0.99	c |  Parse time        :         0.98 s 
0.89/0.99	c |
0.89/0.99	c |               Variables: 100
0.89/0.99	c |            Domain Sizes: 116..135
0.89/0.99	c |
0.89/0.99	c |             Constraints: 845
0.89/0.99	c |                   Arity: 2..2  -- Binary: 845
0.89/0.99	c | 
0.89/0.99	c |                   Types: 
0.89/0.99	c |                          (X != Y): 50
0.89/0.99	c |                          Intension: 795
0.89/0.99	c |                          
0.89/0.99	c =========================================================================================================
0.89/0.99	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
1.00/1.06	c 10             44             9092           15869          0              5              24   29   24   
1.00/1.10	c 20             82             17077          25558          1              7              1   29   21    
1.10/1.17	c 30             128            27488          36629          2              9              1   37   27    
1.19/1.22	c 40             163            35400          47150          3              18             1   26   12    
1.19/1.26	c 50             187            41602          58024          4              27             1   15   12    
1.29/1.30	c 60             211            48677          69501          5              34             1   14   10    
1.29/1.34	c 70             240            55661          81113          5              44             6   20   13    
1.29/1.38	c 80             269            63587          93137          5              54             6   20   16    
1.39/1.44	c 90             298            72824          105979         5              60             16   18   15   
1.39/1.48	c 100            322            80830          118286         5              62             13   14   12   
1.39/1.48	c 101            323            80898          119192         5              62             1   1   0      
1.49/1.53	c 110            349            88783          130782         6              66             17   17   15   
1.49/1.57	c 120            374            95030          142343         6              76             16   16   14   
1.59/1.61	c 130            409            103684         155888         6              79             23   24   21   
1.59/1.66	c 140            433            111448         166120         7              81             1   15   11    
1.69/1.70	c 150            454            117650         178032         7              91             12   12   10   
1.69/1.75	c 160            489            128623         192477         7              97             6   20   15    
1.79/1.80	c 170            520            139121         207232         7              106            6   20   16    
1.79/1.85	c 180            551            150045         220138         7              113            18   20   17   
1.89/1.91	c 190            583            160788         232784         7              120            18   20   17   
1.89/1.95	c 200            611            169159         245772         8              129            1   19   15    
1.89/2.00	c 210            640            177993         259789         8              134            16   18   15   
2.00/2.04	c 211            660            183639         267871         8              135            20   20   10   
2.00/2.09	c 220            696            194619         285001         9              137            1   27   21    
2.10/2.14	c 230            729            204578         297942         9              142            20   22   19   
2.10/2.15	c 240            744            206164         309326         9              152            6   6   5      
2.10/2.16	c 250            767            209178         317665         10             161            1   14   10    
2.19/2.20	c 260            806            218955         332356         11             169            1   28   15    
2.19/2.25	c 270            847            229853         348409         11             178            30   31   27   
2.29/2.30	c 280            880            239031         363389         11             188            2   24   11    
2.29/2.35	c 290            913            247727         377121         11             192            23   23   20   
2.39/2.40	c 300            945            257765         391990         11             194            19   22   18   
2.39/2.44	c 310            972            265489         404261         12             203            1   18   12    
2.39/2.49	c 320            999            273941         416197         12             205            17   17   15   
2.49/2.53	c 330            1029           282141         427944         12             212            19   20   17   
2.49/2.57	c 332            1056           289547         437348         12             214            7   26   11    
2.59/2.61	c 340            1084           295681         449323         13             221            1   21   8     
2.59/2.66	c 350            1115           305662         459870         13             223            20   21   18   
2.69/2.72	c 360            1150           318651         478186         13             227            25   25   22   
2.69/2.76	c 370            1171           326001         489226         13             237            12   12   10   
2.79/2.80	c 380            1193           332292         499574         13             242            2   12   10    
2.79/2.84	c 390            1214           338516         511643         13             252            12   12   10   
2.79/2.89	c 400            1244           348611         527356         13             256            19   20   18   
2.89/2.94	c 410            1270           355267         540898         13             266            17   17   15   
2.89/2.98	c 420            1297           363410         554420         13             275            16   17   14   
3.00/3.03	c 430            1330           373341         571583         13             285            24   24   21   
3.00/3.07	c 440            1353           381153         583567         13             286            14   14   12   
3.10/3.12	c 450            1381           388426         594780         14             291            1   18   12    
3.10/3.16	c 460            1422           397422         608178         15             296            1   27   17    
3.19/3.20	c 465            1445           404039         618028         16             300            1   19   12    
3.19/3.25	c 470            1469           412164         629615         16             305            19   20   16   
3.29/3.30	c 480            1496           420679         640728         16             315            2   18   13    
3.29/3.35	c 490            1528           430426         655859         16             319            13   21   18   
3.29/3.39	c 500            1560           438355         667799         16             326            14   22   18   
3.39/3.43	c 510            1592           445669         679455         16             328            18   23   20   
3.39/3.48	c 520            1623           456419         694093         17             334            1   20   13    
3.49/3.53	c 530            1656           466487         707531         17             344            15   23   19   
3.49/3.58	c 540            1686           475485         720311         17             354            15   21   18   
3.59/3.63	c 550            1724           486604         733724         17             356            23   29   25   
3.59/3.67	c 560            1751           494618         747330         17             365            12   18   15   
3.69/3.72	c 570            1773           502782         762586         17             375            13   13   11   
3.69/3.77	c 580            1802           512924         775754         17             385            17   19   16   
3.79/3.83	c 590            1827           523399         795078         17             394            13   15   12   
3.79/3.87	c 600            1861           531921         806443         17             397            14   25   20   
3.89/3.91	c 610            1889           539434         820319         17             407            11   19   16   
3.89/3.94	c 611            1903           543236         826606         17             408            14   14   7    
3.89/3.98	c 620            1933           551088         837928         17             412            15   21   18   
3.89/4.00	c 630            1958           554787         848002         18             421            1   16   11    
4.00/4.04	c 640            1990           562295         860443         18             431            10   23   19   
4.00/4.09	c 650            2042           572028         873375         18             441            17   43   34   
4.10/4.14	c 660            2086           580712         887851         19             450            1   34   20    
4.10/4.18	c 670            2137           590809         901447         19             460            10   41   28   
4.19/4.23	c 680            2186           601156         912600         19             464            31   38   33   
4.19/4.27	c 690            2227           609258         925388         19             474            6   32   24    
4.29/4.32	c 700            2278           619477         936811         19             478            40   40   36   
4.29/4.36	c 710            2315           626814         951486         20             487            1   27   12    
4.39/4.41	c 720            2351           634575         964986         20             497            18   27   23   
4.39/4.45	c 730            2400           644897         978741         20             507            35   40   35   
4.49/4.50	c 740            2449           654090         992282         21             516            1   40   19    
4.49/4.55	c 750            2496           663716         1006975        21             526            10   38   22   
4.59/4.60	c 760            2544           672561         1020327        21             536            10   39   22   
4.59/4.65	c 770            2596           683373         1034808        21             546            28   43   37   
4.59/4.68	c 771            2624           689047         1042444        21             547            28   28   14   
4.69/4.73	c 780            2677           699084         1054576        21             553            10   40   27   
4.69/4.78	c 790            2734           710676         1066381        21             560            43   43   39   
4.79/4.83	c 800            2772           719210         1079214        22             566            1   28   19    
4.79/4.87	c 810            2822           728879         1091695        22             576            31   40   34   
4.89/4.93	c 820            2882           740611         1105686        22             582            18   50   33   
4.89/4.98	c 830            2931           750096         1117750        22             587            15   39   33   
5.00/5.03	c 840            2968           758493         1129569        22             596            26   27   23   
5.00/5.07	c 850            3016           768204         1142898        22             601            16   34   27   
5.10/5.12	c 860            3058           776902         1155392        22             611            16   33   22   
5.10/5.16	c 870            3104           786170         1168296        22             614            17   36   31   
5.19/5.21	c 880            3161           796890         1182388        22             623            15   47   34   
5.19/5.26	c 890            3208           806058         1197166        22             633            23   38   29   
5.29/5.31	c 900            3260           814895         1211379        22             643            10   43   23   
5.29/5.35	c 910            3305           824933         1225189        22             650            16   34   27   
5.39/5.40	c 920            3353           834394         1236870        22             655            38   38   34   
5.39/5.45	c 930            3401           843356         1251583        23             664            1   39   11    
5.39/5.50	c 940            3452           852867         1265798        23             674            10   42   19   
5.49/5.54	c 947            3491           861514         1278358        23             681            16   33   25   
5.49/5.56	c 950            3517           866273         1285651        23             684            24   24   18   
5.59/5.61	c 960            3569           876157         1299205        23             694            24   43   36   
5.59/5.65	c 970            3616           885190         1310453        23             698            37   37   33   
5.69/5.70	c 980            3668           894270         1322313        23             708            26   43   36   
5.69/5.75	c 990            3709           903200         1334119        23             718            16   32   26   
5.69/5.79	c 1000           3753           912208         1345925        23             722            17   34   28   
5.79/5.84	c 1010           3800           920949         1360879        23             732            15   38   20   
5.79/5.88	c 1020           3853           930389         1373873        23             742            23   44   37   
5.89/5.93	c 1030           3901           939258         1387846        23             752            15   39   22   
5.89/5.98	c 1040           3948           947937         1401682        23             762            9   38   19    
5.99/6.02	c 1050           3996           957078         1415065        23             772            15   39   23   
5.99/6.07	c 1060           4053           967211         1427944        23             782            42   48   42   
5.99/6.08	c 1070           4077           970417         1436216        23             792            10   15   12   
6.10/6.13	c 1080           4125           979057         1449576        23             802            9   39   22    
6.10/6.17	c 1090           4168           988231         1462060        23             812            10   34   24   
6.19/6.23	c 1100           4222           999191         1475492        23             820            2   43   29    
6.19/6.28	c 1110           4269           1008883        1489221        23             829            10   37   28   
6.29/6.32	c 1120           4311           1016854        1503221        24             838            1   33   16    
6.29/6.36	c 1130           4357           1026119        1513621        24             840            35   36   32   
6.39/6.41	c 1140           4406           1035330        1525270        24             842            35   40   35   
6.39/6.41	c 1141           4407           1035343        1525388        24             842            1   1   0      
6.39/6.41	c 1150           4422           1036489        1530343        25             851            7   7   6      
6.39/6.46	c 1160           4464           1045675        1540793        25             852            33   33   30   
6.39/6.46	c 1170           4478           1046973        1548161        26             861            1   5   4      
6.49/6.50	c 1180           4520           1055454        1559015        26             866            15   32   26   
6.49/6.55	c 1190           4569           1064994        1571127        26             876            34   40   35   
6.49/6.57	c 1200           4593           1068262        1580698        26             886            10   15   12   
6.59/6.61	c 1210           4635           1076736        1592352        26             896            19   33   26   
6.59/6.62	c 1220           4654           1079056        1602923        26             906            5   10   8     
6.59/6.67	c 1230           4708           1088936        1615324        26             916            21   44   35   
6.69/6.72	c 1240           4761           1098829        1628932        26             925            24   43   35   
6.69/6.76	c 1250           4804           1108478        1640955        26             932            20   32   27   
6.79/6.81	c 1260           4847           1117156        1653901        26             941            15   33   26   
6.79/6.85	c 1270           4889           1126344        1665992        26             948            24   31   26   
6.89/6.90	c 1280           4942           1135415        1679263        26             958            15   44   27   
6.89/6.94	c 1290           4986           1143403        1692172        26             968            15   35   23   
6.89/6.98	c 1300           5030           1153469        1705071        26             978            35   35   31   
6.99/7.03	c 1310           5078           1163237        1716750        26             983            25   38   33   
6.99/7.08	c 1320           5130           1172466        1728356        26             987            32   42   36   
7.10/7.13	c 1330           5172           1180917        1741742        26             997            2   33   17    
7.10/7.18	c 1340           5219           1190999        1754809        26             1006           25   37   31   
7.19/7.22	c 1350           5268           1200662        1769869        26             1014           10   38   22   
7.19/7.27	c 1352           5300           1209440        1779750        26             1016           30   31   20   
7.19/7.27	c 1360           5315           1210982        1785670        27             1023           1   8   5      
7.29/7.32	c 1370           5363           1220001        1801087        27             1033           10   39   21   
7.29/7.37	c 1380           5408           1229185        1814163        27             1040           14   34   28   
7.39/7.41	c 1390           5446           1236752        1824707        27             1046           15   28   23   
7.39/7.46	c 1400           5489           1246424        1837138        27             1055           32   33   29   
7.48/7.52	c solution 1
7.48/7.52	
7.48/7.52	v <instantiation type='solution'>
7.48/7.52	v <list>x0 x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 x15 x16 x17 x18 x19 x20 x21 x22 x23 x24 x25 x26 x27 x28 x29 x30 x31 x32 x33 x34 x35 x36 x37 x38 x39 x40 x41 x42 x43 x44 x45 x46 x47 x48 x49 x50 x51 x52 x53 x54 x55 x56 x57 x58 x59 x60 x61 x62 x63 x64 x65 x66 x67 x68 x69 x70 x71 x72 x73 x74 x75 x76 x77 x78 x79 x80 x81 x82 x83 x84 x85 x86 x87 x88 x89 x90 x91 x92 x93 x94 x95 x96 x97 x98 x99 </list>
7.48/7.52	v <values>12 11 15 16 30 29 38 39 47 46 5 4 40 41 99 100 109 108 124 125 0 23 29 22 38 39 54 53 60 61 0 1 12 11 17 18 30 29 35 36 35 23 47 46 70 71 83 82 94 95 6 7 17 18 54 53 70 71 79 78 15 16 25 24 109 108 121 122 139 138 50 23 54 55 131 130 143 144 159 158 60 61 67 66 121 122 131 130 150 151 0 1 36 35 83 82 99 100 110 109 </values>
7.48/7.52	v </instantiation>
7.48/7.52	
7.48/7.52	c restarts              : 149         
7.48/7.52	c conflicts             : 1407         (188 /sec)
7.48/7.52	c decisions             : 5596         (746 /sec)
7.48/7.52	c propagations          : 1850458     (246723 /sec)
7.48/7.52	c root propagations     : 0           
7.48/7.52	c filter calls          : 1259317        (167905 /sec)
7.48/7.52	c useless filter calls  : 1124120        (89 %)
7.48/7.52	c
7.48/7.52	c clauses               : 805903
7.48/7.52	c SAT propagations      : 717
7.48/7.52	c SAT conflicts         : 0 (0 learnts)
7.48/7.52	c Memory used           : 79.59 MB
7.48/7.52	c CPU time              : 7.50007 s
7.48/7.52	
7.48/7.52	s SATISFIABLE

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: 16374 MiB (12341 MiB free)
  memory of node 1: 16384 MiB (13676 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4266452-1502591194/watcher-4266452-1502591194 -o /tmp/evaluation-result-4266452-1502591194/solver-4266452-1502591194 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1502567255-24403 --watchdog 2580 cosoco -lc -model -restarts -sat HOME/instance-4266452-1502591194.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=27681, runsolver pid=27678
Current StackSize limit: 8192 KiB


[startup+0.100154 s]*
/proc/loadavg: 2.01 2.03 2.05 3/187 27682
/proc/meminfo: memFree=26641248/32770624 swapFree=67108860/67108860
[pid=27681] ppid=27678 vsize=27736 memory=4152 CPUtime=0.1 cores=1,3,5,7
/proc/27681/stat : 27681 (cosoco) R 27678 27681 24318 0 -1 4202496 1221 0 0 0 10 0 0 0 20 0 1 0 92191021 28401664 1038 33554432000 4194304 5972588 140725833541056 140725833537704 5095383 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 8070896 8075904 11472896 140725833544890 140725833544990 140725833544990 140725833547726 0
/proc/27681/statm: 6934 1038 779 435 0 297 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27736 KiB
Current children cumulated memory: 4152 KiB

[startup+0.209356 s]*
/proc/loadavg: 2.01 2.03 2.05 3/187 27682
/proc/meminfo: memFree=26640504/32770624 swapFree=67108860/67108860
[pid=27681] ppid=27678 vsize=28464 memory=4876 CPUtime=0.21 cores=1,3,5,7
/proc/27681/stat : 27681 (cosoco) R 27678 27681 24318 0 -1 4202496 1398 0 0 0 21 0 0 0 20 0 1 0 92191021 29147136 1219 33554432000 4194304 5972588 140725833541056 140725833537704 139650212213936 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 8070896 8075904 11472896 140725833544890 140725833544990 140725833544990 140725833547726 0
/proc/27681/statm: 7116 1219 780 435 0 479 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 28464 KiB
Current children cumulated memory: 4876 KiB

[startup+0.308896 s]*
/proc/loadavg: 2.01 2.03 2.05 3/187 27682
/proc/meminfo: memFree=26639760/32770624 swapFree=67108860/67108860
[pid=27681] ppid=27678 vsize=29072 memory=5484 CPUtime=0.31 cores=1,3,5,7
/proc/27681/stat : 27681 (cosoco) R 27678 27681 24318 0 -1 4202496 1555 0 0 0 31 0 0 0 20 0 1 0 92191021 29769728 1371 33554432000 4194304 5972588 140725833541056 140725833537704 139650202868709 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 8070896 8075904 11472896 140725833544890 140725833544990 140725833544990 140725833547726 0
/proc/27681/statm: 7268 1371 780 435 0 631 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 29072 KiB
Current children cumulated memory: 5484 KiB

[startup+0.700274 s]
/proc/loadavg: 2.01 2.03 2.05 3/187 27682
/proc/meminfo: memFree=26638480/32770624 swapFree=67108860/67108860
[pid=27681] ppid=27678 vsize=31532 memory=7812 CPUtime=0.69 cores=1,3,5,7
/proc/27681/stat : 27681 (cosoco) R 27678 27681 24318 0 -1 4202496 2147 0 0 0 69 0 0 0 20 0 1 0 92191021 32288768 1953 33554432000 4194304 5972588 140725833541056 140725833534856 139650202868709 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 8070896 8075904 11472896 140725833544890 140725833544990 140725833544990 140725833547726 0
/proc/27681/statm: 7883 1953 780 435 0 1246 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 31532 KiB
Current children cumulated memory: 7812 KiB

[startup+1.50038 s]
/proc/loadavg: 2.01 2.03 2.05 3/187 27682
/proc/meminfo: memFree=26599956/32770624 swapFree=67108860/67108860
[pid=27681] ppid=27678 vsize=81104 memory=50436 CPUtime=1.49 cores=1,3,5,7
/proc/27681/stat : 27681 (cosoco) R 27678 27681 24318 0 -1 4202496 11798 0 0 0 148 1 0 0 20 0 1 0 92191021 83050496 12609 33554432000 4194304 5972588 140725833541056 140725833538360 4968801 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 11472896 140725833544890 140725833544990 140725833544990 140725833547726 0
/proc/27681/statm: 20276 12609 832 435 0 13639 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 81104 KiB
Current children cumulated memory: 50436 KiB

[startup+3.10935 s]
/proc/loadavg: 2.01 2.03 2.05 3/187 27743
/proc/meminfo: memFree=26606736/32770624 swapFree=67108860/67108860
[pid=27681] ppid=27678 vsize=81236 memory=50836 CPUtime=3.1 cores=1,3,5,7
/proc/27681/stat : 27681 (cosoco) R 27678 27681 24318 0 -1 4202496 16005 0 0 0 309 1 0 0 20 0 1 0 92191021 83185664 12709 33554432000 4194304 5972588 140725833541056 140725833538360 5053038 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 11472896 140725833544890 140725833544990 140725833544990 140725833547726 0
/proc/27681/statm: 20309 12709 832 435 0 13672 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 81236 KiB
Current children cumulated memory: 50836 KiB

[startup+6.30037 s]
/proc/loadavg: 2.01 2.03 2.05 3/187 27743
/proc/meminfo: memFree=26573052/32770624 swapFree=67108860/67108860
[pid=27681] ppid=27678 vsize=81496 memory=53088 CPUtime=6.29 cores=1,3,5,7
/proc/27681/stat : 27681 (cosoco) R 27678 27681 24318 0 -1 4202496 22102 0 0 0 628 1 0 0 20 0 1 0 92191021 83451904 13272 33554432000 4194304 5972588 140725833541056 140725833538360 5071376 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 11472896 140725833544890 140725833544990 140725833544990 140725833547726 0
/proc/27681/statm: 20374 13272 832 435 0 13737 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 81496 KiB
Current children cumulated memory: 53088 KiB

[startup+7.5253 s]
# the end of solver process 27681 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=7.50037 s, system=0.022998 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+6.40039 s]
/proc/loadavg: 2.01 2.03 2.05 3/187 27743
/proc/meminfo: memFree=26573052/32770624 swapFree=67108860/67108860
[pid=27681] ppid=27678 vsize=81496 memory=53088 CPUtime=6.39 cores=1,3,5,7
/proc/27681/stat : 27681 (cosoco) R 27678 27681 24318 0 -1 4202496 22110 0 0 0 638 1 0 0 20 0 1 0 92191021 83451904 13272 33554432000 4194304 5972588 140725833541056 140725833538360 4965342 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 11472896 140725833544890 140725833544990 140725833544990 140725833547726 0
/proc/27681/statm: 20374 13272 832 435 0 13737 0
Current children cumulated CPU time: 6.39 s
Current children cumulated vsize: 81496 KiB
Current children cumulated memory: 53088 KiB

[startup+7.20037 s]
/proc/loadavg: 2.01 2.03 2.05 3/187 27743
/proc/meminfo: memFree=26572892/32770624 swapFree=67108860/67108860
[pid=27681] ppid=27678 vsize=81496 memory=53104 CPUtime=7.19 cores=1,3,5,7
/proc/27681/stat : 27681 (cosoco) R 27678 27681 24318 0 -1 4202496 22289 0 0 0 718 1 0 0 20 0 1 0 92191021 83451904 13276 33554432000 4194304 5972588 140725833541056 140725833538360 4965382 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 11472896 140725833544890 140725833544990 140725833544990 140725833547726 0
/proc/27681/statm: 20374 13276 832 435 0 13737 0
Current children cumulated CPU time: 7.19 s
Current children cumulated vsize: 81496 KiB
Current children cumulated memory: 53104 KiB

[startup+7.40036 s]
/proc/loadavg: 2.01 2.03 2.05 3/187 27743
/proc/meminfo: memFree=26572892/32770624 swapFree=67108860/67108860
[pid=27681] ppid=27678 vsize=81496 memory=53104 CPUtime=7.39 cores=1,3,5,7
/proc/27681/stat : 27681 (cosoco) R 27678 27681 24318 0 -1 4202496 22323 0 0 0 738 1 0 0 20 0 1 0 92191021 83451904 13276 33554432000 4194304 5972588 140725833541056 140725833538360 5072002 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 11472896 140725833544890 140725833544990 140725833544990 140725833547726 0
/proc/27681/statm: 20374 13276 832 435 0 13737 0
Current children cumulated CPU time: 7.39 s
Current children cumulated vsize: 81496 KiB
Current children cumulated memory: 53104 KiB

[startup+7.50038 s]
/proc/loadavg: 2.01 2.03 2.05 3/187 27743
/proc/meminfo: memFree=26572892/32770624 swapFree=67108860/67108860
[pid=27681] ppid=27678 vsize=81496 memory=53112 CPUtime=7.48 cores=1,3,5,7
/proc/27681/stat : 27681 (cosoco) R 27678 27681 24318 0 -1 4202496 26094 0 0 0 747 1 0 0 20 0 1 0 92191021 83451904 13278 33554432000 4194304 5972588 140725833541056 140725833538360 5244099 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 11472896 140725833544890 140725833544990 140725833544990 140725833547726 0
/proc/27681/statm: 20374 13278 832 435 0 13737 0
Current children cumulated CPU time: 7.48 s
Current children cumulated vsize: 81496 KiB
Current children cumulated memory: 53112 KiB

Child status: 0
Real time (s): 7.52533
CPU time (s): 7.52337
CPU user time (s): 7.50037
CPU system time (s): 0.022998
CPU usage (%): 99.974
Max. virtual memory (cumulated for all children) (KiB): 81496
Max. memory (cumulated for all children) (KiB): 53112

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.50037
system time used= 0.022998
maximum resident set size= 53204
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26961
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= 10
involuntary context switches= 8


# summary of solver processes directly reported to runsolver:
#   pid: 27681
#   total CPU time (s): 7.52337
#   total CPU user time (s): 7.50037
#   total CPU system time (s): 0.022998

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.067304 second user time and 0.094226 second system time

The end

Begin job on node105 at 2017-08-13 04:12:16
IDJOB=4266452
IDBENCH=138527
IDSOLVER=2655
FILE ID=node105/4266452-1502591194
RUNJOBID= node105-1502567255-24403
PBS_JOBID= 20628286
Free space on /tmp= 60664 MiB

SOLVER NAME= cosoco-sat 1.12
BENCH NAME= XCSP17/SuperSolutions/SuperSolutions-Sadeh-js/SuperSadeh-js-e0ddr2-7.xml
COMMAND LINE= cosoco -lc -model -restarts -sat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4266452-1502591194/watcher-4266452-1502591194 -o /tmp/evaluation-result-4266452-1502591194/solver-4266452-1502591194 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1502567255-24403 --watchdog 2580  cosoco -lc -model -restarts -sat HOME/instance-4266452-1502591194.xml

TIME LIMIT= 2520 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 0bf2c77c9eab7953e0f8d897649e2359
RANDOM SEED=2115513246

node105.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.17
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.17
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.17
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.17
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:        26642612 kB
MemAvailable:   31966212 kB
Buffers:          144572 kB
Cached:          5456032 kB
SwapCached:            0 kB
Active:           662604 kB
Inactive:        5006748 kB
Active(anon):      71596 kB
Inactive(anon):    25072 kB
Active(file):     591008 kB
Inactive(file):  4981676 kB
Unevictable:        6236 kB
Mlocked:            6236 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              2412 kB
Writeback:             0 kB
AnonPages:         83296 kB
Mapped:            44560 kB
Shmem:             25228 kB
Slab:             158872 kB
SReclaimable:     133504 kB
SUnreclaim:        25368 kB
KernelStack:        3568 kB
PageTables:         5484 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     367736 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     28672 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /tmp at the end= 60660 MiB
End job on node105 at 2017-08-13 04:12:23