Trace number 4299274

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

General information on the benchmark

NameLangford/
LangfordBin-14_c18.xml
MD5SUM907d87f313d4aa93f4a53d5ea17b135a
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.623677
Satisfiable
(Un)Satisfiability was proved
Number of variables56
Number of constraints42
Number of domains2
Minimum domain size14
Maximum domain size28
Distribution of domain sizes[{"size":14,"count":28},{"size":28,"count":28}]
Minimum variable degree2
Maximum variable degree28
Distribution of variable degrees[{"degree":2,"count":28},{"degree":28,"count":28}]
Minimum constraint arity2
Maximum constraint arity29
Distribution of constraint arities[{"arity":2,"count":14},{"arity":29,"count":28}]
Number of extensional constraints0
Number of intensional constraints14
Distribution of constraint types[{"type":"intension","count":14},{"type":"element","count":28}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.01	c root propagations     : 238         
0.00/0.01	c restarts enabled, print stats at every restarts
0.00/0.01	c
0.00/0.01	c
0.00/0.01	c
0.00/0.01	c This is cosoco 1.12 --  
0.00/0.01	c
0.00/0.01	c command line: HOME/cosoco -lc -model -restarts HOME/instance-4299274-1532796881.xml 
0.00/0.01	c ========================================[ Problem Statistics ]===========================================
0.00/0.01	c |                                                                                                       
0.00/0.01	c |  Parse time        :         0.01 s 
0.00/0.01	c |
0.00/0.01	c |               Variables: 56
0.00/0.01	c |            Domain Sizes: 14..28
0.00/0.01	c |
0.00/0.01	c |             Constraints: 42
0.00/0.01	c |                   Arity: 2..29  -- Binary: 14
0.00/0.01	c | 
0.00/0.01	c |                   Types: 
0.00/0.01	c |                          Element Constant: 28
0.00/0.01	c |                          Intension: 14
0.00/0.01	c |                          
0.00/0.01	c =========================================================================================================
0.00/0.01	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
0.00/0.01	c 101            269            23754          8351           28             0              30   42   32   
0.00/0.02	c 211            428            35062          12948          28             0              16   20   18   
0.00/0.02	c 332            617            51762          21011          28             0              15   19   16   
0.00/0.03	c 465            850            70980          30208          28             0              14   20   16   
0.00/0.04	c 611            1075           87330          36870          28             0              14   20   15   
0.00/0.04	c 771            1267           99110          41806          28             0              15   17   16   
0.00/0.05	c 947            1556           113877         47435          28             0              18   20   18   
0.00/0.05	c 1140           1793           136220         58125          28             0              15   19   16   
0.00/0.06	c 1352           2088           155230         66913          28             0              15   19   17   
0.00/0.07	c 1585           2387           172940         76465          28             0              15   20   18   
0.00/0.07	c 1841           2687           190947         85273          28             0              17   19   17   
0.00/0.08	c 2122           3021           208577         92550          28             0              17   19   17   
0.00/0.09	c 2431           3390           233193         105212         28             0              16   19   17   
0.00/0.10	c 2770           3818           271434         124571         28             0              15   20   16   
0.10/0.11	c 3142           4253           303111         140512         28             0              16   18   16   
0.10/0.12	c 3551           4774           336737         156160         28             0              18   21   19   
0.10/0.13	c 4000           5306           372785         172888         28             0              16   18   17   
0.10/0.14	c 4493           5882           412455         189565         28             0              16   19   17   
0.10/0.15	c 5035           6533           447717         203231         28             0              15   20   17   
0.10/0.16	c 5631           7244           495211         224820         28             0              15   19   17   
0.10/0.17	c 6286           8026           540329         244103         28             0              15   19   18   
0.10/0.19	c 7006           8870           611901         283535         28             0              15   19   16   
0.10/0.20	c 7798           9801           665293         304602         28             0              18   19   18   
0.21/0.22	c 8669           10791          740489         339967         28             0              17   19   17   
0.21/0.24	c 9627           12061          820413         373513         28             0              16   20   18   
0.21/0.26	c 10680          13361          899204         408013         28             0              17   18   17   
0.21/0.28	c 11838          14673          1017523        465869         28             0              14   18   16   
0.21/0.30	c 13111          16252          1113673        511888         28             0              14   19   18   
0.31/0.32	c 14511          17879          1196167        539685         28             0              16   18   17   
0.31/0.37	c 16051          20170          1337249        601399         28             0              15   19   18   
0.31/0.40	c 17745          22387          1481935        658278         28             0              17   19   17   
0.41/0.43	c 19608          24555          1631721        720439         28             0              16   20   17   
0.41/0.46	c 21657          26932          1781284        791051         28             0              13   20   16   
0.41/0.49	c 23910          29563          1929700        842772         28             0              15   20   17   
0.51/0.53	c 26388          32549          2093877        898767         28             0              17   20   18   
0.51/0.57	c 29113          35889          2293221        970048         28             0              13   21   19   
0.60/0.61	c 32110          39258          2539296        1065532        28             0              15   20   17   
0.60/0.66	c 35406          43066          2775122        1169212        28             0              15   21   18   
0.69/0.71	c 39031          47276          3066572        1298135        28             0              15   20   17   
0.69/0.78	c 43018          51935          3393789        1450828        28             0              15   21   17   
0.79/0.86	c 47403          56952          3758630        1653305        28             0              15   20   17   
0.89/0.95	c 52226          62490          4232436        1869176        28             0              15   20   17   
1.00/1.03	c 57531          68457          4652380        2046506        28             0              16   19   17   
1.10/1.13	c 63366          75294          5168846        2268308        28             0              15   21   17   
1.19/1.22	c 69784          82602          5601526        2431757        28             0              15   20   18   
1.29/1.31	c 76843          90703          6035682        2605668        28             0              16   19   17   
1.39/1.42	c 84607          99491          6628944        2828774        28             0              16   19   18   
1.49/1.53	c 93147          109080         7256658        3067708        28             0              16   21   18   
1.69/1.71	c 102541         121884         8109716        3425667        28             0              17   20   18   
1.79/1.87	c 112874         135707         8935001        3732237        28             0              15   22   18   
2.00/2.05	c 124240         148975         9916501        4164860        28             0              15   22   18   
2.19/2.22	c 136742         163789         10826589       4554745        28             0              15   21   18   
2.39/2.43	c 150494         181926         11763958       4901043        28             0              15   22   20   
2.59/2.62	c 165621         199629         12781252       5223872        28             0              14   21   19   
2.79/2.84	c 182260         218897         14021222       5643105        28             0              16   20   18   
3.00/3.05	c 200562         239877         15197558       6131059        28             0              16   20   18   
3.29/3.33	c 220694         264654         16628836       6657440        28             0              16   19   18   
3.59/3.65	c 242839         294115         18115305       7229179        28             0              15   22   20   
3.89/3.98	c 267198         322567         19847216       7877913        28             0              16   21   18   
4.29/4.36	c 293992         355144         22110338       8770181        28             0              15   21   18   
4.69/4.77	c 323465         389566         24555947       9729735        28             0              15   21   17   
5.19/5.20	c 355885         427494         26905170       10800909       28             0              15   19   17   
5.69/5.77	c 391547         469758         29772272       12113188       28             0              13   20   17   
6.29/6.35	c 430775         516119         32511678       13238034       28             0              14   19   17   
6.89/7.00	c 473925         566626         35909125       14843986       28             0              15   19   17   
7.39/7.48	c 521390         623665         38274575       15506370       28             0              14   19   17   
8.00/8.09	c 573601         689137         41518798       16810978       28             0              14   20   18   
8.89/8.97	c 631033         760680         46110076       18468943       28             0              14   20   18   
9.89/9.94	c 694208         838695         51202302       20496575       28             0              14   20   17   
11.10/11.17	c 763700         926730         56936332       23086320       28             0              14   21   16   
12.19/12.24	c 840141         1020520        63339971       25899192       28             0              14   22   18   
13.39/13.45	c 924226         1121272        70286267       28765384       28             0              13   22   19   
14.89/14.91	c 1016719        1226892        78999630       32334446       28             0              15   22   18   
16.39/16.49	c 1118461        1356970        86043517       34833420       28             0              15   21   19   
17.69/17.78	c 1230377        1481481        94505727       37796786       28             0              14   22   19   
19.19/19.28	c 1353484        1625435        103655743      41457298       28             0              14   21   18   
20.89/20.91	c 1488901        1780151        113430966      45107123       28             0              13   23   18   
22.89/22.93	c 1637859        1948099        125225954      49719675       28             0              15   22   18   
24.69/24.79	c 1801712        2142412        137927741      53641024       28             0              15   21   18   
26.89/26.94	c 1981950        2348045        151591658      59202946       28             0              14   22   18   
29.19/29.26	c 2180211        2591363        165370002      64080877       28             0              15   23   19   
32.29/32.34	c 2398298        2843322        182279156      71483716       28             0              15   22   18   
35.50/35.56	c 2638193        3126449        199667537      78464146       28             0              16   21   18   
38.90/38.91	c 2902077        3457423        214840893      84539636       28             0              16   21   19   
42.80/42.88	c 3192349        3802552        236599861      93990432       28             0              15   21   18   
46.50/46.56	c 3511648        4174051        256774649      100703159      28             0              16   21   19   
51.00/51.07	c 3862876        4598270        281628150      109127702      28             0              13   22   18   
56.20/56.24	c 4249226        5076620        309648110      119541439      28             0              14   21   18   
62.01/62.09	c 4674211        5655477        341383499      130163194      28             0              13   21   18   
69.01/69.06	c 5141694        6253283        379225306      146006476      28             0              13   21   19   
76.01/76.05	c 5655925        6877414        419159496      163176121      28             0              14   22   18   
82.11/82.19	c 6221579        7539229        459837014      178249871      28             0              14   21   19   
92.01/92.09	c 6843798        8361138        510687514      198979137      28             0              14   22   18   
101.01/101.05	c 7528238        9168505        559143537      218963759      28             0              13   21   18   
109.30/109.34	c 8281122        10073733       607263910      238141856      28             0              14   20   18   
119.50/119.59	c 9109294        11041434       668266615      264116382      28             0              14   22   18   
130.20/130.20	c 10020283       12159529       734733272      285757260      28             0              15   21   19   
143.90/143.92	c 11022370       13422014       810834484      316433459      28             0              13   22   18   
158.90/158.98	c 12124665       14782787       896937838      351055861      28             0              14   22   18   
174.30/174.36	c 13337189       16212910       994334545      391867275      28             0              13   21   17   
190.81/190.86	c 14670965       17804102       1083890019     423106679      28             0              14   21   18   
205.91/205.94	c 16138118       19522612       1179353499     454852788      28             0              14   21   17   
222.41/222.47	c 17751986       21451512       1285748956     490985638      28             0              14   22   18   
241.51/241.57	c 19527240       23543950       1406909179     535680518      28             0              14   22   18   
262.02/262.02	c 21480019       25829486       1540857742     583271966      28             0              14   22   18   
283.41/283.41	c 23628075       28358095       1674348699     626629177      28             0              13   23   19   
311.61/311.70	c 25990936       31119968       1849354093     695530472      28             0              14   23   18   
340.22/340.22	c 28590083       34221251       2010187546     746640358      28             0              15   21   18   
376.13/376.11	c 31449144       37558808       2208210778     824202225      28             0              13   22   18   
412.92/412.93	c 34594111       41351123       2409856197     898637869      28             0              14   22   18   
458.22/458.24	c 38053574       45453718       2673733041     1007917277     28             0              13   23   19   
502.93/502.99	c 41858983       50072445       2945684263     1110030114     28             0              14   23   18   
557.43/557.44	c 46044932       55216006       3248665492     1224135981     28             0              14   23   19   
610.14/610.19	c 50649475       60658550       3564405753     1348782185     28             0              14   25   19   
670.24/670.21	c 55714472       66888428       3920800038     1468215041     28             0              14   22   20   
732.34/732.30	c 61285968       73263117       4298200419     1587998524     28             0              14   23   18   
797.16/797.12	c 67414613       80276267       4719181415     1748684838     28             0              13   22   18   
875.25/875.22	c 74156122       88559925       5165942862     1922299902     28             0              13   24   21   
962.66/962.69	c 81571781       97057770       5693104124     2091825690     28             0              14   21   18   
1045.97/1045.90	c 89729005       106606385      6235107222     2291086600     28             0              13   22   17   
1139.37/1139.30	c 98701951       117273285      6817310064     2487740832     28             0              15   22   18   
1234.78/1234.75	c 108572191      128428048      7454958380     2715213516     28             0              13   23   18   
1363.29/1363.25	c 119429455      141769065      8260847219     3026105758     28             0              13   24   19   
1499.00/1499.00	c 131372445      156433697      9084597600     3334870044     28             0              13   24   20   
1666.51/1666.49	c 144509734      172271455      10145872970    3747655326     28             0              13   23   18   
1841.62/1841.54	c 158960751      189334088      11232471132    4185955134     28             0              14   23   18   
2021.43/2021.39	c 174856869      208716066      12325481355    4643657683     28             0              14   23   18   
2199.85/2199.76	c 192342598      229160170      13504001465    5035504290     28             0              13   23   18   
2397.66/2397.57	c 211576899      251812696      14768019411    5478310491     28             0              15   23   18   
2520.07/2519.90	
2520.07/2519.90	c *** INTERRUPTED ***
2520.07/2519.90	c restarts              : 129         
2520.07/2519.90	c conflicts             : 222304844    (88214 /sec)
2520.07/2519.90	c decisions             : 264699131    (105036 /sec)
2520.07/2519.90	c propagations          : 5761733162  (2286336 /sec)
2520.07/2519.90	c root propagations     : 238         
2520.07/2519.90	c filter calls          : 15543921679    (6168044 /sec)
2520.07/2519.90	c useless filter calls  : 12398785489    (79 %)
2520.07/2519.90	c Memory used           : 26.78 MB
2520.07/2519.90	c CPU time              : 2520.07 s
2520.07/2519.90	
2520.07/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 (8070 MiB free)
  memory of node 1: 16384 MiB (11533 MiB free)
  node distances:
     10  21
     21  10

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

running on 4 cores: 1,3,5,7

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

solver pid=13968, runsolver pid=13965

[startup+0.100155 s]*
/proc/loadavg: 2.06 2.03 2.05 3/187 13969
/proc/meminfo: memFree=20073788/32770624 swapFree=67108860/67108860
[pid=13968] ppid=13965 vsize=27420 memory=3800 CPUtime=0.1 cores=1,3,5,7
/proc/13968/stat : 13968 (cosoco) R 13965 13968 11466 0 -1 4202496 1153 0 0 0 10 0 0 0 20 0 1 0 97251306 28078080 950 33554432000 4194304 6142532 140732196660448 140732196657080 139664056464478 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 16519168 140732196668550 140732196668680 140732196668680 140732196671438 0
/proc/13968/statm: 6855 950 814 476 0 177 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27420 KiB
Current children cumulated memory: 3800 KiB

[startup+0.209391 s]*
/proc/loadavg: 2.06 2.03 2.05 3/187 13969
/proc/meminfo: memFree=20073788/32770624 swapFree=67108860/67108860
[pid=13968] ppid=13965 vsize=27420 memory=3800 CPUtime=0.21 cores=1,3,5,7
/proc/13968/stat : 13968 (cosoco) R 13965 13968 11466 0 -1 4202496 1153 0 0 0 21 0 0 0 20 0 1 0 97251306 28078080 950 33554432000 4194304 6142532 140732196660448 140732196657080 5170138 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 16519168 140732196668550 140732196668680 140732196668680 140732196671438 0
/proc/13968/statm: 6855 950 814 476 0 177 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 27420 KiB
Current children cumulated memory: 3800 KiB

[startup+0.30885 s]*
/proc/loadavg: 2.06 2.03 2.05 3/187 13969
/proc/meminfo: memFree=20073788/32770624 swapFree=67108860/67108860
[pid=13968] ppid=13965 vsize=27420 memory=3800 CPUtime=0.31 cores=1,3,5,7
/proc/13968/stat : 13968 (cosoco) R 13965 13968 11466 0 -1 4202496 1153 0 0 0 31 0 0 0 20 0 1 0 97251306 28078080 950 33554432000 4194304 6142532 140732196660448 140732196657080 5079985 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 16519168 140732196668550 140732196668680 140732196668680 140732196671438 0
/proc/13968/statm: 6855 950 814 476 0 177 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 27420 KiB
Current children cumulated memory: 3800 KiB

[startup+0.700275 s]
/proc/loadavg: 2.06 2.03 2.05 3/187 13969
/proc/meminfo: memFree=20073788/32770624 swapFree=67108860/67108860
[pid=13968] ppid=13965 vsize=27420 memory=3800 CPUtime=0.69 cores=1,3,5,7
/proc/13968/stat : 13968 (cosoco) R 13965 13968 11466 0 -1 4202496 1153 0 0 0 69 0 0 0 20 0 1 0 97251306 28078080 950 33554432000 4194304 6142532 140732196660448 140732196657080 5079981 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 16519168 140732196668550 140732196668680 140732196668680 140732196671438 0
/proc/13968/statm: 6855 950 814 476 0 177 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 27420 KiB
Current children cumulated memory: 3800 KiB

[startup+1.50029 s]
/proc/loadavg: 2.06 2.03 2.05 3/187 13969
/proc/meminfo: memFree=20073776/32770624 swapFree=67108860/67108860
[pid=13968] ppid=13965 vsize=27420 memory=3800 CPUtime=1.49 cores=1,3,5,7
/proc/13968/stat : 13968 (cosoco) R 13965 13968 11466 0 -1 4202496 1153 0 0 0 149 0 0 0 20 0 1 0 97251306 28078080 950 33554432000 4194304 6142532 140732196660448 140732196657848 5079898 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 16519168 140732196668550 140732196668680 140732196668680 140732196671438 0
/proc/13968/statm: 6855 950 814 476 0 177 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 27420 KiB
Current children cumulated memory: 3800 KiB

[startup+3.10894 s]
/proc/loadavg: 1.97 2.01 2.04 3/187 13969
/proc/meminfo: memFree=20072992/32770624 swapFree=67108860/67108860
[pid=13968] ppid=13965 vsize=27420 memory=3988 CPUtime=3.1 cores=1,3,5,7
/proc/13968/stat : 13968 (cosoco) R 13965 13968 11466 0 -1 4202496 1236 0 0 0 310 0 0 0 20 0 1 0 97251306 28078080 997 33554432000 4194304 6142532 140732196660448 140732196657848 5363612 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 16519168 140732196668550 140732196668680 140732196668680 140732196671438 0
/proc/13968/statm: 6855 997 852 476 0 177 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 27420 KiB
Current children cumulated memory: 3988 KiB

[startup+6.30027 s]
/proc/loadavg: 1.97 2.01 2.04 3/187 13969
/proc/meminfo: memFree=20073044/32770624 swapFree=67108860/67108860
[pid=13968] ppid=13965 vsize=27420 memory=3988 CPUtime=6.29 cores=1,3,5,7
/proc/13968/stat : 13968 (cosoco) R 13965 13968 11466 0 -1 4202496 1319 0 0 0 629 0 0 0 20 0 1 0 97251306 28078080 997 33554432000 4194304 6142532 140732196660448 140732196657848 5361299 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 16519168 140732196668550 140732196668680 140732196668680 140732196671438 0
/proc/13968/statm: 6855 997 852 476 0 177 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 27420 KiB
Current children cumulated memory: 3988 KiB

[startup+12.7003 s]
/proc/loadavg: 1.98 2.01 2.04 3/187 13969
/proc/meminfo: memFree=20072868/32770624 swapFree=67108860/67108860
[pid=13968] ppid=13965 vsize=27420 memory=3988 CPUtime=12.69 cores=1,3,5,7
/proc/13968/stat : 13968 (cosoco) R 13965 13968 11466 0 -1 4202496 1402 0 0 0 1269 0 0 0 20 0 1 0 97251306 28078080 997 33554432000 4194304 6142532 140732196660448 140732196657848 5366726 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 16519168 140732196668550 140732196668680 140732196668680 140732196671438 0
/proc/13968/statm: 6855 997 852 476 0 177 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 27420 KiB
Current children cumulated memory: 3988 KiB

[startup+25.5003 s]
/proc/loadavg: 1.98 2.01 2.04 3/187 13970
/proc/meminfo: memFree=20073092/32770624 swapFree=67108860/67108860
[pid=13968] ppid=13965 vsize=27420 memory=3988 CPUtime=25.49 cores=1,3,5,7
/proc/13968/stat : 13968 (cosoco) R 13965 13968 11466 0 -1 4202496 1569 0 0 0 2549 0 0 0 20 0 1 0 97251306 28078080 997 33554432000 4194304 6142532 140732196660448 140732196657848 5398545 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 16519168 140732196668550 140732196668680 140732196668680 140732196671438 0
/proc/13968/statm: 6855 997 852 476 0 177 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 27420 KiB
Current children cumulated memory: 3988 KiB

[startup+51.1089 s]
/proc/loadavg: 1.99 2.01 2.04 3/187 13970
/proc/meminfo: memFree=20074104/32770624 swapFree=67108860/67108860
[pid=13968] ppid=13965 vsize=27420 memory=3988 CPUtime=51.1 cores=1,3,5,7
/proc/13968/stat : 13968 (cosoco) R 13965 13968 11466 0 -1 4202496 1652 0 0 0 5110 0 0 0 20 0 1 0 97251306 28078080 997 33554432000 4194304 6142532 140732196660448 140732196657848 5361690 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 16519168 140732196668550 140732196668680 140732196668680 140732196671438 0
/proc/13968/statm: 6855 997 852 476 0 177 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 27420 KiB
Current children cumulated memory: 3988 KiB

[startup+102.3 s]
/proc/loadavg: 1.99 2.01 2.04 3/187 13971
/proc/meminfo: memFree=20074072/32770624 swapFree=67108860/67108860
[pid=13968] ppid=13965 vsize=27420 memory=3988 CPUtime=102.3 cores=1,3,5,7
/proc/13968/stat : 13968 (cosoco) R 13965 13968 11466 0 -1 4202496 1735 0 0 0 10230 0 0 0 20 0 1 0 97251306 28078080 997 33554432000 4194304 6142532 140732196660448 140732196657848 139664056461236 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 16519168 140732196668550 140732196668680 140732196668680 140732196671438 0
/proc/13968/statm: 6855 997 852 476 0 177 0
Current children cumulated CPU time: 102.3 s
Current children cumulated vsize: 27420 KiB
Current children cumulated memory: 3988 KiB

[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 13972
/proc/meminfo: memFree=20073708/32770624 swapFree=67108860/67108860
[pid=13968] ppid=13965 vsize=27420 memory=3988 CPUtime=162.3 cores=1,3,5,7
/proc/13968/stat : 13968 (cosoco) R 13965 13968 11466 0 -1 4202496 1818 0 0 0 16230 0 0 0 20 0 1 0 97251306 28078080 997 33554432000 4194304 6142532 140732196660448 140732196657848 5079981 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 16519168 140732196668550 140732196668680 140732196668680 140732196671438 0
/proc/13968/statm: 6855 997 852 476 0 177 0
Current children cumulated CPU time: 162.3 s
Current children cumulated vsize: 27420 KiB
Current children cumulated memory: 3988 KiB

[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/186 13974
/proc/meminfo: memFree=20074592/32770624 swapFree=67108860/67108860
[pid=13968] ppid=13965 vsize=27420 memory=3988 CPUtime=222.31 cores=1,3,5,7
/proc/13968/stat : 13968 (cosoco) R 13965 13968 11466 0 -1 4202496 1901 0 0 0 22231 0 0 0 20 0 1 0 97251306 28078080 997 33554432000 4194304 6142532 140732196660448 140732196657848 5079985 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 16519168 140732196668550 140732196668680 140732196668680 140732196671438 0
/proc/13968/statm: 6855 997 852 476 0 177 0
Current children cumulated CPU time: 222.31 s
Current children cumulated vsize: 27420 KiB
Current children cumulated memory: 3988 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 13976
/proc/meminfo: memFree=20073328/32770624 swapFree=67108860/67108860
[pid=13968] ppid=13965 vsize=27420 memory=3988 CPUtime=282.31 cores=1,3,5,7
/proc/13968/stat : 13968 (cosoco) R 13965 13968 11466 0 -1 4202496 1901 0 0 0 28231 0 0 0 20 0 1 0 97251306 28078080 997 33554432000 4194304 6142532 140732196660448 140732196657848 5175264 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 16519168 140732196668550 140732196668680 140732196668680 140732196671438 0
/proc/13968/statm: 6855 997 852 476 0 177 0
Current children cumulated CPU time: 282.31 s
Current children cumulated vsize: 27420 KiB
Current children cumulated memory: 3988 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 13984
/proc/meminfo: memFree=20072208/32770624 swapFree=67108860/67108860
[pid=13968] ppid=13965 vsize=27420 memory=3988 CPUtime=342.32 cores=1,3,5,7
/proc/13968/stat : 13968 (cosoco) R 13965 13968 11466 0 -1 4202496 1985 0 0 0 34232 0 0 0 20 0 1 0 97251306 28078080 997 33554432000 4194304 6142532 140732196660448 140732196657848 5327992 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 16519168 140732196668550 140732196668680 140732196668680 140732196671438 0
/proc/13968/statm: 6855 997 852 476 0 177 0
Current children cumulated CPU time: 342.32 s
Current children cumulated vsize: 27420 KiB
Current children cumulated memory: 3988 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 14007
/proc/meminfo: memFree=20071532/32770624 swapFree=67108860/67108860
[pid=13968] ppid=13965 vsize=27420 memory=3988 CPUtime=402.32 cores=1,3,5,7
/proc/13968/stat : 13968 (cosoco) R 13965 13968 11466 0 -1 4202496 1985 0 0 0 40232 0 0 0 20 0 1 0 97251306 28078080 997 33554432000 4194304 6142532 140732196660448 140732196657848 5079985 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 16519168 140732196668550 140732196668680 140732196668680 140732196671438 0
/proc/13968/statm: 6855 997 852 476 0 177 0
Current children cumulated CPU time: 402.32 s
Current children cumulated vsize: 27420 KiB
Current children cumulated memory: 3988 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 14008
/proc/meminfo: memFree=20072136/32770624 swapFree=67108860/67108860
[pid=13968] ppid=13965 vsize=27420 memory=3988 CPUtime=462.32 cores=1,3,5,7
/proc/13968/stat : 13968 (cosoco) R 13965 13968 11466 0 -1 4202496 2068 0 0 0 46232 0 0 0 20 0 1 0 97251306 28078080 997 33554432000 4194304 6142532 140732196660448 140732196657848 5375774 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 16519168 140732196668550 140732196668680 140732196668680 140732196671438 0
/proc/13968/statm: 6855 997 852 476 0 177 0
Current children cumulated CPU time: 462.32 s
Current children cumulated vsize: 27420 KiB
Current children cumulated memory: 3988 KiB


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

/proc/13968/statm: 6855 997 852 476 0 177 0
Current children cumulated CPU time: 1782.42 s
Current children cumulated vsize: 27420 KiB
Current children cumulated memory: 3988 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 14048
/proc/meminfo: memFree=20071708/32770624 swapFree=67108860/67108860
[pid=13968] ppid=13965 vsize=27420 memory=3988 CPUtime=1842.42 cores=1,3,5,7
/proc/13968/stat : 13968 (cosoco) R 13965 13968 11466 0 -1 4202496 2976 0 0 0 184242 0 0 0 20 0 1 0 97251306 28078080 997 33554432000 4194304 6142532 140732196660448 140732196657848 5363580 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 16519168 140732196668550 140732196668680 140732196668680 140732196671438 0
/proc/13968/statm: 6855 997 852 476 0 177 0
Current children cumulated CPU time: 1842.42 s
Current children cumulated vsize: 27420 KiB
Current children cumulated memory: 3988 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 14049
/proc/meminfo: memFree=20071816/32770624 swapFree=67108860/67108860
[pid=13968] ppid=13965 vsize=27420 memory=3988 CPUtime=1902.42 cores=1,3,5,7
/proc/13968/stat : 13968 (cosoco) R 13965 13968 11466 0 -1 4202496 3049 0 0 0 190242 0 0 0 20 0 1 0 97251306 28078080 997 33554432000 4194304 6142532 140732196660448 140732196657848 5366795 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 16519168 140732196668550 140732196668680 140732196668680 140732196671438 0
/proc/13968/statm: 6855 997 852 476 0 177 0
Current children cumulated CPU time: 1902.42 s
Current children cumulated vsize: 27420 KiB
Current children cumulated memory: 3988 KiB

[startup+1962.3 s]
/proc/loadavg: 2.34 2.09 2.07 3/187 14050
/proc/meminfo: memFree=20072048/32770624 swapFree=67108860/67108860
[pid=13968] ppid=13965 vsize=27420 memory=3988 CPUtime=1962.43 cores=1,3,5,7
/proc/13968/stat : 13968 (cosoco) R 13965 13968 11466 0 -1 4202496 3049 0 0 0 196243 0 0 0 20 0 1 0 97251306 28078080 997 33554432000 4194304 6142532 140732196660448 140732196657848 5363683 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 16519168 140732196668550 140732196668680 140732196668680 140732196671438 0
/proc/13968/statm: 6855 997 852 476 0 177 0
Current children cumulated CPU time: 1962.43 s
Current children cumulated vsize: 27420 KiB
Current children cumulated memory: 3988 KiB

[startup+2022.3 s]
/proc/loadavg: 2.31 2.14 2.09 3/187 14052
/proc/meminfo: memFree=20071852/32770624 swapFree=67108860/67108860
[pid=13968] ppid=13965 vsize=27420 memory=3988 CPUtime=2022.43 cores=1,3,5,7
/proc/13968/stat : 13968 (cosoco) R 13965 13968 11466 0 -1 4202496 3132 0 0 0 202243 0 0 0 20 0 1 0 97251306 28078080 997 33554432000 4194304 6142532 140732196660448 140732196657848 5079901 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 16519168 140732196668550 140732196668680 140732196668680 140732196671438 0
/proc/13968/statm: 6855 997 852 476 0 177 0
Current children cumulated CPU time: 2022.43 s
Current children cumulated vsize: 27420 KiB
Current children cumulated memory: 3988 KiB

[startup+2082.3 s]
/proc/loadavg: 2.12 2.12 2.08 3/187 14053
/proc/meminfo: memFree=20072148/32770624 swapFree=67108860/67108860
[pid=13968] ppid=13965 vsize=27420 memory=3988 CPUtime=2082.44 cores=1,3,5,7
/proc/13968/stat : 13968 (cosoco) R 13965 13968 11466 0 -1 4202496 3132 0 0 0 208244 0 0 0 20 0 1 0 97251306 28078080 997 33554432000 4194304 6142532 140732196660448 140732196657848 5376422 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 16519168 140732196668550 140732196668680 140732196668680 140732196671438 0
/proc/13968/statm: 6855 997 852 476 0 177 0
Current children cumulated CPU time: 2082.44 s
Current children cumulated vsize: 27420 KiB
Current children cumulated memory: 3988 KiB

[startup+2142.3 s]
/proc/loadavg: 2.04 2.10 2.07 4/188 14187
/proc/meminfo: memFree=20471624/32770624 swapFree=67108860/67108860
[pid=13968] ppid=13965 vsize=27420 memory=3988 CPUtime=2142.44 cores=1,3,5,7
/proc/13968/stat : 13968 (cosoco) R 13965 13968 11466 0 -1 4202496 3205 0 0 0 214244 0 0 0 20 0 1 0 97251306 28078080 997 33554432000 4194304 6142532 140732196660448 140732196657848 5372449 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 16519168 140732196668550 140732196668680 140732196668680 140732196671438 0
/proc/13968/statm: 6855 997 852 476 0 177 0
Current children cumulated CPU time: 2142.44 s
Current children cumulated vsize: 27420 KiB
Current children cumulated memory: 3988 KiB

[startup+2202.3 s]
/proc/loadavg: 2.02 2.08 2.07 4/188 14188
/proc/meminfo: memFree=20472552/32770624 swapFree=67108860/67108860
[pid=13968] ppid=13965 vsize=27420 memory=3988 CPUtime=2202.45 cores=1,3,5,7
/proc/13968/stat : 13968 (cosoco) R 13965 13968 11466 0 -1 4202496 3215 0 0 0 220245 0 0 0 20 0 1 0 97251306 28078080 997 33554432000 4194304 6142532 140732196660448 140732196657848 5361706 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 16519168 140732196668550 140732196668680 140732196668680 140732196671438 0
/proc/13968/statm: 6855 997 852 476 0 177 0
Current children cumulated CPU time: 2202.45 s
Current children cumulated vsize: 27420 KiB
Current children cumulated memory: 3988 KiB

[startup+2262.3 s]
/proc/loadavg: 2.01 2.07 2.06 4/188 14189
/proc/meminfo: memFree=20472660/32770624 swapFree=67108860/67108860
[pid=13968] ppid=13965 vsize=27420 memory=3988 CPUtime=2262.45 cores=1,3,5,7
/proc/13968/stat : 13968 (cosoco) R 13965 13968 11466 0 -1 4202496 3288 0 0 0 226245 0 0 0 20 0 1 0 97251306 28078080 997 33554432000 4194304 6142532 140732196660448 140732196657848 5360440 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 16519168 140732196668550 140732196668680 140732196668680 140732196671438 0
/proc/13968/statm: 6855 997 852 476 0 177 0
Current children cumulated CPU time: 2262.45 s
Current children cumulated vsize: 27420 KiB
Current children cumulated memory: 3988 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 2.05 2.06 4/188 14190
/proc/meminfo: memFree=20472756/32770624 swapFree=67108860/67108860
[pid=13968] ppid=13965 vsize=27420 memory=3988 CPUtime=2322.45 cores=1,3,5,7
/proc/13968/stat : 13968 (cosoco) R 13965 13968 11466 0 -1 4202496 3288 0 0 0 232245 0 0 0 20 0 1 0 97251306 28078080 997 33554432000 4194304 6142532 140732196660448 140732196657848 5146845 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 16519168 140732196668550 140732196668680 140732196668680 140732196671438 0
/proc/13968/statm: 6855 997 852 476 0 177 0
Current children cumulated CPU time: 2322.45 s
Current children cumulated vsize: 27420 KiB
Current children cumulated memory: 3988 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 2.04 2.05 4/188 14191
/proc/meminfo: memFree=20472740/32770624 swapFree=67108860/67108860
[pid=13968] ppid=13965 vsize=27420 memory=3988 CPUtime=2382.46 cores=1,3,5,7
/proc/13968/stat : 13968 (cosoco) R 13965 13968 11466 0 -1 4202496 3361 0 0 0 238246 0 0 0 20 0 1 0 97251306 28078080 997 33554432000 4194304 6142532 140732196660448 140732196657848 4991015 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 16519168 140732196668550 140732196668680 140732196668680 140732196671438 0
/proc/13968/statm: 6855 997 852 476 0 177 0
Current children cumulated CPU time: 2382.46 s
Current children cumulated vsize: 27420 KiB
Current children cumulated memory: 3988 KiB

[startup+2442.3 s]
/proc/loadavg: 2.00 2.04 2.05 4/187 14192
/proc/meminfo: memFree=20472704/32770624 swapFree=67108860/67108860
[pid=13968] ppid=13965 vsize=27420 memory=3988 CPUtime=2442.46 cores=1,3,5,7
/proc/13968/stat : 13968 (cosoco) R 13965 13968 11466 0 -1 4202496 3371 0 0 0 244246 0 0 0 20 0 1 0 97251306 28078080 997 33554432000 4194304 6142532 140732196660448 140732196657848 5329511 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 16519168 140732196668550 140732196668680 140732196668680 140732196671438 0
/proc/13968/statm: 6855 997 852 476 0 177 0
Current children cumulated CPU time: 2442.46 s
Current children cumulated vsize: 27420 KiB
Current children cumulated memory: 3988 KiB

[startup+2502.3 s]
/proc/loadavg: 2.00 2.03 2.05 4/187 14193
/proc/meminfo: memFree=20472688/32770624 swapFree=67108860/67108860
[pid=13968] ppid=13965 vsize=27420 memory=3988 CPUtime=2502.47 cores=1,3,5,7
/proc/13968/stat : 13968 (cosoco) R 13965 13968 11466 0 -1 4202496 3444 0 0 0 250247 0 0 0 20 0 1 0 97251306 28078080 997 33554432000 4194304 6142532 140732196660448 140732196657848 5367428 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 16519168 140732196668550 140732196668680 140732196668680 140732196671438 0
/proc/13968/statm: 6855 997 852 476 0 177 0
Current children cumulated CPU time: 2502.47 s
Current children cumulated vsize: 27420 KiB
Current children cumulated memory: 3988 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2519.9 s]
/proc/loadavg: 2.00 2.03 2.05 4/187 14193
/proc/meminfo: memFree=20472928/32770624 swapFree=67108860/67108860
[pid=13968] ppid=13965 vsize=27420 memory=3988 CPUtime=2520.07 cores=1,3,5,7
/proc/13968/stat : 13968 (cosoco) R 13965 13968 11466 0 -1 4202496 3444 0 0 0 252007 0 0 0 20 0 1 0 97251306 28078080 997 33554432000 4194304 6142532 140732196660448 140732196657848 5079989 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 16519168 140732196668550 140732196668680 140732196668680 140732196671438 0
/proc/13968/statm: 6855 997 852 476 0 177 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 27420 KiB
Current children cumulated memory: 3988 KiB

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

[startup+2519.9 s]
# the end of solver process 13968 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2520.07 s, system=0.002006 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.03 2.05 4/187 14193
/proc/meminfo: memFree=20472928/32770624 swapFree=67108860/67108860
[pid=13968] ppid=13965 vsize=27420 memory=3988 CPUtime=2520.07 cores=1,3,5,7
/proc/13968/stat : 13968 (cosoco) R 13965 13968 11466 0 -1 4202496 3444 0 0 0 252007 0 0 0 20 0 1 0 97251306 28078080 997 33554432000 4194304 6142532 140732196660448 140732196657848 5079989 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 16519168 140732196668550 140732196668680 140732196668680 140732196671438 0
/proc/13968/statm: 6855 997 852 476 0 177 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 27420 KiB
Current children cumulated memory: 3988 KiB

Child status: 1
Real time (s): 2519.9
CPU time (s): 2520.08
CPU user time (s): 2520.07
CPU system time (s): 0.002006
CPU usage (%): 100.007
Max. virtual memory (cumulated for all children) (KiB): 27420
Max. memory (cumulated for all children) (KiB): 3988

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2520.07
system time used= 0.002006
maximum resident set size= 4052
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3491
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= 647


# summary of solver processes directly reported to runsolver:
#   pid: 13968
#   total CPU time (s): 2520.08
#   total CPU user time (s): 2520.07
#   total CPU system time (s): 0.002006

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.24505 second user time and 16.3157 second system time

The end

Launcher Data 

Begin job on node105 at 2018-07-28 18:54:41
IDJOB=4299274
IDBENCH=141340
IDSOLVER=2761
FILE ID=node105/4299274-1532796881
RUNJOBID= node105-1532776049-11498
PBS_JOBID= 21022469
Free space on /tmp= 44580 MiB

SOLVER NAME= cosoco 1.12
BENCH NAME= XCSP18/Langford/LangfordBin-14_c18.xml
COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4299274-1532796881/watcher-4299274-1532796881 -o /tmp/evaluation-result-4299274-1532796881/solver-4299274-1532796881 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1532776049-11498 --watchdog 2580  HOME/cosoco -lc -model -restarts HOME/instance-4299274-1532796881.xml

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

MD5SUM BENCH= 907d87f313d4aa93f4a53d5ea17b135a
RANDOM SEED=1674035015

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:        20074632 kB
MemAvailable:   31573992 kB
Buffers:          270104 kB
Cached:         11368532 kB
SwapCached:            0 kB
Active:          2795504 kB
Inactive:        9254040 kB
Active(anon):     365484 kB
Inactive(anon):    73344 kB
Active(file):    2430020 kB
Inactive(file):  9180696 kB
Unevictable:        7296 kB
Mlocked:            7296 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              2792 kB
Writeback:             0 kB
AnonPages:        430396 kB
Mapped:            45456 kB
Shmem:             25228 kB
Slab:             344992 kB
SReclaimable:     317104 kB
SUnreclaim:        27888 kB
KernelStack:        3568 kB
PageTables:         5524 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     711812 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    317440 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 19:36:41