Trace number 4294254

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.07 2520.01

General information on the benchmark

NameLangford/
LangfordBin-13_c18.xml
MD5SUMaf26c9d63c7c51246c3bfb55117cf2b4
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 benchmark674.478
Satisfiable
(Un)Satisfiability was proved
Number of variables52
Number of constraints39
Number of domains2
Minimum domain size13
Maximum domain size26
Distribution of domain sizes[{"size":13,"count":26},{"size":26,"count":26}]
Minimum variable degree2
Maximum variable degree26
Distribution of variable degrees[{"degree":2,"count":26},{"degree":26,"count":26}]
Minimum constraint arity2
Maximum constraint arity27
Distribution of constraint arities[{"arity":2,"count":13},{"arity":27,"count":26}]
Number of extensional constraints0
Number of intensional constraints13
Distribution of constraint types[{"type":"intension","count":13},{"type":"element","count":26}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.05	c root propagations     : 208         
0.00/0.05	c restarts enabled, print stats at every restarts
0.00/0.05	c
0.00/0.05	c
0.00/0.05	c
0.00/0.05	c This is cosoco 1.12 --  
0.00/0.05	c
0.00/0.05	c command line: HOME/cosoco -lc -model -restarts HOME/instance-4294254-1532402362.xml 
0.00/0.05	c ========================================[ Problem Statistics ]===========================================
0.00/0.05	c |                                                                                                       
0.00/0.05	c |  Parse time        :         0.00 s 
0.00/0.05	c |
0.00/0.05	c |               Variables: 52
0.00/0.05	c |            Domain Sizes: 13..26
0.00/0.05	c |
0.00/0.05	c |             Constraints: 39
0.00/0.05	c |                   Arity: 2..27  -- Binary: 13
0.00/0.05	c | 
0.00/0.05	c |                   Types: 
0.00/0.05	c |                          Element Constant: 26
0.00/0.05	c |                          Intension: 13
0.00/0.05	c |                          
0.00/0.05	c =========================================================================================================
0.00/0.05	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
0.00/0.05	c 101            342            20616          7358           26             0              18   37   26   
0.00/0.06	c 211            547            37897          17095          26             0              19   23   19   
0.00/0.06	c 332            705            47677          21084          26             0              19   20   19   
0.00/0.07	c 465            879            59278          26716          26             0              14   21   17   
0.00/0.07	c 611            1057           71945          32852          26             0              16   17   16   
0.00/0.08	c 771            1264           84612          38469          26             0              13   20   18   
0.00/0.08	c 947            1469           103695         47515          26             0              15   17   15   
0.00/0.09	c 1140           1808           123806         55490          26             0              12   18   17   
0.00/0.09	c 1352           2190           151694         68819          26             0              13   17   16   
0.00/0.10	c 1585           2473           170602         75977          26             0              13   18   16   
0.06/0.11	c 1841           2826           196010         88601          26             0              12   20   15   
0.06/0.12	c 2122           3173           220641         100742         26             0              14   18   17   
0.06/0.13	c 2431           3529           248403         111407         26             0              14   19   15   
0.06/0.14	c 2770           3953           281336         127693         26             0              14   20   15   
0.06/0.14	c 3142           4410           307861         140602         26             0              13   19   17   
0.06/0.15	c 3551           4899           331035         149068         26             0              14   19   18   
0.06/0.16	c 4000           5440           370208         169167         26             0              14   19   15   
0.06/0.17	c 4493           6014           405223         183960         26             0              13   16   15   
0.06/0.18	c 5035           6665           432921         193588         26             0              14   16   15   
0.06/0.19	c 5631           7339           482426         214211         26             0              14   21   15   
0.06/0.20	c 6286           8099           527763         231307         26             0              17   20   18   
0.17/0.21	c 7006           8933           584731         256965         26             0              12   19   16   
0.17/0.23	c 7798           9836           656341         292160         26             0              12   19   15   
0.17/0.25	c 8669           10929          717670         322000         26             0              13   18   16   
0.17/0.26	c 9627           12025          783292         343610         26             0              13   19   17   
0.17/0.27	c 10680          13235          856326         372903         26             0              13   18   16   
0.17/0.29	c 11838          14652          945391         410582         26             0              17   21   19   
0.27/0.31	c 13111          16119          1037540        451118         26             0              14   18   15   
0.27/0.34	c 14511          17785          1149962        496110         26             0              16   19   17   
0.27/0.36	c 16051          19554          1258919        532139         26             0              14   19   17   
0.27/0.38	c 17745          21554          1365910        563217         26             0              14   18   17   
0.27/0.41	c 19608          23843          1516906        635646         26             0              14   19   16   
0.37/0.45	c 21657          26619          1669058        700569         26             0              14   19   17   
0.37/0.48	c 23910          29443          1815223        762387         26             0              15   19   17   
0.47/0.53	c 26388          32563          1986908        839248         26             0              14   19   17   
0.47/0.58	c 29113          35960          2227657        951557         26             0              14   19   16   
0.56/0.63	c 32110          39700          2471013        1052976        26             0              15   18   16   
0.56/0.68	c 35406          43779          2733849        1146646        26             0              14   18   17   
0.65/0.72	c 39031          47961          2960278        1223301        26             0              15   18   17   
0.65/0.78	c 43018          52491          3299550        1369835        26             0              14   19   16   
0.75/0.84	c 47403          57630          3585787        1495099        26             0              13   19   17   
0.85/0.91	c 52226          63174          3942200        1650462        26             0              15   18   16   
0.85/0.98	c 57531          69746          4359436        1823728        26             0              14   21   17   
0.96/1.08	c 63366          77142          4822459        2023884        26             0              13   19   16   
1.06/1.18	c 69784          85425          5287601        2189133        26             0              13   19   17   
1.15/1.29	c 76843          93756          5895338        2470254        26             0              14   19   15   
1.25/1.38	c 84607          102805         6387862        2651523        26             0              13   19   17   
1.45/1.51	c 93147          113071         7037660        2904549        26             0              14   18   16   
1.55/1.64	c 102541         123908         7760016        3229211        26             0              13   19   16   
1.75/1.81	c 112874         137086         8529449        3565473        26             0              12   20   17   
1.85/1.99	c 124240         150671         9510260        4027594        26             0              13   21   16   
2.06/2.17	c 136742         165884         10397133       4368620        26             0              14   19   17   
2.25/2.35	c 150494         183426         11452604       4713225        26             0              13   20   17   
2.45/2.52	c 165621         203093         12488029       5070584        26             0              13   20   18   
2.65/2.73	c 182260         222385         13633618       5505080        26             0              14   19   16   
2.95/3.01	c 200562         243531         15082279       6175474        26             0              14   20   16   
3.15/3.26	c 220694         266461         16516634       6794165        26             0              14   19   16   
3.45/3.53	c 242839         292560         18031047       7356785        26             0              13   19   17   
3.75/3.85	c 267198         320027         20076145       8207925        26             0              13   19   15   
4.15/4.21	c 293992         350244         22212990       8991294        26             0              14   19   17   
4.45/4.52	c 323465         385523         24265774       9688253        26             0              14   19   17   
4.85/4.90	c 355885         423502         26414299       10479126       26             0              14   20   18   
5.25/5.32	c 391547         466163         29183275       11550614       26             0              13   20   17   
5.75/5.87	c 430775         512046         32381129       12896898       26             0              13   19   17   
6.45/6.52	c 473925         564820         35745482       14243038       26             0              12   20   16   
7.05/7.14	c 521390         620242         39376617       15661353       26             0              12   19   17   
7.75/7.81	c 573601         680057         43462398       17306077       26             0              13   19   16   
8.44/8.51	c 631033         747337         47698599       19091235       26             0              14   19   17   
9.14/9.23	c 694208         822424         51387939       20303307       26             0              14   19   17   
9.95/10.02	c 763700         902321         55961684       21909729       26             0              13   19   16   
10.84/10.92	c 840141         990411         60878318       23847478       26             0              14   19   17   
11.74/11.88	c 924226         1086042        66438400       25744740       26             0              14   19   17   
13.05/13.16	c 1016719        1202822        72162072       27998939       26             0              15   19   17   
14.44/14.55	c 1118461        1336052        78471963       29950889       26             0              14   19   17   
15.95/16.02	c 1230377        1477888        85563745       32374889       26             0              14   19   17   
17.64/17.71	c 1353484        1631267        93261421       35604123       26             0              14   19   17   
19.54/19.60	c 1488901        1802947        102406987      38858756       26             0              15   19   17   
21.44/21.50	c 1637859        1980794        111654911      42151615       26             0              14   19   17   
23.84/23.95	c 1801712        2198306        121599282      46572656       26             0              15   19   17   
26.05/26.19	c 1981950        2422144        131470226      50178271       26             0              14   19   17   
28.44/28.54	c 2180211        2662800        143544430      53832895       26             0              14   18   16   
31.05/31.13	c 2398298        2931108        159617556      60471738       26             0              13   21   16   
34.34/34.45	c 2638193        3234223        176762587      67228379       26             0              13   21   16   
37.64/37.72	c 2902077        3563682        195932380      74382163       26             0              13   21   17   
41.14/41.21	c 3192349        3932801        216936564      82153741       26             0              12   22   18   
45.54/45.63	c 3511648        4344334        240636884      92358795       26             0              12   21   17   
49.54/49.64	c 3862876        4754829        266591477      104243220      26             0              13   21   16   
54.23/54.38	c 4249226        5226132        294907562      116062767      26             0              13   22   17   
59.63/59.75	c 4674211        5759134        326197559      128042043      26             0              13   19   16   
65.13/65.28	c 5141694        6338480        358732155      140976374      26             0              13   19   17   
70.94/71.01	c 5655925        6941358        397425032      155005156      26             0              12   21   16   
78.83/78.95	c 6221579        7692694        437819877      170707967      26             0              12   20   18   
85.23/85.34	c 6843798        8436357        480195598      185319477      26             0              12   19   16   
93.33/93.43	c 7528238        9315623        528909150      204322731      26             0              12   20   17   
101.42/101.57	c 8281122        10236507       579332582      224386210      26             0              13   20   16   
110.03/110.17	c 9109294        11251317       640293586      246519677      26             0              13   20   17   
120.52/120.66	c 10020283       12289335       704840853      271244433      26             0              13   21   17   
132.32/132.45	c 11022370       13538705       781703584      300274593      26             0              12   21   17   
142.52/142.65	c 12124665       14826751       854942167      323324092      26             0              12   20   17   
156.92/157.07	c 13337189       16203277       939732409      355091235      26             0              13   20   16   
172.31/172.49	c 14670965       17834346       1036634160     388945822      26             0              12   20   17   
188.51/188.69	c 16138118       19583642       1145717939     428559761      26             0              12   21   17   
207.70/207.80	c 17751986       21548402       1266708135     476870348      26             0              12   21   17   
226.91/227.05	c 19527240       23656435       1387867224     524973941      26             0              12   20   17   
245.70/245.85	c 21480019       26149065       1519000615     575497295      26             0              13   20   17   
269.20/269.34	c 23628075       28764199       1660982349     630852343      26             0              13   21   17   
287.70/287.88	c 25990936       31539171       1811063973     672424047      26             0              12   21   16   
316.90/317.08	c 28590083       34687446       2011044861     754850817      26             0              12   22   16   
347.20/347.38	c 31449144       38120869       2206053323     822151865      26             0              13   21   17   
384.20/384.36	c 34594111       42039857       2415624912     911196320      26             0              12   21   17   
423.30/423.42	c 38053574       46346352       2628563567     993165689      26             0              13   20   17   
471.21/471.30	c 41858983       51037960       2891161375     1100704566     26             0              13   21   16   
510.61/510.72	c 46044932       55919770       3154125865     1181413572     26             0              13   21   17   
563.02/563.14	c 50649475       61489847       3482748071     1307635576     26             0              12   21   17   
616.52/616.62	c 55714472       67751870       3809554536     1420429515     26             0              13   20   17   
668.22/668.37	c 61285968       74491733       4142084006     1536645927     26             0              14   20   17   
741.83/741.96	c 67414613       82040838       4561726178     1701245068     26             0              12   21   17   
813.94/814.08	c 74156122       90127113       4965818776     1849063900     26             0              13   21   17   
901.34/901.42	c 81571781       99182271       5454044172     2036009574     26             0              12   22   17   
992.74/992.88	c 89729005       108906387      5960330622     2220958504     26             0              13   21   17   
1084.75/1084.86	c 98701951       119810740      6541340074     2419220683     26             0              13   23   17   
1202.16/1202.24	c 108572191      131990895      7163521485     2683842179     26             0              13   21   17   
1325.47/1325.55	c 119429455      146184402      7918450082     2965039614     26             0              12   22   17   
1460.78/1460.86	c 131372445      160894557      8738874090     3276016792     26             0              13   21   17   
1574.29/1574.36	c 144509734      176441573      9581342415     3548848273     26             0              13   22   17   
1743.40/1743.41	c 158960751      194262455      10587598520    3937154080     26             0              11   21   17   
1924.21/1924.25	c 174856869      214010352      11720630598    4404372040     26             0              11   22   17   
2129.93/2129.91	c 192342598      236742917      12972745812    4900928752     26             0              11   22   18   
2354.74/2354.70	c 211576899      260491008      14286872205    5445646978     26             0              11   22   16   
2520.06/2520.00	
2520.06/2520.00	c *** INTERRUPTED ***
2520.06/2520.00	c restarts              : 129         
2520.06/2520.00	c conflicts             : 228606873    (90715 /sec)
2520.06/2520.00	c decisions             : 280947611    (111485 /sec)
2520.06/2520.00	c propagations          : 5837132183  (2316270 /sec)
2520.06/2520.00	c root propagations     : 208         
2520.06/2520.00	c filter calls          : 15357603647    (6094148 /sec)
2520.06/2520.00	c useless filter calls  : 12195232461    (79 %)
2520.06/2520.00	c Memory used           : 26.79 MB
2520.06/2520.00	c CPU time              : 2520.06 s
2520.06/2520.00	
2520.06/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 (5535 MiB free)
  memory of node 1: 16384 MiB (10202 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4294254-1532402362/watcher-4294254-1532402362 -o /tmp/evaluation-result-4294254-1532402362/solver-4294254-1532402362 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1532371797-14425 --watchdog 2580 HOME/cosoco -lc -model -restarts HOME/instance-4294254-1532402362.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=18033, runsolver pid=18030
Current StackSize limit: 8192 KiB


[startup+0.100879 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 18034
/proc/meminfo: memFree=16115404/32770624 swapFree=67108860/67108860
[pid=18033] ppid=18030 vsize=27424 memory=3936 CPUtime=0.06 cores=0,2,4,6
/proc/18033/stat : 18033 (cosoco) R 18030 18033 14394 0 -1 4202496 1145 0 0 0 6 0 0 0 20 0 1 0 57799328 28082176 984 33554432000 4194304 6142532 140736467533536 140736467530936 139692674702432 0 0 4096 8405026 0 0 0 17 0 0 0 3 0 0 8243016 8247936 17158144 140736467539078 140736467539208 140736467539208 140736467541966 0
/proc/18033/statm: 6856 984 848 476 0 178 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 27424 KiB
Current children cumulated memory: 3936 KiB

[startup+0.20924 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 18034
/proc/meminfo: memFree=16115404/32770624 swapFree=67108860/67108860
[pid=18033] ppid=18030 vsize=27424 memory=3936 CPUtime=0.17 cores=0,2,4,6
/proc/18033/stat : 18033 (cosoco) R 18030 18033 14394 0 -1 4202496 1145 0 0 0 17 0 0 0 20 0 1 0 57799328 28082176 984 33554432000 4194304 6142532 140736467533536 140736467530936 5079879 0 0 4096 8405026 0 0 0 17 0 0 0 3 0 0 8243016 8247936 17158144 140736467539078 140736467539208 140736467539208 140736467541966 0
/proc/18033/statm: 6856 984 848 476 0 178 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 27424 KiB
Current children cumulated memory: 3936 KiB

[startup+0.308741 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 18034
/proc/meminfo: memFree=16115404/32770624 swapFree=67108860/67108860
[pid=18033] ppid=18030 vsize=27424 memory=3936 CPUtime=0.27 cores=0,2,4,6
/proc/18033/stat : 18033 (cosoco) R 18030 18033 14394 0 -1 4202496 1145 0 0 0 27 0 0 0 20 0 1 0 57799328 28082176 984 33554432000 4194304 6142532 140736467533536 140736467530936 5079981 0 0 4096 8405026 0 0 0 17 0 0 0 3 0 0 8243016 8247936 17158144 140736467539078 140736467539208 140736467539208 140736467541966 0
/proc/18033/statm: 6856 984 848 476 0 178 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 27424 KiB
Current children cumulated memory: 3936 KiB

[startup+0.700221 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 18034
/proc/meminfo: memFree=16115252/32770624 swapFree=67108860/67108860
[pid=18033] ppid=18030 vsize=27424 memory=3936 CPUtime=0.65 cores=0,2,4,6
/proc/18033/stat : 18033 (cosoco) R 18030 18033 14394 0 -1 4202496 1145 0 0 0 65 0 0 0 20 0 1 0 57799328 28082176 984 33554432000 4194304 6142532 140736467533536 140736467530936 5371794 0 0 4096 8405026 0 0 0 17 0 0 0 3 0 0 8243016 8247936 17158144 140736467539078 140736467539208 140736467539208 140736467541966 0
/proc/18033/statm: 6856 984 848 476 0 178 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 27424 KiB
Current children cumulated memory: 3936 KiB

[startup+1.50022 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 18034
/proc/meminfo: memFree=16115252/32770624 swapFree=67108860/67108860
[pid=18033] ppid=18030 vsize=27424 memory=3936 CPUtime=1.45 cores=0,2,4,6
/proc/18033/stat : 18033 (cosoco) R 18030 18033 14394 0 -1 4202496 1145 0 0 0 145 0 0 0 20 0 1 0 57799328 28082176 984 33554432000 4194304 6142532 140736467533536 140736467530936 5079985 0 0 4096 8405026 0 0 0 17 0 0 0 3 0 0 8243016 8247936 17158144 140736467539078 140736467539208 140736467539208 140736467541966 0
/proc/18033/statm: 6856 984 848 476 0 178 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 27424 KiB
Current children cumulated memory: 3936 KiB

[startup+3.10912 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 18034
/proc/meminfo: memFree=16114928/32770624 swapFree=67108860/67108860
[pid=18033] ppid=18030 vsize=27424 memory=3956 CPUtime=3.05 cores=0,2,4,6
/proc/18033/stat : 18033 (cosoco) R 18030 18033 14394 0 -1 4202496 1223 0 0 0 305 0 0 0 20 0 1 0 57799328 28082176 989 33554432000 4194304 6142532 140736467533536 140736467530936 5336826 0 0 4096 8405026 0 0 0 17 0 0 0 3 0 0 8243016 8247936 17158144 140736467539078 140736467539208 140736467539208 140736467541966 0
/proc/18033/statm: 6856 989 851 476 0 178 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 27424 KiB
Current children cumulated memory: 3956 KiB

[startup+6.30021 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 18034
/proc/meminfo: memFree=16115176/32770624 swapFree=67108860/67108860
[pid=18033] ppid=18030 vsize=27424 memory=3956 CPUtime=6.25 cores=0,2,4,6
/proc/18033/stat : 18033 (cosoco) R 18030 18033 14394 0 -1 4202496 1301 0 0 0 625 0 0 0 20 0 1 0 57799328 28082176 989 33554432000 4194304 6142532 140736467533536 140736467530936 5361751 0 0 4096 8405026 0 0 0 17 0 0 0 3 0 0 8243016 8247936 17158144 140736467539078 140736467539208 140736467539208 140736467541966 0
/proc/18033/statm: 6856 989 851 476 0 178 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 27424 KiB
Current children cumulated memory: 3956 KiB

[startup+12.7002 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 18034
/proc/meminfo: memFree=16115240/32770624 swapFree=67108860/67108860
[pid=18033] ppid=18030 vsize=27424 memory=3956 CPUtime=12.64 cores=0,2,4,6
/proc/18033/stat : 18033 (cosoco) R 18030 18033 14394 0 -1 4202496 1379 0 0 0 1264 0 0 0 20 0 1 0 57799328 28082176 989 33554432000 4194304 6142532 140736467533536 140736467530936 5175056 0 0 4096 8405026 0 0 0 17 0 0 0 3 0 0 8243016 8247936 17158144 140736467539078 140736467539208 140736467539208 140736467541966 0
/proc/18033/statm: 6856 989 851 476 0 178 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 27424 KiB
Current children cumulated memory: 3956 KiB

[startup+25.5002 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 18034
/proc/meminfo: memFree=16115288/32770624 swapFree=67108860/67108860
[pid=18033] ppid=18030 vsize=27424 memory=3956 CPUtime=25.44 cores=0,2,4,6
/proc/18033/stat : 18033 (cosoco) R 18030 18033 14394 0 -1 4202496 1534 0 0 0 2544 0 0 0 20 0 1 0 57799328 28082176 989 33554432000 4194304 6142532 140736467533536 140736467530936 5327673 0 0 4096 8405026 0 0 0 17 0 0 0 3 0 0 8243016 8247936 17158144 140736467539078 140736467539208 140736467539208 140736467541966 0
/proc/18033/statm: 6856 989 851 476 0 178 0
Current children cumulated CPU time: 25.44 s
Current children cumulated vsize: 27424 KiB
Current children cumulated memory: 3956 KiB

[startup+51.1089 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 18042
/proc/meminfo: memFree=16114404/32770624 swapFree=67108860/67108860
[pid=18033] ppid=18030 vsize=27424 memory=3956 CPUtime=51.04 cores=0,2,4,6
/proc/18033/stat : 18033 (cosoco) R 18030 18033 14394 0 -1 4202496 1613 0 0 0 5104 0 0 0 20 0 1 0 57799328 28082176 989 33554432000 4194304 6142532 140736467533536 140736467530936 5398533 0 0 4096 8405026 0 0 0 17 0 0 0 3 0 0 8243016 8247936 17158144 140736467539078 140736467539208 140736467539208 140736467541966 0
/proc/18033/statm: 6856 989 851 476 0 178 0
Current children cumulated CPU time: 51.04 s
Current children cumulated vsize: 27424 KiB
Current children cumulated memory: 3956 KiB

[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 18043
/proc/meminfo: memFree=16115000/32770624 swapFree=67108860/67108860
[pid=18033] ppid=18030 vsize=27424 memory=3956 CPUtime=102.22 cores=0,2,4,6
/proc/18033/stat : 18033 (cosoco) R 18030 18033 14394 0 -1 4202496 1691 0 0 0 10222 0 0 0 20 0 1 0 57799328 28082176 989 33554432000 4194304 6142532 140736467533536 140736467530936 5376430 0 0 4096 8405026 0 0 0 17 0 0 0 3 0 0 8243016 8247936 17158144 140736467539078 140736467539208 140736467539208 140736467541966 0
/proc/18033/statm: 6856 989 851 476 0 178 0
Current children cumulated CPU time: 102.22 s
Current children cumulated vsize: 27424 KiB
Current children cumulated memory: 3956 KiB

[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 18044
/proc/meminfo: memFree=16115192/32770624 swapFree=67108860/67108860
[pid=18033] ppid=18030 vsize=27424 memory=3956 CPUtime=162.21 cores=0,2,4,6
/proc/18033/stat : 18033 (cosoco) R 18030 18033 14394 0 -1 4202496 1769 0 0 0 16221 0 0 0 20 0 1 0 57799328 28082176 989 33554432000 4194304 6142532 140736467533536 140736467530936 5328498 0 0 4096 8405026 0 0 0 17 0 0 0 3 0 0 8243016 8247936 17158144 140736467539078 140736467539208 140736467539208 140736467541966 0
/proc/18033/statm: 6856 989 851 476 0 178 0
Current children cumulated CPU time: 162.21 s
Current children cumulated vsize: 27424 KiB
Current children cumulated memory: 3956 KiB

[startup+222.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/188 18045
/proc/meminfo: memFree=16115148/32770624 swapFree=67108860/67108860
[pid=18033] ppid=18030 vsize=27424 memory=3956 CPUtime=222.2 cores=0,2,4,6
/proc/18033/stat : 18033 (cosoco) R 18030 18033 14394 0 -1 4202496 1847 0 0 0 22220 0 0 0 20 0 1 0 57799328 28082176 989 33554432000 4194304 6142532 140736467533536 140736467530936 5360286 0 0 4096 8405026 0 0 0 17 0 0 0 3 0 0 8243016 8247936 17158144 140736467539078 140736467539208 140736467539208 140736467541966 0
/proc/18033/statm: 6856 989 851 476 0 178 0
Current children cumulated CPU time: 222.2 s
Current children cumulated vsize: 27424 KiB
Current children cumulated memory: 3956 KiB

[startup+282.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/188 18046
/proc/meminfo: memFree=16114928/32770624 swapFree=67108860/67108860
[pid=18033] ppid=18030 vsize=27424 memory=3956 CPUtime=282.2 cores=0,2,4,6
/proc/18033/stat : 18033 (cosoco) R 18030 18033 14394 0 -1 4202496 1925 0 0 0 28219 1 0 0 20 0 1 0 57799328 28082176 989 33554432000 4194304 6142532 140736467533536 140736467530936 5080045 0 0 4096 8405026 0 0 0 17 0 0 0 3 0 0 8243016 8247936 17158144 140736467539078 140736467539208 140736467539208 140736467541966 0
/proc/18033/statm: 6856 989 851 476 0 178 0
Current children cumulated CPU time: 282.2 s
Current children cumulated vsize: 27424 KiB
Current children cumulated memory: 3956 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 18048
/proc/meminfo: memFree=16114392/32770624 swapFree=67108860/67108860
[pid=18033] ppid=18030 vsize=27424 memory=3956 CPUtime=342.2 cores=0,2,4,6
/proc/18033/stat : 18033 (cosoco) R 18030 18033 14394 0 -1 4202496 2003 0 0 0 34219 1 0 0 20 0 1 0 57799328 28082176 989 33554432000 4194304 6142532 140736467533536 140736467530936 5329504 0 0 4096 8405026 0 0 0 17 2 0 0 3 0 0 8243016 8247936 17158144 140736467539078 140736467539208 140736467539208 140736467541966 0
/proc/18033/statm: 6856 989 851 476 0 178 0
Current children cumulated CPU time: 342.2 s
Current children cumulated vsize: 27424 KiB
Current children cumulated memory: 3956 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 18110
/proc/meminfo: memFree=16114700/32770624 swapFree=67108860/67108860
[pid=18033] ppid=18030 vsize=27424 memory=3956 CPUtime=402.2 cores=0,2,4,6
/proc/18033/stat : 18033 (cosoco) R 18030 18033 14394 0 -1 4202496 2081 0 0 0 40219 1 0 0 20 0 1 0 57799328 28082176 989 33554432000 4194304 6142532 140736467533536 140736467530936 5371774 0 0 4096 8405026 0 0 0 17 2 0 0 3 0 0 8243016 8247936 17158144 140736467539078 140736467539208 140736467539208 140736467541966 0
/proc/18033/statm: 6856 989 851 476 0 178 0
Current children cumulated CPU time: 402.2 s
Current children cumulated vsize: 27424 KiB
Current children cumulated memory: 3956 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 18111
/proc/meminfo: memFree=16114576/32770624 swapFree=67108860/67108860
[pid=18033] ppid=18030 vsize=27424 memory=3956 CPUtime=462.2 cores=0,2,4,6
/proc/18033/stat : 18033 (cosoco) R 18030 18033 14394 0 -1 4202496 2081 0 0 0 46219 1 0 0 20 0 1 0 57799328 28082176 989 33554432000 4194304 6142532 140736467533536 140736467530936 4990798 0 0 4096 8405026 0 0 0 17 2 0 0 3 0 0 8243016 8247936 17158144 140736467539078 140736467539208 140736467539208 140736467541966 0
/proc/18033/statm: 6856 989 851 476 0 178 0
Current children cumulated CPU time: 462.2 s
Current children cumulated vsize: 27424 KiB
Current children cumulated memory: 3956 KiB


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

/proc/18033/statm: 6856 989 851 476 0 178 0
Current children cumulated CPU time: 1722.3 s
Current children cumulated vsize: 27424 KiB
Current children cumulated memory: 3956 KiB

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 18150
/proc/meminfo: memFree=16114188/32770624 swapFree=67108860/67108860
[pid=18033] ppid=18030 vsize=27424 memory=3956 CPUtime=1782.3 cores=0,2,4,6
/proc/18033/stat : 18033 (cosoco) R 18030 18033 14394 0 -1 4202496 2939 0 0 0 178229 1 0 0 20 0 1 0 57799328 28082176 989 33554432000 4194304 6142532 140736467533536 140736467530936 5363482 0 0 4096 8405026 0 0 0 17 2 0 0 3 0 0 8243016 8247936 17158144 140736467539078 140736467539208 140736467539208 140736467541966 0
/proc/18033/statm: 6856 989 851 476 0 178 0
Current children cumulated CPU time: 1782.3 s
Current children cumulated vsize: 27424 KiB
Current children cumulated memory: 3956 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 18160
/proc/meminfo: memFree=16113516/32770624 swapFree=67108860/67108860
[pid=18033] ppid=18030 vsize=27424 memory=3956 CPUtime=1842.3 cores=0,2,4,6
/proc/18033/stat : 18033 (cosoco) R 18030 18033 14394 0 -1 4202496 3006 0 0 0 184229 1 0 0 20 0 1 0 57799328 28082176 989 33554432000 4194304 6142532 140736467533536 140736467530936 5336826 0 0 4096 8405026 0 0 0 17 2 0 0 3 0 0 8243016 8247936 17158144 140736467539078 140736467539208 140736467539208 140736467541966 0
/proc/18033/statm: 6856 989 851 476 0 178 0
Current children cumulated CPU time: 1842.3 s
Current children cumulated vsize: 27424 KiB
Current children cumulated memory: 3956 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 18161
/proc/meminfo: memFree=16114336/32770624 swapFree=67108860/67108860
[pid=18033] ppid=18030 vsize=27424 memory=3956 CPUtime=1902.31 cores=0,2,4,6
/proc/18033/stat : 18033 (cosoco) R 18030 18033 14394 0 -1 4202496 3006 0 0 0 190230 1 0 0 20 0 1 0 57799328 28082176 989 33554432000 4194304 6142532 140736467533536 140736467530936 4990765 0 0 4096 8405026 0 0 0 17 2 0 0 3 0 0 8243016 8247936 17158144 140736467539078 140736467539208 140736467539208 140736467541966 0
/proc/18033/statm: 6856 989 851 476 0 178 0
Current children cumulated CPU time: 1902.31 s
Current children cumulated vsize: 27424 KiB
Current children cumulated memory: 3956 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 18162
/proc/meminfo: memFree=16114408/32770624 swapFree=67108860/67108860
[pid=18033] ppid=18030 vsize=27424 memory=3956 CPUtime=1962.31 cores=0,2,4,6
/proc/18033/stat : 18033 (cosoco) R 18030 18033 14394 0 -1 4202496 3084 0 0 0 196230 1 0 0 20 0 1 0 57799328 28082176 989 33554432000 4194304 6142532 140736467533536 140736467530936 5336826 0 0 4096 8405026 0 0 0 17 2 0 0 3 0 0 8243016 8247936 17158144 140736467539078 140736467539208 140736467539208 140736467541966 0
/proc/18033/statm: 6856 989 851 476 0 178 0
Current children cumulated CPU time: 1962.31 s
Current children cumulated vsize: 27424 KiB
Current children cumulated memory: 3956 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 18163
/proc/meminfo: memFree=16114048/32770624 swapFree=67108860/67108860
[pid=18033] ppid=18030 vsize=27424 memory=3956 CPUtime=2022.32 cores=0,2,4,6
/proc/18033/stat : 18033 (cosoco) R 18030 18033 14394 0 -1 4202496 3084 0 0 0 202231 1 0 0 20 0 1 0 57799328 28082176 989 33554432000 4194304 6142532 140736467533536 140736467530936 4990765 0 0 4096 8405026 0 0 0 17 2 0 0 3 0 0 8243016 8247936 17158144 140736467539078 140736467539208 140736467539208 140736467541966 0
/proc/18033/statm: 6856 989 851 476 0 178 0
Current children cumulated CPU time: 2022.32 s
Current children cumulated vsize: 27424 KiB
Current children cumulated memory: 3956 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 18164
/proc/meminfo: memFree=16113552/32770624 swapFree=67108860/67108860
[pid=18033] ppid=18030 vsize=27424 memory=3956 CPUtime=2082.32 cores=0,2,4,6
/proc/18033/stat : 18033 (cosoco) R 18030 18033 14394 0 -1 4202496 3151 0 0 0 208231 1 0 0 20 0 1 0 57799328 28082176 989 33554432000 4194304 6142532 140736467533536 140736467530936 5048292 0 0 4096 8405026 0 0 0 17 2 0 0 3 0 0 8243016 8247936 17158144 140736467539078 140736467539208 140736467539208 140736467541966 0
/proc/18033/statm: 6856 989 851 476 0 178 0
Current children cumulated CPU time: 2082.32 s
Current children cumulated vsize: 27424 KiB
Current children cumulated memory: 3956 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 18166
/proc/meminfo: memFree=16113880/32770624 swapFree=67108860/67108860
[pid=18033] ppid=18030 vsize=27424 memory=3956 CPUtime=2142.33 cores=0,2,4,6
/proc/18033/stat : 18033 (cosoco) R 18030 18033 14394 0 -1 4202496 3162 0 0 0 214232 1 0 0 20 0 1 0 57799328 28082176 989 33554432000 4194304 6142532 140736467533536 140736467530936 5079985 0 0 4096 8405026 0 0 0 17 2 0 0 3 0 0 8243016 8247936 17158144 140736467539078 140736467539208 140736467539208 140736467541966 0
/proc/18033/statm: 6856 989 851 476 0 178 0
Current children cumulated CPU time: 2142.33 s
Current children cumulated vsize: 27424 KiB
Current children cumulated memory: 3956 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 18167
/proc/meminfo: memFree=16114004/32770624 swapFree=67108860/67108860
[pid=18033] ppid=18030 vsize=27424 memory=3956 CPUtime=2202.33 cores=0,2,4,6
/proc/18033/stat : 18033 (cosoco) R 18030 18033 14394 0 -1 4202496 3229 0 0 0 220232 1 0 0 20 0 1 0 57799328 28082176 989 33554432000 4194304 6142532 140736467533536 140736467530936 5080045 0 0 4096 8405026 0 0 0 17 2 0 0 3 0 0 8243016 8247936 17158144 140736467539078 140736467539208 140736467539208 140736467541966 0
/proc/18033/statm: 6856 989 851 476 0 178 0
Current children cumulated CPU time: 2202.33 s
Current children cumulated vsize: 27424 KiB
Current children cumulated memory: 3956 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 18168
/proc/meminfo: memFree=16114076/32770624 swapFree=67108860/67108860
[pid=18033] ppid=18030 vsize=27424 memory=3956 CPUtime=2262.34 cores=0,2,4,6
/proc/18033/stat : 18033 (cosoco) R 18030 18033 14394 0 -1 4202496 3229 0 0 0 226233 1 0 0 20 0 1 0 57799328 28082176 989 33554432000 4194304 6142532 140736467533536 140736467530936 5175056 0 0 4096 8405026 0 0 0 17 2 0 0 3 0 0 8243016 8247936 17158144 140736467539078 140736467539208 140736467539208 140736467541966 0
/proc/18033/statm: 6856 989 851 476 0 178 0
Current children cumulated CPU time: 2262.34 s
Current children cumulated vsize: 27424 KiB
Current children cumulated memory: 3956 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 18170
/proc/meminfo: memFree=16114220/32770624 swapFree=67108860/67108860
[pid=18033] ppid=18030 vsize=27424 memory=3956 CPUtime=2322.34 cores=0,2,4,6
/proc/18033/stat : 18033 (cosoco) R 18030 18033 14394 0 -1 4202496 3296 0 0 0 232233 1 0 0 20 0 1 0 57799328 28082176 989 33554432000 4194304 6142532 140736467533536 140736467530936 139692675187588 0 0 4096 8405026 0 0 0 17 2 0 0 3 0 0 8243016 8247936 17158144 140736467539078 140736467539208 140736467539208 140736467541966 0
/proc/18033/statm: 6856 989 851 476 0 178 0
Current children cumulated CPU time: 2322.34 s
Current children cumulated vsize: 27424 KiB
Current children cumulated memory: 3956 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 18171
/proc/meminfo: memFree=16114308/32770624 swapFree=67108860/67108860
[pid=18033] ppid=18030 vsize=27424 memory=3956 CPUtime=2382.34 cores=0,2,4,6
/proc/18033/stat : 18033 (cosoco) R 18030 18033 14394 0 -1 4202496 3307 0 0 0 238233 1 0 0 20 0 1 0 57799328 28082176 989 33554432000 4194304 6142532 140736467533536 140736467530936 5366742 0 0 4096 8405026 0 0 0 17 2 0 0 3 0 0 8243016 8247936 17158144 140736467539078 140736467539208 140736467539208 140736467541966 0
/proc/18033/statm: 6856 989 851 476 0 178 0
Current children cumulated CPU time: 2382.34 s
Current children cumulated vsize: 27424 KiB
Current children cumulated memory: 3956 KiB

[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 18179
/proc/meminfo: memFree=16113348/32770624 swapFree=67108860/67108860
[pid=18033] ppid=18030 vsize=27424 memory=3956 CPUtime=2442.35 cores=0,2,4,6
/proc/18033/stat : 18033 (cosoco) R 18030 18033 14394 0 -1 4202496 3374 0 0 0 244234 1 0 0 20 0 1 0 57799328 28082176 989 33554432000 4194304 6142532 140736467533536 140736467530936 5360464 0 0 4096 8405026 0 0 0 17 2 0 0 3 0 0 8243016 8247936 17158144 140736467539078 140736467539208 140736467539208 140736467541966 0
/proc/18033/statm: 6856 989 851 476 0 178 0
Current children cumulated CPU time: 2442.35 s
Current children cumulated vsize: 27424 KiB
Current children cumulated memory: 3956 KiB

[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 18203
/proc/meminfo: memFree=16112268/32770624 swapFree=67108860/67108860
[pid=18033] ppid=18030 vsize=27424 memory=3956 CPUtime=2502.35 cores=0,2,4,6
/proc/18033/stat : 18033 (cosoco) R 18030 18033 14394 0 -1 4202496 3374 0 0 0 250234 1 0 0 20 0 1 0 57799328 28082176 989 33554432000 4194304 6142532 140736467533536 140736467530936 4991100 0 0 4096 8405026 0 0 0 17 2 0 0 3 0 0 8243016 8247936 17158144 140736467539078 140736467539208 140736467539208 140736467541966 0
/proc/18033/statm: 6856 989 851 476 0 178 0
Current children cumulated CPU time: 2502.35 s
Current children cumulated vsize: 27424 KiB
Current children cumulated memory: 3956 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 18203
/proc/meminfo: memFree=16112352/32770624 swapFree=67108860/67108860
[pid=18033] ppid=18030 vsize=27424 memory=3956 CPUtime=2520.06 cores=0,2,4,6
/proc/18033/stat : 18033 (cosoco) R 18030 18033 14394 0 -1 4202496 3441 0 0 0 252005 1 0 0 20 0 1 0 57799328 28082176 989 33554432000 4194304 6142532 140736467533536 140736467530936 5363536 0 0 4096 8405026 0 0 0 17 2 0 0 3 0 0 8243016 8247936 17158144 140736467539078 140736467539208 140736467539208 140736467541966 0
/proc/18033/statm: 6856 989 851 476 0 178 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 27424 KiB
Current children cumulated memory: 3956 KiB

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

[startup+2520.01 s]
# the end of solver process 18033 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2520.06 s, system=0.011 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.07
CPU user time (s): 2520.06
CPU system time (s): 0.011
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 27424
Max. memory (cumulated for all children) (KiB): 3956

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2520.06
system time used= 0.011
maximum resident set size= 4020
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3487
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= 3134


# summary of solver processes directly reported to runsolver:
#   pid: 18033
#   total CPU time (s): 2520.07
#   total CPU user time (s): 2520.06
#   total CPU system time (s): 0.011

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.85341 second user time and 17.3011 second system time

The end

Launcher Data 

Begin job on node104 at 2018-07-24 05:19:22
IDJOB=4294254
IDBENCH=141347
IDSOLVER=2752
FILE ID=node104/4294254-1532402362
RUNJOBID= node104-1532371797-14425
PBS_JOBID= 21021574
Free space on /tmp= 48964 MiB

SOLVER NAME= cosoco 1.12
BENCH NAME= XCSP18/Langford/LangfordBin-13_c18.xml
COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4294254-1532402362/watcher-4294254-1532402362 -o /tmp/evaluation-result-4294254-1532402362/solver-4294254-1532402362 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1532371797-14425 --watchdog 2580  HOME/cosoco -lc -model -restarts HOME/instance-4294254-1532402362.xml

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

MD5SUM BENCH= af26c9d63c7c51246c3bfb55117cf2b4
RANDOM SEED=1174035804

node104.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.11
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.11
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.11
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.11
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:        16116292 kB
MemAvailable:   31939120 kB
Buffers:          197920 kB
Cached:         15634456 kB
SwapCached:            0 kB
Active:          2087640 kB
Inactive:       13798716 kB
Active(anon):       3616 kB
Inactive(anon):    70096 kB
Active(file):    2084024 kB
Inactive(file): 13728620 kB
Unevictable:        7124 kB
Mlocked:            7124 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              2708 kB
Writeback:             0 kB
AnonPages:         60612 kB
Mapped:            39392 kB
Shmem:             17036 kB
Slab:             466416 kB
SReclaimable:     438644 kB
SUnreclaim:        27772 kB
KernelStack:        3360 kB
PageTables:         5404 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     344628 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:      116096 kB
DirectMap2M:    33429504 kB

Free space on /tmp at the end= 48964 MiB
End job on node104 at 2018-07-24 06:01:22