Trace number 4396913

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.0? (TO) 2519.95 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-4396913-1568585718.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.00/0.10	c 211            296            5994           69347          6              0              8   27   16    
0.10/0.15	c 332            470            9409           104817         6              0              11   27   25   
0.10/0.20	c 465            656            13244          140197         6              0              12   25   22   
0.21/0.26	c 611            863            17372          190222         6              0              10   25   21   
0.31/0.35	c 771            1134           23800          245229         6              0              11   62   35   
0.41/0.42	c 947            1416           29768          298717         6              0              9   64   57    
0.41/0.48	c 1140           1715           34971          360242         6              0              18   63   55   
0.51/0.57	c 1352           2046           41609          448890         6              0              11   69   55   
0.60/0.66	c 1585           2418           48504          533338         6              0              15   75   51   
0.69/0.77	c 1841           2808           56185          677269         6              0              16   66   32   
0.79/0.85	c 2122           3178           61055          842396         6              0              30   41   39   
0.89/0.97	c 2431           3602           68026          942773         6              0              5   31   20    
1.10/1.12	c 2770           4086           76466          1067139        6              0              9   31   19    
1.19/1.27	c 3142           4616           85319          1192724        6              0              11   44   27   
1.39/1.40	c 3551           5179           94463          1299681        6              0              12   55   50   
1.49/1.52	c 4000           5792           103622         1444449        6              0              12   68   52   
1.69/1.71	c 4493           6487           116214         1605202        6              0              4   60   36    
1.89/1.90	c 5035           7234           128557         1844556        6              0              7   73   52    
2.00/2.08	c 5631           8040           140864         2024608        6              0              10   75   53   
2.19/2.26	c 6286           8947           154643         2237162        6              0              11   94   59   
2.39/2.43	c 7006           9963           170715         2434904        6              0              18   117   83  
2.59/2.65	c 7798           11118          190611         2653162        6              0              18   136   94  
2.89/2.92	c 8669           12415          224090         2988051        6              0              14   152   118 
3.19/3.26	c 9627           13729          243489         3490435        6              0              13   102   74  
3.49/3.56	c 10680          15248          271650         3879501        6              0              20   141   95  
3.89/3.91	c 11838          17022          304547         4261250        6              0              19   151   107 
4.49/4.54	c 13111          18842          381390         5327960        6              0              27   151   137 
5.10/5.11	c 14511          20519          454337         6536288        6              0              28   149   132 
5.49/5.56	c 16051          22631          495815         7165386        6              0              20   136   94  
6.19/6.28	c 17745          24728          597409         8061505        6              0              34   145   126 
7.19/7.28	c 19608          27067          732083         9917490        6              0              28   138   128 
9.00/9.05	c 21657          30291          951962         12495942       6              0              32   146   129 
10.89/10.95	c 23910          34113          1186895        14885962       6              0              19   157   142 
11.59/11.65	c 26388          37342          1263592        16007810       6              0              28   149   142 
13.10/13.13	c 29113          40634          1438430        18273119       6              0              26   139   134 
14.69/14.72	c 32110          46768          1611770        20111789       6              0              36   171   164 
16.79/16.88	c 35406          53235          1836898        23461354       6              0              26   143   139 
18.49/18.57	c 39031          58842          2009992        25086976       6              0              7   133   130  
20.00/20.01	c 43018          64042          2170019        27906869       6              0              8   170   165  
23.39/23.42	c 47403          69137          2561826        37567709       6              0              14   151   147 
28.49/28.55	c 52226          77504          3169654        44805068       6              0              8   143   140  
31.10/31.14	c 57531          84549          3469748        49317013       6              0              6   153   149  
35.49/35.54	c 63366          93189          3935145        56443035       6              0              9   167   165  
38.79/38.82	c 69784          103575         4244735        61863582       6              0              16   150   142 
42.79/42.86	c 76843          116478         4687840        67448838       6              0              20   169   156 
47.19/47.24	c 84607          127898         5113337        75346774       6              0              29   155   149 
51.79/51.88	c 93147          137990         5636101        83781750       6              0              38   163   160 
57.39/57.45	c 102541         151995         6277620        92103638       6              0              27   173   166 
60.69/60.73	c 112874         168550         6595739        97849581       6              0              33   159   153 
64.69/64.73	c 124240         183503         7045267        102501613      6              0              11   162   157 
70.00/70.04	c 136742         204969         7651404        113730546      6              0              15   144   141 
78.59/78.65	c 150494         221551         8670508        127565917      6              0              17   153   150 
83.89/84.00	c 165621         241512         9249096        136920676      6              0              10   171   163 
97.59/97.67	c 182260         264034         10683432       163989983      6              0              11   163   158 
101.89/101.99	c 200562         289817         11078668       170889437      6              0              5   155   151  
114.19/114.27	c 220694         333254         12182267       188594282      6              0              18   147   146 
123.89/123.93	c 242839         370879         12875499       203163392      6              0              21   150   145 
139.69/139.75	c 267198         404652         14364972       229993196      6              0              32   155   151 
148.49/148.51	c 293992         447806         15163461       242107730      6              0              34   163   160 
168.39/168.49	c 323465         510273         16574391       270189386      6              0              28   123   122 
198.29/198.36	c 355885         561588         19633091       306997206      6              0              11   176   170 
227.88/227.93	c 391547         604716         22797828       364626133      6              0              17   167   162 
249.99/250.07	c 430775         651004         25285092       422481450      6              0              16   167   163 
274.68/274.77	c 473925         724787         27846396       477506435      6              0              15   159   155 
301.58/301.68	c 521390         805609         30769592       520811714      6              0              33   164   159 
333.38/333.40	c 573601         871963         33764309       590893268      6              0              23   173   168 
343.58/343.62	c 631033         945569         34736877       610888913      6              0              33   155   151 
366.58/366.63	c 694208         1036661        37020487       648522900      6              0              28   158   153 
391.18/391.23	c 763700         1127647        39694465       687797384      6              0              26   162   158 
416.18/416.27	c 840141         1219971        41953650       746526157      6              0              27   155   151 
460.68/460.78	c 924226         1325973        47329196       831068405      6              0              29   155   151 
551.38/551.46	c 1016719        1480689        56473534       1019616271     6              0              33   163   158 
608.57/608.64	c 1118461        1602091        61732423       1168353106     6              0              11   147   141 
693.27/693.33	c 1230377        1720713        70688327       1410573199     6              0              25   133   132 
749.27/749.31	c 1353484        1941114        77069348       1474349371     6              0              13   190   180 
816.77/816.82	c 1488901        2158250        83431692       1609264083     6              0              23   158   152 
852.17/852.26	c 1637859        2351983        86916245       1674384924     6              0              24   167   158 
911.87/911.96	c 1801712        2567644        92921751       1764712365     6              0              27   161   157 
1006.87/1006.92	c 1981950        2801543        103423090      1939328408     6              0              26   156   151 
1102.66/1102.76	c 2180211        3036979        113911089      2145785664     6              0              34   159   157 
1240.97/1241.06	c 2398298        3332386        128377159      2455448323     6              0              40   160   149 
1389.46/1389.57	c 2638193        3769191        143957955      2693378305     6              0              47   164   160 
1534.06/1534.17	c 2902077        4078028        159732721      3001441211     6              0              20   153   150 
1653.65/1653.79	c 3192349        4432866        171924128      3246974979     6              0              17   160   156 
1771.25/1771.38	c 3511648        4870681        184507946      3400201277     6              0              29   171   161 
1917.84/1917.98	c 3862876        5354781        199577629      3653251583     6              0              40   172   167 
2242.04/2242.15	c 4249226        5957749        230115957      4517353779     6              0              28   174   168 
2458.23/2458.36	c 4674211        6616045        247754857      4957833910     6              0              34   145   141 
2519.94/2520.00	
2519.94/2520.00	c *** INTERRUPTED ***
2519.94/2520.00	c restarts              : 89          
2519.94/2520.00	c conflicts             : 4770863      (1893 /sec)
2519.94/2520.00	c decisions             : 6778094      (2690 /sec)
2519.94/2520.00	c propagations          : 5084891708  (2017861 /sec)
2519.94/2520.00	c root propagations     : 9           
2519.94/2520.00	c filter calls          : 253055669      (100421 /sec)
2519.94/2520.00	c useless filter calls  : 161454672      (63 %)
2519.94/2520.00	c Memory used           : 27.62 MB
2519.94/2520.00	c CPU time              : 2519.94 s
2519.94/2520.00	c real time             : 2520 s
2519.94/2520.00	
2519.94/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 (10486 MiB free)
  memory of node 1: 16384 MiB (13365 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4396913-1568585718/watcher-4396913-1568585718 -o /tmp/evaluation-result-4396913-1568585718/solver-4396913-1568585718 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node140-1568572743-2767 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4396913-1568585718.xml 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=5237, runsolver pid=5234

[startup+0.100195 s]*
/proc/loadavg: 2.15 2.09 2.06 3/200 5238
/proc/meminfo: memFree=24424412/32770624 swapFree=66999428/67108860
[pid=5237] ppid=5234 vsize=28012 memory=4696 CPUtime=0.1 cores=0,2,4,6
/proc/5237/stat : 5237 (cosoco) R 5234 5237 2736 0 -1 4202496 1352 0 0 0 10 0 0 0 20 0 1 0 434510252 28684288 1174 33554432000 4194304 6211092 140725980793152 140725980789688 5149648 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 19165184 140725980800011 140725980800113 140725980800113 140725980803022 0
/proc/5237/statm: 7003 1174 889 493 0 308 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 28012 KiB
Current children cumulated memory: 4696 KiB

[startup+0.209647 s]*
/proc/loadavg: 2.15 2.09 2.06 3/200 5238
/proc/meminfo: memFree=24424412/32770624 swapFree=66999428/67108860
[pid=5237] ppid=5234 vsize=28012 memory=4696 CPUtime=0.21 cores=0,2,4,6
/proc/5237/stat : 5237 (cosoco) R 5234 5237 2736 0 -1 4202496 1352 0 0 0 21 0 0 0 20 0 1 0 434510252 28684288 1174 33554432000 4194304 6211092 140725980793152 140725980789688 5193696 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 19165184 140725980800011 140725980800113 140725980800113 140725980803022 0
/proc/5237/statm: 7003 1174 889 493 0 308 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 28012 KiB
Current children cumulated memory: 4696 KiB

[startup+0.309239 s]*
/proc/loadavg: 2.15 2.09 2.06 3/200 5238
/proc/meminfo: memFree=24424412/32770624 swapFree=66999428/67108860
[pid=5237] ppid=5234 vsize=28012 memory=4696 CPUtime=0.31 cores=0,2,4,6
/proc/5237/stat : 5237 (cosoco) R 5234 5237 2736 0 -1 4202496 1352 0 0 0 31 0 0 0 20 0 1 0 434510252 28684288 1174 33554432000 4194304 6211092 140725980793152 140725980789688 5083013 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 19165184 140725980800011 140725980800113 140725980800113 140725980803022 0
/proc/5237/statm: 7003 1174 889 493 0 308 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 28012 KiB
Current children cumulated memory: 4696 KiB

[startup+0.700335 s]
/proc/loadavg: 2.15 2.09 2.06 3/200 5238
/proc/meminfo: memFree=24424412/32770624 swapFree=66999428/67108860
[pid=5237] ppid=5234 vsize=28148 memory=4768 CPUtime=0.69 cores=0,2,4,6
/proc/5237/stat : 5237 (cosoco) R 5234 5237 2736 0 -1 4202496 1379 0 0 0 69 0 0 0 20 0 1 0 434510252 28823552 1192 33554432000 4194304 6211092 140725980793152 140725980789688 5193728 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 19165184 140725980800011 140725980800113 140725980800113 140725980803022 0
/proc/5237/statm: 7037 1192 892 493 0 342 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 28148 KiB
Current children cumulated memory: 4768 KiB

[startup+1.50035 s]
/proc/loadavg: 2.15 2.09 2.06 3/200 5238
/proc/meminfo: memFree=24424412/32770624 swapFree=66999428/67108860
[pid=5237] ppid=5234 vsize=28148 memory=4768 CPUtime=1.49 cores=0,2,4,6
/proc/5237/stat : 5237 (cosoco) R 5234 5237 2736 0 -1 4202496 1379 0 0 0 149 0 0 0 20 0 1 0 434510252 28823552 1192 33554432000 4194304 6211092 140725980793152 140725980791112 5075601 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 19165184 140725980800011 140725980800113 140725980800113 140725980803022 0
/proc/5237/statm: 7037 1192 892 493 0 342 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 28148 KiB
Current children cumulated memory: 4768 KiB

[startup+3.10952 s]
/proc/loadavg: 2.14 2.09 2.06 3/200 5238
/proc/meminfo: memFree=24423436/32770624 swapFree=66999428/67108860
[pid=5237] ppid=5234 vsize=28148 memory=4868 CPUtime=3.1 cores=0,2,4,6
/proc/5237/stat : 5237 (cosoco) R 5234 5237 2736 0 -1 4202496 1626 0 0 0 310 0 0 0 20 0 1 0 434510252 28823552 1217 33554432000 4194304 6211092 140725980793152 140725980791112 5149682 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 19165184 140725980800011 140725980800113 140725980800113 140725980803022 0
/proc/5237/statm: 7037 1217 892 493 0 342 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 28148 KiB
Current children cumulated memory: 4868 KiB

[startup+6.30034 s]
/proc/loadavg: 2.14 2.09 2.06 3/200 5238
/proc/meminfo: memFree=24423660/32770624 swapFree=66999428/67108860
[pid=5237] ppid=5234 vsize=28280 memory=4904 CPUtime=6.29 cores=0,2,4,6
/proc/5237/stat : 5237 (cosoco) R 5234 5237 2736 0 -1 4202496 1883 0 0 0 629 0 0 0 20 0 1 0 434510252 28958720 1226 33554432000 4194304 6211092 140725980793152 140725980791112 5186560 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 19165184 140725980800011 140725980800113 140725980800113 140725980803022 0
/proc/5237/statm: 7070 1226 892 493 0 375 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 28280 KiB
Current children cumulated memory: 4904 KiB

[startup+12.7003 s]
/proc/loadavg: 2.12 2.09 2.06 3/200 5238
/proc/meminfo: memFree=24423972/32770624 swapFree=66999428/67108860
[pid=5237] ppid=5234 vsize=28280 memory=4912 CPUtime=12.69 cores=0,2,4,6
/proc/5237/stat : 5237 (cosoco) R 5234 5237 2736 0 -1 4202496 2137 0 0 0 1269 0 0 0 20 0 1 0 434510252 28958720 1228 33554432000 4194304 6211092 140725980793152 140725980791112 5149689 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 19165184 140725980800011 140725980800113 140725980800113 140725980803022 0
/proc/5237/statm: 7070 1228 892 493 0 375 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 28280 KiB
Current children cumulated memory: 4912 KiB

[startup+25.5004 s]
/proc/loadavg: 2.10 2.08 2.06 3/199 5238
/proc/meminfo: memFree=24424632/32770624 swapFree=66999428/67108860
[pid=5237] ppid=5234 vsize=28280 memory=4932 CPUtime=25.49 cores=0,2,4,6
/proc/5237/stat : 5237 (cosoco) R 5234 5237 2736 0 -1 4202496 2646 0 0 0 2549 0 0 0 20 0 1 0 434510252 28958720 1233 33554432000 4194304 6211092 140725980793152 140725980791112 5079264 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 19165184 140725980800011 140725980800113 140725980800113 140725980803022 0
/proc/5237/statm: 7070 1233 892 493 0 375 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 28280 KiB
Current children cumulated memory: 4932 KiB

[startup+51.1092 s]
/proc/loadavg: 2.06 2.08 2.06 3/199 5241
/proc/meminfo: memFree=24424352/32770624 swapFree=66999428/67108860
[pid=5237] ppid=5234 vsize=28280 memory=4936 CPUtime=51.1 cores=0,2,4,6
/proc/5237/stat : 5237 (cosoco) R 5234 5237 2736 0 -1 4202496 2902 0 0 0 5110 0 0 0 20 0 1 0 434510252 28958720 1234 33554432000 4194304 6211092 140725980793152 140725980791112 5074383 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 19165184 140725980800011 140725980800113 140725980800113 140725980803022 0
/proc/5237/statm: 7070 1234 892 493 0 375 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 28280 KiB
Current children cumulated memory: 4936 KiB

[startup+102.3 s]
/proc/loadavg: 2.03 2.06 2.05 3/199 5305
/proc/meminfo: memFree=24422528/32770624 swapFree=66999428/67108860
[pid=5237] ppid=5234 vsize=28280 memory=4940 CPUtime=102.29 cores=0,2,4,6
/proc/5237/stat : 5237 (cosoco) R 5234 5237 2736 0 -1 4202496 3153 0 0 0 10229 0 0 0 20 0 1 0 434510252 28958720 1235 33554432000 4194304 6211092 140725980793152 140725980791112 5193696 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 19165184 140725980800011 140725980800113 140725980800113 140725980803022 0
/proc/5237/statm: 7070 1235 892 493 0 375 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 28280 KiB
Current children cumulated memory: 4940 KiB

[startup+162.3 s]
/proc/loadavg: 2.01 2.05 2.05 3/200 5310
/proc/meminfo: memFree=24421956/32770624 swapFree=66999428/67108860
[pid=5237] ppid=5234 vsize=28280 memory=4940 CPUtime=162.29 cores=0,2,4,6
/proc/5237/stat : 5237 (cosoco) R 5234 5237 2736 0 -1 4202496 3404 0 0 0 16229 0 0 0 20 0 1 0 434510252 28958720 1235 33554432000 4194304 6211092 140725980793152 140725980791112 5082762 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 19165184 140725980800011 140725980800113 140725980800113 140725980803022 0
/proc/5237/statm: 7070 1235 892 493 0 375 0
Current children cumulated CPU time: 162.29 s
Current children cumulated vsize: 28280 KiB
Current children cumulated memory: 4940 KiB

[startup+222.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/202 5317
/proc/meminfo: memFree=24420948/32770624 swapFree=66999428/67108860
[pid=5237] ppid=5234 vsize=28280 memory=4940 CPUtime=222.28 cores=0,2,4,6
/proc/5237/stat : 5237 (cosoco) R 5234 5237 2736 0 -1 4202496 3653 0 0 0 22228 0 0 0 20 0 1 0 434510252 28958720 1235 33554432000 4194304 6211092 140725980793152 140725980791112 5151030 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 19165184 140725980800011 140725980800113 140725980800113 140725980803022 0
/proc/5237/statm: 7070 1235 892 493 0 375 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 28280 KiB
Current children cumulated memory: 4940 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/201 5321
/proc/meminfo: memFree=24420512/32770624 swapFree=66999428/67108860
[pid=5237] ppid=5234 vsize=28280 memory=4940 CPUtime=282.28 cores=0,2,4,6
/proc/5237/stat : 5237 (cosoco) R 5234 5237 2736 0 -1 4202496 3904 0 0 0 28228 0 0 0 20 0 1 0 434510252 28958720 1235 33554432000 4194304 6211092 140725980793152 140725980791112 5081700 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 19165184 140725980800011 140725980800113 140725980800113 140725980803022 0
/proc/5237/statm: 7070 1235 892 493 0 375 0
Current children cumulated CPU time: 282.28 s
Current children cumulated vsize: 28280 KiB
Current children cumulated memory: 4940 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/201 5332
/proc/meminfo: memFree=24420584/32770624 swapFree=66999428/67108860
[pid=5237] ppid=5234 vsize=28280 memory=4940 CPUtime=342.28 cores=0,2,4,6
/proc/5237/stat : 5237 (cosoco) R 5234 5237 2736 0 -1 4202496 4152 0 0 0 34228 0 0 0 20 0 1 0 434510252 28958720 1235 33554432000 4194304 6211092 140725980793152 140725980791112 5193728 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 19165184 140725980800011 140725980800113 140725980800113 140725980803022 0
/proc/5237/statm: 7070 1235 892 493 0 375 0
Current children cumulated CPU time: 342.28 s
Current children cumulated vsize: 28280 KiB
Current children cumulated memory: 4940 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/202 5338
/proc/meminfo: memFree=24420544/32770624 swapFree=66999428/67108860
[pid=5237] ppid=5234 vsize=28280 memory=4940 CPUtime=402.28 cores=0,2,4,6
/proc/5237/stat : 5237 (cosoco) R 5234 5237 2736 0 -1 4202496 4400 0 0 0 40228 0 0 0 20 0 1 0 434510252 28958720 1235 33554432000 4194304 6211092 140725980793152 140725980791112 5193696 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 19165184 140725980800011 140725980800113 140725980800113 140725980803022 0
/proc/5237/statm: 7070 1235 892 493 0 375 0
Current children cumulated CPU time: 402.28 s
Current children cumulated vsize: 28280 KiB
Current children cumulated memory: 4940 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/200 5343
/proc/meminfo: memFree=24421064/32770624 swapFree=66999428/67108860
[pid=5237] ppid=5234 vsize=28280 memory=4940 CPUtime=462.28 cores=0,2,4,6
/proc/5237/stat : 5237 (cosoco) R 5234 5237 2736 0 -1 4202496 4649 0 0 0 46228 0 0 0 20 0 1 0 434510252 28958720 1235 33554432000 4194304 6211092 140725980793152 140725980791112 5079440 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 19165184 140725980800011 140725980800113 140725980800113 140725980803022 0
/proc/5237/statm: 7070 1235 892 493 0 375 0
Current children cumulated CPU time: 462.28 s
Current children cumulated vsize: 28280 KiB
Current children cumulated memory: 4940 KiB


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

/proc/5237/statm: 7070 1242 892 493 0 375 0
Current children cumulated CPU time: 1722.25 s
Current children cumulated vsize: 28280 KiB
Current children cumulated memory: 4968 KiB

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 5463
/proc/meminfo: memFree=24420696/32770624 swapFree=66999428/67108860
[pid=5237] ppid=5234 vsize=28280 memory=4968 CPUtime=1782.25 cores=0,2,4,6
/proc/5237/stat : 5237 (cosoco) R 5234 5237 2736 0 -1 4202496 9916 0 0 0 178225 0 0 0 20 0 1 0 434510252 28958720 1242 33554432000 4194304 6211092 140725980793152 140725980791112 5075269 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 19165184 140725980800011 140725980800113 140725980800113 140725980803022 0
/proc/5237/statm: 7070 1242 892 493 0 375 0
Current children cumulated CPU time: 1782.25 s
Current children cumulated vsize: 28280 KiB
Current children cumulated memory: 4968 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 5469
/proc/meminfo: memFree=24420368/32770624 swapFree=66999428/67108860
[pid=5237] ppid=5234 vsize=28280 memory=4968 CPUtime=1842.25 cores=0,2,4,6
/proc/5237/stat : 5237 (cosoco) R 5234 5237 2736 0 -1 4202496 10130 0 0 0 184225 0 0 0 20 0 1 0 434510252 28958720 1242 33554432000 4194304 6211092 140725980793152 140725980791112 5082427 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 19165184 140725980800011 140725980800113 140725980800113 140725980803022 0
/proc/5237/statm: 7070 1242 892 493 0 375 0
Current children cumulated CPU time: 1842.25 s
Current children cumulated vsize: 28280 KiB
Current children cumulated memory: 4968 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 5473
/proc/meminfo: memFree=24420296/32770624 swapFree=66999428/67108860
[pid=5237] ppid=5234 vsize=28280 memory=4968 CPUtime=1902.24 cores=0,2,4,6
/proc/5237/stat : 5237 (cosoco) R 5234 5237 2736 0 -1 4202496 10343 0 0 0 190224 0 0 0 20 0 1 0 434510252 28958720 1242 33554432000 4194304 6211092 140725980793152 140725980791112 5082495 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 19165184 140725980800011 140725980800113 140725980800113 140725980803022 0
/proc/5237/statm: 7070 1242 892 493 0 375 0
Current children cumulated CPU time: 1902.24 s
Current children cumulated vsize: 28280 KiB
Current children cumulated memory: 4968 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 5477
/proc/meminfo: memFree=24420600/32770624 swapFree=66999428/67108860
[pid=5237] ppid=5234 vsize=28280 memory=4968 CPUtime=1962.24 cores=0,2,4,6
/proc/5237/stat : 5237 (cosoco) R 5234 5237 2736 0 -1 4202496 10598 0 0 0 196224 0 0 0 20 0 1 0 434510252 28958720 1242 33554432000 4194304 6211092 140725980793152 140725980791112 5149700 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 19165184 140725980800011 140725980800113 140725980800113 140725980803022 0
/proc/5237/statm: 7070 1242 892 493 0 375 0
Current children cumulated CPU time: 1962.24 s
Current children cumulated vsize: 28280 KiB
Current children cumulated memory: 4968 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 5483
/proc/meminfo: memFree=24420440/32770624 swapFree=66999428/67108860
[pid=5237] ppid=5234 vsize=28280 memory=4968 CPUtime=2022.24 cores=0,2,4,6
/proc/5237/stat : 5237 (cosoco) R 5234 5237 2736 0 -1 4202496 10807 0 0 0 202224 0 0 0 20 0 1 0 434510252 28958720 1242 33554432000 4194304 6211092 140725980793152 140725980791112 5081771 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 19165184 140725980800011 140725980800113 140725980800113 140725980803022 0
/proc/5237/statm: 7070 1242 892 493 0 375 0
Current children cumulated CPU time: 2022.24 s
Current children cumulated vsize: 28280 KiB
Current children cumulated memory: 4968 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 5487
/proc/meminfo: memFree=24420264/32770624 swapFree=66999428/67108860
[pid=5237] ppid=5234 vsize=28280 memory=4968 CPUtime=2082.24 cores=0,2,4,6
/proc/5237/stat : 5237 (cosoco) R 5234 5237 2736 0 -1 4202496 11016 0 0 0 208224 0 0 0 20 0 1 0 434510252 28958720 1242 33554432000 4194304 6211092 140725980793152 140725980791112 5149700 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 19165184 140725980800011 140725980800113 140725980800113 140725980803022 0
/proc/5237/statm: 7070 1242 892 493 0 375 0
Current children cumulated CPU time: 2082.24 s
Current children cumulated vsize: 28280 KiB
Current children cumulated memory: 4968 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 5498
/proc/meminfo: memFree=24420144/32770624 swapFree=66999428/67108860
[pid=5237] ppid=5234 vsize=28280 memory=4968 CPUtime=2142.24 cores=0,2,4,6
/proc/5237/stat : 5237 (cosoco) R 5234 5237 2736 0 -1 4202496 11228 0 0 0 214224 0 0 0 20 0 1 0 434510252 28958720 1242 33554432000 4194304 6211092 140725980793152 140725980791112 5078762 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 19165184 140725980800011 140725980800113 140725980800113 140725980803022 0
/proc/5237/statm: 7070 1242 892 493 0 375 0
Current children cumulated CPU time: 2142.24 s
Current children cumulated vsize: 28280 KiB
Current children cumulated memory: 4968 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 5504
/proc/meminfo: memFree=24420204/32770624 swapFree=66999428/67108860
[pid=5237] ppid=5234 vsize=28280 memory=4968 CPUtime=2202.24 cores=0,2,4,6
/proc/5237/stat : 5237 (cosoco) R 5234 5237 2736 0 -1 4202496 11440 0 0 0 220224 0 0 0 20 0 1 0 434510252 28958720 1242 33554432000 4194304 6211092 140725980793152 140725980791112 5193728 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 19165184 140725980800011 140725980800113 140725980800113 140725980803022 0
/proc/5237/statm: 7070 1242 892 493 0 375 0
Current children cumulated CPU time: 2202.24 s
Current children cumulated vsize: 28280 KiB
Current children cumulated memory: 4968 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 5508
/proc/meminfo: memFree=24420100/32770624 swapFree=66999428/67108860
[pid=5237] ppid=5234 vsize=28280 memory=4968 CPUtime=2262.23 cores=0,2,4,6
/proc/5237/stat : 5237 (cosoco) R 5234 5237 2736 0 -1 4202496 11692 0 0 0 226223 0 0 0 20 0 1 0 434510252 28958720 1242 33554432000 4194304 6211092 140725980793152 140725980791112 5075263 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 19165184 140725980800011 140725980800113 140725980800113 140725980803022 0
/proc/5237/statm: 7070 1242 892 493 0 375 0
Current children cumulated CPU time: 2262.23 s
Current children cumulated vsize: 28280 KiB
Current children cumulated memory: 4968 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 5512
/proc/meminfo: memFree=24420384/32770624 swapFree=66999428/67108860
[pid=5237] ppid=5234 vsize=28280 memory=4968 CPUtime=2322.23 cores=0,2,4,6
/proc/5237/stat : 5237 (cosoco) R 5234 5237 2736 0 -1 4202496 11918 0 0 0 232223 0 0 0 20 0 1 0 434510252 28958720 1242 33554432000 4194304 6211092 140725980793152 140725980791112 5081965 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 19165184 140725980800011 140725980800113 140725980800113 140725980803022 0
/proc/5237/statm: 7070 1242 892 493 0 375 0
Current children cumulated CPU time: 2322.23 s
Current children cumulated vsize: 28280 KiB
Current children cumulated memory: 4968 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 5518
/proc/meminfo: memFree=24419708/32770624 swapFree=66999428/67108860
[pid=5237] ppid=5234 vsize=28280 memory=4968 CPUtime=2382.23 cores=0,2,4,6
/proc/5237/stat : 5237 (cosoco) R 5234 5237 2736 0 -1 4202496 12142 0 0 0 238223 0 0 0 20 0 1 0 434510252 28958720 1242 33554432000 4194304 6211092 140725980793152 140725980791112 5082405 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 19165184 140725980800011 140725980800113 140725980800113 140725980803022 0
/proc/5237/statm: 7070 1242 892 493 0 375 0
Current children cumulated CPU time: 2382.23 s
Current children cumulated vsize: 28280 KiB
Current children cumulated memory: 4968 KiB

[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/198 5523
/proc/meminfo: memFree=24421036/32770624 swapFree=66999428/67108860
[pid=5237] ppid=5234 vsize=28280 memory=4968 CPUtime=2442.23 cores=0,2,4,6
/proc/5237/stat : 5237 (cosoco) R 5234 5237 2736 0 -1 4202496 12366 0 0 0 244223 0 0 0 20 0 1 0 434510252 28958720 1242 33554432000 4194304 6211092 140725980793152 140725980791112 5186224 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 19165184 140725980800011 140725980800113 140725980800113 140725980803022 0
/proc/5237/statm: 7070 1242 892 493 0 375 0
Current children cumulated CPU time: 2442.23 s
Current children cumulated vsize: 28280 KiB
Current children cumulated memory: 4968 KiB

[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 5528
/proc/meminfo: memFree=24419876/32770624 swapFree=66999428/67108860
[pid=5237] ppid=5234 vsize=28280 memory=4968 CPUtime=2502.23 cores=0,2,4,6
/proc/5237/stat : 5237 (cosoco) R 5234 5237 2736 0 -1 4202496 12618 0 0 0 250223 0 0 0 20 0 1 0 434510252 28958720 1242 33554432000 4194304 6211092 140725980793152 140725980791112 5082818 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 19165184 140725980800011 140725980800113 140725980800113 140725980803022 0
/proc/5237/statm: 7070 1242 892 493 0 375 0
Current children cumulated CPU time: 2502.23 s
Current children cumulated vsize: 28280 KiB
Current children cumulated memory: 4968 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 2.00 2.01 2.05 3/199 5531
/proc/meminfo: memFree=24419908/32770624 swapFree=66999428/67108860
[pid=5237] ppid=5234 vsize=28280 memory=4968 CPUtime=2519.94 cores=0,2,4,6
/proc/5237/stat : 5237 (cosoco) R 5234 5237 2736 0 -1 4202496 12843 0 0 0 251994 0 0 0 20 0 1 0 434510252 28958720 1242 33554432000 4194304 6211092 140725980793152 140725980791112 5149686 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 19165184 140725980800011 140725980800113 140725980800113 140725980803022 0
/proc/5237/statm: 7070 1242 892 493 0 375 0
Current children cumulated CPU time: 2519.94 s
Current children cumulated vsize: 28280 KiB
Current children cumulated memory: 4968 KiB

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

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

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.94
system time used= 0.009999
maximum resident set size= 5032
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12893
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= 14
involuntary context switches= 3150


# summary of solver processes directly reported to runsolver:
#   pid: 5237
#   total CPU time (s): 2519.95
#   total CPU user time (s): 2519.94
#   total CPU system time (s): 0.009999

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.59654 second user time and 19.2532 second system time

The end

Launcher Data 

Begin job on node140 at 2019-09-16 00:14:38
IDJOB=4396913
IDBENCH=133638
IDSOLVER=2848
FILE ID=node140/4396913-1568585718
RUNJOBID= node140-1568572743-2767
PBS_JOBID= 21703315
Free space on /tmp= 58136 MiB

SOLVER NAME= cosoco 2.0
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-4396913-1568585718/watcher-4396913-1568585718 -o /tmp/evaluation-result-4396913-1568585718/solver-4396913-1568585718 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node140-1568572743-2767 --watchdog 2580  cosoco -lc -model -restarts -stick HOME/instance-4396913-1568585718.xml

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

MD5SUM BENCH= e3fb36821a1c53c1942e51a6fdfce406
RANDOM SEED=163220726

node140.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.43
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.43
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.43
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.43
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:        24424684 kB
MemAvailable:   31849360 kB
Buffers:          190548 kB
Cached:          7449440 kB
SwapCached:         2604 kB
Active:          1543580 kB
Inactive:        6103924 kB
Active(anon):       4752 kB
Inactive(anon):    52220 kB
Active(file):    1538828 kB
Inactive(file):  6051704 kB
Unevictable:      107880 kB
Mlocked:          107880 kB
SwapTotal:      67108860 kB
SwapFree:       66999428 kB
Dirty:              2756 kB
Writeback:             0 kB
AnonPages:        114140 kB
Mapped:            48324 kB
Shmem:             40576 kB
Slab:             293028 kB
SReclaimable:     262604 kB
SUnreclaim:        30424 kB
KernelStack:        3536 kB
PageTables:         5308 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     536800 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 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:      105856 kB
DirectMap2M:    33439744 kB

Free space on /tmp at the end= 58136 MiB
End job on node140 at 2019-09-16 00:56:38