Trace number 4241436

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.08 2400.7

General information on the benchmark

NameDubois/Dubois-m1-s1/
Dubois-025.xml
MD5SUM973963fd5ae0545f9f330e30fdec40c5
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.0040179999
Satisfiable
(Un)Satisfiability was proved
Number of variables75
Number of constraints50
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":75}]
Minimum variable degree2
Maximum variable degree2
Distribution of variable degrees[{"degree":2,"count":75}]
Minimum constraint arity3
Maximum constraint arity3
Distribution of constraint arities[{"arity":3,"count":50}]
Number of extensional constraints50
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":50}]
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: 75
0.00/0.01	c |            Domain Sizes: 2..2
0.00/0.01	c |
0.00/0.01	c |             Constraints: 50
0.00/0.01	c |                   Arity: 3..3  -- Ternary: 50
0.00/0.01	c | 
0.00/0.01	c |                   Types: 
0.00/0.01	c |                          Extension: 50  (nb tuples: 4..4) -- (shared: 45)
0.00/0.01	c |                          
0.00/0.01	c =========================================================================================================
0.00/0.01	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
0.00/0.01	c 101            1330           5616           5427           0              0              25   72   51   
0.00/0.01	c 211            2172           8800           8459           0              0              41   64   56   
0.00/0.01	c 332            3063           11858          11405          0              0              17   48   38   
0.00/0.02	c 465            3981           15192          14539          0              0              57   74   68   
0.00/0.02	c 611            4912           18534          17681          0              0              45   72   67   
0.00/0.02	c 771            5954           22218          21207          0              0              35   53   47   
0.00/0.03	c 947            7116           26249          25093          0              0              22   72   67   
0.00/0.03	c 1140           8472           30795          29425          0              0              15   73   61   
0.00/0.03	c 1352           10219          36692          35110          0              0              28   73   62   
0.00/0.04	c 1585           11826          42239          40480          0              0              49   71   67   
0.00/0.04	c 1841           13730          48764          46802          0              0              53   71   68   
0.00/0.05	c 2122           15639          55674          53438          0              0              34   54   48   
0.00/0.05	c 2431           17855          63318          60827          0              0              46   72   67   
0.00/0.06	c 2770           20525          72549          69745          0              0              35   70   62   
0.00/0.07	c 3142           23360          82304          79173          0              0              25   70   56   
0.00/0.07	c 3551           26262          92289          88822          0              0              20   70   63   
0.00/0.08	c 4000           29244          102773         98899          0              0              8   70   41    
0.00/0.09	c 4493           33108          115763         111603         0              0              36   72   63   
0.09/0.10	c 5035           37815          131924         127423         0              0              37   70   63   
0.09/0.11	c 5631           42068          147010         142040         0              0              34   67   59   
0.09/0.12	c 6286           47148          164416         158887         0              0              28   72   64   
0.09/0.13	c 7006           52519          182662         176810         0              0              41   69   62   
0.09/0.14	c 7798           58272          203054         196465         0              0              38   69   61   
0.09/0.15	c 8669           65310          227407         220308         0              0              39   69   62   
0.09/0.16	c 9627           72545          252283         244721         0              0              27   69   59   
0.09/0.17	c 10680          79726          277180         269243         0              0              41   68   61   
0.09/0.19	c 11838          88834          308876         300061         0              0              35   68   62   
0.19/0.20	c 13111          98781          343735         334001         0              0              38   68   61   
0.19/0.22	c 14511          109408         381395         370763         0              0              33   68   62   
0.19/0.23	c 16051          121591         423886         412172         0              0              34   68   58   
0.19/0.25	c 17745          134064         467424         454905         0              0              27   68   57   
0.19/0.27	c 19608          148363         517311         503810         0              0              29   68   61   
0.29/0.30	c 21657          164776         575850         560913         0              0              31   68   59   
0.29/0.32	c 23910          181104         633019         616836         0              0              22   68   57   
0.29/0.35	c 26388          203402         710752         692416         0              0              29   68   59   
0.29/0.39	c 29113          229106         798431         779181         0              0              22   68   58   
0.39/0.43	c 32110          253158         882662         861509         0              0              23   68   58   
0.39/0.46	c 35406          279485         974232         950967         0              0              24   68   58   
0.49/0.51	c 39031          312830         1090660        1065944        0              0              22   66   58   
0.49/0.57	c 43018          351045         1222904        1194921        0              0              23   68   59   
0.59/0.62	c 47403          383698         1336762        1305859        0              0              17   68   52   
0.59/0.68	c 52226          426979         1488631        1455256        0              0              23   66   59   
0.69/0.74	c 57531          468850         1635516        1597273        0              0              12   68   52   
0.79/0.81	c 63366          513467         1793172        1752005        0              0              18   66   49   
0.79/0.89	c 69784          567149         1976657        1932186        0              0              21   69   60   
0.89/0.98	c 76843          633411         2207791        2158881        0              0              17   68   59   
0.99/1.07	c 84607          687965         2401677        2348981        0              0              12   69   48   
1.09/1.16	c 93147          752676         2628344        2568310        0              0              14   69   57   
1.19/1.26	c 102541         824589         2880634        2814896        0              0              26   69   61   
1.29/1.38	c 112874         903723         3159805        3088480        0              0              17   69   53   
1.49/1.51	c 124240         987492         3452295        3376782        0              0              17   70   55   
1.59/1.67	c 136742         1101343        3841377        3760199        0              0              15   69   60   
1.79/1.85	c 150494         1226903        4279504        4191578        0              0              14   69   59   
1.99/2.07	c 165621         1374393        4785413        4692190        0              0              17   68   59   
2.19/2.29	c 182260         1531711        5326446        5222662        0              0              16   68   59   
2.49/2.53	c 200562         1694643        5894834        5775377        0              0              14   68   60   
2.69/2.78	c 220694         1865844        6496021        6363877        0              0              18   68   59   
2.99/3.05	c 242839         2048717        7140826        6990934        0              0              13   68   57   
3.29/3.35	c 267198         2255123        7853889        7693480        0              0              11   68   56   
3.59/3.67	c 293992         2474214        8618682        8448196        0              0              14   68   57   
3.99/4.05	c 323465         2734740        9519529        9336451        0              0              16   68   58   
4.39/4.47	c 355885         3024362        10521138       10323594       0              0              17   68   59   
4.89/4.96	c 391547         3361371        11680077       11471288       0              0              14   68   59   
5.39/5.48	c 430775         3713921        12896437       12669013       0              0              17   68   58   
5.99/6.01	c 473925         4077101        14190537       13938310       0              0              16   68   58   
6.49/6.57	c 521390         4458918        15509097       15242000       0              0              16   68   55   
7.19/7.25	c 573601         4919354        17112519       16820229       0              0              15   68   57   
7.98/8.01	c 631033         5441543        18926420       18609008       0              0              16   68   58   
8.79/8.86	c 694208         6026129        20926867       20590987       0              0              11   68   58   
9.58/9.66	c 763700         6565690        22786387       22430220       0              0              14   67   53   
10.58/10.60	c 840141         7206190        25013290       24609327       0              0              14   67   55   
11.68/11.72	c 924226         7970618        27684167       27228390       0              0              12   68   57   
12.88/12.94	c 1016719        8806746        30582198       30025796       0              0              14   68   56   
14.18/14.26	c 1118461        9706835        33747963       33132704       0              0              10   68   58   
15.58/15.66	c 1230377        10664016       37096098       36433667       0              0              13   68   57   
17.28/17.34	c 1353484        11809108       41113299       40388011       0              0              13   68   57   
19.07/19.15	c 1488901        13041855       45436419       44631756       0              0              14   68   58   
20.88/20.95	c 1637859        14264362       49755960       48875211       0              0              13   68   57   
23.08/23.12	c 1801712        15755941       54955681       53993425       0              0              17   68   58   
25.28/25.40	c 1981950        17304097       60388646       59356315       0              0              12   68   58   
27.77/27.82	c 2180211        18958995       66147027       65049869       0              0              13   68   56   
30.77/30.81	c 2398298        21010291       73253323       72083917       0              0              15   69   58   
34.17/34.28	c 2638193        23391407       81423150       80186426       0              0              10   69   58   
37.66/37.74	c 2902077        25760198       89759352       88331939       0              0              14   69   58   
41.36/41.47	c 3192349        28321691       98621830       97068778       0              0              12   69   57   
45.45/45.58	c 3511648        31100268       108559839      106865822      0              0              11   69   58   
49.46/49.55	c 3862876        33820413       118002569      116174319      0              0              14   69   56   
54.35/54.41	c 4249226        37169306       129605062      127610920      0              0              9   69   59    
59.64/59.79	c 4674211        40836430       142529984      140271470      0              0              13   69   57   
66.14/66.21	c 5141694        45278050       157738242      155333782      0              0              9   69   60    
72.54/72.68	c 5655925        49708329       173043667      170431987      0              0              10   69   58   
79.74/79.86	c 6221579        54565605       190084767      187261419      0              0              11   68   56   
86.34/86.42	c 6843798        59004467       205446002      202523324      0              0              10   67   53   
95.24/95.35	c 7528238        65054297       226534933      223254126      0              0              9   68   56    
105.54/105.65	c 8281122        72144441       251067328      247061386      0              0              11   68   58   
116.03/116.10	c 9109294        79214981       275964543      271317784      0              0              10   68   55   
126.43/126.50	c 10020283       86258632       300764356      295789571      0              0              9   68   56    
137.72/137.85	c 11022370       93922488       327706529      322378775      0              0              7   68   55    
150.02/150.19	c 12124665       102207390      357234491      351401629      0              0              6   68   55    
163.32/163.46	c 13337189       111089972      388403433      382298187      0              0              7   68   53    
178.91/179.05	c 14670965       121606185      426164029      419092279      0              0              9   68   58    
195.21/195.31	c 16138118       132535131      464831558      457288181      0              0              11   68   55   
211.61/211.74	c 17751986       143242977      504109192      495817782      0              0              6   67   49    
234.70/234.80	c 19527240       159005545      559921342      549740857      0              0              6   69   57    
258.89/259.01	c 21480019       175618497      617510685      606641147      0              0              11   69   57   
286.89/287.01	c 23628075       194577802      684927865      672606753      0              0              9   69   58    
317.88/318.01	c 25990936       215570011      758366265      745117708      0              0              10   68   57   
345.28/345.42	c 28590083       233970374      822557391      808851765      0              0              9   68   53    
376.66/376.84	c 31449144       255092427      896968037      882283124      0              0              10   68   54   
412.76/412.94	c 34594111       278987507      983563990      967380122      0              0              8   68   55    
449.85/450.05	c 38053574       303900228      1070386172     1053855745     0              0              8   68   53    
489.04/489.22	c 41858983       330434729      1163139183     1145598588     0              0              7   68   54    
540.92/541.10	c 46044932       365395711      1286088100     1266964530     0              0              8   68   55    
600.71/600.90	c 50649475       406028956      1427937963     1406289392     0              0              9   68   56    
663.79/664.06	c 55714472       448652680      1578509742     1554002658     0              0              4   68   56    
732.48/732.75	c 61285968       494797321      1743404883     1716290459     0              0              4   68   56    
801.67/801.99	c 67414613       541433292      1910102675     1879327241     0              0              4   68   55    
884.34/884.69	c 74156122       597574124      2108121655     2072574029     0              0              6   68   56    
973.13/973.48	c 81571781       657908736      2318495050     2280299640     0              0              8   68   56    
1068.30/1068.67	c 89729005       723111283      2546352890     2504078834     0              0              7   68   56    
1159.48/1159.86	c 98701951       784459443      2762323741     2718267955     0              0              8   68   53    
1266.65/1267.01	c 108572191      856776261      3017383714     2970229516     0              0              6   68   54    
1394.32/1394.72	c 119429455      943704542      3321160543     3267049524     0              0              5   67   54    
1535.58/1536.06	c 131372445      1039506477     3658703065     3599054872     0              0              5   68   56    
1686.65/1687.11	c 144509734      1143086833     4020516570     3955499879     0              0              5   68   56    
1860.60/1861.12	c 158960751      1261255030     4438236108     4365703911     0              0              7   68   57    
2032.56/2033.15	c 174856869      1376920252     4849954093     4772315932     0              0              5   68   54    
2223.81/2224.41	c 192342598      1504183823     5310671918     5226757489     0              0              5   68   55

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-4241436-1500631306/watcher-4241436-1500631306 -o /tmp/evaluation-result-4241436-1500631306/solver-4241436-1500631306 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node140-1500623777-5523 --watchdog 2560 HOME/cosoco -lc -model -restarts HOME/instance-4241436-1500631306.xml 

pid=7685
running on 4 cores: 0,2,4,6

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.00 2.01 2.04 3/187 7688
/proc/meminfo: memFree=30668652/32770624 swapFree=6112/923912
[pid=7688] ppid=7685 vsize=27124 CPUtime=0 cores=0,2,4,6
/proc/7688/stat : 7688 (cosoco) R 7685 7688 5492 0 -1 4202496 1033 0 0 0 0 0 0 0 20 0 1 0 16566787 27774976 832 33554432000 4194304 5970956 140727715854480 140727715851560 140270743018469 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 9871360 140727715857601 140727715857731 140727715857731 140727715860430 0
/proc/7688/statm: 6781 832 718 434 0 145 0

[startup+0.100115 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 7688
/proc/meminfo: memFree=30668652/32770624 swapFree=6112/923912
[pid=7688] ppid=7685 vsize=27124 CPUtime=0.09 cores=0,2,4,6
/proc/7688/stat : 7688 (cosoco) R 7685 7688 5492 0 -1 4202496 1039 0 0 0 9 0 0 0 20 0 1 0 16566787 27774976 832 33554432000 4194304 5970956 140727715854480 140727715851816 4930568 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 9871360 140727715857601 140727715857731 140727715857731 140727715860430 0
/proc/7688/statm: 6781 832 718 434 0 145 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27124

[startup+0.20025 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 7688
/proc/meminfo: memFree=30668652/32770624 swapFree=6112/923912
[pid=7688] ppid=7685 vsize=27124 CPUtime=0.19 cores=0,2,4,6
/proc/7688/stat : 7688 (cosoco) R 7685 7688 5492 0 -1 4202496 1039 0 0 0 19 0 0 0 20 0 1 0 16566787 27774976 832 33554432000 4194304 5970956 140727715854480 140727715851816 4930560 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 9871360 140727715857601 140727715857731 140727715857731 140727715860430 0
/proc/7688/statm: 6781 832 718 434 0 145 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 27124

[startup+0.300198 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 7688
/proc/meminfo: memFree=30668652/32770624 swapFree=6112/923912
[pid=7688] ppid=7685 vsize=27124 CPUtime=0.29 cores=0,2,4,6
/proc/7688/stat : 7688 (cosoco) R 7685 7688 5492 0 -1 4202496 1039 0 0 0 29 0 0 0 20 0 1 0 16566787 27774976 832 33554432000 4194304 5970956 140727715854480 140727715851816 5321287 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 9871360 140727715857601 140727715857731 140727715857731 140727715860430 0
/proc/7688/statm: 6781 832 718 434 0 145 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 27124

[startup+0.700174 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 7688
/proc/meminfo: memFree=30668652/32770624 swapFree=6112/923912
[pid=7688] ppid=7685 vsize=27124 CPUtime=0.69 cores=0,2,4,6
/proc/7688/stat : 7688 (cosoco) R 7685 7688 5492 0 -1 4202496 1039 0 0 0 69 0 0 0 20 0 1 0 16566787 27774976 832 33554432000 4194304 5970956 140727715854480 140727715851816 4930665 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 9871360 140727715857601 140727715857731 140727715857731 140727715860430 0
/proc/7688/statm: 6781 832 718 434 0 145 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 27124

[startup+1.50017 s]
/proc/loadavg: 2.00 2.01 2.04 3/188 7689
/proc/meminfo: memFree=30667784/32770624 swapFree=6112/923916
[pid=7688] ppid=7685 vsize=27124 CPUtime=1.49 cores=0,2,4,6
/proc/7688/stat : 7688 (cosoco) R 7685 7688 5492 0 -1 4202496 1039 0 0 0 149 0 0 0 20 0 1 0 16566787 27774976 832 33554432000 4194304 5970956 140727715854480 140727715851816 5325173 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 9871360 140727715857601 140727715857731 140727715857731 140727715860430 0
/proc/7688/statm: 6781 832 718 434 0 145 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 27124

[startup+3.10017 s]
/proc/loadavg: 2.00 2.01 2.04 3/188 7689
/proc/meminfo: memFree=30667748/32770624 swapFree=6112/923908
[pid=7688] ppid=7685 vsize=27124 CPUtime=3.09 cores=0,2,4,6
/proc/7688/stat : 7688 (cosoco) R 7685 7688 5492 0 -1 4202496 1101 0 0 0 309 0 0 0 20 0 1 0 16566787 27774976 879 33554432000 4194304 5970956 140727715854480 140727715851816 5319216 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 9871360 140727715857601 140727715857731 140727715857731 140727715860430 0
/proc/7688/statm: 6781 879 758 434 0 145 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 27124

[startup+6.30017 s]
/proc/loadavg: 2.00 2.01 2.04 3/188 7689
/proc/meminfo: memFree=30667184/32770624 swapFree=6112/923920
[pid=7688] ppid=7685 vsize=27124 CPUtime=6.29 cores=0,2,4,6
/proc/7688/stat : 7688 (cosoco) R 7685 7688 5492 0 -1 4202496 1163 0 0 0 629 0 0 0 20 0 1 0 16566787 27774976 879 33554432000 4194304 5970956 140727715854480 140727715851816 4934354 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 9871360 140727715857601 140727715857731 140727715857731 140727715860430 0
/proc/7688/statm: 6781 879 758 434 0 145 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 27124

[startup+12.7002 s]
/proc/loadavg: 2.00 2.01 2.04 3/188 7689
/proc/meminfo: memFree=30667184/32770624 swapFree=6112/923928
[pid=7688] ppid=7685 vsize=27124 CPUtime=12.68 cores=0,2,4,6
/proc/7688/stat : 7688 (cosoco) R 7685 7688 5492 0 -1 4202496 1225 0 0 0 1268 0 0 0 20 0 1 0 16566787 27774976 879 33554432000 4194304 5970956 140727715854480 140727715851816 4930654 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 9871360 140727715857601 140727715857731 140727715857731 140727715860430 0
/proc/7688/statm: 6781 879 758 434 0 145 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 27124

[startup+25.5002 s]
/proc/loadavg: 2.00 2.01 2.04 3/188 7689
/proc/meminfo: memFree=30667316/32770624 swapFree=6112/923944
[pid=7688] ppid=7685 vsize=27124 CPUtime=25.47 cores=0,2,4,6
/proc/7688/stat : 7688 (cosoco) R 7685 7688 5492 0 -1 4202496 1349 0 0 0 2547 0 0 0 20 0 1 0 16566787 27774976 879 33554432000 4194304 5970956 140727715854480 140727715851816 4908349 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 9871360 140727715857601 140727715857731 140727715857731 140727715860430 0
/proc/7688/statm: 6781 879 758 434 0 145 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 27124

[startup+51.1002 s]
/proc/loadavg: 2.00 2.01 2.04 3/188 7689
/proc/meminfo: memFree=30667360/32770624 swapFree=6112/923968
[pid=7688] ppid=7685 vsize=27124 CPUtime=51.05 cores=0,2,4,6
/proc/7688/stat : 7688 (cosoco) R 7685 7688 5492 0 -1 4202496 1411 0 0 0 5105 0 0 0 20 0 1 0 16566787 27774976 879 33554432000 4194304 5970956 140727715854480 140727715851816 5322040 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 9871360 140727715857601 140727715857731 140727715857731 140727715860430 0
/proc/7688/statm: 6781 879 758 434 0 145 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 27124

[startup+102.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/188 7751
/proc/meminfo: memFree=30876200/32770624 swapFree=6112/924076
[pid=7688] ppid=7685 vsize=27124 CPUtime=102.24 cores=0,2,4,6
/proc/7688/stat : 7688 (cosoco) R 7685 7688 5492 0 -1 4202496 1473 0 0 0 10223 1 0 0 20 0 1 0 16566787 27774976 879 33554432000 4194304 5970956 140727715854480 140727715851816 4934986 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 9871360 140727715857601 140727715857731 140727715857731 140727715860430 0
/proc/7688/statm: 6781 879 758 434 0 145 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 27124

[startup+162.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/188 7752
/proc/meminfo: memFree=30875792/32770624 swapFree=6112/924144
[pid=7688] ppid=7685 vsize=27124 CPUtime=162.22 cores=0,2,4,6
/proc/7688/stat : 7688 (cosoco) R 7685 7688 5492 0 -1 4202496 1535 0 0 0 16221 1 0 0 20 0 1 0 16566787 27774976 879 33554432000 4194304 5970956 140727715854480 140727715851816 4935001 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 9871360 140727715857601 140727715857731 140727715857731 140727715860430 0
/proc/7688/statm: 6781 879 758 434 0 145 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 27124

[startup+222.306 s]
/proc/loadavg: 2.01 2.02 2.05 3/188 7753
/proc/meminfo: memFree=30875576/32770624 swapFree=6112/924204
[pid=7688] ppid=7685 vsize=27124 CPUtime=222.21 cores=0,2,4,6
/proc/7688/stat : 7688 (cosoco) R 7685 7688 5492 0 -1 4202496 1597 0 0 0 22220 1 0 0 20 0 1 0 16566787 27774976 879 33554432000 4194304 5970956 140727715854480 140727715851816 4933182 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 9871360 140727715857601 140727715857731 140727715857731 140727715860430 0
/proc/7688/statm: 6781 879 758 434 0 145 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 27124

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 7754
/proc/meminfo: memFree=30875416/32770624 swapFree=6112/924268
[pid=7688] ppid=7685 vsize=27124 CPUtime=282.19 cores=0,2,4,6
/proc/7688/stat : 7688 (cosoco) R 7685 7688 5492 0 -1 4202496 1659 0 0 0 28218 1 0 0 20 0 1 0 16566787 27774976 879 33554432000 4194304 5970956 140727715854480 140727715851816 5337454 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 9871360 140727715857601 140727715857731 140727715857731 140727715860430 0
/proc/7688/statm: 6781 879 758 434 0 145 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 27124

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 7755
/proc/meminfo: memFree=30875368/32770624 swapFree=6112/924316
[pid=7688] ppid=7685 vsize=27124 CPUtime=342.17 cores=0,2,4,6
/proc/7688/stat : 7688 (cosoco) R 7685 7688 5492 0 -1 4202496 1721 0 0 0 34216 1 0 0 20 0 1 0 16566787 27774976 879 33554432000 4194304 5970956 140727715854480 140727715851816 4908623 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 9871360 140727715857601 140727715857731 140727715857731 140727715860430 0
/proc/7688/statm: 6781 879 758 434 0 145 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 27124

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 7756
/proc/meminfo: memFree=30875368/32770624 swapFree=6112/924352
[pid=7688] ppid=7685 vsize=27124 CPUtime=402.16 cores=0,2,4,6
/proc/7688/stat : 7688 (cosoco) R 7685 7688 5492 0 -1 4202496 1783 0 0 0 40215 1 0 0 20 0 1 0 16566787 27774976 879 33554432000 4194304 5970956 140727715854480 140727715851816 4930611 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 9871360 140727715857601 140727715857731 140727715857731 140727715860430 0
/proc/7688/statm: 6781 879 758 434 0 145 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 27124

[startup+462.3 s]
/proc/loadavg: 1.95 2.00 2.04 3/187 7879
/proc/meminfo: memFree=30876124/32770624 swapFree=6112/924472
[pid=7688] ppid=7685 vsize=27124 CPUtime=462.15 cores=0,2,4,6
/proc/7688/stat : 7688 (cosoco) R 7685 7688 5492 0 -1 4202496 1845 0 0 0 46213 2 0 0 20 0 1 0 16566787 27774976 879 33554432000 4194304 5970956 140727715854480 140727715851816 4934868 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 9871360 140727715857601 140727715857731 140727715857731 140727715860430 0
/proc/7688/statm: 6781 879 758 434 0 145 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 27124

[startup+522.3 s]
/proc/loadavg: 2.12 2.03 2.05 3/187 7947
/proc/meminfo: memFree=30516504/32770624 swapFree=6112/933096
[pid=7688] ppid=7685 vsize=27124 CPUtime=522.13 cores=0,2,4,6
/proc/7688/stat : 7688 (cosoco) R 7685 7688 5492 0 -1 4202496 1907 0 0 0 52211 2 0 0 20 0 1 0 16566787 27774976 879 33554432000 4194304 5970956 140727715854480 140727715851816 4934449 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 9871360 140727715857601 140727715857731 140727715857731 140727715860430 0
/proc/7688/statm: 6781 879 758 434 0 145 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 27124

[startup+582.3 s]
/proc/loadavg: 2.04 2.02 2.05 3/187 7948
/proc/meminfo: memFree=28308252/32770624 swapFree=6112/933164
[pid=7688] ppid=7685 vsize=27124 CPUtime=582.11 cores=0,2,4,6
/proc/7688/stat : 7688 (cosoco) R 7685 7688 5492 0 -1 4202496 1969 0 0 0 58209 2 0 0 20 0 1 0 16566787 27774976 879 33554432000 4194304 5970956 140727715854480 140727715851816 5327108 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 9871360 140727715857601 140727715857731 140727715857731 140727715860430 0
/proc/7688/statm: 6781 879 758 434 0 145 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 27124


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


[startup+1542.31 s]
/proc/loadavg: 2.02 2.03 2.05 3/187 8032
/proc/meminfo: memFree=30225356/32770624 swapFree=6112/934092
[pid=7688] ppid=7685 vsize=27124 CPUtime=1541.88 cores=0,2,4,6
/proc/7688/stat : 7688 (cosoco) R 7685 7688 5492 0 -1 4202496 2901 0 0 0 154185 3 0 0 20 0 1 0 16566787 27774976 879 33554432000 4194304 5970956 140727715854480 140727715851816 4930600 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 9871360 140727715857601 140727715857731 140727715857731 140727715860430 0
/proc/7688/statm: 6781 879 758 434 0 145 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 27124

[startup+1602.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 8034
/proc/meminfo: memFree=30224148/32770624 swapFree=6112/934140
[pid=7688] ppid=7685 vsize=27124 CPUtime=1601.86 cores=0,2,4,6
/proc/7688/stat : 7688 (cosoco) R 7685 7688 5492 0 -1 4202496 2951 0 0 0 160183 3 0 0 20 0 1 0 16566787 27774976 879 33554432000 4194304 5970956 140727715854480 140727715851816 5337509 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 9871360 140727715857601 140727715857731 140727715857731 140727715860430 0
/proc/7688/statm: 6781 879 758 434 0 145 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 27124

[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 8035
/proc/meminfo: memFree=30224400/32770624 swapFree=6112/934184
[pid=7688] ppid=7685 vsize=27124 CPUtime=1661.86 cores=0,2,4,6
/proc/7688/stat : 7688 (cosoco) R 7685 7688 5492 0 -1 4202496 3001 0 0 0 166182 4 0 0 20 0 1 0 16566787 27774976 879 33554432000 4194304 5970956 140727715854480 140727715851816 5325197 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 9871360 140727715857601 140727715857731 140727715857731 140727715860430 0
/proc/7688/statm: 6781 879 758 434 0 145 0
Current children cumulated CPU time (s) 1661.86
Current children cumulated vsize (KiB) 27124

[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 8043
/proc/meminfo: memFree=30223440/32770624 swapFree=6112/934232
[pid=7688] ppid=7685 vsize=27124 CPUtime=1721.84 cores=0,2,4,6
/proc/7688/stat : 7688 (cosoco) R 7685 7688 5492 0 -1 4202496 3063 0 0 0 172180 4 0 0 20 0 1 0 16566787 27774976 879 33554432000 4194304 5970956 140727715854480 140727715851816 4934289 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 9871360 140727715857601 140727715857731 140727715857731 140727715860430 0
/proc/7688/statm: 6781 879 758 434 0 145 0
Current children cumulated CPU time (s) 1721.84
Current children cumulated vsize (KiB) 27124

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 8044
/proc/meminfo: memFree=30224564/32770624 swapFree=6112/934256
[pid=7688] ppid=7685 vsize=27124 CPUtime=1781.82 cores=0,2,4,6
/proc/7688/stat : 7688 (cosoco) R 7685 7688 5492 0 -1 4202496 3113 0 0 0 178178 4 0 0 20 0 1 0 16566787 27774976 879 33554432000 4194304 5970956 140727715854480 140727715851816 5327374 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 9871360 140727715857601 140727715857731 140727715857731 140727715860430 0
/proc/7688/statm: 6781 879 758 434 0 145 0
Current children cumulated CPU time (s) 1781.82
Current children cumulated vsize (KiB) 27124

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 8045
/proc/meminfo: memFree=30224576/32770624 swapFree=6112/934324
[pid=7688] ppid=7685 vsize=27124 CPUtime=1841.81 cores=0,2,4,6
/proc/7688/stat : 7688 (cosoco) R 7685 7688 5492 0 -1 4202496 3163 0 0 0 184177 4 0 0 20 0 1 0 16566787 27774976 879 33554432000 4194304 5970956 140727715854480 140727715851816 4908558 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 9871360 140727715857601 140727715857731 140727715857731 140727715860430 0
/proc/7688/statm: 6781 879 758 434 0 145 0
Current children cumulated CPU time (s) 1841.81
Current children cumulated vsize (KiB) 27124

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 8046
/proc/meminfo: memFree=30224448/32770624 swapFree=6112/934360
[pid=7688] ppid=7685 vsize=27124 CPUtime=1901.79 cores=0,2,4,6
/proc/7688/stat : 7688 (cosoco) R 7685 7688 5492 0 -1 4202496 3225 0 0 0 190175 4 0 0 20 0 1 0 16566787 27774976 879 33554432000 4194304 5970956 140727715854480 140727715851816 5319201 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 9871360 140727715857601 140727715857731 140727715857731 140727715860430 0
/proc/7688/statm: 6781 879 758 434 0 145 0
Current children cumulated CPU time (s) 1901.79
Current children cumulated vsize (KiB) 27124

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 8047
/proc/meminfo: memFree=30224688/32770624 swapFree=6112/934388
[pid=7688] ppid=7685 vsize=27124 CPUtime=1961.78 cores=0,2,4,6
/proc/7688/stat : 7688 (cosoco) R 7685 7688 5492 0 -1 4202496 3275 0 0 0 196174 4 0 0 20 0 1 0 16566787 27774976 879 33554432000 4194304 5970956 140727715854480 140727715851816 4934327 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 9871360 140727715857601 140727715857731 140727715857731 140727715860430 0
/proc/7688/statm: 6781 879 758 434 0 145 0
Current children cumulated CPU time (s) 1961.78
Current children cumulated vsize (KiB) 27124

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 8048
/proc/meminfo: memFree=30224432/32770624 swapFree=6112/934436
[pid=7688] ppid=7685 vsize=27124 CPUtime=2021.76 cores=0,2,4,6
/proc/7688/stat : 7688 (cosoco) R 7685 7688 5492 0 -1 4202496 3325 0 0 0 202172 4 0 0 20 0 1 0 16566787 27774976 879 33554432000 4194304 5970956 140727715854480 140727715851816 5136786 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 9871360 140727715857601 140727715857731 140727715857731 140727715860430 0
/proc/7688/statm: 6781 879 758 434 0 145 0
Current children cumulated CPU time (s) 2021.76
Current children cumulated vsize (KiB) 27124

[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 8049
/proc/meminfo: memFree=30224392/32770624 swapFree=6112/934476
[pid=7688] ppid=7685 vsize=27124 CPUtime=2081.75 cores=0,2,4,6
/proc/7688/stat : 7688 (cosoco) R 7685 7688 5492 0 -1 4202496 3387 0 0 0 208171 4 0 0 20 0 1 0 16566787 27774976 879 33554432000 4194304 5970956 140727715854480 140727715851816 4934112 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 9871360 140727715857601 140727715857731 140727715857731 140727715860430 0
/proc/7688/statm: 6781 879 758 434 0 145 0
Current children cumulated CPU time (s) 2081.75
Current children cumulated vsize (KiB) 27124

[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 8050
/proc/meminfo: memFree=30224360/32770624 swapFree=6112/934508
[pid=7688] ppid=7685 vsize=27124 CPUtime=2141.73 cores=0,2,4,6
/proc/7688/stat : 7688 (cosoco) R 7685 7688 5492 0 -1 4202496 3437 0 0 0 214169 4 0 0 20 0 1 0 16566787 27774976 879 33554432000 4194304 5970956 140727715854480 140727715851816 4908753 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 9871360 140727715857601 140727715857731 140727715857731 140727715860430 0
/proc/7688/statm: 6781 879 758 434 0 145 0
Current children cumulated CPU time (s) 2141.73
Current children cumulated vsize (KiB) 27124

[startup+2202.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 8051
/proc/meminfo: memFree=30224220/32770624 swapFree=6112/934536
[pid=7688] ppid=7685 vsize=27124 CPUtime=2201.72 cores=0,2,4,6
/proc/7688/stat : 7688 (cosoco) R 7685 7688 5492 0 -1 4202496 3487 0 0 0 220168 4 0 0 20 0 1 0 16566787 27774976 879 33554432000 4194304 5970956 140727715854480 140727715851816 4930611 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 9871360 140727715857601 140727715857731 140727715857731 140727715860430 0
/proc/7688/statm: 6781 879 758 434 0 145 0
Current children cumulated CPU time (s) 2201.72
Current children cumulated vsize (KiB) 27124

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 8052
/proc/meminfo: memFree=30224336/32770624 swapFree=6112/934592
[pid=7688] ppid=7685 vsize=27124 CPUtime=2261.7 cores=0,2,4,6
/proc/7688/stat : 7688 (cosoco) R 7685 7688 5492 0 -1 4202496 3549 0 0 0 226166 4 0 0 20 0 1 0 16566787 27774976 879 33554432000 4194304 5970956 140727715854480 140727715851816 4934127 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 9871360 140727715857601 140727715857731 140727715857731 140727715860430 0
/proc/7688/statm: 6781 879 758 434 0 145 0
Current children cumulated CPU time (s) 2261.7
Current children cumulated vsize (KiB) 27124

[startup+2322.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/187 8060
/proc/meminfo: memFree=30223696/32770624 swapFree=6112/934628
[pid=7688] ppid=7685 vsize=27124 CPUtime=2321.68 cores=0,2,4,6
/proc/7688/stat : 7688 (cosoco) R 7685 7688 5492 0 -1 4202496 3599 0 0 0 232164 4 0 0 20 0 1 0 16566787 27774976 879 33554432000 4194304 5970956 140727715854480 140727715851816 4930665 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 9871360 140727715857601 140727715857731 140727715857731 140727715860430 0
/proc/7688/statm: 6781 879 758 434 0 145 0
Current children cumulated CPU time (s) 2321.68
Current children cumulated vsize (KiB) 27124

[startup+2382.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/187 8061
/proc/meminfo: memFree=30224152/32770624 swapFree=6112/934676
[pid=7688] ppid=7685 vsize=27124 CPUtime=2381.67 cores=0,2,4,6
/proc/7688/stat : 7688 (cosoco) R 7685 7688 5492 0 -1 4202496 3649 0 0 0 238163 4 0 0 20 0 1 0 16566787 27774976 879 33554432000 4194304 5970956 140727715854480 140727715851816 5322024 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 9871360 140727715857601 140727715857731 140727715857731 140727715860430 0
/proc/7688/statm: 6781 879 758 434 0 145 0
Current children cumulated CPU time (s) 2381.67
Current children cumulated vsize (KiB) 27124



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2400.7 s]
/proc/loadavg: 2.02 2.02 2.05 3/187 8062
/proc/meminfo: memFree=30223852/32770624 swapFree=6112/934708
[pid=7688] ppid=7685 vsize=27124 CPUtime=2400.06 cores=0,2,4,6
/proc/7688/stat : 7688 (cosoco) R 7685 7688 5492 0 -1 4202496 3699 0 0 0 240002 4 0 0 20 0 1 0 16566787 27774976 879 33554432000 4194304 5970956 140727715854480 140727715851816 5093213 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 9871360 140727715857601 140727715857731 140727715857731 140727715860430 0
/proc/7688/statm: 6781 879 758 434 0 145 0
Current children cumulated CPU time (s) 2400.06
Current children cumulated vsize (KiB) 27124

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

[startup+2400.7 s]
/proc/loadavg: 2.02 2.02 2.05 3/187 8062
/proc/meminfo: memFree=30223852/32770624 swapFree=6112/934708
[pid=7688] ppid=7685 vsize=27124 CPUtime=2400.06 cores=0,2,4,6
/proc/7688/stat : 7688 (cosoco) R 7685 7688 5492 0 -1 4202496 3699 0 0 0 240002 4 0 0 20 0 1 0 16566787 27774976 879 33554432000 4194304 5970956 140727715854480 140727715851816 5093213 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 9871360 140727715857601 140727715857731 140727715857731 140727715860430 0
/proc/7688/statm: 6781 879 758 434 0 145 0
Current children cumulated CPU time (s) 2400.06
Current children cumulated vsize (KiB) 27124

Child status: 1
Real time (s): 2400.7
CPU time (s): 2400.08
CPU user time (s): 2400.03
CPU system time (s): 0.047987
CPU usage (%): 99.974
Max. virtual memory (cumulated for all children) (KiB): 27124

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400.03
system time used= 0.047987
maximum resident set size= 3560
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3726
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= 122662

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.85221 second user time and 7.66735 second system time

The end

Launcher Data 

Begin job on node140 at 2017-07-21 12:01:46
IDJOB=4241436
IDBENCH=126862
IDSOLVER=2620
FILE ID=node140/4241436-1500631306
RUNJOBID= node140-1500623777-5523
PBS_JOBID= 20622993
Free space on /tmp= 61828 MiB

SOLVER NAME= cosoco 1.1
BENCH NAME= XCSP17/Dubois/Dubois-m1-s1/Dubois-025.xml
COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4241436-1500631306/watcher-4241436-1500631306 -o /tmp/evaluation-result-4241436-1500631306/solver-4241436-1500631306 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node140-1500623777-5523 --watchdog 2560  HOME/cosoco -lc -model -restarts HOME/instance-4241436-1500631306.xml

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

MD5SUM BENCH= 973963fd5ae0545f9f330e30fdec40c5
RANDOM SEED=981672860

node140.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		: 1600.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.45
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		: 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.45
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.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		: 1867.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.45
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		: 1600.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		: 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.45
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.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        30668820 kB
MemAvailable:   31829764 kB
Buffers:          160792 kB
Cached:          1277668 kB
SwapCached:            0 kB
Active:           743712 kB
Inactive:         932836 kB
Active(anon):     241008 kB
Inactive(anon):     8924 kB
Active(file):     502704 kB
Inactive(file):   923912 kB
Unevictable:        6112 kB
Mlocked:            6120 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              2552 kB
Writeback:             0 kB
AnonPages:        244248 kB
Mapped:            34276 kB
Shmem:              8852 kB
Slab:             125352 kB
SReclaimable:     100324 kB
SUnreclaim:        25028 kB
KernelStack:        3280 kB
PageTables:         5304 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     503572 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    188416 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      114048 kB
DirectMap2M:    33431552 kB

Free space on /tmp at the end= 61856 MiB
End job on node140 at 2017-07-21 12:41:47