Trace number 4295729

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
cosoco 1.12? (TO) 2520.08 2520.01

General information on the benchmark

NameSportsScheduling/
SportsScheduling-14_c18.xml
MD5SUM1e3f519c957d5cb55b89b746c42a86fa
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark49.9118
Satisfiable
(Un)Satisfiability was proved
Number of variables287
Number of constraints147
Number of domains2
Minimum domain size14
Maximum domain size91
Distribution of domain sizes[{"size":14,"count":196},{"size":91,"count":91}]
Minimum variable degree3
Maximum variable degree4
Distribution of variable degrees[{"degree":3,"count":98},{"degree":4,"count":189}]
Minimum constraint arity1
Maximum constraint arity91
Distribution of constraint arities[{"arity":1,"count":7},{"arity":2,"count":7},{"arity":3,"count":91},{"arity":7,"count":13},{"arity":14,"count":14},{"arity":26,"count":7},{"arity":28,"count":7},{"arity":91,"count":1}]
Number of extensional constraints91
Number of intensional constraints14
Distribution of constraint types[{"type":"extension","count":91},{"type":"intension","count":14},{"type":"allDifferent","count":15},{"type":"count","count":13},{"type":"cardinality","count":14}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.01	c Create Cardinality(vars,values,occurs) constraint using 26 Exactly/AtMost.. constraint 
0.00/0.01	c
0.00/0.01	c Create Cardinality(vars,values,occurs) constraint using 26 Exactly/AtMost.. constraint 
0.00/0.01	c
0.00/0.01	c Create Cardinality(vars,values,occurs) constraint using 26 Exactly/AtMost.. constraint 
0.00/0.01	c
0.00/0.01	c Create Cardinality(vars,values,occurs) constraint using 26 Exactly/AtMost.. constraint 
0.00/0.01	c
0.00/0.01	c Create Cardinality(vars,values,occurs) constraint using 26 Exactly/AtMost.. constraint 
0.00/0.01	c
0.00/0.01	c Create Cardinality(vars,values,occurs) constraint using 26 Exactly/AtMost.. constraint 
0.00/0.01	c
0.00/0.01	c Create Cardinality(vars,values,occurs) constraint using 26 Exactly/AtMost.. constraint 
0.00/0.01	c
0.00/0.01	c Create Cardinality(vars,values,occurs) constraint using 28 Exactly/AtMost.. constraint 
0.00/0.01	c
0.00/0.01	c Create Cardinality(vars,values,occurs) constraint using 28 Exactly/AtMost.. constraint 
0.00/0.01	c
0.00/0.01	c Create Cardinality(vars,values,occurs) constraint using 28 Exactly/AtMost.. constraint 
0.00/0.01	c
0.00/0.01	c Create Cardinality(vars,values,occurs) constraint using 28 Exactly/AtMost.. constraint 
0.00/0.01	c
0.00/0.01	c Create Cardinality(vars,values,occurs) constraint using 28 Exactly/AtMost.. constraint 
0.00/0.01	c
0.00/0.01	c Create Cardinality(vars,values,occurs) constraint using 28 Exactly/AtMost.. constraint 
0.00/0.01	c
0.00/0.01	c Create Cardinality(vars,values,occurs) constraint using 28 Exactly/AtMost.. constraint 
0.00/0.01	c
0.00/0.01	c root propagations     : 918         
0.00/0.01	c restarts enabled, print stats at every restarts
0.00/0.01	c
0.00/0.01	c
0.00/0.01	c
0.00/0.01	c This is cosoco 1.12 --  
0.00/0.01	c
0.00/0.01	c command line: HOME/cosoco -lc -model -restarts HOME/instance-4295729-1532565976.xml 
0.00/0.01	c ========================================[ Problem Statistics ]===========================================
0.00/0.01	c |                                                                                                       
0.00/0.01	c |  Parse time        :         0.01 s 
0.00/0.01	c |
0.00/0.01	c |               Variables: 287
0.00/0.01	c |            Domain Sizes: 14..91
0.00/0.01	c |
0.00/0.01	c |             Constraints: 427
0.00/0.01	c |                   Arity: 1..91  -- Unary: 7  -- Binary: 7  -- Ternary: 91
0.00/0.01	c | 
0.00/0.01	c |                   Types: 
0.00/0.01	c |                          (X - Y < k): 7
0.00/0.01	c |                          All Different: 15
0.00/0.01	c |                          At least: 98
0.00/0.01	c |                          At most: 98
0.00/0.01	c |                          Exactly K: 111
0.00/0.01	c |                          Extension: 91  (nb tuples: 91..91) -- (shared: 90)
0.00/0.01	c |                          Unary: 7
0.00/0.01	c |                          
0.00/0.01	c =========================================================================================================
0.00/0.01	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
0.00/0.02	c 101            246            40428          16616          287            0              46   72   69   
0.00/0.03	c 211            430            54238          22437          287            0              43   64   56   
0.00/0.04	c 332            672            83663          38981          287            0              9   35   32    
0.00/0.04	c 465            918            113173         56708          287            0              9   23   20    
0.00/0.05	c 611            1183           145818         75931          287            0              9   23   20    
0.00/0.06	c 771            1472           179394         96707          287            0              2   23   20    
0.00/0.07	c 947            1789           218251         121490         287            0              9   23   20    
0.00/0.08	c 1140           2151           260693         146981         287            0              9   23   20    
0.00/0.10	c 1352           2527           304988         176069         287            0              2   23   19    
0.10/0.11	c 1585           2921           352203         206225         287            0              9   23   20    
0.10/0.13	c 1841           3412           410007         242219         287            0              2   23   20    
0.10/0.14	c 2122           3881           466412         277657         287            0              9   23   19    
0.10/0.16	c 2431           4381           527029         318351         287            0              9   23   19    
0.10/0.18	c 2770           4937           593783         361168         287            0              2   23   19    
0.10/0.20	c 3142           5544           666416         410017         287            0              9   23   19    
0.21/0.22	c 3551           6196           743255         460609         287            0              2   23   18    
0.21/0.24	c 4000           6895           826359         518700         287            0              9   23   18    
0.21/0.27	c 4493           7662           919501         580403         287            0              9   23   18    
0.21/0.29	c 5035           8531           1024270        653419         287            0              9   23   18    
0.31/0.33	c 5631           9477           1140180        725770         287            0              9   19   16    
0.31/0.36	c 6286           10485          1259269        810808         287            0              2   21   18    
0.31/0.40	c 7006           11631          1394390        897562         287            0              9   21   16    
0.41/0.44	c 7798           12861          1540121        999958         287            0              2   23   18    
0.41/0.48	c 8669           14246          1705487        1115743        287            0              2   23   18    
0.51/0.54	c 9627           15761          1891485        1245668        287            0              2   23   17    
0.51/0.59	c 10680          17443          2089422        1382386        287            0              2   23   18    
0.60/0.65	c 11838          19304          2308852        1535087        287            0              2   23   18    
0.69/0.73	c 13111          21437          2570579        1700116        287            0              2   23   18    
0.79/0.80	c 14511          23705          2844838        1875556        287            0              2   12   9     
0.79/0.88	c 16051          25932          3033469        1981153        287            0              7   98   78    
0.89/0.97	c 17745          28688          3370163        2193177        287            0              10   22   18   
1.00/1.08	c 19608          31838          3757467        2435947        287            0              2   23   18    
1.10/1.19	c 21657          35175          4159458        2694047        287            0              9   21   16    
1.29/1.33	c 23910          39094          4633381        2973306        287            0              14   22   17   
1.39/1.49	c 26388          43529          5161695        3311530        287            0              2   17   11    
1.59/1.66	c 29113          48708          5741381        3668836        287            0              7   17   11    
1.79/1.83	c 32110          53778          6346958        4065716        287            0              2   16   11    
2.00/2.02	c 35406          59442          7026729        4500923        287            0              2   16   11    
2.19/2.23	c 39031          65735          7784819        4981569        287            0              2   16   12    
2.39/2.49	c 43018          73199          8672021        5496137        287            0              7   44   40    
2.79/2.84	c 47403          81758          9772847        6120854        287            0              2   44   40    
3.10/3.12	c 52226          89959          10760092       6753381        287            0              2   26   21    
3.39/3.43	c 57531          99041          11865785       7459639        287            0              2   23   18    
3.69/3.78	c 63366          109085         13084080       8235470        287            0              2   23   18    
4.10/4.18	c 69784          120345         14461956       9086272        287            0              2   44   27    
4.49/4.58	c 76843          132005         15864981       9994185        287            0              10   24   18   
5.10/5.13	c 84607          146100         17615783       11067885       287            0              2   44   31    
5.59/5.66	c 93147          160485         19428079       12176176       287            0              10   24   18   
6.19/6.23	c 102541         177262         21422516       13429631       287            0              2   44   23    
6.79/6.87	c 112874         194970         23589460       14791757       287            0              2   26   21    
7.49/7.59	c 124240         214515         25838481       16119923       287            0              2   127   50   
8.29/8.34	c 136742         235739         28463303       17745848       287            0              10   24   18   
9.29/9.30	c 150494         259659         31476412       19568058       287            0              14   44   38   
10.10/10.17	c 165621         284795         34516022       21534409       287            0              2   26   20    
11.19/11.24	c 182260         313660         38099798       23722605       287            0              2   44   31    
12.29/12.32	c 200562         344686         41886508       26119222       287            0              2   26   20    
13.59/13.60	c 220694         379823         46160544       28780957       287            0              2   44   35    
14.89/14.98	c 242839         418160         50848929       31741058       287            0              2   26   21    
16.59/16.62	c 267198         459589         56113194       34953741       287            0              2   44   36    
18.19/18.20	c 293992         505807         61722860       38463305       287            0              2   26   21    
19.89/20.00	c 323465         556448         67986252       42310881       287            0              9   23   17    
22.19/22.25	c 355885         612271         75068458       46602762       287            0              14   44   39   
24.39/24.42	c 391547         673135         82568000       51247699       287            0              10   24   18   
26.79/26.83	c 430775         740950         90851342       56431320       287            0              9   23   17    
29.59/29.69	c 473925         815247         100193940      62120425       287            0              2   44   37    
33.00/33.08	c 521390         899133         110856747      68625344       287            0              14   44   38   
36.19/36.20	c 573601         987519         121675068      75459277       287            0              2   26   21    
39.59/39.67	c 631033         1085582        133772355      82931296       287            0              9   23   17    
43.89/43.90	c 694208         1196141        147547399      91345987       287            0              2   44   38    
48.10/48.14	c 763700         1315063        162037215      100352912      287            0              2   79   22    
53.49/53.59	c 840141         1448004        179270820      110575895      287            0              10   45   40   
58.69/58.72	c 924226         1596673        197363637      121563401      287            0              10   25   19   
64.89/64.90	c 1016719        1760354        217333362      133921576      287            0              14   44   38   
71.89/71.92	c 1118461        1950627        238843321      144909511      287            0              2   192   71   
81.39/81.40	c 1230377        2163984        265102906      158686653      287            0              1   121   99   
90.59/90.66	c 1353484        2385484        292142267      173234491      287            0              14   86   61   
101.89/101.98	c 1488901        2624360        323477002      193211543      287            0              15   86   72   
110.69/110.76	c 1637859        2881058        353896512      211841483      287            0              10   47   24   
120.89/120.96	c 1801712        3168900        388313273      232076476      287            0              2   65   32    
136.69/136.72	c 1981950        3492136        433017321      259940530      287            0              1   68   64    
154.79/154.84	c 2180211        3839264        484248984      291779799      287            0              9   65   60    
173.19/173.22	c 2398298        4216247        535993639      322679207      287            0              9   44   40    
190.39/190.40	c 2638193        4644765        591001831      353235024      287            0              14   86   39   
212.89/212.96	c 2902077        5095980        655466431      387753550      287            0              9   68   57    
232.10/232.15	c 3192349        5598175        712162514      418765476      287            0              9   122   65   
258.20/258.21	c 3511648        6156537        784253574      456185572      287            0              1   107   68   
289.90/289.97	c 3862876        6760727        872124679      504255119      287            0              9   50   45    
317.60/317.67	c 4249226        7432452        957232787      552647172      287            0              11   86   44   
346.80/346.86	c 4674211        8169531        1048114173     602596708      287            0              9   107   53   
381.40/381.43	c 5141694        9001085        1147775486     655189867      287            0              1   89   71    
418.30/418.35	c 5655925        9897974        1263212932     720310286      287            0              9   68   43    
453.90/453.97	c 6221579        10849908       1367372212     776926502      287            0              9   222   78   
502.11/502.18	c 6843798        12081345       1505264785     843244729      287            0              1   183   94   
559.70/559.72	c 7528238        13590145       1689610331     921918923      287            0              9   204   95   
621.11/621.18	c 8281122        14887116       1872175914     1019021106     287            0              1   54   44    
696.61/696.61	c 9109294        16701077       2095916456     1122935335     287            0              13   223   89  
758.21/758.24	c 10020283       18262237       2290439772     1236390259     287            0              9   92   40    
879.61/879.61	c 11022370       21208546       2670543948     1373679043     287            0              9   229   154  
1001.32/1001.34	c 12124665       23818774       3054641770     1532820321     287            0              9   204   109  
1107.82/1107.83	c 13337189       26919237       3382140737     1646740363     287            0              1   144   134  
1229.32/1229.30	c 14670965       29612629       3729213815     1809474350     287            0              11   103   77  
1347.83/1347.80	c 16138118       32165802       4064622596     2000765204     287            0              11   53   46   
1498.53/1498.54	c 17751986       36028651       4474420220     2174194666     287            0              9   199   134  
1714.74/1714.77	c 19527240       40984638       5155203305     2412166163     287            0              18   207   149 
1902.54/1902.52	c 21480019       45559881       5721237496     2625081712     287            0              18   197   136 
2079.95/2079.97	c 23628075       50072272       6218155318     2840422171     287            0              20   176   123 
2291.06/2291.07	c 25990936       54633871       6829595809     3155697581     287            0              13   76   67   
2520.07/2520.00	
2520.07/2520.00	c *** INTERRUPTED ***
2520.07/2520.00	c restarts              : 107         
2520.07/2520.00	c conflicts             : 27844346     (11049 /sec)
2520.07/2520.00	c decisions             : 60780575     (24119 /sec)
2520.07/2520.00	c propagations          : 3403454264  (1350538 /sec)
2520.07/2520.00	c root propagations     : 918         
2520.07/2520.00	c filter calls          : 7568372526     (3003236 /sec)
2520.07/2520.00	c useless filter calls  : 7307554129     (96 %)
2520.07/2520.00	c Memory used           : 28.33 MB
2520.07/2520.00	c CPU time              : 2520.07 s
2520.07/2520.00	
2520.07/2520.00	s UNKNOWN

Verifier Data


Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4295729-1532565976/watcher-4295729-1532565976 -o /tmp/evaluation-result-4295729-1532565976/solver-4295729-1532565976 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node149-1532542931-30488 --watchdog 2580 HOME/cosoco -lc -model -restarts HOME/instance-4295729-1532565976.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
Current StackSize limit: 8192 KiB

solver pid=1506, runsolver pid=1503

[startup+0.100151 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 1507
/proc/meminfo: memFree=21818164/32770624 swapFree=67108860/67108860
[pid=1506] ppid=1503 vsize=28612 memory=5256 CPUtime=0.1 cores=1,3,5,7
/proc/1506/stat : 1506 (cosoco) R 1503 1506 30456 0 -1 4202496 1506 0 0 0 10 0 0 0 20 0 1 0 74160780 29298688 1314 33554432000 4194304 6142532 140735037672064 140735037668696 5336789 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 11575296 140735037678726 140735037678856 140735037678856 140735037681614 0
/proc/1506/statm: 7153 1314 867 476 0 475 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 28612 KiB
Current children cumulated memory: 5256 KiB

[startup+0.209462 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 1507
/proc/meminfo: memFree=21818164/32770624 swapFree=67108860/67108860
[pid=1506] ppid=1503 vsize=28612 memory=5256 CPUtime=0.21 cores=1,3,5,7
/proc/1506/stat : 1506 (cosoco) R 1503 1506 30456 0 -1 4202496 1506 0 0 0 21 0 0 0 20 0 1 0 74160780 29298688 1314 33554432000 4194304 6142532 140735037672064 140735037668696 5017767 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 11575296 140735037678726 140735037678856 140735037678856 140735037681614 0
/proc/1506/statm: 7153 1314 867 476 0 475 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 28612 KiB
Current children cumulated memory: 5256 KiB

[startup+0.308847 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 1507
/proc/meminfo: memFree=21817900/32770624 swapFree=67108860/67108860
[pid=1506] ppid=1503 vsize=28612 memory=5256 CPUtime=0.31 cores=1,3,5,7
/proc/1506/stat : 1506 (cosoco) R 1503 1506 30456 0 -1 4202496 1506 0 0 0 31 0 0 0 20 0 1 0 74160780 29298688 1314 33554432000 4194304 6142532 140735037672064 140735037669464 5114516 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 11575296 140735037678726 140735037678856 140735037678856 140735037681614 0
/proc/1506/statm: 7153 1314 867 476 0 475 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 28612 KiB
Current children cumulated memory: 5256 KiB

[startup+0.700271 s]
/proc/loadavg: 1.92 2.00 2.04 3/187 1507
/proc/meminfo: memFree=21817900/32770624 swapFree=67108860/67108860
[pid=1506] ppid=1503 vsize=28612 memory=5256 CPUtime=0.69 cores=1,3,5,7
/proc/1506/stat : 1506 (cosoco) R 1503 1506 30456 0 -1 4202496 1506 0 0 0 69 0 0 0 20 0 1 0 74160780 29298688 1314 33554432000 4194304 6142532 140735037672064 140735037669464 5060153 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 11575296 140735037678726 140735037678856 140735037678856 140735037681614 0
/proc/1506/statm: 7153 1314 867 476 0 475 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 28612 KiB
Current children cumulated memory: 5256 KiB

[startup+1.50031 s]
/proc/loadavg: 1.92 2.00 2.04 3/187 1507
/proc/meminfo: memFree=21817404/32770624 swapFree=67108860/67108860
[pid=1506] ppid=1503 vsize=28744 memory=5256 CPUtime=1.49 cores=1,3,5,7
/proc/1506/stat : 1506 (cosoco) R 1503 1506 30456 0 -1 4202496 1522 0 0 0 149 0 0 0 20 0 1 0 74160780 29433856 1314 33554432000 4194304 6142532 140735037672064 140735037669464 5120760 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 11575296 140735037678726 140735037678856 140735037678856 140735037681614 0
/proc/1506/statm: 7186 1314 867 476 0 508 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 28744 KiB
Current children cumulated memory: 5256 KiB

[startup+3.10898 s]
/proc/loadavg: 1.92 2.00 2.04 3/187 1507
/proc/meminfo: memFree=21817344/32770624 swapFree=67108860/67108860
[pid=1506] ppid=1503 vsize=28744 memory=5468 CPUtime=3.1 cores=1,3,5,7
/proc/1506/stat : 1506 (cosoco) R 1503 1506 30456 0 -1 4202496 1938 0 0 0 310 0 0 0 20 0 1 0 74160780 29433856 1367 33554432000 4194304 6142532 140735037672064 140735037669464 4990688 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 11575296 140735037678726 140735037678856 140735037678856 140735037681614 0
/proc/1506/statm: 7186 1367 886 476 0 508 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 28744 KiB
Current children cumulated memory: 5468 KiB

[startup+6.30024 s]
/proc/loadavg: 1.93 2.00 2.04 3/187 1507
/proc/meminfo: memFree=21817468/32770624 swapFree=67108860/67108860
[pid=1506] ppid=1503 vsize=28744 memory=5468 CPUtime=6.29 cores=1,3,5,7
/proc/1506/stat : 1506 (cosoco) R 1503 1506 30456 0 -1 4202496 2354 0 0 0 629 0 0 0 20 0 1 0 74160780 29433856 1367 33554432000 4194304 6142532 140735037672064 140735037669464 5333235 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 11575296 140735037678726 140735037678856 140735037678856 140735037681614 0
/proc/1506/statm: 7186 1367 886 476 0 508 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 28744 KiB
Current children cumulated memory: 5468 KiB

[startup+12.7002 s]
/proc/loadavg: 1.93 2.00 2.04 3/187 1507
/proc/meminfo: memFree=21817460/32770624 swapFree=67108860/67108860
[pid=1506] ppid=1503 vsize=28744 memory=5468 CPUtime=12.69 cores=1,3,5,7
/proc/1506/stat : 1506 (cosoco) R 1503 1506 30456 0 -1 4202496 2788 0 0 0 1269 0 0 0 20 0 1 0 74160780 29433856 1367 33554432000 4194304 6142532 140735037672064 140735037669464 5175056 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 11575296 140735037678726 140735037678856 140735037678856 140735037681614 0
/proc/1506/statm: 7186 1367 886 476 0 508 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 28744 KiB
Current children cumulated memory: 5468 KiB

[startup+25.5003 s]
/proc/loadavg: 1.95 2.00 2.04 3/187 1507
/proc/meminfo: memFree=21817460/32770624 swapFree=67108860/67108860
[pid=1506] ppid=1503 vsize=28744 memory=5532 CPUtime=25.49 cores=1,3,5,7
/proc/1506/stat : 1506 (cosoco) R 1503 1506 30456 0 -1 4202496 3650 0 0 0 2549 0 0 0 20 0 1 0 74160780 29433856 1383 33554432000 4194304 6142532 140735037672064 140735037669464 5118027 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 11575296 140735037678726 140735037678856 140735037678856 140735037681614 0
/proc/1506/statm: 7186 1383 886 476 0 508 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 28744 KiB
Current children cumulated memory: 5532 KiB

[startup+51.1091 s]
/proc/loadavg: 1.97 2.00 2.04 3/187 1507
/proc/meminfo: memFree=21817460/32770624 swapFree=67108860/67108860
[pid=1506] ppid=1503 vsize=28744 memory=5532 CPUtime=51.1 cores=1,3,5,7
/proc/1506/stat : 1506 (cosoco) R 1503 1506 30456 0 -1 4202496 4082 0 0 0 5110 0 0 0 20 0 1 0 74160780 29433856 1383 33554432000 4194304 6142532 140735037672064 140735037669464 5175056 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 11575296 140735037678726 140735037678856 140735037678856 140735037681614 0
/proc/1506/statm: 7186 1383 886 476 0 508 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 28744 KiB
Current children cumulated memory: 5532 KiB

[startup+102.3 s]
/proc/loadavg: 1.99 2.00 2.04 3/187 1508
/proc/meminfo: memFree=21817716/32770624 swapFree=67108860/67108860
[pid=1506] ppid=1503 vsize=28876 memory=5540 CPUtime=102.29 cores=1,3,5,7
/proc/1506/stat : 1506 (cosoco) R 1503 1506 30456 0 -1 4202496 4538 0 0 0 10229 0 0 0 20 0 1 0 74160780 29569024 1385 33554432000 4194304 6142532 140735037672064 140735037669464 5120824 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 11575296 140735037678726 140735037678856 140735037678856 140735037681614 0
/proc/1506/statm: 7219 1385 886 476 0 541 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 28876 KiB
Current children cumulated memory: 5540 KiB

[startup+162.3 s]
/proc/loadavg: 1.99 2.00 2.04 3/187 1509
/proc/meminfo: memFree=21817220/32770624 swapFree=67108860/67108860
[pid=1506] ppid=1503 vsize=28876 memory=5616 CPUtime=162.29 cores=1,3,5,7
/proc/1506/stat : 1506 (cosoco) R 1503 1506 30456 0 -1 4202496 4985 0 0 0 16229 0 0 0 20 0 1 0 74160780 29569024 1404 33554432000 4194304 6142532 140735037672064 140735037669464 5018361 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 11575296 140735037678726 140735037678856 140735037678856 140735037681614 0
/proc/1506/statm: 7219 1404 886 476 0 541 0
Current children cumulated CPU time: 162.29 s
Current children cumulated vsize: 28876 KiB
Current children cumulated memory: 5616 KiB

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 1510
/proc/meminfo: memFree=21817220/32770624 swapFree=67108860/67108860
[pid=1506] ppid=1503 vsize=28876 memory=5616 CPUtime=222.3 cores=1,3,5,7
/proc/1506/stat : 1506 (cosoco) R 1503 1506 30456 0 -1 4202496 5433 0 0 0 22230 0 0 0 20 0 1 0 74160780 29569024 1404 33554432000 4194304 6142532 140735037672064 140735037669464 5058653 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 11575296 140735037678726 140735037678856 140735037678856 140735037681614 0
/proc/1506/statm: 7219 1404 886 476 0 541 0
Current children cumulated CPU time: 222.3 s
Current children cumulated vsize: 28876 KiB
Current children cumulated memory: 5616 KiB

[startup+282.3 s]
/proc/loadavg: 2.06 2.03 2.05 3/187 1518
/proc/meminfo: memFree=21816796/32770624 swapFree=67108860/67108860
[pid=1506] ppid=1503 vsize=28876 memory=5616 CPUtime=282.3 cores=1,3,5,7
/proc/1506/stat : 1506 (cosoco) R 1503 1506 30456 0 -1 4202496 5884 0 0 0 28230 0 0 0 20 0 1 0 74160780 29569024 1404 33554432000 4194304 6142532 140735037672064 140735037669464 5061983 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 11575296 140735037678726 140735037678856 140735037678856 140735037681614 0
/proc/1506/statm: 7219 1404 886 476 0 541 0
Current children cumulated CPU time: 282.3 s
Current children cumulated vsize: 28876 KiB
Current children cumulated memory: 5616 KiB

[startup+342.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/187 1519
/proc/meminfo: memFree=21817044/32770624 swapFree=67108860/67108860
[pid=1506] ppid=1503 vsize=28876 memory=5616 CPUtime=342.3 cores=1,3,5,7
/proc/1506/stat : 1506 (cosoco) R 1503 1506 30456 0 -1 4202496 6333 0 0 0 34230 0 0 0 20 0 1 0 74160780 29569024 1404 33554432000 4194304 6142532 140735037672064 140735037669464 5120828 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 11575296 140735037678726 140735037678856 140735037678856 140735037681614 0
/proc/1506/statm: 7219 1404 886 476 0 541 0
Current children cumulated CPU time: 342.3 s
Current children cumulated vsize: 28876 KiB
Current children cumulated memory: 5616 KiB

[startup+402.3 s]
/proc/loadavg: 2.01 2.01 2.05 3/187 1520
/proc/meminfo: memFree=21817028/32770624 swapFree=67108860/67108860
[pid=1506] ppid=1503 vsize=28876 memory=5616 CPUtime=402.3 cores=1,3,5,7
/proc/1506/stat : 1506 (cosoco) R 1503 1506 30456 0 -1 4202496 6781 0 0 0 40230 0 0 0 20 0 1 0 74160780 29569024 1404 33554432000 4194304 6142532 140735037672064 140735037669464 5017767 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 11575296 140735037678726 140735037678856 140735037678856 140735037681614 0
/proc/1506/statm: 7219 1404 886 476 0 541 0
Current children cumulated CPU time: 402.3 s
Current children cumulated vsize: 28876 KiB
Current children cumulated memory: 5616 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 1581
/proc/meminfo: memFree=21813664/32770624 swapFree=67108860/67108860
[pid=1506] ppid=1503 vsize=28876 memory=5616 CPUtime=462.3 cores=1,3,5,7
/proc/1506/stat : 1506 (cosoco) R 1503 1506 30456 0 -1 4202496 7250 0 0 0 46230 0 0 0 20 0 1 0 74160780 29569024 1404 33554432000 4194304 6142532 140735037672064 140735037669464 5017816 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 11575296 140735037678726 140735037678856 140735037678856 140735037681614 0
/proc/1506/statm: 7219 1404 886 476 0 541 0
Current children cumulated CPU time: 462.3 s
Current children cumulated vsize: 28876 KiB
Current children cumulated memory: 5616 KiB


################
# More data... #
################

/proc/1506/statm: 7252 1424 886 476 0 574 0
Current children cumulated CPU time: 1722.34 s
Current children cumulated vsize: 29008 KiB
Current children cumulated memory: 5696 KiB

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 1639
/proc/meminfo: memFree=21813268/32770624 swapFree=67108860/67108860
[pid=1506] ppid=1503 vsize=29008 memory=5696 CPUtime=1782.34 cores=1,3,5,7
/proc/1506/stat : 1506 (cosoco) R 1503 1506 30456 0 -1 4202496 17230 0 0 0 178234 0 0 0 20 0 1 0 74160780 29704192 1424 33554432000 4194304 6142532 140735037672064 140735037669464 5013955 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 11575296 140735037678726 140735037678856 140735037678856 140735037681614 0
/proc/1506/statm: 7252 1424 886 476 0 574 0
Current children cumulated CPU time: 1782.34 s
Current children cumulated vsize: 29008 KiB
Current children cumulated memory: 5696 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 1640
/proc/meminfo: memFree=21814004/32770624 swapFree=67108860/67108860
[pid=1506] ppid=1503 vsize=29008 memory=5696 CPUtime=1842.34 cores=1,3,5,7
/proc/1506/stat : 1506 (cosoco) R 1503 1506 30456 0 -1 4202496 17663 0 0 0 184234 0 0 0 20 0 1 0 74160780 29704192 1424 33554432000 4194304 6142532 140735037672064 140735037669464 5058744 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 11575296 140735037678726 140735037678856 140735037678856 140735037681614 0
/proc/1506/statm: 7252 1424 886 476 0 574 0
Current children cumulated CPU time: 1842.34 s
Current children cumulated vsize: 29008 KiB
Current children cumulated memory: 5696 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 1641
/proc/meminfo: memFree=21814144/32770624 swapFree=67108860/67108860
[pid=1506] ppid=1503 vsize=29008 memory=5696 CPUtime=1902.34 cores=1,3,5,7
/proc/1506/stat : 1506 (cosoco) R 1503 1506 30456 0 -1 4202496 18090 0 0 0 190234 0 0 0 20 0 1 0 74160780 29704192 1424 33554432000 4194304 6142532 140735037672064 140735037669464 5058694 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 11575296 140735037678726 140735037678856 140735037678856 140735037681614 0
/proc/1506/statm: 7252 1424 886 476 0 574 0
Current children cumulated CPU time: 1902.34 s
Current children cumulated vsize: 29008 KiB
Current children cumulated memory: 5696 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 1642
/proc/meminfo: memFree=21814236/32770624 swapFree=67108860/67108860
[pid=1506] ppid=1503 vsize=29008 memory=5696 CPUtime=1962.34 cores=1,3,5,7
/proc/1506/stat : 1506 (cosoco) R 1503 1506 30456 0 -1 4202496 18597 0 0 0 196234 0 0 0 20 0 1 0 74160780 29704192 1424 33554432000 4194304 6142532 140735037672064 140735037669464 5053555 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 11575296 140735037678726 140735037678856 140735037678856 140735037681614 0
/proc/1506/statm: 7252 1424 886 476 0 574 0
Current children cumulated CPU time: 1962.34 s
Current children cumulated vsize: 29008 KiB
Current children cumulated memory: 5696 KiB

[startup+2022.3 s]
/proc/loadavg: 2.48 2.13 2.08 3/188 1643
/proc/meminfo: memFree=21814404/32770624 swapFree=67108860/67108860
[pid=1506] ppid=1503 vsize=29008 memory=5696 CPUtime=2022.34 cores=1,3,5,7
/proc/1506/stat : 1506 (cosoco) R 1503 1506 30456 0 -1 4202496 19014 0 0 0 202234 0 0 0 20 0 1 0 74160780 29704192 1424 33554432000 4194304 6142532 140735037672064 140735037669464 5175070 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 11575296 140735037678726 140735037678856 140735037678856 140735037681614 0
/proc/1506/statm: 7252 1424 886 476 0 574 0
Current children cumulated CPU time: 2022.34 s
Current children cumulated vsize: 29008 KiB
Current children cumulated memory: 5696 KiB

[startup+2082.3 s]
/proc/loadavg: 2.49 2.22 2.12 3/188 1649
/proc/meminfo: memFree=21813980/32770624 swapFree=67108860/67108860
[pid=1506] ppid=1503 vsize=29008 memory=5696 CPUtime=2082.35 cores=1,3,5,7
/proc/1506/stat : 1506 (cosoco) R 1503 1506 30456 0 -1 4202496 19486 0 0 0 208235 0 0 0 20 0 1 0 74160780 29704192 1424 33554432000 4194304 6142532 140735037672064 140735037669464 5326340 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 11575296 140735037678726 140735037678856 140735037678856 140735037681614 0
/proc/1506/statm: 7252 1424 886 476 0 574 0
Current children cumulated CPU time: 2082.35 s
Current children cumulated vsize: 29008 KiB
Current children cumulated memory: 5696 KiB

[startup+2142.3 s]
/proc/loadavg: 2.24 2.21 2.12 3/188 1650
/proc/meminfo: memFree=21814144/32770624 swapFree=67108860/67108860
[pid=1506] ppid=1503 vsize=29008 memory=5696 CPUtime=2142.35 cores=1,3,5,7
/proc/1506/stat : 1506 (cosoco) R 1503 1506 30456 0 -1 4202496 19936 0 0 0 214235 0 0 0 20 0 1 0 74160780 29704192 1424 33554432000 4194304 6142532 140735037672064 140735037669464 5017816 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 11575296 140735037678726 140735037678856 140735037678856 140735037681614 0
/proc/1506/statm: 7252 1424 886 476 0 574 0
Current children cumulated CPU time: 2142.35 s
Current children cumulated vsize: 29008 KiB
Current children cumulated memory: 5696 KiB

[startup+2202.3 s]
/proc/loadavg: 2.09 2.17 2.12 3/188 1651
/proc/meminfo: memFree=21814156/32770624 swapFree=67108860/67108860
[pid=1506] ppid=1503 vsize=29008 memory=5696 CPUtime=2202.35 cores=1,3,5,7
/proc/1506/stat : 1506 (cosoco) R 1503 1506 30456 0 -1 4202496 20387 0 0 0 220235 0 0 0 20 0 1 0 74160780 29704192 1424 33554432000 4194304 6142532 140735037672064 140735037669464 5118049 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 11575296 140735037678726 140735037678856 140735037678856 140735037681614 0
/proc/1506/statm: 7252 1424 886 476 0 574 0
Current children cumulated CPU time: 2202.35 s
Current children cumulated vsize: 29008 KiB
Current children cumulated memory: 5696 KiB

[startup+2262.3 s]
/proc/loadavg: 2.03 2.14 2.11 3/188 1652
/proc/meminfo: memFree=21813932/32770624 swapFree=67108860/67108860
[pid=1506] ppid=1503 vsize=29008 memory=5696 CPUtime=2262.35 cores=1,3,5,7
/proc/1506/stat : 1506 (cosoco) R 1503 1506 30456 0 -1 4202496 20838 0 0 0 226235 0 0 0 20 0 1 0 74160780 29704192 1424 33554432000 4194304 6142532 140735037672064 140735037669464 5058259 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 11575296 140735037678726 140735037678856 140735037678856 140735037681614 0
/proc/1506/statm: 7252 1424 886 476 0 574 0
Current children cumulated CPU time: 2262.35 s
Current children cumulated vsize: 29008 KiB
Current children cumulated memory: 5696 KiB

[startup+2322.3 s]
/proc/loadavg: 2.01 2.11 2.11 3/188 1653
/proc/meminfo: memFree=21813940/32770624 swapFree=67108860/67108860
[pid=1506] ppid=1503 vsize=29008 memory=5696 CPUtime=2322.35 cores=1,3,5,7
/proc/1506/stat : 1506 (cosoco) R 1503 1506 30456 0 -1 4202496 21315 0 0 0 232235 0 0 0 20 0 1 0 74160780 29704192 1424 33554432000 4194304 6142532 140735037672064 140735037669464 5062315 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 11575296 140735037678726 140735037678856 140735037678856 140735037681614 0
/proc/1506/statm: 7252 1424 886 476 0 574 0
Current children cumulated CPU time: 2322.35 s
Current children cumulated vsize: 29008 KiB
Current children cumulated memory: 5696 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 2.09 2.10 3/188 1655
/proc/meminfo: memFree=21814056/32770624 swapFree=67108860/67108860
[pid=1506] ppid=1503 vsize=29008 memory=5712 CPUtime=2382.35 cores=1,3,5,7
/proc/1506/stat : 1506 (cosoco) R 1503 1506 30456 0 -1 4202496 21745 0 0 0 238235 0 0 0 20 0 1 0 74160780 29704192 1428 33554432000 4194304 6142532 140735037672064 140735037669464 5054357 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 11575296 140735037678726 140735037678856 140735037678856 140735037681614 0
/proc/1506/statm: 7252 1428 886 476 0 574 0
Current children cumulated CPU time: 2382.35 s
Current children cumulated vsize: 29008 KiB
Current children cumulated memory: 5712 KiB

[startup+2442.3 s]
/proc/loadavg: 2.00 2.07 2.09 3/188 1656
/proc/meminfo: memFree=21814188/32770624 swapFree=67108860/67108860
[pid=1506] ppid=1503 vsize=29008 memory=5720 CPUtime=2442.36 cores=1,3,5,7
/proc/1506/stat : 1506 (cosoco) R 1503 1506 30456 0 -1 4202496 22173 0 0 0 244236 0 0 0 20 0 1 0 74160780 29704192 1430 33554432000 4194304 6142532 140735037672064 140735037669464 5059679 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 11575296 140735037678726 140735037678856 140735037678856 140735037681614 0
/proc/1506/statm: 7252 1430 886 476 0 574 0
Current children cumulated CPU time: 2442.36 s
Current children cumulated vsize: 29008 KiB
Current children cumulated memory: 5720 KiB

[startup+2502.3 s]
/proc/loadavg: 2.00 2.06 2.09 3/188 1701
/proc/meminfo: memFree=21803700/32770624 swapFree=67108860/67108860
[pid=1506] ppid=1503 vsize=29008 memory=5720 CPUtime=2502.36 cores=1,3,5,7
/proc/1506/stat : 1506 (cosoco) R 1503 1506 30456 0 -1 4202496 22604 0 0 0 250236 0 0 0 20 0 1 0 74160780 29704192 1430 33554432000 4194304 6142532 140735037672064 140735037669464 5347422 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 11575296 140735037678726 140735037678856 140735037678856 140735037681614 0
/proc/1506/statm: 7252 1430 886 476 0 574 0
Current children cumulated CPU time: 2502.36 s
Current children cumulated vsize: 29008 KiB
Current children cumulated memory: 5720 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 2.00 2.06 2.09 3/188 1703
/proc/meminfo: memFree=21803508/32770624 swapFree=67108860/67108860
[pid=1506] ppid=1503 vsize=29008 memory=5720 CPUtime=2520.07 cores=1,3,5,7
/proc/1506/stat : 1506 (cosoco) R 1503 1506 30456 0 -1 4202496 23026 0 0 0 252007 0 0 0 20 0 1 0 74160780 29704192 1430 33554432000 4194304 6142532 140735037672064 140735037669464 5017759 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 11575296 140735037678726 140735037678856 140735037678856 140735037681614 0
/proc/1506/statm: 7252 1430 886 476 0 574 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 29008 KiB
Current children cumulated memory: 5720 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+2520.01 s]
# the end of solver process 1506 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2520.07 s, system=0.006 s

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

Child status: 1
Real time (s): 2520.01
CPU time (s): 2520.08
CPU user time (s): 2520.07
CPU system time (s): 0.006
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 29008
Max. memory (cumulated for all children) (KiB): 5720

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2520.07
system time used= 0.006
maximum resident set size= 5784
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23074
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= 661


# summary of solver processes directly reported to runsolver:
#   pid: 1506
#   total CPU time (s): 2520.08
#   total CPU user time (s): 2520.07
#   total CPU system time (s): 0.006

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.3527 second user time and 16.6389 second system time

The end

Launcher Data 

Begin job on node149 at 2018-07-26 02:46:16
IDJOB=4295729
IDBENCH=141595
IDSOLVER=2752
FILE ID=node149/4295729-1532565976
RUNJOBID= node149-1532542931-30488
PBS_JOBID= 21021951
Free space on /tmp= 43256 MiB

SOLVER NAME= cosoco 1.12
BENCH NAME= XCSP18/SportsScheduling/SportsScheduling-14_c18.xml
COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4295729-1532565976/watcher-4295729-1532565976 -o /tmp/evaluation-result-4295729-1532565976/solver-4295729-1532565976 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node149-1532542931-30488 --watchdog 2580  HOME/cosoco -lc -model -restarts HOME/instance-4295729-1532565976.xml

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

MD5SUM BENCH= 1e3f519c957d5cb55b89b746c42a86fa
RANDOM SEED=1149186320

node149.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.60
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.60
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.60
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.60
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:        21819996 kB
MemAvailable:   31927716 kB
Buffers:          128052 kB
Cached:         10124524 kB
SwapCached:            0 kB
Active:          2342112 kB
Inactive:        7967072 kB
Active(anon):       4720 kB
Inactive(anon):    79884 kB
Active(file):    2337392 kB
Inactive(file):  7887188 kB
Unevictable:        7608 kB
Mlocked:            7608 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              2744 kB
Writeback:             0 kB
AnonPages:         64076 kB
Mapped:            41628 kB
Shmem:             25224 kB
Slab:             340300 kB
SReclaimable:     311600 kB
SUnreclaim:        28700 kB
KernelStack:        3296 kB
PageTables:         5112 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     353996 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      8192 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      118144 kB
DirectMap2M:    33427456 kB

Free space on /tmp at the end= 43256 MiB
End job on node149 at 2018-07-26 03:28:16