Trace number 4252585

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
cosoco-mini 1.1 (2017-06-27)? (TO) 2400.03 2399.9

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.0058070002
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.01	c 465            3981           15192          14539          0              0              57   74   68   
0.00/0.01	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.02	c 947            7116           26249          25093          0              0              22   72   67   
0.00/0.02	c 1140           8472           30795          29425          0              0              15   73   61   
0.00/0.02	c 1352           10219          36692          35110          0              0              28   73   62   
0.00/0.02	c 1585           11826          42239          40480          0              0              49   71   67   
0.00/0.03	c 1841           13730          48764          46802          0              0              53   71   68   
0.00/0.03	c 2122           15639          55674          53438          0              0              34   54   48   
0.00/0.03	c 2431           17855          63318          60827          0              0              46   72   67   
0.00/0.04	c 2770           20525          72549          69745          0              0              35   70   62   
0.00/0.04	c 3142           23360          82304          79173          0              0              25   70   56   
0.00/0.04	c 3551           26262          92289          88822          0              0              20   70   63   
0.00/0.05	c 4000           29244          102773         98899          0              0              8   70   41    
0.00/0.05	c 4493           33108          115763         111603         0              0              36   72   63   
0.00/0.06	c 5035           37815          131924         127423         0              0              37   70   63   
0.00/0.07	c 5631           42068          147010         142040         0              0              34   67   59   
0.00/0.07	c 6286           47148          164416         158887         0              0              28   72   64   
0.00/0.08	c 7006           52519          182662         176810         0              0              41   69   62   
0.00/0.09	c 7798           58272          203054         196465         0              0              38   69   61   
0.09/0.10	c 8669           65310          227407         220308         0              0              39   69   62   
0.09/0.11	c 9627           72545          252283         244721         0              0              27   69   59   
0.09/0.12	c 10680          79726          277180         269243         0              0              41   68   61   
0.09/0.13	c 11838          88834          308876         300061         0              0              35   68   62   
0.09/0.15	c 13111          98781          343735         334001         0              0              38   68   61   
0.09/0.16	c 14511          109408         381395         370763         0              0              33   68   62   
0.09/0.18	c 16051          121591         423886         412172         0              0              34   68   58   
0.09/0.19	c 17745          134064         467424         454905         0              0              27   68   57   
0.19/0.22	c 19608          148363         517311         503810         0              0              29   68   61   
0.19/0.24	c 21657          164776         575850         560913         0              0              31   68   59   
0.19/0.26	c 23910          181104         633019         616836         0              0              22   68   57   
0.19/0.29	c 26388          203402         710752         692416         0              0              29   68   59   
0.29/0.33	c 29113          229106         798431         779181         0              0              22   68   58   
0.29/0.36	c 32110          253158         882662         861509         0              0              23   68   58   
0.39/0.40	c 35406          279485         974232         950967         0              0              24   68   58   
0.39/0.45	c 39031          312830         1090660        1065944        0              0              22   66   58   
0.49/0.50	c 43018          351045         1222904        1194921        0              0              23   68   59   
0.49/0.55	c 47403          383698         1336762        1305859        0              0              17   68   52   
0.59/0.61	c 52226          426979         1488631        1455256        0              0              23   66   59   
0.59/0.67	c 57531          468850         1635516        1597273        0              0              12   68   52   
0.69/0.74	c 63366          513467         1793172        1752005        0              0              18   66   49   
0.79/0.81	c 69784          567149         1976657        1932186        0              0              21   69   60   
0.89/0.90	c 76843          633411         2207791        2158881        0              0              17   68   59   
0.89/0.98	c 84607          687965         2401677        2348981        0              0              12   69   48   
0.99/1.08	c 93147          752676         2628344        2568310        0              0              14   69   57   
1.09/1.18	c 102541         824589         2880634        2814896        0              0              26   69   61   
1.19/1.29	c 112874         903723         3159805        3088480        0              0              17   69   53   
1.39/1.41	c 124240         987492         3452295        3376782        0              0              17   70   55   
1.49/1.57	c 136742         1101343        3841377        3760199        0              0              15   69   60   
1.69/1.75	c 150494         1226903        4279504        4191578        0              0              14   69   59   
1.89/1.95	c 165621         1374393        4785413        4692190        0              0              17   68   59   
2.09/2.17	c 182260         1531711        5326446        5222662        0              0              16   68   59   
2.39/2.40	c 200562         1694643        5894834        5775377        0              0              14   68   60   
2.59/2.65	c 220694         1865844        6496021        6363877        0              0              18   68   59   
2.89/2.90	c 242839         2048717        7140826        6990934        0              0              13   68   57   
3.19/3.20	c 267198         2255123        7853889        7693480        0              0              11   68   56   
3.49/3.51	c 293992         2474214        8618682        8448196        0              0              14   68   57   
3.79/3.87	c 323465         2734740        9519529        9336451        0              0              16   68   58   
4.19/4.28	c 355885         3024362        10521138       10323594       0              0              17   68   59   
4.69/4.76	c 391547         3361371        11680077       11471288       0              0              14   68   59   
5.19/5.25	c 430775         3713921        12896437       12669013       0              0              17   68   58   
5.69/5.77	c 473925         4077101        14190537       13938310       0              0              16   68   58   
6.29/6.32	c 521390         4458918        15509097       15242000       0              0              16   68   55   
6.89/6.97	c 573601         4919354        17112519       16820229       0              0              15   68   57   
7.69/7.71	c 631033         5441543        18926420       18609008       0              0              16   68   58   
8.49/8.53	c 694208         6026129        20926867       20590987       0              0              11   68   58   
9.29/9.30	c 763700         6565690        22786387       22430220       0              0              14   67   53   
10.19/10.21	c 840141         7206190        25013290       24609327       0              0              14   67   55   
11.29/11.30	c 924226         7970618        27684167       27228390       0              0              12   68   57   
12.39/12.48	c 1016719        8806746        30582198       30025796       0              0              14   68   56   
13.69/13.76	c 1118461        9706835        33747963       33132704       0              0              10   68   58   
15.09/15.12	c 1230377        10664016       37096098       36433667       0              0              13   68   57   
16.69/16.75	c 1353484        11809108       41113299       40388011       0              0              13   68   57   
18.49/18.51	c 1488901        13041855       45436419       44631756       0              0              14   68   58   
20.19/20.25	c 1637859        14264362       49755960       48875211       0              0              13   68   57   
22.29/22.36	c 1801712        15755941       54955681       53993425       0              0              17   68   58   
24.49/24.56	c 1981950        17304097       60388646       59356315       0              0              12   68   58   
26.89/26.91	c 2180211        18958995       66147027       65049869       0              0              13   68   56   
29.79/29.82	c 2398298        21010291       73253323       72083917       0              0              15   69   58   
33.09/33.18	c 2638193        23391407       81423150       80186426       0              0              10   69   58   
36.49/36.53	c 2902077        25760198       89759352       88331939       0              0              14   69   58   
40.09/40.14	c 3192349        28321691       98621830       97068778       0              0              12   69   57   
44.09/44.15	c 3511648        31100268       108559839      106865822      0              0              11   69   58   
47.89/47.99	c 3862876        33820413       118002569      116174319      0              0              14   69   56   
52.59/52.68	c 4249226        37169306       129605062      127610920      0              0              9   69   59    
57.79/57.86	c 4674211        40836430       142529984      140271470      0              0              13   69   57   
63.99/64.07	c 5141694        45278050       157738242      155333782      0              0              9   69   60    
70.29/70.30	c 5655925        49708329       173043667      170431987      0              0              10   69   58   
77.19/77.21	c 6221579        54565605       190084767      187261419      0              0              11   68   56   
83.49/83.52	c 6843798        59004467       205446002      202523324      0              0              10   67   53   
92.09/92.11	c 7528238        65054297       226534933      223254126      0              0              9   68   56    
101.99/102.01	c 8281122        72144441       251067328      247061386      0              0              11   68   58   
112.09/112.11	c 9109294        79214981       275964543      271317784      0              0              10   68   55   
122.10/122.11	c 10020283       86258632       300764356      295789571      0              0              9   68   56    
132.99/133.06	c 11022370       93922488       327706529      322378775      0              0              7   68   55    
144.89/144.98	c 12124665       102207390      357234491      351401629      0              0              6   68   55    
157.69/157.76	c 13337189       111089972      388403433      382298187      0              0              7   68   53    
172.70/172.77	c 14670965       121606185      426164029      419092279      0              0              9   68   58    
188.40/188.44	c 16138118       132535131      464831558      457288181      0              0              11   68   55   
204.20/204.27	c 17751986       143242977      504109192      495817782      0              0              6   67   49    
226.40/226.44	c 19527240       159005545      559921342      549740857      0              0              6   69   57    
249.80/249.80	c 21480019       175618497      617510685      606641147      0              0              11   69   57   
276.70/276.71	c 23628075       194577802      684927865      672606753      0              0              9   69   58    
306.50/306.59	c 25990936       215570011      758366265      745117708      0              0              10   68   57   
332.90/332.92	c 28590083       233970374      822557391      808851765      0              0              9   68   53    
363.11/363.19	c 31449144       255092427      896968037      882283124      0              0              10   68   54   
397.91/397.92	c 34594111       278987507      983563990      967380122      0              0              8   68   55    
433.61/433.65	c 38053574       303900228      1070386172     1053855745     0              0              8   68   53    
471.41/471.42	c 41858983       330434729      1163139183     1145598588     0              0              7   68   54    
521.42/521.49	c 46044932       365395711      1286088100     1266964530     0              0              8   68   55    
579.42/579.42	c 50649475       406028956      1427937963     1406289392     0              0              9   68   56    
640.42/640.48	c 55714472       448652680      1578509742     1554002658     0              0              4   68   56    
706.72/706.70	c 61285968       494797321      1743404883     1716290459     0              0              4   68   56    
773.33/773.34	c 67414613       541433292      1910102675     1879327241     0              0              4   68   55    
853.13/853.12	c 74156122       597574124      2108121655     2072574029     0              0              6   68   56    
938.74/938.71	c 81571781       657908736      2318495050     2280299640     0              0              8   68   56    
1030.75/1030.76	c 89729005       723111283      2546352890     2504078834     0              0              7   68   56    
1118.55/1118.57	c 98701951       784459443      2762323741     2718267955     0              0              8   68   53    
1222.05/1222.03	c 108572191      856776261      3017383714     2970229516     0              0              6   68   54    
1345.26/1345.29	c 119429455      943704542      3321160543     3267049524     0              0              5   67   54    
1481.37/1481.37	c 131372445      1039506477     3658703065     3599054872     0              0              5   68   56    
1626.98/1626.99	c 144509734      1143086833     4020516570     3955499879     0              0              5   68   56    
1795.39/1795.32	c 158960751      1261255030     4438236108     4365703911     0              0              7   68   57    
1961.40/1961.39	c 174856869      1376920252     4849954093     4772315932     0              0              5   68   54    
2145.90/2145.89	c 192342598      1504183823     5310671918     5226757489     0              0              5   68   55    
2369.81/2369.79	c 211576899      1663096347     5862670240     5764430128     1              0              7   67   56

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-4252585-1500922459/watcher-4252585-1500922459 -o /tmp/evaluation-result-4252585-1500922459/solver-4252585-1500922459 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node105-1500914927-3626 --watchdog 2560 HOME/cosoco -lc -model -restarts HOME/instance-4252585-1500922459.xml 

pid=6324
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.00 2.04 3/181 6327
/proc/meminfo: memFree=31923556/32770624 swapFree=5864/116216
[pid=6327] ppid=6324 vsize=23104 CPUtime=0 cores=0,2,4,6
/proc/6327/stat : 6327 (runsolver) D 6324 6327 3595 0 -1 4202560 116 0 0 0 0 0 0 0 20 0 1 0 1785067 23658496 102 33554432000 4194304 4338465 140735785446960 140735785444600 140706528412375 0 0 4096 24578 18446744071580418449 0 0 17 2 0 0 0 0 0 6438912 6441760 28061696 140735785448341 140735785448767 140735785448767 140735785451466 0
/proc/6327/statm: 5776 102 54 36 0 2156 0

[startup+0.100198 s]
/proc/loadavg: 2.00 2.00 2.04 3/181 6327
/proc/meminfo: memFree=31923556/32770624 swapFree=5864/116216
[pid=6327] ppid=6324 vsize=26904 CPUtime=0.09 cores=0,2,4,6
/proc/6327/stat : 6327 (cosoco) R 6324 6327 3595 0 -1 4202496 1020 0 0 0 9 0 0 0 20 0 1 0 1785067 27549696 825 33554432000 4194304 5744392 140736511002592 140736510999240 4993968 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 31068160 140736511005889 140736511006019 140736511006019 140736511008718 0
/proc/6327/statm: 6726 825 710 379 0 145 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 26904

[startup+0.200302 s]
/proc/loadavg: 2.00 2.00 2.04 3/181 6327
/proc/meminfo: memFree=31923556/32770624 swapFree=5864/116216
[pid=6327] ppid=6324 vsize=26904 CPUtime=0.19 cores=0,2,4,6
/proc/6327/stat : 6327 (cosoco) R 6324 6327 3595 0 -1 4202496 1020 0 0 0 19 0 0 0 20 0 1 0 1785067 27549696 825 33554432000 4194304 5744392 140736511002592 140736510999240 140707695144032 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 31068160 140736511005889 140736511006019 140736511006019 140736511008718 0
/proc/6327/statm: 6726 825 710 379 0 145 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 26904

[startup+0.300334 s]
/proc/loadavg: 2.00 2.00 2.04 3/181 6327
/proc/meminfo: memFree=31923556/32770624 swapFree=5864/116216
[pid=6327] ppid=6324 vsize=26904 CPUtime=0.29 cores=0,2,4,6
/proc/6327/stat : 6327 (cosoco) R 6324 6327 3595 0 -1 4202496 1020 0 0 0 29 0 0 0 20 0 1 0 1785067 27549696 825 33554432000 4194304 5744392 140736511002592 140736510999240 5126264 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 31068160 140736511005889 140736511006019 140736511006019 140736511008718 0
/proc/6327/statm: 6726 825 710 379 0 145 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 26904

[startup+0.700279 s]
/proc/loadavg: 2.00 2.00 2.04 3/181 6327
/proc/meminfo: memFree=31923556/32770624 swapFree=5864/116216
[pid=6327] ppid=6324 vsize=26904 CPUtime=0.69 cores=0,2,4,6
/proc/6327/stat : 6327 (cosoco) R 6324 6327 3595 0 -1 4202496 1020 0 0 0 69 0 0 0 20 0 1 0 1785067 27549696 825 33554432000 4194304 5744392 140736511002592 140736510999240 5119015 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 31068160 140736511005889 140736511006019 140736511006019 140736511008718 0
/proc/6327/statm: 6726 825 710 379 0 145 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 26904

[startup+1.50028 s]
/proc/loadavg: 2.00 2.00 2.04 3/182 6328
/proc/meminfo: memFree=31922700/32770624 swapFree=5864/116216
[pid=6327] ppid=6324 vsize=26904 CPUtime=1.49 cores=0,2,4,6
/proc/6327/stat : 6327 (cosoco) R 6324 6327 3595 0 -1 4202496 1020 0 0 0 149 0 0 0 20 0 1 0 1785067 27549696 825 33554432000 4194304 5744392 140736511002592 140736510999992 4889118 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 31068160 140736511005889 140736511006019 140736511006019 140736511008718 0
/proc/6327/statm: 6726 825 710 379 0 145 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 26904

[startup+3.10028 s]
/proc/loadavg: 2.00 2.00 2.04 3/182 6328
/proc/meminfo: memFree=31922388/32770624 swapFree=5864/116232
[pid=6327] ppid=6324 vsize=26904 CPUtime=3.09 cores=0,2,4,6
/proc/6327/stat : 6327 (cosoco) R 6324 6327 3595 0 -1 4202496 1081 0 0 0 309 0 0 0 20 0 1 0 1785067 27549696 861 33554432000 4194304 5744392 140736511002592 140736510999992 5126277 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 31068160 140736511005889 140736511006019 140736511006019 140736511008718 0
/proc/6327/statm: 6726 861 741 379 0 145 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 26904

[startup+6.30028 s]
/proc/loadavg: 2.00 2.00 2.04 3/182 6328
/proc/meminfo: memFree=31922388/32770624 swapFree=5864/116232
[pid=6327] ppid=6324 vsize=26904 CPUtime=6.29 cores=0,2,4,6
/proc/6327/stat : 6327 (cosoco) R 6324 6327 3595 0 -1 4202496 1142 0 0 0 629 0 0 0 20 0 1 0 1785067 27549696 861 33554432000 4194304 5744392 140736511002592 140736510999992 4892941 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 31068160 140736511005889 140736511006019 140736511006019 140736511008718 0
/proc/6327/statm: 6726 861 741 379 0 145 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 26904

[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.04 3/182 6328
/proc/meminfo: memFree=31922060/32770624 swapFree=5864/116232
[pid=6327] ppid=6324 vsize=26904 CPUtime=12.69 cores=0,2,4,6
/proc/6327/stat : 6327 (cosoco) R 6324 6327 3595 0 -1 4202496 1203 0 0 0 1269 0 0 0 20 0 1 0 1785067 27549696 861 33554432000 4194304 5744392 140736511002592 140736510999992 4994192 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 31068160 140736511005889 140736511006019 140736511006019 140736511008718 0
/proc/6327/statm: 6726 861 741 379 0 145 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 26904

[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.04 3/182 6328
/proc/meminfo: memFree=31922156/32770624 swapFree=5864/116268
[pid=6327] ppid=6324 vsize=26904 CPUtime=25.49 cores=0,2,4,6
/proc/6327/stat : 6327 (cosoco) R 6324 6327 3595 0 -1 4202496 1325 0 0 0 2549 0 0 0 20 0 1 0 1785067 27549696 861 33554432000 4194304 5744392 140736511002592 140736510999992 4893521 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 31068160 140736511005889 140736511006019 140736511006019 140736511008718 0
/proc/6327/statm: 6726 861 741 379 0 145 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 26904

[startup+51.1003 s]
/proc/loadavg: 2.06 2.01 2.05 3/182 6329
/proc/meminfo: memFree=31921908/32770624 swapFree=5864/116304
[pid=6327] ppid=6324 vsize=26904 CPUtime=51.09 cores=0,2,4,6
/proc/6327/stat : 6327 (cosoco) R 6324 6327 3595 0 -1 4202496 1386 0 0 0 5109 0 0 0 20 0 1 0 1785067 27549696 861 33554432000 4194304 5744392 140736511002592 140736510999992 4889129 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 31068160 140736511005889 140736511006019 140736511006019 140736511008718 0
/proc/6327/statm: 6726 861 741 379 0 145 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 26904

[startup+102.3 s]
/proc/loadavg: 2.03 2.01 2.05 3/182 6330
/proc/meminfo: memFree=31922176/32770624 swapFree=5864/116388
[pid=6327] ppid=6324 vsize=26904 CPUtime=102.3 cores=0,2,4,6
/proc/6327/stat : 6327 (cosoco) R 6324 6327 3595 0 -1 4202496 1447 0 0 0 10230 0 0 0 20 0 1 0 1785067 27549696 861 33554432000 4194304 5744392 140736511002592 140736510999992 5140573 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 31068160 140736511005889 140736511006019 140736511006019 140736511008718 0
/proc/6327/statm: 6726 861 741 379 0 145 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 26904

[startup+162.3 s]
/proc/loadavg: 2.01 2.01 2.05 3/181 6331
/proc/meminfo: memFree=31923116/32770624 swapFree=5864/116448
[pid=6327] ppid=6324 vsize=26904 CPUtime=162.29 cores=0,2,4,6
/proc/6327/stat : 6327 (cosoco) R 6324 6327 3595 0 -1 4202496 1508 0 0 0 16229 0 0 0 20 0 1 0 1785067 27549696 861 33554432000 4194304 5744392 140736511002592 140736510999992 4893032 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 31068160 140736511005889 140736511006019 140736511006019 140736511008718 0
/proc/6327/statm: 6726 861 741 379 0 145 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 26904

[startup+222.306 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 6334
/proc/meminfo: memFree=31921460/32770624 swapFree=5864/116516
[pid=6327] ppid=6324 vsize=26904 CPUtime=222.3 cores=0,2,4,6
/proc/6327/stat : 6327 (cosoco) R 6324 6327 3595 0 -1 4202496 1569 0 0 0 22230 0 0 0 20 0 1 0 1785067 27549696 861 33554432000 4194304 5744392 140736511002592 140736510999992 4872795 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 31068160 140736511005889 140736511006019 140736511006019 140736511008718 0
/proc/6327/statm: 6726 861 741 379 0 145 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 26904

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 6335
/proc/meminfo: memFree=31921456/32770624 swapFree=5864/116552
[pid=6327] ppid=6324 vsize=26904 CPUtime=282.3 cores=0,2,4,6
/proc/6327/stat : 6327 (cosoco) R 6324 6327 3595 0 -1 4202496 1569 0 0 0 28230 0 0 0 20 0 1 0 1785067 27549696 861 33554432000 4194304 5744392 140736511002592 140736510999992 5126282 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 31068160 140736511005889 140736511006019 140736511006019 140736511008718 0
/proc/6327/statm: 6726 861 741 379 0 145 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 26904

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 6343
/proc/meminfo: memFree=31920580/32770624 swapFree=5864/116604
[pid=6327] ppid=6324 vsize=26904 CPUtime=342.3 cores=0,2,4,6
/proc/6327/stat : 6327 (cosoco) R 6324 6327 3595 0 -1 4202496 1630 0 0 0 34230 0 0 0 20 0 1 0 1785067 27549696 861 33554432000 4194304 5744392 140736511002592 140736510999992 5140569 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 31068160 140736511005889 140736511006019 140736511006019 140736511008718 0
/proc/6327/statm: 6726 861 741 379 0 145 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 26904

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 6344
/proc/meminfo: memFree=31921200/32770624 swapFree=5864/116644
[pid=6327] ppid=6324 vsize=26904 CPUtime=402.31 cores=0,2,4,6
/proc/6327/stat : 6327 (cosoco) R 6324 6327 3595 0 -1 4202496 1630 0 0 0 40231 0 0 0 20 0 1 0 1785067 27549696 861 33554432000 4194304 5744392 140736511002592 140736510999992 5124089 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 31068160 140736511005889 140736511006019 140736511006019 140736511008718 0
/proc/6327/statm: 6726 861 741 379 0 145 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 26904

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 6367
/proc/meminfo: memFree=31920412/32770624 swapFree=5864/116704
[pid=6327] ppid=6324 vsize=26904 CPUtime=462.31 cores=0,2,4,6
/proc/6327/stat : 6327 (cosoco) R 6324 6327 3595 0 -1 4202496 1691 0 0 0 46231 0 0 0 20 0 1 0 1785067 27549696 861 33554432000 4194304 5744392 140736511002592 140736510999992 5118920 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 31068160 140736511005889 140736511006019 140736511006019 140736511008718 0
/proc/6327/statm: 6726 861 741 379 0 145 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 26904

[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 6368
/proc/meminfo: memFree=31920112/32770624 swapFree=5864/116740
[pid=6327] ppid=6324 vsize=26904 CPUtime=522.31 cores=0,2,4,6
/proc/6327/stat : 6327 (cosoco) R 6324 6327 3595 0 -1 4202496 1691 0 0 0 52231 0 0 0 20 0 1 0 1785067 27549696 861 33554432000 4194304 5744392 140736511002592 140736510999992 5140573 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 31068160 140736511005889 140736511006019 140736511006019 140736511008718 0
/proc/6327/statm: 6726 861 741 379 0 145 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 26904

[startup+582.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/182 6369
/proc/meminfo: memFree=31920608/32770624 swapFree=5864/116768
[pid=6327] ppid=6324 vsize=26904 CPUtime=582.32 cores=0,2,4,6
/proc/6327/stat : 6327 (cosoco) R 6324 6327 3595 0 -1 4202496 1752 0 0 0 58232 0 0 0 20 0 1 0 1785067 27549696 861 33554432000 4194304 5744392 140736511002592 140736510999992 4893032 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 31068160 140736511005889 140736511006019 140736511006019 140736511008718 0
/proc/6327/statm: 6726 861 741 379 0 145 0
Current children cumulated CPU time (s) 582.32
Current children cumulated vsize (KiB) 26904


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


[startup+1542.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 6400
/proc/meminfo: memFree=31919980/32770624 swapFree=5864/117264
[pid=6327] ppid=6324 vsize=26904 CPUtime=1542.37 cores=0,2,4,6
/proc/6327/stat : 6327 (cosoco) R 6324 6327 3595 0 -1 4202496 2228 0 0 0 154237 0 0 0 20 0 1 0 1785067 27549696 861 33554432000 4194304 5744392 140736511002592 140736510999992 4892518 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 31068160 140736511005889 140736511006019 140736511006019 140736511008718 0
/proc/6327/statm: 6726 861 741 379 0 145 0
Current children cumulated CPU time (s) 1542.37
Current children cumulated vsize (KiB) 26904

[startup+1602.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/182 6401
/proc/meminfo: memFree=31920232/32770624 swapFree=5864/117288
[pid=6327] ppid=6324 vsize=26904 CPUtime=1602.37 cores=0,2,4,6
/proc/6327/stat : 6327 (cosoco) R 6324 6327 3595 0 -1 4202496 2228 0 0 0 160237 0 0 0 20 0 1 0 1785067 27549696 861 33554432000 4194304 5744392 140736511002592 140736510999992 5118774 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 31068160 140736511005889 140736511006019 140736511006019 140736511008718 0
/proc/6327/statm: 6726 861 741 379 0 145 0
Current children cumulated CPU time (s) 1602.37
Current children cumulated vsize (KiB) 26904

[startup+1662.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 6402
/proc/meminfo: memFree=31920588/32770624 swapFree=5864/117320
[pid=6327] ppid=6324 vsize=26904 CPUtime=1662.38 cores=0,2,4,6
/proc/6327/stat : 6327 (cosoco) R 6324 6327 3595 0 -1 4202496 2289 0 0 0 166238 0 0 0 20 0 1 0 1785067 27549696 861 33554432000 4194304 5744392 140736511002592 140736510999992 4889008 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 31068160 140736511005889 140736511006019 140736511006019 140736511008718 0
/proc/6327/statm: 6726 861 741 379 0 145 0
Current children cumulated CPU time (s) 1662.38
Current children cumulated vsize (KiB) 26904

[startup+1722.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 6403
/proc/meminfo: memFree=31920360/32770624 swapFree=5864/117344
[pid=6327] ppid=6324 vsize=26904 CPUtime=1722.38 cores=0,2,4,6
/proc/6327/stat : 6327 (cosoco) R 6324 6327 3595 0 -1 4202496 2289 0 0 0 172238 0 0 0 20 0 1 0 1785067 27549696 861 33554432000 4194304 5744392 140736511002592 140736510999992 4892818 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 31068160 140736511005889 140736511006019 140736511006019 140736511008718 0
/proc/6327/statm: 6726 861 741 379 0 145 0
Current children cumulated CPU time (s) 1722.38
Current children cumulated vsize (KiB) 26904

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 6404
/proc/meminfo: memFree=31920604/32770624 swapFree=5864/117372
[pid=6327] ppid=6324 vsize=26904 CPUtime=1782.38 cores=0,2,4,6
/proc/6327/stat : 6327 (cosoco) R 6324 6327 3595 0 -1 4202496 2338 0 0 0 178238 0 0 0 20 0 1 0 1785067 27549696 861 33554432000 4194304 5744392 140736511002592 140736510999992 5118794 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 31068160 140736511005889 140736511006019 140736511006019 140736511008718 0
/proc/6327/statm: 6726 861 741 379 0 145 0
Current children cumulated CPU time (s) 1782.38
Current children cumulated vsize (KiB) 26904

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 6405
/proc/meminfo: memFree=31920392/32770624 swapFree=5864/117396
[pid=6327] ppid=6324 vsize=26904 CPUtime=1842.39 cores=0,2,4,6
/proc/6327/stat : 6327 (cosoco) R 6324 6327 3595 0 -1 4202496 2350 0 0 0 184239 0 0 0 20 0 1 0 1785067 27549696 861 33554432000 4194304 5744392 140736511002592 140736510999992 4889129 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 31068160 140736511005889 140736511006019 140736511006019 140736511008718 0
/proc/6327/statm: 6726 861 741 379 0 145 0
Current children cumulated CPU time (s) 1842.39
Current children cumulated vsize (KiB) 26904

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 6407
/proc/meminfo: memFree=31920588/32770624 swapFree=5864/117440
[pid=6327] ppid=6324 vsize=26904 CPUtime=1902.39 cores=0,2,4,6
/proc/6327/stat : 6327 (cosoco) R 6324 6327 3595 0 -1 4202496 2399 0 0 0 190239 0 0 0 20 0 1 0 1785067 27549696 861 33554432000 4194304 5744392 140736511002592 140736510999992 5131600 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 31068160 140736511005889 140736511006019 140736511006019 140736511008718 0
/proc/6327/statm: 6726 861 741 379 0 145 0
Current children cumulated CPU time (s) 1902.39
Current children cumulated vsize (KiB) 26904

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 6408
/proc/meminfo: memFree=31920468/32770624 swapFree=5864/117460
[pid=6327] ppid=6324 vsize=26904 CPUtime=1962.39 cores=0,2,4,6
/proc/6327/stat : 6327 (cosoco) R 6324 6327 3595 0 -1 4202496 2411 0 0 0 196239 0 0 0 20 0 1 0 1785067 27549696 861 33554432000 4194304 5744392 140736511002592 140736510999992 5140573 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 31068160 140736511005889 140736511006019 140736511006019 140736511008718 0
/proc/6327/statm: 6726 861 741 379 0 145 0
Current children cumulated CPU time (s) 1962.39
Current children cumulated vsize (KiB) 26904

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 6409
/proc/meminfo: memFree=31920472/32770624 swapFree=5864/117496
[pid=6327] ppid=6324 vsize=26904 CPUtime=2022.4 cores=0,2,4,6
/proc/6327/stat : 6327 (cosoco) R 6324 6327 3595 0 -1 4202496 2460 0 0 0 202240 0 0 0 20 0 1 0 1785067 27549696 861 33554432000 4194304 5744392 140736511002592 140736510999992 4889064 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 31068160 140736511005889 140736511006019 140736511006019 140736511008718 0
/proc/6327/statm: 6726 861 741 379 0 145 0
Current children cumulated CPU time (s) 2022.4
Current children cumulated vsize (KiB) 26904

[startup+2082.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/182 6411
/proc/meminfo: memFree=31920668/32770624 swapFree=5864/117524
[pid=6327] ppid=6324 vsize=26904 CPUtime=2082.4 cores=0,2,4,6
/proc/6327/stat : 6327 (cosoco) R 6324 6327 3595 0 -1 4202496 2460 0 0 0 208240 0 0 0 20 0 1 0 1785067 27549696 861 33554432000 4194304 5744392 140736511002592 140736510999992 5140573 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 31068160 140736511005889 140736511006019 140736511006019 140736511008718 0
/proc/6327/statm: 6726 861 741 379 0 145 0
Current children cumulated CPU time (s) 2082.4
Current children cumulated vsize (KiB) 26904

[startup+2142.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 6412
/proc/meminfo: memFree=31920668/32770624 swapFree=5864/117548
[pid=6327] ppid=6324 vsize=26904 CPUtime=2142.4 cores=0,2,4,6
/proc/6327/stat : 6327 (cosoco) R 6324 6327 3595 0 -1 4202496 2509 0 0 0 214240 0 0 0 20 0 1 0 1785067 27549696 861 33554432000 4194304 5744392 140736511002592 140736510999992 4892791 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 31068160 140736511005889 140736511006019 140736511006019 140736511008718 0
/proc/6327/statm: 6726 861 741 379 0 145 0
Current children cumulated CPU time (s) 2142.4
Current children cumulated vsize (KiB) 26904

[startup+2202.31 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 6420
/proc/meminfo: memFree=31919932/32770624 swapFree=5864/117576
[pid=6327] ppid=6324 vsize=26904 CPUtime=2202.41 cores=0,2,4,6
/proc/6327/stat : 6327 (cosoco) R 6324 6327 3595 0 -1 4202496 2521 0 0 0 220241 0 0 0 20 0 1 0 1785067 27549696 861 33554432000 4194304 5744392 140736511002592 140736510999992 5118832 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 31068160 140736511005889 140736511006019 140736511006019 140736511008718 0
/proc/6327/statm: 6726 861 741 379 0 145 0
Current children cumulated CPU time (s) 2202.41
Current children cumulated vsize (KiB) 26904

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 6482
/proc/meminfo: memFree=32061260/32770624 swapFree=5864/117656
[pid=6327] ppid=6324 vsize=26904 CPUtime=2262.41 cores=0,2,4,6
/proc/6327/stat : 6327 (cosoco) R 6324 6327 3595 0 -1 4202496 2570 0 0 0 226241 0 0 0 20 0 1 0 1785067 27549696 861 33554432000 4194304 5744392 140736511002592 140736510999992 4889118 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 31068160 140736511005889 140736511006019 140736511006019 140736511008718 0
/proc/6327/statm: 6726 861 741 379 0 145 0
Current children cumulated CPU time (s) 2262.41
Current children cumulated vsize (KiB) 26904

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 6483
/proc/meminfo: memFree=32060388/32770624 swapFree=5864/117704
[pid=6327] ppid=6324 vsize=26904 CPUtime=2322.41 cores=0,2,4,6
/proc/6327/stat : 6327 (cosoco) R 6324 6327 3595 0 -1 4202496 2570 0 0 0 232241 0 0 0 20 0 1 0 1785067 27549696 861 33554432000 4194304 5744392 140736511002592 140736510999992 4893502 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 31068160 140736511005889 140736511006019 140736511006019 140736511008718 0
/proc/6327/statm: 6726 861 741 379 0 145 0
Current children cumulated CPU time (s) 2322.41
Current children cumulated vsize (KiB) 26904

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 6484
/proc/meminfo: memFree=32060196/32770624 swapFree=5864/117724
[pid=6327] ppid=6324 vsize=26904 CPUtime=2382.41 cores=0,2,4,6
/proc/6327/stat : 6327 (cosoco) R 6324 6327 3595 0 -1 4202496 2631 0 0 0 238241 0 0 0 20 0 1 0 1785067 27549696 861 33554432000 4194304 5744392 140736511002592 140736510999992 5131614 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 31068160 140736511005889 140736511006019 140736511006019 140736511008718 0
/proc/6327/statm: 6726 861 741 379 0 145 0
Current children cumulated CPU time (s) 2382.41
Current children cumulated vsize (KiB) 26904



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2399.9 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 6484
/proc/meminfo: memFree=32060196/32770624 swapFree=5864/117728
[pid=6327] ppid=6324 vsize=26904 CPUtime=2400.02 cores=0,2,4,6
/proc/6327/stat : 6327 (cosoco) R 6324 6327 3595 0 -1 4202496 2631 0 0 0 240002 0 0 0 20 0 1 0 1785067 27549696 861 33554432000 4194304 5744392 140736511002592 140736510999992 5118896 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 31068160 140736511005889 140736511006019 140736511006019 140736511008718 0
/proc/6327/statm: 6726 861 741 379 0 145 0
Current children cumulated CPU time (s) 2400.02
Current children cumulated vsize (KiB) 26904

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

[startup+2399.9 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 6484
/proc/meminfo: memFree=32060196/32770624 swapFree=5864/117728
[pid=6327] ppid=6324 vsize=26904 CPUtime=2400.02 cores=0,2,4,6
/proc/6327/stat : 6327 (cosoco) R 6324 6327 3595 0 -1 4202496 2631 0 0 0 240002 0 0 0 20 0 1 0 1785067 27549696 861 33554432000 4194304 5744392 140736511002592 140736510999992 5118896 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 31068160 140736511005889 140736511006019 140736511006019 140736511008718 0
/proc/6327/statm: 6726 861 741 379 0 145 0
Current children cumulated CPU time (s) 2400.02
Current children cumulated vsize (KiB) 26904

Child status: 1
Real time (s): 2399.9
CPU time (s): 2400.03
CPU user time (s): 2400.02
CPU system time (s): 0.008
CPU usage (%): 100.005
Max. virtual memory (cumulated for all children) (KiB): 26904

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400.02
system time used= 0.008
maximum resident set size= 3488
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2651
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6
involuntary context switches= 602

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.71637 second user time and 8.35365 second system time

The end

Launcher Data 

Begin job on node105 at 2017-07-24 20:54:19
IDJOB=4252585
IDBENCH=126862
IDSOLVER=2633
FILE ID=node105/4252585-1500922459
RUNJOBID= node105-1500914927-3626
PBS_JOBID= 20625417
Free space on /tmp= 61744 MiB

SOLVER NAME= cosoco-mini 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-4252585-1500922459/watcher-4252585-1500922459 -o /tmp/evaluation-result-4252585-1500922459/solver-4252585-1500922459 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node105-1500914927-3626 --watchdog 2560  HOME/cosoco -lc -model -restarts HOME/instance-4252585-1500922459.xml

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

MD5SUM BENCH= 973963fd5ae0545f9f330e30fdec40c5
RANDOM SEED=1254987077

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        31923668 kB
MemAvailable:   31892320 kB
Buffers:           34320 kB
Cached:           248484 kB
SwapCached:            0 kB
Active:           370132 kB
Inactive:         124776 kB
Active(anon):     214972 kB
Inactive(anon):     8560 kB
Active(file):     155160 kB
Inactive(file):   116216 kB
Unevictable:        5864 kB
Mlocked:            5864 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              2296 kB
Writeback:             0 kB
AnonPages:        217392 kB
Mapped:            29580 kB
Shmem:              8848 kB
Slab:              51820 kB
SReclaimable:      26220 kB
SUnreclaim:        25600 kB
KernelStack:        3264 kB
PageTables:         5332 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     453860 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    163840 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:       95616 kB
DirectMap2M:    33449984 kB

Free space on /tmp at the end= 61776 MiB
End job on node105 at 2017-07-24 21:34:19