Trace number 4389564

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? (TO) 2519.44 2520.01

General information on the benchmark

NameLatinSquare/LatinSquare-m1-gp/
qwh-o30-h374-19.xml
MD5SUM3875648f967e99deb98809a056dae84c
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 benchmark32.512
Satisfiable
(Un)Satisfiability was proved
Number of variables900
Number of constraints2
Number of domains1
Minimum domain size30
Maximum domain size30
Distribution of domain sizes[{"size":30,"count":900}]
Minimum variable degree1
Maximum variable degree2
Distribution of variable degrees[{"degree":1,"count":374},{"degree":2,"count":526}]
Minimum constraint arity526
Maximum constraint arity900
Distribution of constraint arities[{"arity":526,"count":1},{"arity":900,"count":1}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"allDifferent","count":1},{"type":"instantiation","count":1}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.02	c root propagations     : 4365        
0.00/0.02	c restarts enabled, print stats at every restarts
0.00/0.02	c
0.00/0.02	c
0.00/0.02	c
0.00/0.02	c This is cosoco 2.00 --  
0.00/0.02	c
0.00/0.02	c command line: cosoco -lc -model -restarts -stick HOME/instance-4389564-1568358395.xml 
0.00/0.02	c ========================================[ Problem Statistics ]===========================================
0.00/0.02	c |                                                                                                       
0.00/0.02	c |  Parse time        :         0.01 s 
0.00/0.02	c |
0.00/0.02	c |               Variables: 900
0.00/0.02	c |            Domain Sizes: 30..30
0.00/0.02	c |
0.00/0.02	c |             Constraints: 586
0.00/0.02	c |                   Arity: 1..30  -- Unary: 526
0.00/0.02	c | 
0.00/0.02	c |                   Types: 
0.00/0.02	c |                          All Different: 60
0.00/0.02	c |                          Unary: 526
0.00/0.02	c |                          
0.00/0.02	c =========================================================================================================
0.00/0.02	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
0.10/0.11	c 101            1268           18842          68727          899            0              631   672   650
0.21/0.23	c 211            3658           42471          162968         899            0              318   686   540
0.21/0.30	c 332            4950           55424          217053         899            0              518   686   662
0.31/0.38	c 465            6249           70578          273751         899            0              518   653   627
0.41/0.42	c 611            7273           77068          299978         899            0              532   576   559
0.41/0.51	c 771            8825           94474          372871         899            0              545   698   667
0.60/0.69	c 947            10663          126003         519139         899            0              497   723   664
0.79/0.85	c 1140           12545          155031         658147         899            0              542   720   675
1.00/1.04	c 1352           14463          190610         817023         899            0              552   709   675
1.19/1.21	c 1585           16802          220887         951373         899            0              562   720   689
1.39/1.44	c 1841           18863          261123         1163216        899            0              651   721   685
1.69/1.71	c 2122           21551          309016         1389681        899            0              653   733   685
2.00/2.03	c 2431           24576          366627         1682848        899            0              629   722   697
2.19/2.21	c 2770           26698          399214         1859214        899            0              617   729   707
2.39/2.42	c 3142           29139          437082         2046072        899            0              636   733   704
2.69/2.70	c 3551           32088          487699         2316829        899            0              563   726   699
3.10/3.17	c 4000           35992          570615         2768022        899            0              552   738   695
3.49/3.59	c 4493           39401          646166         3164037        899            0              555   735   706
3.99/4.05	c 5035           43546          729087         3542455        899            0              557   724   687
4.48/4.56	c 5631           48318          821053         4006194        899            0              604   723   682
4.88/4.99	c 6286           52313          896829         4426107        899            0              596   729   690
5.58/5.63	c 7006           57002          1009522        4982234        899            0              584   718   683
6.18/6.20	c 7798           62265          1111611        5510913        899            0              605   712   683
6.78/6.87	c 8669           68726          1230908        6085415        899            0              590   703   663
7.38/7.49	c 9627           73018          1339038        6654534        899            0              592   707   684
8.28/8.36	c 10680          80834          1494774        7437555        899            0              601   718   674
9.38/9.49	c 11838          87828          1693831        8415284        899            0              573   717   667
10.18/10.23	c 13111          95604          1826418        9099950        899            0              581   736   700
10.99/11.06	c 14511          103579         1976026        9862542        899            0              569   728   678
12.18/12.29	c 16051          113834         2194960        10992600       899            0              568   716   672
13.58/13.65	c 17745          126285         2434914        12376872       899            0              557   750   700
15.68/15.74	c 19608          138856         2791710        14491007       899            0              565   728   667
16.88/16.95	c 21657          151196         3007660        15614328       899            0              564   746   702
19.09/19.17	c 23910          168160         3402392        17615939       899            0              664   746   701
21.28/21.30	c 26388          186235         3779782        19608208       899            0              661   731   694
23.68/23.71	c 29113          213933         4218701        21866792       899            0              633   766   722
26.18/26.20	c 32110          236068         4661702        24016251       899            0              626   742   692
28.78/28.82	c 35406          258109         5127690        26506163       899            0              651   733   697
31.68/31.78	c 39031          284664         5656990        29365567       899            0              661   769   712
34.78/34.81	c 43018          314104         6201985        32355955       899            0              595   763   710
38.38/38.48	c 47403          344969         6853775        35844990       899            0              585   756   711
42.48/42.57	c 52226          380621         7582966        39804163       899            0              617   753   715
47.37/47.44	c 57531          424043         8456106        44488567       899            0              606   762   713
52.87/52.92	c 63366          469960         9439381        49785363       899            0              599   757   716
57.67/57.77	c 69784          517568         10313059       54443026       899            0              584   757   715
61.77/61.89	c 76843          551512         11044185       58495690       899            0              623   735   701
67.47/67.59	c 84607          598009         12051152       64373876       899            0              588   721   686
72.87/72.90	c 93147          643961         12992871       69265967       899            0              564   734   690
78.97/79.06	c 102541         687585         14076814       75194570       899            0              590   734   689
86.26/86.36	c 112874         749082         15373748       82268652       899            0              619   735   699
92.56/92.66	c 124240         800247         16484794       88476108       899            0              623   723   689
103.97/104.02	c 136742         874121         18465405       99302642       899            0              655   736   699
112.16/112.27	c 150494         945897         19929043       107581442      899            0              625   736   693
121.86/121.96	c 165621         1022335        21638131       116536690      899            0              588   719   683
137.55/137.62	c 182260         1145091        24442570       130489567      899            0              588   740   698
150.06/150.14	c 200562         1259534        26672919       142483876      899            0              606   748   691
165.45/165.54	c 220694         1374567        29412012       157375306      899            0              580   726   682
183.44/183.52	c 242839         1486981        32559249       174885890      899            0              578   722   684
200.34/200.43	c 267198         1621089        35577017       191131162      899            0              576   715   673
221.23/221.34	c 293992         1815412        39319672       208870327      899            0              553   728   685
244.34/244.40	c 323465         2030770        43443313       227705217      899            0              555   717   657
268.33/268.42	c 355885         2221221        47739824       250075340      899            0              559   726   669
296.12/296.22	c 391547         2438669        52658053       275338389      899            0              557   738   691
333.41/333.59	c 430775         2733036        59255337       308148497      899            0              574   731   682
365.61/365.76	c 473925         2998333        65033457       337573389      899            0              584   743   685
399.80/399.96	c 521390         3301219        71143819       369747545      899            0              561   766   716
437.19/437.39	c 573601         3659326        77874821       406298712      899            0              580   779   724
488.99/489.15	c 631033         4092428        87063181       456372665      899            0              619   765   706
548.66/548.83	c 694208         4519252        97581697       509144385      899            0              552   752   703
601.55/601.72	c 763700         4906086        106928735      559914770      899            0              555   748   702
657.04/657.22	c 840141         5306176        116697010      612144197      899            0              549   726   688
731.83/732.09	c 924226         5847023        129986149      679228677      899            0              561   747   685
826.20/826.44	c 1016719        6499387        146632066      770507802      899            0              552   769   714
927.47/927.70	c 1118461        7296006        164526506      865702533      899            0              553   753   694
1038.86/1039.15	c 1230377        8133067        184149933      972511149      899            0              560   742   692
1140.93/1141.23	c 1353484        8954151        202248116      1071008168     899            0              600   747   694
1225.21/1225.54	c 1488901        9531655        217057375      1155962244     899            0              590   740   698
1350.69/1351.09	c 1637859        10457934       239031513      1278903227     899            0              619   761   698
1476.45/1476.83	c 1801712        11511366       261248036      1394072814     899            0              586   755   694
1616.02/1616.48	c 1981950        12664207       285922467      1527182790     899            0              580   745   697
1761.18/1761.60	c 2180211        13788836       311536855      1661455593     899            0              572   741   682
1934.35/1934.86	c 2398298        15174097       342372864      1822827172     899            0              580   754   695
2166.30/2166.88	c 2638193        16970255       383100176      2046171381     899            0              627   758   699
2403.25/2403.87	c 2902077        18752948       424876763      2279928465     899            0              641   749   696
2519.43/2520.01	
2519.43/2520.01	c *** INTERRUPTED ***
2519.43/2520.01	c restarts              : 84          
2519.43/2520.01	c conflicts             : 3039677      (1207 /sec)
2519.43/2520.01	c decisions             : 19717869     (7826 /sec)
2519.43/2520.01	c propagations          : 2390348776  (948772 /sec)
2519.43/2520.01	c root propagations     : 4365        
2519.43/2520.01	c filter calls          : 445327108      (176758 /sec)
2519.43/2520.01	c useless filter calls  : 113615804      (25 %)
2519.43/2520.01	c Memory used           : 32.39 MB
2519.43/2520.01	c CPU time              : 2519.41 s
2519.43/2520.01	c real time             : 2520 s
2519.43/2520.01	
2519.43/2520.01	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 (12842 MiB free)
  memory of node 1: 16384 MiB (13283 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4389564-1568358395/watcher-4389564-1568358395 -o /tmp/evaluation-result-4389564-1568358395/solver-4389564-1568358395 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node137-1568358353-28865 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4389564-1568358395.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
solver pid=28889, runsolver pid=28886
Current StackSize limit: 8192 KiB


[startup+0.100199 s]*
/proc/loadavg: 1.00 1.03 1.33 3/199 28896
/proc/meminfo: memFree=26742888/32770624 swapFree=66927216/67108860
[pid=28889] ppid=28886 vsize=32372 memory=8936 CPUtime=0.1 cores=0,2,4,6
/proc/28889/stat : 28889 (cosoco) R 28886 28889 28834 0 -1 4202496 2409 0 0 0 10 0 0 0 20 0 1 0 412086847 33148928 2234 33554432000 4194304 6210612 140731688874336 140731688870872 5082010 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 33587200 140731688883211 140731688883313 140731688883313 140731688886222 0
/proc/28889/statm: 8093 2234 859 493 0 1398 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 32372 KiB
Current children cumulated memory: 8936 KiB

[startup+0.209755 s]*
/proc/loadavg: 1.00 1.03 1.33 3/199 28896
/proc/meminfo: memFree=26741804/32770624 swapFree=66927216/67108860
[pid=28889] ppid=28886 vsize=32900 memory=9200 CPUtime=0.21 cores=0,2,4,6
/proc/28889/stat : 28889 (cosoco) R 28886 28889 28834 0 -1 4202496 2522 0 0 0 21 0 0 0 20 0 1 0 412086847 33689600 2300 33554432000 4194304 6210612 140731688874336 140731688870872 5082029 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 33587200 140731688883211 140731688883313 140731688883313 140731688886222 0
/proc/28889/statm: 8225 2300 862 493 0 1530 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 32900 KiB
Current children cumulated memory: 9200 KiB

[startup+0.309359 s]*
/proc/loadavg: 1.00 1.03 1.33 3/199 28896
/proc/meminfo: memFree=26741856/32770624 swapFree=66927216/67108860
[pid=28889] ppid=28886 vsize=32900 memory=9464 CPUtime=0.31 cores=0,2,4,6
/proc/28889/stat : 28889 (cosoco) R 28886 28889 28834 0 -1 4202496 2538 0 0 0 31 0 0 0 20 0 1 0 412086847 33689600 2366 33554432000 4194304 6210612 140731688874336 140731688871624 5076037 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 33587200 140731688883211 140731688883313 140731688883313 140731688886222 0
/proc/28889/statm: 8225 2366 862 493 0 1530 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 32900 KiB
Current children cumulated memory: 9464 KiB

[startup+0.700333 s]
/proc/loadavg: 1.00 1.03 1.33 3/199 28896
/proc/meminfo: memFree=26741800/32770624 swapFree=66927216/67108860
[pid=28889] ppid=28886 vsize=33032 memory=9464 CPUtime=0.69 cores=0,2,4,6
/proc/28889/stat : 28889 (cosoco) R 28886 28889 28834 0 -1 4202496 2560 0 0 0 69 0 0 0 20 0 1 0 412086847 33824768 2366 33554432000 4194304 6210612 140731688874336 140731688871624 5082063 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 33587200 140731688883211 140731688883313 140731688883313 140731688886222 0
/proc/28889/statm: 8258 2366 862 493 0 1563 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 33032 KiB
Current children cumulated memory: 9464 KiB

[startup+1.50034 s]
/proc/loadavg: 1.08 1.05 1.33 3/199 28896
/proc/meminfo: memFree=26741800/32770624 swapFree=66927216/67108860
[pid=28889] ppid=28886 vsize=33032 memory=9464 CPUtime=1.49 cores=0,2,4,6
/proc/28889/stat : 28889 (cosoco) R 28886 28889 28834 0 -1 4202496 2567 0 0 0 149 0 0 0 20 0 1 0 412086847 33824768 2366 33554432000 4194304 6210612 140731688874336 140731688872296 5080852 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 33587200 140731688883211 140731688883313 140731688883313 140731688886222 0
/proc/28889/statm: 8258 2366 862 493 0 1563 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 33032 KiB
Current children cumulated memory: 9464 KiB

[startup+3.10961 s]
/proc/loadavg: 1.08 1.05 1.33 3/200 28899
/proc/meminfo: memFree=26741140/32770624 swapFree=66927216/67108860
[pid=28889] ppid=28886 vsize=33164 memory=9632 CPUtime=3.1 cores=0,2,4,6
/proc/28889/stat : 28889 (cosoco) R 28886 28889 28834 0 -1 4202496 4028 0 0 0 310 0 0 0 20 0 1 0 412086847 33959936 2408 33554432000 4194304 6210612 140731688874336 140731688872296 5078896 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 33587200 140731688883211 140731688883313 140731688883313 140731688886222 0
/proc/28889/statm: 8291 2408 862 493 0 1596 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 33164 KiB
Current children cumulated memory: 9632 KiB

[startup+6.30035 s]
/proc/loadavg: 1.16 1.06 1.33 3/200 28899
/proc/meminfo: memFree=26741052/32770624 swapFree=66927216/67108860
[pid=28889] ppid=28886 vsize=33164 memory=9716 CPUtime=6.28 cores=0,2,4,6
/proc/28889/stat : 28889 (cosoco) R 28886 28889 28834 0 -1 4202496 5500 0 0 0 628 0 0 0 20 0 1 0 412086847 33959936 2429 33554432000 4194304 6210612 140731688874336 140731688872296 5080969 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 33587200 140731688883211 140731688883313 140731688883313 140731688886222 0
/proc/28889/statm: 8291 2429 862 493 0 1596 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 33164 KiB
Current children cumulated memory: 9716 KiB

[startup+12.7003 s]
/proc/loadavg: 1.22 1.08 1.34 3/200 28899
/proc/meminfo: memFree=26741184/32770624 swapFree=66927216/67108860
[pid=28889] ppid=28886 vsize=33164 memory=9724 CPUtime=12.68 cores=0,2,4,6
/proc/28889/stat : 28889 (cosoco) R 28886 28889 28834 0 -1 4202496 6977 0 0 0 1268 0 0 0 20 0 1 0 412086847 33959936 2431 33554432000 4194304 6210612 140731688874336 140731688872296 5082008 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 33587200 140731688883211 140731688883313 140731688883313 140731688886222 0
/proc/28889/statm: 8291 2431 862 493 0 1596 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 33164 KiB
Current children cumulated memory: 9724 KiB

[startup+25.5003 s]
/proc/loadavg: 1.34 1.11 1.34 3/199 28899
/proc/meminfo: memFree=26741184/32770624 swapFree=66927216/67108860
[pid=28889] ppid=28886 vsize=33164 memory=9748 CPUtime=25.48 cores=0,2,4,6
/proc/28889/stat : 28889 (cosoco) R 28886 28889 28834 0 -1 4202496 9923 0 0 0 2548 0 0 0 20 0 1 0 412086847 33959936 2437 33554432000 4194304 6210612 140731688874336 140731688872296 5074863 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 33587200 140731688883211 140731688883313 140731688883313 140731688886222 0
/proc/28889/statm: 8291 2437 862 493 0 1596 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 33164 KiB
Current children cumulated memory: 9748 KiB

[startup+51.1092 s]
/proc/loadavg: 1.60 1.19 1.36 3/199 28901
/proc/meminfo: memFree=26740204/32770624 swapFree=66927216/67108860
[pid=28889] ppid=28886 vsize=33164 memory=9768 CPUtime=51.08 cores=0,2,4,6
/proc/28889/stat : 28889 (cosoco) R 28886 28889 28834 0 -1 4202496 10906 0 0 0 5108 0 0 0 20 0 1 0 412086847 33959936 2442 33554432000 4194304 6210612 140731688874336 140731688872296 5078583 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 33587200 140731688883211 140731688883313 140731688883313 140731688886222 0
/proc/28889/statm: 8291 2442 862 493 0 1596 0
Current children cumulated CPU time: 51.08 s
Current children cumulated vsize: 33164 KiB
Current children cumulated memory: 9768 KiB

[startup+102.3 s]
/proc/loadavg: 1.83 1.32 1.40 3/199 28905
/proc/meminfo: memFree=26741068/32770624 swapFree=66927216/67108860
[pid=28889] ppid=28886 vsize=33164 memory=9780 CPUtime=102.26 cores=0,2,4,6
/proc/28889/stat : 28889 (cosoco) R 28886 28889 28834 0 -1 4202496 11879 0 0 0 10226 0 0 0 20 0 1 0 412086847 33959936 2445 33554432000 4194304 6210612 140731688874336 140731688872296 5076008 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 33587200 140731688883211 140731688883313 140731688883313 140731688886222 0
/proc/28889/statm: 8291 2445 862 493 0 1596 0
Current children cumulated CPU time: 102.26 s
Current children cumulated vsize: 33164 KiB
Current children cumulated memory: 9780 KiB

[startup+162.3 s]
/proc/loadavg: 1.94 1.44 1.44 3/199 28909
/proc/meminfo: memFree=26741444/32770624 swapFree=66927216/67108860
[pid=28889] ppid=28886 vsize=33164 memory=9780 CPUtime=162.25 cores=0,2,4,6
/proc/28889/stat : 28889 (cosoco) R 28886 28889 28834 0 -1 4202496 12851 0 0 0 16225 0 0 0 20 0 1 0 412086847 33959936 2445 33554432000 4194304 6210612 140731688874336 140731688872296 5081990 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 33587200 140731688883211 140731688883313 140731688883313 140731688886222 0
/proc/28889/statm: 8291 2445 862 493 0 1596 0
Current children cumulated CPU time: 162.25 s
Current children cumulated vsize: 33164 KiB
Current children cumulated memory: 9780 KiB

[startup+222.3 s]
/proc/loadavg: 1.98 1.54 1.47 3/199 28913
/proc/meminfo: memFree=26740708/32770624 swapFree=66927216/67108860
[pid=28889] ppid=28886 vsize=33164 memory=9780 CPUtime=222.23 cores=0,2,4,6
/proc/28889/stat : 28889 (cosoco) R 28886 28889 28834 0 -1 4202496 13822 0 0 0 22223 0 0 0 20 0 1 0 412086847 33959936 2445 33554432000 4194304 6210612 140731688874336 140731688872296 5074869 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 33587200 140731688883211 140731688883313 140731688883313 140731688886222 0
/proc/28889/statm: 8291 2445 862 493 0 1596 0
Current children cumulated CPU time: 222.23 s
Current children cumulated vsize: 33164 KiB
Current children cumulated memory: 9780 KiB

[startup+282.3 s]
/proc/loadavg: 1.99 1.63 1.51 3/200 28927
/proc/meminfo: memFree=26740972/32770624 swapFree=66927216/67108860
[pid=28889] ppid=28886 vsize=33164 memory=9784 CPUtime=282.23 cores=0,2,4,6
/proc/28889/stat : 28889 (cosoco) R 28886 28889 28834 0 -1 4202496 14793 0 0 0 28222 1 0 0 20 0 1 0 412086847 33959936 2446 33554432000 4194304 6210612 140731688874336 140731688872296 5082063 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 33587200 140731688883211 140731688883313 140731688883313 140731688886222 0
/proc/28889/statm: 8291 2446 862 493 0 1596 0
Current children cumulated CPU time: 282.23 s
Current children cumulated vsize: 33164 KiB
Current children cumulated memory: 9784 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 1.69 1.53 3/200 28931
/proc/meminfo: memFree=26740340/32770624 swapFree=66927216/67108860
[pid=28889] ppid=28886 vsize=33164 memory=9788 CPUtime=342.21 cores=0,2,4,6
/proc/28889/stat : 28889 (cosoco) R 28886 28889 28834 0 -1 4202496 15765 0 0 0 34220 1 0 0 20 0 1 0 412086847 33959936 2447 33554432000 4194304 6210612 140731688874336 140731688872296 5081875 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 33587200 140731688883211 140731688883313 140731688883313 140731688886222 0
/proc/28889/statm: 8291 2447 862 493 0 1596 0
Current children cumulated CPU time: 342.21 s
Current children cumulated vsize: 33164 KiB
Current children cumulated memory: 9788 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 1.75 1.56 3/200 28935
/proc/meminfo: memFree=26741000/32770624 swapFree=66927216/67108860
[pid=28889] ppid=28886 vsize=33164 memory=9788 CPUtime=402.2 cores=0,2,4,6
/proc/28889/stat : 28889 (cosoco) R 28886 28889 28834 0 -1 4202496 16734 0 0 0 40219 1 0 0 20 0 1 0 412086847 33959936 2447 33554432000 4194304 6210612 140731688874336 140731688872296 5076034 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 33587200 140731688883211 140731688883313 140731688883313 140731688886222 0
/proc/28889/statm: 8291 2447 862 493 0 1596 0
Current children cumulated CPU time: 402.2 s
Current children cumulated vsize: 33164 KiB
Current children cumulated memory: 9788 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 1.80 1.59 3/200 28941
/proc/meminfo: memFree=26740676/32770624 swapFree=66927216/67108860
[pid=28889] ppid=28886 vsize=33164 memory=9788 CPUtime=462.18 cores=0,2,4,6
/proc/28889/stat : 28889 (cosoco) R 28886 28889 28834 0 -1 4202496 17704 0 0 0 46217 1 0 0 20 0 1 0 412086847 33959936 2447 33554432000 4194304 6210612 140731688874336 140731688872296 5078394 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 33587200 140731688883211 140731688883313 140731688883313 140731688886222 0
/proc/28889/statm: 8291 2447 862 493 0 1596 0
Current children cumulated CPU time: 462.18 s
Current children cumulated vsize: 33164 KiB
Current children cumulated memory: 9788 KiB


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

/proc/28889/statm: 8291 2448 862 493 0 1596 0
Current children cumulated CPU time: 1721.89 s
Current children cumulated vsize: 33164 KiB
Current children cumulated memory: 9792 KiB

[startup+1782.3 s]
/proc/loadavg: 2.00 1.99 1.90 3/199 29060
/proc/meminfo: memFree=26740380/32770624 swapFree=66927224/67108860
[pid=28889] ppid=28886 vsize=33164 memory=9792 CPUtime=1781.88 cores=0,2,4,6
/proc/28889/stat : 28889 (cosoco) R 28886 28889 28834 0 -1 4202496 35323 0 0 0 178187 1 0 0 20 0 1 0 412086847 33959936 2448 33554432000 4194304 6210612 140731688874336 140731688872296 5082025 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 33587200 140731688883211 140731688883313 140731688883313 140731688886222 0
/proc/28889/statm: 8291 2448 862 493 0 1596 0
Current children cumulated CPU time: 1781.88 s
Current children cumulated vsize: 33164 KiB
Current children cumulated memory: 9792 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 1.99 1.90 3/199 29064
/proc/meminfo: memFree=26739740/32770624 swapFree=66927224/67108860
[pid=28889] ppid=28886 vsize=33164 memory=9792 CPUtime=1841.87 cores=0,2,4,6
/proc/28889/stat : 28889 (cosoco) R 28886 28889 28834 0 -1 4202496 35839 0 0 0 184185 2 0 0 20 0 1 0 412086847 33959936 2448 33554432000 4194304 6210612 140731688874336 140731688872296 5075637 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 33587200 140731688883211 140731688883313 140731688883313 140731688886222 0
/proc/28889/statm: 8291 2448 862 493 0 1596 0
Current children cumulated CPU time: 1841.87 s
Current children cumulated vsize: 33164 KiB
Current children cumulated memory: 9792 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 1.99 1.91 3/199 29070
/proc/meminfo: memFree=26739624/32770624 swapFree=66927224/67108860
[pid=28889] ppid=28886 vsize=33164 memory=9792 CPUtime=1901.86 cores=0,2,4,6
/proc/28889/stat : 28889 (cosoco) R 28886 28889 28834 0 -1 4202496 36339 0 0 0 190184 2 0 0 20 0 1 0 412086847 33959936 2448 33554432000 4194304 6210612 140731688874336 140731688872296 5081282 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 33587200 140731688883211 140731688883313 140731688883313 140731688886222 0
/proc/28889/statm: 8291 2448 862 493 0 1596 0
Current children cumulated CPU time: 1901.86 s
Current children cumulated vsize: 33164 KiB
Current children cumulated memory: 9792 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 1.99 1.91 3/199 29074
/proc/meminfo: memFree=26739964/32770624 swapFree=66927224/67108860
[pid=28889] ppid=28886 vsize=33164 memory=9792 CPUtime=1961.85 cores=0,2,4,6
/proc/28889/stat : 28889 (cosoco) R 28886 28889 28834 0 -1 4202496 37313 0 0 0 196183 2 0 0 20 0 1 0 412086847 33959936 2448 33554432000 4194304 6210612 140731688874336 140731688872296 5397066 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 33587200 140731688883211 140731688883313 140731688883313 140731688886222 0
/proc/28889/statm: 8291 2448 862 493 0 1596 0
Current children cumulated CPU time: 1961.85 s
Current children cumulated vsize: 33164 KiB
Current children cumulated memory: 9792 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 1.99 1.92 3/199 29078
/proc/meminfo: memFree=26739864/32770624 swapFree=66927224/67108860
[pid=28889] ppid=28886 vsize=33164 memory=9792 CPUtime=2021.83 cores=0,2,4,6
/proc/28889/stat : 28889 (cosoco) R 28886 28889 28834 0 -1 4202496 37814 0 0 0 202181 2 0 0 20 0 1 0 412086847 33959936 2448 33554432000 4194304 6210612 140731688874336 140731688872296 5080969 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 33587200 140731688883211 140731688883313 140731688883313 140731688886222 0
/proc/28889/statm: 8291 2448 862 493 0 1596 0
Current children cumulated CPU time: 2021.83 s
Current children cumulated vsize: 33164 KiB
Current children cumulated memory: 9792 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 1.99 1.93 3/199 29091
/proc/meminfo: memFree=26739824/32770624 swapFree=66927224/67108860
[pid=28889] ppid=28886 vsize=33164 memory=9792 CPUtime=2081.82 cores=0,2,4,6
/proc/28889/stat : 28889 (cosoco) R 28886 28889 28834 0 -1 4202496 38310 0 0 0 208180 2 0 0 20 0 1 0 412086847 33959936 2448 33554432000 4194304 6210612 140731688874336 140731688872296 5076069 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 33587200 140731688883211 140731688883313 140731688883313 140731688886222 0
/proc/28889/statm: 8291 2448 862 493 0 1596 0
Current children cumulated CPU time: 2081.82 s
Current children cumulated vsize: 33164 KiB
Current children cumulated memory: 9792 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 1.99 1.93 3/199 29095
/proc/meminfo: memFree=26740288/32770624 swapFree=66927224/67108860
[pid=28889] ppid=28886 vsize=33164 memory=9792 CPUtime=2141.81 cores=0,2,4,6
/proc/28889/stat : 28889 (cosoco) R 28886 28889 28834 0 -1 4202496 38811 0 0 0 214179 2 0 0 20 0 1 0 412086847 33959936 2448 33554432000 4194304 6210612 140731688874336 140731688872296 5078927 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 33587200 140731688883211 140731688883313 140731688883313 140731688886222 0
/proc/28889/statm: 8291 2448 862 493 0 1596 0
Current children cumulated CPU time: 2141.81 s
Current children cumulated vsize: 33164 KiB
Current children cumulated memory: 9792 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 1.99 1.94 3/199 29099
/proc/meminfo: memFree=26740292/32770624 swapFree=66927224/67108860
[pid=28889] ppid=28886 vsize=33164 memory=9792 CPUtime=2201.79 cores=0,2,4,6
/proc/28889/stat : 28889 (cosoco) R 28886 28889 28834 0 -1 4202496 39788 0 0 0 220177 2 0 0 20 0 1 0 412086847 33959936 2448 33554432000 4194304 6210612 140731688874336 140731688872296 5082450 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 33587200 140731688883211 140731688883313 140731688883313 140731688886222 0
/proc/28889/statm: 8291 2448 862 493 0 1596 0
Current children cumulated CPU time: 2201.79 s
Current children cumulated vsize: 33164 KiB
Current children cumulated memory: 9792 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 1.99 1.94 3/199 29105
/proc/meminfo: memFree=26739516/32770624 swapFree=66927224/67108860
[pid=28889] ppid=28886 vsize=33164 memory=9800 CPUtime=2261.78 cores=0,2,4,6
/proc/28889/stat : 28889 (cosoco) R 28886 28889 28834 0 -1 4202496 40043 0 0 0 226176 2 0 0 20 0 1 0 412086847 33959936 2450 33554432000 4194304 6210612 140731688874336 140731688872296 5082394 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 33587200 140731688883211 140731688883313 140731688883313 140731688886222 0
/proc/28889/statm: 8291 2450 862 493 0 1596 0
Current children cumulated CPU time: 2261.78 s
Current children cumulated vsize: 33164 KiB
Current children cumulated memory: 9800 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 1.99 1.95 3/199 29109
/proc/meminfo: memFree=26738868/32770624 swapFree=66927224/67108860
[pid=28889] ppid=28886 vsize=33164 memory=9800 CPUtime=2321.76 cores=0,2,4,6
/proc/28889/stat : 28889 (cosoco) R 28886 28889 28834 0 -1 4202496 40297 0 0 0 232174 2 0 0 20 0 1 0 412086847 33959936 2450 33554432000 4194304 6210612 140731688874336 140731688872296 5192880 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 33587200 140731688883211 140731688883313 140731688883313 140731688886222 0
/proc/28889/statm: 8291 2450 862 493 0 1596 0
Current children cumulated CPU time: 2321.76 s
Current children cumulated vsize: 33164 KiB
Current children cumulated memory: 9800 KiB

[startup+2382.3 s]
/proc/loadavg: 2.63 2.17 2.01 3/199 29113
/proc/meminfo: memFree=26738740/32770624 swapFree=66927224/67108860
[pid=28889] ppid=28886 vsize=33164 memory=9800 CPUtime=2381.75 cores=0,2,4,6
/proc/28889/stat : 28889 (cosoco) R 28886 28889 28834 0 -1 4202496 40551 0 0 0 238173 2 0 0 20 0 1 0 412086847 33959936 2450 33554432000 4194304 6210612 140731688874336 140731688872296 5082029 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 33587200 140731688883211 140731688883313 140731688883313 140731688886222 0
/proc/28889/statm: 8291 2450 862 493 0 1596 0
Current children cumulated CPU time: 2381.75 s
Current children cumulated vsize: 33164 KiB
Current children cumulated memory: 9800 KiB

[startup+2442.3 s]
/proc/loadavg: 2.64 2.27 2.06 3/199 29119
/proc/meminfo: memFree=26738844/32770624 swapFree=66927224/67108860
[pid=28889] ppid=28886 vsize=33164 memory=9800 CPUtime=2441.74 cores=0,2,4,6
/proc/28889/stat : 28889 (cosoco) R 28886 28889 28834 0 -1 4202496 41026 0 0 0 244172 2 0 0 20 0 1 0 412086847 33959936 2450 33554432000 4194304 6210612 140731688874336 140731688872296 5079064 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 33587200 140731688883211 140731688883313 140731688883313 140731688886222 0
/proc/28889/statm: 8291 2450 862 493 0 1596 0
Current children cumulated CPU time: 2441.74 s
Current children cumulated vsize: 33164 KiB
Current children cumulated memory: 9800 KiB

[startup+2502.3 s]
/proc/loadavg: 2.24 2.22 2.05 3/199 29123
/proc/meminfo: memFree=26738852/32770624 swapFree=66927224/67108860
[pid=28889] ppid=28886 vsize=33164 memory=9800 CPUtime=2501.72 cores=0,2,4,6
/proc/28889/stat : 28889 (cosoco) R 28886 28889 28834 0 -1 4202496 41281 0 0 0 250170 2 0 0 20 0 1 0 412086847 33959936 2450 33554432000 4194304 6210612 140731688874336 140731688872296 5081856 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 33587200 140731688883211 140731688883313 140731688883313 140731688886222 0
/proc/28889/statm: 8291 2450 862 493 0 1596 0
Current children cumulated CPU time: 2501.72 s
Current children cumulated vsize: 33164 KiB
Current children cumulated memory: 9800 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 2.18 2.21 2.05 3/199 29123
/proc/meminfo: memFree=26739456/32770624 swapFree=66927224/67108860
[pid=28889] ppid=28886 vsize=33164 memory=9800 CPUtime=2519.43 cores=0,2,4,6
/proc/28889/stat : 28889 (cosoco) R 28886 28889 28834 0 -1 4202496 41536 0 0 0 251941 2 0 0 20 0 1 0 412086847 33959936 2450 33554432000 4194304 6210612 140731688874336 140731688872296 5076058 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 33587200 140731688883211 140731688883313 140731688883313 140731688886222 0
/proc/28889/statm: 8291 2450 862 493 0 1596 0
Current children cumulated CPU time: 2519.43 s
Current children cumulated vsize: 33164 KiB
Current children cumulated memory: 9800 KiB

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

[startup+2520.01 s]
# the end of solver process 28889 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2519.41 s, system=0.021995 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): 2519.44
CPU user time (s): 2519.41
CPU system time (s): 0.021995
CPU usage (%): 99.9772
Max. virtual memory (cumulated for all children) (KiB): 33164
Max. memory (cumulated for all children) (KiB): 9800

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.41
system time used= 0.021995
maximum resident set size= 9868
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 41591
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= 16
involuntary context switches= 1913


# summary of solver processes directly reported to runsolver:
#   pid: 28889
#   total CPU time (s): 2519.44
#   total CPU user time (s): 2519.41
#   total CPU system time (s): 0.021995

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.67971 second user time and 17.1987 second system time

The end

Launcher Data 

Begin job on node137 at 2019-09-13 09:05:53
IDJOB=4389564
IDBENCH=138957
IDSOLVER=2829
FILE ID=node137/4389564-1568358395
RUNJOBID= node137-1568358353-28865
PBS_JOBID= 21701197
Free space on /tmp= 61236 MiB

SOLVER NAME= cosoco 2
BENCH NAME= XCSP17/LatinSquare/LatinSquare-m1-gp/qwh-o30-h374-19.xml
COMMAND LINE= cosoco -lc -model -restarts -stick BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4389564-1568358395/watcher-4389564-1568358395 -o /tmp/evaluation-result-4389564-1568358395/solver-4389564-1568358395 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node137-1568358353-28865 --watchdog 2580  cosoco -lc -model -restarts -stick HOME/instance-4389564-1568358395.xml

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

MD5SUM BENCH= 3875648f967e99deb98809a056dae84c
RANDOM SEED=1514726586

node137.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	: 5334.00
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	: 5334.00
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	: 5334.00
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	: 5334.00
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:        26756152 kB
MemAvailable:   31805304 kB
Buffers:          148852 kB
Cached:          5165320 kB
SwapCached:        77592 kB
Active:          1361724 kB
Inactive:        4033072 kB
Active(anon):       4208 kB
Inactive(anon):   117876 kB
Active(file):    1357516 kB
Inactive(file):  3915196 kB
Unevictable:      109236 kB
Mlocked:          109236 kB
SwapTotal:      67108860 kB
SwapFree:       66927216 kB
Dirty:              2720 kB
Writeback:             0 kB
AnonPages:        113176 kB
Mapped:            42956 kB
Shmem:             32728 kB
Slab:             213664 kB
SReclaimable:     184552 kB
SUnreclaim:        29112 kB
KernelStack:        3344 kB
PageTables:         5608 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     501776 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:      105856 kB
DirectMap2M:    33439744 kB

Free space on /tmp at the end= 61232 MiB
End job on node137 at 2019-09-13 09:47:53