Trace number 4241432

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
R1: cosoco 1.1? (TO) 2400.03 2400.21

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.0074439999
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.01	c root propagations     : 0           
0.00/0.01	c restarts enabled, print stats at every restarts
0.00/0.01	c
0.00/0.01	c
0.00/0.01	c
0.00/0.01	c This is cosoco 1.0 --  
0.00/0.01	c
0.00/0.01	c ========================================[ Problem Statistics ]===========================================
0.00/0.01	c |                                                                                                       
0.00/0.01	c |  Parse time        :         0.00 s 
0.00/0.01	c |
0.00/0.01	c |               Variables: 150
0.00/0.01	c |            Domain Sizes: 2..2
0.00/0.01	c |
0.00/0.01	c |             Constraints: 100
0.00/0.01	c |                   Arity: 3..3  -- Ternary: 100
0.00/0.01	c | 
0.00/0.01	c |                   Types: 
0.00/0.01	c |                          Extension: 100  (nb tuples: 4..4) -- (shared: 95)
0.00/0.01	c |                          
0.00/0.01	c =========================================================================================================
0.00/0.01	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
0.00/0.02	c 101            2800           11901          11538          0              0              51   147   103 
0.00/0.02	c 211            3259           13597          13114          0              0              63   148   100 
0.00/0.02	c 332            3968           16470          15740          0              0              64   140   102 
0.00/0.02	c 465            4986           20118          19150          0              0              122   141   134
0.00/0.03	c 611            5959           23592          22444          0              0              47   117   86  
0.00/0.03	c 771            6927           27050          25655          0              0              117   143   127
0.00/0.03	c 947            8042           31177          29529          0              0              108   143   127
0.00/0.04	c 1140           9324           35633          33819          0              0              17   110   67  
0.00/0.04	c 1352           10650          40479          38393          0              0              29   137   124 
0.00/0.05	c 1585           12188          45812          43520          0              0              41   72   65   
0.00/0.06	c 1841           13855          51696          49054          0              0              17   149   124 
0.00/0.06	c 2122           15667          58022          55089          0              0              19   147   117 
0.00/0.07	c 2431           17920          65764          62481          0              0              22   145   125 
0.00/0.08	c 2770           20488          74766          71155          0              0              41   125   113 
0.00/0.09	c 3142           23249          84536          80574          0              0              78   105   97  
0.00/0.09	c 3551           25796          93641          89327          0              0              76   103   95  
0.09/0.10	c 4000           29329          105567         100829         0              0              15   147   135 
0.09/0.11	c 4493           33318          119399         114265         0              0              18   145   134 
0.09/0.12	c 5035           37002          132094         126518         0              0              22   108   98  
0.09/0.13	c 5631           41059          146276         140294         0              0              25   140   126 
0.09/0.15	c 6286           46513          164972         158671         0              0              16   145   125 
0.09/0.16	c 7006           52161          185009         178185         0              0              81   142   132 
0.09/0.17	c 7798           57872          205221         197754         0              0              27   144   128 
0.09/0.19	c 8669           64613          228873         220734         0              0              73   131   118 
0.19/0.21	c 9627           70861          250611         241761         0              0              15   142   107 
0.19/0.22	c 10680          77851          275728         266252         0              0              117   143   136
0.19/0.25	c 11838          86748          306769         296388         0              0              47   141   131 
0.19/0.27	c 13111          96829          341967         330881         0              0              33   139   112 
0.19/0.30	c 14511          105972         373889         361849         0              0              24   141   107 
0.29/0.32	c 16051          116783         413405         400435         0              0              18   140   130 
0.29/0.35	c 17745          128658         456304         441949         0              0              54   138   123 
0.29/0.39	c 19608          142576         505622         489654         0              0              84   138   127 
0.39/0.42	c 21657          157833         559667         542908         0              0              108   140   133
0.39/0.47	c 23910          176604         625497         607645         0              0              24   137   111 
0.49/0.52	c 26388          198125         700200         680889         0              0              55   137   115 
0.49/0.58	c 29113          219020         772240         751672         0              0              41   139   102 
0.59/0.64	c 32110          242339         855229         833070         0              0              18   140   120 
0.69/0.70	c 35406          270256         953773         929628         0              0              75   137   131 
0.69/0.77	c 39031          297386         1050089        1024476        0              0              81   137   112 
0.79/0.84	c 43018          326457         1152463        1123963        0              0              31   139   131 
0.89/0.94	c 47403          363932         1284459        1253164        0              0              76   137   130 
0.99/1.02	c 52226          399330         1412852        1378009        0              0              99   140   133 
1.10/1.11	c 57531          436628         1542606        1504829        0              0              38   139   125 
1.20/1.22	c 63366          481131         1698937        1658195        0              0              81   138   128 
1.29/1.34	c 69784          528856         1871930        1828076        0              0              99   137   129 
1.49/1.50	c 76843          594591         2102754        2054271        0              0              87   138   126 
1.59/1.65	c 84607          653315         2306664        2253724        0              0              23   139   125 
1.79/1.80	c 93147          713695         2523507        2466382        0              0              75   137   127 
1.99/2.00	c 102541         797733         2816675        2753341        0              0              66   137   131 
2.20/2.21	c 112874         883867         3117980        3050067        0              0              66   140   129 
2.39/2.48	c 124240         991643         3487648        3416097        0              0              34   139   126 
2.69/2.75	c 136742         1098335        3862726        3784973        0              0              79   124   113 
2.99/3.01	c 150494         1204384        4232732        4147281        0              0              30   137   125 
3.30/3.37	c 165621         1335329        4691706        4598535        0              0              45   126   81  
3.69/3.72	c 182260         1478415        5181623        5075569        0              0              29   139   128 
3.99/4.06	c 200562         1615996        5668491        5550569        0              0              38   139   116 
4.40/4.46	c 220694         1774760        6235063        6103764        0              0              78   137   124 
4.89/4.92	c 242839         1966198        6897355        6756846        0              0              42   139   130 
5.39/5.49	c 267198         2190714        7700410        7549514        0              0              75   137   125 
5.99/6.04	c 293992         2407867        8463069        8295584        0              0              41   136   108 
6.70/6.72	c 323465         2673871        9389178        9204091        0              0              23   135   113 
7.29/7.38	c 355885         2932496        10292271       10090969       0              0              37   135   104 
8.09/8.16	c 391547         3248320        11432238       11206834       0              0              28   138   128 
8.90/8.94	c 430775         3556185        12547230       12296940       0              0              69   135   123 
9.69/9.75	c 473925         3880838        13678833       13407689       0              0              31   137   113 
10.69/10.76	c 521390         4285141        15117781       14817589       0              0              51   138   124 
11.89/11.90	c 573601         4749867        16726336       16392667       0              0              38   137   127 
13.09/13.14	c 631033         5248244        18511024       18140930       0              0              78   135   122 
14.49/14.53	c 694208         5815959        20470885       20071823       0              0              46   135   127 
15.99/16.07	c 763700         6432466        22689498       22252431       0              0              79   138   128 
17.79/17.81	c 840141         7141416        25127131       24654378       0              0              43   135   123 
19.69/19.76	c 924226         7923987        27931673       27397652       0              0              83   138   129 
21.59/21.66	c 1016719        8706011        30619269       30045939       0              0              36   137   126 
23.89/23.91	c 1118461        9612098        33864031       33228516       0              0              80   138   128 
26.19/26.21	c 1230377        10552708       37100197       36405308       0              0              38   138   128 
28.89/28.98	c 1353484        11671744       41099816       40345615       0              0              82   139   129 
31.90/31.98	c 1488901        12900906       45319974       44494438       0              0              58   137   127 
34.99/35.03	c 1637859        14132875       49737200       48816238       0              0              82   139   128 
38.60/38.62	c 1801712        15604022       54798538       53804073       0              0              37   137   128 
42.59/42.65	c 1981950        17228138       60618688       59510970       0              0              50   138   128 
46.79/46.82	c 2180211        18887735       66556747       65301350       0              0              61   135   120 
50.99/51.02	c 2398298        20588206       72431587       71072393       0              0              39   137   123 
56.29/56.39	c 2638193        22745319       80184808       78676165       0              0              25   138   127 
62.09/62.13	c 2902077        25082146       88241819       86587229       0              0              42   137   123 
68.79/68.86	c 3192349        27791657       97879473       96038769       0              0              15   138   126 
75.89/75.93	c 3511648        30649377       107715111      105716163      0              0              37   138   122 
83.89/83.91	c 3862876        33870139       119159304      116920230      0              0              24   138   128 
92.59/92.63	c 4249226        37419836       131310907      128881397      0              0              39   136   125 
102.29/102.33	c 4674211        41349250       145261210      142589386      0              0              46   138   129 
112.19/112.21	c 5141694        45318906       159036146      156153413      0              0              32   138   119 
124.29/124.36	c 5655925        50191172       176207451      172998980      0              0              16   138   123 
137.59/137.68	c 6221579        55387898       194191821      190683517      0              0              40   136   107 
151.08/151.17	c 6843798        60841594       213500312      209609811      0              0              28   138   127 
166.38/166.42	c 7528238        67002516       234693990      230505145      0              0              50   136   121 
182.38/182.43	c 8281122        73472162       257844512      253079598      0              0              56   138   128 
203.58/203.62	c 9109294        81852982       286640633      281586857      0              0              40   138   116 
222.48/222.51	c 10020283       89445843       313645108      308084569      0              0              49   138   124 
242.68/242.78	c 11022370       97652685       341945170      336065195      0              0              33   135   122 
268.38/268.42	c 12124665       108002194      378790494      372093619      0              0              37   138   127 
297.57/297.66	c 13337189       119735744      419133566      411613823      0              0              42   138   119 
327.17/327.21	c 14670965       131597728      461277041      452944733      0              0              45   138   124 
358.97/359.07	c 16138118       144296418      505117645      496120067      0              0              37   138   116 
395.07/395.18	c 17751986       158798103      556445762      546570307      0              0              61   138   125 
435.96/436.02	c 19527240       174613988      610770840      600217752      0              0              26   136   103 
481.66/481.71	c 21480019       193109728      676004130      663968571      0              0              65   138   128 
526.36/526.42	c 23628075       211126861      738240899      725221149      0              0              60   136   120 
576.15/576.22	c 25990936       231108876      809805403      795216549      0              0              65   138   125 
631.85/631.95	c 28590083       253394940      886451400      870672365      0              0              31   137   116 
695.95/696.00	c 31449144       279304248      978806492      960950729      0              0              24   138   128 
763.14/763.25	c 34594111       305480665      1069815546     1050815417     0              0              31   136   105 
845.43/845.50	c 38053574       338114193      1184300560     1163452290     0              0              42   138   122 
955.42/955.54	c 41858983       381888373      1336983424     1314365698     0              0              32   138   124 
1067.72/1067.85	c 46044932       426430281      1492482554     1468068010     0              0              38   138   121 
1171.41/1171.51	c 50649475       467330037      1636513442     1609927133     0              0              35   138   118 
1285.50/1285.60	c 55714472       512228201      1794089874     1765852463     0              0              29   138   114 
1431.89/1432.05	c 61285968       568259670      1986998727     1956224673     0              0              24   137   98  
1585.18/1585.39	c 67414613       629609575      2204498537     2170867573     0              0              36   139   127 
1752.76/1752.91	c 74156122       695791222      2433071599     2395586261     0              0              40   137   115 
1908.15/1908.33	c 81571781       758077638      2657701835     2615605545     0              0              55   138   125 
2116.04/2116.21	c 89729005       840972127      2946635845     2901783063     0              0              24   138   121 
2335.02/2335.24	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-4241432-1500631278/watcher-4241432-1500631278 -o /tmp/evaluation-result-4241432-1500631278/solver-4241432-1500631278 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node102-1500623787-4394 --watchdog 2560 HOME/cosoco -lc -model -restarts HOME/instance-4241432-1500631278.xml 

pid=5794
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: 1.96 1.99 2.02 3/191 5797
/proc/meminfo: memFree=30879148/32770624 swapFree=6824/686096
[pid=5797] ppid=5794 vsize=27124 CPUtime=0 cores=1,3,5,7
/proc/5797/stat : 5797 (cosoco) R 5794 5797 4362 0 -1 4202496 994 0 0 0 0 0 0 0 20 0 1 0 24407194 27774976 832 33554432000 4194304 5970956 140732320905024 140732320901672 140562888088549 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 8070896 8075904 10829824 140732320912577 140732320912707 140732320912707 140732320915406 0
/proc/5797/statm: 6781 832 717 434 0 145 0

[startup+0.100115 s]
/proc/loadavg: 1.96 1.99 2.02 3/191 5797
/proc/meminfo: memFree=30879148/32770624 swapFree=6824/686096
[pid=5797] ppid=5794 vsize=27388 CPUtime=0.09 cores=1,3,5,7
/proc/5797/stat : 5797 (cosoco) R 5794 5797 4362 0 -1 4202496 1115 0 0 0 9 0 0 0 20 0 1 0 24407194 28045312 898 33554432000 4194304 5970956 140732320905024 140732320902360 5337412 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 10829824 140732320912577 140732320912707 140732320912707 140732320915406 0
/proc/5797/statm: 6847 898 742 434 0 211 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27388

[startup+0.200231 s]
/proc/loadavg: 1.96 1.99 2.02 3/191 5797
/proc/meminfo: memFree=30879148/32770624 swapFree=6824/686096
[pid=5797] ppid=5794 vsize=27388 CPUtime=0.19 cores=1,3,5,7
/proc/5797/stat : 5797 (cosoco) R 5794 5797 4362 0 -1 4202496 1116 0 0 0 19 0 0 0 20 0 1 0 24407194 28045312 898 33554432000 4194304 5970956 140732320905024 140732320902360 4930544 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 10829824 140732320912577 140732320912707 140732320912707 140732320915406 0
/proc/5797/statm: 6847 898 742 434 0 211 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 27388

[startup+0.300218 s]
/proc/loadavg: 1.96 1.99 2.02 3/191 5797
/proc/meminfo: memFree=30879148/32770624 swapFree=6824/686096
[pid=5797] ppid=5794 vsize=27388 CPUtime=0.29 cores=1,3,5,7
/proc/5797/stat : 5797 (cosoco) R 5794 5797 4362 0 -1 4202496 1116 0 0 0 29 0 0 0 20 0 1 0 24407194 28045312 898 33554432000 4194304 5970956 140732320905024 140732320902360 140562888526944 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 10829824 140732320912577 140732320912707 140732320912707 140732320915406 0
/proc/5797/statm: 6847 898 742 434 0 211 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 27388

[startup+0.700173 s]
/proc/loadavg: 1.96 1.99 2.02 3/191 5797
/proc/meminfo: memFree=30879148/32770624 swapFree=6824/686096
[pid=5797] ppid=5794 vsize=27388 CPUtime=0.69 cores=1,3,5,7
/proc/5797/stat : 5797 (cosoco) R 5794 5797 4362 0 -1 4202496 1116 0 0 0 69 0 0 0 20 0 1 0 24407194 28045312 898 33554432000 4194304 5970956 140732320905024 140732320902360 5322040 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 10829824 140732320912577 140732320912707 140732320912707 140732320915406 0
/proc/5797/statm: 6847 898 742 434 0 211 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 27388

[startup+1.50017 s]
/proc/loadavg: 1.96 1.99 2.02 3/192 5798
/proc/meminfo: memFree=30878192/32770624 swapFree=6824/686084
[pid=5797] ppid=5794 vsize=27388 CPUtime=1.49 cores=1,3,5,7
/proc/5797/stat : 5797 (cosoco) R 5794 5797 4362 0 -1 4202496 1116 0 0 0 149 0 0 0 20 0 1 0 24407194 28045312 898 33554432000 4194304 5970956 140732320905024 140732320902360 4934864 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 10829824 140732320912577 140732320912707 140732320912707 140732320915406 0
/proc/5797/statm: 6847 898 742 434 0 211 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 27388

[startup+3.10017 s]
/proc/loadavg: 1.96 1.99 2.02 3/192 5798
/proc/meminfo: memFree=30877820/32770624 swapFree=6824/686084
[pid=5797] ppid=5794 vsize=27388 CPUtime=3.09 cores=1,3,5,7
/proc/5797/stat : 5797 (cosoco) R 5794 5797 4362 0 -1 4202496 1254 0 0 0 309 0 0 0 20 0 1 0 24407194 28045312 957 33554432000 4194304 5970956 140732320905024 140732320902360 4908741 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 10829824 140732320912577 140732320912707 140732320912707 140732320915406 0
/proc/5797/statm: 6847 957 758 434 0 211 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 27388

[startup+6.30018 s]
/proc/loadavg: 1.96 1.99 2.02 3/192 5798
/proc/meminfo: memFree=30877536/32770624 swapFree=6824/686096
[pid=5797] ppid=5794 vsize=27388 CPUtime=6.29 cores=1,3,5,7
/proc/5797/stat : 5797 (cosoco) R 5794 5797 4362 0 -1 4202496 1392 0 0 0 629 0 0 0 20 0 1 0 24407194 28045312 957 33554432000 4194304 5970956 140732320905024 140732320902360 4930654 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 10829824 140732320912577 140732320912707 140732320912707 140732320915406 0
/proc/5797/statm: 6847 957 758 434 0 211 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 27388

[startup+12.7002 s]
/proc/loadavg: 1.97 1.99 2.02 3/192 5798
/proc/meminfo: memFree=30877152/32770624 swapFree=6824/686104
[pid=5797] ppid=5794 vsize=27388 CPUtime=12.69 cores=1,3,5,7
/proc/5797/stat : 5797 (cosoco) R 5794 5797 4362 0 -1 4202496 1530 0 0 0 1269 0 0 0 20 0 1 0 24407194 28045312 957 33554432000 4194304 5970956 140732320905024 140732320902360 4930640 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 10829824 140732320912577 140732320912707 140732320912707 140732320915406 0
/proc/5797/statm: 6847 957 758 434 0 211 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 27388

[startup+25.5002 s]
/proc/loadavg: 1.97 1.99 2.02 3/192 5798
/proc/meminfo: memFree=30877136/32770624 swapFree=6824/686116
[pid=5797] ppid=5794 vsize=27388 CPUtime=25.49 cores=1,3,5,7
/proc/5797/stat : 5797 (cosoco) R 5794 5797 4362 0 -1 4202496 1806 0 0 0 2549 0 0 0 20 0 1 0 24407194 28045312 957 33554432000 4194304 5970956 140732320905024 140732320902360 5337412 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 10829824 140732320912577 140732320912707 140732320912707 140732320915406 0
/proc/5797/statm: 6847 957 758 434 0 211 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 27388

[startup+51.1002 s]
/proc/loadavg: 1.98 1.99 2.02 3/192 5798
/proc/meminfo: memFree=30877172/32770624 swapFree=6824/686144
[pid=5797] ppid=5794 vsize=27388 CPUtime=51.09 cores=1,3,5,7
/proc/5797/stat : 5797 (cosoco) R 5794 5797 4362 0 -1 4202496 1944 0 0 0 5109 0 0 0 20 0 1 0 24407194 28045312 957 33554432000 4194304 5970956 140732320905024 140732320902360 5311648 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 10829824 140732320912577 140732320912707 140732320912707 140732320915406 0
/proc/5797/statm: 6847 957 758 434 0 211 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 27388

[startup+102.3 s]
/proc/loadavg: 2.03 2.01 2.03 3/192 5799
/proc/meminfo: memFree=30876544/32770624 swapFree=6824/686220
[pid=5797] ppid=5794 vsize=27388 CPUtime=102.29 cores=1,3,5,7
/proc/5797/stat : 5797 (cosoco) R 5794 5797 4362 0 -1 4202496 2082 0 0 0 10229 0 0 0 20 0 1 0 24407194 28045312 957 33554432000 4194304 5970956 140732320905024 140732320902360 5337505 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 10829824 140732320912577 140732320912707 140732320912707 140732320915406 0
/proc/5797/statm: 6847 957 758 434 0 211 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 27388

[startup+162.3 s]
/proc/loadavg: 2.01 2.01 2.03 3/192 5800
/proc/meminfo: memFree=30876068/32770624 swapFree=6824/686280
[pid=5797] ppid=5794 vsize=27388 CPUtime=162.28 cores=1,3,5,7
/proc/5797/stat : 5797 (cosoco) R 5794 5797 4362 0 -1 4202496 2220 0 0 0 16228 0 0 0 20 0 1 0 24407194 28045312 957 33554432000 4194304 5970956 140732320905024 140732320902360 5337501 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 10829824 140732320912577 140732320912707 140732320912707 140732320915406 0
/proc/5797/statm: 6847 957 758 434 0 211 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 27388

[startup+222.306 s]
/proc/loadavg: 2.00 2.01 2.03 3/192 5801
/proc/meminfo: memFree=30876084/32770624 swapFree=6824/686340
[pid=5797] ppid=5794 vsize=27388 CPUtime=222.28 cores=1,3,5,7
/proc/5797/stat : 5797 (cosoco) R 5794 5797 4362 0 -1 4202496 2358 0 0 0 22228 0 0 0 20 0 1 0 24407194 28045312 957 33554432000 4194304 5970956 140732320905024 140732320902360 5311662 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 10829824 140732320912577 140732320912707 140732320912707 140732320915406 0
/proc/5797/statm: 6847 957 758 434 0 211 0
Current children cumulated CPU time (s) 222.28
Current children cumulated vsize (KiB) 27388

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.03 3/191 5802
/proc/meminfo: memFree=30876792/32770624 swapFree=6824/686396
[pid=5797] ppid=5794 vsize=27388 CPUtime=282.27 cores=1,3,5,7
/proc/5797/stat : 5797 (cosoco) R 5794 5797 4362 0 -1 4202496 2496 0 0 0 28227 0 0 0 20 0 1 0 24407194 28045312 957 33554432000 4194304 5970956 140732320905024 140732320902360 5322040 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 10829824 140732320912577 140732320912707 140732320912707 140732320915406 0
/proc/5797/statm: 6847 957 758 434 0 211 0
Current children cumulated CPU time (s) 282.27
Current children cumulated vsize (KiB) 27388

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.03 3/191 5803
/proc/meminfo: memFree=30876620/32770624 swapFree=6824/686440
[pid=5797] ppid=5794 vsize=27388 CPUtime=342.27 cores=1,3,5,7
/proc/5797/stat : 5797 (cosoco) R 5794 5797 4362 0 -1 4202496 2634 0 0 0 34227 0 0 0 20 0 1 0 24407194 28045312 957 33554432000 4194304 5970956 140732320905024 140732320902360 4934978 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 10829824 140732320912577 140732320912707 140732320912707 140732320915406 0
/proc/5797/statm: 6847 957 758 434 0 211 0
Current children cumulated CPU time (s) 342.27
Current children cumulated vsize (KiB) 27388

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.03 3/191 5804
/proc/meminfo: memFree=30876264/32770624 swapFree=6824/686476
[pid=5797] ppid=5794 vsize=27388 CPUtime=402.27 cores=1,3,5,7
/proc/5797/stat : 5797 (cosoco) R 5794 5797 4362 0 -1 4202496 2772 0 0 0 40227 0 0 0 20 0 1 0 24407194 28045312 957 33554432000 4194304 5970956 140732320905024 140732320902360 4930654 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 10829824 140732320912577 140732320912707 140732320912707 140732320915406 0
/proc/5797/statm: 6847 957 758 434 0 211 0
Current children cumulated CPU time (s) 402.27
Current children cumulated vsize (KiB) 27388

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.03 3/191 5805
/proc/meminfo: memFree=30876468/32770624 swapFree=6824/686528
[pid=5797] ppid=5794 vsize=27388 CPUtime=462.26 cores=1,3,5,7
/proc/5797/stat : 5797 (cosoco) R 5794 5797 4362 0 -1 4202496 2910 0 0 0 46226 0 0 0 20 0 1 0 24407194 28045312 957 33554432000 4194304 5970956 140732320905024 140732320902360 4930648 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 10829824 140732320912577 140732320912707 140732320912707 140732320915406 0
/proc/5797/statm: 6847 957 758 434 0 211 0
Current children cumulated CPU time (s) 462.26
Current children cumulated vsize (KiB) 27388

[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.03 3/191 5806
/proc/meminfo: memFree=30876352/32770624 swapFree=6824/686572
[pid=5797] ppid=5794 vsize=27388 CPUtime=522.26 cores=1,3,5,7
/proc/5797/stat : 5797 (cosoco) R 5794 5797 4362 0 -1 4202496 3048 0 0 0 52226 0 0 0 20 0 1 0 24407194 28045312 957 33554432000 4194304 5970956 140732320905024 140732320902360 5337501 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 10829824 140732320912577 140732320912707 140732320912707 140732320915406 0
/proc/5797/statm: 6847 957 758 434 0 211 0
Current children cumulated CPU time (s) 522.26
Current children cumulated vsize (KiB) 27388

[startup+582.3 s]
/proc/loadavg: 2.05 2.02 2.04 3/191 5812
/proc/meminfo: memFree=30876160/32770624 swapFree=6824/686620
[pid=5797] ppid=5794 vsize=27388 CPUtime=582.25 cores=1,3,5,7
/proc/5797/stat : 5797 (cosoco) R 5794 5797 4362 0 -1 4202496 3186 0 0 0 58225 0 0 0 20 0 1 0 24407194 28045312 957 33554432000 4194304 5970956 140732320905024 140732320902360 5319216 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 10829824 140732320912577 140732320912707 140732320912707 140732320915406 0
/proc/5797/statm: 6847 957 758 434 0 211 0
Current children cumulated CPU time (s) 582.25
Current children cumulated vsize (KiB) 27388


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

[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 5834
/proc/meminfo: memFree=30875932/32770624 swapFree=6824/687208
[pid=5797] ppid=5794 vsize=27388 CPUtime=1482.18 cores=1,3,5,7
/proc/5797/stat : 5797 (cosoco) R 5794 5797 4362 0 -1 4202496 5184 0 0 0 148218 0 0 0 20 0 1 0 24407194 28045312 957 33554432000 4194304 5970956 140732320905024 140732320902360 5337412 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 10829824 140732320912577 140732320912707 140732320912707 140732320915406 0
/proc/5797/statm: 6847 957 758 434 0 211 0
Current children cumulated CPU time (s) 1482.18
Current children cumulated vsize (KiB) 27388

[startup+1542.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 5835
/proc/meminfo: memFree=30875776/32770624 swapFree=6824/687240
[pid=5797] ppid=5794 vsize=27388 CPUtime=1542.19 cores=1,3,5,7
/proc/5797/stat : 5797 (cosoco) R 5794 5797 4362 0 -1 4202496 5310 0 0 0 154219 0 0 0 20 0 1 0 24407194 28045312 957 33554432000 4194304 5970956 140732320905024 140732320902360 4930611 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 10829824 140732320912577 140732320912707 140732320912707 140732320915406 0
/proc/5797/statm: 6847 957 758 434 0 211 0
Current children cumulated CPU time (s) 1542.19
Current children cumulated vsize (KiB) 27388

[startup+1602.3 s]
/proc/loadavg: 2.11 2.04 2.05 3/191 5836
/proc/meminfo: memFree=30875676/32770624 swapFree=6824/687272
[pid=5797] ppid=5794 vsize=27388 CPUtime=1602.17 cores=1,3,5,7
/proc/5797/stat : 5797 (cosoco) R 5794 5797 4362 0 -1 4202496 5448 0 0 0 160217 0 0 0 20 0 1 0 24407194 28045312 957 33554432000 4194304 5970956 140732320905024 140732320902360 4930544 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 10829824 140732320912577 140732320912707 140732320912707 140732320915406 0
/proc/5797/statm: 6847 957 758 434 0 211 0
Current children cumulated CPU time (s) 1602.17
Current children cumulated vsize (KiB) 27388

[startup+1662.3 s]
/proc/loadavg: 2.04 2.04 2.05 3/191 5838
/proc/meminfo: memFree=30875652/32770624 swapFree=6824/687316
[pid=5797] ppid=5794 vsize=27388 CPUtime=1662.17 cores=1,3,5,7
/proc/5797/stat : 5797 (cosoco) R 5794 5797 4362 0 -1 4202496 5574 0 0 0 166217 0 0 0 20 0 1 0 24407194 28045312 957 33554432000 4194304 5970956 140732320905024 140732320902360 4934660 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 10829824 140732320912577 140732320912707 140732320912707 140732320915406 0
/proc/5797/statm: 6847 957 758 434 0 211 0
Current children cumulated CPU time (s) 1662.17
Current children cumulated vsize (KiB) 27388

[startup+1722.3 s]
/proc/loadavg: 2.08 2.05 2.05 3/191 5839
/proc/meminfo: memFree=30875756/32770624 swapFree=6824/687356
[pid=5797] ppid=5794 vsize=27388 CPUtime=1722.17 cores=1,3,5,7
/proc/5797/stat : 5797 (cosoco) R 5794 5797 4362 0 -1 4202496 5699 0 0 0 172217 0 0 0 20 0 1 0 24407194 28045312 957 33554432000 4194304 5970956 140732320905024 140732320902360 4934370 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 10829824 140732320912577 140732320912707 140732320912707 140732320915406 0
/proc/5797/statm: 6847 957 758 434 0 211 0
Current children cumulated CPU time (s) 1722.17
Current children cumulated vsize (KiB) 27388

[startup+1782.3 s]
/proc/loadavg: 2.03 2.04 2.05 3/191 5845
/proc/meminfo: memFree=30874856/32770624 swapFree=6824/687400
[pid=5797] ppid=5794 vsize=27388 CPUtime=1782.16 cores=1,3,5,7
/proc/5797/stat : 5797 (cosoco) R 5794 5797 4362 0 -1 4202496 5837 0 0 0 178216 0 0 0 20 0 1 0 24407194 28045312 957 33554432000 4194304 5970956 140732320905024 140732320902360 5319216 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 10829824 140732320912577 140732320912707 140732320912707 140732320915406 0
/proc/5797/statm: 6847 957 758 434 0 211 0
Current children cumulated CPU time (s) 1782.16
Current children cumulated vsize (KiB) 27388

[startup+1842.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/191 5846
/proc/meminfo: memFree=30874996/32770624 swapFree=6824/687432
[pid=5797] ppid=5794 vsize=27388 CPUtime=1842.16 cores=1,3,5,7
/proc/5797/stat : 5797 (cosoco) R 5794 5797 4362 0 -1 4202496 5962 0 0 0 184216 0 0 0 20 0 1 0 24407194 28045312 957 33554432000 4194304 5970956 140732320905024 140732320902360 4908744 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 10829824 140732320912577 140732320912707 140732320912707 140732320915406 0
/proc/5797/statm: 6847 957 758 434 0 211 0
Current children cumulated CPU time (s) 1842.16
Current children cumulated vsize (KiB) 27388

[startup+1902.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/191 5847
/proc/meminfo: memFree=30875536/32770624 swapFree=6824/687472
[pid=5797] ppid=5794 vsize=27388 CPUtime=1902.15 cores=1,3,5,7
/proc/5797/stat : 5797 (cosoco) R 5794 5797 4362 0 -1 4202496 6083 0 0 0 190215 0 0 0 20 0 1 0 24407194 28045312 957 33554432000 4194304 5970956 140732320905024 140732320902360 4930611 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 10829824 140732320912577 140732320912707 140732320912707 140732320915406 0
/proc/5797/statm: 6847 957 758 434 0 211 0
Current children cumulated CPU time (s) 1902.15
Current children cumulated vsize (KiB) 27388

[startup+1962.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/191 5848
/proc/meminfo: memFree=30875668/32770624 swapFree=6824/687508
[pid=5797] ppid=5794 vsize=27388 CPUtime=1962.15 cores=1,3,5,7
/proc/5797/stat : 5797 (cosoco) R 5794 5797 4362 0 -1 4202496 6226 0 0 0 196215 0 0 0 20 0 1 0 24407194 28045312 957 33554432000 4194304 5970956 140732320905024 140732320902360 4908188 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 10829824 140732320912577 140732320912707 140732320912707 140732320915406 0
/proc/5797/statm: 6847 957 758 434 0 211 0
Current children cumulated CPU time (s) 1962.15
Current children cumulated vsize (KiB) 27388

[startup+2022.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/191 5849
/proc/meminfo: memFree=30875460/32770624 swapFree=6824/687540
[pid=5797] ppid=5794 vsize=27388 CPUtime=2022.14 cores=1,3,5,7
/proc/5797/stat : 5797 (cosoco) R 5794 5797 4362 0 -1 4202496 6352 0 0 0 202214 0 0 0 20 0 1 0 24407194 28045312 957 33554432000 4194304 5970956 140732320905024 140732320902360 5337412 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 10829824 140732320912577 140732320912707 140732320912707 140732320915406 0
/proc/5797/statm: 6847 957 758 434 0 211 0
Current children cumulated CPU time (s) 2022.14
Current children cumulated vsize (KiB) 27388

[startup+2082.3 s]
/proc/loadavg: 2.13 2.04 2.05 3/191 5850
/proc/meminfo: memFree=30875824/32770624 swapFree=6824/687576
[pid=5797] ppid=5794 vsize=27388 CPUtime=2082.15 cores=1,3,5,7
/proc/5797/stat : 5797 (cosoco) R 5794 5797 4362 0 -1 4202496 6478 0 0 0 208215 0 0 0 20 0 1 0 24407194 28045312 957 33554432000 4194304 5970956 140732320905024 140732320902360 5321968 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 10829824 140732320912577 140732320912707 140732320912707 140732320915406 0
/proc/5797/statm: 6847 957 758 434 0 211 0
Current children cumulated CPU time (s) 2082.15
Current children cumulated vsize (KiB) 27388

[startup+2142.3 s]
/proc/loadavg: 2.05 2.04 2.05 3/190 5851
/proc/meminfo: memFree=30876620/32770624 swapFree=6824/687612
[pid=5797] ppid=5794 vsize=27388 CPUtime=2142.14 cores=1,3,5,7
/proc/5797/stat : 5797 (cosoco) R 5794 5797 4362 0 -1 4202496 6616 0 0 0 214214 0 0 0 20 0 1 0 24407194 28045312 957 33554432000 4194304 5970956 140732320905024 140732320902360 5337487 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 10829824 140732320912577 140732320912707 140732320912707 140732320915406 0
/proc/5797/statm: 6847 957 758 434 0 211 0
Current children cumulated CPU time (s) 2142.14
Current children cumulated vsize (KiB) 27388

[startup+2202.31 s]
/proc/loadavg: 2.02 2.03 2.05 3/191 5853
/proc/meminfo: memFree=30875852/32770624 swapFree=6824/687644
[pid=5797] ppid=5794 vsize=27388 CPUtime=2202.14 cores=1,3,5,7
/proc/5797/stat : 5797 (cosoco) R 5794 5797 4362 0 -1 4202496 6742 0 0 0 220214 0 0 0 20 0 1 0 24407194 28045312 957 33554432000 4194304 5970956 140732320905024 140732320902360 4934868 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 10829824 140732320912577 140732320912707 140732320912707 140732320915406 0
/proc/5797/statm: 6847 957 758 434 0 211 0
Current children cumulated CPU time (s) 2202.14
Current children cumulated vsize (KiB) 27388

[startup+2262.3 s]
/proc/loadavg: 2.06 2.04 2.05 3/191 5854
/proc/meminfo: memFree=30875976/32770624 swapFree=6824/687672
[pid=5797] ppid=5794 vsize=27388 CPUtime=2262.13 cores=1,3,5,7
/proc/5797/stat : 5797 (cosoco) R 5794 5797 4362 0 -1 4202496 6868 0 0 0 226213 0 0 0 20 0 1 0 24407194 28045312 957 33554432000 4194304 5970956 140732320905024 140732320902360 5319222 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 10829824 140732320912577 140732320912707 140732320912707 140732320915406 0
/proc/5797/statm: 6847 957 758 434 0 211 0
Current children cumulated CPU time (s) 2262.13
Current children cumulated vsize (KiB) 27388

[startup+2322.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/191 5916
/proc/meminfo: memFree=31090008/32770624 swapFree=6824/687752
[pid=5797] ppid=5794 vsize=27388 CPUtime=2322.12 cores=1,3,5,7
/proc/5797/stat : 5797 (cosoco) R 5794 5797 4362 0 -1 4202496 6994 0 0 0 232212 0 0 0 20 0 1 0 24407194 28045312 957 33554432000 4194304 5970956 140732320905024 140732320902360 5311659 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 10829824 140732320912577 140732320912707 140732320912707 140732320915406 0
/proc/5797/statm: 6847 957 758 434 0 211 0
Current children cumulated CPU time (s) 2322.12
Current children cumulated vsize (KiB) 27388

[startup+2382.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/191 5922
/proc/meminfo: memFree=31090512/32770624 swapFree=6824/687828
[pid=5797] ppid=5794 vsize=27388 CPUtime=2382.12 cores=1,3,5,7
/proc/5797/stat : 5797 (cosoco) R 5794 5797 4362 0 -1 4202496 7132 0 0 0 238212 0 0 0 20 0 1 0 24407194 28045312 957 33554432000 4194304 5970956 140732320905024 140732320902360 5321917 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 10829824 140732320912577 140732320912707 140732320912707 140732320915406 0
/proc/5797/statm: 6847 957 758 434 0 211 0
Current children cumulated CPU time (s) 2382.12
Current children cumulated vsize (KiB) 27388



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2400.2 s]
/proc/loadavg: 2.01 2.03 2.05 3/191 5922
/proc/meminfo: memFree=31090512/32770624 swapFree=6824/687836
[pid=5797] ppid=5794 vsize=27388 CPUtime=2400.02 cores=1,3,5,7
/proc/5797/stat : 5797 (cosoco) R 5794 5797 4362 0 -1 4202496 7257 0 0 0 240002 0 0 0 20 0 1 0 24407194 28045312 957 33554432000 4194304 5970956 140732320905024 140732320902360 4930560 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 10829824 140732320912577 140732320912707 140732320912707 140732320915406 0
/proc/5797/statm: 6847 957 758 434 0 211 0
Current children cumulated CPU time (s) 2400.02
Current children cumulated vsize (KiB) 27388

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 5797 sig 9
??? kill -5797 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 1
Real time (s): 2400.21
CPU time (s): 2400.03
CPU user time (s): 2400.03
CPU system time (s): 0.000999
CPU usage (%): 99.9925
Max. virtual memory (cumulated for all children) (KiB): 27388

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400.03
system time used= 0.000999
maximum resident set size= 3872
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7284
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= 12
involuntary context switches= 120629

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.03428 second user time and 8.85008 second system time

The end

Launcher Data 

Begin job on node102 at 2017-07-21 12:01:18
IDJOB=4241432
IDBENCH=126861
IDSOLVER=2620
FILE ID=node102/4241432-1500631278
RUNJOBID= node102-1500623787-4394
PBS_JOBID= 20623025
Free space on /tmp= 61892 MiB

SOLVER NAME= cosoco 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-4241432-1500631278/watcher-4241432-1500631278 -o /tmp/evaluation-result-4241432-1500631278/solver-4241432-1500631278 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node102-1500623787-4394 --watchdog 2560  HOME/cosoco -lc -model -restarts HOME/instance-4241432-1500631278.xml

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

MD5SUM BENCH= 630ab63eaf7c5bcaa7f0eb192a58705a
RANDOM SEED=1343229900

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

/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.46
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		: 2000.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.56
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		: 1600.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.46
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		: 1600.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.56
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		: 1600.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.46
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		: 2267.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.56
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		: 1600.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.46
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		: 1600.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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        30879776 kB
MemAvailable:   31747572 kB
Buffers:          163784 kB
Cached:           989144 kB
SwapCached:            0 kB
Active:           755796 kB
Inactive:         702964 kB
Active(anon):     308888 kB
Inactive(anon):    16868 kB
Active(file):     446908 kB
Inactive(file):   686096 kB
Unevictable:        6824 kB
Mlocked:            6824 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              2468 kB
Writeback:             0 kB
AnonPages:        316544 kB
Mapped:            36020 kB
Shmem:             17104 kB
Slab:             126780 kB
SReclaimable:     101252 kB
SUnreclaim:        25528 kB
KernelStack:        3632 kB
PageTables:         5940 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     581724 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      354332 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    145408 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      136576 kB
DirectMap2M:    33409024 kB

Free space on /tmp at the end= 61888 MiB
End job on node102 at 2017-07-21 12:41:18