Trace number 4396736

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) 2520.05 2520.01

General information on the benchmark

NameLatinSquare/LatinSquare-xcsp2-qcp25/
qcp-25-264-08_X2.xml
MD5SUMe61b201f6225aab3795ad5f045ee307f
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 benchmark7.73665
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.41/0.42	c root propagations     : 5440        
0.41/0.42	c restarts enabled, print stats at every restarts
0.41/0.42	c
0.41/0.42	c
0.41/0.42	c
0.41/0.42	c This is cosoco 2.00 --  
0.41/0.42	c
0.41/0.42	c command line: cosoco -lc -model -restarts -stick HOME/instance-4396736-1568593695.xml 
0.41/0.42	c ========================================[ Problem Statistics ]===========================================
0.41/0.42	c |                                                                                                       
0.41/0.42	c |  Parse time        :         0.40 s 
0.41/0.42	c |
0.41/0.42	c |               Variables: 625
0.41/0.42	c |            Domain Sizes: 1..25
0.41/0.42	c |
0.41/0.42	c |             Constraints: 15000
0.41/0.42	c |                   Arity: 2..2  -- Binary: 15000
0.41/0.42	c | 
0.41/0.42	c |                   Types: 
0.41/0.42	c |                          Extension: 15000  (nb tuples: 0..25) -- (shared: 9458)
0.41/0.42	c |                          
0.41/0.42	c =========================================================================================================
0.41/0.42	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
0.41/0.44	c 101            731            168822         12332          264            0              408   437   417
0.41/0.46	c 211            1574           330967         19469          264            0              407   460   411
0.41/0.49	c 332            2499           545275         29848          264            0              26   473   206 
0.51/0.52	c 465            3105           813793         43060          264            0              37   78   53   
0.51/0.57	c 611            4292           1340557        70406          264            0              25   102   69  
0.60/0.62	c 771            5380           1843259        98454          264            0              52   83   67   
0.60/0.68	c 947            6588           2467473        131770         264            0              48   81   67   
0.69/0.73	c 1140           7505           2952166        161520         264            0              62   91   75   
0.69/0.77	c 1352           8707           3415088        184910         264            0              11   92   50   
0.79/0.82	c 1585           9907           3893988        212148         264            0              39   96   66   
0.79/0.89	c 1841           11533          4539980        247906         264            0              31   71   48   
0.89/0.97	c 2122           13615          5348915        289572         264            0              31   83   63   
1.00/1.08	c 2431           15869          6403521        343192         264            0              8   92   68    
1.19/1.22	c 2770           19453          7818677        412599         264            0              8   114   79   
1.29/1.30	c 3142           21495          8550836        448212         264            0              39   98   65   
1.39/1.44	c 3551           25297          9914186        515702         264            0              43   121   77  
1.59/1.64	c 4000           30099          11854702       611047         264            0              43   115   84  
1.69/1.79	c 4493           34137          13379717       689911         264            0              65   109   88  
2.00/2.03	c 5035           40124          15676870       800811         264            0              55   105   84  
2.19/2.22	c 5631           44862          17489027       894250         264            0              64   116   90  
2.39/2.40	c 6286           49960          19259746       984355         264            0              31   83   66   
2.59/2.65	c 7006           56223          21767629       1114933        264            0              56   101   76  
2.79/2.86	c 7798           61957          23714935       1212758        264            0              38   106   74  
3.10/3.12	c 8669           68595          26299608       1341665        264            0              54   125   90  
3.39/3.47	c 9627           78272          29701706       1503771        264            0              39   121   82  
3.79/3.81	c 10680          86734          32984304       1678662        264            0              62   115   85  
4.10/4.15	c 11838          95967          36217967       1845147        264            0              32   110   72  
4.49/4.54	c 13111          107602         39819177       2023198        264            0              12   112   72  
5.00/5.04	c 14511          120896         44681650       2270212        264            0              54   136   90  
5.39/5.49	c 16051          133083         49062798       2505826        264            0              43   113   91  
5.89/5.97	c 17745          147118         53683668       2738605        264            0              56   117   88  
6.59/6.61	c 19608          165194         59743298       3044804        264            0              17   117   86  
7.29/7.36	c 21657          184287         67120814       3425855        264            0              45   118   87  
8.10/8.16	c 23910          205440         74915065       3830869        264            0              35   123   84  
8.89/8.97	c 26388          227718         82839869       4222772        264            0              65   131   100 
9.79/9.86	c 29113          251319         91674269       4672532        264            0              62   126   94  
10.79/10.83	c 32110          276319         101314640      5177816        264            0              59   123   90  
11.79/11.81	c 35406          302845         110755841      5687297        264            0              32   121   85  
13.00/13.03	c 39031          339331         122393981      6255170        264            0              63   145   104 
14.29/14.36	c 43018          374865         135237648      6937686        264            0              25   128   85  
15.79/15.80	c 47403          414606         149301168      7677329        264            0              53   137   95  
17.39/17.46	c 52226          465935         164930188      8439652        264            0              48   147   88  
18.59/18.62	c 57531          501681         175702009      8987085        264            0              12   103   56  
20.89/20.95	c 63366          568040         198313956      10125834       264            0              60   154   103 
22.89/23.00	c 69784          627424         218080904      11146719       264            0              11   138   99  
25.49/25.57	c 76843          701264         242740546      12377216       264            0              48   133   90  
27.89/27.99	c 84607          768919         266222465      13611089       264            0              48   129   89  
30.69/30.76	c 93147          850883         292429416      14955816       264            0              44   136   87  
34.29/34.39	c 102541         958814         326851488      16679800       264            0              46   160   92  
38.10/38.19	c 112874         1073845        363043161      18454366       264            0              50   147   98  
42.10/42.19	c 124240         1186984        401887913      20356893       264            0              58   143   101 
46.49/46.51	c 136742         1314142        442786737      22425893       264            0              41   125   82  
50.69/50.73	c 150494         1434233        483148693      24549518       264            0              36   123   83  
55.49/55.52	c 165621         1559355        531401635      27283212       264            0              49   130   86  
61.49/61.55	c 182260         1718089        591670429      30410238       264            0              38   144   98  
68.79/68.86	c 200562         1916915        662431568      34056588       264            0              38   141   83  
75.49/75.52	c 220694         2105406        727046843      37423116       264            0              42   116   82  
84.18/84.26	c 242839         2349956        814587299      41881864       264            0              40   138   89  
91.48/91.54	c 267198         2590300        898625545      46237129       264            0              41   126   82  
99.48/99.53	c 293992         2861523        999196238      51379279       264            0              53   135   88  
105.67/105.77	c 323465         3090957        1080868022     55673120       264            0              43   129   86  
113.17/113.20	c 355885         3392770        1182739698     60851753       264            0              44   140   96  
121.57/121.65	c 391547         3760148        1295273401     66300366       264            0              35   132   92  
129.77/129.81	c 430775         4080114        1403575001     71885925       264            0              19   109   71  
138.98/139.10	c 473925         4473898        1524973630     78016548       264            0              29   114   69  
144.27/144.35	c 521390         4699376        1592417287     81321016       264            0              13   106   40  
155.57/155.63	c 573601         5132066        1742458878     89262655       264            0              17   102   65  
169.87/169.95	c 631033         5656481        1934300386     99735263       264            0              29   107   64  
178.98/179.08	c 694208         6047068        2052960040     105531483      264            0              7   88   54    
192.67/192.78	c 763700         6568887        2235978707     114779632      264            0              19   146   61  
207.77/207.86	c 840141         7178212        2435713221     124659779      264            0              35   111   69  
226.87/226.98	c 924226         7911313        2696434124     138002680      264            0              8   127   83   
246.48/246.53	c 1016719        8660923        2963203618     151333418      264            0              26   114   77  
267.48/267.51	c 1118461        9457627        3249401896     165833358      264            0              30   138   79  
293.28/293.30	c 1230377        10338614       3598958457     184732395      264            0              29   130   66  
319.88/319.98	c 1353484        11294673       3969989472     203268521      264            0              22   122   84  
352.18/352.20	c 1488901        12557213       4408923215     225392522      264            0              36   137   83  
389.88/389.93	c 1637859        13979642       4922146551     251343529      264            0              30   115   80  
426.78/426.83	c 1801712        15364430       5423430814     277064327      264            0              31   115   70  
461.28/461.34	c 1981950        16652368       5894141357     300797013      264            0              35   120   79  
507.68/507.75	c 2180211        18418799       6529843126     332571728      264            0              32   130   78  
564.78/564.83	c 2398298        20628741       7302267357     371342395      264            0              23   138   79  
624.18/624.27	c 2638193        22896253       8109222482     411827266      264            0              28   168   82  
677.18/677.24	c 2902077        24945608       8822905164     448111257      264            0              29   129   75  
745.38/745.46	c 3192349        27602986       9751883119     496036966      264            0              35   126   81  
822.00/822.06	c 3511648        30569004       10791832056    548809826      264            0              28   133   80  
880.39/880.47	c 3862876        32770850       11582446305    590185088      264            0              41   114   74  
962.79/962.87	c 4249226        36086316       12664081143    644940834      264            0              16   137   66  
1053.70/1053.72	c 4674211        39613352       13893107385    707505469      264            0              23   116   77  
1166.01/1166.10	c 5141694        44061913       15406402069    782761192      264            0              37   141   82  
1295.30/1295.37	c 5655925        49154568       17156882122    869363547      264            0              35   152   89  
1437.20/1437.28	c 6221579        54750974       19084643050    964805461      264            0              33   169   91  
1583.21/1583.26	c 6843798        60409010       21060873236    1067790844     264            0              30   136   86  
1735.41/1735.44	c 7528238        66184294       23174352336    1176252375     264            0              45   133   95  
1898.12/1898.14	c 8281122        73022108       25337859666    1283326618     264            0              6   130   82   
2067.22/2067.21	c 9109294        80219468       27615297578    1399082802     264            0              34   143   83  
2266.03/2266.07	c 10020283       88520893       30262657407    1530695585     264            0              7   151   77   
2493.52/2493.52	c 11022370       97879416       33376663231    1687576980     264            0              34   157   100 
2520.03/2520.00	
2520.03/2520.00	c *** INTERRUPTED ***
2520.03/2520.00	c restarts              : 98          
2520.03/2520.00	c conflicts             : 11111111     (4409 /sec)
2520.03/2520.00	c decisions             : 98875649     (39236 /sec)
2520.03/2520.00	c propagations          : 1705801063  (676905 /sec)
2520.03/2520.00	c root propagations     : 5440        
2520.03/2520.00	c filter calls          : 33740967783    (13389275 /sec)
2520.03/2520.00	c useless filter calls  : 32244021298    (95 %)
2520.03/2520.00	c Memory used           : 73.56 MB
2520.03/2520.00	c CPU time              : 2520 s
2520.03/2520.00	c real time             : 2520.01 s
2520.03/2520.00	
2520.03/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 (15450 MiB free)
  memory of node 1: 16384 MiB (15165 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4396736-1568593695/watcher-4396736-1568593695 -o /tmp/evaluation-result-4396736-1568593695/solver-4396736-1568593695 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node126-1568593658-23494 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4396736-1568593695.xml 

running on 4 cores: 0,2,4,6

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

solver pid=23524, runsolver pid=23521

[startup+0.100197 s]*
/proc/loadavg: 1.75 1.92 2.01 3/199 23525
/proc/meminfo: memFree=31344156/32770624 swapFree=66986028/67108860
[pid=23524] ppid=23521 vsize=38756 memory=15044 CPUtime=0.1 cores=0,2,4,6
/proc/23524/stat : 23524 (cosoco) R 23521 23524 23463 0 -1 4202496 3925 0 0 0 10 0 0 0 20 0 1 0 435637344 39686144 3761 33554432000 4194304 6211092 140727916445024 140727916441560 139695225987278 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 39399424 140727916450827 140727916450929 140727916450929 140727916453838 0
/proc/23524/statm: 9689 3761 808 493 0 2994 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 38756 KiB
Current children cumulated memory: 15044 KiB

[startup+0.209613 s]*
/proc/loadavg: 1.75 1.92 2.01 3/199 23525
/proc/meminfo: memFree=31326548/32770624 swapFree=66986028/67108860
[pid=23524] ppid=23521 vsize=50408 memory=26660 CPUtime=0.2 cores=0,2,4,6
/proc/23524/stat : 23524 (cosoco) R 23521 23524 23463 0 -1 4202496 6848 0 0 0 20 0 0 0 20 0 1 0 435637344 51617792 6665 33554432000 4194304 6211092 140727916445024 140727916441560 139695222508517 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 39399424 140727916450827 140727916450929 140727916450929 140727916453838 0
/proc/23524/statm: 12602 6665 808 493 0 5907 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 50408 KiB
Current children cumulated memory: 26660 KiB

[startup+0.309797 s]*
/proc/loadavg: 1.75 1.92 2.01 3/199 23525
/proc/meminfo: memFree=31324032/32770624 swapFree=66986028/67108860
[pid=23524] ppid=23521 vsize=52344 memory=28508 CPUtime=0.3 cores=0,2,4,6
/proc/23524/stat : 23524 (cosoco) R 23521 23524 23463 0 -1 4202496 7318 0 0 0 30 0 0 0 20 0 1 0 435637344 53600256 7127 33554432000 4194304 6211092 140727916445024 140727916442296 5707846 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 39399424 140727916450827 140727916450929 140727916450929 140727916453838 0
/proc/23524/statm: 13086 7127 808 493 0 6391 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 52344 KiB
Current children cumulated memory: 28508 KiB

[startup+0.700407 s]
/proc/loadavg: 1.75 1.92 2.01 3/199 23525
/proc/meminfo: memFree=31301208/32770624 swapFree=66986028/67108860
[pid=23524] ppid=23521 vsize=75320 memory=51652 CPUtime=0.69 cores=0,2,4,6
/proc/23524/stat : 23524 (cosoco) R 23521 23524 23463 0 -1 4202496 13148 0 0 0 68 1 0 0 20 0 1 0 435637344 77127680 12913 33554432000 4194304 6211092 140727916445024 140727916442296 5017373 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 39399424 140727916450827 140727916450929 140727916450929 140727916453838 0
/proc/23524/statm: 18830 12913 854 493 0 12135 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 75320 KiB
Current children cumulated memory: 51652 KiB

[startup+1.50039 s]
/proc/loadavg: 1.75 1.92 2.01 3/199 23525
/proc/meminfo: memFree=31301208/32770624 swapFree=66986028/67108860
[pid=23524] ppid=23521 vsize=75320 memory=51652 CPUtime=1.49 cores=0,2,4,6
/proc/23524/stat : 23524 (cosoco) R 23521 23524 23463 0 -1 4202496 13148 0 0 0 148 1 0 0 20 0 1 0 435637344 77127680 12913 33554432000 4194304 6211092 140727916445024 140727916442984 5017472 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 39399424 140727916450827 140727916450929 140727916450929 140727916453838 0
/proc/23524/statm: 18830 12913 854 493 0 12135 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 75320 KiB
Current children cumulated memory: 51652 KiB

[startup+3.10969 s]
/proc/loadavg: 1.61 1.89 2.00 3/199 23525
/proc/meminfo: memFree=31300816/32770624 swapFree=66986028/67108860
[pid=23524] ppid=23521 vsize=75320 memory=51832 CPUtime=3.1 cores=0,2,4,6
/proc/23524/stat : 23524 (cosoco) R 23521 23524 23463 0 -1 4202496 21350 0 0 0 309 1 0 0 20 0 1 0 435637344 77127680 12958 33554432000 4194304 6211092 140727916445024 140727916442984 5397375 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 39399424 140727916450827 140727916450929 140727916450929 140727916453838 0
/proc/23524/statm: 18830 12958 854 493 0 12135 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 75320 KiB
Current children cumulated memory: 51832 KiB

[startup+6.30035 s]
/proc/loadavg: 1.61 1.89 2.00 3/199 23525
/proc/meminfo: memFree=31301064/32770624 swapFree=66986028/67108860
[pid=23524] ppid=23521 vsize=75320 memory=51832 CPUtime=6.29 cores=0,2,4,6
/proc/23524/stat : 23524 (cosoco) R 23521 23524 23463 0 -1 4202496 29555 0 0 0 627 2 0 0 20 0 1 0 435637344 77127680 12958 33554432000 4194304 6211092 140727916445024 140727916442984 5397375 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 39399424 140727916450827 140727916450929 140727916450929 140727916453838 0
/proc/23524/statm: 18830 12958 854 493 0 12135 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 75320 KiB
Current children cumulated memory: 51832 KiB

[startup+12.7004 s]
/proc/loadavg: 1.64 1.89 2.00 3/199 23525
/proc/meminfo: memFree=31301188/32770624 swapFree=66986028/67108860
[pid=23524] ppid=23521 vsize=75320 memory=51832 CPUtime=12.69 cores=0,2,4,6
/proc/23524/stat : 23524 (cosoco) R 23521 23524 23463 0 -1 4202496 37760 0 0 0 1267 2 0 0 20 0 1 0 435637344 77127680 12958 33554432000 4194304 6211092 140727916445024 140727916442984 5017252 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 39399424 140727916450827 140727916450929 140727916450929 140727916453838 0
/proc/23524/statm: 18830 12958 854 493 0 12135 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 75320 KiB
Current children cumulated memory: 51832 KiB

[startup+25.5004 s]
/proc/loadavg: 1.80 1.92 2.01 3/200 23530
/proc/meminfo: memFree=31300192/32770624 swapFree=66986032/67108860
[pid=23524] ppid=23521 vsize=75320 memory=51832 CPUtime=25.49 cores=0,2,4,6
/proc/23524/stat : 23524 (cosoco) R 23521 23524 23463 0 -1 4202496 53534 0 0 0 2546 3 0 0 20 0 1 0 435637344 77127680 12958 33554432000 4194304 6211092 140727916445024 140727916442984 5404016 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 39399424 140727916450827 140727916450929 140727916450929 140727916453838 0
/proc/23524/statm: 18830 12958 854 493 0 12135 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 75320 KiB
Current children cumulated memory: 51832 KiB

[startup+51.1096 s]
/proc/loadavg: 1.87 1.92 2.01 3/200 23530
/proc/meminfo: memFree=31300188/32770624 swapFree=66986032/67108860
[pid=23524] ppid=23521 vsize=75320 memory=51832 CPUtime=51.1 cores=0,2,4,6
/proc/23524/stat : 23524 (cosoco) R 23521 23524 23463 0 -1 4202496 62374 0 0 0 5107 3 0 0 20 0 1 0 435637344 77127680 12958 33554432000 4194304 6211092 140727916445024 140727916442984 5017564 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 39399424 140727916450827 140727916450929 140727916450929 140727916453838 0
/proc/23524/statm: 18830 12958 854 493 0 12135 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 75320 KiB
Current children cumulated memory: 51832 KiB

[startup+102.3 s]
/proc/loadavg: 1.94 1.93 2.01 3/200 23534
/proc/meminfo: memFree=31299364/32770624 swapFree=66986032/67108860
[pid=23524] ppid=23521 vsize=75320 memory=51836 CPUtime=102.28 cores=0,2,4,6
/proc/23524/stat : 23524 (cosoco) R 23521 23524 23463 0 -1 4202496 70604 0 0 0 10225 3 0 0 20 0 1 0 435637344 77127680 12959 33554432000 4194304 6211092 140727916445024 140727916442984 5186312 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 39399424 140727916450827 140727916450929 140727916450929 140727916453838 0
/proc/23524/statm: 18830 12959 854 493 0 12135 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 75320 KiB
Current children cumulated memory: 51836 KiB

[startup+162.3 s]
/proc/loadavg: 1.98 1.95 2.01 3/201 23548
/proc/meminfo: memFree=31298452/32770624 swapFree=66986052/67108860
[pid=23524] ppid=23521 vsize=75320 memory=51836 CPUtime=162.27 cores=0,2,4,6
/proc/23524/stat : 23524 (cosoco) R 23521 23524 23463 0 -1 4202496 70837 0 0 0 16224 3 0 0 20 0 1 0 435637344 77127680 12959 33554432000 4194304 6211092 140727916445024 140727916442984 5389428 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 39399424 140727916450827 140727916450929 140727916450929 140727916453838 0
/proc/23524/statm: 18830 12959 854 493 0 12135 0
Current children cumulated CPU time: 162.27 s
Current children cumulated vsize: 75320 KiB
Current children cumulated memory: 51836 KiB

[startup+222.3 s]
/proc/loadavg: 1.99 1.96 2.01 3/201 23552
/proc/meminfo: memFree=31300212/32770624 swapFree=66986052/67108860
[pid=23524] ppid=23521 vsize=75320 memory=51836 CPUtime=222.27 cores=0,2,4,6
/proc/23524/stat : 23524 (cosoco) R 23521 23524 23463 0 -1 4202496 71065 0 0 0 22224 3 0 0 20 0 1 0 435637344 77127680 12959 33554432000 4194304 6211092 140727916445024 140727916442984 5397352 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 39399424 140727916450827 140727916450929 140727916450929 140727916453838 0
/proc/23524/statm: 18830 12959 854 493 0 12135 0
Current children cumulated CPU time: 222.27 s
Current children cumulated vsize: 75320 KiB
Current children cumulated memory: 51836 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 1.96 2.01 3/201 23556
/proc/meminfo: memFree=31299612/32770624 swapFree=66986052/67108860
[pid=23524] ppid=23521 vsize=75320 memory=51836 CPUtime=282.28 cores=0,2,4,6
/proc/23524/stat : 23524 (cosoco) R 23521 23524 23463 0 -1 4202496 71293 0 0 0 28225 3 0 0 20 0 1 0 435637344 77127680 12959 33554432000 4194304 6211092 140727916445024 140727916442984 5017508 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 39399424 140727916450827 140727916450929 140727916450929 140727916453838 0
/proc/23524/statm: 18830 12959 854 493 0 12135 0
Current children cumulated CPU time: 282.28 s
Current children cumulated vsize: 75320 KiB
Current children cumulated memory: 51836 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 1.97 2.01 3/201 23562
/proc/meminfo: memFree=31298964/32770624 swapFree=66986052/67108860
[pid=23524] ppid=23521 vsize=75320 memory=51836 CPUtime=342.28 cores=0,2,4,6
/proc/23524/stat : 23524 (cosoco) R 23521 23524 23463 0 -1 4202496 71520 0 0 0 34225 3 0 0 20 0 1 0 435637344 77127680 12959 33554432000 4194304 6211092 140727916445024 140727916442984 5389428 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 39399424 140727916450827 140727916450929 140727916450929 140727916453838 0
/proc/23524/statm: 18830 12959 854 493 0 12135 0
Current children cumulated CPU time: 342.28 s
Current children cumulated vsize: 75320 KiB
Current children cumulated memory: 51836 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 1.97 2.01 3/201 23566
/proc/meminfo: memFree=31299924/32770624 swapFree=66986052/67108860
[pid=23524] ppid=23521 vsize=75320 memory=51836 CPUtime=402.28 cores=0,2,4,6
/proc/23524/stat : 23524 (cosoco) R 23521 23524 23463 0 -1 4202496 71748 0 0 0 40225 3 0 0 20 0 1 0 435637344 77127680 12959 33554432000 4194304 6211092 140727916445024 140727916442984 5017277 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 39399424 140727916450827 140727916450929 140727916450929 140727916453838 0
/proc/23524/statm: 18830 12959 854 493 0 12135 0
Current children cumulated CPU time: 402.28 s
Current children cumulated vsize: 75320 KiB
Current children cumulated memory: 51836 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 1.98 2.01 3/200 23570
/proc/meminfo: memFree=31300208/32770624 swapFree=66986052/67108860
[pid=23524] ppid=23521 vsize=75320 memory=51836 CPUtime=462.28 cores=0,2,4,6
/proc/23524/stat : 23524 (cosoco) R 23521 23524 23463 0 -1 4202496 71976 0 0 0 46225 3 0 0 20 0 1 0 435637344 77127680 12959 33554432000 4194304 6211092 140727916445024 140727916442984 5389444 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 39399424 140727916450827 140727916450929 140727916450929 140727916453838 0
/proc/23524/statm: 18830 12959 854 493 0 12135 0
Current children cumulated CPU time: 462.28 s
Current children cumulated vsize: 75320 KiB
Current children cumulated memory: 51836 KiB


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

/proc/23524/statm: 18830 12959 854 493 0 12135 0
Current children cumulated CPU time: 1722.31 s
Current children cumulated vsize: 75320 KiB
Current children cumulated memory: 51836 KiB

[startup+1782.3 s]
/proc/loadavg: 2.47 2.20 2.09 3/200 23691
/proc/meminfo: memFree=31298488/32770624 swapFree=66986092/67108860
[pid=23524] ppid=23521 vsize=75320 memory=51836 CPUtime=1782.31 cores=0,2,4,6
/proc/23524/stat : 23524 (cosoco) R 23521 23524 23463 0 -1 4202496 76829 0 0 0 178227 4 0 0 20 0 1 0 435637344 77127680 12959 33554432000 4194304 6211092 140727916445024 140727916442984 5017252 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 39399424 140727916450827 140727916450929 140727916450929 140727916453838 0
/proc/23524/statm: 18830 12959 854 493 0 12135 0
Current children cumulated CPU time: 1782.31 s
Current children cumulated vsize: 75320 KiB
Current children cumulated memory: 51836 KiB

[startup+1842.3 s]
/proc/loadavg: 2.27 2.20 2.10 3/200 23696
/proc/meminfo: memFree=31299024/32770624 swapFree=66986096/67108860
[pid=23524] ppid=23521 vsize=75320 memory=51836 CPUtime=1842.31 cores=0,2,4,6
/proc/23524/stat : 23524 (cosoco) R 23521 23524 23463 0 -1 4202496 77038 0 0 0 184227 4 0 0 20 0 1 0 435637344 77127680 12959 33554432000 4194304 6211092 140727916445024 140727916442984 5009001 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 39399424 140727916450827 140727916450929 140727916450929 140727916453838 0
/proc/23524/statm: 18830 12959 854 493 0 12135 0
Current children cumulated CPU time: 1842.31 s
Current children cumulated vsize: 75320 KiB
Current children cumulated memory: 51836 KiB

[startup+1902.3 s]
/proc/loadavg: 2.10 2.16 2.09 3/200 23700
/proc/meminfo: memFree=31299776/32770624 swapFree=66986096/67108860
[pid=23524] ppid=23521 vsize=75320 memory=51836 CPUtime=1902.31 cores=0,2,4,6
/proc/23524/stat : 23524 (cosoco) R 23521 23524 23463 0 -1 4202496 77266 0 0 0 190227 4 0 0 20 0 1 0 435637344 77127680 12959 33554432000 4194304 6211092 140727916445024 140727916442984 5389447 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 39399424 140727916450827 140727916450929 140727916450929 140727916453838 0
/proc/23524/statm: 18830 12959 854 493 0 12135 0
Current children cumulated CPU time: 1902.31 s
Current children cumulated vsize: 75320 KiB
Current children cumulated memory: 51836 KiB

[startup+1962.3 s]
/proc/loadavg: 2.04 2.13 2.08 3/199 23713
/proc/meminfo: memFree=31298556/32770624 swapFree=66986104/67108860
[pid=23524] ppid=23521 vsize=75320 memory=51836 CPUtime=1962.31 cores=0,2,4,6
/proc/23524/stat : 23524 (cosoco) R 23521 23524 23463 0 -1 4202496 77468 0 0 0 196227 4 0 0 20 0 1 0 435637344 77127680 12959 33554432000 4194304 6211092 140727916445024 140727916442984 5017277 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 39399424 140727916450827 140727916450929 140727916450929 140727916453838 0
/proc/23524/statm: 18830 12959 854 493 0 12135 0
Current children cumulated CPU time: 1962.31 s
Current children cumulated vsize: 75320 KiB
Current children cumulated memory: 51836 KiB

[startup+2022.3 s]
/proc/loadavg: 2.01 2.11 2.08 3/200 23739
/proc/meminfo: memFree=31297204/32770624 swapFree=66986124/67108860
[pid=23524] ppid=23521 vsize=75320 memory=51836 CPUtime=2022.32 cores=0,2,4,6
/proc/23524/stat : 23524 (cosoco) R 23521 23524 23463 0 -1 4202496 77673 0 0 0 202228 4 0 0 20 0 1 0 435637344 77127680 12959 33554432000 4194304 6211092 140727916445024 140727916442984 5389444 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 39399424 140727916450827 140727916450929 140727916450929 140727916453838 0
/proc/23524/statm: 18830 12959 854 493 0 12135 0
Current children cumulated CPU time: 2022.32 s
Current children cumulated vsize: 75320 KiB
Current children cumulated memory: 51836 KiB

[startup+2082.3 s]
/proc/loadavg: 2.01 2.09 2.07 3/200 23743
/proc/meminfo: memFree=31297344/32770624 swapFree=66986124/67108860
[pid=23524] ppid=23521 vsize=75320 memory=51836 CPUtime=2082.32 cores=0,2,4,6
/proc/23524/stat : 23524 (cosoco) R 23521 23524 23463 0 -1 4202496 77901 0 0 0 208228 4 0 0 20 0 1 0 435637344 77127680 12959 33554432000 4194304 6211092 140727916445024 140727916442984 5017373 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 39399424 140727916450827 140727916450929 140727916450929 140727916453838 0
/proc/23524/statm: 18830 12959 854 493 0 12135 0
Current children cumulated CPU time: 2082.32 s
Current children cumulated vsize: 75320 KiB
Current children cumulated memory: 51836 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 2.07 2.07 3/200 23749
/proc/meminfo: memFree=31297928/32770624 swapFree=66986124/67108860
[pid=23524] ppid=23521 vsize=75320 memory=51836 CPUtime=2142.32 cores=0,2,4,6
/proc/23524/stat : 23524 (cosoco) R 23521 23524 23463 0 -1 4202496 78114 0 0 0 214228 4 0 0 20 0 1 0 435637344 77127680 12959 33554432000 4194304 6211092 140727916445024 140727916442984 5409453 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 39399424 140727916450827 140727916450929 140727916450929 140727916453838 0
/proc/23524/statm: 18830 12959 854 493 0 12135 0
Current children cumulated CPU time: 2142.32 s
Current children cumulated vsize: 75320 KiB
Current children cumulated memory: 51836 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 2.06 2.06 3/200 23753
/proc/meminfo: memFree=31298356/32770624 swapFree=66986124/67108860
[pid=23524] ppid=23521 vsize=75320 memory=51836 CPUtime=2202.32 cores=0,2,4,6
/proc/23524/stat : 23524 (cosoco) R 23521 23524 23463 0 -1 4202496 78327 0 0 0 220228 4 0 0 20 0 1 0 435637344 77127680 12959 33554432000 4194304 6211092 140727916445024 140727916442984 5017292 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 39399424 140727916450827 140727916450929 140727916450929 140727916453838 0
/proc/23524/statm: 18830 12959 854 493 0 12135 0
Current children cumulated CPU time: 2202.32 s
Current children cumulated vsize: 75320 KiB
Current children cumulated memory: 51836 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 2.05 2.06 3/200 23757
/proc/meminfo: memFree=31298048/32770624 swapFree=66986124/67108860
[pid=23524] ppid=23521 vsize=75320 memory=51836 CPUtime=2262.32 cores=0,2,4,6
/proc/23524/stat : 23524 (cosoco) R 23521 23524 23463 0 -1 4202496 78534 0 0 0 226228 4 0 0 20 0 1 0 435637344 77127680 12959 33554432000 4194304 6211092 140727916445024 140727916442984 5017472 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 39399424 140727916450827 140727916450929 140727916450929 140727916453838 0
/proc/23524/statm: 18830 12959 854 493 0 12135 0
Current children cumulated CPU time: 2262.32 s
Current children cumulated vsize: 75320 KiB
Current children cumulated memory: 51836 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/200 23763
/proc/meminfo: memFree=31298308/32770624 swapFree=66986124/67108860
[pid=23524] ppid=23521 vsize=75320 memory=51836 CPUtime=2322.32 cores=0,2,4,6
/proc/23524/stat : 23524 (cosoco) R 23521 23524 23463 0 -1 4202496 78755 0 0 0 232228 4 0 0 20 0 1 0 435637344 77127680 12959 33554432000 4194304 6211092 140727916445024 140727916442984 5008824 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 39399424 140727916450827 140727916450929 140727916450929 140727916453838 0
/proc/23524/statm: 18830 12959 854 493 0 12135 0
Current children cumulated CPU time: 2322.32 s
Current children cumulated vsize: 75320 KiB
Current children cumulated memory: 51836 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/200 23767
/proc/meminfo: memFree=31298800/32770624 swapFree=66986124/67108860
[pid=23524] ppid=23521 vsize=75320 memory=51836 CPUtime=2382.32 cores=0,2,4,6
/proc/23524/stat : 23524 (cosoco) R 23521 23524 23463 0 -1 4202496 78956 0 0 0 238228 4 0 0 20 0 1 0 435637344 77127680 12959 33554432000 4194304 6211092 140727916445024 140727916442984 5409453 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 39399424 140727916450827 140727916450929 140727916450929 140727916453838 0
/proc/23524/statm: 18830 12959 854 493 0 12135 0
Current children cumulated CPU time: 2382.32 s
Current children cumulated vsize: 75320 KiB
Current children cumulated memory: 51836 KiB

[startup+2442.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/200 23771
/proc/meminfo: memFree=31298812/32770624 swapFree=66986124/67108860
[pid=23524] ppid=23521 vsize=75320 memory=51836 CPUtime=2442.32 cores=0,2,4,6
/proc/23524/stat : 23524 (cosoco) R 23521 23524 23463 0 -1 4202496 79159 0 0 0 244228 4 0 0 20 0 1 0 435637344 77127680 12959 33554432000 4194304 6211092 140727916445024 140727916442984 5017277 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 39399424 140727916450827 140727916450929 140727916450929 140727916453838 0
/proc/23524/statm: 18830 12959 854 493 0 12135 0
Current children cumulated CPU time: 2442.32 s
Current children cumulated vsize: 75320 KiB
Current children cumulated memory: 51836 KiB

[startup+2502.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/200 23777
/proc/meminfo: memFree=31298304/32770624 swapFree=66986124/67108860
[pid=23524] ppid=23521 vsize=75320 memory=51836 CPUtime=2502.32 cores=0,2,4,6
/proc/23524/stat : 23524 (cosoco) R 23521 23524 23463 0 -1 4202496 79386 0 0 0 250228 4 0 0 20 0 1 0 435637344 77127680 12959 33554432000 4194304 6211092 140727916445024 140727916442984 5409461 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 39399424 140727916450827 140727916450929 140727916450929 140727916453838 0
/proc/23524/statm: 18830 12959 854 493 0 12135 0
Current children cumulated CPU time: 2502.32 s
Current children cumulated vsize: 75320 KiB
Current children cumulated memory: 51836 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 2.00 2.02 2.05 2/198 23777
/proc/meminfo: memFree=31304588/32770624 swapFree=66986124/67108860
[pid=23524] ppid=23521 vsize=75320 memory=51836 CPUtime=2520.03 cores=0,2,4,6
/proc/23524/stat : 23524 (cosoco) R 23521 23524 23463 0 -1 4202496 79590 0 0 0 251999 4 0 0 20 0 1 0 435637344 77127680 12959 33554432000 4194304 6211092 140727916445024 140727916442984 5009195 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 39399424 140727916450827 140727916450929 140727916450929 140727916453838 0
/proc/23524/statm: 18830 12959 854 493 0 12135 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 75320 KiB
Current children cumulated memory: 51836 KiB

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

[startup+2520.01 s]
# the end of solver process 23524 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2520 s, system=0.046 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
CPU system time (s): 0.046
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 75320
Max. memory (cumulated for all children) (KiB): 51836

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2520
system time used= 0.046
maximum resident set size= 51900
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 79641
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= 24
involuntary context switches= 658


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

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.65858 second user time and 17.5709 second system time

The end

Launcher Data 

Begin job on node126 at 2019-09-16 02:27:38
IDJOB=4396736
IDBENCH=139111
IDSOLVER=2848
FILE ID=node126/4396736-1568593695
RUNJOBID= node126-1568593658-23494
PBS_JOBID= 21703345
Free space on /tmp= 55704 MiB

SOLVER NAME= cosoco 2.0
BENCH NAME= XCSP17/LatinSquare/LatinSquare-xcsp2-qcp25/qcp-25-264-08_X2.xml
COMMAND LINE= cosoco -lc -model -restarts -stick BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4396736-1568593695/watcher-4396736-1568593695 -o /tmp/evaluation-result-4396736-1568593695/solver-4396736-1568593695 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node126-1568593658-23494 --watchdog 2580  cosoco -lc -model -restarts -stick HOME/instance-4396736-1568593695.xml

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

MD5SUM BENCH= e61b201f6225aab3795ad5f045ee307f
RANDOM SEED=981316346

node126.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.45
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.56
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.45
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.56
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.45
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.56
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.45
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        31350764 kB
MemAvailable:   31895164 kB
Buffers:           14780 kB
Cached:           797308 kB
SwapCached:         3260 kB
Active:           499208 kB
Inactive:         322108 kB
Active(anon):      25992 kB
Inactive(anon):    15336 kB
Active(file):     473216 kB
Inactive(file):   306772 kB
Unevictable:      109048 kB
Mlocked:          109048 kB
SwapTotal:      67108860 kB
SwapFree:       66986028 kB
Dirty:              5736 kB
Writeback:             0 kB
AnonPages:        116420 kB
Mapped:            40624 kB
Shmem:             22440 kB
Slab:             189728 kB
SReclaimable:     160492 kB
SUnreclaim:        29236 kB
KernelStack:        3280 kB
PageTables:         6732 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     539012 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     67584 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      130432 kB
DirectMap2M:    33415168 kB

Free space on /tmp at the end= 55700 MiB
End job on node126 at 2019-09-16 03:09:38