Trace number 4408118

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

General information on the benchmark

NameLatinSquare/LatinSquare-m1-gp/
qwh-o30-h375-07.xml
MD5SUMb197b36061edf780c6549c887861e4b6
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 benchmark9.08383
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":375},{"degree":2,"count":525}]
Minimum constraint arity525
Maximum constraint arity900
Distribution of constraint arities[{"arity":525,"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     : 4824        
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-4408118-1569810980.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: 585
0.00/0.02	c |                   Arity: 1..30  -- Unary: 525
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: 525
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.00/0.07	c 101            1009           13284          34297          884            0              543   659   630
0.10/0.11	c 211            1886           20277          58338          884            0              140   200   182
0.10/0.16	c 332            2943           29100          92913          884            0              126   676   618
0.10/0.20	c 465            4737           37805          113742         884            0              206   430   414
0.21/0.31	c 611            6032           58834          211725         884            0              256   599   561
0.30/0.41	c 771            7430           76345          282260         884            0              345   619   586
0.40/0.49	c 947            9048           92629          363262         884            0              382   610   584
0.50/0.57	c 1140           10338          107491         434043         884            0              425   576   562
0.60/0.67	c 1352           12017          124430         512301         884            0              414   475   453
0.69/0.71	c 1585           13375          134030         548040         884            0              414   478   457
0.69/0.77	c 1841           14389          143754         590742         884            0              385   447   437
0.79/0.85	c 2122           15560          159103         669409         884            0              387   413   402
0.89/0.92	c 2431           16835          171298         744417         884            0              365   419   391
1.19/1.25	c 2770           21887          233512         998257         884            0              272   590   506
1.29/1.33	c 3142           24601          249161         1064515        884            0              351   476   456
1.39/1.40	c 3551           26235          261600         1124899        884            0              379   468   447
1.49/1.56	c 4000           28745          290299         1242080        884            0              351   442   409
1.59/1.64	c 4493           30328          305499         1322898        884            0              328   364   356
1.79/1.82	c 5035           32634          337464         1472531        884            0              315   342   327
1.89/1.91	c 5631           34336          353952         1550812        884            0              274   305   295
2.10/2.15	c 6286           36929          396221         1746669        884            0              257   276   267
2.19/2.29	c 7006           40800          423514         1850542        884            0              211   247   237
2.49/2.58	c 7798           44825          474146         2106908        884            0              193   232   215
2.69/2.76	c 8669           47580          504643         2256216        884            0              191   217   207
2.89/2.98	c 9627           50352          545489         2452833        884            0              179   200   193
3.19/3.25	c 10680          54525          592895         2653203        884            0              179   213   198
3.59/3.69	c 11838          59847          669629         3045312        884            0              160   180   174
3.89/3.96	c 13111          64157          716872         3254608        884            0              149   176   167
4.39/4.46	c 14511          71070          803831         3664860        884            0              137   191   174
4.89/4.97	c 16051          77440          892679         4137055        884            0              146   185   162
5.39/5.49	c 17745          85460          985333         4526939        884            0              144   170   164
6.79/6.88	c 19608          106254         1243777        5690102        884            0              146   729   672
8.59/8.63	c 21657          126020         1559473        7301165        884            0              216   750   701
10.09/10.11	c 23910          142347         1828036        8506263        884            0              406   716   680
11.99/12.04	c 26388          165054         2181017        10082287       884            0              461   727   673
12.48/12.54	c 29113          175767         2272996        10523562       884            0              491   557   532
13.28/13.35	c 32110          188813         2419372        11153867       884            0              481   507   496
16.38/16.48	c 35406          213471         2973151        13991556       884            0              397   730   678
18.68/18.77	c 39031          242884         3389704        16010167       884            0              489   732   679
22.48/22.58	c 43018          274291         4067656        19510121       884            0              610   744   691
25.38/25.49	c 47403          303832         4592195        22270436       884            0              621   745   692
27.68/27.72	c 52226          330921         4996223        24348089       884            0              624   735   685
31.09/31.17	c 57531          363876         5609980        27512237       884            0              560   735   699
35.09/35.20	c 63366          399284         6324725        31167892       884            0              629   730   698
40.18/40.24	c 69784          439795         7221451        35675918       884            0              615   721   678
44.58/44.62	c 76843          483522         8011404        39228899       884            0              567   736   685
49.38/49.47	c 84607          526666         8880945        43559633       884            0              566   722   675
58.88/58.95	c 93147          590709         10553534       51891867       884            0              589   735   689
65.88/66.00	c 102541         643599         11804503       58308971       884            0              584   722   686
74.28/74.35	c 112874         706294         13282424       65988054       884            0              546   734   689
83.48/83.51	c 124240         777687         14905516       74193351       884            0              544   726   668
94.88/94.94	c 136742         870035         16934332       84865074       884            0              553   735   697
105.37/105.49	c 150494         969392         18843502       94157539       884            0              562   742   696
118.98/119.06	c 165621         1089456        21293604       106485131      884            0              548   742   697
130.77/130.85	c 182260         1189127        23385061       117741018      884            0              554   744   698
147.98/148.05	c 200562         1325191        26451985       134277949      884            0              562   749   692
162.98/163.03	c 220694         1470404        29161148       147030313      884            0              558   736   675
184.37/184.44	c 242839         1638003        32958988       166649505      884            0              552   739   693
206.57/206.61	c 267198         1799718        36853477       188166218      884            0              572   740   692
228.87/228.93	c 293992         1955052        40789283       209195385      884            0              585   710   669
259.17/259.22	c 323465         2166493        46184026       235829930      884            0              577   739   691
284.87/284.90	c 355885         2382840        50785846       258176666      884            0              616   725   675
314.56/314.69	c 391547         2602745        56063276       284915793      884            0              607   740   684
345.07/345.15	c 430775         2826476        61482971       312902671      884            0              608   723   680
372.56/372.64	c 473925         3068610        66413914       336732420      884            0              580   735   691
407.36/407.42	c 521390         3370358        72633526       366517885      884            0              583   727   679
443.97/444.02	c 573601         3747327        79245144       399034779      884            0              585   735   687
491.46/491.53	c 631033         4141725        87730034       444180590      884            0              602   747   700
534.35/534.47	c 694208         4491593        95316567       484900347      884            0              583   721   679
581.06/581.17	c 763700         4936440        103722369      527186040      884            0              567   739   690
641.85/641.92	c 840141         5446425        114579624      581172846      884            0              544   745   698
718.24/718.37	c 924226         6021630        128140513      649615665      884            0              576   758   699
794.84/794.92	c 1016719        6601446        141790534      718019970      884            0              565   714   670
871.05/871.14	c 1118461        7226196        155410629      783157897      884            0              553   734   674
948.24/948.33	c 1230377        7801945        169290759      851147029      884            0              556   735   672
1060.64/1060.79	c 1353484        8792696        189390875      956142772      884            0              552   748   685
1160.43/1160.53	c 1488901        9649083        207297306      1041507770     884            0              560   739   688
1247.94/1248.10	c 1637859        10478694       223013177      1117458195     884            0              564   729   667
1363.72/1363.89	c 1801712        11335969       243568396      1222759358     884            0              561   707   661
1469.72/1469.82	c 1981950        12230853       262406199      1317240611     884            0              550   723   678
1618.51/1618.65	c 2180211        13358995       288971684      1447019054     884            0              546   731   673
1759.20/1759.37	c 2398298        14615808       314246846      1574229679     884            0              565   738   682
1939.00/1939.17	c 2638193        16204468       346351038      1726993677     884            0              570   739   685
2150.99/2151.11	c 2902077        18255027       384458946      1912899607     884            0              557   756   689
2349.17/2349.39	c 3192349        19672741       419584834      2097748078     884            0              551   730   681
2519.87/2520.00	
2519.87/2520.00	c *** INTERRUPTED ***
2519.87/2520.00	c restarts              : 85          
2519.87/2520.00	c conflicts             : 3425272      (1359 /sec)
2519.87/2520.00	c decisions             : 20965301     (8320 /sec)
2519.87/2520.00	c propagations          : 2258118712  (896127 /sec)
2519.87/2520.00	c root propagations     : 4824        
2519.87/2520.00	c filter calls          : 449826457      (178512 /sec)
2519.87/2520.00	c useless filter calls  : 116045229      (25 %)
2519.87/2520.00	c Memory used           : 32.52 MB
2519.87/2520.00	c CPU time              : 2519.87 s
2519.87/2520.00	c real time             : 2520.01 s
2519.87/2520.00	
2519.87/2520.00	s UNKNOWN

Verifier Data


Watcher Data 

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

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

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4408118-1569810980/watcher-4408118-1569810980 -o /tmp/evaluation-result-4408118-1569810980/solver-4408118-1569810980 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1569787354-10134 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4408118-1569810980.xml 

running on 4 cores: 1,3,5,7

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

solver pid=15910, runsolver pid=15907

[startup+0.100611 s]*
/proc/loadavg: 2.00 2.01 2.05 3/199 15911
/proc/meminfo: memFree=31842404/32770624 swapFree=66947636/67108860
[pid=15910] ppid=15907 vsize=32240 memory=8672 CPUtime=0.1 cores=1,3,5,7
/proc/15910/stat : 15910 (cosoco) R 15907 15910 10102 0 -1 4202496 2367 0 0 0 10 0 0 0 20 0 1 0 557370415 33013760 2168 33554432000 4194304 6211132 140724099138528 140724099136488 5074580 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 40165376 140724099142667 140724099142769 140724099142769 140724099145678 0
/proc/15910/statm: 8060 2168 864 493 0 1365 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 32240 KiB
Current children cumulated memory: 8672 KiB

[startup+0.209625 s]*
/proc/loadavg: 2.00 2.01 2.05 3/199 15911
/proc/meminfo: memFree=31841716/32770624 swapFree=66947636/67108860
[pid=15910] ppid=15907 vsize=32768 memory=9200 CPUtime=0.21 cores=1,3,5,7
/proc/15910/stat : 15910 (cosoco) R 15907 15910 10102 0 -1 4202496 2512 0 0 0 21 0 0 0 20 0 1 0 557370415 33554432 2300 33554432000 4194304 6211132 140724099138528 140724099136488 5076405 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 40165376 140724099142667 140724099142769 140724099142769 140724099145678 0
/proc/15910/statm: 8192 2300 866 493 0 1497 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 32768 KiB
Current children cumulated memory: 9200 KiB

[startup+0.308924 s]*
/proc/loadavg: 2.00 2.01 2.05 3/199 15911
/proc/meminfo: memFree=31841716/32770624 swapFree=66947636/67108860
[pid=15910] ppid=15907 vsize=32900 memory=9200 CPUtime=0.3 cores=1,3,5,7
/proc/15910/stat : 15910 (cosoco) R 15907 15910 10102 0 -1 4202496 2525 0 0 0 30 0 0 0 20 0 1 0 557370415 33689600 2300 33554432000 4194304 6211132 140724099138528 140724099136488 139911823436896 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 40165376 140724099142667 140724099142769 140724099142769 140724099145678 0
/proc/15910/statm: 8225 2300 866 493 0 1530 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 32900 KiB
Current children cumulated memory: 9200 KiB

[startup+0.700269 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 15911
/proc/meminfo: memFree=31841716/32770624 swapFree=66947636/67108860
[pid=15910] ppid=15907 vsize=33032 memory=9464 CPUtime=0.69 cores=1,3,5,7
/proc/15910/stat : 15910 (cosoco) R 15907 15910 10102 0 -1 4202496 2551 0 0 0 69 0 0 0 20 0 1 0 557370415 33824768 2366 33554432000 4194304 6211132 140724099138528 140724099136488 5076638 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 40165376 140724099142667 140724099142769 140724099142769 140724099145678 0
/proc/15910/statm: 8258 2366 866 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.50027 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 15911
/proc/meminfo: memFree=31841384/32770624 swapFree=66947636/67108860
[pid=15910] ppid=15907 vsize=33032 memory=9464 CPUtime=1.49 cores=1,3,5,7
/proc/15910/stat : 15910 (cosoco) R 15907 15910 10102 0 -1 4202496 2566 0 0 0 149 0 0 0 20 0 1 0 557370415 33824768 2366 33554432000 4194304 6211132 140724099138528 140724099136488 5081687 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 40165376 140724099142667 140724099142769 140724099142769 140724099145678 0
/proc/15910/statm: 8258 2366 866 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.10933 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 15911
/proc/meminfo: memFree=31841260/32770624 swapFree=66947636/67108860
[pid=15910] ppid=15907 vsize=33032 memory=9620 CPUtime=3.1 cores=1,3,5,7
/proc/15910/stat : 15910 (cosoco) R 15907 15910 10102 0 -1 4202496 3644 0 0 0 310 0 0 0 20 0 1 0 557370415 33824768 2405 33554432000 4194304 6211132 140724099138528 140724099136488 5081305 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 40165376 140724099142667 140724099142769 140724099142769 140724099145678 0
/proc/15910/statm: 8258 2405 866 493 0 1563 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 33032 KiB
Current children cumulated memory: 9620 KiB

[startup+6.30026 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 15911
/proc/meminfo: memFree=31841452/32770624 swapFree=66947636/67108860
[pid=15910] ppid=15907 vsize=33296 memory=9852 CPUtime=6.29 cores=1,3,5,7
/proc/15910/stat : 15910 (cosoco) R 15907 15910 10102 0 -1 4202496 5168 0 0 0 629 0 0 0 20 0 1 0 557370415 34095104 2463 33554432000 4194304 6211132 140724099138528 140724099135816 5078740 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 40165376 140724099142667 140724099142769 140724099142769 140724099145678 0
/proc/15910/statm: 8324 2463 866 493 0 1629 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 33296 KiB
Current children cumulated memory: 9852 KiB

[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 15911
/proc/meminfo: memFree=31841320/32770624 swapFree=66947636/67108860
[pid=15910] ppid=15907 vsize=33296 memory=9900 CPUtime=12.68 cores=1,3,5,7
/proc/15910/stat : 15910 (cosoco) R 15907 15910 10102 0 -1 4202496 6697 0 0 0 1268 0 0 0 20 0 1 0 557370415 34095104 2475 33554432000 4194304 6211132 140724099138528 140724099136488 5082455 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 40165376 140724099142667 140724099142769 140724099142769 140724099145678 0
/proc/15910/statm: 8324 2475 866 493 0 1629 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 33296 KiB
Current children cumulated memory: 9900 KiB

[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 15911
/proc/meminfo: memFree=31841320/32770624 swapFree=66947636/67108860
[pid=15910] ppid=15907 vsize=33296 memory=9920 CPUtime=25.48 cores=1,3,5,7
/proc/15910/stat : 15910 (cosoco) R 15907 15910 10102 0 -1 4202496 9694 0 0 0 2548 0 0 0 20 0 1 0 557370415 34095104 2480 33554432000 4194304 6211132 140724099138528 140724099136488 5009136 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 40165376 140724099142667 140724099142769 140724099142769 140724099145678 0
/proc/15910/statm: 8324 2480 866 493 0 1629 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 33296 KiB
Current children cumulated memory: 9920 KiB

[startup+51.109 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 15914
/proc/meminfo: memFree=31841292/32770624 swapFree=66947636/67108860
[pid=15910] ppid=15907 vsize=33296 memory=9928 CPUtime=51.09 cores=1,3,5,7
/proc/15910/stat : 15910 (cosoco) R 15907 15910 10102 0 -1 4202496 11217 0 0 0 5109 0 0 0 20 0 1 0 557370415 34095104 2482 33554432000 4194304 6211132 140724099138528 140724099136488 5193742 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 40165376 140724099142667 140724099142769 140724099142769 140724099145678 0
/proc/15910/statm: 8324 2482 866 493 0 1629 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 33296 KiB
Current children cumulated memory: 9928 KiB

[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 15917
/proc/meminfo: memFree=31840712/32770624 swapFree=66947636/67108860
[pid=15910] ppid=15907 vsize=33296 memory=9928 CPUtime=102.27 cores=1,3,5,7
/proc/15910/stat : 15910 (cosoco) R 15907 15910 10102 0 -1 4202496 12735 0 0 0 10227 0 0 0 20 0 1 0 557370415 34095104 2482 33554432000 4194304 6211132 140724099138528 140724099136488 5079289 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 40165376 140724099142667 140724099142769 140724099142769 140724099145678 0
/proc/15910/statm: 8324 2482 866 493 0 1629 0
Current children cumulated CPU time: 102.27 s
Current children cumulated vsize: 33296 KiB
Current children cumulated memory: 9928 KiB

[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 15921
/proc/meminfo: memFree=31840928/32770624 swapFree=66947636/67108860
[pid=15910] ppid=15907 vsize=33296 memory=9940 CPUtime=162.27 cores=1,3,5,7
/proc/15910/stat : 15910 (cosoco) R 15907 15910 10102 0 -1 4202496 13237 0 0 0 16227 0 0 0 20 0 1 0 557370415 34095104 2485 33554432000 4194304 6211132 140724099138528 140724099136488 5081767 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 40165376 140724099142667 140724099142769 140724099142769 140724099145678 0
/proc/15910/statm: 8324 2485 866 493 0 1629 0
Current children cumulated CPU time: 162.27 s
Current children cumulated vsize: 33296 KiB
Current children cumulated memory: 9940 KiB

[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 15927
/proc/meminfo: memFree=31840204/32770624 swapFree=66947636/67108860
[pid=15910] ppid=15907 vsize=33296 memory=9940 CPUtime=222.27 cores=1,3,5,7
/proc/15910/stat : 15910 (cosoco) R 15907 15910 10102 0 -1 4202496 13739 0 0 0 22227 0 0 0 20 0 1 0 557370415 34095104 2485 33554432000 4194304 6211132 140724099138528 140724099136488 5079440 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 40165376 140724099142667 140724099142769 140724099142769 140724099145678 0
/proc/15910/statm: 8324 2485 866 493 0 1629 0
Current children cumulated CPU time: 222.27 s
Current children cumulated vsize: 33296 KiB
Current children cumulated memory: 9940 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 15938
/proc/meminfo: memFree=31840236/32770624 swapFree=66947636/67108860
[pid=15910] ppid=15907 vsize=33296 memory=9940 CPUtime=282.27 cores=1,3,5,7
/proc/15910/stat : 15910 (cosoco) R 15907 15910 10102 0 -1 4202496 14242 0 0 0 28227 0 0 0 20 0 1 0 557370415 34095104 2485 33554432000 4194304 6211132 140724099138528 140724099136488 5082228 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 40165376 140724099142667 140724099142769 140724099142769 140724099145678 0
/proc/15910/statm: 8324 2485 866 493 0 1629 0
Current children cumulated CPU time: 282.27 s
Current children cumulated vsize: 33296 KiB
Current children cumulated memory: 9940 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 15942
/proc/meminfo: memFree=31840580/32770624 swapFree=66947636/67108860
[pid=15910] ppid=15907 vsize=33296 memory=9940 CPUtime=342.26 cores=1,3,5,7
/proc/15910/stat : 15910 (cosoco) R 15907 15910 10102 0 -1 4202496 14745 0 0 0 34226 0 0 0 20 0 1 0 557370415 34095104 2485 33554432000 4194304 6211132 140724099138528 140724099136488 5076031 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 40165376 140724099142667 140724099142769 140724099142769 140724099145678 0
/proc/15910/statm: 8324 2485 866 493 0 1629 0
Current children cumulated CPU time: 342.26 s
Current children cumulated vsize: 33296 KiB
Current children cumulated memory: 9940 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 15948
/proc/meminfo: memFree=31840232/32770624 swapFree=66947636/67108860
[pid=15910] ppid=15907 vsize=33296 memory=9940 CPUtime=402.26 cores=1,3,5,7
/proc/15910/stat : 15910 (cosoco) R 15907 15910 10102 0 -1 4202496 15248 0 0 0 40226 0 0 0 20 0 1 0 557370415 34095104 2485 33554432000 4194304 6211132 140724099138528 140724099136488 5078767 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 40165376 140724099142667 140724099142769 140724099142769 140724099145678 0
/proc/15910/statm: 8324 2485 866 493 0 1629 0
Current children cumulated CPU time: 402.26 s
Current children cumulated vsize: 33296 KiB
Current children cumulated memory: 9940 KiB

[startup+462.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/199 15952
/proc/meminfo: memFree=31839784/32770624 swapFree=66947636/67108860
[pid=15910] ppid=15907 vsize=33296 memory=9940 CPUtime=462.26 cores=1,3,5,7
/proc/15910/stat : 15910 (cosoco) R 15907 15910 10102 0 -1 4202496 15753 0 0 0 46226 0 0 0 20 0 1 0 557370415 34095104 2485 33554432000 4194304 6211132 140724099138528 140724099136488 5075237 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 40165376 140724099142667 140724099142769 140724099142769 140724099145678 0
/proc/15910/statm: 8324 2485 866 493 0 1629 0
Current children cumulated CPU time: 462.26 s
Current children cumulated vsize: 33296 KiB
Current children cumulated memory: 9940 KiB


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

/proc/15910/statm: 8324 2485 866 493 0 1629 0
Current children cumulated CPU time: 1722.2 s
Current children cumulated vsize: 33296 KiB
Current children cumulated memory: 9940 KiB

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 16095
/proc/meminfo: memFree=31838688/32770624 swapFree=66947644/67108860
[pid=15910] ppid=15907 vsize=33296 memory=9940 CPUtime=1782.2 cores=1,3,5,7
/proc/15910/stat : 15910 (cosoco) R 15907 15910 10102 0 -1 4202496 25026 0 0 0 178219 1 0 0 20 0 1 0 557370415 34095104 2485 33554432000 4194304 6211132 140724099138528 140724099136488 5075686 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 40165376 140724099142667 140724099142769 140724099142769 140724099145678 0
/proc/15910/statm: 8324 2485 866 493 0 1629 0
Current children cumulated CPU time: 1782.2 s
Current children cumulated vsize: 33296 KiB
Current children cumulated memory: 9940 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 16101
/proc/meminfo: memFree=31838912/32770624 swapFree=66947644/67108860
[pid=15910] ppid=15907 vsize=33296 memory=9940 CPUtime=1842.2 cores=1,3,5,7
/proc/15910/stat : 15910 (cosoco) R 15907 15910 10102 0 -1 4202496 25309 0 0 0 184219 1 0 0 20 0 1 0 557370415 34095104 2485 33554432000 4194304 6211132 140724099138528 140724099136488 5380288 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 40165376 140724099142667 140724099142769 140724099142769 140724099145678 0
/proc/15910/statm: 8324 2485 866 493 0 1629 0
Current children cumulated CPU time: 1842.2 s
Current children cumulated vsize: 33296 KiB
Current children cumulated memory: 9940 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 16105
/proc/meminfo: memFree=31838604/32770624 swapFree=66947644/67108860
[pid=15910] ppid=15907 vsize=33296 memory=9940 CPUtime=1902.19 cores=1,3,5,7
/proc/15910/stat : 15910 (cosoco) R 15907 15910 10102 0 -1 4202496 25588 0 0 0 190218 1 0 0 20 0 1 0 557370415 34095104 2485 33554432000 4194304 6211132 140724099138528 140724099136488 5380299 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 40165376 140724099142667 140724099142769 140724099142769 140724099145678 0
/proc/15910/statm: 8324 2485 866 493 0 1629 0
Current children cumulated CPU time: 1902.19 s
Current children cumulated vsize: 33296 KiB
Current children cumulated memory: 9940 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 16109
/proc/meminfo: memFree=31838768/32770624 swapFree=66947644/67108860
[pid=15910] ppid=15907 vsize=33296 memory=9940 CPUtime=1962.19 cores=1,3,5,7
/proc/15910/stat : 15910 (cosoco) R 15907 15910 10102 0 -1 4202496 26095 0 0 0 196218 1 0 0 20 0 1 0 557370415 34095104 2485 33554432000 4194304 6211132 140724099138528 140724099136488 5083148 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 40165376 140724099142667 140724099142769 140724099142769 140724099145678 0
/proc/15910/statm: 8324 2485 866 493 0 1629 0
Current children cumulated CPU time: 1962.19 s
Current children cumulated vsize: 33296 KiB
Current children cumulated memory: 9940 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 16115
/proc/meminfo: memFree=31838968/32770624 swapFree=66947644/67108860
[pid=15910] ppid=15907 vsize=33296 memory=9940 CPUtime=2022.19 cores=1,3,5,7
/proc/15910/stat : 15910 (cosoco) R 15907 15910 10102 0 -1 4202496 26372 0 0 0 202218 1 0 0 20 0 1 0 557370415 34095104 2485 33554432000 4194304 6211132 140724099138528 140724099136488 5082423 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 40165376 140724099142667 140724099142769 140724099142769 140724099145678 0
/proc/15910/statm: 8324 2485 866 493 0 1629 0
Current children cumulated CPU time: 2022.19 s
Current children cumulated vsize: 33296 KiB
Current children cumulated memory: 9940 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 16127
/proc/meminfo: memFree=31838740/32770624 swapFree=66947644/67108860
[pid=15910] ppid=15907 vsize=33296 memory=9940 CPUtime=2082.19 cores=1,3,5,7
/proc/15910/stat : 15910 (cosoco) R 15907 15910 10102 0 -1 4202496 26655 0 0 0 208218 1 0 0 20 0 1 0 557370415 34095104 2485 33554432000 4194304 6211132 140724099138528 140724099136488 5392674 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 40165376 140724099142667 140724099142769 140724099142769 140724099145678 0
/proc/15910/statm: 8324 2485 866 493 0 1629 0
Current children cumulated CPU time: 2082.19 s
Current children cumulated vsize: 33296 KiB
Current children cumulated memory: 9940 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 16131
/proc/meminfo: memFree=31839120/32770624 swapFree=66947644/67108860
[pid=15910] ppid=15907 vsize=33296 memory=9940 CPUtime=2142.18 cores=1,3,5,7
/proc/15910/stat : 15910 (cosoco) R 15907 15910 10102 0 -1 4202496 26935 0 0 0 214217 1 0 0 20 0 1 0 557370415 34095104 2485 33554432000 4194304 6211132 140724099138528 140724099136488 5075694 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 40165376 140724099142667 140724099142769 140724099142769 140724099145678 0
/proc/15910/statm: 8324 2485 866 493 0 1629 0
Current children cumulated CPU time: 2142.18 s
Current children cumulated vsize: 33296 KiB
Current children cumulated memory: 9940 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 16137
/proc/meminfo: memFree=31839048/32770624 swapFree=66947644/67108860
[pid=15910] ppid=15907 vsize=33296 memory=9940 CPUtime=2202.18 cores=1,3,5,7
/proc/15910/stat : 15910 (cosoco) R 15907 15910 10102 0 -1 4202496 27436 0 0 0 220217 1 0 0 20 0 1 0 557370415 34095104 2485 33554432000 4194304 6211132 140724099138528 140724099136488 5076396 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 40165376 140724099142667 140724099142769 140724099142769 140724099145678 0
/proc/15910/statm: 8324 2485 866 493 0 1629 0
Current children cumulated CPU time: 2202.18 s
Current children cumulated vsize: 33296 KiB
Current children cumulated memory: 9940 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 16141
/proc/meminfo: memFree=31838732/32770624 swapFree=66947644/67108860
[pid=15910] ppid=15907 vsize=33296 memory=9940 CPUtime=2262.18 cores=1,3,5,7
/proc/15910/stat : 15910 (cosoco) R 15907 15910 10102 0 -1 4202496 27715 0 0 0 226217 1 0 0 20 0 1 0 557370415 34095104 2485 33554432000 4194304 6211132 140724099138528 140724099136488 5079264 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 40165376 140724099142667 140724099142769 140724099142769 140724099145678 0
/proc/15910/statm: 8324 2485 866 493 0 1629 0
Current children cumulated CPU time: 2262.18 s
Current children cumulated vsize: 33296 KiB
Current children cumulated memory: 9940 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 16145
/proc/meminfo: memFree=31839140/32770624 swapFree=66947644/67108860
[pid=15910] ppid=15907 vsize=33296 memory=9940 CPUtime=2322.17 cores=1,3,5,7
/proc/15910/stat : 15910 (cosoco) R 15907 15910 10102 0 -1 4202496 27994 0 0 0 232216 1 0 0 20 0 1 0 557370415 34095104 2485 33554432000 4194304 6211132 140724099138528 140724099136488 5081706 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 40165376 140724099142667 140724099142769 140724099142769 140724099145678 0
/proc/15910/statm: 8324 2485 866 493 0 1629 0
Current children cumulated CPU time: 2322.17 s
Current children cumulated vsize: 33296 KiB
Current children cumulated memory: 9940 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 16151
/proc/meminfo: memFree=31838784/32770624 swapFree=66947644/67108860
[pid=15910] ppid=15907 vsize=33296 memory=9940 CPUtime=2382.17 cores=1,3,5,7
/proc/15910/stat : 15910 (cosoco) R 15907 15910 10102 0 -1 4202496 28495 0 0 0 238216 1 0 0 20 0 1 0 557370415 34095104 2485 33554432000 4194304 6211132 140724099138528 140724099136488 5074526 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 40165376 140724099142667 140724099142769 140724099142769 140724099145678 0
/proc/15910/statm: 8324 2485 866 493 0 1629 0
Current children cumulated CPU time: 2382.17 s
Current children cumulated vsize: 33296 KiB
Current children cumulated memory: 9940 KiB

[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 16155
/proc/meminfo: memFree=31838560/32770624 swapFree=66947644/67108860
[pid=15910] ppid=15907 vsize=33296 memory=9940 CPUtime=2442.17 cores=1,3,5,7
/proc/15910/stat : 15910 (cosoco) R 15907 15910 10102 0 -1 4202496 28775 0 0 0 244216 1 0 0 20 0 1 0 557370415 34095104 2485 33554432000 4194304 6211132 140724099138528 140724099136488 5081762 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 40165376 140724099142667 140724099142769 140724099142769 140724099145678 0
/proc/15910/statm: 8324 2485 866 493 0 1629 0
Current children cumulated CPU time: 2442.17 s
Current children cumulated vsize: 33296 KiB
Current children cumulated memory: 9940 KiB

[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 16159
/proc/meminfo: memFree=31838816/32770624 swapFree=66947644/67108860
[pid=15910] ppid=15907 vsize=33296 memory=9940 CPUtime=2502.16 cores=1,3,5,7
/proc/15910/stat : 15910 (cosoco) R 15907 15910 10102 0 -1 4202496 29054 0 0 0 250215 1 0 0 20 0 1 0 557370415 34095104 2485 33554432000 4194304 6211132 140724099138528 140724099136488 5081996 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 40165376 140724099142667 140724099142769 140724099142769 140724099145678 0
/proc/15910/statm: 8324 2485 866 493 0 1629 0
Current children cumulated CPU time: 2502.16 s
Current children cumulated vsize: 33296 KiB
Current children cumulated memory: 9940 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 2.00 2.01 2.05 3/199 16223
/proc/meminfo: memFree=31824148/32770624 swapFree=66947644/67108860
[pid=15910] ppid=15907 vsize=33296 memory=9940 CPUtime=2519.87 cores=1,3,5,7
/proc/15910/stat : 15910 (cosoco) R 15907 15910 10102 0 -1 4202496 29332 0 0 0 251986 1 0 0 20 0 1 0 557370415 34095104 2485 33554432000 4194304 6211132 140724099138528 140724099136488 5078776 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 40165376 140724099142667 140724099142769 140724099142769 140724099145678 0
/proc/15910/statm: 8324 2485 866 493 0 1629 0
Current children cumulated CPU time: 2519.87 s
Current children cumulated vsize: 33296 KiB
Current children cumulated memory: 9940 KiB

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

[startup+2520.01 s]
# the end of solver process 15910 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2519.87 s, system=0.015999 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.88
CPU user time (s): 2519.87
CPU system time (s): 0.015999
CPU usage (%): 99.9949
Max. virtual memory (cumulated for all children) (KiB): 33296
Max. memory (cumulated for all children) (KiB): 9940

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.87
system time used= 0.015999
maximum resident set size= 10004
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29386
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= 8
involuntary context switches= 659


# summary of solver processes directly reported to runsolver:
#   pid: 15910
#   total CPU time (s): 2519.88
#   total CPU user time (s): 2519.87
#   total CPU system time (s): 0.015999

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.59224 second user time and 16.1901 second system time

The end

Launcher Data 

Begin job on node150 at 2019-09-30 04:35:38
IDJOB=4408118
IDBENCH=138976
IDSOLVER=2874
FILE ID=node150/4408118-1569810980
RUNJOBID= node150-1569787354-10134
PBS_JOBID= 21705815
Free space on /tmp= 62028 MiB

SOLVER NAME= cosoco 2.0
BENCH NAME= XCSP17/LatinSquare/LatinSquare-m1-gp/qwh-o30-h375-07.xml
COMMAND LINE= cosoco -lc -model -restarts -stick BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4408118-1569810980/watcher-4408118-1569810980 -o /tmp/evaluation-result-4408118-1569810980/solver-4408118-1569810980 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1569787354-10134 --watchdog 2580  cosoco -lc -model -restarts -stick HOME/instance-4408118-1569810980.xml

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

MD5SUM BENCH= b197b36061edf780c6549c887861e4b6
RANDOM SEED=1081948196

node150.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.79
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.79
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.79
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.79
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:        31847172 kB
MemAvailable:   31928392 kB
Buffers:          143784 kB
Cached:           224788 kB
SwapCached:         5528 kB
Active:           162600 kB
Inactive:         219012 kB
Active(anon):      15780 kB
Inactive(anon):    21808 kB
Active(file):     146820 kB
Inactive(file):   197204 kB
Unevictable:      110020 kB
Mlocked:          110020 kB
SwapTotal:      67108860 kB
SwapFree:       66947636 kB
Dirty:              2944 kB
Writeback:             0 kB
AnonPages:         59736 kB
Mapped:            28220 kB
Shmem:             15664 kB
Slab:             134968 kB
SReclaimable:     106060 kB
SUnreclaim:        28908 kB
KernelStack:        3760 kB
PageTables:         5812 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     574816 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     12288 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:       99712 kB
DirectMap2M:    33445888 kB

Free space on /tmp at the end= 62024 MiB
End job on node150 at 2019-09-30 05:17:39