Trace number 4252582

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-mini 1.1 (2017-06-27)? (TO) 2400.09 2400.1

General information on the benchmark

NameDubois/Dubois-m1-s1/
Dubois-050.xml
MD5SUM630ab63eaf7c5bcaa7f0eb192a58705a
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.009238
Satisfiable
(Un)Satisfiability was proved
Number of variables150
Number of constraints100
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":150}]
Minimum variable degree2
Maximum variable degree2
Distribution of variable degrees[{"degree":2,"count":150}]
Minimum constraint arity3
Maximum constraint arity3
Distribution of constraint arities[{"arity":3,"count":100}]
Number of extensional constraints100
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":100}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c root propagations     : 0           
0.00/0.00	c restarts enabled, print stats at every restarts
0.00/0.00	c
0.00/0.00	c
0.00/0.00	c
0.00/0.00	c This is cosoco 1.0 --  
0.00/0.00	c
0.00/0.00	c ========================================[ Problem Statistics ]===========================================
0.00/0.00	c |                                                                                                       
0.00/0.00	c |  Parse time        :         0.00 s 
0.00/0.00	c |
0.00/0.00	c |               Variables: 150
0.00/0.00	c |            Domain Sizes: 2..2
0.00/0.00	c |
0.00/0.00	c |             Constraints: 100
0.00/0.00	c |                   Arity: 3..3  -- Ternary: 100
0.00/0.00	c | 
0.00/0.00	c |                   Types: 
0.00/0.00	c |                          Extension: 100  (nb tuples: 4..4) -- (shared: 95)
0.00/0.00	c |                          
0.00/0.00	c =========================================================================================================
0.00/0.00	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
0.00/0.01	c 101            2800           11901          11538          0              0              51   147   103 
0.00/0.01	c 211            3259           13597          13114          0              0              63   148   100 
0.00/0.01	c 332            3968           16470          15740          0              0              64   140   102 
0.00/0.01	c 465            4986           20118          19150          0              0              122   141   134
0.00/0.02	c 611            5959           23592          22444          0              0              47   117   86  
0.00/0.02	c 771            6927           27050          25655          0              0              117   143   127
0.00/0.02	c 947            8042           31177          29529          0              0              108   143   127
0.00/0.02	c 1140           9324           35633          33819          0              0              17   110   67  
0.00/0.03	c 1352           10650          40479          38393          0              0              29   137   124 
0.00/0.03	c 1585           12188          45812          43520          0              0              41   72   65   
0.00/0.04	c 1841           13855          51696          49054          0              0              17   149   124 
0.00/0.04	c 2122           15667          58022          55089          0              0              19   147   117 
0.00/0.04	c 2431           17920          65764          62481          0              0              22   145   125 
0.00/0.05	c 2770           20488          74766          71155          0              0              41   125   113 
0.00/0.06	c 3142           23249          84536          80574          0              0              78   105   97  
0.00/0.06	c 3551           25796          93641          89327          0              0              76   103   95  
0.00/0.07	c 4000           29329          105567         100829         0              0              15   147   135 
0.00/0.08	c 4493           33318          119399         114265         0              0              18   145   134 
0.00/0.09	c 5035           37002          132094         126518         0              0              22   108   98  
0.09/0.10	c 5631           41059          146276         140294         0              0              25   140   126 
0.09/0.11	c 6286           46513          164972         158671         0              0              16   145   125 
0.09/0.12	c 7006           52161          185009         178185         0              0              81   142   132 
0.09/0.14	c 7798           57872          205221         197754         0              0              27   144   128 
0.09/0.15	c 8669           64613          228873         220734         0              0              73   131   118 
0.09/0.17	c 9627           70861          250611         241761         0              0              15   142   107 
0.09/0.18	c 10680          77851          275728         266252         0              0              117   143   136
0.19/0.20	c 11838          86748          306769         296388         0              0              47   141   131 
0.19/0.23	c 13111          96829          341967         330881         0              0              33   139   112 
0.19/0.25	c 14511          105972         373889         361849         0              0              24   141   107 
0.19/0.27	c 16051          116783         413405         400435         0              0              18   140   130 
0.29/0.30	c 17745          128658         456304         441949         0              0              54   138   123 
0.29/0.33	c 19608          142576         505622         489654         0              0              84   138   127 
0.29/0.37	c 21657          157833         559667         542908         0              0              108   140   133
0.39/0.41	c 23910          176604         625497         607645         0              0              24   137   111 
0.39/0.46	c 26388          198125         700200         680889         0              0              55   137   115 
0.49/0.51	c 29113          219020         772240         751672         0              0              41   139   102 
0.49/0.57	c 32110          242339         855229         833070         0              0              18   140   120 
0.59/0.63	c 35406          270256         953773         929628         0              0              75   137   131 
0.69/0.70	c 39031          297386         1050089        1024476        0              0              81   137   112 
0.69/0.76	c 43018          326457         1152463        1123963        0              0              31   139   131 
0.79/0.85	c 47403          363932         1284459        1253164        0              0              76   137   130 
0.89/0.93	c 52226          399330         1412852        1378009        0              0              99   140   133 
0.99/1.01	c 57531          436628         1542606        1504829        0              0              38   139   125 
1.10/1.12	c 63366          481131         1698937        1658195        0              0              81   138   128 
1.20/1.23	c 69784          528856         1871930        1828076        0              0              99   137   129 
1.29/1.38	c 76843          594591         2102754        2054271        0              0              87   138   126 
1.49/1.51	c 84607          653315         2306664        2253724        0              0              23   139   125 
1.59/1.65	c 93147          713695         2523507        2466382        0              0              75   137   127 
1.79/1.84	c 102541         797733         2816675        2753341        0              0              66   137   131 
1.99/2.04	c 112874         883867         3117980        3050067        0              0              66   140   129 
2.20/2.29	c 124240         991643         3487648        3416097        0              0              34   139   126 
2.49/2.54	c 136742         1098335        3862726        3784973        0              0              79   124   113 
2.69/2.78	c 150494         1204384        4232732        4147281        0              0              30   137   125 
3.09/3.12	c 165621         1335329        4691706        4598535        0              0              45   126   81  
3.40/3.44	c 182260         1478415        5181623        5075569        0              0              29   139   128 
3.69/3.77	c 200562         1615996        5668491        5550569        0              0              38   139   116 
4.09/4.14	c 220694         1774760        6235063        6103764        0              0              78   137   124 
4.50/4.57	c 242839         1966198        6897355        6756846        0              0              42   139   130 
4.99/5.09	c 267198         2190714        7700410        7549514        0              0              75   137   125 
5.60/5.61	c 293992         2407867        8463069        8295584        0              0              41   136   108 
6.19/6.24	c 323465         2673871        9389178        9204091        0              0              23   135   113 
6.79/6.86	c 355885         2932496        10292271       10090969       0              0              37   135   104 
7.59/7.60	c 391547         3248320        11432238       11206834       0              0              28   138   128 
8.29/8.32	c 430775         3556185        12547230       12296940       0              0              69   135   123 
8.99/9.08	c 473925         3880838        13678833       13407689       0              0              31   137   113 
10.00/10.02	c 521390         4285141        15117781       14817589       0              0              51   138   124 
11.00/11.08	c 573601         4749867        16726336       16392667       0              0              38   137   127 
12.20/12.25	c 631033         5248244        18511024       18140930       0              0              78   135   122 
13.49/13.55	c 694208         5815959        20470885       20071823       0              0              46   135   127 
14.89/14.98	c 763700         6432466        22689498       22252431       0              0              79   138   128 
16.60/16.61	c 840141         7141416        25127131       24654378       0              0              43   135   123 
18.39/18.42	c 924226         7923987        27931673       27397652       0              0              83   138   129 
20.19/20.20	c 1016719        8706011        30619269       30045939       0              0              36   137   126 
22.29/22.30	c 1118461        9612098        33864031       33228516       0              0              80   138   128 
24.39/24.44	c 1230377        10552708       37100197       36405308       0              0              38   138   128 
26.99/27.03	c 1353484        11671744       41099816       40345615       0              0              82   139   129 
29.80/29.82	c 1488901        12900906       45319974       44494438       0              0              58   137   127 
32.59/32.67	c 1637859        14132875       49737200       48816238       0              0              82   139   128 
35.99/36.03	c 1801712        15604022       54798538       53804073       0              0              37   137   128 
39.70/39.79	c 1981950        17228138       60618688       59510970       0              0              50   138   128 
43.69/43.70	c 2180211        18887735       66556747       65301350       0              0              61   135   120 
47.59/47.61	c 2398298        20588206       72431587       71072393       0              0              39   137   123 
52.59/52.62	c 2638193        22745319       80184808       78676165       0              0              25   138   127 
57.89/57.99	c 2902077        25082146       88241819       86587229       0              0              42   137   123 
64.19/64.28	c 3192349        27791657       97879473       96038769       0              0              15   138   126 
70.79/70.89	c 3511648        30649377       107715111      105716163      0              0              37   138   122 
78.29/78.33	c 3862876        33870139       119159304      116920230      0              0              24   138   128 
86.39/86.47	c 4249226        37419836       131310907      128881397      0              0              39   136   125 
95.49/95.52	c 4674211        41349250       145261210      142589386      0              0              46   138   129 
104.69/104.78	c 5141694        45318906       159036146      156153413      0              0              32   138   119 
116.09/116.12	c 5655925        50191172       176207451      172998980      0              0              16   138   123 
128.49/128.59	c 6221579        55387898       194191821      190683517      0              0              40   136   107 
141.19/141.21	c 6843798        60841594       213500312      209609811      0              0              28   138   127 
155.39/155.47	c 7528238        67002516       234693990      230505145      0              0              50   136   121 
170.39/170.45	c 8281122        73472162       257844512      253079598      0              0              56   138   128 
190.19/190.27	c 9109294        81852982       286640633      281586857      0              0              40   138   116 
207.90/207.95	c 10020283       89445843       313645108      308084569      0              0              49   138   124 
226.89/226.91	c 11022370       97652685       341945170      336065195      0              0              33   135   122 
250.80/250.85	c 12124665       108002194      378790494      372093619      0              0              37   138   127 
278.19/278.20	c 13337189       119735744      419133566      411613823      0              0              42   138   119 
305.80/305.81	c 14670965       131597728      461277041      452944733      0              0              45   138   124 
335.60/335.64	c 16138118       144296418      505117645      496120067      0              0              37   138   116 
369.29/369.39	c 17751986       158798103      556445762      546570307      0              0              61   138   125 
407.59/407.65	c 19527240       174613988      610770840      600217752      0              0              26   136   103 
450.19/450.25	c 21480019       193109728      676004130      663968571      0              0              65   138   128 
491.99/492.09	c 23628075       211126861      738240899      725221149      0              0              60   136   120 
538.59/538.66	c 25990936       231108876      809805403      795216549      0              0              65   138   125 
590.69/590.77	c 28590083       253394940      886451400      870672365      0              0              31   137   116 
650.49/650.59	c 31449144       279304248      978806492      960950729      0              0              24   138   128 
713.49/713.55	c 34594111       305480665      1069815546     1050815417     0              0              31   136   105 
790.39/790.43	c 38053574       338114193      1184300560     1163452290     0              0              42   138   122 
893.19/893.22	c 41858983       381888373      1336983424     1314365698     0              0              32   138   124 
998.09/998.14	c 46044932       426430281      1492482554     1468068010     0              0              38   138   121 
1094.89/1094.90	c 50649475       467330037      1636513442     1609927133     0              0              35   138   118 
1201.79/1201.81	c 55714472       512228201      1794089874     1765852463     0              0              29   138   114 
1338.89/1338.99	c 61285968       568259670      1986998727     1956224673     0              0              24   137   98  
1482.38/1482.43	c 67414613       629609575      2204498537     2170867573     0              0              36   139   127 
1639.09/1639.16	c 74156122       695791222      2433071599     2395586261     0              0              40   137   115 
1784.48/1784.52	c 81571781       758077638      2657701835     2615605545     0              0              55   138   125 
1978.68/1978.77	c 89729005       840972127      2946635845     2901783063     0              0              24   138   121 
2183.38/2183.47	c 98701951       927976924      3252237808     3203907262     0              0              32   138   122

Verifier Data 

One s line expected

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4252582-1500922454/watcher-4252582-1500922454 -o /tmp/evaluation-result-4252582-1500922454/solver-4252582-1500922454 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node141-1500914920-3606 --watchdog 2560 HOME/cosoco -lc -model -restarts HOME/instance-4252582-1500922454.xml 

pid=7155
running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 2.03 2.03 2.05 3/181 7158
/proc/meminfo: memFree=32086520/32770624 swapFree=5780/117088
[pid=7158] ppid=7155 vsize=26904 CPUtime=0 cores=1,3,5,7
/proc/7158/stat : 7158 (cosoco) R 7155 7158 3574 0 -1 4202496 989 0 0 0 0 0 0 0 20 0 1 0 1804690 27549696 825 33554432000 4194304 5744392 140736257723776 140736257720424 140593485229029 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7841632 7846472 16576512 140736257725633 140736257725763 140736257725763 140736257728462 0
/proc/7158/statm: 6726 825 702 379 0 145 0

[startup+0.100107 s]
/proc/loadavg: 2.03 2.03 2.05 3/181 7158
/proc/meminfo: memFree=32086520/32770624 swapFree=5780/117088
[pid=7158] ppid=7155 vsize=27168 CPUtime=0.09 cores=1,3,5,7
/proc/7158/stat : 7158 (cosoco) R 7155 7158 3574 0 -1 4202496 1099 0 0 0 9 0 0 0 20 0 1 0 1804690 27820032 891 33554432000 4194304 5744392 140736257723776 140736257720424 4889024 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 16576512 140736257725633 140736257725763 140736257725763 140736257728462 0
/proc/7158/statm: 6792 891 736 379 0 211 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27168

[startup+0.200214 s]
/proc/loadavg: 2.03 2.03 2.05 3/181 7158
/proc/meminfo: memFree=32086520/32770624 swapFree=5780/117088
[pid=7158] ppid=7155 vsize=27168 CPUtime=0.19 cores=1,3,5,7
/proc/7158/stat : 7158 (cosoco) R 7155 7158 3574 0 -1 4202496 1099 0 0 0 19 0 0 0 20 0 1 0 1804690 27820032 891 33554432000 4194304 5744392 140736257723776 140736257720424 5126277 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 16576512 140736257725633 140736257725763 140736257725763 140736257728462 0
/proc/7158/statm: 6792 891 736 379 0 211 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 27168

[startup+0.300198 s]
/proc/loadavg: 2.03 2.03 2.05 3/181 7158
/proc/meminfo: memFree=32086520/32770624 swapFree=5780/117088
[pid=7158] ppid=7155 vsize=27168 CPUtime=0.29 cores=1,3,5,7
/proc/7158/stat : 7158 (cosoco) R 7155 7158 3574 0 -1 4202496 1099 0 0 0 29 0 0 0 20 0 1 0 1804690 27820032 891 33554432000 4194304 5744392 140736257723776 140736257720424 4889024 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 16576512 140736257725633 140736257725763 140736257725763 140736257728462 0
/proc/7158/statm: 6792 891 736 379 0 211 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 27168

[startup+0.700184 s]
/proc/loadavg: 2.03 2.03 2.05 3/181 7158
/proc/meminfo: memFree=32086520/32770624 swapFree=5780/117088
[pid=7158] ppid=7155 vsize=27168 CPUtime=0.69 cores=1,3,5,7
/proc/7158/stat : 7158 (cosoco) R 7155 7158 3574 0 -1 4202496 1099 0 0 0 69 0 0 0 20 0 1 0 1804690 27820032 891 33554432000 4194304 5744392 140736257723776 140736257720424 4889104 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 16576512 140736257725633 140736257725763 140736257725763 140736257728462 0
/proc/7158/statm: 6792 891 736 379 0 211 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 27168

[startup+1.50017 s]
/proc/loadavg: 2.03 2.03 2.05 3/182 7159
/proc/meminfo: memFree=32085540/32770624 swapFree=5780/117088
[pid=7158] ppid=7155 vsize=27168 CPUtime=1.49 cores=1,3,5,7
/proc/7158/stat : 7158 (cosoco) R 7155 7158 3574 0 -1 4202496 1099 0 0 0 149 0 0 0 20 0 1 0 1804690 27820032 891 33554432000 4194304 5744392 140736257723776 140736257721176 4892569 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 16576512 140736257725633 140736257725763 140736257725763 140736257728462 0
/proc/7158/statm: 6792 891 736 379 0 211 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 27168

[startup+3.10017 s]
/proc/loadavg: 1.95 2.01 2.04 3/183 7160
/proc/meminfo: memFree=32083804/32770624 swapFree=5780/116860
[pid=7158] ppid=7155 vsize=27168 CPUtime=3.09 cores=1,3,5,7
/proc/7158/stat : 7158 (cosoco) R 7155 7158 3574 0 -1 4202496 1236 0 0 0 309 0 0 0 20 0 1 0 1804690 27820032 938 33554432000 4194304 5744392 140736257723776 140736257721176 5140581 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 16576512 140736257725633 140736257725763 140736257725763 140736257728462 0
/proc/7158/statm: 6792 938 741 379 0 211 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 27168

[startup+6.30017 s]
/proc/loadavg: 1.95 2.01 2.04 3/183 7160
/proc/meminfo: memFree=32083712/32770624 swapFree=5780/116872
[pid=7158] ppid=7155 vsize=27168 CPUtime=6.29 cores=1,3,5,7
/proc/7158/stat : 7158 (cosoco) R 7155 7158 3574 0 -1 4202496 1373 0 0 0 629 0 0 0 20 0 1 0 1804690 27820032 938 33554432000 4194304 5744392 140736257723776 140736257721176 4893104 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 16576512 140736257725633 140736257725763 140736257725763 140736257728462 0
/proc/7158/statm: 6792 938 741 379 0 211 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 27168

[startup+12.7002 s]
/proc/loadavg: 1.96 2.01 2.04 3/183 7160
/proc/meminfo: memFree=32083340/32770624 swapFree=5780/116872
[pid=7158] ppid=7155 vsize=27168 CPUtime=12.69 cores=1,3,5,7
/proc/7158/stat : 7158 (cosoco) R 7155 7158 3574 0 -1 4202496 1510 0 0 0 1269 0 0 0 20 0 1 0 1804690 27820032 938 33554432000 4194304 5744392 140736257723776 140736257721176 4889055 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 16576512 140736257725633 140736257725763 140736257725763 140736257728462 0
/proc/7158/statm: 6792 938 741 379 0 211 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 27168

[startup+25.5002 s]
/proc/loadavg: 1.96 2.01 2.04 3/183 7160
/proc/meminfo: memFree=32083592/32770624 swapFree=5780/116900
[pid=7158] ppid=7155 vsize=27168 CPUtime=25.49 cores=1,3,5,7
/proc/7158/stat : 7158 (cosoco) R 7155 7158 3574 0 -1 4202496 1784 0 0 0 2549 0 0 0 20 0 1 0 1804690 27820032 938 33554432000 4194304 5744392 140736257723776 140736257721176 4998912 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 16576512 140736257725633 140736257725763 140736257725763 140736257728462 0
/proc/7158/statm: 6792 938 741 379 0 211 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 27168

[startup+51.1003 s]
/proc/loadavg: 1.98 2.01 2.04 2/180 7216
/proc/meminfo: memFree=32124820/32770624 swapFree=5780/116936
[pid=7158] ppid=7155 vsize=27168 CPUtime=51.09 cores=1,3,5,7
/proc/7158/stat : 7158 (cosoco) R 7155 7158 3574 0 -1 4202496 1921 0 0 0 5109 0 0 0 20 0 1 0 1804690 27820032 938 33554432000 4194304 5744392 140736257723776 140736257721176 5140581 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 16576512 140736257725633 140736257725763 140736257725763 140736257728462 0
/proc/7158/statm: 6792 938 741 379 0 211 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 27168

[startup+102.3 s]
/proc/loadavg: 1.99 2.01 2.04 3/183 7222
/proc/meminfo: memFree=32122748/32770624 swapFree=5780/117028
[pid=7158] ppid=7155 vsize=27168 CPUtime=102.3 cores=1,3,5,7
/proc/7158/stat : 7158 (cosoco) R 7155 7158 3574 0 -1 4202496 2058 0 0 0 10230 0 0 0 20 0 1 0 1804690 27820032 938 33554432000 4194304 5744392 140736257723776 140736257721176 4892763 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 16576512 140736257725633 140736257725763 140736257725763 140736257728462 0
/proc/7158/statm: 6792 938 741 379 0 211 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 27168

[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/182 7223
/proc/meminfo: memFree=32122360/32770624 swapFree=5780/117116
[pid=7158] ppid=7155 vsize=27168 CPUtime=162.29 cores=1,3,5,7
/proc/7158/stat : 7158 (cosoco) R 7155 7158 3574 0 -1 4202496 2195 0 0 0 16229 0 0 0 20 0 1 0 1804690 27820032 938 33554432000 4194304 5744392 140736257723776 140736257721176 5115984 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 16576512 140736257725633 140736257725763 140736257725763 140736257728462 0
/proc/7158/statm: 6792 938 741 379 0 211 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 27168

[startup+222.306 s]
/proc/loadavg: 2.00 2.01 2.04 3/182 7224
/proc/meminfo: memFree=32122472/32770624 swapFree=5780/117176
[pid=7158] ppid=7155 vsize=27168 CPUtime=222.3 cores=1,3,5,7
/proc/7158/stat : 7158 (cosoco) R 7155 7158 3574 0 -1 4202496 2332 0 0 0 22230 0 0 0 20 0 1 0 1804690 27820032 938 33554432000 4194304 5744392 140736257723776 140736257721176 4889024 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 16576512 140736257725633 140736257725763 140736257725763 140736257728462 0
/proc/7158/statm: 6792 938 741 379 0 211 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 27168

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/182 7226
/proc/meminfo: memFree=32122688/32770624 swapFree=5780/117236
[pid=7158] ppid=7155 vsize=27168 CPUtime=282.29 cores=1,3,5,7
/proc/7158/stat : 7158 (cosoco) R 7155 7158 3574 0 -1 4202496 2469 0 0 0 28229 0 0 0 20 0 1 0 1804690 27820032 938 33554432000 4194304 5744392 140736257723776 140736257721176 4998922 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 16576512 140736257725633 140736257725763 140736257725763 140736257728462 0
/proc/7158/statm: 6792 938 741 379 0 211 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 27168

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/182 7227
/proc/meminfo: memFree=32122632/32770624 swapFree=5780/117304
[pid=7158] ppid=7155 vsize=27168 CPUtime=342.29 cores=1,3,5,7
/proc/7158/stat : 7158 (cosoco) R 7155 7158 3574 0 -1 4202496 2606 0 0 0 34229 0 0 0 20 0 1 0 1804690 27820032 938 33554432000 4194304 5744392 140736257723776 140736257721176 4998912 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 16576512 140736257725633 140736257725763 140736257725763 140736257728462 0
/proc/7158/statm: 6792 938 741 379 0 211 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 27168

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/182 7235
/proc/meminfo: memFree=32121252/32770624 swapFree=5780/117348
[pid=7158] ppid=7155 vsize=27168 CPUtime=402.29 cores=1,3,5,7
/proc/7158/stat : 7158 (cosoco) R 7155 7158 3574 0 -1 4202496 2743 0 0 0 40229 0 0 0 20 0 1 0 1804690 27820032 938 33554432000 4194304 5744392 140736257723776 140736257721176 4998912 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 16576512 140736257725633 140736257725763 140736257725763 140736257728462 0
/proc/7158/statm: 6792 938 741 379 0 211 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 27168

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/182 7258
/proc/meminfo: memFree=32120440/32770624 swapFree=5780/117392
[pid=7158] ppid=7155 vsize=27168 CPUtime=462.29 cores=1,3,5,7
/proc/7158/stat : 7158 (cosoco) R 7155 7158 3574 0 -1 4202496 2880 0 0 0 46229 0 0 0 20 0 1 0 1804690 27820032 938 33554432000 4194304 5744392 140736257723776 140736257721176 5140573 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 16576512 140736257725633 140736257725763 140736257725763 140736257728462 0
/proc/7158/statm: 6792 938 741 379 0 211 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 27168

[startup+522.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/182 7259
/proc/meminfo: memFree=32120728/32770624 swapFree=5780/117448
[pid=7158] ppid=7155 vsize=27168 CPUtime=522.29 cores=1,3,5,7
/proc/7158/stat : 7158 (cosoco) R 7155 7158 3574 0 -1 4202496 3017 0 0 0 52229 0 0 0 20 0 1 0 1804690 27820032 938 33554432000 4194304 5744392 140736257723776 140736257721176 4872663 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 16576512 140736257725633 140736257725763 140736257725763 140736257728462 0
/proc/7158/statm: 6792 938 741 379 0 211 0
Current children cumulated CPU time (s) 522.29
Current children cumulated vsize (KiB) 27168

[startup+582.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 7260
/proc/meminfo: memFree=32120972/32770624 swapFree=5780/117480
[pid=7158] ppid=7155 vsize=27168 CPUtime=582.29 cores=1,3,5,7
/proc/7158/stat : 7158 (cosoco) R 7155 7158 3574 0 -1 4202496 3154 0 0 0 58229 0 0 0 20 0 1 0 1804690 27820032 938 33554432000 4194304 5744392 140736257723776 140736257721176 5008721 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 16576512 140736257725633 140736257725763 140736257725763 140736257728462 0
/proc/7158/statm: 6792 938 741 379 0 211 0
Current children cumulated CPU time (s) 582.29
Current children cumulated vsize (KiB) 27168


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


[startup+1542.31 s]
/proc/loadavg: 2.05 2.03 2.05 3/182 7284
/proc/meminfo: memFree=32120224/32770624 swapFree=5780/118116
[pid=7158] ppid=7155 vsize=27168 CPUtime=1542.29 cores=1,3,5,7
/proc/7158/stat : 7158 (cosoco) R 7155 7158 3574 0 -1 4202496 5254 0 0 0 154229 0 0 0 20 0 1 0 1804690 27820032 938 33554432000 4194304 5744392 140736257723776 140736257721176 5129433 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 16576512 140736257725633 140736257725763 140736257725763 140736257728462 0
/proc/7158/statm: 6792 938 741 379 0 211 0
Current children cumulated CPU time (s) 1542.29
Current children cumulated vsize (KiB) 27168

[startup+1602.3 s]
/proc/loadavg: 2.05 2.04 2.05 3/182 7292
/proc/meminfo: memFree=32119824/32770624 swapFree=5780/118164
[pid=7158] ppid=7155 vsize=27168 CPUtime=1602.28 cores=1,3,5,7
/proc/7158/stat : 7158 (cosoco) R 7155 7158 3574 0 -1 4202496 5377 0 0 0 160228 0 0 0 20 0 1 0 1804690 27820032 938 33554432000 4194304 5744392 140736257723776 140736257721176 5140573 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 16576512 140736257725633 140736257725763 140736257725763 140736257728462 0
/proc/7158/statm: 6792 938 741 379 0 211 0
Current children cumulated CPU time (s) 1602.28
Current children cumulated vsize (KiB) 27168

[startup+1662.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/182 7293
/proc/meminfo: memFree=32119840/32770624 swapFree=5780/118204
[pid=7158] ppid=7155 vsize=27168 CPUtime=1662.28 cores=1,3,5,7
/proc/7158/stat : 7158 (cosoco) R 7155 7158 3574 0 -1 4202496 5514 0 0 0 166228 0 0 0 20 0 1 0 1804690 27820032 938 33554432000 4194304 5744392 140736257723776 140736257721176 5140577 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 16576512 140736257725633 140736257725763 140736257725763 140736257728462 0
/proc/7158/statm: 6792 938 741 379 0 211 0
Current children cumulated CPU time (s) 1662.28
Current children cumulated vsize (KiB) 27168

[startup+1722.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/182 7294
/proc/meminfo: memFree=32120092/32770624 swapFree=5780/118236
[pid=7158] ppid=7155 vsize=27168 CPUtime=1722.28 cores=1,3,5,7
/proc/7158/stat : 7158 (cosoco) R 7155 7158 3574 0 -1 4202496 5638 0 0 0 172228 0 0 0 20 0 1 0 1804690 27820032 938 33554432000 4194304 5744392 140736257723776 140736257721176 4889104 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 16576512 140736257725633 140736257725763 140736257725763 140736257728462 0
/proc/7158/statm: 6792 938 741 379 0 211 0
Current children cumulated CPU time (s) 1722.28
Current children cumulated vsize (KiB) 27168

[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/182 7295
/proc/meminfo: memFree=32120280/32770624 swapFree=5780/118272
[pid=7158] ppid=7155 vsize=27168 CPUtime=1782.28 cores=1,3,5,7
/proc/7158/stat : 7158 (cosoco) R 7155 7158 3574 0 -1 4202496 5760 0 0 0 178228 0 0 0 20 0 1 0 1804690 27820032 938 33554432000 4194304 5744392 140736257723776 140736257721176 4889075 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 16576512 140736257725633 140736257725763 140736257725763 140736257728462 0
/proc/7158/statm: 6792 938 741 379 0 211 0
Current children cumulated CPU time (s) 1782.28
Current children cumulated vsize (KiB) 27168

[startup+1842.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/182 7296
/proc/meminfo: memFree=32119996/32770624 swapFree=5780/118308
[pid=7158] ppid=7155 vsize=27168 CPUtime=1842.28 cores=1,3,5,7
/proc/7158/stat : 7158 (cosoco) R 7155 7158 3574 0 -1 4202496 5899 0 0 0 184228 0 0 0 20 0 1 0 1804690 27820032 938 33554432000 4194304 5744392 140736257723776 140736257721176 5115995 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 16576512 140736257725633 140736257725763 140736257725763 140736257728462 0
/proc/7158/statm: 6792 938 741 379 0 211 0
Current children cumulated CPU time (s) 1842.28
Current children cumulated vsize (KiB) 27168

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 7298
/proc/meminfo: memFree=32120456/32770624 swapFree=5780/118348
[pid=7158] ppid=7155 vsize=27168 CPUtime=1902.28 cores=1,3,5,7
/proc/7158/stat : 7158 (cosoco) R 7155 7158 3574 0 -1 4202496 6023 0 0 0 190228 0 0 0 20 0 1 0 1804690 27820032 938 33554432000 4194304 5744392 140736257723776 140736257721176 4889118 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 16576512 140736257725633 140736257725763 140736257725763 140736257728462 0
/proc/7158/statm: 6792 938 741 379 0 211 0
Current children cumulated CPU time (s) 1902.28
Current children cumulated vsize (KiB) 27168

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 7299
/proc/meminfo: memFree=32120248/32770624 swapFree=5780/118380
[pid=7158] ppid=7155 vsize=27168 CPUtime=1962.28 cores=1,3,5,7
/proc/7158/stat : 7158 (cosoco) R 7155 7158 3574 0 -1 4202496 6147 0 0 0 196228 0 0 0 20 0 1 0 1804690 27820032 938 33554432000 4194304 5744392 140736257723776 140736257721176 5115984 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 16576512 140736257725633 140736257725763 140736257725763 140736257728462 0
/proc/7158/statm: 6792 938 741 379 0 211 0
Current children cumulated CPU time (s) 1962.28
Current children cumulated vsize (KiB) 27168

[startup+2022.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/182 7300
/proc/meminfo: memFree=32120380/32770624 swapFree=5780/118420
[pid=7158] ppid=7155 vsize=27168 CPUtime=2022.28 cores=1,3,5,7
/proc/7158/stat : 7158 (cosoco) R 7155 7158 3574 0 -1 4202496 6284 0 0 0 202228 0 0 0 20 0 1 0 1804690 27820032 938 33554432000 4194304 5744392 140736257723776 140736257721176 5115984 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 16576512 140736257725633 140736257725763 140736257725763 140736257728462 0
/proc/7158/statm: 6792 938 741 379 0 211 0
Current children cumulated CPU time (s) 2022.28
Current children cumulated vsize (KiB) 27168

[startup+2082.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/182 7302
/proc/meminfo: memFree=32120156/32770624 swapFree=5780/118456
[pid=7158] ppid=7155 vsize=27168 CPUtime=2082.29 cores=1,3,5,7
/proc/7158/stat : 7158 (cosoco) R 7155 7158 3574 0 -1 4202496 6408 0 0 0 208229 0 0 0 20 0 1 0 1804690 27820032 938 33554432000 4194304 5744392 140736257723776 140736257721176 4889075 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 16576512 140736257725633 140736257725763 140736257725763 140736257728462 0
/proc/7158/statm: 6792 938 741 379 0 211 0
Current children cumulated CPU time (s) 2082.29
Current children cumulated vsize (KiB) 27168

[startup+2142.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 7303
/proc/meminfo: memFree=32120084/32770624 swapFree=5780/118492
[pid=7158] ppid=7155 vsize=27168 CPUtime=2142.28 cores=1,3,5,7
/proc/7158/stat : 7158 (cosoco) R 7155 7158 3574 0 -1 4202496 6532 0 0 0 214228 0 0 0 20 0 1 0 1804690 27820032 938 33554432000 4194304 5744392 140736257723776 140736257721176 4889075 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 16576512 140736257725633 140736257725763 140736257725763 140736257728462 0
/proc/7158/statm: 6792 938 741 379 0 211 0
Current children cumulated CPU time (s) 2142.28
Current children cumulated vsize (KiB) 27168

[startup+2202.31 s]
/proc/loadavg: 2.04 2.03 2.05 3/182 7311
/proc/meminfo: memFree=32120700/32770624 swapFree=5780/118532
[pid=7158] ppid=7155 vsize=27168 CPUtime=2202.29 cores=1,3,5,7
/proc/7158/stat : 7158 (cosoco) R 7155 7158 3574 0 -1 4202496 6669 0 0 0 220229 0 0 0 20 0 1 0 1804690 27820032 938 33554432000 4194304 5744392 140736257723776 140736257721176 4889024 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 16576512 140736257725633 140736257725763 140736257725763 140736257728462 0
/proc/7158/statm: 6792 938 741 379 0 211 0
Current children cumulated CPU time (s) 2202.29
Current children cumulated vsize (KiB) 27168

[startup+2262.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 7312
/proc/meminfo: memFree=32120376/32770624 swapFree=5780/118572
[pid=7158] ppid=7155 vsize=27168 CPUtime=2262.28 cores=1,3,5,7
/proc/7158/stat : 7158 (cosoco) R 7155 7158 3574 0 -1 4202496 6793 0 0 0 226228 0 0 0 20 0 1 0 1804690 27820032 938 33554432000 4194304 5744392 140736257723776 140736257721176 5126277 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 16576512 140736257725633 140736257725763 140736257725763 140736257728462 0
/proc/7158/statm: 6792 938 741 379 0 211 0
Current children cumulated CPU time (s) 2262.28
Current children cumulated vsize (KiB) 27168

[startup+2322.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 7313
/proc/meminfo: memFree=32120184/32770624 swapFree=5780/118604
[pid=7158] ppid=7155 vsize=27168 CPUtime=2322.28 cores=1,3,5,7
/proc/7158/stat : 7158 (cosoco) R 7155 7158 3574 0 -1 4202496 6917 0 0 0 232228 0 0 0 20 0 1 0 1804690 27820032 938 33554432000 4194304 5744392 140736257723776 140736257721176 4891617 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 16576512 140736257725633 140736257725763 140736257725763 140736257728462 0
/proc/7158/statm: 6792 938 741 379 0 211 0
Current children cumulated CPU time (s) 2322.28
Current children cumulated vsize (KiB) 27168

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 7314
/proc/meminfo: memFree=32119876/32770624 swapFree=5780/118636
[pid=7158] ppid=7155 vsize=27168 CPUtime=2382.28 cores=1,3,5,7
/proc/7158/stat : 7158 (cosoco) R 7155 7158 3574 0 -1 4202496 7041 0 0 0 238228 0 0 0 20 0 1 0 1804690 27820032 938 33554432000 4194304 5744392 140736257723776 140736257721176 4892782 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 16576512 140736257725633 140736257725763 140736257725763 140736257728462 0
/proc/7158/statm: 6792 938 741 379 0 211 0
Current children cumulated CPU time (s) 2382.28
Current children cumulated vsize (KiB) 27168



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2400.1 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 7315
/proc/meminfo: memFree=32119504/32770624 swapFree=5780/118668
[pid=7158] ppid=7155 vsize=27168 CPUtime=2400.08 cores=1,3,5,7
/proc/7158/stat : 7158 (cosoco) R 7155 7158 3574 0 -1 4202496 7165 0 0 0 240008 0 0 0 20 0 1 0 1804690 27820032 938 33554432000 4194304 5744392 140736257723776 140736257721176 4889024 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 16576512 140736257725633 140736257725763 140736257725763 140736257728462 0
/proc/7158/statm: 6792 938 741 379 0 211 0
Current children cumulated CPU time (s) 2400.08
Current children cumulated vsize (KiB) 27168

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

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 7158 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+2400.1 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 7315
/proc/meminfo: memFree=32119504/32770624 swapFree=5780/118668
[pid=7158] ppid=7155 vsize=27168 CPUtime=2400.08 cores=1,3,5,7
/proc/7158/stat : 7158 (cosoco) R 7155 7158 3574 0 -1 4202496 7165 0 0 0 240008 0 0 0 20 0 1 0 1804690 27820032 938 33554432000 4194304 5744392 140736257723776 140736257721176 4889024 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 16576512 140736257725633 140736257725763 140736257725763 140736257728462 0
/proc/7158/statm: 6792 938 741 379 0 211 0
Current children cumulated CPU time (s) 2400.08
Current children cumulated vsize (KiB) 27168

Child status: 1
Real time (s): 2400.1
CPU time (s): 2400.09
CPU user time (s): 2400.09
CPU system time (s): 0.005999
CPU usage (%): 99.9996
Max. virtual memory (cumulated for all children) (KiB): 27168

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400.09
system time used= 0.005999
maximum resident set size= 3796
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7192
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= 632

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.71657 second user time and 7.70721 second system time

The end

Launcher Data 

Begin job on node141 at 2017-07-24 20:54:14
IDJOB=4252582
IDBENCH=126861
IDSOLVER=2633
FILE ID=node141/4252582-1500922454
RUNJOBID= node141-1500914920-3606
PBS_JOBID= 20625403
Free space on /tmp= 61720 MiB

SOLVER NAME= cosoco-mini 1.1
BENCH NAME= XCSP17/Dubois/Dubois-m1-s1/Dubois-050.xml
COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4252582-1500922454/watcher-4252582-1500922454 -o /tmp/evaluation-result-4252582-1500922454/solver-4252582-1500922454 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node141-1500914920-3606 --watchdog 2560  HOME/cosoco -lc -model -restarts HOME/instance-4252582-1500922454.xml

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

MD5SUM BENCH= 630ab63eaf7c5bcaa7f0eb192a58705a
RANDOM SEED=2000233988

node141.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.73
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.73
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.73
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.73
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:        32087112 kB
MemAvailable:   32026108 kB
Buffers:           34924 kB
Cached:           218184 kB
SwapCached:            0 kB
Active:           207980 kB
Inactive:         125732 kB
Active(anon):      83116 kB
Inactive(anon):     8644 kB
Active(file):     124864 kB
Inactive(file):   117088 kB
Unevictable:        5780 kB
Mlocked:            5780 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              2204 kB
Writeback:             0 kB
AnonPages:         87864 kB
Mapped:            28864 kB
Shmem:              8848 kB
Slab:              51384 kB
SReclaimable:      25756 kB
SUnreclaim:        25628 kB
KernelStack:        3344 kB
PageTables:         4504 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     321140 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     43008 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /tmp at the end= 61720 MiB
End job on node141 at 2017-07-24 21:34:14