Trace number 4389633

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 2? (TO) 2519.96 2520.01

General information on the benchmark

NameMagicHexagon/MagicHexagon-m1-s1/
MagicHexagon-09-m057.xml
MD5SUMe3fb36821a1c53c1942e51a6fdfce406
Bench CategoryCSP (decision problem)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables289
Number of constraints58
Number of domains1
Minimum domain size217
Maximum domain size217
Distribution of domain sizes[{"size":217,"count":217}]
Minimum variable degree0
Maximum variable degree9
Distribution of variable degrees[{"degree":0,"count":72},{"degree":4,"count":211},{"degree":5,"count":3},{"degree":6,"count":2},{"degree":9,"count":1}]
Minimum constraint arity2
Maximum constraint arity217
Distribution of constraint arities[{"arity":2,"count":6},{"arity":9,"count":6},{"arity":10,"count":6},{"arity":11,"count":6},{"arity":12,"count":6},{"arity":13,"count":6},{"arity":14,"count":6},{"arity":15,"count":6},{"arity":16,"count":6},{"arity":17,"count":3},{"arity":217,"count":1}]
Number of extensional constraints0
Number of intensional constraints6
Distribution of constraint types[{"type":"intension","count":6},{"type":"allDifferent","count":1},{"type":"sum","count":51}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.01	c root propagations     : 9           
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 2.00 --  
0.00/0.01	c
0.00/0.01	c command line: cosoco -lc -model -restarts -stick HOME/instance-4389633-1568341431.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: 289
0.00/0.01	c |            Domain Sizes: 217..217
0.00/0.01	c |
0.00/0.01	c |             Constraints: 58
0.00/0.01	c |                   Arity: 2..217  -- Binary: 6
0.00/0.01	c | 
0.00/0.01	c |                   Types: 
0.00/0.01	c |                          (X - Y < k): 6
0.00/0.01	c |                          All Different: 1
0.00/0.01	c |                          Sum: 51
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.01	c remove useless variable x[0][9]
0.00/0.01	c remove useless variable x[0][10]
0.00/0.01	c remove useless variable x[0][11]
0.00/0.01	c remove useless variable x[0][12]
0.00/0.01	c remove useless variable x[0][13]
0.00/0.01	c remove useless variable x[0][14]
0.00/0.01	c remove useless variable x[0][15]
0.00/0.01	c remove useless variable x[0][16]
0.00/0.01	c remove useless variable x[1][10]
0.00/0.01	c remove useless variable x[1][11]
0.00/0.01	c remove useless variable x[1][12]
0.00/0.01	c remove useless variable x[1][13]
0.00/0.01	c remove useless variable x[1][14]
0.00/0.01	c remove useless variable x[1][15]
0.00/0.01	c remove useless variable x[1][16]
0.00/0.01	c remove useless variable x[2][11]
0.00/0.01	c remove useless variable x[2][12]
0.00/0.01	c remove useless variable x[2][13]
0.00/0.01	c remove useless variable x[2][14]
0.00/0.01	c remove useless variable x[2][15]
0.00/0.01	c remove useless variable x[2][16]
0.00/0.01	c remove useless variable x[3][12]
0.00/0.01	c remove useless variable x[3][13]
0.00/0.01	c remove useless variable x[3][14]
0.00/0.01	c remove useless variable x[3][15]
0.00/0.01	c remove useless variable x[3][16]
0.00/0.01	c remove useless variable x[4][13]
0.00/0.01	c remove useless variable x[4][14]
0.00/0.01	c remove useless variable x[4][15]
0.00/0.01	c remove useless variable x[4][16]
0.00/0.01	c remove useless variable x[5][14]
0.00/0.01	c remove useless variable x[5][15]
0.00/0.01	c remove useless variable x[5][16]
0.00/0.01	c remove useless variable x[6][15]
0.00/0.01	c remove useless variable x[6][16]
0.00/0.01	c remove useless variable x[7][16]
0.00/0.01	c remove useless variable x[9][16]
0.00/0.01	c remove useless variable x[10][15]
0.00/0.01	c remove useless variable x[10][16]
0.00/0.01	c remove useless variable x[11][14]
0.00/0.01	c remove useless variable x[11][15]
0.00/0.01	c remove useless variable x[11][16]
0.00/0.01	c remove useless variable x[12][13]
0.00/0.01	c remove useless variable x[12][14]
0.00/0.01	c remove useless variable x[12][15]
0.00/0.01	c remove useless variable x[12][16]
0.00/0.01	c remove useless variable x[13][12]
0.00/0.01	c remove useless variable x[13][13]
0.00/0.01	c remove useless variable x[13][14]
0.00/0.01	c remove useless variable x[13][15]
0.00/0.01	c remove useless variable x[13][16]
0.00/0.01	c remove useless variable x[14][11]
0.00/0.01	c remove useless variable x[14][12]
0.00/0.01	c remove useless variable x[14][13]
0.00/0.01	c remove useless variable x[14][14]
0.00/0.01	c remove useless variable x[14][15]
0.00/0.01	c remove useless variable x[14][16]
0.00/0.01	c remove useless variable x[15][10]
0.00/0.01	c remove useless variable x[15][11]
0.00/0.01	c remove useless variable x[15][12]
0.00/0.01	c remove useless variable x[15][13]
0.00/0.01	c remove useless variable x[15][14]
0.00/0.01	c remove useless variable x[15][15]
0.00/0.01	c remove useless variable x[15][16]
0.00/0.01	c remove useless variable x[16][9]
0.00/0.01	c remove useless variable x[16][10]
0.00/0.01	c remove useless variable x[16][11]
0.00/0.01	c remove useless variable x[16][12]
0.00/0.01	c remove useless variable x[16][13]
0.00/0.01	c remove useless variable x[16][14]
0.00/0.01	c remove useless variable x[16][15]
0.00/0.01	c remove useless variable x[16][16]
0.00/0.05	c 101            132            2368           30281          6              0              9   12   10    
0.10/0.11	c 211            296            5994           69347          6              0              8   27   16    
0.10/0.17	c 332            470            9409           104817         6              0              11   27   25   
0.21/0.23	c 465            656            13244          140197         6              0              12   25   22   
0.21/0.30	c 611            863            17372          190222         6              0              10   25   21   
0.31/0.39	c 771            1134           23800          245229         6              0              11   62   35   
0.41/0.47	c 947            1416           29768          298717         6              0              9   64   57    
0.51/0.55	c 1140           1715           34971          360242         6              0              18   63   55   
0.60/0.65	c 1352           2046           41609          448890         6              0              11   69   55   
0.69/0.75	c 1585           2418           48504          533338         6              0              15   75   51   
0.79/0.88	c 1841           2808           56185          677269         6              0              16   66   32   
0.89/0.97	c 2122           3178           61055          842396         6              0              30   41   39   
1.00/1.10	c 2431           3602           68026          942773         6              0              5   31   20    
1.19/1.28	c 2770           4086           76466          1067139        6              0              9   31   19    
1.39/1.45	c 3142           4616           85319          1192724        6              0              11   44   27   
1.49/1.59	c 3551           5179           94463          1299681        6              0              12   55   50   
1.69/1.73	c 4000           5792           103622         1444449        6              0              12   68   52   
1.89/1.95	c 4493           6487           116214         1605202        6              0              4   60   36    
2.10/2.17	c 5035           7234           128557         1844556        6              0              7   73   52    
2.29/2.36	c 5631           8040           140864         2024608        6              0              10   75   53   
2.49/2.57	c 6286           8947           154643         2237162        6              0              11   94   59   
2.69/2.77	c 7006           9963           170715         2434904        6              0              18   117   83  
3.00/3.02	c 7798           11118          190611         2653162        6              0              18   136   94  
3.29/3.33	c 8669           12415          224090         2988051        6              0              14   152   118 
3.69/3.71	c 9627           13729          243489         3490435        6              0              13   102   74  
4.00/4.07	c 10680          15248          271650         3879501        6              0              20   141   95  
4.39/4.46	c 11838          17022          304547         4261250        6              0              19   151   107 
5.10/5.19	c 13111          18842          381390         5327960        6              0              27   151   137 
5.79/5.85	c 14511          20519          454337         6536288        6              0              28   149   132 
6.29/6.36	c 16051          22631          495815         7165386        6              0              20   136   94  
7.10/7.19	c 17745          24728          597409         8061505        6              0              34   145   126 
8.29/8.35	c 19608          27067          732083         9917490        6              0              28   138   128 
10.39/10.40	c 21657          30291          951962         12495942       6              0              32   146   129 
12.49/12.59	c 23910          34113          1186895        14885962       6              0              19   157   142 
13.29/13.39	c 26388          37342          1263592        16007810       6              0              28   149   142 
15.00/15.10	c 29113          40634          1438430        18273119       6              0              26   139   134 
16.89/16.94	c 32110          46768          1611770        20111789       6              0              36   171   164 
19.39/19.44	c 35406          53235          1836898        23461354       6              0              26   143   139 
21.29/21.39	c 39031          58842          2009992        25086976       6              0              7   133   130  
23.00/23.05	c 43018          64042          2170019        27906869       6              0              8   170   165  
26.89/26.99	c 47403          69137          2561826        37567709       6              0              14   151   147 
32.89/32.92	c 52226          77504          3169654        44805068       6              0              8   143   140  
35.89/35.91	c 57531          84549          3469748        49317013       6              0              6   153   149  
40.89/40.98	c 63366          93189          3935145        56443035       6              0              9   167   165  
44.69/44.76	c 69784          103575         4244735        61863582       6              0              16   150   142 
49.39/49.42	c 76843          116478         4687840        67448838       6              0              20   169   156 
54.39/54.46	c 84607          127898         5113337        75346774       6              0              29   155   149 
59.79/59.82	c 93147          137990         5636101        83781750       6              0              38   163   160 
66.19/66.23	c 102541         151995         6277620        92103638       6              0              27   173   166 
70.00/70.02	c 112874         168550         6595739        97849581       6              0              33   159   153 
74.59/74.62	c 124240         183503         7045267        102501613      6              0              11   162   157 
80.69/80.73	c 136742         204969         7651404        113730546      6              0              15   144   141 
90.59/90.66	c 150494         221551         8670508        127565917      6              0              17   153   150 
96.79/96.82	c 165621         241512         9249096        136920676      6              0              10   171   163 
112.49/112.58	c 182260         264034         10683432       163989983      6              0              11   163   158 
117.49/117.54	c 200562         289817         11078668       170889437      6              0              5   155   151  
131.69/131.70	c 220694         333254         12182267       188594282      6              0              18   147   146 
142.79/142.89	c 242839         370879         12875499       203163392      6              0              21   150   145 
161.10/161.13	c 267198         404652         14364972       229993196      6              0              32   155   151 
171.19/171.24	c 293992         447806         15163461       242107730      6              0              34   163   160 
194.19/194.26	c 323465         510273         16574391       270189386      6              0              28   123   122 
228.69/228.73	c 355885         561588         19633091       306997206      6              0              11   176   170 
262.79/262.82	c 391547         604716         22797828       364626133      6              0              17   167   162 
288.29/288.34	c 430775         651004         25285092       422481450      6              0              16   167   163 
316.79/316.82	c 473925         724787         27846396       477506435      6              0              15   159   155 
347.69/347.76	c 521390         805609         30769592       520811714      6              0              33   164   159 
384.29/384.32	c 573601         871963         33764309       590893268      6              0              23   173   168 
396.00/396.07	c 631033         945569         34736877       610888913      6              0              33   155   151 
422.49/422.56	c 694208         1036661        37020487       648522900      6              0              28   158   153 
450.89/450.95	c 763700         1127647        39694465       687797384      6              0              26   162   158 
479.69/479.73	c 840141         1219971        41953650       746526157      6              0              27   155   151 
531.09/531.11	c 924226         1325973        47329196       831068405      6              0              29   155   151 
635.78/635.82	c 1016719        1480689        56473534       1019616271     6              0              33   163   158 
701.68/701.75	c 1118461        1602091        61732423       1168353106     6              0              11   147   141 
799.09/799.17	c 1230377        1720713        70688327       1410573199     6              0              25   133   132 
863.68/863.71	c 1353484        1941114        77069348       1474349371     6              0              13   190   180 
941.48/941.53	c 1488901        2158250        83431692       1609264083     6              0              23   158   152 
982.18/982.29	c 1637859        2351983        86916245       1674384924     6              0              24   167   158 
1051.18/1051.22	c 1801712        2567644        92921751       1764712365     6              0              27   161   157 
1160.68/1160.72	c 1981950        2801543        103423090      1939328408     6              0              26   156   151 
1270.99/1271.01	c 2180211        3036979        113911089      2145785664     6              0              34   159   157 
1430.18/1430.29	c 2398298        3332386        128377159      2455448323     6              0              40   160   149 
1601.48/1601.51	c 2638193        3769191        143957955      2693378305     6              0              47   164   160 
1768.08/1768.13	c 2902077        4078028        159732721      3001441211     6              0              20   153   150 
1905.76/1905.88	c 3192349        4432866        171924128      3246974979     6              0              17   160   156 
2041.16/2041.24	c 3511648        4870681        184507946      3400201277     6              0              29   171   161 
2209.75/2209.89	c 3862876        5354781        199577629      3653251583     6              0              40   172   167 
2519.95/2520.01	
2519.95/2520.01	c *** INTERRUPTED ***
2519.95/2520.01	c restarts              : 87          
2519.95/2520.01	c conflicts             : 4177647      (1658 /sec)
2519.95/2520.01	c decisions             : 5866353      (2328 /sec)
2519.95/2520.01	c propagations          : 4358113889  (1729442 /sec)
2519.95/2520.01	c root propagations     : 9           
2519.95/2520.01	c filter calls          : 224678182      (89160 /sec)
2519.95/2520.01	c useless filter calls  : 141356805      (62 %)
2519.95/2520.01	c Memory used           : 27.62 MB
2519.95/2520.01	c CPU time              : 2519.95 s
2519.95/2520.01	c real time             : 2520.01 s
2519.95/2520.01	
2519.95/2520.01	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: 16375 MiB (13449 MiB free)
  memory of node 1: 16384 MiB (15688 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4389633-1568341431/watcher-4389633-1568341431 -o /tmp/evaluation-result-4389633-1568341431/solver-4389633-1568341431 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node116-1568311136-6439 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4389633-1568341431.xml 

running on 4 cores: 4-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=12403, runsolver pid=12400

[startup+0.100803 s]*
/proc/loadavg: 2.12 2.14 2.10 3/200 12404
/proc/meminfo: memFree=29836744/32770688 swapFree=66961004/67108860
[pid=12403] ppid=12400 vsize=28012 memory=4684 CPUtime=0.1 cores=4-7
/proc/12403/stat : 12403 (cosoco) R 12400 12403 6407 0 -1 4202496 1348 0 0 0 10 0 0 0 20 0 1 0 410084769 28684288 1171 33554432000 4194304 6210612 140722644074864 140722644072824 5074901 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 24068096 140722644079627 140722644079729 140722644079729 140722644082638 0
/proc/12403/statm: 7003 1171 885 493 0 308 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 28012 KiB
Current children cumulated memory: 4684 KiB

[startup+0.21071 s]*
/proc/loadavg: 2.12 2.14 2.10 3/200 12404
/proc/meminfo: memFree=29836744/32770688 swapFree=66961004/67108860
[pid=12403] ppid=12400 vsize=28012 memory=4684 CPUtime=0.21 cores=4-7
/proc/12403/stat : 12403 (cosoco) R 12400 12403 6407 0 -1 4202496 1348 0 0 0 21 0 0 0 20 0 1 0 410084769 28684288 1171 33554432000 4194304 6210612 140722644074864 140722644072824 5149290 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 24068096 140722644079627 140722644079729 140722644079729 140722644082638 0
/proc/12403/statm: 7003 1171 885 493 0 308 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 28012 KiB
Current children cumulated memory: 4684 KiB

[startup+0.310187 s]*
/proc/loadavg: 2.12 2.14 2.10 3/200 12404
/proc/meminfo: memFree=29836744/32770688 swapFree=66961004/67108860
[pid=12403] ppid=12400 vsize=28012 memory=4684 CPUtime=0.31 cores=4-7
/proc/12403/stat : 12403 (cosoco) R 12400 12403 6407 0 -1 4202496 1348 0 0 0 31 0 0 0 20 0 1 0 410084769 28684288 1171 33554432000 4194304 6210612 140722644074864 140722644072824 5082632 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 24068096 140722644079627 140722644079729 140722644079729 140722644082638 0
/proc/12403/statm: 7003 1171 885 493 0 308 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 28012 KiB
Current children cumulated memory: 4684 KiB

[startup+0.700287 s]
/proc/loadavg: 2.12 2.14 2.10 3/200 12404
/proc/meminfo: memFree=29836076/32770688 swapFree=66961004/67108860
[pid=12403] ppid=12400 vsize=28148 memory=4684 CPUtime=0.69 cores=4-7
/proc/12403/stat : 12403 (cosoco) R 12400 12403 6407 0 -1 4202496 1375 0 0 0 69 0 0 0 20 0 1 0 410084769 28823552 1171 33554432000 4194304 6210612 140722644074864 140722644072824 5082655 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 24068096 140722644079627 140722644079729 140722644079729 140722644082638 0
/proc/12403/statm: 7037 1171 885 493 0 342 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 28148 KiB
Current children cumulated memory: 4684 KiB

[startup+1.50029 s]
/proc/loadavg: 2.12 2.14 2.10 3/200 12404
/proc/meminfo: memFree=29836076/32770688 swapFree=66961004/67108860
[pid=12403] ppid=12400 vsize=28148 memory=4684 CPUtime=1.49 cores=4-7
/proc/12403/stat : 12403 (cosoco) R 12400 12403 6407 0 -1 4202496 1375 0 0 0 149 0 0 0 20 0 1 0 410084769 28823552 1171 33554432000 4194304 6210612 140722644074864 140722644072824 5192912 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 24068096 140722644079627 140722644079729 140722644079729 140722644082638 0
/proc/12403/statm: 7037 1171 885 493 0 342 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 28148 KiB
Current children cumulated memory: 4684 KiB

[startup+3.11037 s]
/proc/loadavg: 2.11 2.14 2.09 3/200 12404
/proc/meminfo: memFree=29836236/32770688 swapFree=66961004/67108860
[pid=12403] ppid=12400 vsize=28148 memory=4852 CPUtime=3.1 cores=4-7
/proc/12403/stat : 12403 (cosoco) R 12400 12403 6407 0 -1 4202496 1620 0 0 0 310 0 0 0 20 0 1 0 410084769 28823552 1213 33554432000 4194304 6210612 140722644074864 140722644072824 5082655 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 24068096 140722644079627 140722644079729 140722644079729 140722644082638 0
/proc/12403/statm: 7037 1213 887 493 0 342 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 28148 KiB
Current children cumulated memory: 4852 KiB

[startup+6.30028 s]
/proc/loadavg: 2.11 2.14 2.09 3/200 12404
/proc/meminfo: memFree=29835928/32770688 swapFree=66961004/67108860
[pid=12403] ppid=12400 vsize=28280 memory=4888 CPUtime=6.29 cores=4-7
/proc/12403/stat : 12403 (cosoco) R 12400 12403 6407 0 -1 4202496 1876 0 0 0 629 0 0 0 20 0 1 0 410084769 28958720 1222 33554432000 4194304 6210612 140722644074864 140722644072824 5080933 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 24068096 140722644079627 140722644079729 140722644079729 140722644082638 0
/proc/12403/statm: 7070 1222 887 493 0 375 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 28280 KiB
Current children cumulated memory: 4888 KiB

[startup+12.7003 s]
/proc/loadavg: 2.11 2.14 2.09 3/201 12406
/proc/meminfo: memFree=29834952/32770688 swapFree=66961004/67108860
[pid=12403] ppid=12400 vsize=28280 memory=4896 CPUtime=12.69 cores=4-7
/proc/12403/stat : 12403 (cosoco) R 12400 12403 6407 0 -1 4202496 2128 0 0 0 1269 0 0 0 20 0 1 0 410084769 28958720 1224 33554432000 4194304 6210612 140722644074864 140722644072824 5149290 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 24068096 140722644079627 140722644079729 140722644079729 140722644082638 0
/proc/12403/statm: 7070 1224 887 493 0 375 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 28280 KiB
Current children cumulated memory: 4896 KiB

[startup+25.5003 s]
/proc/loadavg: 2.08 2.13 2.09 3/200 12406
/proc/meminfo: memFree=29834928/32770688 swapFree=66961004/67108860
[pid=12403] ppid=12400 vsize=28280 memory=4916 CPUtime=25.49 cores=4-7
/proc/12403/stat : 12403 (cosoco) R 12400 12403 6407 0 -1 4202496 2636 0 0 0 2549 0 0 0 20 0 1 0 410084769 28958720 1229 33554432000 4194304 6210612 140722644074864 140722644072824 5192912 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 24068096 140722644079627 140722644079729 140722644079729 140722644082638 0
/proc/12403/statm: 7070 1229 887 493 0 375 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 28280 KiB
Current children cumulated memory: 4916 KiB

[startup+51.1103 s]
/proc/loadavg: 2.05 2.12 2.09 3/200 12407
/proc/meminfo: memFree=29835348/32770688 swapFree=66961004/67108860
[pid=12403] ppid=12400 vsize=28280 memory=4920 CPUtime=51.1 cores=4-7
/proc/12403/stat : 12403 (cosoco) R 12400 12403 6407 0 -1 4202496 2890 0 0 0 5110 0 0 0 20 0 1 0 410084769 28958720 1230 33554432000 4194304 6210612 140722644074864 140722644072824 5149280 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 24068096 140722644079627 140722644079729 140722644079729 140722644082638 0
/proc/12403/statm: 7070 1230 887 493 0 375 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 28280 KiB
Current children cumulated memory: 4920 KiB

[startup+102.3 s]
/proc/loadavg: 2.02 2.10 2.09 3/201 12412
/proc/meminfo: memFree=29834540/32770688 swapFree=66961004/67108860
[pid=12403] ppid=12400 vsize=28280 memory=4924 CPUtime=102.29 cores=4-7
/proc/12403/stat : 12403 (cosoco) R 12400 12403 6407 0 -1 4202496 3140 0 0 0 10229 0 0 0 20 0 1 0 410084769 28958720 1231 33554432000 4194304 6210612 140722644074864 140722644072824 5078384 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 24068096 140722644079627 140722644079729 140722644079729 140722644082638 0
/proc/12403/statm: 7070 1231 887 493 0 375 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 28280 KiB
Current children cumulated memory: 4924 KiB

[startup+162.3 s]
/proc/loadavg: 2.01 2.08 2.08 3/199 12417
/proc/meminfo: memFree=29833676/32770688 swapFree=66961004/67108860
[pid=12403] ppid=12400 vsize=28280 memory=4924 CPUtime=162.29 cores=4-7
/proc/12403/stat : 12403 (cosoco) R 12400 12403 6407 0 -1 4202496 3391 0 0 0 16229 0 0 0 20 0 1 0 410084769 28958720 1231 33554432000 4194304 6210612 140722644074864 140722644072824 5078484 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 24068096 140722644079627 140722644079729 140722644079729 140722644082638 0
/proc/12403/statm: 7070 1231 887 493 0 375 0
Current children cumulated CPU time: 162.29 s
Current children cumulated vsize: 28280 KiB
Current children cumulated memory: 4924 KiB

[startup+222.3 s]
/proc/loadavg: 2.00 2.07 2.07 3/199 12421
/proc/meminfo: memFree=29833808/32770688 swapFree=66961004/67108860
[pid=12403] ppid=12400 vsize=28280 memory=4924 CPUtime=222.29 cores=4-7
/proc/12403/stat : 12403 (cosoco) R 12400 12403 6407 0 -1 4202496 3639 0 0 0 22229 0 0 0 20 0 1 0 410084769 28958720 1231 33554432000 4194304 6210612 140722644074864 140722644072824 5074297 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 24068096 140722644079627 140722644079729 140722644079729 140722644082638 0
/proc/12403/statm: 7070 1231 887 493 0 375 0
Current children cumulated CPU time: 222.29 s
Current children cumulated vsize: 28280 KiB
Current children cumulated memory: 4924 KiB

[startup+282.3 s]
/proc/loadavg: 2.03 2.07 2.07 3/200 12427
/proc/meminfo: memFree=29833000/32770688 swapFree=66961004/67108860
[pid=12403] ppid=12400 vsize=28280 memory=4924 CPUtime=282.29 cores=4-7
/proc/12403/stat : 12403 (cosoco) R 12400 12403 6407 0 -1 4202496 3888 0 0 0 28229 0 0 0 20 0 1 0 410084769 28958720 1231 33554432000 4194304 6210612 140722644074864 140722644072824 5082459 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 24068096 140722644079627 140722644079729 140722644079729 140722644082638 0
/proc/12403/statm: 7070 1231 887 493 0 375 0
Current children cumulated CPU time: 282.29 s
Current children cumulated vsize: 28280 KiB
Current children cumulated memory: 4924 KiB

[startup+342.3 s]
/proc/loadavg: 2.01 2.06 2.07 3/199 12432
/proc/meminfo: memFree=29832968/32770688 swapFree=66961004/67108860
[pid=12403] ppid=12400 vsize=28280 memory=4924 CPUtime=342.29 cores=4-7
/proc/12403/stat : 12403 (cosoco) R 12400 12403 6407 0 -1 4202496 4135 0 0 0 34229 0 0 0 20 0 1 0 410084769 28958720 1231 33554432000 4194304 6210612 140722644074864 140722644072824 5149684 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 24068096 140722644079627 140722644079729 140722644079729 140722644082638 0
/proc/12403/statm: 7070 1231 887 493 0 375 0
Current children cumulated CPU time: 342.29 s
Current children cumulated vsize: 28280 KiB
Current children cumulated memory: 4924 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 2.05 2.06 3/199 12436
/proc/meminfo: memFree=29833000/32770688 swapFree=66961004/67108860
[pid=12403] ppid=12400 vsize=28280 memory=4924 CPUtime=402.29 cores=4-7
/proc/12403/stat : 12403 (cosoco) R 12400 12403 6407 0 -1 4202496 4382 0 0 0 40229 0 0 0 20 0 1 0 410084769 28958720 1231 33554432000 4194304 6210612 140722644074864 140722644072824 5074866 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 24068096 140722644079627 140722644079729 140722644079729 140722644082638 0
/proc/12403/statm: 7070 1231 887 493 0 375 0
Current children cumulated CPU time: 402.29 s
Current children cumulated vsize: 28280 KiB
Current children cumulated memory: 4924 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 2.04 2.06 3/201 12450
/proc/meminfo: memFree=29831012/32770688 swapFree=66961004/67108860
[pid=12403] ppid=12400 vsize=28280 memory=4924 CPUtime=462.29 cores=4-7
/proc/12403/stat : 12403 (cosoco) R 12400 12403 6407 0 -1 4202496 4629 0 0 0 46229 0 0 0 20 0 1 0 410084769 28958720 1231 33554432000 4194304 6210612 140722644074864 140722644072824 5078394 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 24068096 140722644079627 140722644079729 140722644079729 140722644082638 0
/proc/12403/statm: 7070 1231 887 493 0 375 0
Current children cumulated CPU time: 462.29 s
Current children cumulated vsize: 28280 KiB
Current children cumulated memory: 4924 KiB


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

/proc/12403/statm: 7070 1238 887 493 0 375 0
Current children cumulated CPU time: 1722.27 s
Current children cumulated vsize: 28280 KiB
Current children cumulated memory: 4952 KiB

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 12568
/proc/meminfo: memFree=29830820/32770688 swapFree=66961004/67108860
[pid=12403] ppid=12400 vsize=28280 memory=4952 CPUtime=1782.27 cores=4-7
/proc/12403/stat : 12403 (cosoco) R 12400 12403 6407 0 -1 4202496 9831 0 0 0 178227 0 0 0 20 0 1 0 410084769 28958720 1238 33554432000 4194304 6210612 140722644074864 140722644072824 5081003 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 24068096 140722644079627 140722644079729 140722644079729 140722644082638 0
/proc/12403/statm: 7070 1238 887 493 0 375 0
Current children cumulated CPU time: 1782.27 s
Current children cumulated vsize: 28280 KiB
Current children cumulated memory: 4952 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 12572
/proc/meminfo: memFree=29830656/32770688 swapFree=66961004/67108860
[pid=12403] ppid=12400 vsize=28280 memory=4952 CPUtime=1842.27 cores=4-7
/proc/12403/stat : 12403 (cosoco) R 12400 12403 6407 0 -1 4202496 10047 0 0 0 184227 0 0 0 20 0 1 0 410084769 28958720 1238 33554432000 4194304 6210612 140722644074864 140722644072824 5149332 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 24068096 140722644079627 140722644079729 140722644079729 140722644082638 0
/proc/12403/statm: 7070 1238 887 493 0 375 0
Current children cumulated CPU time: 1842.27 s
Current children cumulated vsize: 28280 KiB
Current children cumulated memory: 4952 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 12578
/proc/meminfo: memFree=29830404/32770688 swapFree=66961004/67108860
[pid=12403] ppid=12400 vsize=28280 memory=4952 CPUtime=1902.26 cores=4-7
/proc/12403/stat : 12403 (cosoco) R 12400 12403 6407 0 -1 4202496 10263 0 0 0 190226 0 0 0 20 0 1 0 410084769 28958720 1238 33554432000 4194304 6210612 140722644074864 140722644072824 5149321 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 24068096 140722644079627 140722644079729 140722644079729 140722644082638 0
/proc/12403/statm: 7070 1238 887 493 0 375 0
Current children cumulated CPU time: 1902.26 s
Current children cumulated vsize: 28280 KiB
Current children cumulated memory: 4952 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 12583
/proc/meminfo: memFree=29830808/32770688 swapFree=66961004/67108860
[pid=12403] ppid=12400 vsize=28280 memory=4952 CPUtime=1962.26 cores=4-7
/proc/12403/stat : 12403 (cosoco) R 12400 12403 6407 0 -1 4202496 10514 0 0 0 196226 0 0 0 20 0 1 0 410084769 28958720 1238 33554432000 4194304 6210612 140722644074864 140722644072824 5080973 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 24068096 140722644079627 140722644079729 140722644079729 140722644082638 0
/proc/12403/statm: 7070 1238 887 493 0 375 0
Current children cumulated CPU time: 1962.26 s
Current children cumulated vsize: 28280 KiB
Current children cumulated memory: 4952 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 12587
/proc/meminfo: memFree=29830820/32770688 swapFree=66961004/67108860
[pid=12403] ppid=12400 vsize=28280 memory=4952 CPUtime=2022.26 cores=4-7
/proc/12403/stat : 12403 (cosoco) R 12400 12403 6407 0 -1 4202496 10727 0 0 0 202226 0 0 0 20 0 1 0 410084769 28958720 1238 33554432000 4194304 6210612 140722644074864 140722644072824 5075547 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 24068096 140722644079627 140722644079729 140722644079729 140722644082638 0
/proc/12403/statm: 7070 1238 887 493 0 375 0
Current children cumulated CPU time: 2022.26 s
Current children cumulated vsize: 28280 KiB
Current children cumulated memory: 4952 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 12593
/proc/meminfo: memFree=29830988/32770688 swapFree=66961004/67108860
[pid=12403] ppid=12400 vsize=28280 memory=4952 CPUtime=2082.26 cores=4-7
/proc/12403/stat : 12403 (cosoco) R 12400 12403 6407 0 -1 4202496 10981 0 0 0 208226 0 0 0 20 0 1 0 410084769 28958720 1238 33554432000 4194304 6210612 140722644074864 140722644072824 5076037 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 24068096 140722644079627 140722644079729 140722644079729 140722644082638 0
/proc/12403/statm: 7070 1238 887 493 0 375 0
Current children cumulated CPU time: 2082.26 s
Current children cumulated vsize: 28280 KiB
Current children cumulated memory: 4952 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 12598
/proc/meminfo: memFree=29831008/32770688 swapFree=66961004/67108860
[pid=12403] ppid=12400 vsize=28280 memory=4952 CPUtime=2142.25 cores=4-7
/proc/12403/stat : 12403 (cosoco) R 12400 12403 6407 0 -1 4202496 11194 0 0 0 214225 0 0 0 20 0 1 0 410084769 28958720 1238 33554432000 4194304 6210612 140722644074864 140722644072824 5148849 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 24068096 140722644079627 140722644079729 140722644079729 140722644082638 0
/proc/12403/statm: 7070 1238 887 493 0 375 0
Current children cumulated CPU time: 2142.25 s
Current children cumulated vsize: 28280 KiB
Current children cumulated memory: 4952 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 12602
/proc/meminfo: memFree=29830844/32770688 swapFree=66961004/67108860
[pid=12403] ppid=12400 vsize=28280 memory=4952 CPUtime=2202.25 cores=4-7
/proc/12403/stat : 12403 (cosoco) R 12400 12403 6407 0 -1 4202496 11407 0 0 0 220225 0 0 0 20 0 1 0 410084769 28958720 1238 33554432000 4194304 6210612 140722644074864 140722644072824 5075326 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 24068096 140722644079627 140722644079729 140722644079729 140722644082638 0
/proc/12403/statm: 7070 1238 887 493 0 375 0
Current children cumulated CPU time: 2202.25 s
Current children cumulated vsize: 28280 KiB
Current children cumulated memory: 4952 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/201 12616
/proc/meminfo: memFree=29830484/32770688 swapFree=66961004/67108860
[pid=12403] ppid=12400 vsize=28280 memory=4952 CPUtime=2262.25 cores=4-7
/proc/12403/stat : 12403 (cosoco) R 12400 12403 6407 0 -1 4202496 11657 0 0 0 226225 0 0 0 20 0 1 0 410084769 28958720 1238 33554432000 4194304 6210612 140722644074864 140722644072824 5409706 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 24068096 140722644079627 140722644079729 140722644079729 140722644082638 0
/proc/12403/statm: 7070 1238 887 493 0 375 0
Current children cumulated CPU time: 2262.25 s
Current children cumulated vsize: 28280 KiB
Current children cumulated memory: 4952 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/201 12643
/proc/meminfo: memFree=29830288/32770688 swapFree=66961008/67108860
[pid=12403] ppid=12400 vsize=28280 memory=4952 CPUtime=2322.25 cores=4-7
/proc/12403/stat : 12403 (cosoco) R 12400 12403 6407 0 -1 4202496 11865 0 0 0 232225 0 0 0 20 0 1 0 410084769 28958720 1238 33554432000 4194304 6210612 140722644074864 140722644072824 5149309 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 24068096 140722644079627 140722644079729 140722644079729 140722644082638 0
/proc/12403/statm: 7070 1238 887 493 0 375 0
Current children cumulated CPU time: 2322.25 s
Current children cumulated vsize: 28280 KiB
Current children cumulated memory: 4952 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/201 12647
/proc/meminfo: memFree=29830168/32770688 swapFree=66961008/67108860
[pid=12403] ppid=12400 vsize=28280 memory=4952 CPUtime=2382.24 cores=4-7
/proc/12403/stat : 12403 (cosoco) R 12400 12403 6407 0 -1 4202496 12073 0 0 0 238224 0 0 0 20 0 1 0 410084769 28958720 1238 33554432000 4194304 6210612 140722644074864 140722644072824 5074045 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 24068096 140722644079627 140722644079729 140722644079729 140722644082638 0
/proc/12403/statm: 7070 1238 887 493 0 375 0
Current children cumulated CPU time: 2382.24 s
Current children cumulated vsize: 28280 KiB
Current children cumulated memory: 4952 KiB

[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/202 12653
/proc/meminfo: memFree=29830240/32770688 swapFree=66961008/67108860
[pid=12403] ppid=12400 vsize=28280 memory=4952 CPUtime=2442.24 cores=4-7
/proc/12403/stat : 12403 (cosoco) R 12400 12403 6407 0 -1 4202496 12281 0 0 0 244224 0 0 0 20 0 1 0 410084769 28958720 1238 33554432000 4194304 6210612 140722644074864 140722644072824 5078678 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 24068096 140722644079627 140722644079729 140722644079729 140722644082638 0
/proc/12403/statm: 7070 1238 887 493 0 375 0
Current children cumulated CPU time: 2442.24 s
Current children cumulated vsize: 28280 KiB
Current children cumulated memory: 4952 KiB

[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/201 12657
/proc/meminfo: memFree=29830096/32770688 swapFree=66961008/67108860
[pid=12403] ppid=12400 vsize=28280 memory=4952 CPUtime=2502.24 cores=4-7
/proc/12403/stat : 12403 (cosoco) R 12400 12403 6407 0 -1 4202496 12493 0 0 0 250224 0 0 0 20 0 1 0 410084769 28958720 1238 33554432000 4194304 6210612 140722644074864 140722644072824 5075503 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 24068096 140722644079627 140722644079729 140722644079729 140722644082638 0
/proc/12403/statm: 7070 1238 887 493 0 375 0
Current children cumulated CPU time: 2502.24 s
Current children cumulated vsize: 28280 KiB
Current children cumulated memory: 4952 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 2.00 2.01 2.05 3/200 12719
/proc/meminfo: memFree=29830676/32770688 swapFree=66961008/67108860
[pid=12403] ppid=12400 vsize=28280 memory=4952 CPUtime=2519.95 cores=4-7
/proc/12403/stat : 12403 (cosoco) R 12400 12403 6407 0 -1 4202496 12704 0 0 0 251995 0 0 0 20 0 1 0 410084769 28958720 1238 33554432000 4194304 6210612 140722644074864 140722644072824 5206688 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 24068096 140722644079627 140722644079729 140722644079729 140722644082638 0
/proc/12403/statm: 7070 1238 887 493 0 375 0
Current children cumulated CPU time: 2519.95 s
Current children cumulated vsize: 28280 KiB
Current children cumulated memory: 4952 KiB

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

[startup+2520.01 s]
# the end of solver process 12403 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2519.95 s, system=0.002999 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): 2519.96
CPU user time (s): 2519.95
CPU system time (s): 0.002999
CPU usage (%): 99.9978
Max. virtual memory (cumulated for all children) (KiB): 28280
Max. memory (cumulated for all children) (KiB): 4952

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.95
system time used= 0.002999
maximum resident set size= 5020
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12757
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= 6
involuntary context switches= 1939


# summary of solver processes directly reported to runsolver:
#   pid: 12403
#   total CPU time (s): 2519.96
#   total CPU user time (s): 2519.95
#   total CPU system time (s): 0.002999

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.84155 second user time and 18.4732 second system time

The end

Launcher Data 

Begin job on node116 at 2019-09-13 04:23:10
IDJOB=4389633
IDBENCH=133638
IDSOLVER=2829
FILE ID=node116/4389633-1568341431
RUNJOBID= node116-1568311136-6439
PBS_JOBID= 21701125
Free space on /tmp= 56884 MiB

SOLVER NAME= cosoco 2
BENCH NAME= XCSP17/MagicHexagon/MagicHexagon-m1-s1/MagicHexagon-09-m057.xml
COMMAND LINE= cosoco -lc -model -restarts -stick BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4389633-1568341431/watcher-4389633-1568341431 -o /tmp/evaluation-result-4389633-1568341431/solver-4389633-1568341431 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node116-1568311136-6439 --watchdog 2580  cosoco -lc -model -restarts -stick HOME/instance-4389633-1568341431.xml

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

MD5SUM BENCH= e3fb36821a1c53c1942e51a6fdfce406
RANDOM SEED=109579669

node116.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2667.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.12
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2667.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.12
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2667.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.12
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2667.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.12
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2667.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2667.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2667.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2667.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770688 kB
MemFree:        29837396 kB
MemAvailable:   31849008 kB
Buffers:          106368 kB
Cached:          2182164 kB
SwapCached:        46676 kB
Active:           824928 kB
Inactive:        1515096 kB
Active(anon):       3480 kB
Inactive(anon):    88548 kB
Active(file):     821448 kB
Inactive(file):  1426548 kB
Unevictable:      110248 kB
Mlocked:          110248 kB
SwapTotal:      67108860 kB
SwapFree:       66961004 kB
Dirty:              2856 kB
Writeback:             0 kB
AnonPages:        116024 kB
Mapped:            44624 kB
Shmem:             31908 kB
Slab:             187684 kB
SReclaimable:     158900 kB
SUnreclaim:        28784 kB
KernelStack:        3568 kB
PageTables:         5752 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494204 kB
Committed_AS:     528048 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350212 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     69632 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      116160 kB
DirectMap2M:    33429504 kB

Free space on /tmp at the end= 56880 MiB
End job on node116 at 2019-09-13 05:05:10