Trace number 4295486

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

General information on the benchmark

NameMagicHexagon/
MagicHexagon-07-0002_c18.xml
MD5SUMd84d4d85366018deec6903098e084e8b
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 variables169
Number of constraints46
Number of domains1
Minimum domain size127
Maximum domain size127
Distribution of domain sizes[{"size":127,"count":127}]
Minimum variable degree0
Maximum variable degree9
Distribution of variable degrees[{"degree":0,"count":42},{"degree":4,"count":121},{"degree":5,"count":3},{"degree":6,"count":2},{"degree":9,"count":1}]
Minimum constraint arity2
Maximum constraint arity127
Distribution of constraint arities[{"arity":2,"count":6},{"arity":7,"count":6},{"arity":8,"count":6},{"arity":9,"count":6},{"arity":10,"count":6},{"arity":11,"count":6},{"arity":12,"count":6},{"arity":13,"count":3},{"arity":127,"count":1}]
Number of extensional constraints0
Number of intensional constraints6
Distribution of constraint types[{"type":"intension","count":6},{"type":"allDifferent","count":1},{"type":"sum","count":39}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.01	c root propagations     : 9           
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-4295486-1532553371.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: 169
0.00/0.01	c |            Domain Sizes: 127..127
0.00/0.01	c |
0.00/0.01	c |             Constraints: 46
0.00/0.01	c |                   Arity: 2..127  -- Binary: 6
0.00/0.01	c | 
0.00/0.01	c |                   Types: 
0.00/0.01	c |                          (X - Y < k): 6
0.00/0.01	c |                          All Different: 1
0.00/0.01	c |                          Sum: 39
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 remove useless variable x[0][7]
0.00/0.01	c remove useless variable x[0][8]
0.00/0.01	c remove useless variable x[0][9]
0.00/0.01	c remove useless variable x[0][10]
0.00/0.01	c remove useless variable x[0][11]
0.00/0.01	c remove useless variable x[0][12]
0.00/0.01	c remove useless variable x[1][8]
0.00/0.01	c remove useless variable x[1][9]
0.00/0.01	c remove useless variable x[1][10]
0.00/0.01	c remove useless variable x[1][11]
0.00/0.01	c remove useless variable x[1][12]
0.00/0.01	c remove useless variable x[2][9]
0.00/0.01	c remove useless variable x[2][10]
0.00/0.01	c remove useless variable x[2][11]
0.00/0.01	c remove useless variable x[2][12]
0.00/0.01	c remove useless variable x[3][10]
0.00/0.01	c remove useless variable x[3][11]
0.00/0.01	c remove useless variable x[3][12]
0.00/0.01	c remove useless variable x[4][11]
0.00/0.01	c remove useless variable x[4][12]
0.00/0.01	c remove useless variable x[5][12]
0.00/0.01	c remove useless variable x[7][12]
0.00/0.01	c remove useless variable x[8][11]
0.00/0.01	c remove useless variable x[8][12]
0.00/0.01	c remove useless variable x[9][10]
0.00/0.01	c remove useless variable x[9][11]
0.00/0.01	c remove useless variable x[9][12]
0.00/0.01	c remove useless variable x[10][9]
0.00/0.01	c remove useless variable x[10][10]
0.00/0.01	c remove useless variable x[10][11]
0.00/0.01	c remove useless variable x[10][12]
0.00/0.01	c remove useless variable x[11][8]
0.00/0.01	c remove useless variable x[11][9]
0.00/0.01	c remove useless variable x[11][10]
0.00/0.01	c remove useless variable x[11][11]
0.00/0.01	c remove useless variable x[11][12]
0.00/0.01	c remove useless variable x[12][7]
0.00/0.01	c remove useless variable x[12][8]
0.00/0.01	c remove useless variable x[12][9]
0.00/0.01	c remove useless variable x[12][10]
0.00/0.01	c remove useless variable x[12][11]
0.00/0.01	c remove useless variable x[12][12]
0.00/0.03	c 101            144            2980           21626          6              0              3   10   5     
0.00/0.05	c 211            299            5937           42988          6              0              3   10   5     
0.00/0.08	c 332            482            9282           70405          6              0              3   11   5     
0.00/0.10	c 465            664            12548          98923          6              0              3   11   7     
0.10/0.13	c 611            888            16509          127505         6              0              3   11   6     
0.10/0.16	c 771            1107           20388          160409         6              0              3   11   8     
0.10/0.20	c 947            1373           25047          195784         6              0              3   11   6     
0.20/0.23	c 1140           1641           29933          237021         6              0              3   11   8     
0.20/0.27	c 1352           1960           35471          282689         6              0              3   16   7     
0.30/0.32	c 1585           2268           41424          337184         6              0              4   12   8     
0.30/0.37	c 1841           2628           48113          393261         6              0              3   11   9     
0.40/0.42	c 2122           3035           54935          451317         6              0              3   18   9     
0.40/0.48	c 2431           3447           62787          526848         6              0              4   12   9     
0.50/0.54	c 2770           3920           71446          597096         6              0              3   11   9     
0.60/0.61	c 3142           4455           80448          674382         6              0              3   18   11    
0.60/0.68	c 3551           5002           90531          771492         6              0              4   12   9     
0.69/0.77	c 4000           5624           101631         863600         6              0              3   17   10    
0.89/0.90	c 4493           6336           114294         1043261        6              0              4   18   8     
0.89/1.00	c 5035           7076           128182         1176799        6              0              4   12   10    
1.10/1.11	c 5631           7903           142750         1297736        6              0              3   17   11    
1.19/1.27	c 6286           8839           159326         1507397        6              0              4   18   10    
1.39/1.41	c 7006           9810           177206         1701371        6              0              4   15   10    
1.49/1.59	c 7798           10944          197516         1945733        6              0              4   23   12    
1.69/1.79	c 8669           12184          219307         2197780        6              0              4   28   13    
1.89/1.98	c 9627           13411          237899         2494446        6              0              4   13   10    
2.10/2.16	c 10680          14868          262411         2701135        6              0              3   29   16    
2.29/2.38	c 11838          16502          291615         2978409        6              0              4   23   14    
2.69/2.71	c 13111          18275          323443         3447945        6              0              4   13   11    
3.00/3.02	c 14511          20213          356202         3877450        6              0              3   13   10    
3.29/3.38	c 16051          22358          392985         4354473        6              0              3   13   10    
3.69/3.76	c 17745          24711          433470         4867161        6              0              3   13   10    
4.00/4.06	c 19608          27257          474211         5258555        6              0              2   62   26    
4.39/4.45	c 21657          30164          531282         5715947        6              0              4   85   36    
4.79/4.86	c 23910          33364          583511         6178079        6              0              4   53   30    
5.29/5.30	c 26388          36873          639513         6662622        6              0              4   77   34    
5.69/5.77	c 29113          40765          701509         7202136        6              0              4   66   36    
6.19/6.27	c 32110          45020          771932         7758729        6              0              4   98   42    
6.79/6.81	c 35406          49803          845477         8368013        6              0              4   66   41    
7.39/7.42	c 39031          54899          939202         9056669        6              0              4   89   51    
7.99/8.04	c 43018          60662          1024796        9794494        6              0              4   66   45    
8.79/8.86	c 47403          67530          1132674        10713149       6              0              4   62   39    
9.49/9.57	c 52226          74226          1246305        11540539       6              0              4   84   57    
10.59/10.66	c 57531          82186          1388685        13164421       6              0              4   59   48    
11.79/11.85	c 63366          91201          1539924        14565705       6              0              4   36   31    
12.89/12.95	c 69784          100003         1740130        15970086       6              0              4   81   62    
13.99/14.09	c 76843          109785         1894558        17235550       6              0              4   37   32    
15.19/15.25	c 84607          120943         2047698        18513037       6              0              4   36   31    
17.19/17.28	c 93147          132628         2406168        21300736       6              0              4   79   52    
18.79/18.84	c 102541         145895         2672574        24093415       6              0              4   65   55    
21.29/21.35	c 112874         158916         3103098        29478992       6              0              4   75   52    
23.29/23.36	c 124240         173664         3432043        32329407       6              0              4   75   54    
27.09/27.13	c 136742         194184         4122770        39586132       6              0              4   75   64    
29.09/29.15	c 150494         210729         4461983        43504954       6              0              3   81   72    
33.10/33.16	c 165621         236856         5151707        49584962       6              0              4   79   66    
36.19/36.28	c 182260         259919         5651042        53528193       6              0              4   71   50    
40.69/40.74	c 200562         291358         6229242        61304863       6              0              4   52   47    
45.69/45.70	c 220694         326571         7076244        67960984       6              0              4   68   57    
50.89/50.91	c 242839         365455         8123258        74510695       6              0              4   91   78    
56.89/56.96	c 267198         400775         9406668        81945874       6              0              4   97   82    
65.69/65.71	c 293992         441973         11073707       93658901       6              0              4   95   81    
70.00/70.08	c 323465         478281         11848077       101225929      6              0              4   60   57    
77.89/77.97	c 355885         521296         13410110       112443182      6              0              4   76   69    
87.39/87.41	c 391547         577280         15435378       124884824      6              0              4   83   68    
95.00/95.03	c 430775         630308         16806309       138985911      6              0              3   62   55    
104.69/104.71	c 473925         700022         18490353       151720492      6              0              3   76   70    
124.00/124.04	c 521390         802587         21735296       179274543      6              0              5   54   51    
134.29/134.31	c 573601         876269         23819031       192762033      6              0              3   79   70    
146.89/146.92	c 631033         956803         26418348       209100933      6              0              3   71   68    
163.19/163.22	c 694208         1072458        29345099       233467633      6              0              4   74   64    
183.69/183.79	c 763700         1188245        33098424       277767127      6              0              3   86   82    
201.69/201.70	c 840141         1294998        36538650       310660766      6              0              4   83   76    
226.29/226.37	c 924226         1393154        40597994       380115248      6              0              4   78   73    
290.39/290.44	c 1016719        1539654        51141297       511348530      6              0              6   60   45    
329.59/329.68	c 1118461        1687577        58094312       588131782      6              0              5   68   60    
362.89/362.99	c 1230377        1810856        64855713       674137840      6              0              5   59   51    
401.79/401.89	c 1353484        2011918        69968966       774009337      6              0              6   51   40    
441.00/441.04	c 1488901        2171668        76675005       910164386      6              0              13   58   56   
480.70/480.76	c 1637859        2373878        83847437       970369968      6              0              16   53   48   
507.70/507.78	c 1801712        2607354        87206476       1006184030     6              0              12   31   29   
536.20/536.21	c 1981950        2876966        91745134       1051191305     6              0              4   67   62    
582.30/582.36	c 2180211        3215036        97383614       1111134166     6              0              10   17   16   
612.01/612.08	c 2398298        3474435        102399824      1171057951     6              0              4   53   51    
682.40/682.47	c 2638193        3905185        114695350      1293566795     6              0              5   71   67    
728.11/728.14	c 2902077        4243669        122421150      1357399576     6              0              6   59   55    
809.20/809.21	c 3192349        4679832        138002708      1476690139     6              0              7   85   74    
859.80/859.89	c 3511648        5083711        146216600      1561946511     6              0              7   58   51    
902.90/902.95	c 3862876        5535970        152282574      1633105064     6              0              7   50   45    
945.51/945.56	c 4249226        6035559        158790433      1702419514     6              0              7   67   57    
1005.12/1005.19	c 4674211        6597673        166683585      1798713977     6              0              8   58   41    
1073.51/1073.59	c 5141694        7256943        175609666      1904998938     6              0              8   42   36    
1139.21/1139.22	c 5655925        7923024        184223056      2014369713     6              0              8   39   37    
1211.02/1211.02	c 6221579        8637664        194434930      2135788933     6              0              4   38   36    
1293.21/1293.29	c 6843798        9506915        206147728      2240251091     6              0              5   50   48    
1400.31/1400.32	c 7528238        10483151       220248562      2425098917     6              0              7   47   41    
1518.22/1518.28	c 8281122        11505049       239607321      2599943404     6              0              6   74   53    
1628.92/1628.93	c 9109294        12571100       255093149      2764242311     6              0              6   55   50    
1740.22/1740.20	c 10020283       13693681       268830506      2963016620     6              0              7   37   36    
2159.23/2159.26	c 11022370       15350394       334155470      4037872392     6              0              3   70   68    
2519.05/2519.04	c 12124665       17083718       405514851      4484830488     6              0              7   90   85    
2520.05/2520.00	
2520.05/2520.00	c *** INTERRUPTED ***
2520.05/2520.00	c restarts              : 99          
2520.05/2520.00	c conflicts             : 12131593     (4814 /sec)
2520.05/2520.00	c decisions             : 17092876     (6783 /sec)
2520.05/2520.00	c propagations          : 4485906253  (1780085 /sec)
2520.05/2520.00	c root propagations     : 9           
2520.05/2520.00	c filter calls          : 405654288      (160971 /sec)
2520.05/2520.00	c useless filter calls  : 287109595      (70 %)
2520.05/2520.00	c Memory used           : 26.91 MB
2520.05/2520.00	c CPU time              : 2520.05 s
2520.05/2520.00	
2520.05/2520.00	s UNKNOWN

Verifier Data


Watcher Data 

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

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

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4295486-1532553371/watcher-4295486-1532553371 -o /tmp/evaluation-result-4295486-1532553371/solver-4295486-1532553371 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node149-1532542931-30488 --watchdog 2580 HOME/cosoco -lc -model -restarts HOME/instance-4295486-1532553371.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
solver pid=32575, runsolver pid=32572
Current StackSize limit: 8192 KiB


[startup+0.100718 s]*
/proc/loadavg: 2.02 2.05 2.05 3/187 32576
/proc/meminfo: memFree=21831104/32770624 swapFree=67108860/67108860
[pid=32575] ppid=32572 vsize=27556 memory=4200 CPUtime=0.1 cores=1,3,5,7
/proc/32575/stat : 32575 (cosoco) R 32572 32575 30456 0 -1 4202496 1209 0 0 0 10 0 0 0 20 0 1 0 72900342 28217344 1050 33554432000 4194304 6142532 140734561941744 140734561939144 5131312 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 10272768 140734561944710 140734561944840 140734561944840 140734561947598 0
/proc/32575/statm: 6889 1050 876 476 0 211 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27556 KiB
Current children cumulated memory: 4200 KiB

[startup+0.209482 s]*
/proc/loadavg: 2.02 2.05 2.05 3/187 32576
/proc/meminfo: memFree=21831104/32770624 swapFree=67108860/67108860
[pid=32575] ppid=32572 vsize=27556 memory=4200 CPUtime=0.2 cores=1,3,5,7
/proc/32575/stat : 32575 (cosoco) R 32572 32575 30456 0 -1 4202496 1209 0 0 0 20 0 0 0 20 0 1 0 72900342 28217344 1050 33554432000 4194304 6142532 140734561941744 140734561939144 5058000 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 10272768 140734561944710 140734561944840 140734561944840 140734561947598 0
/proc/32575/statm: 6889 1050 876 476 0 211 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 27556 KiB
Current children cumulated memory: 4200 KiB

[startup+0.308911 s]*
/proc/loadavg: 2.02 2.05 2.05 3/187 32576
/proc/meminfo: memFree=21830884/32770624 swapFree=67108860/67108860
[pid=32575] ppid=32572 vsize=27556 memory=4200 CPUtime=0.3 cores=1,3,5,7
/proc/32575/stat : 32575 (cosoco) R 32572 32575 30456 0 -1 4202496 1209 0 0 0 30 0 0 0 20 0 1 0 72900342 28217344 1050 33554432000 4194304 6142532 140734561941744 140734561939144 5058259 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 10272768 140734561944710 140734561944840 140734561944840 140734561947598 0
/proc/32575/statm: 6889 1050 876 476 0 211 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 27556 KiB
Current children cumulated memory: 4200 KiB

[startup+0.700269 s]
/proc/loadavg: 2.02 2.05 2.05 3/187 32576
/proc/meminfo: memFree=21830916/32770624 swapFree=67108860/67108860
[pid=32575] ppid=32572 vsize=27556 memory=4200 CPUtime=0.69 cores=1,3,5,7
/proc/32575/stat : 32575 (cosoco) R 32572 32575 30456 0 -1 4202496 1209 0 0 0 69 0 0 0 20 0 1 0 72900342 28217344 1050 33554432000 4194304 6142532 140734561941744 140734561939144 5133003 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 10272768 140734561944710 140734561944840 140734561944840 140734561947598 0
/proc/32575/statm: 6889 1050 876 476 0 211 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 27556 KiB
Current children cumulated memory: 4200 KiB

[startup+1.50027 s]
/proc/loadavg: 2.02 2.05 2.05 3/187 32576
/proc/meminfo: memFree=21830932/32770624 swapFree=67108860/67108860
[pid=32575] ppid=32572 vsize=27556 memory=4200 CPUtime=1.49 cores=1,3,5,7
/proc/32575/stat : 32575 (cosoco) R 32572 32575 30456 0 -1 4202496 1209 0 0 0 149 0 0 0 20 0 1 0 72900342 28217344 1050 33554432000 4194304 6142532 140734561941744 140734561939144 5130938 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 10272768 140734561944710 140734561944840 140734561944840 140734561947598 0
/proc/32575/statm: 6889 1050 876 476 0 211 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 27556 KiB
Current children cumulated memory: 4200 KiB

[startup+3.109 s]
/proc/loadavg: 2.02 2.05 2.05 3/187 32576
/proc/meminfo: memFree=21830824/32770624 swapFree=67108860/67108860
[pid=32575] ppid=32572 vsize=27556 memory=4212 CPUtime=3.1 cores=1,3,5,7
/proc/32575/stat : 32575 (cosoco) R 32572 32575 30456 0 -1 4202496 1317 0 0 0 310 0 0 0 20 0 1 0 72900342 28217344 1053 33554432000 4194304 6142532 140734561941744 140734561939144 5060745 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 10272768 140734561944710 140734561944840 140734561944840 140734561947598 0
/proc/32575/statm: 6889 1053 878 476 0 211 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 27556 KiB
Current children cumulated memory: 4212 KiB

[startup+6.30026 s]
/proc/loadavg: 2.02 2.05 2.05 3/187 32576
/proc/meminfo: memFree=21830872/32770624 swapFree=67108860/67108860
[pid=32575] ppid=32572 vsize=27556 memory=4212 CPUtime=6.29 cores=1,3,5,7
/proc/32575/stat : 32575 (cosoco) R 32572 32575 30456 0 -1 4202496 1438 0 0 0 629 0 0 0 20 0 1 0 72900342 28217344 1053 33554432000 4194304 6142532 140734561941744 140734561939144 5058182 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 10272768 140734561944710 140734561944840 140734561944840 140734561947598 0
/proc/32575/statm: 6889 1053 878 476 0 211 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 27556 KiB
Current children cumulated memory: 4212 KiB

[startup+12.7003 s]
/proc/loadavg: 2.01 2.05 2.05 3/187 32576
/proc/meminfo: memFree=21831128/32770624 swapFree=67108860/67108860
[pid=32575] ppid=32572 vsize=27556 memory=4248 CPUtime=12.69 cores=1,3,5,7
/proc/32575/stat : 32575 (cosoco) R 32572 32575 30456 0 -1 4202496 1556 0 0 0 1269 0 0 0 20 0 1 0 72900342 28217344 1062 33554432000 4194304 6142532 140734561941744 140734561939144 5131364 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 10272768 140734561944710 140734561944840 140734561944840 140734561947598 0
/proc/32575/statm: 6889 1062 878 476 0 211 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 27556 KiB
Current children cumulated memory: 4248 KiB

[startup+25.5003 s]
/proc/loadavg: 2.01 2.04 2.05 3/187 32576
/proc/meminfo: memFree=21831376/32770624 swapFree=67108860/67108860
[pid=32575] ppid=32572 vsize=27556 memory=4248 CPUtime=25.49 cores=1,3,5,7
/proc/32575/stat : 32575 (cosoco) R 32572 32575 30456 0 -1 4202496 1792 0 0 0 2549 0 0 0 20 0 1 0 72900342 28217344 1062 33554432000 4194304 6142532 140734561941744 140734561939144 5058199 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 10272768 140734561944710 140734561944840 140734561944840 140734561947598 0
/proc/32575/statm: 6889 1062 878 476 0 211 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 27556 KiB
Current children cumulated memory: 4248 KiB

[startup+51.1091 s]
/proc/loadavg: 2.01 2.04 2.05 3/187 32576
/proc/meminfo: memFree=21831624/32770624 swapFree=67108860/67108860
[pid=32575] ppid=32572 vsize=27556 memory=4248 CPUtime=51.1 cores=1,3,5,7
/proc/32575/stat : 32575 (cosoco) R 32572 32575 30456 0 -1 4202496 1912 0 0 0 5110 0 0 0 20 0 1 0 72900342 28217344 1062 33554432000 4194304 6142532 140734561941744 140734561939144 5057941 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 10272768 140734561944710 140734561944840 140734561944840 140734561947598 0
/proc/32575/statm: 6889 1062 878 476 0 211 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 27556 KiB
Current children cumulated memory: 4248 KiB

[startup+102.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/187 32577
/proc/meminfo: memFree=21831544/32770624 swapFree=67108860/67108860
[pid=32575] ppid=32572 vsize=27556 memory=4248 CPUtime=102.29 cores=1,3,5,7
/proc/32575/stat : 32575 (cosoco) R 32572 32575 30456 0 -1 4202496 2032 0 0 0 10229 0 0 0 20 0 1 0 72900342 28217344 1062 33554432000 4194304 6142532 140734561941744 140734561939144 5058268 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 10272768 140734561944710 140734561944840 140734561944840 140734561947598 0
/proc/32575/statm: 6889 1062 878 476 0 211 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 27556 KiB
Current children cumulated memory: 4248 KiB

[startup+162.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 32578
/proc/meminfo: memFree=21831784/32770624 swapFree=67108860/67108860
[pid=32575] ppid=32572 vsize=27556 memory=4252 CPUtime=162.29 cores=1,3,5,7
/proc/32575/stat : 32575 (cosoco) R 32572 32575 30456 0 -1 4202496 2152 0 0 0 16229 0 0 0 20 0 1 0 72900342 28217344 1063 33554432000 4194304 6142532 140734561941744 140734561939144 5131322 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 10272768 140734561944710 140734561944840 140734561944840 140734561947598 0
/proc/32575/statm: 6889 1063 878 476 0 211 0
Current children cumulated CPU time: 162.29 s
Current children cumulated vsize: 27556 KiB
Current children cumulated memory: 4252 KiB

[startup+222.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 32579
/proc/meminfo: memFree=21831720/32770624 swapFree=67108860/67108860
[pid=32575] ppid=32572 vsize=27556 memory=4252 CPUtime=222.29 cores=1,3,5,7
/proc/32575/stat : 32575 (cosoco) R 32572 32575 30456 0 -1 4202496 2272 0 0 0 22229 0 0 0 20 0 1 0 72900342 28217344 1063 33554432000 4194304 6142532 140734561941744 140734561939144 5053536 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 10272768 140734561944710 140734561944840 140734561944840 140734561947598 0
/proc/32575/statm: 6889 1063 878 476 0 211 0
Current children cumulated CPU time: 222.29 s
Current children cumulated vsize: 27556 KiB
Current children cumulated memory: 4252 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/188 32588
/proc/meminfo: memFree=21831256/32770624 swapFree=67108860/67108860
[pid=32575] ppid=32572 vsize=27556 memory=4252 CPUtime=282.29 cores=1,3,5,7
/proc/32575/stat : 32575 (cosoco) R 32572 32575 30456 0 -1 4202496 2372 0 0 0 28229 0 0 0 20 0 1 0 72900342 28217344 1063 33554432000 4194304 6142532 140734561941744 140734561939144 5058568 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 10272768 140734561944710 140734561944840 140734561944840 140734561947598 0
/proc/32575/statm: 6889 1063 878 476 0 211 0
Current children cumulated CPU time: 282.29 s
Current children cumulated vsize: 27556 KiB
Current children cumulated memory: 4252 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 32589
/proc/meminfo: memFree=21831392/32770624 swapFree=67108860/67108860
[pid=32575] ppid=32572 vsize=27556 memory=4252 CPUtime=342.29 cores=1,3,5,7
/proc/32575/stat : 32575 (cosoco) R 32572 32575 30456 0 -1 4202496 2512 0 0 0 34229 0 0 0 20 0 1 0 72900342 28217344 1063 33554432000 4194304 6142532 140734561941744 140734561939144 5053673 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 10272768 140734561944710 140734561944840 140734561944840 140734561947598 0
/proc/32575/statm: 6889 1063 878 476 0 211 0
Current children cumulated CPU time: 342.29 s
Current children cumulated vsize: 27556 KiB
Current children cumulated memory: 4252 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 32651
/proc/meminfo: memFree=21830456/32770624 swapFree=67108860/67108860
[pid=32575] ppid=32572 vsize=27556 memory=4252 CPUtime=402.29 cores=1,3,5,7
/proc/32575/stat : 32575 (cosoco) R 32572 32575 30456 0 -1 4202496 2632 0 0 0 40229 0 0 0 20 0 1 0 72900342 28217344 1063 33554432000 4194304 6142532 140734561941744 140734561939144 5131364 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 10272768 140734561944710 140734561944840 140734561944840 140734561947598 0
/proc/32575/statm: 6889 1063 878 476 0 211 0
Current children cumulated CPU time: 402.29 s
Current children cumulated vsize: 27556 KiB
Current children cumulated memory: 4252 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 32652
/proc/meminfo: memFree=21830228/32770624 swapFree=67108860/67108860
[pid=32575] ppid=32572 vsize=27556 memory=4252 CPUtime=462.3 cores=1,3,5,7
/proc/32575/stat : 32575 (cosoco) R 32572 32575 30456 0 -1 4202496 2752 0 0 0 46230 0 0 0 20 0 1 0 72900342 28217344 1063 33554432000 4194304 6142532 140734561941744 140734561939144 5131364 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 10272768 140734561944710 140734561944840 140734561944840 140734561947598 0
/proc/32575/statm: 6889 1063 878 476 0 211 0
Current children cumulated CPU time: 462.3 s
Current children cumulated vsize: 27556 KiB
Current children cumulated memory: 4252 KiB


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

/proc/32575/statm: 6889 1064 878 476 0 211 0
Current children cumulated CPU time: 1722.32 s
Current children cumulated vsize: 27556 KiB
Current children cumulated memory: 4256 KiB

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 32691
/proc/meminfo: memFree=21828560/32770624 swapFree=67108860/67108860
[pid=32575] ppid=32572 vsize=27556 memory=4256 CPUtime=1782.32 cores=1,3,5,7
/proc/32575/stat : 32575 (cosoco) R 32572 32575 30456 0 -1 4202496 5304 0 0 0 178232 0 0 0 20 0 1 0 72900342 28217344 1064 33554432000 4194304 6142532 140734561941744 140734561939144 5054961 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 10272768 140734561944710 140734561944840 140734561944840 140734561947598 0
/proc/32575/statm: 6889 1064 878 476 0 211 0
Current children cumulated CPU time: 1782.32 s
Current children cumulated vsize: 27556 KiB
Current children cumulated memory: 4256 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 32692
/proc/meminfo: memFree=21828952/32770624 swapFree=67108860/67108860
[pid=32575] ppid=32572 vsize=27556 memory=4256 CPUtime=1842.32 cores=1,3,5,7
/proc/32575/stat : 32575 (cosoco) R 32572 32575 30456 0 -1 4202496 5407 0 0 0 184232 0 0 0 20 0 1 0 72900342 28217344 1064 33554432000 4194304 6142532 140734561941744 140734561939144 5131346 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 10272768 140734561944710 140734561944840 140734561944840 140734561947598 0
/proc/32575/statm: 6889 1064 878 476 0 211 0
Current children cumulated CPU time: 1842.32 s
Current children cumulated vsize: 27556 KiB
Current children cumulated memory: 4256 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 32693
/proc/meminfo: memFree=21828728/32770624 swapFree=67108860/67108860
[pid=32575] ppid=32572 vsize=27556 memory=4256 CPUtime=1902.33 cores=1,3,5,7
/proc/32575/stat : 32575 (cosoco) R 32572 32575 30456 0 -1 4202496 5510 0 0 0 190233 0 0 0 20 0 1 0 72900342 28217344 1064 33554432000 4194304 6142532 140734561941744 140734561939144 5058013 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 10272768 140734561944710 140734561944840 140734561944840 140734561947598 0
/proc/32575/statm: 6889 1064 878 476 0 211 0
Current children cumulated CPU time: 1902.33 s
Current children cumulated vsize: 27556 KiB
Current children cumulated memory: 4256 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 32694
/proc/meminfo: memFree=21828348/32770624 swapFree=67108860/67108860
[pid=32575] ppid=32572 vsize=27556 memory=4256 CPUtime=1962.33 cores=1,3,5,7
/proc/32575/stat : 32575 (cosoco) R 32572 32575 30456 0 -1 4202496 5613 0 0 0 196233 0 0 0 20 0 1 0 72900342 28217344 1064 33554432000 4194304 6142532 140734561941744 140734561939144 5061424 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 10272768 140734561944710 140734561944840 140734561944840 140734561947598 0
/proc/32575/statm: 6889 1064 878 476 0 211 0
Current children cumulated CPU time: 1962.33 s
Current children cumulated vsize: 27556 KiB
Current children cumulated memory: 4256 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 32695
/proc/meminfo: memFree=21828340/32770624 swapFree=67108860/67108860
[pid=32575] ppid=32572 vsize=27556 memory=4256 CPUtime=2022.33 cores=1,3,5,7
/proc/32575/stat : 32575 (cosoco) R 32572 32575 30456 0 -1 4202496 5716 0 0 0 202233 0 0 0 20 0 1 0 72900342 28217344 1064 33554432000 4194304 6142532 140734561941744 140734561939144 5058568 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 10272768 140734561944710 140734561944840 140734561944840 140734561947598 0
/proc/32575/statm: 6889 1064 878 476 0 211 0
Current children cumulated CPU time: 2022.33 s
Current children cumulated vsize: 27556 KiB
Current children cumulated memory: 4256 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 32703
/proc/meminfo: memFree=21828204/32770624 swapFree=67108860/67108860
[pid=32575] ppid=32572 vsize=27556 memory=4256 CPUtime=2082.33 cores=1,3,5,7
/proc/32575/stat : 32575 (cosoco) R 32572 32575 30456 0 -1 4202496 5819 0 0 0 208233 0 0 0 20 0 1 0 72900342 28217344 1064 33554432000 4194304 6142532 140734561941744 140734561939144 5061168 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 10272768 140734561944710 140734561944840 140734561944840 140734561947598 0
/proc/32575/statm: 6889 1064 878 476 0 211 0
Current children cumulated CPU time: 2082.33 s
Current children cumulated vsize: 27556 KiB
Current children cumulated memory: 4256 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 32704
/proc/meminfo: memFree=21828096/32770624 swapFree=67108860/67108860
[pid=32575] ppid=32572 vsize=27556 memory=4256 CPUtime=2142.33 cores=1,3,5,7
/proc/32575/stat : 32575 (cosoco) R 32572 32575 30456 0 -1 4202496 5922 0 0 0 214233 0 0 0 20 0 1 0 72900342 28217344 1064 33554432000 4194304 6142532 140734561941744 140734561939144 5060757 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 10272768 140734561944710 140734561944840 140734561944840 140734561947598 0
/proc/32575/statm: 6889 1064 878 476 0 211 0
Current children cumulated CPU time: 2142.33 s
Current children cumulated vsize: 27556 KiB
Current children cumulated memory: 4256 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 32705
/proc/meminfo: memFree=21828220/32770624 swapFree=67108860/67108860
[pid=32575] ppid=32572 vsize=27556 memory=4256 CPUtime=2202.33 cores=1,3,5,7
/proc/32575/stat : 32575 (cosoco) R 32572 32575 30456 0 -1 4202496 6042 0 0 0 220233 0 0 0 20 0 1 0 72900342 28217344 1064 33554432000 4194304 6142532 140734561941744 140734561939144 5053536 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 10272768 140734561944710 140734561944840 140734561944840 140734561947598 0
/proc/32575/statm: 6889 1064 878 476 0 211 0
Current children cumulated CPU time: 2202.33 s
Current children cumulated vsize: 27556 KiB
Current children cumulated memory: 4256 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 32718
/proc/meminfo: memFree=21827196/32770624 swapFree=67108860/67108860
[pid=32575] ppid=32572 vsize=27556 memory=4256 CPUtime=2262.33 cores=1,3,5,7
/proc/32575/stat : 32575 (cosoco) R 32572 32575 30456 0 -1 4202496 6145 0 0 0 226233 0 0 0 20 0 1 0 72900342 28217344 1064 33554432000 4194304 6142532 140734561941744 140734561939144 5058027 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 10272768 140734561944710 140734561944840 140734561944840 140734561947598 0
/proc/32575/statm: 6889 1064 878 476 0 211 0
Current children cumulated CPU time: 2262.33 s
Current children cumulated vsize: 27556 KiB
Current children cumulated memory: 4256 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 32719
/proc/meminfo: memFree=21827468/32770624 swapFree=67108860/67108860
[pid=32575] ppid=32572 vsize=27556 memory=4256 CPUtime=2322.33 cores=1,3,5,7
/proc/32575/stat : 32575 (cosoco) R 32572 32575 30456 0 -1 4202496 6255 0 0 0 232233 0 0 0 20 0 1 0 72900342 28217344 1064 33554432000 4194304 6142532 140734561941744 140734561939144 5060592 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 10272768 140734561944710 140734561944840 140734561944840 140734561947598 0
/proc/32575/statm: 6889 1064 878 476 0 211 0
Current children cumulated CPU time: 2322.33 s
Current children cumulated vsize: 27556 KiB
Current children cumulated memory: 4256 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 32721
/proc/meminfo: memFree=21827460/32770624 swapFree=67108860/67108860
[pid=32575] ppid=32572 vsize=27556 memory=4260 CPUtime=2382.33 cores=1,3,5,7
/proc/32575/stat : 32575 (cosoco) R 32572 32575 30456 0 -1 4202496 6360 0 0 0 238233 0 0 0 20 0 1 0 72900342 28217344 1065 33554432000 4194304 6142532 140734561941744 140734561939144 5054897 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 10272768 140734561944710 140734561944840 140734561944840 140734561947598 0
/proc/32575/statm: 6889 1065 878 476 0 211 0
Current children cumulated CPU time: 2382.33 s
Current children cumulated vsize: 27556 KiB
Current children cumulated memory: 4260 KiB

[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 32722
/proc/meminfo: memFree=21827584/32770624 swapFree=67108860/67108860
[pid=32575] ppid=32572 vsize=27556 memory=4260 CPUtime=2442.34 cores=1,3,5,7
/proc/32575/stat : 32575 (cosoco) R 32572 32575 30456 0 -1 4202496 6464 0 0 0 244234 0 0 0 20 0 1 0 72900342 28217344 1065 33554432000 4194304 6142532 140734561941744 140734561939144 5061127 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 10272768 140734561944710 140734561944840 140734561944840 140734561947598 0
/proc/32575/statm: 6889 1065 878 476 0 211 0
Current children cumulated CPU time: 2442.34 s
Current children cumulated vsize: 27556 KiB
Current children cumulated memory: 4260 KiB

[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 32723
/proc/meminfo: memFree=21827608/32770624 swapFree=67108860/67108860
[pid=32575] ppid=32572 vsize=27556 memory=4260 CPUtime=2502.34 cores=1,3,5,7
/proc/32575/stat : 32575 (cosoco) R 32572 32575 30456 0 -1 4202496 6569 0 0 0 250234 0 0 0 20 0 1 0 72900342 28217344 1065 33554432000 4194304 6142532 140734561941744 140734561939144 5058760 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 10272768 140734561944710 140734561944840 140734561944840 140734561947598 0
/proc/32575/statm: 6889 1065 878 476 0 211 0
Current children cumulated CPU time: 2502.34 s
Current children cumulated vsize: 27556 KiB
Current children cumulated memory: 4260 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 32724
/proc/meminfo: memFree=21827492/32770624 swapFree=67108860/67108860
[pid=32575] ppid=32572 vsize=27556 memory=4260 CPUtime=2520.05 cores=1,3,5,7
/proc/32575/stat : 32575 (cosoco) R 32572 32575 30456 0 -1 4202496 6691 0 0 0 252005 0 0 0 20 0 1 0 72900342 28217344 1065 33554432000 4194304 6142532 140734561941744 140734561939144 5061765 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 10272768 140734561944710 140734561944840 140734561944840 140734561947598 0
/proc/32575/statm: 6889 1065 878 476 0 211 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 27556 KiB
Current children cumulated memory: 4260 KiB

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

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

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

Child status: 1
Real time (s): 2520.01
CPU time (s): 2520.05
CPU user time (s): 2520.05
CPU system time (s): 0.003
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 27556
Max. memory (cumulated for all children) (KiB): 4260

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2520.05
system time used= 0.003
maximum resident set size= 4324
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6728
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 15
involuntary context switches= 644


# summary of solver processes directly reported to runsolver:
#   pid: 32575
#   total CPU time (s): 2520.05
#   total CPU user time (s): 2520.05
#   total CPU system time (s): 0.003

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.2087 second user time and 14.7226 second system time

The end

Launcher Data 

Begin job on node149 at 2018-07-25 23:16:11
IDJOB=4295486
IDBENCH=141558
IDSOLVER=2752
FILE ID=node149/4295486-1532553371
RUNJOBID= node149-1532542931-30488
PBS_JOBID= 21021951
Free space on /tmp= 43260 MiB

SOLVER NAME= cosoco 1.12
BENCH NAME= XCSP18/MagicHexagon/MagicHexagon-07-0002_c18.xml
COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4295486-1532553371/watcher-4295486-1532553371 -o /tmp/evaluation-result-4295486-1532553371/solver-4295486-1532553371 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node149-1532542931-30488 --watchdog 2580  HOME/cosoco -lc -model -restarts HOME/instance-4295486-1532553371.xml

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

MD5SUM BENCH= d84d4d85366018deec6903098e084e8b
RANDOM SEED=1686390261

node149.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.60
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.60
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.60
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.60
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:        21832428 kB
MemAvailable:   31929496 kB
Buffers:          122772 kB
Cached:         10119124 kB
SwapCached:            0 kB
Active:          2338520 kB
Inactive:        7959028 kB
Active(anon):       3648 kB
Inactive(anon):    79888 kB
Active(file):    2334872 kB
Inactive(file):  7879140 kB
Unevictable:        7608 kB
Mlocked:            7608 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              2360 kB
Writeback:             0 kB
AnonPages:         62832 kB
Mapped:            41968 kB
Shmem:             25224 kB
Slab:             339876 kB
SReclaimable:     311516 kB
SUnreclaim:        28360 kB
KernelStack:        3328 kB
PageTables:         5216 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     352960 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:      118144 kB
DirectMap2M:    33427456 kB

Free space on /tmp at the end= 43256 MiB
End job on node149 at 2018-07-25 23:58:12