Trace number 4296169

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

General information on the benchmark

NameEternity/
Eternity-14-14_c18.xml
MD5SUM66051f32d3df5832063947322816fa6d
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 variables616
Number of constraints253
Number of domains2
Minimum domain size21
Maximum domain size196
Distribution of domain sizes[{"size":21,"count":420},{"size":196,"count":196}]
Minimum variable degree1
Maximum variable degree15
Distribution of variable degrees[{"degree":1,"count":13},{"degree":2,"count":602},{"degree":15,"count":1}]
Minimum constraint arity1
Maximum constraint arity196
Distribution of constraint arities[{"arity":1,"count":56},{"arity":5,"count":196},{"arity":196,"count":1}]
Number of extensional constraints196
Number of intensional constraints56
Distribution of constraint types[{"type":"extension","count":196},{"type":"intension","count":56},{"type":"allDifferent","count":1}]
Optimization problemNO
Type of objective

Solver Data 

0.79/0.86	c root propagations     : 18653       
0.79/0.86	c restarts enabled, print stats at every restarts
0.79/0.86	c
0.79/0.86	c
0.79/0.86	c
0.79/0.86	c This is cosoco 1.12 --  
0.79/0.86	c
0.79/0.86	c command line: HOME/cosoco -lc -model -restarts HOME/instance-4296169-1532610709.xml 
0.79/0.86	c ========================================[ Problem Statistics ]===========================================
0.79/0.86	c |                                                                                                       
0.79/0.86	c |  Parse time        :         0.85 s 
0.79/0.86	c |
0.79/0.86	c |               Variables: 616
0.79/0.86	c |            Domain Sizes: 21..196
0.79/0.86	c |
0.79/0.86	c |             Constraints: 253
0.79/0.86	c |                   Arity: 1..196  -- Unary: 56
0.79/0.86	c | 
0.79/0.86	c |                   Types: 
0.79/0.86	c |                          All Different: 1
0.79/0.86	c |                          Extension: 196  (nb tuples: 784..784) -- (shared: 0)
0.79/0.86	c |                          Unary: 56
0.79/0.86	c |                          
0.79/0.86	c =========================================================================================================
0.79/0.86	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
0.89/0.98	c 101            529            8946           125141         616            0              78   283   265 
1.00/1.07	c 211            847            15370          215374         616            0              30   122   105 
1.10/1.18	c 332            1219           23629          309610         616            0              64   128   110 
1.19/1.28	c 465            1609           31082          404364         616            0              47   128   109 
1.39/1.44	c 611            2184           42315          551269         616            0              45   123   106 
1.59/1.60	c 771            2695           53941          704730         616            0              33   114   94  
1.79/1.81	c 947            3417           68932          905042         616            0              48   126   107 
2.00/2.01	c 1140           4103           82430          1095403        616            0              62   118   106 
2.19/2.23	c 1352           4894           99293          1307702        616            0              47   105   88  
2.39/2.42	c 1585           5594           112779         1505918        616            0              36   102   91  
2.69/2.70	c 1841           6498           132402         1768212        616            0              60   126   102 
2.89/2.92	c 2122           7233           148876         1980212        616            0              31   106   88  
3.19/3.27	c 2431           8240           172964         2285882        616            0              80   132   112 
3.49/3.58	c 2770           9334           193994         2597608        616            0              67   134   110 
3.89/3.99	c 3142           10649          223187         2984008        616            0              81   120   107 
4.29/4.34	c 3551           11841          246755         3324039        616            0              62   118   107 
4.79/4.81	c 4000           13229          279141         3783435        616            0              45   136   114 
5.19/5.24	c 4493           14716          308868         4191639        616            0              34   138   110 
5.59/5.61	c 5035           16240          334031         4520097        616            0              43   107   93  
6.00/6.04	c 5631           17661          362380         5019229        616            0              32   124   106 
6.49/6.58	c 6286           19364          399837         5549672        616            0              36   126   105 
7.19/7.28	c 7006           21445          449710         6242440        616            0              26   130   115 
7.79/7.88	c 7798           23208          490537         6806691        616            0              41   128   114 
8.49/8.59	c 8669           25602          539332         7501549        616            0              72   123   111 
9.39/9.45	c 9627           28489          603441         8305055        616            0              50   121   94  
10.29/10.36	c 10680          31727          667814         9111636        616            0              9   136   99   
11.29/11.37	c 11838          34884          738090         10142726       616            0              31   127   106 
12.49/12.56	c 13111          38690          822124         11236414       616            0              51   119   100 
13.59/13.66	c 14511          42625          902459         12335454       616            0              59   135   107 
15.10/15.19	c 16051          47848          1015165        13769179       616            0              43   125   107 
16.89/16.98	c 17745          53245          1136419        15452401       616            0              46   140   119 
18.69/18.73	c 19608          58590          1259090        17064999       616            0              44   132   112 
20.59/20.69	c 21657          64413          1400273        18812703       616            0              57   127   110 
22.89/22.99	c 23910          71516          1560710        20908875       616            0              41   129   107 
25.39/25.45	c 26388          78373          1733079        23070295       616            0              79   121   106 
28.29/28.37	c 29113          86987          1942340        25685107       616            0              15   135   115 
30.89/30.92	c 32110          95188          2111618        27952100       616            0              12   128   115 
33.69/33.74	c 35406          104495         2308128        30824667       616            0              45   132   105 
36.69/36.70	c 39031          113918         2511548        33609427       616            0              33   132   109 
39.99/40.07	c 43018          123930         2749007        36577894       616            0              26   131   111 
44.09/44.13	c 47403          136917         3036003        40245304       616            0              59   123   102 
47.99/48.09	c 52226          150394         3317361        43826228       616            0              21   126   105 
53.18/53.28	c 57531          165875         3676873        48788073       616            0              33   133   109 
57.48/57.59	c 63366          178981         3980854        53287315       616            0              55   133   113 
62.58/62.66	c 69784          194766         4335985        57908018       616            0              39   128   112 
68.88/69.00	c 76843          214810         4769336        64001351       616            0              89   141   120 
75.38/75.41	c 84607          234159         5226388        69651494       616            0              76   131   114 
82.68/82.74	c 93147          258567         5753340        77171355       616            0              55   145   114 
90.78/90.89	c 102541         282113         6314154        85460647       616            0              42   143   120 
99.18/99.23	c 112874         307521         6884663        94064076       616            0              55   131   116 
108.68/108.73	c 124240         336378         7578156        103871686      616            0              60   134   114 
119.48/119.58	c 136742         370589         8342542        114836100      616            0              39   141   119 
131.88/131.97	c 150494         410262         9200342        126515193      616            0              70   143   120 
143.78/143.85	c 165621         451587         10035341       138569547      616            0              60   144   111 
158.18/158.21	c 182260         497840         11077384       152196940      616            0              60   141   117 
173.38/173.47	c 200562         545029         12141943       166626537      616            0              55   136   116 
189.48/189.52	c 220694         600418         13295959       182484006      616            0              29   139   113 
209.18/209.24	c 242839         663991         14728922       202054792      616            0              71   134   112 
229.88/229.95	c 267198         734006         16209773       222605695      616            0              50   136   109 
251.99/252.05	c 293992         803890         17796389       245353352      616            0              55   133   107 
273.18/273.20	c 323465         880877         19345395       267356597      616            0              50   140   114 
302.48/302.59	c 355885         973313         21431588       296735272      616            0              62   134   116 
334.88/334.93	c 391547         1080928        23771007       327736259      616            0              27   140   117 
365.28/365.38	c 430775         1192795        26024174       352217119      616            0              52   129   105 
405.68/405.71	c 473925         1327243        28901455       390922325      616            0              57   140   112 
444.09/444.16	c 521390         1446663        31565320       428691792      616            0              50   148   128 
487.48/487.54	c 573601         1589795        34703762       472152471      616            0              20   141   111 
535.48/535.52	c 631033         1738285        38127020       517919111      616            0              63   135   114 
591.78/591.88	c 694208         1915600        42063728       572445400      616            0              50   146   118 
650.49/650.52	c 763700         2103634        46214245       630742737      616            0              52   145   122 
709.99/710.06	c 840141         2290232        50368975       686387235      616            0              12   136   113 
776.19/776.23	c 924226         2517711        55214769       756949533      616            0              53   137   109 
844.69/844.72	c 1016719        2738494        59910330       825476507      616            0              60   149   123 
932.39/932.44	c 1118461        3023851        66036891       915204209      616            0              52   146   124 
1020.88/1021.00	c 1230377        3292825        72603437       1000176020     616            0              51   134   110 
1126.69/1126.72	c 1353484        3652082        80041186       1108823161     616            0              57   139   111 
1244.29/1244.37	c 1488901        4028959        88239030       1227788953     616            0              78   138   114 
1361.59/1361.69	c 1637859        4408766        96663514       1347880834     616            0              58   141   118 
1493.19/1493.23	c 1801712        4799831        105819097      1476786832     616            0              49   137   116 
1627.00/1627.07	c 1981950        5236918        115239624      1613742980     616            0              55   140   110 
1781.29/1781.39	c 2180211        5732294        126128288      1751048321     616            0              30   134   117 
1969.69/1969.73	c 2398298        6270555        139288270      1926129352     616            0              28   135   108 
2176.49/2176.51	c 2638193        6832034        153368775      2117112981     616            0              9   133   113  
2403.49/2403.59	c 2902077        7583837        169574286      2342028617     616            0              56   144   116 
2520.00/2520.00	
2520.00/2520.00	c *** INTERRUPTED ***
2520.00/2520.00	c restarts              : 84          
2520.00/2520.00	c conflicts             : 3040676      (1207 /sec)
2520.00/2520.00	c decisions             : 7945999      (3153 /sec)
2520.00/2520.00	c propagations          : 2459207618  (975878 /sec)
2520.00/2520.00	c root propagations     : 18653       
2520.00/2520.00	c filter calls          : 177509300      (70440 /sec)
2520.00/2520.00	c useless filter calls  : 31187527       (17 %)
2520.00/2520.00	c Memory used           : 38.36 MB
2520.00/2520.00	c CPU time              : 2519.99 s
2520.00/2520.00	
2520.00/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 (6469 MiB free)
  memory of node 1: 16384 MiB (12438 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4296169-1532610709/watcher-4296169-1532610709 -o /tmp/evaluation-result-4296169-1532610709/solver-4296169-1532610709 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1532595527-20626 --watchdog 2580 HOME/cosoco -lc -model -restarts HOME/instance-4296169-1532610709.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
solver pid=22443, runsolver pid=22440
Current StackSize limit: 8192 KiB


[startup+0.100106 s]*
/proc/loadavg: 2.00 2.02 2.05 3/190 22444
/proc/meminfo: memFree=19360120/32770624 swapFree=67108860/67108860
[pid=22443] ppid=22440 vsize=28896 memory=5164 CPUtime=0.1 cores=1,3,5,7
/proc/22443/stat : 22443 (cosoco) R 22440 22443 20594 0 -1 4202496 1484 0 0 0 10 0 0 0 20 0 1 0 78634125 29589504 1291 33554432000 4194304 6142532 140727845555664 140727845552296 5489275 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 8243016 8247936 36376576 140727845557382 140727845557512 140727845557512 140727845560270 0
/proc/22443/statm: 7224 1291 792 476 0 546 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 28896 KiB
Current children cumulated memory: 5164 KiB

[startup+0.209606 s]*
/proc/loadavg: 2.00 2.02 2.05 3/190 22444
/proc/meminfo: memFree=19359004/32770624 swapFree=67108860/67108860
[pid=22443] ppid=22440 vsize=30012 memory=6144 CPUtime=0.21 cores=1,3,5,7
/proc/22443/stat : 22443 (cosoco) R 22440 22443 20594 0 -1 4202496 1756 0 0 0 21 0 0 0 20 0 1 0 78634125 30732288 1536 33554432000 4194304 6142532 140727845555664 140727845552296 140439080233984 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 8243016 8247936 36376576 140727845557382 140727845557512 140727845557512 140727845560270 0
/proc/22443/statm: 7503 1536 792 476 0 825 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 30012 KiB
Current children cumulated memory: 6144 KiB

[startup+0.308999 s]*
/proc/loadavg: 2.00 2.02 2.05 3/190 22444
/proc/meminfo: memFree=19357888/32770624 swapFree=67108860/67108860
[pid=22443] ppid=22440 vsize=30992 memory=7124 CPUtime=0.31 cores=1,3,5,7
/proc/22443/stat : 22443 (cosoco) R 22440 22443 20594 0 -1 4202496 2001 0 0 0 31 0 0 0 20 0 1 0 78634125 31735808 1781 33554432000 4194304 6142532 140727845555664 140727845552296 5802410 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 8243016 8247936 36376576 140727845557382 140727845557512 140727845557512 140727845560270 0
/proc/22443/statm: 7748 1781 792 476 0 1070 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 30992 KiB
Current children cumulated memory: 7124 KiB

[startup+0.700248 s]
/proc/loadavg: 2.00 2.02 2.05 3/190 22444
/proc/meminfo: memFree=19356028/32770624 swapFree=67108860/67108860
[pid=22443] ppid=22440 vsize=34872 memory=10976 CPUtime=0.69 cores=1,3,5,7
/proc/22443/stat : 22443 (cosoco) R 22440 22443 20594 0 -1 4202496 2954 0 0 0 69 0 0 0 20 0 1 0 78634125 35708928 2744 33554432000 4194304 6142532 140727845555664 140727845552296 5403261 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 8243016 8247936 36376576 140727845557382 140727845557512 140727845557512 140727845560270 0
/proc/22443/statm: 8718 2744 792 476 0 2040 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 34872 KiB
Current children cumulated memory: 10976 KiB

[startup+1.50027 s]
/proc/loadavg: 2.00 2.02 2.05 4/190 22444
/proc/meminfo: memFree=19349704/32770624 swapFree=67108860/67108860
[pid=22443] ppid=22440 vsize=39280 memory=15832 CPUtime=1.49 cores=1,3,5,7
/proc/22443/stat : 22443 (cosoco) R 22440 22443 20594 0 -1 4202496 4118 0 0 0 149 0 0 0 20 0 1 0 78634125 40222720 3958 33554432000 4194304 6142532 140727845555664 140727845553064 5053687 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 36376576 140727845557382 140727845557512 140727845557512 140727845560270 0
/proc/22443/statm: 9820 3958 848 476 0 3142 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 39280 KiB
Current children cumulated memory: 15832 KiB

[startup+3.10941 s]
/proc/loadavg: 2.00 2.02 2.05 3/190 22444
/proc/meminfo: memFree=19349120/32770624 swapFree=67108860/67108860
[pid=22443] ppid=22440 vsize=39280 memory=15844 CPUtime=3.1 cores=1,3,5,7
/proc/22443/stat : 22443 (cosoco) R 22440 22443 20594 0 -1 4202496 6706 0 0 0 310 0 0 0 20 0 1 0 78634125 40222720 3961 33554432000 4194304 6142532 140727845555664 140727845553064 5017816 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 36376576 140727845557382 140727845557512 140727845557512 140727845560270 0
/proc/22443/statm: 9820 3961 848 476 0 3142 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 39280 KiB
Current children cumulated memory: 15844 KiB

[startup+6.30024 s]
/proc/loadavg: 1.92 2.00 2.04 3/190 22444
/proc/meminfo: memFree=19349216/32770624 swapFree=67108860/67108860
[pid=22443] ppid=22440 vsize=39280 memory=15872 CPUtime=6.29 cores=1,3,5,7
/proc/22443/stat : 22443 (cosoco) R 22440 22443 20594 0 -1 4202496 9286 0 0 0 629 0 0 0 20 0 1 0 78634125 40222720 3968 33554432000 4194304 6142532 140727845555664 140727845553064 5054717 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 36376576 140727845557382 140727845557512 140727845557512 140727845560270 0
/proc/22443/statm: 9820 3968 848 476 0 3142 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 39280 KiB
Current children cumulated memory: 15872 KiB

[startup+12.7003 s]
/proc/loadavg: 1.93 2.00 2.04 3/190 22444
/proc/meminfo: memFree=19349340/32770624 swapFree=67108860/67108860
[pid=22443] ppid=22440 vsize=39280 memory=15872 CPUtime=12.69 cores=1,3,5,7
/proc/22443/stat : 22443 (cosoco) R 22440 22443 20594 0 -1 4202496 11867 0 0 0 1269 0 0 0 20 0 1 0 78634125 40222720 3968 33554432000 4194304 6142532 140727845555664 140727845553064 5058360 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 36376576 140727845557382 140727845557512 140727845557512 140727845560270 0
/proc/22443/statm: 9820 3968 848 476 0 3142 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 39280 KiB
Current children cumulated memory: 15872 KiB

[startup+25.5002 s]
/proc/loadavg: 1.94 2.00 2.04 3/191 22445
/proc/meminfo: memFree=19349324/32770624 swapFree=67108860/67108860
[pid=22443] ppid=22440 vsize=39280 memory=15876 CPUtime=25.49 cores=1,3,5,7
/proc/22443/stat : 22443 (cosoco) R 22440 22443 20594 0 -1 4202496 17029 0 0 0 2549 0 0 0 20 0 1 0 78634125 40222720 3969 33554432000 4194304 6142532 140727845555664 140727845553064 5018238 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 36376576 140727845557382 140727845557512 140727845557512 140727845560270 0
/proc/22443/statm: 9820 3969 848 476 0 3142 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 39280 KiB
Current children cumulated memory: 15876 KiB

[startup+51.1094 s]
/proc/loadavg: 1.96 2.00 2.04 3/191 22445
/proc/meminfo: memFree=19349032/32770624 swapFree=67108860/67108860
[pid=22443] ppid=22440 vsize=39280 memory=15876 CPUtime=51.09 cores=1,3,5,7
/proc/22443/stat : 22443 (cosoco) R 22440 22443 20594 0 -1 4202496 19612 0 0 0 5109 0 0 0 20 0 1 0 78634125 40222720 3969 33554432000 4194304 6142532 140727845555664 140727845553064 5058694 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 36376576 140727845557382 140727845557512 140727845557512 140727845560270 0
/proc/22443/statm: 9820 3969 848 476 0 3142 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 39280 KiB
Current children cumulated memory: 15876 KiB

[startup+102.3 s]
/proc/loadavg: 2.06 2.02 2.05 3/191 22446
/proc/meminfo: memFree=19349120/32770624 swapFree=67108860/67108860
[pid=22443] ppid=22440 vsize=39280 memory=15876 CPUtime=102.28 cores=1,3,5,7
/proc/22443/stat : 22443 (cosoco) R 22440 22443 20594 0 -1 4202496 20050 0 0 0 10228 0 0 0 20 0 1 0 78634125 40222720 3969 33554432000 4194304 6142532 140727845555664 140727845553064 5018361 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 36376576 140727845557382 140727845557512 140727845557512 140727845560270 0
/proc/22443/statm: 9820 3969 848 476 0 3142 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 39280 KiB
Current children cumulated memory: 15876 KiB

[startup+162.3 s]
/proc/loadavg: 2.43 2.15 2.09 3/191 22447
/proc/meminfo: memFree=19348504/32770624 swapFree=67108860/67108860
[pid=22443] ppid=22440 vsize=39280 memory=15876 CPUtime=162.28 cores=1,3,5,7
/proc/22443/stat : 22443 (cosoco) R 22440 22443 20594 0 -1 4202496 20484 0 0 0 16228 0 0 0 20 0 1 0 78634125 40222720 3969 33554432000 4194304 6142532 140727845555664 140727845553064 5017965 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 36376576 140727845557382 140727845557512 140727845557512 140727845560270 0
/proc/22443/statm: 9820 3969 848 476 0 3142 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 39280 KiB
Current children cumulated memory: 15876 KiB

[startup+222.3 s]
/proc/loadavg: 2.16 2.12 2.08 3/191 22448
/proc/meminfo: memFree=19349012/32770624 swapFree=67108860/67108860
[pid=22443] ppid=22440 vsize=39280 memory=15876 CPUtime=222.28 cores=1,3,5,7
/proc/22443/stat : 22443 (cosoco) R 22440 22443 20594 0 -1 4202496 20918 0 0 0 22228 0 0 0 20 0 1 0 78634125 40222720 3969 33554432000 4194304 6142532 140727845555664 140727845553064 5062298 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 36376576 140727845557382 140727845557512 140727845557512 140727845560270 0
/proc/22443/statm: 9820 3969 848 476 0 3142 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 39280 KiB
Current children cumulated memory: 15876 KiB

[startup+282.3 s]
/proc/loadavg: 2.06 2.10 2.08 3/190 22449
/proc/meminfo: memFree=19350520/32770624 swapFree=67108860/67108860
[pid=22443] ppid=22440 vsize=39280 memory=15876 CPUtime=282.28 cores=1,3,5,7
/proc/22443/stat : 22443 (cosoco) R 22440 22443 20594 0 -1 4202496 21351 0 0 0 28228 0 0 0 20 0 1 0 78634125 40222720 3969 33554432000 4194304 6142532 140727845555664 140727845553064 5058268 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 36376576 140727845557382 140727845557512 140727845557512 140727845560270 0
/proc/22443/statm: 9820 3969 848 476 0 3142 0
Current children cumulated CPU time: 282.28 s
Current children cumulated vsize: 39280 KiB
Current children cumulated memory: 15876 KiB

[startup+342.3 s]
/proc/loadavg: 1.95 2.07 2.07 3/191 22452
/proc/meminfo: memFree=19350460/32770624 swapFree=67108860/67108860
[pid=22443] ppid=22440 vsize=39280 memory=15876 CPUtime=342.28 cores=1,3,5,7
/proc/22443/stat : 22443 (cosoco) R 22440 22443 20594 0 -1 4202496 21784 0 0 0 34228 0 0 0 20 0 1 0 78634125 40222720 3969 33554432000 4194304 6142532 140727845555664 140727845553064 5058573 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 36376576 140727845557382 140727845557512 140727845557512 140727845560270 0
/proc/22443/statm: 9820 3969 848 476 0 3142 0
Current children cumulated CPU time: 342.28 s
Current children cumulated vsize: 39280 KiB
Current children cumulated memory: 15876 KiB

[startup+402.3 s]
/proc/loadavg: 1.98 2.05 2.06 3/191 22453
/proc/meminfo: memFree=19350896/32770624 swapFree=67108860/67108860
[pid=22443] ppid=22440 vsize=39280 memory=15876 CPUtime=402.28 cores=1,3,5,7
/proc/22443/stat : 22443 (cosoco) R 22440 22443 20594 0 -1 4202496 22216 0 0 0 40228 0 0 0 20 0 1 0 78634125 40222720 3969 33554432000 4194304 6142532 140727845555664 140727845553064 5017803 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 36376576 140727845557382 140727845557512 140727845557512 140727845560270 0
/proc/22443/statm: 9820 3969 848 476 0 3142 0
Current children cumulated CPU time: 402.28 s
Current children cumulated vsize: 39280 KiB
Current children cumulated memory: 15876 KiB

[startup+462.3 s]
/proc/loadavg: 1.99 2.04 2.05 3/191 22454
/proc/meminfo: memFree=19350972/32770624 swapFree=67108860/67108860
[pid=22443] ppid=22440 vsize=39280 memory=15876 CPUtime=462.28 cores=1,3,5,7
/proc/22443/stat : 22443 (cosoco) R 22440 22443 20594 0 -1 4202496 22652 0 0 0 46228 0 0 0 20 0 1 0 78634125 40222720 3969 33554432000 4194304 6142532 140727845555664 140727845553064 5017759 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 36376576 140727845557382 140727845557512 140727845557512 140727845560270 0
/proc/22443/statm: 9820 3969 848 476 0 3142 0
Current children cumulated CPU time: 462.28 s
Current children cumulated vsize: 39280 KiB
Current children cumulated memory: 15876 KiB


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

/proc/22443/statm: 9820 3969 848 476 0 3142 0
Current children cumulated CPU time: 1722.29 s
Current children cumulated vsize: 39280 KiB
Current children cumulated memory: 15876 KiB

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 22502
/proc/meminfo: memFree=19349780/32770624 swapFree=67108860/67108860
[pid=22443] ppid=22440 vsize=39280 memory=15876 CPUtime=1782.29 cores=1,3,5,7
/proc/22443/stat : 22443 (cosoco) R 22440 22443 20594 0 -1 4202496 31653 0 0 0 178228 1 0 0 20 0 1 0 78634125 40222720 3969 33554432000 4194304 6142532 140727845555664 140727845553064 5061881 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 36376576 140727845557382 140727845557512 140727845557512 140727845560270 0
/proc/22443/statm: 9820 3969 848 476 0 3142 0
Current children cumulated CPU time: 1782.29 s
Current children cumulated vsize: 39280 KiB
Current children cumulated memory: 15876 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 22503
/proc/meminfo: memFree=19349856/32770624 swapFree=67108860/67108860
[pid=22443] ppid=22440 vsize=39280 memory=15876 CPUtime=1842.29 cores=1,3,5,7
/proc/22443/stat : 22443 (cosoco) R 22440 22443 20594 0 -1 4202496 32033 0 0 0 184228 1 0 0 20 0 1 0 78634125 40222720 3969 33554432000 4194304 6142532 140727845555664 140727845553064 5016613 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 36376576 140727845557382 140727845557512 140727845557512 140727845560270 0
/proc/22443/statm: 9820 3969 848 476 0 3142 0
Current children cumulated CPU time: 1842.29 s
Current children cumulated vsize: 39280 KiB
Current children cumulated memory: 15876 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 22504
/proc/meminfo: memFree=19350056/32770624 swapFree=67108860/67108860
[pid=22443] ppid=22440 vsize=39280 memory=15876 CPUtime=1902.29 cores=1,3,5,7
/proc/22443/stat : 22443 (cosoco) R 22440 22443 20594 0 -1 4202496 32413 0 0 0 190228 1 0 0 20 0 1 0 78634125 40222720 3969 33554432000 4194304 6142532 140727845555664 140727845553064 5061846 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 36376576 140727845557382 140727845557512 140727845557512 140727845560270 0
/proc/22443/statm: 9820 3969 848 476 0 3142 0
Current children cumulated CPU time: 1902.29 s
Current children cumulated vsize: 39280 KiB
Current children cumulated memory: 15876 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 22505
/proc/meminfo: memFree=19349644/32770624 swapFree=67108860/67108860
[pid=22443] ppid=22440 vsize=39280 memory=15876 CPUtime=1962.29 cores=1,3,5,7
/proc/22443/stat : 22443 (cosoco) R 22440 22443 20594 0 -1 4202496 32792 0 0 0 196228 1 0 0 20 0 1 0 78634125 40222720 3969 33554432000 4194304 6142532 140727845555664 140727845553064 5054717 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 36376576 140727845557382 140727845557512 140727845557512 140727845560270 0
/proc/22443/statm: 9820 3969 848 476 0 3142 0
Current children cumulated CPU time: 1962.29 s
Current children cumulated vsize: 39280 KiB
Current children cumulated memory: 15876 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/190 22506
/proc/meminfo: memFree=19349736/32770624 swapFree=67108860/67108860
[pid=22443] ppid=22440 vsize=39280 memory=15876 CPUtime=2022.29 cores=1,3,5,7
/proc/22443/stat : 22443 (cosoco) R 22440 22443 20594 0 -1 4202496 33196 0 0 0 202228 1 0 0 20 0 1 0 78634125 40222720 3969 33554432000 4194304 6142532 140727845555664 140727845553064 5057941 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 36376576 140727845557382 140727845557512 140727845557512 140727845560270 0
/proc/22443/statm: 9820 3969 848 476 0 3142 0
Current children cumulated CPU time: 2022.29 s
Current children cumulated vsize: 39280 KiB
Current children cumulated memory: 15876 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/190 22507
/proc/meminfo: memFree=19349816/32770624 swapFree=67108860/67108860
[pid=22443] ppid=22440 vsize=39280 memory=15876 CPUtime=2082.29 cores=1,3,5,7
/proc/22443/stat : 22443 (cosoco) R 22440 22443 20594 0 -1 4202496 33546 0 0 0 208228 1 0 0 20 0 1 0 78634125 40222720 3969 33554432000 4194304 6142532 140727845555664 140727845553064 5061168 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 36376576 140727845557382 140727845557512 140727845557512 140727845560270 0
/proc/22443/statm: 9820 3969 848 476 0 3142 0
Current children cumulated CPU time: 2082.29 s
Current children cumulated vsize: 39280 KiB
Current children cumulated memory: 15876 KiB

[startup+2142.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/190 22508
/proc/meminfo: memFree=19349776/32770624 swapFree=67108860/67108860
[pid=22443] ppid=22440 vsize=39280 memory=15876 CPUtime=2142.29 cores=1,3,5,7
/proc/22443/stat : 22443 (cosoco) R 22440 22443 20594 0 -1 4202496 33896 0 0 0 214228 1 0 0 20 0 1 0 78634125 40222720 3969 33554432000 4194304 6142532 140727845555664 140727845553064 5061970 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 36376576 140727845557382 140727845557512 140727845557512 140727845560270 0
/proc/22443/statm: 9820 3969 848 476 0 3142 0
Current children cumulated CPU time: 2142.29 s
Current children cumulated vsize: 39280 KiB
Current children cumulated memory: 15876 KiB

[startup+2202.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/190 22509
/proc/meminfo: memFree=19349720/32770624 swapFree=67108860/67108860
[pid=22443] ppid=22440 vsize=39280 memory=15876 CPUtime=2202.29 cores=1,3,5,7
/proc/22443/stat : 22443 (cosoco) R 22440 22443 20594 0 -1 4202496 34329 0 0 0 220228 1 0 0 20 0 1 0 78634125 40222720 3969 33554432000 4194304 6142532 140727845555664 140727845553064 5017767 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 36376576 140727845557382 140727845557512 140727845557512 140727845560270 0
/proc/22443/statm: 9820 3969 848 476 0 3142 0
Current children cumulated CPU time: 2202.29 s
Current children cumulated vsize: 39280 KiB
Current children cumulated memory: 15876 KiB

[startup+2262.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/190 22510
/proc/meminfo: memFree=19349804/32770624 swapFree=67108860/67108860
[pid=22443] ppid=22440 vsize=39280 memory=15876 CPUtime=2262.29 cores=1,3,5,7
/proc/22443/stat : 22443 (cosoco) R 22440 22443 20594 0 -1 4202496 34709 0 0 0 226228 1 0 0 20 0 1 0 78634125 40222720 3969 33554432000 4194304 6142532 140727845555664 140727845553064 5017799 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 36376576 140727845557382 140727845557512 140727845557512 140727845560270 0
/proc/22443/statm: 9820 3969 848 476 0 3142 0
Current children cumulated CPU time: 2262.29 s
Current children cumulated vsize: 39280 KiB
Current children cumulated memory: 15876 KiB

[startup+2322.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/192 22520
/proc/meminfo: memFree=19349324/32770624 swapFree=67108860/67108860
[pid=22443] ppid=22440 vsize=39280 memory=15876 CPUtime=2322.29 cores=1,3,5,7
/proc/22443/stat : 22443 (cosoco) R 22440 22443 20594 0 -1 4202496 35115 0 0 0 232228 1 0 0 20 0 1 0 78634125 40222720 3969 33554432000 4194304 6142532 140727845555664 140727845553064 5053536 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 36376576 140727845557382 140727845557512 140727845557512 140727845560270 0
/proc/22443/statm: 9820 3969 848 476 0 3142 0
Current children cumulated CPU time: 2322.29 s
Current children cumulated vsize: 39280 KiB
Current children cumulated memory: 15876 KiB

[startup+2382.3 s]
/proc/loadavg: 2.06 2.04 2.05 3/192 22521
/proc/meminfo: memFree=19349412/32770624 swapFree=67108860/67108860
[pid=22443] ppid=22440 vsize=39280 memory=15876 CPUtime=2382.29 cores=1,3,5,7
/proc/22443/stat : 22443 (cosoco) R 22440 22443 20594 0 -1 4202496 35505 0 0 0 238228 1 0 0 20 0 1 0 78634125 40222720 3969 33554432000 4194304 6142532 140727845555664 140727845553064 5054344 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 36376576 140727845557382 140727845557512 140727845557512 140727845560270 0
/proc/22443/statm: 9820 3969 848 476 0 3142 0
Current children cumulated CPU time: 2382.29 s
Current children cumulated vsize: 39280 KiB
Current children cumulated memory: 15876 KiB

[startup+2442.3 s]
/proc/loadavg: 2.06 2.05 2.05 3/192 22522
/proc/meminfo: memFree=19349484/32770624 swapFree=67108860/67108860
[pid=22443] ppid=22440 vsize=39280 memory=15876 CPUtime=2442.29 cores=1,3,5,7
/proc/22443/stat : 22443 (cosoco) R 22440 22443 20594 0 -1 4202496 35938 0 0 0 244228 1 0 0 20 0 1 0 78634125 40222720 3969 33554432000 4194304 6142532 140727845555664 140727845553064 5062247 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 36376576 140727845557382 140727845557512 140727845557512 140727845560270 0
/proc/22443/statm: 9820 3969 848 476 0 3142 0
Current children cumulated CPU time: 2442.29 s
Current children cumulated vsize: 39280 KiB
Current children cumulated memory: 15876 KiB

[startup+2502.3 s]
/proc/loadavg: 2.07 2.05 2.05 3/192 22650
/proc/meminfo: memFree=19351148/32770624 swapFree=67108860/67108860
[pid=22443] ppid=22440 vsize=39280 memory=15876 CPUtime=2502.29 cores=1,3,5,7
/proc/22443/stat : 22443 (cosoco) R 22440 22443 20594 0 -1 4202496 36315 0 0 0 250228 1 0 0 20 0 1 0 78634125 40222720 3969 33554432000 4194304 6142532 140727845555664 140727845553064 5054373 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 36376576 140727845557382 140727845557512 140727845557512 140727845560270 0
/proc/22443/statm: 9820 3969 848 476 0 3142 0
Current children cumulated CPU time: 2502.29 s
Current children cumulated vsize: 39280 KiB
Current children cumulated memory: 15876 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 1.98 2.03 2.04 3/192 22650
/proc/meminfo: memFree=19351084/32770624 swapFree=67108860/67108860
[pid=22443] ppid=22440 vsize=39280 memory=15876 CPUtime=2520 cores=1,3,5,7
/proc/22443/stat : 22443 (cosoco) R 22440 22443 20594 0 -1 4202496 36690 0 0 0 251999 1 0 0 20 0 1 0 78634125 40222720 3969 33554432000 4194304 6142532 140727845555664 140727845553064 5336583 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 36376576 140727845557382 140727845557512 140727845557512 140727845560270 0
/proc/22443/statm: 9820 3969 848 476 0 3142 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 39280 KiB
Current children cumulated memory: 15876 KiB

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

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

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

Child status: 1
Real time (s): 2520.01
CPU time (s): 2520.01
CPU user time (s): 2519.99
CPU system time (s): 0.014
CPU usage (%): 99.9999
Max. virtual memory (cumulated for all children) (KiB): 39280
Max. memory (cumulated for all children) (KiB): 15876

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.99
system time used= 0.014
maximum resident set size= 15940
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 36740
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= 11
involuntary context switches= 876


# summary of solver processes directly reported to runsolver:
#   pid: 22443
#   total CPU time (s): 2520.01
#   total CPU user time (s): 2519.99
#   total CPU system time (s): 0.014

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.06169 second user time and 16.509 second system time

The end

Launcher Data 

Begin job on node132 at 2018-07-26 15:11:50
IDJOB=4296169
IDBENCH=141660
IDSOLVER=2752
FILE ID=node132/4296169-1532610709
RUNJOBID= node132-1532595527-20626
PBS_JOBID= 21021972
Free space on /tmp= 52036 MiB

SOLVER NAME= cosoco 1.12
BENCH NAME= XCSP18/Eternity/Eternity-14-14_c18.xml
COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4296169-1532610709/watcher-4296169-1532610709 -o /tmp/evaluation-result-4296169-1532610709/solver-4296169-1532610709 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1532595527-20626 --watchdog 2580  HOME/cosoco -lc -model -restarts HOME/instance-4296169-1532610709.xml

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

MD5SUM BENCH= 66051f32d3df5832063947322816fa6d
RANDOM SEED=954747215

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.65
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.65
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.65
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.65
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:        19362032 kB
MemAvailable:   31925952 kB
Buffers:          220088 kB
Cached:         12504264 kB
SwapCached:            0 kB
Active:          3389408 kB
Inactive:        9393684 kB
Active(anon):       8788 kB
Inactive(anon):    77500 kB
Active(file):    3380620 kB
Inactive(file):  9316184 kB
Unevictable:        7020 kB
Mlocked:            7020 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              4668 kB
Writeback:             0 kB
AnonPages:         65276 kB
Mapped:            42496 kB
Shmem:             25248 kB
Slab:             323348 kB
SReclaimable:     295576 kB
SUnreclaim:        27772 kB
KernelStack:        3408 kB
PageTables:         5288 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     356188 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      8192 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /tmp at the end= 52036 MiB
End job on node132 at 2018-07-26 15:53:50