Trace number 4267297

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
cosoco-mini 1.12? (TO) 2400.03 2400.01

General information on the benchmark

NameLangford/Langford-m2-s1/
LangfordBin-30.xml
MD5SUMcfab102c91084e040090bf0c1bc6cb0b
Bench CategoryCSP (decision problem)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables120
Number of constraints90
Number of domains2
Minimum domain size30
Maximum domain size60
Distribution of domain sizes[{"size":30,"count":60},{"size":60,"count":60}]
Minimum variable degree2
Maximum variable degree60
Distribution of variable degrees[{"degree":2,"count":60},{"degree":60,"count":60}]
Minimum constraint arity2
Maximum constraint arity61
Distribution of constraint arities[{"arity":2,"count":30},{"arity":61,"count":60}]
Number of extensional constraints0
Number of intensional constraints30
Distribution of constraint types[{"type":"intension","count":30},{"type":"element","count":60}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.04	c root propagations     : 990         
0.00/0.04	c restarts enabled, print stats at every restarts
0.00/0.04	c
0.00/0.04	c
0.00/0.04	c
0.00/0.04	c This is cosoco 1.12 --  
0.00/0.04	c
0.00/0.04	c command line: cosoco -lc -model -restarts HOME/instance-4267297-1502605552.xml 
0.00/0.04	c ========================================[ Problem Statistics ]===========================================
0.00/0.04	c |                                                                                                       
0.00/0.04	c |  Parse time        :         0.03 s 
0.00/0.04	c |
0.00/0.04	c |               Variables: 120
0.00/0.04	c |            Domain Sizes: 30..60
0.00/0.04	c |
0.00/0.04	c |             Constraints: 90
0.00/0.04	c |                   Arity: 2..61  -- Binary: 30
0.00/0.04	c | 
0.00/0.04	c |                   Types: 
0.00/0.04	c |                          Element Constant: 60
0.00/0.04	c |                          Intension: 30
0.00/0.04	c |                          
0.00/0.04	c =========================================================================================================
0.00/0.04	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
0.00/0.04	c 101            359            39044          8416           60             0              89   108   92  
0.00/0.05	c 211            746            97297          33376          60             0              41   53   45   
0.00/0.06	c 332            941            135703         51036          60             0              43   46   43   
0.00/0.07	c 465            1181           177422         73379          60             0              44   50   44   
0.00/0.08	c 611            1392           220893         90626          60             0              45   50   46   
0.00/0.09	c 771            1650           270197         109219         60             0              40   48   45   
0.00/0.10	c 947            1978           312921         125846         60             0              47   49   47   
0.10/0.11	c 1140           2264           357024         141299         60             0              42   44   42   
0.10/0.11	c 1352           2534           399598         154910         60             0              45   47   45   
0.10/0.12	c 1585           2971           440720         166606         60             0              47   49   48   
0.10/0.13	c 1841           3422           492640         181589         60             0              44   46   45   
0.10/0.15	c 2122           4194           578825         210050         60             0              42   45   42   
0.10/0.16	c 2431           5115           699067         254264         60             0              44   47   45   
0.10/0.18	c 2770           5805           770979         274938         60             0              44   46   45   
0.10/0.19	c 3142           6339           838462         295761         60             0              42   48   45   
0.10/0.20	c 3551           6958           918603         332070         60             0              38   47   43   
0.21/0.21	c 4000           7671           1021187        360910         60             0              40   44   41   
0.21/0.23	c 4493           8532           1115526        402813         60             0              38   46   41   
0.21/0.25	c 5035           9505           1271447        464542         60             0              41   48   44   
0.21/0.29	c 5631           10330          1537175        606135         60             0              37   49   38   
0.31/0.32	c 6286           11531          1776747        700494         60             0              37   47   39   
0.31/0.34	c 7006           12587          1930766        746279         60             0              40   46   44   
0.31/0.37	c 7798           13955          2182707        848468         60             0              38   47   42   
0.31/0.40	c 8669           15098          2421923        957793         60             0              38   43   40   
0.41/0.43	c 9627           16329          2586009        1014988        60             0              40   47   44   
0.41/0.46	c 10680          17655          2890583        1166657        60             0              39   46   40   
0.41/0.51	c 11838          19474          3238262        1303506        60             0              39   47   41   
0.51/0.54	c 13111          21325          3525478        1390033        60             0              40   46   41   
0.51/0.58	c 14511          23060          3822122        1501177        60             0              40   46   42   
0.60/0.63	c 16051          25120          4173364        1667270        60             0              39   45   41   
0.60/0.67	c 17745          27167          4505035        1806343        60             0              42   45   44   
0.69/0.72	c 19608          29340          4898362        2012031        60             0              39   48   42   
0.69/0.76	c 21657          31764          5258334        2169388        60             0              44   45   44   
0.79/0.81	c 23910          34672          5598256        2301345        60             0              39   42   41   
0.79/0.85	c 26388          37334          5971083        2434942        60             0              42   44   43   
0.89/0.90	c 29113          40348          6420318        2562289        60             0              44   48   46   
0.89/0.97	c 32110          43558          7027511        2849842        60             0              37   45   39   
1.00/1.07	c 35406          47477          7746033        3172615        60             0              36   47   39   
1.10/1.15	c 39031          51723          8385155        3488750        60             0              35   43   42   
1.19/1.23	c 43018          57780          9082873        3768423        60             0              35   45   43   
1.29/1.31	c 47403          62644          9789276        4076187        60             0              38   44   42   
1.39/1.40	c 52226          68019          10550542       4320198        60             0              39   44   43   
1.39/1.48	c 57531          74745          11276694       4575943        60             0              40   44   43   
1.59/1.60	c 63366          80996          12308234       5001706        60             0              37   45   42   
1.69/1.73	c 69784          87919          13464640       5480400        60             0              36   47   43   
1.79/1.85	c 76843          95869          14618341       5924440        60             0              42   46   45   
1.89/1.98	c 84607          105107         15782208       6489131        60             0              40   45   43   
2.00/2.10	c 93147          114723         16845699       6880951        60             0              41   45   44   
2.29/2.31	c 102541         124832         18690905       7706872        60             0              39   43   41   
2.39/2.47	c 112874         135936         20315183       8187710        60             0              40   45   43   
2.59/2.66	c 124240         149229         21984849       8793205        60             0              38   47   42   
2.79/2.86	c 136742         163454         23782541       9372407        60             0              40   44   43   
3.00/3.09	c 150494         181254         26109127       10198636       60             0              38   46   45   
3.39/3.49	c 165621         199905         29493300       11612473       60             0              38   46   39   
3.79/3.82	c 182260         219914         32234749       12804806       60             0              39   46   41   
4.00/4.05	c 200562         240645         34443138       13546504       60             0              42   49   47   
4.29/4.32	c 220694         262475         37315494       14338278       60             0              43   48   46   
4.49/4.58	c 242839         286205         40400647       14953219       60             0              45   48   46   
4.89/4.93	c 267198         313172         43928303       15996546       60             0              40   48   44   
5.49/5.50	c 293992         354794         49030323       17665245       60             0              44   46   45   
6.00/6.04	c 323465         386509         53845150       19729602       60             0              39   46   43   
6.59/6.65	c 355885         427131         59295684       21787211       60             0              39   49   43   
7.10/7.13	c 391547         464691         64514379       23094479       60             0              42   48   46   
7.59/7.65	c 430775         507430         69475961       24839067       60             0              39   48   46   
8.49/8.52	c 473925         554630         77692266       27869981       60             0              42   45   43   
9.10/9.15	c 521390         607238         84220882       29565051       60             0              42   47   45   
9.79/9.85	c 573601         662893         91675845       31777168       60             0              44   49   46   
10.69/10.74	c 631033         724240         100898578      34664790       60             0              43   49   45   
11.69/11.71	c 694208         792088         110878566      37643830       60             0              43   49   45   
12.59/12.69	c 763700         867165         120628844      41304205       60             0              39   46   45   
14.19/14.27	c 840141         949432         135377634      46602846       60             0              40   44   42   
15.49/15.56	c 924226         1045054        148992363      50098550       60             0              41   46   44   
17.00/17.06	c 1016719        1142765        163696339      54933923       60             0              39   47   44   
18.39/18.44	c 1118461        1264748        176797974      58871878       60             0              41   47   46   
20.39/20.40	c 1230377        1387301        195927915      65533661       60             0              38   45   44   
22.59/22.60	c 1353484        1518794        217127707      73119149       60             0              39   47   43   
25.00/25.08	c 1488901        1665912        241301455      82603088       60             0              38   45   42   
27.59/27.62	c 1637859        1825461        267647854      91729123       60             0              37   45   43   
30.10/30.15	c 1801712        2000806        292810904      101027953      60             0              38   46   43   
32.69/32.74	c 1981950        2197596        319570002      109962385      60             0              38   45   44   
35.39/35.42	c 2180211        2415483        346654899      117925224      60             0              38   46   44   
39.39/39.45	c 2398298        2644543        385274364      132381513      60             0              39   46   42   
44.39/44.42	c 2638193        2928311        429801411      149813987      60             0              38   47   43   
47.89/47.91	c 2902077        3211977        464620017      161129772      60             0              40   47   43   
52.49/52.53	c 3192349        3528931        511725536      175583888      60             0              40   47   43   
57.00/57.01	c 3511648        3895241        560554658      190201036      60             0              39   46   43   
62.19/62.20	c 3862876        4264554        614576163      207409904      60             0              41   45   43   
66.49/66.50	c 4249226        4680758        661906402      221023280      60             0              42   46   44   
71.69/71.79	c 4674211        5132496        718034847      235013897      60             0              40   46   44   
77.69/77.71	c 5141694        5625376        776660501      251186566      60             0              40   45   42   
83.39/83.44	c 5655925        6179639        836406041      264381167      60             0              38   45   44   
90.89/90.99	c 6221579        6788358        915016822      287030025      60             0              40   46   44   
99.49/99.58	c 6843798        7442533        1000349186     314522531      60             0              41   45   43   
109.79/109.83	c 7528238        8165016        1103222622     353510740      60             0              40   45   43   
120.69/120.74	c 8281122        8971446        1212905176     392802023      60             0              40   45   42   
132.69/132.76	c 9109294        10033377       1332680232     426194409      60             0              37   46   42   
146.39/146.45	c 10020283       11048269       1464480531     462462989      60             0              39   46   41   
163.79/163.89	c 11022370       12230631       1636215704     526881044      60             0              36   48   44   
184.10/184.11	c 12124665       13535997       1823671871     610418222      60             0              36   43   39   
202.39/202.44	c 13337189       14983605       1999468036     689126310      60             0              33   46   41   
230.39/230.44	c 14670965       16927037       2269961250     799347644      60             0              30   41   38   
250.79/250.82	c 16138118       18561179       2463671482     868859682      60             0              32   43   39   
279.40/279.45	c 17751986       20271735       2711964835     969162543      60             0              33   39   36   
321.10/321.13	c 19527240       23178797       3105509549     1149922284     60             0              34   45   40   
355.00/355.02	c 21480019       25352690       3417132269     1268189833     60             0              33   45   40   
406.20/406.21	c 23628075       28539972       3876538171     1481482443     60             0              33   45   39   
441.40/441.43	c 25990936       31070753       4222138167     1591444760     60             0              37   46   43   
483.70/483.76	c 28590083       33817863       4651024351     1729474878     60             0              33   44   40   
530.30/530.37	c 31449144       36887625       5102429080     1872404144     60             0              37   46   41   
585.30/585.39	c 34594111       40246538       5604592614     2078883770     60             0              37   43   41   
628.60/628.69	c 38053574       44330575       6040976619     2217653377     60             0              39   48   45   
679.90/679.97	c 41858983       48403885       6559334382     2360326490     60             0              36   47   41   
747.90/747.91	c 46044932       53551473       7192856240     2628924227     60             0              33   44   40   
814.11/814.15	c 50649475       59061732       7849236410     2804437133     60             0              34   43   40   
898.70/898.78	c 55714472       66360398       8686793281     3110921678     60             0              34   43   41   
975.11/975.15	c 61285968       73203062       9482852613     3345159735     60             0              33   44   40   
1060.40/1060.43	c 67414613       81055335       10345991691    3642308170     60             0              38   42   40   
1140.40/1140.42	c 74156122       88264268       11168067983    3918830556     60             0              31   43   41   
1231.60/1231.64	c 81571781       96138187       12121215453    4231905394     60             0              31   42   41   
1354.30/1354.37	c 89729005       104858865      13304218242    4653721253     60             0              29   44   39   
1478.50/1478.58	c 98701951       114633826      14496304711    5097254452     60             0              36   44   42   
1612.40/1612.43	c 108572191      125228070      15813857182    5539351715     60             0              40   44   42   
1777.01/1777.07	c 119429455      138562950      17519737941    6040898373     60             0              35   44   39   
1918.71/1918.79	c 131372445      153171305      18984011467    6429834628     60             0              33   48   44   
2055.71/2055.78	c 144509734      167105454      20461543079    6735042401     60             0              36   49   44   
2239.02/2239.06	c 158960751      183723492      22411813372    7230677828     60             0              37   46   43   
2400.02/2400.00	
2400.02/2400.00	c *** INTERRUPTED ***
2400.02/2400.00	c restarts              : 126         
2400.02/2400.00	c conflicts             : 174247737    (72603 /sec)
2400.02/2400.00	c decisions             : 201448801    (83936 /sec)
2400.02/2400.00	c propagations          : 7566025319  (3152482 /sec)
2400.02/2400.00	c root propagations     : 990         
2400.02/2400.00	c filter calls          : 24039205060    (10016245 /sec)
2400.02/2400.00	c useless filter calls  : 19650466885    (81 %)
2400.02/2400.00	c Memory used           : 26.66 MB
2400.02/2400.00	c CPU time              : 2400.02 s
2400.02/2400.00	
2400.02/2400.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 (15342 MiB free)
  memory of node 1: 16384 MiB (15645 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4267297-1502605552/watcher-4267297-1502605552 -o /tmp/evaluation-result-4267297-1502605552/solver-4267297-1502605552 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node103-1502602184-31005 --watchdog 2560 cosoco -lc -model -restarts HOME/instance-4267297-1502605552.xml 

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

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


[startup+0.10015 s]*
/proc/loadavg: 1.89 2.00 1.99 3/188 31712
/proc/meminfo: memFree=31730784/32770624 swapFree=67108860/67108860
[pid=31711] ppid=31708 vsize=27300 memory=4056 CPUtime=0.1 cores=1,3,5,7
/proc/31711/stat : 31711 (cosoco) R 31708 31711 30973 0 -1 4202496 1192 0 0 0 10 0 0 0 20 0 1 0 93643401 27955200 1014 33554432000 4194304 5748600 140730926470384 140730926467032 5144576 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7849824 7854664 23887872 140730926478527 140730926478622 140730926478622 140730926481358 0
/proc/31711/statm: 6825 1014 812 380 0 243 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27300 KiB
Current children cumulated memory: 4056 KiB

[startup+0.209341 s]*
/proc/loadavg: 1.89 2.00 1.99 3/188 31712
/proc/meminfo: memFree=31730784/32770624 swapFree=67108860/67108860
[pid=31711] ppid=31708 vsize=27300 memory=4056 CPUtime=0.21 cores=1,3,5,7
/proc/31711/stat : 31711 (cosoco) R 31708 31711 30973 0 -1 4202496 1192 0 0 0 21 0 0 0 20 0 1 0 93643401 27955200 1014 33554432000 4194304 5748600 140730926470384 140730926467032 4873148 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7849824 7854664 23887872 140730926478527 140730926478622 140730926478622 140730926481358 0
/proc/31711/statm: 6825 1014 812 380 0 243 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 27300 KiB
Current children cumulated memory: 4056 KiB

[startup+0.308759 s]*
/proc/loadavg: 1.89 2.00 1.99 3/188 31712
/proc/meminfo: memFree=31730784/32770624 swapFree=67108860/67108860
[pid=31711] ppid=31708 vsize=27300 memory=4056 CPUtime=0.31 cores=1,3,5,7
/proc/31711/stat : 31711 (cosoco) R 31708 31711 30973 0 -1 4202496 1192 0 0 0 31 0 0 0 20 0 1 0 93643401 27955200 1014 33554432000 4194304 5748600 140730926470384 140730926467032 5000320 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7849824 7854664 23887872 140730926478527 140730926478622 140730926478622 140730926481358 0
/proc/31711/statm: 6825 1014 812 380 0 243 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 27300 KiB
Current children cumulated memory: 4056 KiB

[startup+0.700275 s]
/proc/loadavg: 1.89 2.00 1.99 3/188 31712
/proc/meminfo: memFree=31730784/32770624 swapFree=67108860/67108860
[pid=31711] ppid=31708 vsize=27300 memory=4056 CPUtime=0.69 cores=1,3,5,7
/proc/31711/stat : 31711 (cosoco) R 31708 31711 30973 0 -1 4202496 1192 0 0 0 69 0 0 0 20 0 1 0 93643401 27955200 1014 33554432000 4194304 5748600 140730926470384 140730926467032 4873131 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7849824 7854664 23887872 140730926478527 140730926478622 140730926478622 140730926481358 0
/proc/31711/statm: 6825 1014 812 380 0 243 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 27300 KiB
Current children cumulated memory: 4056 KiB

[startup+1.50027 s]
/proc/loadavg: 1.89 2.00 1.99 3/188 31712
/proc/meminfo: memFree=31730784/32770624 swapFree=67108860/67108860
[pid=31711] ppid=31708 vsize=27300 memory=4056 CPUtime=1.49 cores=1,3,5,7
/proc/31711/stat : 31711 (cosoco) R 31708 31711 30973 0 -1 4202496 1192 0 0 0 149 0 0 0 20 0 1 0 93643401 27955200 1014 33554432000 4194304 5748600 140730926470384 140730926467784 4873499 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7849824 7854664 23887872 140730926478527 140730926478622 140730926478622 140730926481358 0
/proc/31711/statm: 6825 1014 812 380 0 243 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 27300 KiB
Current children cumulated memory: 4056 KiB

[startup+3.10887 s]
/proc/loadavg: 1.89 2.00 1.99 3/188 31712
/proc/meminfo: memFree=31730332/32770624 swapFree=67108860/67108860
[pid=31711] ppid=31708 vsize=27300 memory=4120 CPUtime=3.1 cores=1,3,5,7
/proc/31711/stat : 31711 (cosoco) R 31708 31711 30973 0 -1 4202496 1344 0 0 0 310 0 0 0 20 0 1 0 93643401 27955200 1030 33554432000 4194304 5748600 140730926470384 140730926467784 4920173 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7849824 7854664 23887872 140730926478527 140730926478622 140730926478622 140730926481358 0
/proc/31711/statm: 6825 1030 815 380 0 243 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 27300 KiB
Current children cumulated memory: 4120 KiB

[startup+6.30026 s]
/proc/loadavg: 1.89 2.00 1.99 3/188 31712
/proc/meminfo: memFree=31730332/32770624 swapFree=67108860/67108860
[pid=31711] ppid=31708 vsize=27300 memory=4120 CPUtime=6.29 cores=1,3,5,7
/proc/31711/stat : 31711 (cosoco) R 31708 31711 30973 0 -1 4202496 1496 0 0 0 629 0 0 0 20 0 1 0 93643401 27955200 1030 33554432000 4194304 5748600 140730926470384 140730926467784 4873912 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7849824 7854664 23887872 140730926478527 140730926478622 140730926478622 140730926481358 0
/proc/31711/statm: 6825 1030 815 380 0 243 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 27300 KiB
Current children cumulated memory: 4120 KiB

[startup+12.7003 s]
/proc/loadavg: 1.90 2.00 1.99 3/188 31712
/proc/meminfo: memFree=31730332/32770624 swapFree=67108860/67108860
[pid=31711] ppid=31708 vsize=27300 memory=4120 CPUtime=12.69 cores=1,3,5,7
/proc/31711/stat : 31711 (cosoco) R 31708 31711 30973 0 -1 4202496 1649 0 0 0 1269 0 0 0 20 0 1 0 93643401 27955200 1030 33554432000 4194304 5748600 140730926470384 140730926467784 4954393 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7849824 7854664 23887872 140730926478527 140730926478622 140730926478622 140730926481358 0
/proc/31711/statm: 6825 1030 815 380 0 243 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 27300 KiB
Current children cumulated memory: 4120 KiB

[startup+25.5003 s]
/proc/loadavg: 1.92 2.00 1.99 3/188 31712
/proc/meminfo: memFree=31730332/32770624 swapFree=67108860/67108860
[pid=31711] ppid=31708 vsize=27300 memory=4120 CPUtime=25.49 cores=1,3,5,7
/proc/31711/stat : 31711 (cosoco) R 31708 31711 30973 0 -1 4202496 1955 0 0 0 2549 0 0 0 20 0 1 0 93643401 27955200 1030 33554432000 4194304 5748600 140730926470384 140730926467784 4920186 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7849824 7854664 23887872 140730926478527 140730926478622 140730926478622 140730926481358 0
/proc/31711/statm: 6825 1030 815 380 0 243 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 27300 KiB
Current children cumulated memory: 4120 KiB

[startup+51.1089 s]
/proc/loadavg: 1.95 2.00 1.99 3/188 31712
/proc/meminfo: memFree=31730332/32770624 swapFree=67108860/67108860
[pid=31711] ppid=31708 vsize=27300 memory=4120 CPUtime=51.1 cores=1,3,5,7
/proc/31711/stat : 31711 (cosoco) R 31708 31711 30973 0 -1 4202496 2108 0 0 0 5110 0 0 0 20 0 1 0 93643401 27955200 1030 33554432000 4194304 5748600 140730926470384 140730926467784 4920200 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7849824 7854664 23887872 140730926478527 140730926478622 140730926478622 140730926481358 0
/proc/31711/statm: 6825 1030 815 380 0 243 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 27300 KiB
Current children cumulated memory: 4120 KiB

[startup+102.3 s]
/proc/loadavg: 1.98 2.00 1.99 3/188 31713
/proc/meminfo: memFree=31730068/32770624 swapFree=67108860/67108860
[pid=31711] ppid=31708 vsize=27300 memory=4120 CPUtime=102.29 cores=1,3,5,7
/proc/31711/stat : 31711 (cosoco) R 31708 31711 30973 0 -1 4202496 2261 0 0 0 10229 0 0 0 20 0 1 0 93643401 27955200 1030 33554432000 4194304 5748600 140730926470384 140730926467784 4920090 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7849824 7854664 23887872 140730926478527 140730926478622 140730926478622 140730926481358 0
/proc/31711/statm: 6825 1030 815 380 0 243 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 27300 KiB
Current children cumulated memory: 4120 KiB

[startup+162.3 s]
/proc/loadavg: 1.99 2.00 1.99 3/188 31714
/proc/meminfo: memFree=31730096/32770624 swapFree=67108860/67108860
[pid=31711] ppid=31708 vsize=27300 memory=4120 CPUtime=162.29 cores=1,3,5,7
/proc/31711/stat : 31711 (cosoco) R 31708 31711 30973 0 -1 4202496 2414 0 0 0 16229 0 0 0 20 0 1 0 93643401 27955200 1030 33554432000 4194304 5748600 140730926470384 140730926467784 5119563 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7849824 7854664 23887872 140730926478527 140730926478622 140730926478622 140730926481358 0
/proc/31711/statm: 6825 1030 815 380 0 243 0
Current children cumulated CPU time: 162.29 s
Current children cumulated vsize: 27300 KiB
Current children cumulated memory: 4120 KiB

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/187 31715
/proc/meminfo: memFree=31729988/32770624 swapFree=67108860/67108860
[pid=31711] ppid=31708 vsize=27300 memory=4120 CPUtime=222.29 cores=1,3,5,7
/proc/31711/stat : 31711 (cosoco) R 31708 31711 30973 0 -1 4202496 2567 0 0 0 22229 0 0 0 20 0 1 0 93643401 27955200 1030 33554432000 4194304 5748600 140730926470384 140730926467784 4920135 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7849824 7854664 23887872 140730926478527 140730926478622 140730926478622 140730926481358 0
/proc/31711/statm: 6825 1030 815 380 0 243 0
Current children cumulated CPU time: 222.29 s
Current children cumulated vsize: 27300 KiB
Current children cumulated memory: 4120 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/186 31716
/proc/meminfo: memFree=31730500/32770624 swapFree=67108860/67108860
[pid=31711] ppid=31708 vsize=27300 memory=4120 CPUtime=282.3 cores=1,3,5,7
/proc/31711/stat : 31711 (cosoco) R 31708 31711 30973 0 -1 4202496 2719 0 0 0 28230 0 0 0 20 0 1 0 93643401 27955200 1030 33554432000 4194304 5748600 140730926470384 140730926467784 4920135 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7849824 7854664 23887872 140730926478527 140730926478622 140730926478622 140730926481358 0
/proc/31711/statm: 6825 1030 815 380 0 243 0
Current children cumulated CPU time: 282.3 s
Current children cumulated vsize: 27300 KiB
Current children cumulated memory: 4120 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/187 31718
/proc/meminfo: memFree=31730284/32770624 swapFree=67108860/67108860
[pid=31711] ppid=31708 vsize=27300 memory=4120 CPUtime=342.3 cores=1,3,5,7
/proc/31711/stat : 31711 (cosoco) R 31708 31711 30973 0 -1 4202496 2872 0 0 0 34230 0 0 0 20 0 1 0 93643401 27955200 1030 33554432000 4194304 5748600 140730926470384 140730926467784 4920158 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7849824 7854664 23887872 140730926478527 140730926478622 140730926478622 140730926481358 0
/proc/31711/statm: 6825 1030 815 380 0 243 0
Current children cumulated CPU time: 342.3 s
Current children cumulated vsize: 27300 KiB
Current children cumulated memory: 4120 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/187 31719
/proc/meminfo: memFree=31730020/32770624 swapFree=67108860/67108860
[pid=31711] ppid=31708 vsize=27300 memory=4120 CPUtime=402.3 cores=1,3,5,7
/proc/31711/stat : 31711 (cosoco) R 31708 31711 30973 0 -1 4202496 3008 0 0 0 40230 0 0 0 20 0 1 0 93643401 27955200 1030 33554432000 4194304 5748600 140730926470384 140730926467784 5122488 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7849824 7854664 23887872 140730926478527 140730926478622 140730926478622 140730926481358 0
/proc/31711/statm: 6825 1030 815 380 0 243 0
Current children cumulated CPU time: 402.3 s
Current children cumulated vsize: 27300 KiB
Current children cumulated memory: 4120 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/187 31720
/proc/meminfo: memFree=31730020/32770624 swapFree=67108860/67108860
[pid=31711] ppid=31708 vsize=27300 memory=4120 CPUtime=462.3 cores=1,3,5,7
/proc/31711/stat : 31711 (cosoco) R 31708 31711 30973 0 -1 4202496 3178 0 0 0 46230 0 0 0 20 0 1 0 93643401 27955200 1030 33554432000 4194304 5748600 140730926470384 140730926467784 5000320 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7849824 7854664 23887872 140730926478527 140730926478622 140730926478622 140730926481358 0
/proc/31711/statm: 6825 1030 815 380 0 243 0
Current children cumulated CPU time: 462.3 s
Current children cumulated vsize: 27300 KiB
Current children cumulated memory: 4120 KiB


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

/proc/31711/statm: 6825 1030 815 380 0 243 0
Current children cumulated CPU time: 1602.3 s
Current children cumulated vsize: 27300 KiB
Current children cumulated memory: 4120 KiB

[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 31757
/proc/meminfo: memFree=31731356/32770624 swapFree=67108860/67108860
[pid=31711] ppid=31708 vsize=27300 memory=4120 CPUtime=1662.3 cores=1,3,5,7
/proc/31711/stat : 31711 (cosoco) R 31708 31711 30973 0 -1 4202496 6137 0 0 0 166230 0 0 0 20 0 1 0 93643401 27955200 1030 33554432000 4194304 5748600 140730926470384 140730926467784 5145008 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7849824 7854664 23887872 140730926478527 140730926478622 140730926478622 140730926481358 0
/proc/31711/statm: 6825 1030 815 380 0 243 0
Current children cumulated CPU time: 1662.3 s
Current children cumulated vsize: 27300 KiB
Current children cumulated memory: 4120 KiB

[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/188 31766
/proc/meminfo: memFree=31730148/32770624 swapFree=67108860/67108860
[pid=31711] ppid=31708 vsize=27300 memory=4120 CPUtime=1722.3 cores=1,3,5,7
/proc/31711/stat : 31711 (cosoco) R 31708 31711 30973 0 -1 4202496 6274 0 0 0 172230 0 0 0 20 0 1 0 93643401 27955200 1030 33554432000 4194304 5748600 140730926470384 140730926467784 4920128 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7849824 7854664 23887872 140730926478527 140730926478622 140730926478622 140730926481358 0
/proc/31711/statm: 6825 1030 815 380 0 243 0
Current children cumulated CPU time: 1722.3 s
Current children cumulated vsize: 27300 KiB
Current children cumulated memory: 4120 KiB

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/188 31767
/proc/meminfo: memFree=31730612/32770624 swapFree=67108860/67108860
[pid=31711] ppid=31708 vsize=27300 memory=4120 CPUtime=1782.3 cores=1,3,5,7
/proc/31711/stat : 31711 (cosoco) R 31708 31711 30973 0 -1 4202496 6427 0 0 0 178230 0 0 0 20 0 1 0 93643401 27955200 1030 33554432000 4194304 5748600 140730926470384 140730926467784 4873464 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7849824 7854664 23887872 140730926478527 140730926478622 140730926478622 140730926481358 0
/proc/31711/statm: 6825 1030 815 380 0 243 0
Current children cumulated CPU time: 1782.3 s
Current children cumulated vsize: 27300 KiB
Current children cumulated memory: 4120 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/188 31768
/proc/meminfo: memFree=31730356/32770624 swapFree=67108860/67108860
[pid=31711] ppid=31708 vsize=27300 memory=4120 CPUtime=1842.31 cores=1,3,5,7
/proc/31711/stat : 31711 (cosoco) R 31708 31711 30973 0 -1 4202496 6563 0 0 0 184231 0 0 0 20 0 1 0 93643401 27955200 1030 33554432000 4194304 5748600 140730926470384 140730926467784 4920181 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7849824 7854664 23887872 140730926478527 140730926478622 140730926478622 140730926481358 0
/proc/31711/statm: 6825 1030 815 380 0 243 0
Current children cumulated CPU time: 1842.31 s
Current children cumulated vsize: 27300 KiB
Current children cumulated memory: 4120 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/188 31769
/proc/meminfo: memFree=31730612/32770624 swapFree=67108860/67108860
[pid=31711] ppid=31708 vsize=27300 memory=4120 CPUtime=1902.31 cores=1,3,5,7
/proc/31711/stat : 31711 (cosoco) R 31708 31711 30973 0 -1 4202496 6700 0 0 0 190231 0 0 0 20 0 1 0 93643401 27955200 1030 33554432000 4194304 5748600 140730926470384 140730926467784 4873472 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7849824 7854664 23887872 140730926478527 140730926478622 140730926478622 140730926481358 0
/proc/31711/statm: 6825 1030 815 380 0 243 0
Current children cumulated CPU time: 1902.31 s
Current children cumulated vsize: 27300 KiB
Current children cumulated memory: 4120 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/188 31770
/proc/meminfo: memFree=31730720/32770624 swapFree=67108860/67108860
[pid=31711] ppid=31708 vsize=27300 memory=4120 CPUtime=1962.31 cores=1,3,5,7
/proc/31711/stat : 31711 (cosoco) R 31708 31711 30973 0 -1 4202496 6853 0 0 0 196231 0 0 0 20 0 1 0 93643401 27955200 1030 33554432000 4194304 5748600 140730926470384 140730926467784 4906277 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7849824 7854664 23887872 140730926478527 140730926478622 140730926478622 140730926481358 0
/proc/31711/statm: 6825 1030 815 380 0 243 0
Current children cumulated CPU time: 1962.31 s
Current children cumulated vsize: 27300 KiB
Current children cumulated memory: 4120 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/188 31771
/proc/meminfo: memFree=31730828/32770624 swapFree=67108860/67108860
[pid=31711] ppid=31708 vsize=27300 memory=4120 CPUtime=2022.31 cores=1,3,5,7
/proc/31711/stat : 31711 (cosoco) R 31708 31711 30973 0 -1 4202496 6991 0 0 0 202231 0 0 0 20 0 1 0 93643401 27955200 1030 33554432000 4194304 5748600 140730926470384 140730926467784 5000323 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7849824 7854664 23887872 140730926478527 140730926478622 140730926478622 140730926481358 0
/proc/31711/statm: 6825 1030 815 380 0 243 0
Current children cumulated CPU time: 2022.31 s
Current children cumulated vsize: 27300 KiB
Current children cumulated memory: 4120 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 31772
/proc/meminfo: memFree=31730820/32770624 swapFree=67108860/67108860
[pid=31711] ppid=31708 vsize=27300 memory=4120 CPUtime=2082.31 cores=1,3,5,7
/proc/31711/stat : 31711 (cosoco) R 31708 31711 30973 0 -1 4202496 7144 0 0 0 208231 0 0 0 20 0 1 0 93643401 27955200 1030 33554432000 4194304 5748600 140730926470384 140730926467784 5140177 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7849824 7854664 23887872 140730926478527 140730926478622 140730926478622 140730926481358 0
/proc/31711/statm: 6825 1030 815 380 0 243 0
Current children cumulated CPU time: 2082.31 s
Current children cumulated vsize: 27300 KiB
Current children cumulated memory: 4120 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 31773
/proc/meminfo: memFree=31730688/32770624 swapFree=67108860/67108860
[pid=31711] ppid=31708 vsize=27300 memory=4120 CPUtime=2142.31 cores=1,3,5,7
/proc/31711/stat : 31711 (cosoco) R 31708 31711 30973 0 -1 4202496 7281 0 0 0 214231 0 0 0 20 0 1 0 93643401 27955200 1030 33554432000 4194304 5748600 140730926470384 140730926467784 5128176 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7849824 7854664 23887872 140730926478527 140730926478622 140730926478622 140730926481358 0
/proc/31711/statm: 6825 1030 815 380 0 243 0
Current children cumulated CPU time: 2142.31 s
Current children cumulated vsize: 27300 KiB
Current children cumulated memory: 4120 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 31774
/proc/meminfo: memFree=31730548/32770624 swapFree=67108860/67108860
[pid=31711] ppid=31708 vsize=27300 memory=4120 CPUtime=2202.31 cores=1,3,5,7
/proc/31711/stat : 31711 (cosoco) R 31708 31711 30973 0 -1 4202496 7419 0 0 0 220231 0 0 0 20 0 1 0 93643401 27955200 1030 33554432000 4194304 5748600 140730926470384 140730926467784 4873244 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7849824 7854664 23887872 140730926478527 140730926478622 140730926478622 140730926481358 0
/proc/31711/statm: 6825 1030 815 380 0 243 0
Current children cumulated CPU time: 2202.31 s
Current children cumulated vsize: 27300 KiB
Current children cumulated memory: 4120 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 31775
/proc/meminfo: memFree=31730532/32770624 swapFree=67108860/67108860
[pid=31711] ppid=31708 vsize=27300 memory=4120 CPUtime=2262.31 cores=1,3,5,7
/proc/31711/stat : 31711 (cosoco) R 31708 31711 30973 0 -1 4202496 7572 0 0 0 226231 0 0 0 20 0 1 0 93643401 27955200 1030 33554432000 4194304 5748600 140730926470384 140730926467784 5122697 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7849824 7854664 23887872 140730926478527 140730926478622 140730926478622 140730926481358 0
/proc/31711/statm: 6825 1030 815 380 0 243 0
Current children cumulated CPU time: 2262.31 s
Current children cumulated vsize: 27300 KiB
Current children cumulated memory: 4120 KiB

[startup+2322.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/188 31845
/proc/meminfo: memFree=31675572/32770624 swapFree=67108860/67108860
[pid=31711] ppid=31708 vsize=27300 memory=4120 CPUtime=2322.31 cores=1,3,5,7
/proc/31711/stat : 31711 (cosoco) R 31708 31711 30973 0 -1 4202496 7710 0 0 0 232231 0 0 0 20 0 1 0 93643401 27955200 1030 33554432000 4194304 5748600 140730926470384 140730926467784 4873514 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7849824 7854664 23887872 140730926478527 140730926478622 140730926478622 140730926481358 0
/proc/31711/statm: 6825 1030 815 380 0 243 0
Current children cumulated CPU time: 2322.31 s
Current children cumulated vsize: 27300 KiB
Current children cumulated memory: 4120 KiB

[startup+2382.3 s]
/proc/loadavg: 2.03 2.02 2.05 3/188 31846
/proc/meminfo: memFree=31676164/32770624 swapFree=67108860/67108860
[pid=31711] ppid=31708 vsize=27300 memory=4120 CPUtime=2382.31 cores=1,3,5,7
/proc/31711/stat : 31711 (cosoco) R 31708 31711 30973 0 -1 4202496 7848 0 0 0 238231 0 0 0 20 0 1 0 93643401 27955200 1030 33554432000 4194304 5748600 140730926470384 140730926467784 4920228 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7849824 7854664 23887872 140730926478527 140730926478622 140730926478622 140730926481358 0
/proc/31711/statm: 6825 1030 815 380 0 243 0
Current children cumulated CPU time: 2382.31 s
Current children cumulated vsize: 27300 KiB
Current children cumulated memory: 4120 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2400 s]*
/proc/loadavg: 2.02 2.02 2.05 3/188 31846
/proc/meminfo: memFree=31676712/32770624 swapFree=67108860/67108860
[pid=31711] ppid=31708 vsize=27300 memory=4120 CPUtime=2400.02 cores=1,3,5,7
/proc/31711/stat : 31711 (cosoco) R 31708 31711 30973 0 -1 4202496 7985 0 0 0 240002 0 0 0 20 0 1 0 93643401 27955200 1030 33554432000 4194304 5748600 140730926470384 140730926467784 4920135 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7849824 7854664 23887872 140730926478527 140730926478622 140730926478622 140730926481358 0
/proc/31711/statm: 6825 1030 815 380 0 243 0
Current children cumulated CPU time: 2400.02 s
Current children cumulated vsize: 27300 KiB
Current children cumulated memory: 4120 KiB

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

[startup+2400.01 s]
# the end of solver process 31711 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2400.02 s, system=0.004 s

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

Child status: 1
Real time (s): 2400.01
CPU time (s): 2400.03
CPU user time (s): 2400.02
CPU system time (s): 0.004
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 27300
Max. memory (cumulated for all children) (KiB): 4120

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400.02
system time used= 0.004
maximum resident set size= 4184
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8034
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= 10
involuntary context switches= 642


# summary of solver processes directly reported to runsolver:
#   pid: 31711
#   total CPU time (s): 2400.03
#   total CPU user time (s): 2400.02
#   total CPU system time (s): 0.004

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.52552 second user time and 14.6466 second system time

The end

Launcher Data 

Begin job on node103 at 2017-08-13 08:11:33
IDJOB=4267297
IDBENCH=124374
IDSOLVER=2657
FILE ID=node103/4267297-1502605552
RUNJOBID= node103-1502602184-31005
PBS_JOBID= 20628296
Free space on /tmp= 61792 MiB

SOLVER NAME= cosoco-mini 1.12
BENCH NAME= XCSP17/Langford/Langford-m2-s1/LangfordBin-30.xml
COMMAND LINE= cosoco -lc -model -restarts BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4267297-1502605552/watcher-4267297-1502605552 -o /tmp/evaluation-result-4267297-1502605552/solver-4267297-1502605552 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node103-1502602184-31005 --watchdog 2560  cosoco -lc -model -restarts HOME/instance-4267297-1502605552.xml

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

MD5SUM BENCH= cfab102c91084e040090bf0c1bc6cb0b
RANDOM SEED=332907823

node103.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.56
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.56
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.56
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.56
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:        31732044 kB
MemAvailable:   31993356 kB
Buffers:           83884 kB
Cached:           472204 kB
SwapCached:            0 kB
Active:           489612 kB
Inactive:         123524 kB
Active(anon):       6076 kB
Inactive(anon):    78896 kB
Active(file):     483536 kB
Inactive(file):    44628 kB
Unevictable:        6412 kB
Mlocked:            6412 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              1952 kB
Writeback:             0 kB
AnonPages:         63332 kB
Mapped:            44744 kB
Shmem:             25228 kB
Slab:             123188 kB
SReclaimable:      97964 kB
SUnreclaim:        25224 kB
KernelStack:        3376 kB
PageTables:         5264 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     353324 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      8192 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      114048 kB
DirectMap2M:    33431552 kB

Free space on /tmp at the end= 61788 MiB
End job on node103 at 2017-08-13 08:51:33