Trace number 4294672

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 1.12? (TO) 2520.1 2520.01

General information on the benchmark

NameDubois/
Dubois-025_c18.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.008505
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.00	c root propagations     : 0           
0.00/0.00	c restarts enabled, print stats at every restarts
0.00/0.00	c
0.00/0.00	c
0.00/0.00	c
0.00/0.00	c This is cosoco 1.12 --  
0.00/0.00	c
0.00/0.00	c command line: HOME/cosoco -lc -model -restarts HOME/instance-4294672-1532481679.xml 
0.00/0.00	c ========================================[ Problem Statistics ]===========================================
0.00/0.00	c |                                                                                                       
0.00/0.00	c |  Parse time        :         0.00 s 
0.00/0.00	c |
0.00/0.00	c |               Variables: 75
0.00/0.00	c |            Domain Sizes: 2..2
0.00/0.00	c |
0.00/0.00	c |             Constraints: 50
0.00/0.00	c |                   Arity: 3..3  -- Ternary: 50
0.00/0.00	c | 
0.00/0.00	c |                   Types: 
0.00/0.00	c |                          Extension: 50  (nb tuples: 4..4) -- (shared: 45)
0.00/0.00	c |                          
0.00/0.00	c =========================================================================================================
0.00/0.00	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
0.00/0.01	c 101            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.01	c 771            5954           22218          21207          0              0              35   53   47   
0.00/0.01	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.02	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.03	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.00/0.10	c 8669           65310          227407         220308         0              0              39   69   62   
0.10/0.11	c 9627           72545          252283         244721         0              0              27   69   59   
0.10/0.12	c 10680          79726          277180         269243         0              0              41   68   61   
0.10/0.14	c 11838          88834          308876         300061         0              0              35   68   62   
0.10/0.15	c 13111          98781          343735         334001         0              0              38   68   61   
0.10/0.17	c 14511          109408         381395         370763         0              0              33   68   62   
0.10/0.19	c 16051          121591         423886         412172         0              0              34   68   58   
0.10/0.21	c 17745          134064         467424         454905         0              0              27   68   57   
0.21/0.23	c 19608          148363         517311         503810         0              0              29   68   61   
0.21/0.25	c 21657          164776         575850         560913         0              0              31   68   59   
0.21/0.28	c 23910          181104         633019         616836         0              0              22   68   57   
0.21/0.31	c 26388          203402         710752         692416         0              0              29   68   59   
0.31/0.35	c 29113          229106         798431         779181         0              0              22   68   58   
0.31/0.39	c 32110          253158         882662         861509         0              0              23   68   58   
0.41/0.42	c 35406          279485         974232         950967         0              0              24   68   58   
0.41/0.47	c 39031          312830         1090660        1065944        0              0              22   66   58   
0.51/0.53	c 43018          351045         1222904        1194921        0              0              23   68   59   
0.51/0.58	c 47403          383698         1336762        1305859        0              0              17   68   52   
0.60/0.65	c 52226          426979         1488631        1455256        0              0              23   66   59   
0.69/0.71	c 57531          468850         1635516        1597273        0              0              12   68   52   
0.69/0.78	c 63366          513467         1793172        1752005        0              0              18   66   49   
0.79/0.86	c 69784          567149         1976657        1932186        0              0              21   69   60   
0.89/0.96	c 76843          633411         2207791        2158881        0              0              17   68   59   
1.00/1.05	c 84607          687965         2401677        2348981        0              0              12   69   48   
1.10/1.14	c 93147          752676         2628344        2568310        0              0              14   69   57   
1.19/1.25	c 102541         824589         2880634        2814896        0              0              26   69   61   
1.29/1.37	c 112874         903723         3159805        3088480        0              0              17   69   53   
1.49/1.50	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.86	c 150494         1226903        4279504        4191578        0              0              14   69   59   
2.00/2.08	c 165621         1374393        4785413        4692190        0              0              17   68   59   
2.29/2.32	c 182260         1531711        5326446        5222662        0              0              16   68   59   
2.49/2.56	c 200562         1694643        5894834        5775377        0              0              14   68   60   
2.79/2.82	c 220694         1865844        6496021        6363877        0              0              18   68   59   
3.00/3.10	c 242839         2048717        7140826        6990934        0              0              13   68   57   
3.39/3.41	c 267198         2255123        7853889        7693480        0              0              11   68   56   
3.69/3.74	c 293992         2474214        8618682        8448196        0              0              14   68   57   
4.10/4.14	c 323465         2734740        9519529        9336451        0              0              16   68   58   
4.49/4.57	c 355885         3024362        10521138       10323594       0              0              17   68   59   
5.00/5.08	c 391547         3361371        11680077       11471288       0              0              14   68   59   
5.59/5.61	c 430775         3713921        12896437       12669013       0              0              17   68   58   
6.10/6.17	c 473925         4077101        14190537       13938310       0              0              16   68   58   
6.69/6.75	c 521390         4458918        15509097       15242000       0              0              16   68   55   
7.39/7.44	c 573601         4919354        17112519       16820229       0              0              15   68   57   
8.19/8.23	c 631033         5441543        18926420       18609008       0              0              16   68   58   
9.10/9.11	c 694208         6026129        20926867       20590987       0              0              11   68   58   
9.89/9.94	c 763700         6565690        22786387       22430220       0              0              14   67   53   
10.89/10.91	c 840141         7206190        25013290       24609327       0              0              14   67   55   
12.00/12.07	c 924226         7970618        27684167       27228390       0              0              12   68   57   
13.29/13.33	c 1016719        8806746        30582198       30025796       0              0              14   68   56   
14.69/14.70	c 1118461        9706835        33747963       33132704       0              0              10   68   58   
16.10/16.16	c 1230377        10664016       37096098       36433667       0              0              13   68   57   
17.89/17.90	c 1353484        11809108       41113299       40388011       0              0              13   68   57   
19.69/19.77	c 1488901        13041855       45436419       44631756       0              0              14   68   58   
21.59/21.64	c 1637859        14264362       49755960       48875211       0              0              13   68   57   
23.89/23.90	c 1801712        15755941       54955681       53993425       0              0              17   68   58   
26.19/26.26	c 1981950        17304097       60388646       59356315       0              0              12   68   58   
28.69/28.78	c 2180211        18958995       66147027       65049869       0              0              13   68   56   
31.79/31.88	c 2398298        21010291       73253323       72083917       0              0              15   69   58   
35.39/35.48	c 2638193        23391407       81423150       80186426       0              0              10   69   58   
39.00/39.07	c 2902077        25760198       89759352       88331939       0              0              14   69   58   
42.89/42.94	c 3192349        28321691       98621830       97068778       0              0              12   69   57   
47.19/47.21	c 3511648        31100268       108559839      106865822      0              0              11   69   58   
51.29/51.33	c 3862876        33820413       118002569      116174319      0              0              14   69   56   
56.29/56.37	c 4249226        37169306       129605062      127610920      0              0              9   69   59    
61.89/61.95	c 4674211        40836430       142529984      140271470      0              0              13   69   57   
68.60/68.62	c 5141694        45278050       157738242      155333782      0              0              9   69   60    
75.30/75.30	c 5655925        49708329       173043667      170431987      0              0              10   69   58   
82.60/82.69	c 6221579        54565605       190084767      187261419      0              0              11   68   56   
89.40/89.44	c 6843798        59004467       205446002      202523324      0              0              10   67   53   
98.60/98.65	c 7528238        65054297       226534933      223254126      0              0              9   68   56    
109.20/109.29	c 8281122        72144441       251067328      247061386      0              0              11   68   58   
120.11/120.13	c 9109294        79214981       275964543      271317784      0              0              10   68   55   
130.80/130.89	c 10020283       86258632       300764356      295789571      0              0              9   68   56    
142.60/142.62	c 11022370       93922488       327706529      322378775      0              0              7   68   55    
155.30/155.36	c 12124665       102207390      357234491      351401629      0              0              6   68   55    
168.90/168.99	c 13337189       111089972      388403433      382298187      0              0              7   68   53    
185.01/185.09	c 14670965       121606185      426164029      419092279      0              0              9   68   58    
201.81/201.81	c 16138118       132535131      464831558      457288181      0              0              11   68   55   
218.61/218.65	c 17751986       143242977      504109192      495817782      0              0              6   67   49    
242.41/242.46	c 19527240       159005545      559921342      549740857      0              0              6   69   57    
267.41/267.43	c 21480019       175618497      617510685      606641147      0              0              11   69   57   
296.31/296.30	c 23628075       194577802      684927865      672606753      0              0              9   69   58    
328.22/328.20	c 25990936       215570011      758366265      745117708      0              0              10   68   57   
356.22/356.25	c 28590083       233970374      822557391      808851765      0              0              9   68   53    
388.52/388.57	c 31449144       255092427      896968037      882283124      0              0              10   68   54   
425.61/425.68	c 34594111       278987507      983563990      967380122      0              0              8   68   55    
463.72/463.76	c 38053574       303900228      1070386172     1053855745     0              0              8   68   53    
504.13/504.14	c 41858983       330434729      1163139183     1145598588     0              0              7   68   54    
557.72/557.70	c 46044932       365395711      1286088100     1266964530     0              0              8   68   55    
619.72/619.71	c 50649475       406028956      1427937963     1406289392     0              0              9   68   56    
685.03/685.02	c 55714472       448652680      1578509742     1554002658     0              0              4   68   56    
755.93/755.96	c 61285968       494797321      1743404883     1716290459     0              0              4   68   56    
827.33/827.39	c 67414613       541433292      1910102675     1879327241     0              0              4   68   55    
912.83/912.86	c 74156122       597574124      2108121655     2072574029     0              0              6   68   56    
1004.63/1004.69	c 81571781       657908736      2318495050     2280299640     0              0              8   68   56    
1103.54/1103.58	c 89729005       723111283      2546352890     2504078834     0              0              7   68   56    
1197.54/1197.57	c 98701951       784459443      2762323741     2718267955     0              0              8   68   53    
1308.24/1308.29	c 108572191      856776261      3017383714     2970229516     0              0              6   68   54    
1440.55/1440.53	c 119429455      943704542      3321160543     3267049524     0              0              5   67   54    
1586.95/1586.92	c 131372445      1039506477     3658703065     3599054872     0              0              5   68   56    
1743.66/1743.60	c 144509734      1143086833     4020516570     3955499879     0              0              5   68   56    
1924.07/1924.04	c 158960751      1261255030     4438236108     4365703911     0              0              7   68   57    
2101.97/2101.97	c 174856869      1376920252     4849954093     4772315932     0              0              5   68   54    
2299.48/2299.44	c 192342598      1504183823     5310671918     5226757489     0              0              5   68   55    
2520.09/2520.00	
2520.09/2520.00	c *** INTERRUPTED ***
2520.09/2520.00	c restarts              : 128         
2520.09/2520.00	c conflicts             : 210058771    (83353 /sec)
2520.09/2520.00	c decisions             : 1650248090   (654835 /sec)
2520.09/2520.00	c propagations          : 5721643510  (2270406 /sec)
2520.09/2520.00	c root propagations     : 0           
2520.09/2520.00	c filter calls          : 5818355359     (2308782 /sec)
2520.09/2520.00	c useless filter calls  : 3295078578     (56 %)
2520.09/2520.00	c Memory used           : 26.66 MB
2520.09/2520.00	c CPU time              : 2520.1 s
2520.09/2520.00	
2520.09/2520.00	s UNKNOWN

Verifier Data


Watcher Data 

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (10063 MiB free)
  memory of node 1: 16384 MiB (12100 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4294672-1532481679/watcher-4294672-1532481679 -o /tmp/evaluation-result-4294672-1532481679/solver-4294672-1532481679 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1532481209-32054 --watchdog 2580 HOME/cosoco -lc -model -restarts HOME/instance-4294672-1532481679.xml 

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

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

solver pid=32339, runsolver pid=32336

[startup+0.100778 s]*
/proc/loadavg: 2.00 1.83 1.59 3/188 32340
/proc/meminfo: memFree=22695448/32770624 swapFree=67108860/67108860
[pid=32339] ppid=32336 vsize=27292 memory=3672 CPUtime=0.1 cores=0,2,4,6
/proc/32339/stat : 32339 (cosoco) R 32336 32339 24765 0 -1 4202496 1108 0 0 0 10 0 0 0 20 0 1 0 65731056 27947008 918 33554432000 4194304 6142532 140731403757488 140731403754888 5017816 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 30928896 140731403760774 140731403760904 140731403760904 140731403763662 0
/proc/32339/statm: 6823 918 803 476 0 145 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3672 KiB

[startup+0.209423 s]*
/proc/loadavg: 2.00 1.83 1.59 3/188 32340
/proc/meminfo: memFree=22695236/32770624 swapFree=67108860/67108860
[pid=32339] ppid=32336 vsize=27292 memory=3672 CPUtime=0.21 cores=0,2,4,6
/proc/32339/stat : 32339 (cosoco) R 32336 32339 24765 0 -1 4202496 1108 0 0 0 21 0 0 0 20 0 1 0 65731056 27947008 918 33554432000 4194304 6142532 140731403757488 140731403754888 5335934 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 30928896 140731403760774 140731403760904 140731403760904 140731403763662 0
/proc/32339/statm: 6823 918 803 476 0 145 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3672 KiB

[startup+0.309071 s]*
/proc/loadavg: 2.00 1.83 1.59 3/188 32340
/proc/meminfo: memFree=22695236/32770624 swapFree=67108860/67108860
[pid=32339] ppid=32336 vsize=27292 memory=3672 CPUtime=0.31 cores=0,2,4,6
/proc/32339/stat : 32339 (cosoco) R 32336 32339 24765 0 -1 4202496 1108 0 0 0 31 0 0 0 20 0 1 0 65731056 27947008 918 33554432000 4194304 6142532 140731403757488 140731403754888 5013840 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 30928896 140731403760774 140731403760904 140731403760904 140731403763662 0
/proc/32339/statm: 6823 918 803 476 0 145 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3672 KiB

[startup+0.700333 s]
/proc/loadavg: 2.00 1.83 1.59 3/188 32340
/proc/meminfo: memFree=22695236/32770624 swapFree=67108860/67108860
[pid=32339] ppid=32336 vsize=27292 memory=3672 CPUtime=0.69 cores=0,2,4,6
/proc/32339/stat : 32339 (cosoco) R 32336 32339 24765 0 -1 4202496 1108 0 0 0 69 0 0 0 20 0 1 0 65731056 27947008 918 33554432000 4194304 6142532 140731403757488 140731403754888 5326346 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 30928896 140731403760774 140731403760904 140731403760904 140731403763662 0
/proc/32339/statm: 6823 918 803 476 0 145 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3672 KiB

[startup+1.50033 s]
/proc/loadavg: 2.00 1.83 1.59 3/188 32340
/proc/meminfo: memFree=22695236/32770624 swapFree=67108860/67108860
[pid=32339] ppid=32336 vsize=27292 memory=3672 CPUtime=1.49 cores=0,2,4,6
/proc/32339/stat : 32339 (cosoco) R 32336 32339 24765 0 -1 4202496 1108 0 0 0 149 0 0 0 20 0 1 0 65731056 27947008 918 33554432000 4194304 6142532 140731403757488 140731403754888 5016538 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 30928896 140731403760774 140731403760904 140731403760904 140731403763662 0
/proc/32339/statm: 6823 918 803 476 0 145 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3672 KiB

[startup+3.10906 s]
/proc/loadavg: 2.00 1.83 1.59 3/188 32340
/proc/meminfo: memFree=22695240/32770624 swapFree=67108860/67108860
[pid=32339] ppid=32336 vsize=27292 memory=3808 CPUtime=3.1 cores=0,2,4,6
/proc/32339/stat : 32339 (cosoco) R 32336 32339 24765 0 -1 4202496 1170 0 0 0 310 0 0 0 20 0 1 0 65731056 27947008 952 33554432000 4194304 6142532 140731403757488 140731403754888 5013856 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 30928896 140731403760774 140731403760904 140731403760904 140731403763662 0
/proc/32339/statm: 6823 952 830 476 0 145 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3808 KiB

[startup+6.30028 s]
/proc/loadavg: 2.00 1.83 1.60 3/188 32340
/proc/meminfo: memFree=22695152/32770624 swapFree=67108860/67108860
[pid=32339] ppid=32336 vsize=27292 memory=3808 CPUtime=6.29 cores=0,2,4,6
/proc/32339/stat : 32339 (cosoco) R 32336 32339 24765 0 -1 4202496 1232 0 0 0 629 0 0 0 20 0 1 0 65731056 27947008 952 33554432000 4194304 6142532 140731403757488 140731403754888 5319096 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 30928896 140731403760774 140731403760904 140731403760904 140731403763662 0
/proc/32339/statm: 6823 952 830 476 0 145 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3808 KiB

[startup+12.7003 s]
/proc/loadavg: 2.00 1.84 1.60 3/188 32340
/proc/meminfo: memFree=22694960/32770624 swapFree=67108860/67108860
[pid=32339] ppid=32336 vsize=27292 memory=3808 CPUtime=12.69 cores=0,2,4,6
/proc/32339/stat : 32339 (cosoco) R 32336 32339 24765 0 -1 4202496 1294 0 0 0 1269 0 0 0 20 0 1 0 65731056 27947008 952 33554432000 4194304 6142532 140731403757488 140731403754888 5018061 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 30928896 140731403760774 140731403760904 140731403760904 140731403763662 0
/proc/32339/statm: 6823 952 830 476 0 145 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3808 KiB

[startup+25.5003 s]
/proc/loadavg: 2.00 1.84 1.60 3/188 32340
/proc/meminfo: memFree=22695080/32770624 swapFree=67108860/67108860
[pid=32339] ppid=32336 vsize=27292 memory=3808 CPUtime=25.49 cores=0,2,4,6
/proc/32339/stat : 32339 (cosoco) R 32336 32339 24765 0 -1 4202496 1418 0 0 0 2549 0 0 0 20 0 1 0 65731056 27947008 952 33554432000 4194304 6142532 140731403757488 140731403754888 5018040 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 30928896 140731403760774 140731403760904 140731403760904 140731403763662 0
/proc/32339/statm: 6823 952 830 476 0 145 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3808 KiB

[startup+51.109 s]
/proc/loadavg: 2.00 1.86 1.61 3/188 32340
/proc/meminfo: memFree=22695080/32770624 swapFree=67108860/67108860
[pid=32339] ppid=32336 vsize=27292 memory=3808 CPUtime=51.1 cores=0,2,4,6
/proc/32339/stat : 32339 (cosoco) R 32336 32339 24765 0 -1 4202496 1480 0 0 0 5110 0 0 0 20 0 1 0 65731056 27947008 952 33554432000 4194304 6142532 140731403757488 140731403754888 5347469 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 30928896 140731403760774 140731403760904 140731403760904 140731403763662 0
/proc/32339/statm: 6823 952 830 476 0 145 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3808 KiB

[startup+102.3 s]
/proc/loadavg: 2.00 1.88 1.63 3/188 32341
/proc/meminfo: memFree=22695080/32770624 swapFree=67108860/67108860
[pid=32339] ppid=32336 vsize=27292 memory=3808 CPUtime=102.3 cores=0,2,4,6
/proc/32339/stat : 32339 (cosoco) R 32336 32339 24765 0 -1 4202496 1542 0 0 0 10230 0 0 0 20 0 1 0 65731056 27947008 952 33554432000 4194304 6142532 140731403757488 140731403754888 5017491 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 30928896 140731403760774 140731403760904 140731403760904 140731403763662 0
/proc/32339/statm: 6823 952 830 476 0 145 0
Current children cumulated CPU time: 102.3 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3808 KiB

[startup+162.3 s]
/proc/loadavg: 2.00 1.90 1.66 3/188 32342
/proc/meminfo: memFree=22695092/32770624 swapFree=67108860/67108860
[pid=32339] ppid=32336 vsize=27292 memory=3808 CPUtime=162.3 cores=0,2,4,6
/proc/32339/stat : 32339 (cosoco) R 32336 32339 24765 0 -1 4202496 1604 0 0 0 16230 0 0 0 20 0 1 0 65731056 27947008 952 33554432000 4194304 6142532 140731403757488 140731403754888 5318987 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 30928896 140731403760774 140731403760904 140731403760904 140731403763662 0
/proc/32339/statm: 6823 952 830 476 0 145 0
Current children cumulated CPU time: 162.3 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3808 KiB

[startup+222.3 s]
/proc/loadavg: 2.00 1.92 1.68 3/188 32343
/proc/meminfo: memFree=22694356/32770624 swapFree=67108860/67108860
[pid=32339] ppid=32336 vsize=27292 memory=3808 CPUtime=222.31 cores=0,2,4,6
/proc/32339/stat : 32339 (cosoco) R 32336 32339 24765 0 -1 4202496 1666 0 0 0 22231 0 0 0 20 0 1 0 65731056 27947008 952 33554432000 4194304 6142532 140731403757488 140731403754888 5319096 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 30928896 140731403760774 140731403760904 140731403760904 140731403763662 0
/proc/32339/statm: 6823 952 830 476 0 145 0
Current children cumulated CPU time: 222.31 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3808 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 1.93 1.70 3/188 32345
/proc/meminfo: memFree=22693932/32770624 swapFree=67108860/67108860
[pid=32339] ppid=32336 vsize=27292 memory=3808 CPUtime=282.31 cores=0,2,4,6
/proc/32339/stat : 32339 (cosoco) R 32336 32339 24765 0 -1 4202496 1666 0 0 0 28231 0 0 0 20 0 1 0 65731056 27947008 952 33554432000 4194304 6142532 140731403757488 140731403754888 5017990 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 30928896 140731403760774 140731403760904 140731403760904 140731403763662 0
/proc/32339/statm: 6823 952 830 476 0 145 0
Current children cumulated CPU time: 282.31 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3808 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 1.94 1.72 3/188 32346
/proc/meminfo: memFree=22694208/32770624 swapFree=67108860/67108860
[pid=32339] ppid=32336 vsize=27292 memory=3808 CPUtime=342.32 cores=0,2,4,6
/proc/32339/stat : 32339 (cosoco) R 32336 32339 24765 0 -1 4202496 1728 0 0 0 34232 0 0 0 20 0 1 0 65731056 27947008 952 33554432000 4194304 6142532 140731403757488 140731403754888 5017759 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 30928896 140731403760774 140731403760904 140731403760904 140731403763662 0
/proc/32339/statm: 6823 952 830 476 0 145 0
Current children cumulated CPU time: 342.32 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3808 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 1.96 1.73 3/188 32347
/proc/meminfo: memFree=22694376/32770624 swapFree=67108860/67108860
[pid=32339] ppid=32336 vsize=27292 memory=3808 CPUtime=402.32 cores=0,2,4,6
/proc/32339/stat : 32339 (cosoco) R 32336 32339 24765 0 -1 4202496 1728 0 0 0 40232 0 0 0 20 0 1 0 65731056 27947008 952 33554432000 4194304 6142532 140731403757488 140731403754888 5347469 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 30928896 140731403760774 140731403760904 140731403760904 140731403763662 0
/proc/32339/statm: 6823 952 830 476 0 145 0
Current children cumulated CPU time: 402.32 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3808 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 1.96 1.75 3/188 32391
/proc/meminfo: memFree=22693112/32770624 swapFree=67108860/67108860
[pid=32339] ppid=32336 vsize=27292 memory=3808 CPUtime=462.32 cores=0,2,4,6
/proc/32339/stat : 32339 (cosoco) R 32336 32339 24765 0 -1 4202496 1790 0 0 0 46232 0 0 0 20 0 1 0 65731056 27947008 952 33554432000 4194304 6142532 140731403757488 140731403754888 5017760 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 30928896 140731403760774 140731403760904 140731403760904 140731403763662 0
/proc/32339/statm: 6823 952 830 476 0 145 0
Current children cumulated CPU time: 462.32 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3808 KiB


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

/proc/32339/statm: 6823 952 830 476 0 145 0
Current children cumulated CPU time: 1722.36 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3808 KiB

[startup+1782.3 s]
/proc/loadavg: 2.00 2.03 1.96 3/188 32497
/proc/meminfo: memFree=22692428/32770624 swapFree=67108860/67108860
[pid=32339] ppid=32336 vsize=27292 memory=3808 CPUtime=1782.36 cores=0,2,4,6
/proc/32339/stat : 32339 (cosoco) R 32336 32339 24765 0 -1 4202496 3057 0 0 0 178236 0 0 0 20 0 1 0 65731056 27947008 952 33554432000 4194304 6142532 140731403757488 140731403754888 5017816 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 30928896 140731403760774 140731403760904 140731403760904 140731403763662 0
/proc/32339/statm: 6823 952 830 476 0 145 0
Current children cumulated CPU time: 1782.36 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3808 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 2.03 1.96 3/188 32498
/proc/meminfo: memFree=22692428/32770624 swapFree=67108860/67108860
[pid=32339] ppid=32336 vsize=27292 memory=3808 CPUtime=1842.36 cores=0,2,4,6
/proc/32339/stat : 32339 (cosoco) R 32336 32339 24765 0 -1 4202496 3107 0 0 0 184236 0 0 0 20 0 1 0 65731056 27947008 952 33554432000 4194304 6142532 140731403757488 140731403754888 5318976 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 30928896 140731403760774 140731403760904 140731403760904 140731403763662 0
/proc/32339/statm: 6823 952 830 476 0 145 0
Current children cumulated CPU time: 1842.36 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3808 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.02 1.96 3/188 32499
/proc/meminfo: memFree=22692792/32770624 swapFree=67108860/67108860
[pid=32339] ppid=32336 vsize=27292 memory=3808 CPUtime=1902.36 cores=0,2,4,6
/proc/32339/stat : 32339 (cosoco) R 32336 32339 24765 0 -1 4202496 3157 0 0 0 190236 0 0 0 20 0 1 0 65731056 27947008 952 33554432000 4194304 6142532 140731403757488 140731403754888 5341548 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 30928896 140731403760774 140731403760904 140731403760904 140731403763662 0
/proc/32339/statm: 6823 952 830 476 0 145 0
Current children cumulated CPU time: 1902.36 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3808 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/188 32500
/proc/meminfo: memFree=22692816/32770624 swapFree=67108860/67108860
[pid=32339] ppid=32336 vsize=27292 memory=3808 CPUtime=1962.36 cores=0,2,4,6
/proc/32339/stat : 32339 (cosoco) R 32336 32339 24765 0 -1 4202496 3219 0 0 0 196236 0 0 0 20 0 1 0 65731056 27947008 952 33554432000 4194304 6142532 140731403757488 140731403754888 5318976 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 30928896 140731403760774 140731403760904 140731403760904 140731403763662 0
/proc/32339/statm: 6823 952 830 476 0 145 0
Current children cumulated CPU time: 1962.36 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3808 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/188 32501
/proc/meminfo: memFree=22692940/32770624 swapFree=67108860/67108860
[pid=32339] ppid=32336 vsize=27292 memory=3808 CPUtime=2022.37 cores=0,2,4,6
/proc/32339/stat : 32339 (cosoco) R 32336 32339 24765 0 -1 4202496 3269 0 0 0 202237 0 0 0 20 0 1 0 65731056 27947008 952 33554432000 4194304 6142532 140731403757488 140731403754888 5319096 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 30928896 140731403760774 140731403760904 140731403760904 140731403763662 0
/proc/32339/statm: 6823 952 830 476 0 145 0
Current children cumulated CPU time: 2022.37 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3808 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/187 32503
/proc/meminfo: memFree=22693108/32770624 swapFree=67108860/67108860
[pid=32339] ppid=32336 vsize=27292 memory=3808 CPUtime=2082.37 cores=0,2,4,6
/proc/32339/stat : 32339 (cosoco) R 32336 32339 24765 0 -1 4202496 3319 0 0 0 208237 0 0 0 20 0 1 0 65731056 27947008 952 33554432000 4194304 6142532 140731403757488 140731403754888 5013856 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 30928896 140731403760774 140731403760904 140731403760904 140731403763662 0
/proc/32339/statm: 6823 952 830 476 0 145 0
Current children cumulated CPU time: 2082.37 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3808 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/187 32504
/proc/meminfo: memFree=22692976/32770624 swapFree=67108860/67108860
[pid=32339] ppid=32336 vsize=27292 memory=3808 CPUtime=2142.37 cores=0,2,4,6
/proc/32339/stat : 32339 (cosoco) R 32336 32339 24765 0 -1 4202496 3381 0 0 0 214237 0 0 0 20 0 1 0 65731056 27947008 952 33554432000 4194304 6142532 140731403757488 140731403754888 5013961 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 30928896 140731403760774 140731403760904 140731403760904 140731403763662 0
/proc/32339/statm: 6823 952 830 476 0 145 0
Current children cumulated CPU time: 2142.37 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3808 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/187 32505
/proc/meminfo: memFree=22692828/32770624 swapFree=67108860/67108860
[pid=32339] ppid=32336 vsize=27292 memory=3808 CPUtime=2202.37 cores=0,2,4,6
/proc/32339/stat : 32339 (cosoco) R 32336 32339 24765 0 -1 4202496 3431 0 0 0 220237 0 0 0 20 0 1 0 65731056 27947008 952 33554432000 4194304 6142532 140731403757488 140731403754888 5017816 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 30928896 140731403760774 140731403760904 140731403760904 140731403763662 0
/proc/32339/statm: 6823 952 830 476 0 145 0
Current children cumulated CPU time: 2202.37 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3808 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/187 32507
/proc/meminfo: memFree=22693120/32770624 swapFree=67108860/67108860
[pid=32339] ppid=32336 vsize=27292 memory=3808 CPUtime=2262.37 cores=0,2,4,6
/proc/32339/stat : 32339 (cosoco) R 32336 32339 24765 0 -1 4202496 3481 0 0 0 226237 0 0 0 20 0 1 0 65731056 27947008 952 33554432000 4194304 6142532 140731403757488 140731403754888 5326336 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 30928896 140731403760774 140731403760904 140731403760904 140731403763662 0
/proc/32339/statm: 6823 952 830 476 0 145 0
Current children cumulated CPU time: 2262.37 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3808 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/187 32508
/proc/meminfo: memFree=22692996/32770624 swapFree=67108860/67108860
[pid=32339] ppid=32336 vsize=27292 memory=3808 CPUtime=2322.38 cores=0,2,4,6
/proc/32339/stat : 32339 (cosoco) R 32336 32339 24765 0 -1 4202496 3543 0 0 0 232238 0 0 0 20 0 1 0 65731056 27947008 952 33554432000 4194304 6142532 140731403757488 140731403754888 5017553 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 30928896 140731403760774 140731403760904 140731403760904 140731403763662 0
/proc/32339/statm: 6823 952 830 476 0 145 0
Current children cumulated CPU time: 2322.38 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3808 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/188 32517
/proc/meminfo: memFree=22692948/32770624 swapFree=67108860/67108860
[pid=32339] ppid=32336 vsize=27292 memory=3808 CPUtime=2382.38 cores=0,2,4,6
/proc/32339/stat : 32339 (cosoco) R 32336 32339 24765 0 -1 4202496 3593 0 0 0 238238 0 0 0 20 0 1 0 65731056 27947008 952 33554432000 4194304 6142532 140731403757488 140731403754888 5017657 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 30928896 140731403760774 140731403760904 140731403760904 140731403763662 0
/proc/32339/statm: 6823 952 830 476 0 145 0
Current children cumulated CPU time: 2382.38 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3808 KiB

[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/189 32541
/proc/meminfo: memFree=22691428/32770624 swapFree=67108860/67108860
[pid=32339] ppid=32336 vsize=27292 memory=3808 CPUtime=2442.38 cores=0,2,4,6
/proc/32339/stat : 32339 (cosoco) R 32336 32339 24765 0 -1 4202496 3643 0 0 0 244238 0 0 0 20 0 1 0 65731056 27947008 952 33554432000 4194304 6142532 140731403757488 140731403754888 5335940 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 30928896 140731403760774 140731403760904 140731403760904 140731403763662 0
/proc/32339/statm: 6823 952 830 476 0 145 0
Current children cumulated CPU time: 2442.38 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3808 KiB

[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/189 32542
/proc/meminfo: memFree=22691692/32770624 swapFree=67108860/67108860
[pid=32339] ppid=32336 vsize=27292 memory=3808 CPUtime=2502.38 cores=0,2,4,6
/proc/32339/stat : 32339 (cosoco) R 32336 32339 24765 0 -1 4202496 3693 0 0 0 250238 0 0 0 20 0 1 0 65731056 27947008 952 33554432000 4194304 6142532 140731403757488 140731403754888 5017553 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 30928896 140731403760774 140731403760904 140731403760904 140731403763662 0
/proc/32339/statm: 6823 952 830 476 0 145 0
Current children cumulated CPU time: 2502.38 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3808 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 2.00 2.01 1.96 3/189 32542
/proc/meminfo: memFree=22691692/32770624 swapFree=67108860/67108860
[pid=32339] ppid=32336 vsize=27292 memory=3808 CPUtime=2520.09 cores=0,2,4,6
/proc/32339/stat : 32339 (cosoco) R 32336 32339 24765 0 -1 4202496 3743 0 0 0 252009 0 0 0 20 0 1 0 65731056 27947008 952 33554432000 4194304 6142532 140731403757488 140731403754888 5170394 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 30928896 140731403760774 140731403760904 140731403760904 140731403763662 0
/proc/32339/statm: 6823 952 830 476 0 145 0
Current children cumulated CPU time: 2520.09 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3808 KiB

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

[startup+2520.01 s]
# the end of solver process 32339 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2520.1 s, system=0.006 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 1
Real time (s): 2520.01
CPU time (s): 2520.1
CPU user time (s): 2520.1
CPU system time (s): 0.006
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 27292
Max. memory (cumulated for all children) (KiB): 3808

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2520.1
system time used= 0.006
maximum resident set size= 3872
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3791
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= 15
involuntary context switches= 3763


# summary of solver processes directly reported to runsolver:
#   pid: 32339
#   total CPU time (s): 2520.1
#   total CPU user time (s): 2520.1
#   total CPU system time (s): 0.006

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.99851 second user time and 17.2688 second system time

The end

Launcher Data 

Begin job on node105 at 2018-07-25 03:21:19
IDJOB=4294672
IDBENCH=141409
IDSOLVER=2752
FILE ID=node105/4294672-1532481679
RUNJOBID= node105-1532481209-32054
PBS_JOBID= 21021581
Free space on /tmp= 44760 MiB

SOLVER NAME= cosoco 1.12
BENCH NAME= XCSP18/Dubois/Dubois-025_c18.xml
COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4294672-1532481679/watcher-4294672-1532481679 -o /tmp/evaluation-result-4294672-1532481679/solver-4294672-1532481679 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1532481209-32054 --watchdog 2580  HOME/cosoco -lc -model -restarts HOME/instance-4294672-1532481679.xml

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

MD5SUM BENCH= 973963fd5ae0545f9f330e30fdec40c5
RANDOM SEED=1273109525

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.32
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.32
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.32
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.32
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:        22696096 kB
MemAvailable:   31939920 kB
Buffers:          229780 kB
Cached:          9153548 kB
SwapCached:            0 kB
Active:          1611616 kB
Inactive:        7825072 kB
Active(anon):       7336 kB
Inactive(anon):    65528 kB
Active(file):    1604280 kB
Inactive(file):  7759544 kB
Unevictable:        7180 kB
Mlocked:            7180 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              2752 kB
Writeback:             0 kB
AnonPages:         60320 kB
Mapped:            40672 kB
Shmem:             17068 kB
Slab:             335644 kB
SReclaimable:     308460 kB
SUnreclaim:        27184 kB
KernelStack:        3376 kB
PageTables:         4932 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     345060 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      6144 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      130432 kB
DirectMap2M:    33415168 kB

Free space on /tmp at the end= 44760 MiB
End job on node105 at 2018-07-25 04:03:19