Trace number 4397314

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 2.0? (TO) 2400.01 2400.11

General information on the benchmark

NameLatinSquare/LatinSquare-xcsp2-qcp25/
qcp-25-264-09_X2.xml
MD5SUM9027aa50623a7bf75cd9351701a12dc2
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark14.0602
Satisfiable
(Un)Satisfiability was proved
Number of variables625
Number of constraints15000
Number of domains26
Minimum domain size1
Maximum domain size25
Distribution of domain sizes[{"size":1,"count":361},{"size":25,"count":264}]
Minimum variable degree48
Maximum variable degree48
Distribution of variable degrees[{"degree":48,"count":625}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":15000}]
Number of extensional constraints15000
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":15000}]
Optimization problemNO
Type of objective

Solver Data 

0.40/0.42	c root propagations     : 5433        
0.40/0.42	c restarts enabled, print stats at every restarts
0.40/0.42	c
0.40/0.42	c
0.40/0.42	c
0.40/0.42	c This is cosoco 2.00 --  
0.40/0.42	c
0.40/0.42	c command line: cosoco -lc -model -restarts -stick HOME/instance-4397314-1568589505.xml 
0.40/0.42	c ========================================[ Problem Statistics ]===========================================
0.40/0.42	c |                                                                                                       
0.40/0.42	c |  Parse time        :         0.40 s 
0.40/0.42	c |
0.40/0.42	c |               Variables: 625
0.40/0.42	c |            Domain Sizes: 1..25
0.40/0.42	c |
0.40/0.42	c |             Constraints: 15000
0.40/0.42	c |                   Arity: 2..2  -- Binary: 15000
0.40/0.42	c | 
0.40/0.42	c |                   Types: 
0.40/0.42	c |                          Extension: 15000  (nb tuples: 0..25) -- (shared: 9445)
0.40/0.42	c |                          
0.40/0.42	c =========================================================================================================
0.40/0.42	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
0.40/0.44	c 101            733            188586         13391          264            0              393   443   413
0.40/0.48	c 211            1603           474667         28252          264            0              420   455   432
0.40/0.51	c 332            2388           776607         42194          264            0              38   75   51   
0.50/0.55	c 465            3125           1160021        63408          264            0              40   75   60   
0.50/0.59	c 611            4040           1495694        79488          264            0              49   70   58   
0.60/0.62	c 771            4793           1812580        94891          264            0              36   69   55   
0.60/0.66	c 947            5739           2204257        113478         264            0              12   71   54   
0.69/0.70	c 1140           6567           2537142        130518         264            0              9   79   62    
0.69/0.74	c 1352           7711           2937051        149157         264            0              36   58   46   
0.69/0.79	c 1585           8985           3410973        172404         264            0              37   90   65   
0.79/0.88	c 1841           11363          4315321        217579         264            0              60   101   77  
0.89/0.97	c 2122           13358          5107435        257708         264            0              51   90   70   
1.00/1.07	c 2431           15415          6113252        310238         264            0              53   90   74   
1.10/1.14	c 2770           17220          6777329        341766         264            0              39   68   54   
1.19/1.24	c 3142           19448          7709738        392310         264            0              34   100   63  
1.39/1.41	c 3551           23511          9367309        481619         264            0              50   103   84  
1.49/1.56	c 4000           26853          10749867       550237         264            0              27   97   70   
1.59/1.63	c 4493           28899          11477013       588800         264            0              29   81   49   
1.69/1.73	c 5035           31800          12384625       631058         264            0              24   48   34   
1.79/1.83	c 5631           34710          13284185       675571         264            0              25   50   36   
1.99/2.05	c 6286           39771          15350406       782143         264            0              35   100   79  
2.19/2.25	c 7006           45033          17176921       869892         264            0              32   100   59  
2.39/2.42	c 7798           49338          18678088       942099         264            0              13   70   49   
2.49/2.57	c 8669           53544          20160125       1018413        264            0              41   74   55   
2.69/2.79	c 9627           59381          22217958       1120714        264            0              43   88   68   
3.00/3.04	c 10680          66093          24561086       1242686        264            0              40   82   60   
3.19/3.24	c 11838          70795          26576778       1355980        264            0              19   75   47   
3.39/3.47	c 13111          76951          28741765       1463050        264            0              13   75   45   
3.69/3.71	c 14511          82936          31026107       1573320        264            0              13   73   49   
4.00/4.02	c 16051          91292          33966081       1726421        264            0              47   91   67   
4.39/4.47	c 17745          101266         38412877       1985014        264            0              43   84   69   
4.89/4.92	c 19608          112389         42804513       2241209        264            0              43   99   80   
5.49/5.52	c 21657          126161         48548547       2561783        264            0              40   99   76   
6.00/6.04	c 23910          139509         53588513       2850728        264            0              16   107   81  
6.59/6.63	c 26388          154679         59182879       3149278        264            0              41   92   69   
7.29/7.37	c 29113          171483         66240525       3536894        264            0              31   92   71   
7.99/8.09	c 32110          192048         72710626       3853694        264            0              17   90   56   
8.99/9.02	c 35406          216694         81305746       4276476        264            0              50   99   76   
10.19/10.28	c 39031          246087         93270533       4918658        264            0              53   119   83  
11.09/11.15	c 43018          271726         101182925      5290048        264            0              27   85   59   
12.49/12.56	c 47403          308184         114474843      5979150        264            0              28   121   86  
14.19/14.29	c 52226          349883         130971271      6870505        264            0              63   122   97  
15.79/15.80	c 57531          390464         144773228      7558320        264            0              39   110   80  
17.49/17.58	c 63366          439788         161096764      8363587        264            0              43   103   77  
18.69/18.73	c 69784          470675         172085915      8904936        264            0              33   100   67  
21.00/21.06	c 76843          524260         193869723      10052622       264            0              42   108   76  
22.69/22.70	c 84607          568732         209165203      10820241       264            0              32   86   60   
25.79/25.84	c 93147          644016         238623940      12296199       264            0              56   122   91  
28.39/28.48	c 102541         716163         263148295      13504896       264            0              42   103   71  
31.58/31.64	c 112874         793210         293382229      15107112       264            0              62   120   86  
35.18/35.26	c 124240         884269         327281406      16844724       264            0              49   118   91  
37.78/37.83	c 136742         954777         351845321      18075115       264            0              18   98   65   
42.69/42.79	c 150494         1076972        397673139      20442150       264            0              48   117   83  
46.49/46.59	c 165621         1185653        431934471      22133400       264            0              34   104   67  
52.49/52.54	c 182260         1337464        487142520      24922814       264            0              28   125   88  
58.10/58.19	c 200562         1475712        540653711      27763524       264            0              44   124   87  
63.38/63.45	c 220694         1615297        593081868      30491660       264            0              33   103   74  
70.48/70.50	c 242839         1800323        665342222      34227176       264            0              58   122   91  
76.37/76.41	c 267198         2001627        738610168      37922693       264            0              53   130   86  
82.57/82.68	c 293992         2219024        820528060      42150610       264            0              58   125   93  
88.27/88.35	c 323465         2446443        897639710      46104419       264            0              51   123   88  
94.87/94.95	c 355885         2714159        988251853      50748180       264            0              32   130   94  
101.37/101.49	c 391547         2969528        1077856366     55506019       264            0              14   111   79  
108.47/108.59	c 430775         3259556        1174053711     60396349       264            0              39   121   82  
118.47/118.57	c 473925         3623755        1310417664     67616630       264            0              12   111   71  
127.76/127.81	c 521390         3976502        1437647236     74502409       264            0              46   117   81  
138.36/138.40	c 573601         4416851        1580320827     81559929       264            0              51   118   87  
149.66/149.73	c 631033         4851012        1735226598     89408649       264            0              41   107   76  
160.76/160.89	c 694208         5245517        1888687296     97553729       264            0              17   112   75  
174.56/174.63	c 763700         5777888        2075880474     107219157      264            0              41   110   75  
188.86/188.90	c 840141         6337996        2267879798     117048088      264            0              22   109   71  
201.26/201.35	c 924226         6869892        2432295894     124732534      264            0              15   96   62   
221.27/221.37	c 1016719        7611915        2708461722     140099025      264            0              17   111   84  
237.97/238.09	c 1118461        8261474        2933348606     151900942      264            0              12   101   70  
262.47/262.51	c 1230377        9132864        3271359574     169821733      264            0              41   121   79  
289.16/289.23	c 1353484        10110866       3641919287     189272616      264            0              42   138   84  
318.07/318.17	c 1488901        11169201       4046570311     210097714      264            0              52   126   95  
351.07/351.18	c 1637859        12336920       4505864355     234036885      264            0              51   128   91  
386.56/386.68	c 1801712        13534748       4997312503     260915906      264            0              46   117   81  
426.36/426.46	c 1981950        15019692       5546001345     289124146      264            0              40   116   81  
464.66/464.74	c 2180211        16578200       6060471384     314273939      264            0              30   115   76  
502.56/502.61	c 2398298        18054415       6575324428     341420900      264            0              36   110   74  
546.55/546.69	c 2638193        19834172       7170342347     370683396      264            0              23   129   77  
598.45/598.52	c 2902077        21872052       7866992615     406546437      264            0              29   119   70  
650.15/650.25	c 3192349        23922856       8572732429     442522555      264            0              25   119   77  
708.24/708.38	c 3511648        26223771       9351357349     482939015      264            0              18   111   69  
765.14/765.20	c 3862876        28568991       10105790392    519192304      264            0              25   110   65  
828.64/828.76	c 4249226        31050756       10963424066    563040871      264            0              25   118   69  
906.53/906.60	c 4674211        34087044       12006830537    615430240      264            0              28   120   67  
989.44/989.51	c 5141694        37256052       13150079831    673763587      264            0              29   120   80  
1106.74/1106.86	c 5655925        41601774       14782761988    757535794      264            0              46   137   94  
1236.53/1236.61	c 6221579        46231252       16594686854    851446816      264            0              46   134   92  
1362.93/1363.07	c 6843798        50965882       18352701100    939104186      264            0              41   135   88  
1502.42/1502.55	c 7528238        56262526       20283409546    1037459026     264            0              37   140   89  
1651.92/1652.02	c 8281122        62109418       22304959940    1140436775     264            0              9   125   81   
1815.71/1815.84	c 9109294        68245593       24555205528    1254983108     264            0              32   133   81  
2005.11/2005.27	c 10020283       75586782       27125491865    1390993480     264            0              31   134   81  
2222.40/2222.57	c 11022370       83724009       30133999860    1548794953     264            0              42   130   88  
2400.00/2400.11	
2400.00/2400.11	c *** INTERRUPTED ***
2400.00/2400.11	c restarts              : 98          
2400.00/2400.11	c conflicts             : 11979822     (4992 /sec)
2400.00/2400.11	c decisions             : 90710939     (37797 /sec)
2400.00/2400.11	c propagations          : 1670249558  (695956 /sec)
2400.00/2400.11	c root propagations     : 5433        
2400.00/2400.11	c filter calls          : 32551979905    (13563686 /sec)
2400.00/2400.11	c useless filter calls  : 31075124839    (95 %)
2400.00/2400.11	c Memory used           : 73.46 MB
2400.00/2400.11	c CPU time              : 2399.94 s
2400.00/2400.11	c real time             : 2400.11 s
2400.00/2400.11	
2400.00/2400.11	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 (15089 MiB free)
  memory of node 1: 16384 MiB (14858 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4397314-1568589505/watcher-4397314-1568589505 -o /tmp/evaluation-result-4397314-1568589505/solver-4397314-1568589505 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node135-1568572744-5581 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4397314-1568589505.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=9197, runsolver pid=9194
Current StackSize limit: 8192 KiB


[startup+0.10007 s]*
/proc/loadavg: 2.00 2.01 2.05 3/203 9198
/proc/meminfo: memFree=30665272/32770624 swapFree=66970200/67108860
[pid=9197] ppid=9194 vsize=29004 memory=5272 CPUtime=0.1 cores=1,3,5,7
/proc/9197/stat : 9197 (cosoco) R 9194 9197 5549 0 -1 4202496 1487 0 0 0 10 0 0 0 20 0 1 0 435200033 29700096 1318 33554432000 4194304 6211092 140728746240576 140728746237112 5707846 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 26509312 140728746247179 140728746247281 140728746247281 140728746250190 0
/proc/9197/statm: 7251 1318 808 493 0 556 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 29004 KiB
Current children cumulated memory: 5272 KiB

[startup+0.209795 s]*
/proc/loadavg: 2.00 2.01 2.05 3/203 9198
/proc/meminfo: memFree=30648176/32770624 swapFree=66970200/67108860
[pid=9197] ppid=9194 vsize=46040 memory=22260 CPUtime=0.21 cores=1,3,5,7
/proc/9197/stat : 9197 (cosoco) R 9194 9197 5549 0 -1 4202496 5784 0 0 0 20 1 0 0 20 0 1 0 435200033 47144960 5565 33554432000 4194304 6211092 140728746240576 140728746237848 140357596684220 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 26509312 140728746247179 140728746247281 140728746247281 140728746250190 0
/proc/9197/statm: 11510 5565 808 493 0 4815 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 46040 KiB
Current children cumulated memory: 22260 KiB

[startup+0.309994 s]*
/proc/loadavg: 2.00 2.01 2.05 3/203 9198
/proc/meminfo: memFree=30633668/32770624 swapFree=66970200/67108860
[pid=9197] ppid=9194 vsize=60956 memory=37044 CPUtime=0.31 cores=1,3,5,7
/proc/9197/stat : 9197 (cosoco) R 9194 9197 5549 0 -1 4202496 9493 0 0 0 30 1 0 0 20 0 1 0 435200033 62418944 9261 33554432000 4194304 6211092 140728746240576 140728746237848 140357596670782 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 26509312 140728746247179 140728746247281 140728746247281 140728746250190 0
/proc/9197/statm: 15239 9261 808 493 0 8544 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 60956 KiB
Current children cumulated memory: 37044 KiB

[startup+0.700319 s]
/proc/loadavg: 2.00 2.01 2.05 3/203 9198
/proc/meminfo: memFree=30618788/32770624 swapFree=66970200/67108860
[pid=9197] ppid=9194 vsize=75220 memory=51564 CPUtime=0.69 cores=1,3,5,7
/proc/9197/stat : 9197 (cosoco) R 9194 9197 5549 0 -1 4202496 13127 0 0 0 68 1 0 0 20 0 1 0 435200033 77025280 12891 33554432000 4194304 6211092 140728746240576 140728746237848 5397387 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 26509312 140728746247179 140728746247281 140728746247281 140728746250190 0
/proc/9197/statm: 18805 12891 854 493 0 12110 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 75220 KiB
Current children cumulated memory: 51564 KiB

[startup+1.5003 s]
/proc/loadavg: 2.00 2.01 2.05 3/203 9198
/proc/meminfo: memFree=30618788/32770624 swapFree=66970200/67108860
[pid=9197] ppid=9194 vsize=75220 memory=51564 CPUtime=1.49 cores=1,3,5,7
/proc/9197/stat : 9197 (cosoco) R 9194 9197 5549 0 -1 4202496 13127 0 0 0 148 1 0 0 20 0 1 0 435200033 77025280 12891 33554432000 4194304 6211092 140728746240576 140728746237848 5009098 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 26509312 140728746247179 140728746247281 140728746247281 140728746250190 0
/proc/9197/statm: 18805 12891 854 493 0 12110 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 75220 KiB
Current children cumulated memory: 51564 KiB

[startup+3.10978 s]
/proc/loadavg: 2.00 2.01 2.05 3/203 9198
/proc/meminfo: memFree=30618788/32770624 swapFree=66970200/67108860
[pid=9197] ppid=9194 vsize=75220 memory=51744 CPUtime=3.1 cores=1,3,5,7
/proc/9197/stat : 9197 (cosoco) R 9194 9197 5549 0 -1 4202496 21374 0 0 0 308 2 0 0 20 0 1 0 435200033 77025280 12936 33554432000 4194304 6211092 140728746240576 140728746237848 5017274 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 26509312 140728746247179 140728746247281 140728746247281 140728746250190 0
/proc/9197/statm: 18805 12936 854 493 0 12110 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 75220 KiB
Current children cumulated memory: 51744 KiB

[startup+6.30028 s]
/proc/loadavg: 1.92 2.00 2.04 3/203 9199
/proc/meminfo: memFree=30618416/32770624 swapFree=66970200/67108860
[pid=9197] ppid=9194 vsize=75220 memory=51744 CPUtime=6.29 cores=1,3,5,7
/proc/9197/stat : 9197 (cosoco) R 9194 9197 5549 0 -1 4202496 29611 0 0 0 627 2 0 0 20 0 1 0 435200033 77025280 12936 33554432000 4194304 6211092 140728746240576 140728746238536 5017277 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 26509312 140728746247179 140728746247281 140728746247281 140728746250190 0
/proc/9197/statm: 18805 12936 854 493 0 12110 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 75220 KiB
Current children cumulated memory: 51744 KiB

[startup+12.7003 s]
/proc/loadavg: 1.93 2.00 2.04 3/203 9199
/proc/meminfo: memFree=30618424/32770624 swapFree=66970200/67108860
[pid=9197] ppid=9194 vsize=75220 memory=51744 CPUtime=12.69 cores=1,3,5,7
/proc/9197/stat : 9197 (cosoco) R 9194 9197 5549 0 -1 4202496 37865 0 0 0 1267 2 0 0 20 0 1 0 435200033 77025280 12936 33554432000 4194304 6211092 140728746240576 140728746238536 5017472 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 26509312 140728746247179 140728746247281 140728746247281 140728746250190 0
/proc/9197/statm: 18805 12936 854 493 0 12110 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 75220 KiB
Current children cumulated memory: 51744 KiB

[startup+25.5003 s]
/proc/loadavg: 1.95 2.00 2.04 3/203 9199
/proc/meminfo: memFree=30618284/32770624 swapFree=66970200/67108860
[pid=9197] ppid=9194 vsize=75220 memory=51744 CPUtime=25.49 cores=1,3,5,7
/proc/9197/stat : 9197 (cosoco) R 9194 9197 5549 0 -1 4202496 53624 0 0 0 2546 3 0 0 20 0 1 0 435200033 77025280 12936 33554432000 4194304 6211092 140728746240576 140728746238536 5397375 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 26509312 140728746247179 140728746247281 140728746247281 140728746250190 0
/proc/9197/statm: 18805 12936 854 493 0 12110 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 75220 KiB
Current children cumulated memory: 51744 KiB

[startup+51.1096 s]
/proc/loadavg: 1.96 2.00 2.04 3/203 9201
/proc/meminfo: memFree=30617084/32770624 swapFree=66970200/67108860
[pid=9197] ppid=9194 vsize=75220 memory=51744 CPUtime=51.1 cores=1,3,5,7
/proc/9197/stat : 9197 (cosoco) R 9194 9197 5549 0 -1 4202496 62606 0 0 0 5106 4 0 0 20 0 1 0 435200033 77025280 12936 33554432000 4194304 6211092 140728746240576 140728746238536 5009142 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 26509312 140728746247179 140728746247281 140728746247281 140728746250190 0
/proc/9197/statm: 18805 12936 854 493 0 12110 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 75220 KiB
Current children cumulated memory: 51744 KiB

[startup+102.3 s]
/proc/loadavg: 1.94 1.98 2.03 3/203 9205
/proc/meminfo: memFree=30618168/32770624 swapFree=66970200/67108860
[pid=9197] ppid=9194 vsize=75220 memory=51752 CPUtime=102.27 cores=1,3,5,7
/proc/9197/stat : 9197 (cosoco) R 9194 9197 5549 0 -1 4202496 68845 0 0 0 10223 4 0 0 20 0 1 0 435200033 77025280 12938 33554432000 4194304 6211092 140728746240576 140728746238536 5017277 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 26509312 140728746247179 140728746247281 140728746247281 140728746250190 0
/proc/9197/statm: 18805 12938 854 493 0 12110 0
Current children cumulated CPU time: 102.27 s
Current children cumulated vsize: 75220 KiB
Current children cumulated memory: 51752 KiB

[startup+162.3 s]
/proc/loadavg: 1.98 1.99 2.03 3/205 9218
/proc/meminfo: memFree=30617420/32770624 swapFree=66970200/67108860
[pid=9197] ppid=9194 vsize=75220 memory=51752 CPUtime=162.26 cores=1,3,5,7
/proc/9197/stat : 9197 (cosoco) R 9194 9197 5549 0 -1 4202496 69065 0 0 0 16222 4 0 0 20 0 1 0 435200033 77025280 12938 33554432000 4194304 6211092 140728746240576 140728746238536 5017373 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 26509312 140728746247179 140728746247281 140728746247281 140728746250190 0
/proc/9197/statm: 18805 12938 854 493 0 12110 0
Current children cumulated CPU time: 162.26 s
Current children cumulated vsize: 75220 KiB
Current children cumulated memory: 51752 KiB

[startup+222.3 s]
/proc/loadavg: 1.99 1.99 2.03 3/205 9224
/proc/meminfo: memFree=30617024/32770624 swapFree=66970200/67108860
[pid=9197] ppid=9194 vsize=75220 memory=51752 CPUtime=222.27 cores=1,3,5,7
/proc/9197/stat : 9197 (cosoco) R 9194 9197 5549 0 -1 4202496 69285 0 0 0 22222 5 0 0 20 0 1 0 435200033 77025280 12938 33554432000 4194304 6211092 140728746240576 140728746238536 5017274 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 26509312 140728746247179 140728746247281 140728746247281 140728746250190 0
/proc/9197/statm: 18805 12938 854 493 0 12110 0
Current children cumulated CPU time: 222.27 s
Current children cumulated vsize: 75220 KiB
Current children cumulated memory: 51752 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/204 9228
/proc/meminfo: memFree=30617256/32770624 swapFree=66970200/67108860
[pid=9197] ppid=9194 vsize=75220 memory=51752 CPUtime=282.27 cores=1,3,5,7
/proc/9197/stat : 9197 (cosoco) R 9194 9197 5549 0 -1 4202496 69505 0 0 0 28222 5 0 0 20 0 1 0 435200033 77025280 12938 33554432000 4194304 6211092 140728746240576 140728746238536 5017277 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 26509312 140728746247179 140728746247281 140728746247281 140728746250190 0
/proc/9197/statm: 18805 12938 854 493 0 12110 0
Current children cumulated CPU time: 282.27 s
Current children cumulated vsize: 75220 KiB
Current children cumulated memory: 51752 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/204 9232
/proc/meminfo: memFree=30616828/32770624 swapFree=66970200/67108860
[pid=9197] ppid=9194 vsize=75220 memory=51752 CPUtime=342.26 cores=1,3,5,7
/proc/9197/stat : 9197 (cosoco) R 9194 9197 5549 0 -1 4202496 69725 0 0 0 34221 5 0 0 20 0 1 0 435200033 77025280 12938 33554432000 4194304 6211092 140728746240576 140728746238536 5409424 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 26509312 140728746247179 140728746247281 140728746247281 140728746250190 0
/proc/9197/statm: 18805 12938 854 493 0 12110 0
Current children cumulated CPU time: 342.26 s
Current children cumulated vsize: 75220 KiB
Current children cumulated memory: 51752 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/206 9239
/proc/meminfo: memFree=30616796/32770624 swapFree=66970200/67108860
[pid=9197] ppid=9194 vsize=75220 memory=51752 CPUtime=402.26 cores=1,3,5,7
/proc/9197/stat : 9197 (cosoco) R 9194 9197 5549 0 -1 4202496 69945 0 0 0 40221 5 0 0 20 0 1 0 435200033 77025280 12938 33554432000 4194304 6211092 140728746240576 140728746238536 5017206 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 26509312 140728746247179 140728746247281 140728746247281 140728746250190 0
/proc/9197/statm: 18805 12938 854 493 0 12110 0
Current children cumulated CPU time: 402.26 s
Current children cumulated vsize: 75220 KiB
Current children cumulated memory: 51752 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/203 9244
/proc/meminfo: memFree=30617036/32770624 swapFree=66970200/67108860
[pid=9197] ppid=9194 vsize=75220 memory=51752 CPUtime=462.26 cores=1,3,5,7
/proc/9197/stat : 9197 (cosoco) R 9194 9197 5549 0 -1 4202496 70165 0 0 0 46221 5 0 0 20 0 1 0 435200033 77025280 12938 33554432000 4194304 6211092 140728746240576 140728746238536 5008971 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 26509312 140728746247179 140728746247281 140728746247281 140728746250190 0
/proc/9197/statm: 18805 12938 854 493 0 12110 0
Current children cumulated CPU time: 462.26 s
Current children cumulated vsize: 75220 KiB
Current children cumulated memory: 51752 KiB


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

/proc/9197/statm: 18805 12938 854 493 0 12110 0
Current children cumulated CPU time: 1662.21 s
Current children cumulated vsize: 75220 KiB
Current children cumulated memory: 51752 KiB

[startup+1722.3 s]
/proc/loadavg: 1.98 2.02 2.04 3/202 9427
/proc/meminfo: memFree=30544100/32770624 swapFree=66970208/67108860
[pid=9197] ppid=9194 vsize=75220 memory=51752 CPUtime=1722.21 cores=1,3,5,7
/proc/9197/stat : 9197 (cosoco) R 9194 9197 5549 0 -1 4202496 74639 0 0 0 172215 6 0 0 20 0 1 0 435200033 77025280 12938 33554432000 4194304 6211092 140728746240576 140728746238536 5397442 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 26509312 140728746247179 140728746247281 140728746247281 140728746250190 0
/proc/9197/statm: 18805 12938 854 493 0 12110 0
Current children cumulated CPU time: 1722.21 s
Current children cumulated vsize: 75220 KiB
Current children cumulated memory: 51752 KiB

[startup+1782.3 s]
/proc/loadavg: 1.99 2.01 2.04 3/202 9431
/proc/meminfo: memFree=30544072/32770624 swapFree=66970208/67108860
[pid=9197] ppid=9194 vsize=75220 memory=51752 CPUtime=1782.21 cores=1,3,5,7
/proc/9197/stat : 9197 (cosoco) R 9194 9197 5549 0 -1 4202496 74843 0 0 0 178215 6 0 0 20 0 1 0 435200033 77025280 12938 33554432000 4194304 6211092 140728746240576 140728746238536 5017259 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 26509312 140728746247179 140728746247281 140728746247281 140728746250190 0
/proc/9197/statm: 18805 12938 854 493 0 12110 0
Current children cumulated CPU time: 1782.21 s
Current children cumulated vsize: 75220 KiB
Current children cumulated memory: 51752 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/203 9437
/proc/meminfo: memFree=30542988/32770624 swapFree=66970208/67108860
[pid=9197] ppid=9194 vsize=75220 memory=51752 CPUtime=1842.21 cores=1,3,5,7
/proc/9197/stat : 9197 (cosoco) R 9194 9197 5549 0 -1 4202496 75063 0 0 0 184215 6 0 0 20 0 1 0 435200033 77025280 12938 33554432000 4194304 6211092 140728746240576 140728746238536 5397375 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 26509312 140728746247179 140728746247281 140728746247281 140728746250190 0
/proc/9197/statm: 18805 12938 854 493 0 12110 0
Current children cumulated CPU time: 1842.21 s
Current children cumulated vsize: 75220 KiB
Current children cumulated memory: 51752 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/202 9441
/proc/meminfo: memFree=30543080/32770624 swapFree=66970208/67108860
[pid=9197] ppid=9194 vsize=75220 memory=51752 CPUtime=1902.2 cores=1,3,5,7
/proc/9197/stat : 9197 (cosoco) R 9194 9197 5549 0 -1 4202496 75267 0 0 0 190214 6 0 0 20 0 1 0 435200033 77025280 12938 33554432000 4194304 6211092 140728746240576 140728746238536 5409453 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 26509312 140728746247179 140728746247281 140728746247281 140728746250190 0
/proc/9197/statm: 18805 12938 854 493 0 12110 0
Current children cumulated CPU time: 1902.2 s
Current children cumulated vsize: 75220 KiB
Current children cumulated memory: 51752 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/204 9454
/proc/meminfo: memFree=30543320/32770624 swapFree=66970208/67108860
[pid=9197] ppid=9194 vsize=75220 memory=51752 CPUtime=1962.21 cores=1,3,5,7
/proc/9197/stat : 9197 (cosoco) R 9194 9197 5549 0 -1 4202496 75471 0 0 0 196214 7 0 0 20 0 1 0 435200033 77025280 12938 33554432000 4194304 6211092 140728746240576 140728746238536 5008824 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 26509312 140728746247179 140728746247281 140728746247281 140728746250190 0
/proc/9197/statm: 18805 12938 854 493 0 12110 0
Current children cumulated CPU time: 1962.21 s
Current children cumulated vsize: 75220 KiB
Current children cumulated memory: 51752 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/205 9460
/proc/meminfo: memFree=30543128/32770624 swapFree=66970208/67108860
[pid=9197] ppid=9194 vsize=75220 memory=51752 CPUtime=2022.21 cores=1,3,5,7
/proc/9197/stat : 9197 (cosoco) R 9194 9197 5549 0 -1 4202496 75691 0 0 0 202214 7 0 0 20 0 1 0 435200033 77025280 12938 33554432000 4194304 6211092 140728746240576 140728746238536 5008971 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 26509312 140728746247179 140728746247281 140728746247281 140728746250190 0
/proc/9197/statm: 18805 12938 854 493 0 12110 0
Current children cumulated CPU time: 2022.21 s
Current children cumulated vsize: 75220 KiB
Current children cumulated memory: 51752 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/204 9464
/proc/meminfo: memFree=30543592/32770624 swapFree=66970208/67108860
[pid=9197] ppid=9194 vsize=75220 memory=51752 CPUtime=2082.2 cores=1,3,5,7
/proc/9197/stat : 9197 (cosoco) R 9194 9197 5549 0 -1 4202496 75895 0 0 0 208213 7 0 0 20 0 1 0 435200033 77025280 12938 33554432000 4194304 6211092 140728746240576 140728746238536 5017569 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 26509312 140728746247179 140728746247281 140728746247281 140728746250190 0
/proc/9197/statm: 18805 12938 854 493 0 12110 0
Current children cumulated CPU time: 2082.2 s
Current children cumulated vsize: 75220 KiB
Current children cumulated memory: 51752 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/204 9468
/proc/meminfo: memFree=30543360/32770624 swapFree=66970208/67108860
[pid=9197] ppid=9194 vsize=75220 memory=51752 CPUtime=2142.2 cores=1,3,5,7
/proc/9197/stat : 9197 (cosoco) R 9194 9197 5549 0 -1 4202496 76099 0 0 0 214213 7 0 0 20 0 1 0 435200033 77025280 12938 33554432000 4194304 6211092 140728746240576 140728746238536 5409461 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 26509312 140728746247179 140728746247281 140728746247281 140728746250190 0
/proc/9197/statm: 18805 12938 854 493 0 12110 0
Current children cumulated CPU time: 2142.2 s
Current children cumulated vsize: 75220 KiB
Current children cumulated memory: 51752 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/205 9474
/proc/meminfo: memFree=30543204/32770624 swapFree=66970208/67108860
[pid=9197] ppid=9194 vsize=75220 memory=51752 CPUtime=2202.2 cores=1,3,5,7
/proc/9197/stat : 9197 (cosoco) R 9194 9197 5549 0 -1 4202496 76303 0 0 0 220213 7 0 0 20 0 1 0 435200033 77025280 12938 33554432000 4194304 6211092 140728746240576 140728746238536 5389872 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 26509312 140728746247179 140728746247281 140728746247281 140728746250190 0
/proc/9197/statm: 18805 12938 854 493 0 12110 0
Current children cumulated CPU time: 2202.2 s
Current children cumulated vsize: 75220 KiB
Current children cumulated memory: 51752 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/202 9479
/proc/meminfo: memFree=30543300/32770624 swapFree=66970212/67108860
[pid=9197] ppid=9194 vsize=75220 memory=51752 CPUtime=2262.2 cores=1,3,5,7
/proc/9197/stat : 9197 (cosoco) R 9194 9197 5549 0 -1 4202496 76523 0 0 0 226213 7 0 0 20 0 1 0 435200033 77025280 12938 33554432000 4194304 6211092 140728746240576 140728746238536 5017277 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 26509312 140728746247179 140728746247281 140728746247281 140728746250190 0
/proc/9197/statm: 18805 12938 854 493 0 12110 0
Current children cumulated CPU time: 2262.2 s
Current children cumulated vsize: 75220 KiB
Current children cumulated memory: 51752 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/202 9483
/proc/meminfo: memFree=30543288/32770624 swapFree=66970212/67108860
[pid=9197] ppid=9194 vsize=75220 memory=51752 CPUtime=2322.19 cores=1,3,5,7
/proc/9197/stat : 9197 (cosoco) R 9194 9197 5549 0 -1 4202496 76725 0 0 0 232212 7 0 0 20 0 1 0 435200033 77025280 12938 33554432000 4194304 6211092 140728746240576 140728746238536 5017221 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 26509312 140728746247179 140728746247281 140728746247281 140728746250190 0
/proc/9197/statm: 18805 12938 854 493 0 12110 0
Current children cumulated CPU time: 2322.19 s
Current children cumulated vsize: 75220 KiB
Current children cumulated memory: 51752 KiB

[startup+2382.3 s]
/proc/loadavg: 2.07 2.03 2.05 3/203 9489
/proc/meminfo: memFree=30543172/32770624 swapFree=66970212/67108860
[pid=9197] ppid=9194 vsize=75220 memory=51752 CPUtime=2382.19 cores=1,3,5,7
/proc/9197/stat : 9197 (cosoco) R 9194 9197 5549 0 -1 4202496 76927 0 0 0 238212 7 0 0 20 0 1 0 435200033 77025280 12938 33554432000 4194304 6211092 140728746240576 140728746238536 5397442 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 26509312 140728746247179 140728746247281 140728746247281 140728746250190 0
/proc/9197/statm: 18805 12938 854 493 0 12110 0
Current children cumulated CPU time: 2382.19 s
Current children cumulated vsize: 75220 KiB
Current children cumulated memory: 51752 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2400.11 s]
/proc/loadavg: 2.05 2.03 2.05 3/202 9489
/proc/meminfo: memFree=30543568/32770624 swapFree=66970212/67108860
[pid=9197] ppid=9194 vsize=75220 memory=51752 CPUtime=2400 cores=1,3,5,7
/proc/9197/stat : 9197 (cosoco) R 9194 9197 5549 0 -1 4202496 77129 0 0 0 239993 7 0 0 20 0 1 0 435200033 77025280 12938 33554432000 4194304 6211092 140728746240576 140728746238536 5017274 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 26509312 140728746247179 140728746247281 140728746247281 140728746250190 0
/proc/9197/statm: 18805 12938 854 493 0 12110 0
Current children cumulated CPU time: 2400 s
Current children cumulated vsize: 75220 KiB
Current children cumulated memory: 51752 KiB

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

[startup+2400.11 s]
# the end of solver process 9197 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2399.94 s, system=0.072997 s

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

[startup+2400.11 s]
/proc/loadavg: 2.05 2.03 2.05 3/202 9489
/proc/meminfo: memFree=30543568/32770624 swapFree=66970212/67108860
[pid=9197] ppid=9194 vsize=75220 memory=51752 CPUtime=2400 cores=1,3,5,7
/proc/9197/stat : 9197 (cosoco) R 9194 9197 5549 0 -1 4202496 77129 0 0 0 239993 7 0 0 20 0 1 0 435200033 77025280 12938 33554432000 4194304 6211092 140728746240576 140728746238536 5017274 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 26509312 140728746247179 140728746247281 140728746247281 140728746250190 0
/proc/9197/statm: 18805 12938 854 493 0 12110 0
Current children cumulated CPU time: 2400 s
Current children cumulated vsize: 75220 KiB
Current children cumulated memory: 51752 KiB

Child status: 1
Real time (s): 2400.11
CPU time (s): 2400.01
CPU user time (s): 2399.94
CPU system time (s): 0.072997
CPU usage (%): 99.9958
Max. virtual memory (cumulated for all children) (KiB): 75220
Max. memory (cumulated for all children) (KiB): 51752

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.94
system time used= 0.072997
maximum resident set size= 51816
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 77180
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= 33
involuntary context switches= 1491


# summary of solver processes directly reported to runsolver:
#   pid: 9197
#   total CPU time (s): 2400.01
#   total CPU user time (s): 2399.94
#   total CPU system time (s): 0.072997

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.12003 second user time and 16.822 second system time

The end

Launcher Data 

Begin job on node135 at 2019-09-16 01:17:45
IDJOB=4397314
IDBENCH=139104
IDSOLVER=2849
FILE ID=node135/4397314-1568589505
RUNJOBID= node135-1568572744-5581
PBS_JOBID= 21703319
Free space on /tmp= 61368 MiB

SOLVER NAME= cosoco 2.0
BENCH NAME= XCSP17/LatinSquare/LatinSquare-xcsp2-qcp25/qcp-25-264-09_X2.xml
COMMAND LINE= cosoco -lc -model -restarts -stick BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4397314-1568589505/watcher-4397314-1568589505 -o /tmp/evaluation-result-4397314-1568589505/solver-4397314-1568589505 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node135-1568572744-5581 --watchdog 2560  cosoco -lc -model -restarts -stick HOME/instance-4397314-1568589505.xml

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

MD5SUM BENCH= 9027aa50623a7bf75cd9351701a12dc2
RANDOM SEED=2113842222

node135.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.76
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.76
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.76
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.76
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:        30666664 kB
MemAvailable:   31854692 kB
Buffers:          189212 kB
Cached:          1277076 kB
SwapCached:        33160 kB
Active:           593712 kB
Inactive:         911656 kB
Active(anon):      12684 kB
Inactive(anon):    69440 kB
Active(file):     581028 kB
Inactive(file):   842216 kB
Unevictable:      109480 kB
Mlocked:          109480 kB
SwapTotal:      67108860 kB
SwapFree:       66970200 kB
Dirty:              3112 kB
Writeback:             0 kB
AnonPages:        115616 kB
Mapped:            43036 kB
Shmem:             34300 kB
Slab:             192136 kB
SReclaimable:     161236 kB
SUnreclaim:        30900 kB
KernelStack:        3632 kB
PageTables:         5776 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     536432 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     71680 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      134528 kB
DirectMap2M:    33411072 kB

Free space on /tmp at the end= 61364 MiB
End job on node135 at 2019-09-16 01:57:45