Trace number 4396844

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.02 2519.9

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-4396844-1568593490.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.09/0.11	c 101            1268           18842          68727          899            0              631   672   650
0.20/0.24	c 211            3658           42471          162968         899            0              318   686   540
0.20/0.30	c 332            4950           55424          217053         899            0              518   686   662
0.30/0.39	c 465            6249           70578          273751         899            0              518   653   627
0.40/0.42	c 611            7273           77068          299978         899            0              532   576   559
0.50/0.51	c 771            8825           94474          372871         899            0              545   698   667
0.59/0.69	c 947            10663          126003         519139         899            0              497   723   664
0.78/0.85	c 1140           12545          155031         658147         899            0              542   720   675
0.99/1.05	c 1352           14463          190610         817023         899            0              552   709   675
1.18/1.22	c 1585           16802          220887         951373         899            0              562   720   689
1.38/1.44	c 1841           18863          261123         1163216        899            0              651   721   685
1.68/1.71	c 2122           21551          309016         1389681        899            0              653   733   685
1.99/2.03	c 2431           24576          366627         1682848        899            0              629   722   697
2.18/2.21	c 2770           26698          399214         1859214        899            0              617   729   707
2.38/2.42	c 3142           29139          437082         2046072        899            0              636   733   704
2.68/2.70	c 3551           32088          487699         2316829        899            0              563   726   699
3.09/3.17	c 4000           35992          570615         2768022        899            0              552   738   695
3.58/3.60	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.57	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.62	c 7006           57002          1009522        4982234        899            0              584   718   683
6.09/6.19	c 7798           62265          1111611        5510913        899            0              605   712   683
6.78/6.86	c 8669           68726          1230908        6085415        899            0              590   703   663
7.38/7.47	c 9627           73018          1339038        6654534        899            0              592   707   684
8.28/8.35	c 10680          80834          1494774        7437555        899            0              601   718   674
9.38/9.47	c 11838          87828          1693831        8415284        899            0              573   717   667
10.18/10.20	c 13111          95604          1826418        9099950        899            0              581   736   700
10.99/11.03	c 14511          103579         1976026        9862542        899            0              569   728   678
12.18/12.26	c 16051          113834         2194960        10992600       899            0              568   716   672
13.58/13.61	c 17745          126285         2434914        12376872       899            0              557   750   700
15.58/15.69	c 19608          138856         2791710        14491007       899            0              565   728   667
16.88/16.90	c 21657          151196         3007660        15614328       899            0              564   746   702
19.09/19.11	c 23910          168160         3402392        17615939       899            0              664   746   701
21.18/21.24	c 26388          186235         3779782        19608208       899            0              661   731   694
23.58/23.64	c 29113          213933         4218701        21866792       899            0              633   766   722
26.09/26.13	c 32110          236068         4661702        24016251       899            0              626   742   692
28.68/28.74	c 35406          258109         5127690        26506163       899            0              651   733   697
31.58/31.69	c 39031          284664         5656990        29365567       899            0              661   769   712
34.68/34.71	c 43018          314104         6201985        32355955       899            0              595   763   710
38.28/38.37	c 47403          344969         6853775        35844990       899            0              585   756   711
42.38/42.46	c 52226          380621         7582966        39804163       899            0              617   753   715
47.28/47.31	c 57531          424043         8456106        44488567       899            0              606   762   713
52.68/52.79	c 63366          469960         9439381        49785363       899            0              599   757   716
57.58/57.63	c 69784          517568         10313059       54443026       899            0              584   757   715
61.68/61.75	c 76843          551512         11044185       58495690       899            0              623   735   701
67.37/67.44	c 84607          598009         12051152       64373876       899            0              588   721   686
72.67/72.74	c 93147          643961         12992871       69265967       899            0              564   734   690
78.77/78.89	c 102541         687585         14076814       75194570       899            0              590   734   689
86.08/86.19	c 112874         749082         15373748       82268652       899            0              619   735   699
92.37/92.48	c 124240         800247         16484794       88476108       899            0              623   723   689
103.77/103.83	c 136742         874121         18465405       99302642       899            0              655   736   699
111.98/112.08	c 150494         945897         19929043       107581442      899            0              625   736   693
121.67/121.76	c 165621         1022335        21638131       116536690      899            0              588   719   683
137.37/137.41	c 182260         1145091        24442570       130489567      899            0              588   740   698
149.87/149.90	c 200562         1259534        26672919       142483876      899            0              606   748   691
165.16/165.25	c 220694         1374567        29412012       157375306      899            0              580   726   682
183.07/183.18	c 242839         1486981        32559249       174885890      899            0              578   722   684
199.97/200.02	c 267198         1621089        35577017       191131162      899            0              576   715   673
220.76/220.82	c 293992         1815412        39319672       208870327      899            0              553   728   685
243.75/243.82	c 323465         2030770        43443313       227705217      899            0              555   717   657
267.65/267.78	c 355885         2221221        47739824       250075340      899            0              559   726   669
295.35/295.48	c 391547         2438669        52658053       275338389      899            0              557   738   691
332.64/332.72	c 430775         2733036        59255337       308148497      899            0              574   731   682
364.74/364.82	c 473925         2998333        65033457       337573389      899            0              584   743   685
398.84/398.95	c 521390         3301219        71143819       369747545      899            0              561   766   716
436.23/436.31	c 573601         3659326        77874821       406298712      899            0              580   779   724
487.64/487.72	c 631033         4092428        87063181       456372665      899            0              619   765   706
546.84/546.90	c 694208         4519252        97581697       509144385      899            0              552   752   703
599.35/599.44	c 763700         4906086        106928735      559914770      899            0              555   748   702
654.45/654.54	c 840141         5306176        116697010      612144197      899            0              549   726   688
728.66/728.76	c 924226         5847023        129986149      679228677      899            0              561   747   685
822.36/822.40	c 1016719        6499387        146632066      770507802      899            0              552   769   714
922.67/922.79	c 1118461        7296006        164526506      865702533      899            0              553   753   694
1033.28/1033.35	c 1230377        8133067        184149933      972511149      899            0              560   742   692
1134.59/1134.65	c 1353484        8954151        202248116      1071008168     899            0              600   747   694
1218.30/1218.35	c 1488901        9531655        217057375      1155962244     899            0              590   740   698
1342.72/1342.76	c 1637859        10457934       239031513      1278903227     899            0              619   761   698
1467.33/1467.34	c 1801712        11511366       261248036      1394072814     899            0              586   755   694
1605.94/1606.00	c 1981950        12664207       285922467      1527182790     899            0              580   745   697
1750.06/1750.03	c 2180211        13788836       311536855      1661455593     899            0              572   741   682
1921.96/1921.90	c 2398298        15174097       342372864      1822827172     899            0              580   754   695
2151.88/2151.88	c 2638193        16970255       383100176      2046171381     899            0              627   758   699
2387.50/2387.41	c 2902077        18752948       424876763      2279928465     899            0              641   749   696
2520.01/2519.90	
2520.01/2519.90	c *** INTERRUPTED ***
2520.01/2519.90	c restarts              : 84          
2520.01/2519.90	c conflicts             : 3060602      (1215 /sec)
2520.01/2519.90	c decisions             : 19865942     (7883 /sec)
2520.01/2519.90	c propagations          : 2406138735  (954813 /sec)
2520.01/2519.90	c root propagations     : 4365        
2520.01/2519.90	c filter calls          : 448365656      (177922 /sec)
2520.01/2519.90	c useless filter calls  : 114397488      (25 %)
2520.01/2519.90	c Memory used           : 32.39 MB
2520.01/2519.90	c CPU time              : 2520.01 s
2520.01/2519.90	c real time             : 2519.9 s
2520.01/2519.90	
2520.01/2519.90	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 (15052 MiB free)
  memory of node 1: 16384 MiB (15439 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4396844-1568593490/watcher-4396844-1568593490 -o /tmp/evaluation-result-4396844-1568593490/solver-4396844-1568593490 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1568593450-11671 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4396844-1568593490.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=11690, runsolver pid=11687

[startup+0.100351 s]*
/proc/loadavg: 2.04 2.01 2.05 3/203 11702
/proc/meminfo: memFree=31209556/32770624 swapFree=67004428/67108860
[pid=11690] ppid=11687 vsize=32372 memory=8932 CPUtime=0.09 cores=0,2,4,6
/proc/11690/stat : 11690 (cosoco) R 11687 11690 11640 0 -1 4202496 2413 0 0 0 9 0 0 0 20 0 1 0 435588579 33148928 2233 33554432000 4194304 6211092 140723340230256 140723340227544 5082405 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 11612160 140723340231691 140723340231793 140723340231793 140723340234702 0
/proc/11690/statm: 8093 2233 864 493 0 1398 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 32372 KiB
Current children cumulated memory: 8932 KiB

[startup+0.209706 s]*
/proc/loadavg: 2.04 2.01 2.05 3/203 11702
/proc/meminfo: memFree=31209184/32770624 swapFree=67004428/67108860
[pid=11690] ppid=11687 vsize=32900 memory=9196 CPUtime=0.2 cores=0,2,4,6
/proc/11690/stat : 11690 (cosoco) R 11687 11690 11640 0 -1 4202496 2525 0 0 0 20 0 0 0 20 0 1 0 435588579 33689600 2299 33554432000 4194304 6211092 140723340230256 140723340227544 5081360 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 11612160 140723340231691 140723340231793 140723340231793 140723340234702 0
/proc/11690/statm: 8225 2299 866 493 0 1530 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 32900 KiB
Current children cumulated memory: 9196 KiB

[startup+0.309268 s]*
/proc/loadavg: 2.04 2.01 2.05 3/203 11702
/proc/meminfo: memFree=31209184/32770624 swapFree=67004428/67108860
[pid=11690] ppid=11687 vsize=32900 memory=9460 CPUtime=0.3 cores=0,2,4,6
/proc/11690/stat : 11690 (cosoco) R 11687 11690 11640 0 -1 4202496 2541 0 0 0 30 0 0 0 20 0 1 0 435588579 33689600 2365 33554432000 4194304 6211092 140723340230256 140723340227544 5081379 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 11612160 140723340231691 140723340231793 140723340231793 140723340234702 0
/proc/11690/statm: 8225 2365 866 493 0 1530 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 32900 KiB
Current children cumulated memory: 9460 KiB

[startup+0.700223 s]
/proc/loadavg: 2.04 2.01 2.05 3/203 11702
/proc/meminfo: memFree=31208172/32770624 swapFree=67004428/67108860
[pid=11690] ppid=11687 vsize=33032 memory=9460 CPUtime=0.68 cores=0,2,4,6
/proc/11690/stat : 11690 (cosoco) R 11687 11690 11640 0 -1 4202496 2563 0 0 0 68 0 0 0 20 0 1 0 435588579 33824768 2365 33554432000 4194304 6211092 140723340230256 140723340227544 5082376 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 11612160 140723340231691 140723340231793 140723340231793 140723340234702 0
/proc/11690/statm: 8258 2365 866 493 0 1563 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 33032 KiB
Current children cumulated memory: 9460 KiB

[startup+1.50024 s]
/proc/loadavg: 2.04 2.01 2.05 3/203 11702
/proc/meminfo: memFree=31207784/32770624 swapFree=67004428/67108860
[pid=11690] ppid=11687 vsize=33032 memory=9460 CPUtime=1.48 cores=0,2,4,6
/proc/11690/stat : 11690 (cosoco) R 11687 11690 11640 0 -1 4202496 2570 0 0 0 148 0 0 0 20 0 1 0 435588579 33824768 2365 33554432000 4194304 6211092 140723340230256 140723340228216 5081728 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 11612160 140723340231691 140723340231793 140723340231793 140723340234702 0
/proc/11690/statm: 8258 2365 866 493 0 1563 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 33032 KiB
Current children cumulated memory: 9460 KiB

[startup+3.10909 s]
/proc/loadavg: 2.04 2.01 2.05 3/203 11702
/proc/meminfo: memFree=31207680/32770624 swapFree=67004428/67108860
[pid=11690] ppid=11687 vsize=33164 memory=9644 CPUtime=3.09 cores=0,2,4,6
/proc/11690/stat : 11690 (cosoco) R 11687 11690 11640 0 -1 4202496 4032 0 0 0 309 0 0 0 20 0 1 0 435588579 33959936 2411 33554432000 4194304 6211092 140723340230256 140723340228216 5075532 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 11612160 140723340231691 140723340231793 140723340231793 140723340234702 0
/proc/11690/statm: 8291 2411 866 493 0 1596 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 33164 KiB
Current children cumulated memory: 9644 KiB

[startup+6.30022 s]
/proc/loadavg: 2.03 2.01 2.05 3/203 11702
/proc/meminfo: memFree=31207616/32770624 swapFree=67004428/67108860
[pid=11690] ppid=11687 vsize=33164 memory=9696 CPUtime=6.28 cores=0,2,4,6
/proc/11690/stat : 11690 (cosoco) R 11687 11690 11640 0 -1 4202496 4495 0 0 0 628 0 0 0 20 0 1 0 435588579 33959936 2424 33554432000 4194304 6211092 140723340230256 140723340228216 5081337 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 11612160 140723340231691 140723340231793 140723340231793 140723340234702 0
/proc/11690/statm: 8291 2424 866 493 0 1596 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 33164 KiB
Current children cumulated memory: 9696 KiB

[startup+12.7002 s]
/proc/loadavg: 2.03 2.01 2.05 3/203 11702
/proc/meminfo: memFree=31208592/32770624 swapFree=67004428/67108860
[pid=11690] ppid=11687 vsize=33164 memory=9736 CPUtime=12.68 cores=0,2,4,6
/proc/11690/stat : 11690 (cosoco) R 11687 11690 11640 0 -1 4202496 4963 0 0 0 1268 0 0 0 20 0 1 0 435588579 33959936 2434 33554432000 4194304 6211092 140723340230256 140723340228216 5075266 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 11612160 140723340231691 140723340231793 140723340231793 140723340234702 0
/proc/11690/statm: 8291 2434 866 493 0 1596 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 33164 KiB
Current children cumulated memory: 9736 KiB

[startup+25.5002 s]
/proc/loadavg: 2.03 2.01 2.05 3/203 11702
/proc/meminfo: memFree=31209972/32770624 swapFree=67004428/67108860
[pid=11690] ppid=11687 vsize=33164 memory=9760 CPUtime=25.48 cores=0,2,4,6
/proc/11690/stat : 11690 (cosoco) R 11687 11690 11640 0 -1 4202496 5897 0 0 0 2548 0 0 0 20 0 1 0 435588579 33959936 2440 33554432000 4194304 6211092 140723340230256 140723340228216 5409439 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 11612160 140723340231691 140723340231793 140723340231793 140723340234702 0
/proc/11690/statm: 8291 2440 866 493 0 1596 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 33164 KiB
Current children cumulated memory: 9760 KiB

[startup+51.1091 s]
/proc/loadavg: 2.02 2.01 2.05 3/203 11705
/proc/meminfo: memFree=31209660/32770624 swapFree=67004428/67108860
[pid=11690] ppid=11687 vsize=33164 memory=9780 CPUtime=51.09 cores=0,2,4,6
/proc/11690/stat : 11690 (cosoco) R 11687 11690 11640 0 -1 4202496 6378 0 0 0 5109 0 0 0 20 0 1 0 435588579 33959936 2445 33554432000 4194304 6211092 140723340230256 140723340228216 5074657 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 11612160 140723340231691 140723340231793 140723340231793 140723340234702 0
/proc/11690/statm: 8291 2445 866 493 0 1596 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 33164 KiB
Current children cumulated memory: 9780 KiB

[startup+102.3 s]
/proc/loadavg: 2.01 2.01 2.05 3/204 11711
/proc/meminfo: memFree=31210440/32770624 swapFree=67004428/67108860
[pid=11690] ppid=11687 vsize=33164 memory=9792 CPUtime=102.27 cores=0,2,4,6
/proc/11690/stat : 11690 (cosoco) R 11687 11690 11640 0 -1 4202496 6852 0 0 0 10227 0 0 0 20 0 1 0 435588579 33959936 2448 33554432000 4194304 6211092 140723340230256 140723340228216 5082803 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 11612160 140723340231691 140723340231793 140723340231793 140723340234702 0
/proc/11690/statm: 8291 2448 866 493 0 1596 0
Current children cumulated CPU time: 102.27 s
Current children cumulated vsize: 33164 KiB
Current children cumulated memory: 9792 KiB

[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/205 11717
/proc/meminfo: memFree=31209332/32770624 swapFree=67004428/67108860
[pid=11690] ppid=11687 vsize=33164 memory=9792 CPUtime=162.26 cores=0,2,4,6
/proc/11690/stat : 11690 (cosoco) R 11687 11690 11640 0 -1 4202496 7324 0 0 0 16226 0 0 0 20 0 1 0 435588579 33959936 2448 33554432000 4194304 6211092 140723340230256 140723340228216 5078740 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 11612160 140723340231691 140723340231793 140723340231793 140723340234702 0
/proc/11690/statm: 8291 2448 866 493 0 1596 0
Current children cumulated CPU time: 162.26 s
Current children cumulated vsize: 33164 KiB
Current children cumulated memory: 9792 KiB

[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/203 11721
/proc/meminfo: memFree=31209704/32770624 swapFree=67004428/67108860
[pid=11690] ppid=11687 vsize=33164 memory=9792 CPUtime=222.26 cores=0,2,4,6
/proc/11690/stat : 11690 (cosoco) R 11687 11690 11640 0 -1 4202496 7799 0 0 0 22226 0 0 0 20 0 1 0 435588579 33959936 2448 33554432000 4194304 6211092 140723340230256 140723340228216 5082800 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 11612160 140723340231691 140723340231793 140723340231793 140723340234702 0
/proc/11690/statm: 8291 2448 866 493 0 1596 0
Current children cumulated CPU time: 222.26 s
Current children cumulated vsize: 33164 KiB
Current children cumulated memory: 9792 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/204 11727
/proc/meminfo: memFree=31210032/32770624 swapFree=67004428/67108860
[pid=11690] ppid=11687 vsize=33164 memory=9796 CPUtime=282.25 cores=0,2,4,6
/proc/11690/stat : 11690 (cosoco) R 11687 11690 11640 0 -1 4202496 8273 0 0 0 28225 0 0 0 20 0 1 0 435588579 33959936 2449 33554432000 4194304 6211092 140723340230256 140723340228216 5081371 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 11612160 140723340231691 140723340231793 140723340231793 140723340234702 0
/proc/11690/statm: 8291 2449 866 493 0 1596 0
Current children cumulated CPU time: 282.25 s
Current children cumulated vsize: 33164 KiB
Current children cumulated memory: 9796 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/205 11733
/proc/meminfo: memFree=31209012/32770624 swapFree=67004428/67108860
[pid=11690] ppid=11687 vsize=33164 memory=9800 CPUtime=342.24 cores=0,2,4,6
/proc/11690/stat : 11690 (cosoco) R 11687 11690 11640 0 -1 4202496 8748 0 0 0 34224 0 0 0 20 0 1 0 435588579 33959936 2450 33554432000 4194304 6211092 140723340230256 140723340228216 5076121 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 11612160 140723340231691 140723340231793 140723340231793 140723340234702 0
/proc/11690/statm: 8291 2450 866 493 0 1596 0
Current children cumulated CPU time: 342.24 s
Current children cumulated vsize: 33164 KiB
Current children cumulated memory: 9800 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/204 11745
/proc/meminfo: memFree=31209948/32770624 swapFree=67004432/67108860
[pid=11690] ppid=11687 vsize=33164 memory=9800 CPUtime=402.23 cores=0,2,4,6
/proc/11690/stat : 11690 (cosoco) R 11687 11690 11640 0 -1 4202496 9220 0 0 0 40223 0 0 0 20 0 1 0 435588579 33959936 2450 33554432000 4194304 6211092 140723340230256 140723340228216 5079440 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 11612160 140723340231691 140723340231793 140723340231793 140723340234702 0
/proc/11690/statm: 8291 2450 866 493 0 1596 0
Current children cumulated CPU time: 402.23 s
Current children cumulated vsize: 33164 KiB
Current children cumulated memory: 9800 KiB

[startup+462.3 s]
/proc/loadavg: 1.95 2.00 2.04 3/204 11749
/proc/meminfo: memFree=31209068/32770624 swapFree=67004432/67108860
[pid=11690] ppid=11687 vsize=33164 memory=9800 CPUtime=462.23 cores=0,2,4,6
/proc/11690/stat : 11690 (cosoco) R 11687 11690 11640 0 -1 4202496 9692 0 0 0 46223 0 0 0 20 0 1 0 435588579 33959936 2450 33554432000 4194304 6211092 140723340230256 140723340228216 5074596 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 11612160 140723340231691 140723340231793 140723340231793 140723340234702 0
/proc/11690/statm: 8291 2450 866 493 0 1596 0
Current children cumulated CPU time: 462.23 s
Current children cumulated vsize: 33164 KiB
Current children cumulated memory: 9800 KiB


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

/proc/11690/statm: 8291 2451 866 493 0 1596 0
Current children cumulated CPU time: 1782.35 s
Current children cumulated vsize: 33164 KiB
Current children cumulated memory: 9804 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/204 11896
/proc/meminfo: memFree=31208872/32770624 swapFree=67004432/67108860
[pid=11690] ppid=11687 vsize=33164 memory=9804 CPUtime=1842.36 cores=0,2,4,6
/proc/11690/stat : 11690 (cosoco) R 11687 11690 11640 0 -1 4202496 15167 0 0 0 184235 1 0 0 20 0 1 0 435588579 33959936 2451 33554432000 4194304 6211092 140723340230256 140723340228216 5075237 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 11612160 140723340231691 140723340231793 140723340231793 140723340234702 0
/proc/11690/statm: 8291 2451 866 493 0 1596 0
Current children cumulated CPU time: 1842.36 s
Current children cumulated vsize: 33164 KiB
Current children cumulated memory: 9804 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/203 11901
/proc/meminfo: memFree=31208892/32770624 swapFree=67004432/67108860
[pid=11690] ppid=11687 vsize=33164 memory=9804 CPUtime=1902.36 cores=0,2,4,6
/proc/11690/stat : 11690 (cosoco) R 11687 11690 11640 0 -1 4202496 15167 0 0 0 190235 1 0 0 20 0 1 0 435588579 33959936 2451 33554432000 4194304 6211092 140723340230256 140723340228216 5193728 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 11612160 140723340231691 140723340231793 140723340231793 140723340234702 0
/proc/11690/statm: 8291 2451 866 493 0 1596 0
Current children cumulated CPU time: 1902.36 s
Current children cumulated vsize: 33164 KiB
Current children cumulated memory: 9804 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/204 11907
/proc/meminfo: memFree=31208124/32770624 swapFree=67004432/67108860
[pid=11690] ppid=11687 vsize=33164 memory=9804 CPUtime=1962.37 cores=0,2,4,6
/proc/11690/stat : 11690 (cosoco) R 11687 11690 11640 0 -1 4202496 15642 0 0 0 196236 1 0 0 20 0 1 0 435588579 33959936 2451 33554432000 4194304 6211092 140723340230256 140723340228216 5075296 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 11612160 140723340231691 140723340231793 140723340231793 140723340234702 0
/proc/11690/statm: 8291 2451 866 493 0 1596 0
Current children cumulated CPU time: 1962.37 s
Current children cumulated vsize: 33164 KiB
Current children cumulated memory: 9804 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/203 11911
/proc/meminfo: memFree=31208604/32770624 swapFree=67004432/67108860
[pid=11690] ppid=11687 vsize=33164 memory=9804 CPUtime=2022.37 cores=0,2,4,6
/proc/11690/stat : 11690 (cosoco) R 11687 11690 11640 0 -1 4202496 15642 0 0 0 202236 1 0 0 20 0 1 0 435588579 33959936 2451 33554432000 4194304 6211092 140723340230256 140723340228216 5081744 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 11612160 140723340231691 140723340231793 140723340231793 140723340234702 0
/proc/11690/statm: 8291 2451 866 493 0 1596 0
Current children cumulated CPU time: 2022.37 s
Current children cumulated vsize: 33164 KiB
Current children cumulated memory: 9804 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/203 11917
/proc/meminfo: memFree=31208472/32770624 swapFree=67004432/67108860
[pid=11690] ppid=11687 vsize=33164 memory=9804 CPUtime=2082.38 cores=0,2,4,6
/proc/11690/stat : 11690 (cosoco) R 11687 11690 11640 0 -1 4202496 15915 0 0 0 208237 1 0 0 20 0 1 0 435588579 33959936 2451 33554432000 4194304 6211092 140723340230256 140723340228216 5082393 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 11612160 140723340231691 140723340231793 140723340231793 140723340234702 0
/proc/11690/statm: 8291 2451 866 493 0 1596 0
Current children cumulated CPU time: 2082.38 s
Current children cumulated vsize: 33164 KiB
Current children cumulated memory: 9804 KiB

[startup+2142.3 s]
/proc/loadavg: 2.07 2.03 2.05 3/204 11923
/proc/meminfo: memFree=31208112/32770624 swapFree=67004432/67108860
[pid=11690] ppid=11687 vsize=33164 memory=9804 CPUtime=2142.38 cores=0,2,4,6
/proc/11690/stat : 11690 (cosoco) R 11687 11690 11640 0 -1 4202496 15919 0 0 0 214237 1 0 0 20 0 1 0 435588579 33959936 2451 33554432000 4194304 6211092 140723340230256 140723340228216 5076273 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 11612160 140723340231691 140723340231793 140723340231793 140723340234702 0
/proc/11690/statm: 8291 2451 866 493 0 1596 0
Current children cumulated CPU time: 2142.38 s
Current children cumulated vsize: 33164 KiB
Current children cumulated memory: 9804 KiB

[startup+2202.3 s]
/proc/loadavg: 2.03 2.02 2.05 3/204 11935
/proc/meminfo: memFree=31208548/32770624 swapFree=67004432/67108860
[pid=11690] ppid=11687 vsize=33164 memory=9808 CPUtime=2202.39 cores=0,2,4,6
/proc/11690/stat : 11690 (cosoco) R 11687 11690 11640 0 -1 4202496 16394 0 0 0 220238 1 0 0 20 0 1 0 435588579 33959936 2452 33554432000 4194304 6211092 140723340230256 140723340228216 5193696 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 11612160 140723340231691 140723340231793 140723340231793 140723340234702 0
/proc/11690/statm: 8291 2452 866 493 0 1596 0
Current children cumulated CPU time: 2202.39 s
Current children cumulated vsize: 33164 KiB
Current children cumulated memory: 9808 KiB

[startup+2262.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/205 11961
/proc/meminfo: memFree=31206992/32770624 swapFree=67004432/67108860
[pid=11690] ppid=11687 vsize=33164 memory=9808 CPUtime=2262.39 cores=0,2,4,6
/proc/11690/stat : 11690 (cosoco) R 11687 11690 11640 0 -1 4202496 16395 0 0 0 226238 1 0 0 20 0 1 0 435588579 33959936 2452 33554432000 4194304 6211092 140723340230256 140723340228216 5078967 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 11612160 140723340231691 140723340231793 140723340231793 140723340234702 0
/proc/11690/statm: 8291 2452 866 493 0 1596 0
Current children cumulated CPU time: 2262.39 s
Current children cumulated vsize: 33164 KiB
Current children cumulated memory: 9808 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/206 11967
/proc/meminfo: memFree=31206684/32770624 swapFree=67004432/67108860
[pid=11690] ppid=11687 vsize=33164 memory=9808 CPUtime=2322.4 cores=0,2,4,6
/proc/11690/stat : 11690 (cosoco) R 11687 11690 11640 0 -1 4202496 16669 0 0 0 232239 1 0 0 20 0 1 0 435588579 33959936 2452 33554432000 4194304 6211092 140723340230256 140723340228216 5078762 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 11612160 140723340231691 140723340231793 140723340231793 140723340234702 0
/proc/11690/statm: 8291 2452 866 493 0 1596 0
Current children cumulated CPU time: 2322.4 s
Current children cumulated vsize: 33164 KiB
Current children cumulated memory: 9808 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/205 11971
/proc/meminfo: memFree=31207032/32770624 swapFree=67004432/67108860
[pid=11690] ppid=11687 vsize=33164 memory=9808 CPUtime=2382.4 cores=0,2,4,6
/proc/11690/stat : 11690 (cosoco) R 11687 11690 11640 0 -1 4202496 16671 0 0 0 238239 1 0 0 20 0 1 0 435588579 33959936 2452 33554432000 4194304 6211092 140723340230256 140723340228216 5076431 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 11612160 140723340231691 140723340231793 140723340231793 140723340234702 0
/proc/11690/statm: 8291 2452 866 493 0 1596 0
Current children cumulated CPU time: 2382.4 s
Current children cumulated vsize: 33164 KiB
Current children cumulated memory: 9808 KiB

[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/205 11975
/proc/meminfo: memFree=31207356/32770624 swapFree=67004432/67108860
[pid=11690] ppid=11687 vsize=33164 memory=9808 CPUtime=2442.41 cores=0,2,4,6
/proc/11690/stat : 11690 (cosoco) R 11687 11690 11640 0 -1 4202496 17148 0 0 0 244240 1 0 0 20 0 1 0 435588579 33959936 2452 33554432000 4194304 6211092 140723340230256 140723340228216 5081220 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 11612160 140723340231691 140723340231793 140723340231793 140723340234702 0
/proc/11690/statm: 8291 2452 866 493 0 1596 0
Current children cumulated CPU time: 2442.41 s
Current children cumulated vsize: 33164 KiB
Current children cumulated memory: 9808 KiB

[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/205 11981
/proc/meminfo: memFree=31206856/32770624 swapFree=67004432/67108860
[pid=11690] ppid=11687 vsize=33164 memory=9808 CPUtime=2502.41 cores=0,2,4,6
/proc/11690/stat : 11690 (cosoco) R 11687 11690 11640 0 -1 4202496 17148 0 0 0 250240 1 0 0 20 0 1 0 435588579 33959936 2452 33554432000 4194304 6211092 140723340230256 140723340228216 5081367 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 11612160 140723340231691 140723340231793 140723340231793 140723340234702 0
/proc/11690/statm: 8291 2452 866 493 0 1596 0
Current children cumulated CPU time: 2502.41 s
Current children cumulated vsize: 33164 KiB
Current children cumulated memory: 9808 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2519.9 s]
/proc/loadavg: 2.16 2.05 2.06 3/204 11981
/proc/meminfo: memFree=31207644/32770624 swapFree=67004432/67108860
[pid=11690] ppid=11687 vsize=33164 memory=9808 CPUtime=2520.01 cores=0,2,4,6
/proc/11690/stat : 11690 (cosoco) R 11687 11690 11640 0 -1 4202496 17422 0 0 0 252000 1 0 0 20 0 1 0 435588579 33959936 2452 33554432000 4194304 6211092 140723340230256 140723340228216 5397239 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 11612160 140723340231691 140723340231793 140723340231793 140723340234702 0
/proc/11690/statm: 8291 2452 866 493 0 1596 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 33164 KiB
Current children cumulated memory: 9808 KiB

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

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

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

[startup+2519.9 s]
/proc/loadavg: 2.16 2.05 2.06 3/204 11981
/proc/meminfo: memFree=31207644/32770624 swapFree=67004432/67108860
[pid=11690] ppid=11687 vsize=33164 memory=9808 CPUtime=2520.01 cores=0,2,4,6
/proc/11690/stat : 11690 (cosoco) R 11687 11690 11640 0 -1 4202496 17422 0 0 0 252000 1 0 0 20 0 1 0 435588579 33959936 2452 33554432000 4194304 6211092 140723340230256 140723340228216 5397239 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 11612160 140723340231691 140723340231793 140723340231793 140723340234702 0
/proc/11690/statm: 8291 2452 866 493 0 1596 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 33164 KiB
Current children cumulated memory: 9808 KiB

Child status: 1
Real time (s): 2519.9
CPU time (s): 2520.02
CPU user time (s): 2520.01
CPU system time (s): 0.012
CPU usage (%): 100.005
Max. virtual memory (cumulated for all children) (KiB): 33164
Max. memory (cumulated for all children) (KiB): 9808

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2520.01
system time used= 0.012
maximum resident set size= 9872
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17474
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= 17
involuntary context switches= 934


# summary of solver processes directly reported to runsolver:
#   pid: 11690
#   total CPU time (s): 2520.02
#   total CPU user time (s): 2520.01
#   total CPU system time (s): 0.012

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.84275 second user time and 16.9919 second system time

The end

Launcher Data 

Begin job on node133 at 2019-09-16 02:24:10
IDJOB=4396844
IDBENCH=138957
IDSOLVER=2848
FILE ID=node133/4396844-1568593490
RUNJOBID= node133-1568593450-11671
PBS_JOBID= 21703344
Free space on /tmp= 59576 MiB

SOLVER NAME= cosoco 2.0
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-4396844-1568593490/watcher-4396844-1568593490 -o /tmp/evaluation-result-4396844-1568593490/solver-4396844-1568593490 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1568593450-11671 --watchdog 2580  cosoco -lc -model -restarts -stick HOME/instance-4396844-1568593490.xml

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

MD5SUM BENCH= 3875648f967e99deb98809a056dae84c
RANDOM SEED=2110710759

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.18
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.18
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.18
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:        31223616 kB
MemAvailable:   31891296 kB
Buffers:          219936 kB
Cached:           740256 kB
SwapCached:         3240 kB
Active:           455004 kB
Inactive:         507660 kB
Active(anon):      26804 kB
Inactive(anon):    24388 kB
Active(file):     428200 kB
Inactive(file):   483272 kB
Unevictable:      111236 kB
Mlocked:          111236 kB
SwapTotal:      67108860 kB
SwapFree:       67004428 kB
Dirty:              2756 kB
Writeback:             0 kB
AnonPages:        112004 kB
Mapped:            46828 kB
Shmem:             39980 kB
Slab:             173100 kB
SReclaimable:     144084 kB
SUnreclaim:        29016 kB
KernelStack:        3424 kB
PageTables:         4980 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     509540 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     69632 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      122240 kB
DirectMap2M:    33423360 kB

Free space on /tmp at the end= 59572 MiB
End job on node133 at 2019-09-16 03:06:10