Trace number 4299517

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.09 2519.9

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.006859
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-4299517-1532806980.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.00	c 101            1330           5616           5427           0              0              25   72   51   
0.00/0.00	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.01	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.06	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.13	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.16	c 14511          109408         381395         370763         0              0              33   68   62   
0.10/0.18	c 16051          121591         423886         412172         0              0              34   68   58   
0.10/0.20	c 17745          134064         467424         454905         0              0              27   68   57   
0.21/0.22	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.27	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.34	c 29113          229106         798431         779181         0              0              22   68   58   
0.31/0.38	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.64	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.04	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.75	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.58	c 355885         3024362        10521138       10323594       0              0              17   68   59   
5.00/5.09	c 391547         3361371        11680077       11471288       0              0              14   68   59   
5.59/5.62	c 430775         3713921        12896437       12669013       0              0              17   68   58   
6.10/6.18	c 473925         4077101        14190537       13938310       0              0              16   68   58   
6.69/6.76	c 521390         4458918        15509097       15242000       0              0              16   68   55   
7.39/7.46	c 573601         4919354        17112519       16820229       0              0              15   68   57   
8.19/8.25	c 631033         5441543        18926420       18609008       0              0              16   68   58   
9.10/9.13	c 694208         6026129        20926867       20590987       0              0              11   68   58   
9.89/9.96	c 763700         6565690        22786387       22430220       0              0              14   67   53   
10.89/10.93	c 840141         7206190        25013290       24609327       0              0              14   67   55   
12.00/12.10	c 924226         7970618        27684167       27228390       0              0              12   68   57   
13.29/13.36	c 1016719        8806746        30582198       30025796       0              0              14   68   56   
14.69/14.73	c 1118461        9706835        33747963       33132704       0              0              10   68   58   
16.10/16.19	c 1230377        10664016       37096098       36433667       0              0              13   68   57   
17.89/17.94	c 1353484        11809108       41113299       40388011       0              0              13   68   57   
19.79/19.82	c 1488901        13041855       45436419       44631756       0              0              14   68   58   
21.59/21.69	c 1637859        14264362       49755960       48875211       0              0              13   68   57   
23.89/23.96	c 1801712        15755941       54955681       53993425       0              0              17   68   58   
26.29/26.32	c 1981950        17304097       60388646       59356315       0              0              12   68   58   
28.79/28.84	c 2180211        18958995       66147027       65049869       0              0              13   68   56   
31.89/31.96	c 2398298        21010291       73253323       72083917       0              0              15   69   58   
35.50/35.56	c 2638193        23391407       81423150       80186426       0              0              10   69   58   
39.10/39.17	c 2902077        25760198       89759352       88331939       0              0              14   69   58   
43.00/43.05	c 3192349        28321691       98621830       97068778       0              0              12   69   57   
47.30/47.33	c 3511648        31100268       108559839      106865822      0              0              11   69   58   
51.40/51.45	c 3862876        33820413       118002569      116174319      0              0              14   69   56   
56.50/56.51	c 4249226        37169306       129605062      127610920      0              0              9   69   59    
62.01/62.10	c 4674211        40836430       142529984      140271470      0              0              13   69   57   
68.70/68.78	c 5141694        45278050       157738242      155333782      0              0              9   69   60    
75.40/75.48	c 5655925        49708329       173043667      170431987      0              0              10   69   58   
82.90/82.90	c 6221579        54565605       190084767      187261419      0              0              11   68   56   
89.60/89.66	c 6843798        59004467       205446002      202523324      0              0              10   67   53   
98.80/98.89	c 7528238        65054297       226534933      223254126      0              0              9   68   56    
109.50/109.56	c 8281122        72144441       251067328      247061386      0              0              11   68   58   
120.40/120.43	c 9109294        79214981       275964543      271317784      0              0              10   68   55   
131.20/131.22	c 10020283       86258632       300764356      295789571      0              0              9   68   56    
142.90/142.97	c 11022370       93922488       327706529      322378775      0              0              7   68   55    
155.70/155.74	c 12124665       102207390      357234491      351401629      0              0              6   68   55    
169.41/169.42	c 13337189       111089972      388403433      382298187      0              0              7   68   53    
185.51/185.58	c 14670965       121606185      426164029      419092279      0              0              9   68   58    
202.31/202.34	c 16138118       132535131      464831558      457288181      0              0              11   68   55   
219.21/219.21	c 17751986       143242977      504109192      495817782      0              0              6   67   49    
243.02/243.07	c 19527240       159005545      559921342      549740857      0              0              6   69   57    
268.02/268.10	c 21480019       175618497      617510685      606641147      0              0              11   69   57   
297.02/297.07	c 23628075       194577802      684927865      672606753      0              0              9   69   58    
329.02/329.05	c 25990936       215570011      758366265      745117708      0              0              10   68   57   
357.13/357.17	c 28590083       233970374      822557391      808851765      0              0              9   68   53    
389.52/389.58	c 31449144       255092427      896968037      882283124      0              0              10   68   54   
426.72/426.77	c 34594111       278987507      983563990      967380122      0              0              8   68   55    
464.93/464.97	c 38053574       303900228      1070386172     1053855745     0              0              8   68   53    
505.43/505.44	c 41858983       330434729      1163139183     1145598588     0              0              7   68   54    
559.14/559.17	c 46044932       365395711      1286088100     1266964530     0              0              8   68   55    
621.34/621.38	c 50649475       406028956      1427937963     1406289392     0              0              9   68   56    
686.94/686.92	c 55714472       448652680      1578509742     1554002658     0              0              4   68   56    
758.06/758.07	c 61285968       494797321      1743404883     1716290459     0              0              4   68   56    
829.75/829.71	c 67414613       541433292      1910102675     1879327241     0              0              4   68   55    
915.46/915.41	c 74156122       597574124      2108121655     2072574029     0              0              6   68   56    
1007.46/1007.46	c 81571781       657908736      2318495050     2280299640     0              0              8   68   56    
1106.57/1106.58	c 89729005       723111283      2546352890     2504078834     0              0              7   68   56    
1200.78/1200.79	c 98701951       784459443      2762323741     2718267955     0              0              8   68   53    
1311.79/1311.75	c 108572191      856776261      3017383714     2970229516     0              0              6   68   54    
1444.30/1444.26	c 119429455      943704542      3321160543     3267049524     0              0              5   67   54    
1591.01/1590.92	c 131372445      1039506477     3658703065     3599054872     0              0              5   68   56    
1748.02/1747.93	c 144509734      1143086833     4020516570     3955499879     0              0              5   68   56    
1928.84/1928.75	c 158960751      1261255030     4438236108     4365703911     0              0              7   68   57    
2107.16/2107.05	c 174856869      1376920252     4849954093     4772315932     0              0              5   68   54    
2304.97/2304.88	c 192342598      1504183823     5310671918     5226757489     0              0              5   68   55    
2520.08/2519.90	
2520.08/2519.90	c *** INTERRUPTED ***
2520.08/2519.90	c restarts              : 128         
2520.08/2519.90	c conflicts             : 209520872    (83140 /sec)
2520.08/2519.90	c decisions             : 1646417188   (653317 /sec)
2520.08/2519.90	c propagations          : 5708507658  (2265201 /sec)
2520.08/2519.90	c root propagations     : 0           
2520.08/2519.90	c filter calls          : 5804876083     (2303441 /sec)
2520.08/2519.90	c useless filter calls  : 3287384565     (56 %)
2520.08/2519.90	c Memory used           : 26.66 MB
2520.08/2519.90	c CPU time              : 2520.09 s
2520.08/2519.90	
2520.08/2519.90	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 (8461 MiB free)
  memory of node 1: 16384 MiB (11529 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4299517-1532806980/watcher-4299517-1532806980 -o /tmp/evaluation-result-4299517-1532806980/solver-4299517-1532806980 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1532776049-11497 --watchdog 2580 HOME/cosoco -lc -model -restarts HOME/instance-4299517-1532806980.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
solver pid=15159, runsolver pid=15156
Current StackSize limit: 8192 KiB


[startup+0.100195 s]*
/proc/loadavg: 2.00 2.04 2.05 3/188 15160
/proc/meminfo: memFree=20465928/32770624 swapFree=67108860/67108860
[pid=15159] ppid=15156 vsize=27292 memory=3672 CPUtime=0.1 cores=0,2,4,6
/proc/15159/stat : 15159 (cosoco) R 15156 15159 11466 0 -1 4202496 1109 0 0 0 10 0 0 0 20 0 1 0 98261214 27947008 918 33554432000 4194304 6142532 140726645593024 140726645589656 4990603 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 34209792 140726645597318 140726645597448 140726645597448 140726645600206 0
/proc/15159/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.209753 s]*
/proc/loadavg: 2.00 2.04 2.05 3/188 15160
/proc/meminfo: memFree=20465928/32770624 swapFree=67108860/67108860
[pid=15159] ppid=15156 vsize=27292 memory=3672 CPUtime=0.21 cores=0,2,4,6
/proc/15159/stat : 15159 (cosoco) R 15156 15159 11466 0 -1 4202496 1109 0 0 0 21 0 0 0 20 0 1 0 98261214 27947008 918 33554432000 4194304 6142532 140726645593024 140726645589656 5329971 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 34209792 140726645597318 140726645597448 140726645597448 140726645600206 0
/proc/15159/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.308933 s]*
/proc/loadavg: 2.00 2.04 2.05 3/188 15160
/proc/meminfo: memFree=20465928/32770624 swapFree=67108860/67108860
[pid=15159] ppid=15156 vsize=27292 memory=3672 CPUtime=0.31 cores=0,2,4,6
/proc/15159/stat : 15159 (cosoco) R 15156 15159 11466 0 -1 4202496 1109 0 0 0 31 0 0 0 20 0 1 0 98261214 27947008 918 33554432000 4194304 6142532 140726645593024 140726645589656 5326340 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 34209792 140726645597318 140726645597448 140726645597448 140726645600206 0
/proc/15159/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 2.04 2.05 3/188 15160
/proc/meminfo: memFree=20465928/32770624 swapFree=67108860/67108860
[pid=15159] ppid=15156 vsize=27292 memory=3672 CPUtime=0.69 cores=0,2,4,6
/proc/15159/stat : 15159 (cosoco) R 15156 15159 11466 0 -1 4202496 1109 0 0 0 69 0 0 0 20 0 1 0 98261214 27947008 918 33554432000 4194304 6142532 140726645593024 140726645590424 5337537 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 34209792 140726645597318 140726645597448 140726645597448 140726645600206 0
/proc/15159/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 2.04 2.05 3/188 15160
/proc/meminfo: memFree=20465680/32770624 swapFree=67108860/67108860
[pid=15159] ppid=15156 vsize=27292 memory=3672 CPUtime=1.49 cores=0,2,4,6
/proc/15159/stat : 15159 (cosoco) R 15156 15159 11466 0 -1 4202496 1109 0 0 0 149 0 0 0 20 0 1 0 98261214 27947008 918 33554432000 4194304 6142532 140726645593024 140726645590424 5017997 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 34209792 140726645597318 140726645597448 140726645597448 140726645600206 0
/proc/15159/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.10904 s]
/proc/loadavg: 2.00 2.04 2.05 3/188 15160
/proc/meminfo: memFree=20465804/32770624 swapFree=67108860/67108860
[pid=15159] ppid=15156 vsize=27292 memory=3812 CPUtime=3.1 cores=0,2,4,6
/proc/15159/stat : 15159 (cosoco) R 15156 15159 11466 0 -1 4202496 1171 0 0 0 310 0 0 0 20 0 1 0 98261214 27947008 953 33554432000 4194304 6142532 140726645593024 140726645590424 5329687 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 34209792 140726645597318 140726645597448 140726645597448 140726645600206 0
/proc/15159/statm: 6823 953 830 476 0 145 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3812 KiB

[startup+6.30032 s]
/proc/loadavg: 2.00 2.04 2.05 3/188 15160
/proc/meminfo: memFree=20465720/32770624 swapFree=67108860/67108860
[pid=15159] ppid=15156 vsize=27292 memory=3812 CPUtime=6.29 cores=0,2,4,6
/proc/15159/stat : 15159 (cosoco) R 15156 15159 11466 0 -1 4202496 1233 0 0 0 629 0 0 0 20 0 1 0 98261214 27947008 953 33554432000 4194304 6142532 140726645593024 140726645590424 5170034 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 34209792 140726645597318 140726645597448 140726645597448 140726645600206 0
/proc/15159/statm: 6823 953 830 476 0 145 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3812 KiB

[startup+12.7003 s]
/proc/loadavg: 2.00 2.04 2.05 3/188 15160
/proc/meminfo: memFree=20465844/32770624 swapFree=67108860/67108860
[pid=15159] ppid=15156 vsize=27292 memory=3812 CPUtime=12.69 cores=0,2,4,6
/proc/15159/stat : 15159 (cosoco) R 15156 15159 11466 0 -1 4202496 1295 0 0 0 1269 0 0 0 20 0 1 0 98261214 27947008 953 33554432000 4194304 6142532 140726645593024 140726645590424 5013876 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 34209792 140726645597318 140726645597448 140726645597448 140726645600206 0
/proc/15159/statm: 6823 953 830 476 0 145 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3812 KiB

[startup+25.5003 s]
/proc/loadavg: 2.00 2.04 2.05 3/188 15160
/proc/meminfo: memFree=20465844/32770624 swapFree=67108860/67108860
[pid=15159] ppid=15156 vsize=27292 memory=3812 CPUtime=25.49 cores=0,2,4,6
/proc/15159/stat : 15159 (cosoco) R 15156 15159 11466 0 -1 4202496 1419 0 0 0 2549 0 0 0 20 0 1 0 98261214 27947008 953 33554432000 4194304 6142532 140726645593024 140726645590424 5335902 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 34209792 140726645597318 140726645597448 140726645597448 140726645600206 0
/proc/15159/statm: 6823 953 830 476 0 145 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3812 KiB

[startup+51.1091 s]
/proc/loadavg: 2.06 2.05 2.05 3/188 15160
/proc/meminfo: memFree=20465720/32770624 swapFree=67108860/67108860
[pid=15159] ppid=15156 vsize=27292 memory=3812 CPUtime=51.11 cores=0,2,4,6
/proc/15159/stat : 15159 (cosoco) R 15156 15159 11466 0 -1 4202496 1481 0 0 0 5111 0 0 0 20 0 1 0 98261214 27947008 953 33554432000 4194304 6142532 140726645593024 140726645590424 5318922 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 34209792 140726645597318 140726645597448 140726645597448 140726645600206 0
/proc/15159/statm: 6823 953 830 476 0 145 0
Current children cumulated CPU time: 51.11 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3812 KiB

[startup+102.3 s]
/proc/loadavg: 2.03 2.04 2.05 3/188 15161
/proc/meminfo: memFree=20465780/32770624 swapFree=67108860/67108860
[pid=15159] ppid=15156 vsize=27292 memory=3812 CPUtime=102.3 cores=0,2,4,6
/proc/15159/stat : 15159 (cosoco) R 15156 15159 11466 0 -1 4202496 1543 0 0 0 10230 0 0 0 20 0 1 0 98261214 27947008 953 33554432000 4194304 6142532 140726645593024 140726645590424 5333324 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 34209792 140726645597318 140726645597448 140726645597448 140726645600206 0
/proc/15159/statm: 6823 953 830 476 0 145 0
Current children cumulated CPU time: 102.3 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3812 KiB

[startup+162.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/187 15162
/proc/meminfo: memFree=20465748/32770624 swapFree=67108860/67108860
[pid=15159] ppid=15156 vsize=27292 memory=3812 CPUtime=162.3 cores=0,2,4,6
/proc/15159/stat : 15159 (cosoco) R 15156 15159 11466 0 -1 4202496 1605 0 0 0 16230 0 0 0 20 0 1 0 98261214 27947008 953 33554432000 4194304 6142532 140726645593024 140726645590424 5347473 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 34209792 140726645597318 140726645597448 140726645597448 140726645600206 0
/proc/15159/statm: 6823 953 830 476 0 145 0
Current children cumulated CPU time: 162.3 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3812 KiB

[startup+222.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 15163
/proc/meminfo: memFree=20465872/32770624 swapFree=67108860/67108860
[pid=15159] ppid=15156 vsize=27292 memory=3812 CPUtime=222.31 cores=0,2,4,6
/proc/15159/stat : 15159 (cosoco) R 15156 15159 11466 0 -1 4202496 1667 0 0 0 22231 0 0 0 20 0 1 0 98261214 27947008 953 33554432000 4194304 6142532 140726645593024 140726645590424 5013856 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 34209792 140726645597318 140726645597448 140726645597448 140726645600206 0
/proc/15159/statm: 6823 953 830 476 0 145 0
Current children cumulated CPU time: 222.31 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3812 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 15164
/proc/meminfo: memFree=20465864/32770624 swapFree=67108860/67108860
[pid=15159] ppid=15156 vsize=27292 memory=3812 CPUtime=282.31 cores=0,2,4,6
/proc/15159/stat : 15159 (cosoco) R 15156 15159 11466 0 -1 4202496 1667 0 0 0 28231 0 0 0 20 0 1 0 98261214 27947008 953 33554432000 4194304 6142532 140726645593024 140726645590424 5347455 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 34209792 140726645597318 140726645597448 140726645597448 140726645600206 0
/proc/15159/statm: 6823 953 830 476 0 145 0
Current children cumulated CPU time: 282.31 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3812 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 15165
/proc/meminfo: memFree=20465492/32770624 swapFree=67108860/67108860
[pid=15159] ppid=15156 vsize=27292 memory=3812 CPUtime=342.32 cores=0,2,4,6
/proc/15159/stat : 15159 (cosoco) R 15156 15159 11466 0 -1 4202496 1729 0 0 0 34232 0 0 0 20 0 1 0 98261214 27947008 953 33554432000 4194304 6142532 140726645593024 140726645590424 5341522 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 34209792 140726645597318 140726645597448 140726645597448 140726645600206 0
/proc/15159/statm: 6823 953 830 476 0 145 0
Current children cumulated CPU time: 342.32 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3812 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 15166
/proc/meminfo: memFree=20465816/32770624 swapFree=67108860/67108860
[pid=15159] ppid=15156 vsize=27292 memory=3812 CPUtime=402.32 cores=0,2,4,6
/proc/15159/stat : 15159 (cosoco) R 15156 15159 11466 0 -1 4202496 1729 0 0 0 40232 0 0 0 20 0 1 0 98261214 27947008 953 33554432000 4194304 6142532 140726645593024 140726645590424 5017438 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 34209792 140726645597318 140726645597448 140726645597448 140726645600206 0
/proc/15159/statm: 6823 953 830 476 0 145 0
Current children cumulated CPU time: 402.32 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3812 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 15175
/proc/meminfo: memFree=20465188/32770624 swapFree=67108860/67108860
[pid=15159] ppid=15156 vsize=27292 memory=3812 CPUtime=462.33 cores=0,2,4,6
/proc/15159/stat : 15159 (cosoco) R 15156 15159 11466 0 -1 4202496 1791 0 0 0 46233 0 0 0 20 0 1 0 98261214 27947008 953 33554432000 4194304 6142532 140726645593024 140726645590424 5319106 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 34209792 140726645597318 140726645597448 140726645597448 140726645600206 0
/proc/15159/statm: 6823 953 830 476 0 145 0
Current children cumulated CPU time: 462.33 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3812 KiB


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

/proc/15159/statm: 6823 953 830 476 0 145 0
Current children cumulated CPU time: 1782.43 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3812 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 15298
/proc/meminfo: memFree=20462516/32770624 swapFree=67108860/67108860
[pid=15159] ppid=15156 vsize=27292 memory=3812 CPUtime=1842.43 cores=0,2,4,6
/proc/15159/stat : 15159 (cosoco) R 15156 15159 11466 0 -1 4202496 2461 0 0 0 184243 0 0 0 20 0 1 0 98261214 27947008 953 33554432000 4194304 6142532 140726645593024 140726645590424 5318976 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 34209792 140726645597318 140726645597448 140726645597448 140726645600206 0
/proc/15159/statm: 6823 953 830 476 0 145 0
Current children cumulated CPU time: 1842.43 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3812 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 15299
/proc/meminfo: memFree=20462636/32770624 swapFree=67108860/67108860
[pid=15159] ppid=15156 vsize=27292 memory=3812 CPUtime=1902.43 cores=0,2,4,6
/proc/15159/stat : 15159 (cosoco) R 15156 15159 11466 0 -1 4202496 2511 0 0 0 190243 0 0 0 20 0 1 0 98261214 27947008 953 33554432000 4194304 6142532 140726645593024 140726645590424 5318987 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 34209792 140726645597318 140726645597448 140726645597448 140726645600206 0
/proc/15159/statm: 6823 953 830 476 0 145 0
Current children cumulated CPU time: 1902.43 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3812 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 15300
/proc/meminfo: memFree=20462444/32770624 swapFree=67108860/67108860
[pid=15159] ppid=15156 vsize=27292 memory=3812 CPUtime=1962.44 cores=0,2,4,6
/proc/15159/stat : 15159 (cosoco) R 15156 15159 11466 0 -1 4202496 2523 0 0 0 196244 0 0 0 20 0 1 0 98261214 27947008 953 33554432000 4194304 6142532 140726645593024 140726645590424 5013887 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 34209792 140726645597318 140726645597448 140726645597448 140726645600206 0
/proc/15159/statm: 6823 953 830 476 0 145 0
Current children cumulated CPU time: 1962.44 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3812 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 15301
/proc/meminfo: memFree=20462320/32770624 swapFree=67108860/67108860
[pid=15159] ppid=15156 vsize=27292 memory=3812 CPUtime=2022.44 cores=0,2,4,6
/proc/15159/stat : 15159 (cosoco) R 15156 15159 11466 0 -1 4202496 2573 0 0 0 202244 0 0 0 20 0 1 0 98261214 27947008 953 33554432000 4194304 6142532 140726645593024 140726645590424 5329971 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 34209792 140726645597318 140726645597448 140726645597448 140726645600206 0
/proc/15159/statm: 6823 953 830 476 0 145 0
Current children cumulated CPU time: 2022.44 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3812 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 15302
/proc/meminfo: memFree=20462680/32770624 swapFree=67108860/67108860
[pid=15159] ppid=15156 vsize=27292 memory=3812 CPUtime=2082.45 cores=0,2,4,6
/proc/15159/stat : 15159 (cosoco) R 15156 15159 11466 0 -1 4202496 2573 0 0 0 208245 0 0 0 20 0 1 0 98261214 27947008 953 33554432000 4194304 6142532 140726645593024 140726645590424 5175088 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 34209792 140726645597318 140726645597448 140726645597448 140726645600206 0
/proc/15159/statm: 6823 953 830 476 0 145 0
Current children cumulated CPU time: 2082.45 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3812 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 15303
/proc/meminfo: memFree=20463776/32770624 swapFree=67108860/67108860
[pid=15159] ppid=15156 vsize=27292 memory=3812 CPUtime=2142.45 cores=0,2,4,6
/proc/15159/stat : 15159 (cosoco) R 15156 15159 11466 0 -1 4202496 2635 0 0 0 214245 0 0 0 20 0 1 0 98261214 27947008 953 33554432000 4194304 6142532 140726645593024 140726645590424 5013856 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 34209792 140726645597318 140726645597448 140726645597448 140726645600206 0
/proc/15159/statm: 6823 953 830 476 0 145 0
Current children cumulated CPU time: 2142.45 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3812 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 15305
/proc/meminfo: memFree=20462224/32770624 swapFree=67108860/67108860
[pid=15159] ppid=15156 vsize=27292 memory=3812 CPUtime=2202.46 cores=0,2,4,6
/proc/15159/stat : 15159 (cosoco) R 15156 15159 11466 0 -1 4202496 2635 0 0 0 220246 0 0 0 20 0 1 0 98261214 27947008 953 33554432000 4194304 6142532 140726645593024 140726645590424 5329966 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 34209792 140726645597318 140726645597448 140726645597448 140726645600206 0
/proc/15159/statm: 6823 953 830 476 0 145 0
Current children cumulated CPU time: 2202.46 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3812 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 15314
/proc/meminfo: memFree=20461936/32770624 swapFree=67108860/67108860
[pid=15159] ppid=15156 vsize=27292 memory=3812 CPUtime=2262.46 cores=0,2,4,6
/proc/15159/stat : 15159 (cosoco) R 15156 15159 11466 0 -1 4202496 2685 0 0 0 226246 0 0 0 20 0 1 0 98261214 27947008 953 33554432000 4194304 6142532 140726645593024 140726645590424 5337763 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 34209792 140726645597318 140726645597448 140726645597448 140726645600206 0
/proc/15159/statm: 6823 953 830 476 0 145 0
Current children cumulated CPU time: 2262.46 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3812 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 15315
/proc/meminfo: memFree=20462492/32770624 swapFree=67108860/67108860
[pid=15159] ppid=15156 vsize=27292 memory=3812 CPUtime=2322.47 cores=0,2,4,6
/proc/15159/stat : 15159 (cosoco) R 15156 15159 11466 0 -1 4202496 2697 0 0 0 232247 0 0 0 20 0 1 0 98261214 27947008 953 33554432000 4194304 6142532 140726645593024 140726645590424 5318922 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 34209792 140726645597318 140726645597448 140726645597448 140726645600206 0
/proc/15159/statm: 6823 953 830 476 0 145 0
Current children cumulated CPU time: 2322.47 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3812 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 15316
/proc/meminfo: memFree=20462352/32770624 swapFree=67108860/67108860
[pid=15159] ppid=15156 vsize=27292 memory=3812 CPUtime=2382.47 cores=0,2,4,6
/proc/15159/stat : 15159 (cosoco) R 15156 15159 11466 0 -1 4202496 2747 0 0 0 238247 0 0 0 20 0 1 0 98261214 27947008 953 33554432000 4194304 6142532 140726645593024 140726645590424 5318866 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 34209792 140726645597318 140726645597448 140726645597448 140726645600206 0
/proc/15159/statm: 6823 953 830 476 0 145 0
Current children cumulated CPU time: 2382.47 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3812 KiB

[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 15317
/proc/meminfo: memFree=20462564/32770624 swapFree=67108860/67108860
[pid=15159] ppid=15156 vsize=27292 memory=3812 CPUtime=2442.48 cores=0,2,4,6
/proc/15159/stat : 15159 (cosoco) R 15156 15159 11466 0 -1 4202496 2747 0 0 0 244248 0 0 0 20 0 1 0 98261214 27947008 953 33554432000 4194304 6142532 140726645593024 140726645590424 5017557 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 34209792 140726645597318 140726645597448 140726645597448 140726645600206 0
/proc/15159/statm: 6823 953 830 476 0 145 0
Current children cumulated CPU time: 2442.48 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3812 KiB

[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 15318
/proc/meminfo: memFree=20462564/32770624 swapFree=67108860/67108860
[pid=15159] ppid=15156 vsize=27292 memory=3812 CPUtime=2502.48 cores=0,2,4,6
/proc/15159/stat : 15159 (cosoco) R 15156 15159 11466 0 -1 4202496 2797 0 0 0 250248 0 0 0 20 0 1 0 98261214 27947008 953 33554432000 4194304 6142532 140726645593024 140726645590424 5318987 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 34209792 140726645597318 140726645597448 140726645597448 140726645600206 0
/proc/15159/statm: 6823 953 830 476 0 145 0
Current children cumulated CPU time: 2502.48 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3812 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2519.9 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 15319
/proc/meminfo: memFree=20461696/32770624 swapFree=67108860/67108860
[pid=15159] ppid=15156 vsize=27292 memory=3812 CPUtime=2520.08 cores=0,2,4,6
/proc/15159/stat : 15159 (cosoco) R 15156 15159 11466 0 -1 4202496 2797 0 0 0 252008 0 0 0 20 0 1 0 98261214 27947008 953 33554432000 4194304 6142532 140726645593024 140726645590424 5329971 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 34209792 140726645597318 140726645597448 140726645597448 140726645600206 0
/proc/15159/statm: 6823 953 830 476 0 145 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3812 KiB

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

[startup+2519.9 s]
# the end of solver process 15159 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2520.09 s, system=0.002 s

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

[startup+2519.9 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 15319
/proc/meminfo: memFree=20461696/32770624 swapFree=67108860/67108860
[pid=15159] ppid=15156 vsize=27292 memory=3812 CPUtime=2520.08 cores=0,2,4,6
/proc/15159/stat : 15159 (cosoco) R 15156 15159 11466 0 -1 4202496 2797 0 0 0 252008 0 0 0 20 0 1 0 98261214 27947008 953 33554432000 4194304 6142532 140726645593024 140726645590424 5329971 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 34209792 140726645597318 140726645597448 140726645597448 140726645600206 0
/proc/15159/statm: 6823 953 830 476 0 145 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3812 KiB

Child status: 1
Real time (s): 2519.9
CPU time (s): 2520.09
CPU user time (s): 2520.09
CPU system time (s): 0.002
CPU usage (%): 100.008
Max. virtual memory (cumulated for all children) (KiB): 27292
Max. memory (cumulated for all children) (KiB): 3812

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2520.09
system time used= 0.002
maximum resident set size= 3876
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2845
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= 655


# summary of solver processes directly reported to runsolver:
#   pid: 15159
#   total CPU time (s): 2520.09
#   total CPU user time (s): 2520.09
#   total CPU system time (s): 0.002

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.64709 second user time and 16.5831 second system time

The end

Launcher Data 

Begin job on node105 at 2018-07-28 21:43:00
IDJOB=4299517
IDBENCH=141409
IDSOLVER=2761
FILE ID=node105/4299517-1532806980
RUNJOBID= node105-1532776049-11497
PBS_JOBID= 21022469
Free space on /tmp= 44620 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-4299517-1532806980/watcher-4299517-1532806980 -o /tmp/evaluation-result-4299517-1532806980/solver-4299517-1532806980 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1532776049-11497 --watchdog 2580  HOME/cosoco -lc -model -restarts HOME/instance-4299517-1532806980.xml

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

MD5SUM BENCH= 973963fd5ae0545f9f330e30fdec40c5
RANDOM SEED=283997555

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:        20470616 kB
MemAvailable:   31930708 kB
Buffers:          270876 kB
Cached:         11328640 kB
SwapCached:            0 kB
Active:          2397128 kB
Inactive:        9255476 kB
Active(anon):       7896 kB
Inactive(anon):    73344 kB
Active(file):    2389232 kB
Inactive(file):  9182132 kB
Unevictable:        7296 kB
Mlocked:            7296 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              2924 kB
Writeback:             0 kB
AnonPages:         60076 kB
Mapped:            45272 kB
Shmem:             25228 kB
Slab:             345052 kB
SReclaimable:     317188 kB
SUnreclaim:        27864 kB
KernelStack:        3376 kB
PageTables:         4940 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     353200 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= 44620 MiB
End job on node105 at 2018-07-28 22:25:01