Trace number 4268346

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 1.12? (TO) 2519.6899 2520

General information on the benchmark

NameSteiner3/Steiner3-m1-s1/
Steiner3-08.xml
MD5SUMe66788b55a8c4825b73f7b3fa22372b6
Bench CategoryCSP (decision problem)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables27
Number of constraints45
Number of domains1
Minimum domain size8
Maximum domain size8
Distribution of domain sizes[{"size":8,"count":27}]
Minimum variable degree9
Maximum variable degree9
Distribution of variable degrees[{"degree":9,"count":27}]
Minimum constraint arity3
Maximum constraint arity6
Distribution of constraint arities[{"arity":3,"count":9},{"arity":6,"count":36}]
Number of extensional constraints36
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":36},{"type":"ordered","count":9}]
Optimization problemNO
Type of objective

Solver Data 

0.58/0.74	c root propagations     : 54          
0.58/0.74	c restarts enabled, print stats at every restarts
0.58/0.74	c
0.58/0.74	c
0.58/0.74	c
0.58/0.74	c This is cosoco 1.12 --  
0.58/0.74	c
0.58/0.74	c command line: cosoco -lc -model -restarts HOME/instance-4268346-1502529308.xml 
0.58/0.74	c ========================================[ Problem Statistics ]===========================================
0.58/0.74	c |                                                                                                       
0.58/0.74	c |  Parse time        :         0.46 s 
0.58/0.74	c |
0.58/0.74	c |               Variables: 27
0.58/0.74	c |            Domain Sizes: 8..8
0.58/0.74	c |
0.58/0.74	c |             Constraints: 54
0.58/0.74	c |                   Arity: 2..6  -- Binary: 18
0.58/0.74	c | 
0.58/0.74	c |                   Types: 
0.58/0.74	c |                          (X - Y < k): 18
0.58/0.74	c |                          Extension: 36  (nb tuples: 80640..80640) -- (shared: 35)
0.58/0.74	c |                          
0.58/0.74	c =========================================================================================================
0.58/0.74	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
0.68/0.83	c 101            170            3146           1290           27             0              7   23   18    
0.78/0.92	c 211            348            6212           2746           27             0              3   23   20    
0.88/1.02	c 332            549            9717           4348           27             0              4   23   20    
0.99/1.14	c 465            777            14024          6202           27             0              3   22   20    
1.09/1.24	c 611            1028           18432          8037           27             0              3   23   20    
1.18/1.38	c 771            1296           23263          10301          27             0              4   23   20    
1.38/1.51	c 947            1596           28830          12599          27             0              3   23   20    
1.48/1.66	c 1140           1921           34766          15405          27             0              3   25   20    
1.68/1.82	c 1352           2305           41611          18565          27             0              7   25   20    
1.78/1.98	c 1585           2709           48801          21791          27             0              3   25   20    
1.98/2.15	c 1841           3175           56989          25496          27             0              3   25   20    
2.19/2.33	c 2122           3697           66549          29392          27             0              4   25   20    
2.38/2.53	c 2431           4246           76443          33705          27             0              3   25   20    
2.58/2.73	c 2770           4820           86255          38078          27             0              4   25   21    
2.78/2.98	c 3142           5505           99193          43629          27             0              7   25   20    
3.08/3.25	c 3551           6192           111600         49476          27             0              3   25   21    
3.38/3.54	c 4000           7010           126701         55931          27             0              3   25   21    
3.68/3.85	c 4493           7913           142897         63054          27             0              3   25   21    
3.98/4.16	c 5035           8896           160473         71027          27             0              3   25   21    
4.39/4.55	c 5631           9962           180159         79539          27             0              3   25   21    
4.78/4.94	c 6286           11166          201855         89431          27             0              5   25   21    
5.28/5.40	c 7006           12527          225914         99412          27             0              4   25   21    
5.68/5.83	c 7798           13988          252330         111310         27             0              7   25   21    
6.18/6.31	c 8669           15558          281422         123918         27             0              4   25   21    
6.68/6.88	c 9627           17242          310786         137006         27             0              4   25   21    
7.28/7.45	c 10680          19076          343086         151914         27             0              3   25   21    
7.78/7.96	c 11838          21253          381490         168164         27             0              4   25   21    
8.58/8.73	c 13111          23573          424248         187898         27             0              7   25   21    
9.28/9.48	c 14511          26121          471258         208362         27             0              3   25   21    
10.28/10.42	c 16051          28892          521608         231807         27             0              7   25   21    
11.28/11.41	c 17745          32027          578027         256808         27             0              3   25   21    
12.38/12.52	c 19608          35427          637992         283623         27             0              3   25   21    
13.48/13.69	c 21657          39140          705463         314192         27             0              3   25   21    
14.78/14.92	c 23910          43418          782066         347478         27             0              3   25   21    
16.28/16.46	c 26388          48108          868553         384351         27             0              3   25   21    
17.88/18.02	c 29113          53184          961552         425300         27             0              3   25   21    
19.38/19.59	c 32110          58600          1058471        468138         27             0              3   25   21    
21.28/21.47	c 35406          64757          1173150        517190         27             0              3   25   21    
23.29/23.42	c 39031          71523          1296018        573084         27             0              3   25   21    
25.09/25.22	c 43018          79137          1436750        633181         27             0              5   25   21    
27.29/27.40	c 47403          87236          1585361        700171         27             0              7   25   21    
29.99/30.17	c 52226          95892          1743108        771936         27             0              4   25   21    
32.69/32.89	c 57531          105837         1924487        851243         27             0              3   25   21    
35.59/35.76	c 63366          116695         2125279        939653         27             0              7   25   21    
38.49/38.68	c 69784          128862         2349101        1034124        27             0              3   25   21    
42.39/42.56	c 76843          141702         2585027        1136532        27             0              4   25   21    
46.48/46.65	c 84607          156191         2853778        1253749        27             0              3   25   21    
50.49/50.70	c 93147          172373         3164599        1371142        27             0              4   25   21    
54.99/55.15	c 102541         189784         3477606        1511684        27             0              3   25   21    
60.49/60.66	c 112874         209068         3831859        1667479        27             0              7   25   21    
66.58/66.71	c 124240         230440         4214805        1836027        27             0              3   25   21    
72.88/73.08	c 136742         254095         4657067        2008115        27             0              4   25   21    
78.38/78.55	c 150494         280531         5144810        2221960        27             0              7   25   21    
86.48/86.69	c 165621         308510         5647351        2452826        27             0              7   25   21    
94.38/94.58	c 182260         340097         6211233        2704383        27             0              3   25   21    
103.39/103.52	c 200562         373718         6820637        2984745        27             0              7   25   21    
111.58/111.76	c 220694         410206         7443829        3264413        27             0              4   25   21    
122.28/122.41	c 242839         451321         8170871        3587355        27             0              3   25   21    
133.28/133.48	c 267198         496358         8971969        3956205        27             0              3   25   21    
143.48/143.64	c 293992         544865         9832303        4342983        27             0              3   25   21    
157.67/157.84	c 323465         601677         10839963       4783888        27             0              3   25   21    
169.57/169.71	c 355885         662185         11941517       5277366        27             0              7   25   21    
185.07/185.27	c 391547         728805         13139269       5820306        27             0              7   25   21    
203.67/203.88	c 430775         804612         14495807       6428293        27             0              3   25   21    
220.47/220.66	c 473925         885261         15942007       7082370        27             0              7   25   21    
243.57/243.75	c 521390         975712         17551869       7783742        27             0              3   25   21    
263.57/263.71	c 573601         1074540        19315680       8576910        27             0              7   25   21    
286.76/286.93	c 631033         1183393        21264564       9452392        27             0              7   25   21    
316.16/316.30	c 694208         1304309        23409092       10350208       27             0              4   25   21    
352.86/353.01	c 763700         1433514        25724245       11396929       27             0              3   25   21    
384.45/384.67	c 840141         1573526        28196440       12521576       27             0              3   25   21    
419.25/419.40	c 924226         1728944        30965141       13786339       27             0              3   25   21    
460.64/460.89	c 1016719        1903523        34102218       15196887       27             0              7   25   21    
513.25/513.41	c 1118461        2098315        37612727       16749279       27             0              3   25   21    
559.54/559.77	c 1230377        2303516        41249073       18400584       27             0              3   25   21    
618.33/618.59	c 1353484        2536038        45467189       20268676       27             0              3   25   21    
666.53/666.71	c 1488901        2786299        49864001       22241523       27             0              3   25   21    
736.22/736.45	c 1637859        3069776        54950790       24450951       27             0              3   25   21    
806.71/806.90	c 1801712        3383726        60542314       26790512       27             0              4   25   21    
890.70/890.90	c 1981950        3725944        66908040       29397058       27             0              4   25   21    
981.89/982.19	c 2180211        4102307        73757116       32477988       27             0              7   25   21    
1085.79/1086.08	c 2398298        4512872        81215857       35855600       27             0              7   25   21    
1196.08/1196.38	c 2638193        4969474        89366050       39437775       27             0              3   25   21    
1293.38/1293.60	c 2902077        5457387        98152454       43442884       27             0              7   25   21    
1429.06/1429.39	c 3192349        6001456        107800970      47579270       27             0              4   25   21    
1567.86/1568.15	c 3511648        6616762        118809918      52371348       27             0              3   25   21    
1733.14/1733.43	c 3862876        7282767        130844636      57776413       27             0              3   25   21    
1914.13/1914.41	c 4249226        8025967        144400337      63670083       27             0              3   25   21    
2110.72/2111.03	c 4674211        8829743        158719616      69755376       27             0              4   25   21    
2326.30/2326.68	c 5141694        9715320        174899872      77009733       27             0              6   25   21    
2519.68/2520.00	
2519.68/2520.00	c *** INTERRUPTED ***
2519.68/2520.00	c restarts              : 90          
2519.68/2520.00	c conflicts             : 5561764      (2207 /sec)
2519.68/2520.00	c decisions             : 10507777     (4170 /sec)
2519.68/2520.00	c propagations          : 83531072    (33152 /sec)
2519.68/2520.00	c root propagations     : 54          
2519.68/2520.00	c filter calls          : 189435460      (75183 /sec)
2519.68/2520.00	c useless filter calls  : 152890225      (80 %)
2519.68/2520.00	c Memory used           : 52.66 MB
2519.68/2520.00	c CPU time              : 2519.65 s
2519.68/2520.00	
2519.68/2520.00	s UNKNOWN

Verifier Data


Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4268346-1502529308/watcher-4268346-1502529308 -o /tmp/evaluation-result-4268346-1502529308/solver-4268346-1502529308 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1502500306-27513 --watchdog 2580 cosoco -lc -model -restarts HOME/instance-4268346-1502529308.xml 

pid=3093
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
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 1.89 2.00 2.03 3/188 3096
/proc/meminfo: memFree=30251740/32770624 swapFree=0/470884
[pid=3096] ppid=3093 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/3096/stat : 3096 (runsolver) D 3093 3096 27450 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 152583633 24240128 106 18446744073709551615 4194304 4338465 140721378728800 140721378726440 140453570110167 0 0 1 24578 18446744071580418449 0 0 17 4 0 0 0 0 0 6438912 6441760 25128960 140721378730177 140721378730569 140721378730569 140721378734026 0
/proc/3096/statm: 5918 106 53 36 0 2156 0

[startup+0.100153 s]
/proc/loadavg: 1.89 2.00 2.03 3/188 3096
/proc/meminfo: memFree=30251740/32770624 swapFree=0/470884
[pid=3096] ppid=3093 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/3096/stat : 3096 (runsolver) D 3093 3096 27450 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 152583633 24240128 106 18446744073709551615 4194304 4338465 140721378728800 140721378726440 140453570110167 0 0 1 24578 18446744071580418449 0 0 17 4 0 0 0 0 0 6438912 6441760 25128960 140721378730177 140721378730569 140721378730569 140721378734026 0
/proc/3096/statm: 5918 106 53 36 0 2156 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 23672

[startup+0.20027 s]
/proc/loadavg: 1.89 2.00 2.03 3/188 3096
/proc/meminfo: memFree=30251740/32770624 swapFree=0/470884
[pid=3096] ppid=3093 vsize=28320 CPUtime=0.09 cores=0,2,4,6
/proc/3096/stat : 3096 (cosoco) R 3093 3096 27450 0 -1 4202496 1354 0 0 0 9 0 0 0 20 0 1 0 152583633 28999680 1043 18446744073709551615 4194304 5972588 140731317384224 140731317380872 140562391342053 0 0 1 0 0 0 0 17 0 0 0 10 0 0 8070896 8075904 20193280 140731317391854 140731317391949 140731317391949 140731317395406 0
/proc/3096/statm: 7080 1043 727 435 0 443 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 28320

[startup+0.300215 s]
/proc/loadavg: 1.89 2.00 2.03 3/188 3096
/proc/meminfo: memFree=30251740/32770624 swapFree=0/470884
[pid=3096] ppid=3093 vsize=29616 CPUtime=0.19 cores=0,2,4,6
/proc/3096/stat : 3096 (cosoco) R 3093 3096 27450 0 -1 4202496 1800 0 0 0 19 0 0 0 20 0 1 0 152583633 30326784 1267 18446744073709551615 4194304 5972588 140731317384224 140731317380872 5418913 0 0 1 0 0 0 0 17 0 0 0 10 0 0 8070896 8075904 20193280 140731317391854 140731317391949 140731317391949 140731317395406 0
/proc/3096/statm: 7404 1267 727 435 0 767 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 29616

[startup+0.700233 s]
/proc/loadavg: 1.89 2.00 2.03 3/188 3096
/proc/meminfo: memFree=30251740/32770624 swapFree=0/470884
[pid=3096] ppid=3093 vsize=53920 CPUtime=0.58 cores=0,2,4,6
/proc/3096/stat : 3096 (cosoco) R 3093 3096 27450 0 -1 4202496 8684 0 0 0 58 0 0 0 20 0 1 0 152583633 55214080 7514 18446744073709551615 4194304 5972588 140731317384224 140731317380792 4935502 0 0 1 8405026 0 0 0 17 0 0 0 10 0 0 8070896 8075904 20193280 140731317391854 140731317391949 140731317391949 140731317395406 0
/proc/3096/statm: 13480 7514 734 435 0 6843 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 53920

[startup+1.50019 s]
/proc/loadavg: 1.89 2.00 2.03 3/189 3097
/proc/meminfo: memFree=30225696/32770624 swapFree=0/471212
[pid=3096] ppid=3093 vsize=53920 CPUtime=1.38 cores=0,2,4,6
/proc/3096/stat : 3096 (cosoco) R 3093 3096 27450 0 -1 4202496 8690 0 0 0 138 0 0 0 20 0 1 0 152583633 55214080 7514 18446744073709551615 4194304 5972588 140731317384224 140731317381528 4935463 0 0 1 8405026 0 0 0 17 0 0 0 10 0 0 8070896 8075904 20193280 140731317391854 140731317391949 140731317391949 140731317395406 0
/proc/3096/statm: 13480 7514 734 435 0 6843 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 53920

[startup+3.10019 s]
/proc/loadavg: 1.89 2.00 2.03 3/189 3097
/proc/meminfo: memFree=30225696/32770624 swapFree=0/471212
[pid=3096] ppid=3093 vsize=53920 CPUtime=2.98 cores=0,2,4,6
/proc/3096/stat : 3096 (cosoco) R 3093 3096 27450 0 -1 4202496 11401 0 0 0 298 0 0 0 20 0 1 0 152583633 55214080 7573 18446744073709551615 4194304 5972588 140731317384224 140731317381528 4935463 0 0 1 8405026 0 0 0 17 0 0 0 10 0 0 8070896 8075904 20193280 140731317391854 140731317391949 140731317391949 140731317395406 0
/proc/3096/statm: 13480 7573 773 435 0 6843 0
Current children cumulated CPU time (s) 2.98
Current children cumulated vsize (KiB) 53920

[startup+6.30018 s]
/proc/loadavg: 1.90 2.00 2.03 3/189 3097
/proc/meminfo: memFree=30225036/32770624 swapFree=0/471212
[pid=3096] ppid=3093 vsize=53920 CPUtime=6.18 cores=0,2,4,6
/proc/3096/stat : 3096 (cosoco) R 3093 3096 27450 0 -1 4202496 14113 0 0 0 618 0 0 0 20 0 1 0 152583633 55214080 7573 18446744073709551615 4194304 5972588 140731317384224 140731317381528 4934305 0 0 1 8405026 0 0 0 17 0 0 0 10 0 0 8070896 8075904 20193280 140731317391854 140731317391949 140731317391949 140731317395406 0
/proc/3096/statm: 13480 7573 773 435 0 6843 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 53920

[startup+12.7003 s]
/proc/loadavg: 1.91 2.00 2.03 3/189 3097
/proc/meminfo: memFree=30224644/32770624 swapFree=0/471200
[pid=3096] ppid=3093 vsize=53920 CPUtime=12.58 cores=0,2,4,6
/proc/3096/stat : 3096 (cosoco) R 3093 3096 27450 0 -1 4202496 16825 0 0 0 1258 0 0 0 20 0 1 0 152583633 55214080 7573 18446744073709551615 4194304 5972588 140731317384224 140731317381528 4935463 0 0 1 8405026 0 0 0 17 4 0 0 10 0 0 8070896 8075904 20193280 140731317391854 140731317391949 140731317391949 140731317395406 0
/proc/3096/statm: 13480 7573 773 435 0 6843 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 53920

[startup+25.5003 s]
/proc/loadavg: 1.86 1.98 2.03 3/189 3122
/proc/meminfo: memFree=30222264/32770624 swapFree=0/471204
[pid=3096] ppid=3093 vsize=53920 CPUtime=25.39 cores=0,2,4,6
/proc/3096/stat : 3096 (cosoco) R 3093 3096 27450 0 -1 4202496 22249 0 0 0 2538 1 0 0 20 0 1 0 152583633 55214080 7573 18446744073709551615 4194304 5972588 140731317384224 140731317381528 4936025 0 0 1 8405026 0 0 0 17 4 0 0 10 0 0 8070896 8075904 20193280 140731317391854 140731317391949 140731317391949 140731317395406 0
/proc/3096/statm: 13480 7573 773 435 0 6843 0
Current children cumulated CPU time (s) 25.39
Current children cumulated vsize (KiB) 53920

[startup+51.1003 s]
/proc/loadavg: 1.91 1.98 2.03 3/189 3122
/proc/meminfo: memFree=30223028/32770624 swapFree=0/471200
[pid=3096] ppid=3093 vsize=53920 CPUtime=50.98 cores=0,2,4,6
/proc/3096/stat : 3096 (cosoco) R 3093 3096 27450 0 -1 4202496 24961 0 0 0 5097 1 0 0 20 0 1 0 152583633 55214080 7573 18446744073709551615 4194304 5972588 140731317384224 140731317381528 4934318 0 0 1 8405026 0 0 0 17 4 0 0 10 0 0 8070896 8075904 20193280 140731317391854 140731317391949 140731317391949 140731317395406 0
/proc/3096/statm: 13480 7573 773 435 0 6843 0
Current children cumulated CPU time (s) 50.98
Current children cumulated vsize (KiB) 53920

[startup+102.3 s]
/proc/loadavg: 2.02 2.00 2.03 3/189 3124
/proc/meminfo: memFree=30223156/32770624 swapFree=0/471220
[pid=3096] ppid=3093 vsize=53920 CPUtime=102.18 cores=0,2,4,6
/proc/3096/stat : 3096 (cosoco) R 3093 3096 27450 0 -1 4202496 27673 0 0 0 10217 1 0 0 20 0 1 0 152583633 55214080 7573 18446744073709551615 4194304 5972588 140731317384224 140731317381528 4935463 0 0 1 8405026 0 0 0 17 4 0 0 10 0 0 8070896 8075904 20193280 140731317391854 140731317391949 140731317391949 140731317395406 0
/proc/3096/statm: 13480 7573 773 435 0 6843 0
Current children cumulated CPU time (s) 102.18
Current children cumulated vsize (KiB) 53920

[startup+162.3 s]
/proc/loadavg: 2.01 2.00 2.03 3/186 3126
/proc/meminfo: memFree=30227072/32770624 swapFree=0/471224
[pid=3096] ppid=3093 vsize=53920 CPUtime=162.17 cores=0,2,4,6
/proc/3096/stat : 3096 (cosoco) R 3093 3096 27450 0 -1 4202496 30385 0 0 0 16216 1 0 0 20 0 1 0 152583633 55214080 7573 18446744073709551615 4194304 5972588 140731317384224 140731317381528 4935482 0 0 1 8405026 0 0 0 17 4 0 0 10 0 0 8070896 8075904 20193280 140731317391854 140731317391949 140731317391949 140731317395406 0
/proc/3096/statm: 13480 7573 773 435 0 6843 0
Current children cumulated CPU time (s) 162.17
Current children cumulated vsize (KiB) 53920

[startup+222.306 s]
/proc/loadavg: 2.04 2.01 2.04 3/185 3128
/proc/meminfo: memFree=30226628/32770624 swapFree=0/471232
[pid=3096] ppid=3093 vsize=53920 CPUtime=222.18 cores=0,2,4,6
/proc/3096/stat : 3096 (cosoco) R 3093 3096 27450 0 -1 4202496 33097 0 0 0 22217 1 0 0 20 0 1 0 152583633 55214080 7573 18446744073709551615 4194304 5972588 140731317384224 140731317381528 4935502 0 0 1 8405026 0 0 0 17 4 0 0 10 0 0 8070896 8075904 20193280 140731317391854 140731317391949 140731317391949 140731317395406 0
/proc/3096/statm: 13480 7573 773 435 0 6843 0
Current children cumulated CPU time (s) 222.18
Current children cumulated vsize (KiB) 53920

[startup+282.3 s]
/proc/loadavg: 1.94 2.00 2.03 3/184 3130
/proc/meminfo: memFree=30227268/32770624 swapFree=0/471248
[pid=3096] ppid=3093 vsize=53920 CPUtime=282.16 cores=0,2,4,6
/proc/3096/stat : 3096 (cosoco) R 3093 3096 27450 0 -1 4202496 35809 0 0 0 28215 1 0 0 20 0 1 0 152583633 55214080 7573 18446744073709551615 4194304 5972588 140731317384224 140731317381528 4936025 0 0 1 8405026 0 0 0 17 4 0 0 10 0 0 8070896 8075904 20193280 140731317391854 140731317391949 140731317391949 140731317395406 0
/proc/3096/statm: 13480 7573 773 435 0 6843 0
Current children cumulated CPU time (s) 282.16
Current children cumulated vsize (KiB) 53920

[startup+342.3 s]
/proc/loadavg: 1.90 1.98 2.03 3/184 3133
/proc/meminfo: memFree=30226988/32770624 swapFree=0/471260
[pid=3096] ppid=3093 vsize=53920 CPUtime=342.16 cores=0,2,4,6
/proc/3096/stat : 3096 (cosoco) R 3093 3096 27450 0 -1 4202496 38521 0 0 0 34215 1 0 0 20 0 1 0 152583633 55214080 7573 18446744073709551615 4194304 5972588 140731317384224 140731317381528 4935463 0 0 1 8405026 0 0 0 17 4 0 0 10 0 0 8070896 8075904 20193280 140731317391854 140731317391949 140731317391949 140731317395406 0
/proc/3096/statm: 13480 7573 773 435 0 6843 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 53920

[startup+402.3 s]
/proc/loadavg: 1.96 1.99 2.03 3/184 3135
/proc/meminfo: memFree=30224512/32770624 swapFree=0/471264
[pid=3096] ppid=3093 vsize=53920 CPUtime=402.15 cores=0,2,4,6
/proc/3096/stat : 3096 (cosoco) R 3093 3096 27450 0 -1 4202496 41233 0 0 0 40214 1 0 0 20 0 1 0 152583633 55214080 7573 18446744073709551615 4194304 5972588 140731317384224 140731317381528 4935463 0 0 1 8405026 0 0 0 17 4 0 0 10 0 0 8070896 8075904 20193280 140731317391854 140731317391949 140731317391949 140731317395406 0
/proc/3096/statm: 13480 7573 773 435 0 6843 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 53920

[startup+462.3 s]
/proc/loadavg: 1.99 1.99 2.03 3/185 3138
/proc/meminfo: memFree=30225020/32770624 swapFree=0/471276
[pid=3096] ppid=3093 vsize=53920 CPUtime=462.14 cores=0,2,4,6
/proc/3096/stat : 3096 (cosoco) R 3093 3096 27450 0 -1 4202496 43945 0 0 0 46213 1 0 0 20 0 1 0 152583633 55214080 7573 18446744073709551615 4194304 5972588 140731317384224 140731317381528 4935454 0 0 1 8405026 0 0 0 17 4 0 0 10 0 0 8070896 8075904 20193280 140731317391854 140731317391949 140731317391949 140731317395406 0
/proc/3096/statm: 13480 7573 773 435 0 6843 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 53920

[startup+522.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/185 3140
/proc/meminfo: memFree=30224776/32770624 swapFree=0/471288
[pid=3096] ppid=3093 vsize=53920 CPUtime=522.15 cores=0,2,4,6
/proc/3096/stat : 3096 (cosoco) R 3093 3096 27450 0 -1 4202496 46657 0 0 0 52213 2 0 0 20 0 1 0 152583633 55214080 7573 18446744073709551615 4194304 5972588 140731317384224 140731317381528 4935463 0 0 1 8405026 0 0 0 17 4 0 0 10 0 0 8070896 8075904 20193280 140731317391854 140731317391949 140731317391949 140731317395406 0
/proc/3096/statm: 13480 7573 773 435 0 6843 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 53920

[startup+582.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/189 3157
/proc/meminfo: memFree=30219496/32770624 swapFree=0/471292
[pid=3096] ppid=3093 vsize=53920 CPUtime=582.13 cores=0,2,4,6
/proc/3096/stat : 3096 (cosoco) R 3093 3096 27450 0 -1 4202496 49337 0 0 0 58211 2 0 0 20 0 1 0 152583633 55214080 7577 18446744073709551615 4194304 5972588 140731317384224 140731317381528 4935585 0 0 1 8405026 0 0 0 17 4 0 0 10 0 0 8070896 8075904 20193280 140731317391854 140731317391949 140731317391949 140731317395406 0
/proc/3096/statm: 13480 7577 773 435 0 6843 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 53920


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


[startup+1602.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/185 3269
/proc/meminfo: memFree=31065476/32770624 swapFree=0/471468
[pid=3096] ppid=3093 vsize=53920 CPUtime=1602.05 cores=0,2,4,6
/proc/3096/stat : 3096 (cosoco) R 3093 3096 27450 0 -1 4202496 53005 0 0 0 160202 3 0 0 20 0 1 0 152583633 55214080 7577 18446744073709551615 4194304 5972588 140731317384224 140731317381528 4934348 0 0 1 8405026 0 0 0 17 4 0 0 10 0 0 8070896 8075904 20193280 140731317391854 140731317391949 140731317391949 140731317395406 0
/proc/3096/statm: 13480 7577 773 435 0 6843 0
Current children cumulated CPU time (s) 1602.05
Current children cumulated vsize (KiB) 53920

[startup+1662.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/185 3272
/proc/meminfo: memFree=31065828/32770624 swapFree=0/471492
[pid=3096] ppid=3093 vsize=53920 CPUtime=1662.05 cores=0,2,4,6
/proc/3096/stat : 3096 (cosoco) R 3093 3096 27450 0 -1 4202496 53137 0 0 0 166202 3 0 0 20 0 1 0 152583633 55214080 7577 18446744073709551615 4194304 5972588 140731317384224 140731317381528 4935463 0 0 1 8405026 0 0 0 17 4 0 0 10 0 0 8070896 8075904 20193280 140731317391854 140731317391949 140731317391949 140731317395406 0
/proc/3096/statm: 13480 7577 773 435 0 6843 0
Current children cumulated CPU time (s) 1662.05
Current children cumulated vsize (KiB) 53920

[startup+1722.3 s]
/proc/loadavg: 2.04 2.00 2.03 3/185 3274
/proc/meminfo: memFree=31066020/32770624 swapFree=0/471500
[pid=3096] ppid=3093 vsize=53920 CPUtime=1722.04 cores=0,2,4,6
/proc/3096/stat : 3096 (cosoco) R 3093 3096 27450 0 -1 4202496 53267 0 0 0 172201 3 0 0 20 0 1 0 152583633 55214080 7577 18446744073709551615 4194304 5972588 140731317384224 140731317381528 4934223 0 0 1 8405026 0 0 0 17 4 0 0 10 0 0 8070896 8075904 20193280 140731317391854 140731317391949 140731317391949 140731317395406 0
/proc/3096/statm: 13480 7577 773 435 0 6843 0
Current children cumulated CPU time (s) 1722.04
Current children cumulated vsize (KiB) 53920

[startup+1782.3 s]
/proc/loadavg: 2.02 2.00 2.03 3/187 3290
/proc/meminfo: memFree=31062656/32770624 swapFree=0/471492
[pid=3096] ppid=3093 vsize=53920 CPUtime=1782.04 cores=0,2,4,6
/proc/3096/stat : 3096 (cosoco) R 3093 3096 27450 0 -1 4202496 53561 0 0 0 178201 3 0 0 20 0 1 0 152583633 55214080 7577 18446744073709551615 4194304 5972588 140731317384224 140731317381528 4935596 0 0 1 8405026 0 0 0 17 4 0 0 10 0 0 8070896 8075904 20193280 140731317391854 140731317391949 140731317391949 140731317395406 0
/proc/3096/statm: 13480 7577 773 435 0 6843 0
Current children cumulated CPU time (s) 1782.04
Current children cumulated vsize (KiB) 53920

[startup+1842.3 s]
/proc/loadavg: 1.86 1.97 2.02 3/187 3292
/proc/meminfo: memFree=31062692/32770624 swapFree=0/471500
[pid=3096] ppid=3093 vsize=53920 CPUtime=1842.03 cores=0,2,4,6
/proc/3096/stat : 3096 (cosoco) R 3093 3096 27450 0 -1 4202496 53710 0 0 0 184200 3 0 0 20 0 1 0 152583633 55214080 7577 18446744073709551615 4194304 5972588 140731317384224 140731317381528 4935490 0 0 1 8405026 0 0 0 17 4 0 0 10 0 0 8070896 8075904 20193280 140731317391854 140731317391949 140731317391949 140731317395406 0
/proc/3096/statm: 13480 7577 773 435 0 6843 0
Current children cumulated CPU time (s) 1842.03
Current children cumulated vsize (KiB) 53920

[startup+1902.3 s]
/proc/loadavg: 1.95 1.97 2.02 3/184 3294
/proc/meminfo: memFree=31066132/32770624 swapFree=0/471516
[pid=3096] ppid=3093 vsize=53920 CPUtime=1902.03 cores=0,2,4,6
/proc/3096/stat : 3096 (cosoco) R 3093 3096 27450 0 -1 4202496 53902 0 0 0 190200 3 0 0 20 0 1 0 152583633 55214080 7577 18446744073709551615 4194304 5972588 140731317384224 140731317381528 4935454 0 0 1 8405026 0 0 0 17 4 0 0 10 0 0 8070896 8075904 20193280 140731317391854 140731317391949 140731317391949 140731317395406 0
/proc/3096/statm: 13480 7577 773 435 0 6843 0
Current children cumulated CPU time (s) 1902.03
Current children cumulated vsize (KiB) 53920

[startup+1962.3 s]
/proc/loadavg: 2.03 1.99 2.03 3/185 3297
/proc/meminfo: memFree=31065728/32770624 swapFree=0/471528
[pid=3096] ppid=3093 vsize=53920 CPUtime=1962.02 cores=0,2,4,6
/proc/3096/stat : 3096 (cosoco) R 3093 3096 27450 0 -1 4202496 54125 0 0 0 196199 3 0 0 20 0 1 0 152583633 55214080 7577 18446744073709551615 4194304 5972588 140731317384224 140731317381528 4935493 0 0 1 8405026 0 0 0 17 4 0 0 10 0 0 8070896 8075904 20193280 140731317391854 140731317391949 140731317391949 140731317395406 0
/proc/3096/statm: 13480 7577 773 435 0 6843 0
Current children cumulated CPU time (s) 1962.02
Current children cumulated vsize (KiB) 53920

[startup+2022.3 s]
/proc/loadavg: 2.01 1.99 2.03 3/185 3299
/proc/meminfo: memFree=31066188/32770624 swapFree=0/471540
[pid=3096] ppid=3093 vsize=53920 CPUtime=2022.02 cores=0,2,4,6
/proc/3096/stat : 3096 (cosoco) R 3093 3096 27450 0 -1 4202496 54285 0 0 0 202199 3 0 0 20 0 1 0 152583633 55214080 7577 18446744073709551615 4194304 5972588 140731317384224 140731317381528 4934223 0 0 1 8405026 0 0 0 17 4 0 0 10 0 0 8070896 8075904 20193280 140731317391854 140731317391949 140731317391949 140731317395406 0
/proc/3096/statm: 13480 7577 773 435 0 6843 0
Current children cumulated CPU time (s) 2022.02
Current children cumulated vsize (KiB) 53920

[startup+2082.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/185 3301
/proc/meminfo: memFree=31066152/32770624 swapFree=0/471568
[pid=3096] ppid=3093 vsize=53920 CPUtime=2082.02 cores=0,2,4,6
/proc/3096/stat : 3096 (cosoco) R 3093 3096 27450 0 -1 4202496 54489 0 0 0 208199 3 0 0 20 0 1 0 152583633 55214080 7577 18446744073709551615 4194304 5972588 140731317384224 140731317381528 4935454 0 0 1 8405026 0 0 0 17 4 0 0 10 0 0 8070896 8075904 20193280 140731317391854 140731317391949 140731317391949 140731317395406 0
/proc/3096/statm: 13480 7577 773 435 0 6843 0
Current children cumulated CPU time (s) 2082.02
Current children cumulated vsize (KiB) 53920

[startup+2142.3 s]
/proc/loadavg: 1.94 1.98 2.02 3/185 3303
/proc/meminfo: memFree=31066404/32770624 swapFree=0/471576
[pid=3096] ppid=3093 vsize=53920 CPUtime=2142.01 cores=0,2,4,6
/proc/3096/stat : 3096 (cosoco) R 3093 3096 27450 0 -1 4202496 54735 0 0 0 214198 3 0 0 20 0 1 0 152583633 55214080 7577 18446744073709551615 4194304 5972588 140731317384224 140731317381528 4936000 0 0 1 8405026 0 0 0 17 4 0 0 10 0 0 8070896 8075904 20193280 140731317391854 140731317391949 140731317391949 140731317395406 0
/proc/3096/statm: 13480 7577 773 435 0 6843 0
Current children cumulated CPU time (s) 2142.01
Current children cumulated vsize (KiB) 53920

[startup+2202.31 s]
/proc/loadavg: 1.96 1.98 2.02 3/186 3306
/proc/meminfo: memFree=31066248/32770624 swapFree=0/471576
[pid=3096] ppid=3093 vsize=53920 CPUtime=2202.01 cores=0,2,4,6
/proc/3096/stat : 3096 (cosoco) R 3093 3096 27450 0 -1 4202496 54892 0 0 0 220198 3 0 0 20 0 1 0 152583633 55214080 7577 18446744073709551615 4194304 5972588 140731317384224 140731317381528 4935653 0 0 1 8405026 0 0 0 17 0 0 0 10 0 0 8070896 8075904 20193280 140731317391854 140731317391949 140731317391949 140731317395406 0
/proc/3096/statm: 13480 7577 773 435 0 6843 0
Current children cumulated CPU time (s) 2202.01
Current children cumulated vsize (KiB) 53920

[startup+2262.3 s]
/proc/loadavg: 1.95 1.97 2.02 3/185 3308
/proc/meminfo: memFree=31066376/32770624 swapFree=0/471584
[pid=3096] ppid=3093 vsize=53920 CPUtime=2262 cores=0,2,4,6
/proc/3096/stat : 3096 (cosoco) R 3093 3096 27450 0 -1 4202496 55047 0 0 0 226197 3 0 0 20 0 1 0 152583633 55214080 7577 18446744073709551615 4194304 5972588 140731317384224 140731317381528 4935502 0 0 1 8405026 0 0 0 17 4 0 0 10 0 0 8070896 8075904 20193280 140731317391854 140731317391949 140731317391949 140731317395406 0
/proc/3096/statm: 13480 7577 773 435 0 6843 0
Current children cumulated CPU time (s) 2262
Current children cumulated vsize (KiB) 53920

[startup+2322.3 s]
/proc/loadavg: 1.98 1.98 2.02 3/185 3310
/proc/meminfo: memFree=31066364/32770624 swapFree=0/471600
[pid=3096] ppid=3093 vsize=53920 CPUtime=2321.99 cores=0,2,4,6
/proc/3096/stat : 3096 (cosoco) R 3093 3096 27450 0 -1 4202496 55270 0 0 0 232196 3 0 0 20 0 1 0 152583633 55214080 7577 18446744073709551615 4194304 5972588 140731317384224 140731317381528 4935463 0 0 1 8405026 0 0 0 17 4 0 0 10 0 0 8070896 8075904 20193280 140731317391854 140731317391949 140731317391949 140731317395406 0
/proc/3096/statm: 13480 7577 773 435 0 6843 0
Current children cumulated CPU time (s) 2321.99
Current children cumulated vsize (KiB) 53920

[startup+2382.3 s]
/proc/loadavg: 1.99 1.98 2.02 3/188 3327
/proc/meminfo: memFree=31061316/32770624 swapFree=0/471604
[pid=3096] ppid=3093 vsize=53920 CPUtime=2381.99 cores=0,2,4,6
/proc/3096/stat : 3096 (cosoco) R 3093 3096 27450 0 -1 4202496 55503 0 0 0 238196 3 0 0 20 0 1 0 152583633 55214080 7577 18446744073709551615 4194304 5972588 140731317384224 140731317381528 4935493 0 0 1 8405026 0 0 0 17 4 0 0 10 0 0 8070896 8075904 20193280 140731317391854 140731317391949 140731317391949 140731317395406 0
/proc/3096/statm: 13480 7577 773 435 0 6843 0
Current children cumulated CPU time (s) 2381.99
Current children cumulated vsize (KiB) 53920

[startup+2442.3 s]
/proc/loadavg: 2.05 2.00 2.02 3/188 3329
/proc/meminfo: memFree=31060632/32770624 swapFree=0/471616
[pid=3096] ppid=3093 vsize=53920 CPUtime=2441.98 cores=0,2,4,6
/proc/3096/stat : 3096 (cosoco) R 3093 3096 27450 0 -1 4202496 55655 0 0 0 244195 3 0 0 20 0 1 0 152583633 55214080 7577 18446744073709551615 4194304 5972588 140731317384224 140731317381528 4935454 0 0 1 8405026 0 0 0 17 4 0 0 10 0 0 8070896 8075904 20193280 140731317391854 140731317391949 140731317391949 140731317395406 0
/proc/3096/statm: 13480 7577 773 435 0 6843 0
Current children cumulated CPU time (s) 2441.98
Current children cumulated vsize (KiB) 53920

[startup+2502.3 s]
/proc/loadavg: 2.02 2.00 2.02 3/185 3332
/proc/meminfo: memFree=31064740/32770624 swapFree=0/471628
[pid=3096] ppid=3093 vsize=53920 CPUtime=2501.98 cores=0,2,4,6
/proc/3096/stat : 3096 (cosoco) R 3093 3096 27450 0 -1 4202496 55846 0 0 0 250195 3 0 0 20 0 1 0 152583633 55214080 7577 18446744073709551615 4194304 5972588 140731317384224 140731317381528 4935642 0 0 1 8405026 0 0 0 17 4 0 0 10 0 0 8070896 8075904 20193280 140731317391854 140731317391949 140731317391949 140731317395406 0
/proc/3096/statm: 13480 7577 773 435 0 6843 0
Current children cumulated CPU time (s) 2501.98
Current children cumulated vsize (KiB) 53920



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]
/proc/loadavg: 2.01 2.00 2.02 3/185 3333
/proc/meminfo: memFree=31064492/32770624 swapFree=0/471636
[pid=3096] ppid=3093 vsize=53920 CPUtime=2519.68 cores=0,2,4,6
/proc/3096/stat : 3096 (cosoco) R 3093 3096 27450 0 -1 4202496 55991 0 0 0 251965 3 0 0 20 0 1 0 152583633 55214080 7577 18446744073709551615 4194304 5972588 140731317384224 140731317381528 4935463 0 0 1 8405026 0 0 0 17 4 0 0 10 0 0 8070896 8075904 20193280 140731317391854 140731317391949 140731317391949 140731317395406 0
/proc/3096/statm: 13480 7577 773 435 0 6843 0
Current children cumulated CPU time (s) 2519.68
Current children cumulated vsize (KiB) 53920

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

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 3096 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 1
Real time (s): 2520
CPU time (s): 2519.69
CPU user time (s): 2519.65
CPU system time (s): 0.037997
CPU usage (%): 99.9877
Max. virtual memory (cumulated for all children) (KiB): 53920

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.65
system time used= 0.037997
maximum resident set size= 30384
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 56044
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= 20
involuntary context switches= 4124

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.31558 second user time and 9.0242 second system time

The end

Launcher Data 

Begin job on node132 at 2017-08-12 11:00:44
IDJOB=4268346
IDBENCH=126253
IDSOLVER=2658
FILE ID=node132/4268346-1502529308
RUNJOBID= node132-1502500306-27513
PBS_JOBID= 
Free space on /tmp= 62028 MiB

SOLVER NAME= cosoco 1.12
BENCH NAME= XCSP17/Steiner3/Steiner3-m1-s1/Steiner3-08.xml
COMMAND LINE= cosoco -lc -model -restarts BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4268346-1502529308/watcher-4268346-1502529308 -o /tmp/evaluation-result-4268346-1502529308/solver-4268346-1502529308 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1502500306-27513 --watchdog 2580  cosoco -lc -model -restarts HOME/instance-4268346-1502529308.xml

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

MD5SUM BENCH= e66788b55a8c4825b73f7b3fa22372b6
RANDOM SEED=1944872425

node132.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.74
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.74
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.74
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.74
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:        30251740 kB
MemAvailable:   31119296 kB
Buffers:          307392 kB
Cached:           868840 kB
SwapCached:            0 kB
Active:          1560040 kB
Inactive:         520156 kB
Active(anon):     904244 kB
Inactive(anon):    49012 kB
Active(file):     655796 kB
Inactive(file):   471144 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              3056 kB
Writeback:             0 kB
AnonPages:        903164 kB
Mapped:            64596 kB
Shmem:             49852 kB
Slab:             139996 kB
SReclaimable:     112900 kB
SUnreclaim:        27096 kB
KernelStack:        3360 kB
PageTables:         7240 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1188180 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      354332 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    845824 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      114048 kB
DirectMap2M:    33431552 kB

Free space on /tmp at the end= 62024 MiB
End job on node132 at 2017-08-12 11:42:44