Trace number 4300563

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.8 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-4300563-1532884085.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 
0.99/1.07	c 211            847            15370          215374         616            0              30   122   105 
1.09/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.45	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.82	c 947            3417           68932          905042         616            0              48   126   107 
1.99/2.01	c 1140           4103           82430          1095403        616            0              62   118   106 
2.19/2.24	c 1352           4894           99293          1307702        616            0              47   105   88  
2.39/2.43	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.93	c 2122           7233           148876         1980212        616            0              31   106   88  
3.19/3.28	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/4.00	c 3142           10649          223187         2984008        616            0              81   120   107 
4.29/4.35	c 3551           11841          246755         3324039        616            0              62   118   107 
4.79/4.82	c 4000           13229          279141         3783435        616            0              45   136   114 
5.19/5.25	c 4493           14716          308868         4191639        616            0              34   138   110 
5.59/5.62	c 5035           16240          334031         4520097        616            0              43   107   93  
5.99/6.06	c 5631           17661          362380         5019229        616            0              32   124   106 
6.49/6.59	c 6286           19364          399837         5549672        616            0              36   126   105 
7.29/7.30	c 7006           21445          449710         6242440        616            0              26   130   115 
7.78/7.89	c 7798           23208          490537         6806691        616            0              41   128   114 
8.59/8.60	c 8669           25602          539332         7501549        616            0              72   123   111 
9.39/9.47	c 9627           28489          603441         8305055        616            0              50   121   94  
10.29/10.38	c 10680          31727          667814         9111636        616            0              9   136   99   
11.29/11.39	c 11838          34884          738090         10142726       616            0              31   127   106 
12.49/12.58	c 13111          38690          822124         11236414       616            0              51   119   100 
13.59/13.68	c 14511          42625          902459         12335454       616            0              59   135   107 
15.19/15.21	c 16051          47848          1015165        13769179       616            0              43   125   107 
16.89/17.00	c 17745          53245          1136419        15452401       616            0              46   140   119 
18.69/18.76	c 19608          58590          1259090        17064999       616            0              44   132   112 
20.69/20.72	c 21657          64413          1400273        18812703       616            0              57   127   110 
23.00/23.03	c 23910          71516          1560710        20908875       616            0              41   129   107 
25.39/25.49	c 26388          78373          1733079        23070295       616            0              79   121   106 
28.39/28.41	c 29113          86987          1942340        25685107       616            0              15   135   115 
30.89/30.96	c 32110          95188          2111618        27952100       616            0              12   128   115 
33.69/33.79	c 35406          104495         2308128        30824667       616            0              45   132   105 
36.69/36.75	c 39031          113918         2511548        33609427       616            0              33   132   109 
40.10/40.12	c 43018          123930         2749007        36577894       616            0              26   131   111 
44.10/44.19	c 47403          136917         3036003        40245304       616            0              59   123   102 
48.09/48.17	c 52226          150394         3317361        43826228       616            0              21   126   105 
53.28/53.30	c 57531          165875         3676873        48788073       616            0              33   133   109 
57.58/57.60	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.40	c 84607          234159         5226388        69651494       616            0              76   131   114 
82.68/82.73	c 93147          258567         5753340        77171355       616            0              55   145   114 
90.78/90.87	c 102541         282113         6314154        85460647       616            0              42   143   120 
99.18/99.20	c 112874         307521         6884663        94064076       616            0              55   131   116 
108.58/108.69	c 124240         336378         7578156        103871686      616            0              60   134   114 
119.48/119.54	c 136742         370589         8342542        114836100      616            0              39   141   119 
131.88/131.92	c 150494         410262         9200342        126515193      616            0              70   143   120 
143.67/143.78	c 165621         451587         10035341       138569547      616            0              60   144   111 
158.08/158.14	c 182260         497840         11077384       152196940      616            0              60   141   117 
173.27/173.37	c 200562         545029         12141943       166626537      616            0              55   136   116 
189.37/189.41	c 220694         600418         13295959       182484006      616            0              29   139   113 
209.08/209.12	c 242839         663991         14728922       202054792      616            0              71   134   112 
229.77/229.81	c 267198         734006         16209773       222605695      616            0              50   136   109 
251.76/251.89	c 293992         803890         17796389       245353352      616            0              55   133   107 
272.97/273.02	c 323465         880877         19345395       267356597      616            0              50   140   114 
302.26/302.39	c 355885         973313         21431588       296735272      616            0              62   134   116 
334.66/334.70	c 391547         1080928        23771007       327736259      616            0              27   140   117 
364.96/365.10	c 430775         1192795        26024174       352217119      616            0              52   129   105 
405.25/405.36	c 473925         1327243        28901455       390922325      616            0              57   140   112 
443.65/443.73	c 521390         1446663        31565320       428691792      616            0              50   148   128 
486.95/487.03	c 573601         1589795        34703762       472152471      616            0              20   141   111 
534.84/534.92	c 631033         1738285        38127020       517919111      616            0              63   135   114 
591.04/591.19	c 694208         1915600        42063728       572445400      616            0              50   146   118 
649.63/649.74	c 763700         2103634        46214245       630742737      616            0              52   145   122 
709.03/709.14	c 840141         2290232        50368975       686387235      616            0              12   136   113 
775.03/775.17	c 924226         2517711        55214769       756949533      616            0              53   137   109 
843.41/843.53	c 1016719        2738494        59910330       825476507      616            0              60   149   123 
930.91/931.07	c 1118461        3023851        66036891       915204209      616            0              52   146   124 
1019.30/1019.47	c 1230377        3292825        72603437       1000176020     616            0              51   134   110 
1124.79/1125.00	c 1353484        3652082        80041186       1108823161     616            0              57   139   111 
1242.28/1242.41	c 1488901        4028959        88239030       1227788953     616            0              78   138   114 
1359.37/1359.52	c 1637859        4408766        96663514       1347880834     616            0              58   141   118 
1490.66/1490.86	c 1801712        4799831        105819097      1476786832     616            0              49   137   116 
1624.25/1624.43	c 1981950        5236918        115239624      1613742980     616            0              55   140   110 
1778.23/1778.48	c 2180211        5732294        126128288      1751048321     616            0              30   134   117 
1966.32/1966.50	c 2398298        6270555        139288270      1926129352     616            0              28   135   108 
2172.71/2172.93	c 2638193        6832034        153368775      2117112981     616            0              9   133   113  
2399.49/2399.71	c 2902077        7583837        169574286      2342028617     616            0              56   144   116 
2519.79/2520.00	
2519.79/2520.00	c *** INTERRUPTED ***
2519.79/2520.00	c restarts              : 84          
2519.79/2520.00	c conflicts             : 3045659      (1209 /sec)
2519.79/2520.00	c decisions             : 7959203      (3159 /sec)
2519.79/2520.00	c propagations          : 2462975241  (977460 /sec)
2519.79/2520.00	c root propagations     : 18653       
2519.79/2520.00	c filter calls          : 177796076      (70560 /sec)
2519.79/2520.00	c useless filter calls  : 31242285       (17 %)
2519.79/2520.00	c Memory used           : 38.36 MB
2519.79/2520.00	c CPU time              : 2519.77 s
2519.79/2520.00	
2519.79/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 (12798 MiB free)
  memory of node 1: 16384 MiB (14741 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4300563-1532884085/watcher-4300563-1532884085 -o /tmp/evaluation-result-4300563-1532884085/solver-4300563-1532884085 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1532879040-23008 --watchdog 2580 HOME/cosoco -lc -model -restarts HOME/instance-4300563-1532884085.xml 

running on 4 cores: 0,2,4,6

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

solver pid=23612, runsolver pid=23609

[startup+0.10014 s]*
/proc/loadavg: 2.02 2.02 2.05 3/187 23613
/proc/meminfo: memFree=28198692/32770624 swapFree=67108792/67108860
[pid=23612] ppid=23609 vsize=28896 memory=5168 CPUtime=0.1 cores=0,2,4,6
/proc/23612/stat : 23612 (cosoco) R 23609 23612 22977 0 -1 4202496 1484 0 0 0 10 0 0 0 20 0 1 0 105971756 29589504 1292 33554432000 4194304 6142532 140736487048832 140736487045464 5489275 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 8243016 8247936 38133760 140736487052422 140736487052552 140736487052552 140736487055310 0
/proc/23612/statm: 7224 1292 792 476 0 546 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 28896 KiB
Current children cumulated memory: 5168 KiB

[startup+0.209472 s]*
/proc/loadavg: 2.02 2.02 2.05 3/187 23613
/proc/meminfo: memFree=28197512/32770624 swapFree=67108792/67108860
[pid=23612] ppid=23609 vsize=30012 memory=6148 CPUtime=0.21 cores=0,2,4,6
/proc/23612/stat : 23612 (cosoco) R 23609 23612 22977 0 -1 4202496 1756 0 0 0 21 0 0 0 20 0 1 0 105971756 30732288 1537 33554432000 4194304 6142532 140736487048832 140736487045480 140100771212288 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 8243016 8247936 38133760 140736487052422 140736487052552 140736487052552 140736487055310 0
/proc/23612/statm: 7503 1537 792 476 0 825 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 30012 KiB
Current children cumulated memory: 6148 KiB

[startup+0.308922 s]*
/proc/loadavg: 2.02 2.02 2.05 3/187 23613
/proc/meminfo: memFree=28196768/32770624 swapFree=67108792/67108860
[pid=23612] ppid=23609 vsize=30992 memory=7128 CPUtime=0.31 cores=0,2,4,6
/proc/23612/stat : 23612 (cosoco) R 23609 23612 22977 0 -1 4202496 2001 0 0 0 31 0 0 0 20 0 1 0 105971756 31735808 1782 33554432000 4194304 6142532 140736487048832 140736487045480 5798062 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 8243016 8247936 38133760 140736487052422 140736487052552 140736487052552 140736487055310 0
/proc/23612/statm: 7748 1782 792 476 0 1070 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 30992 KiB
Current children cumulated memory: 7128 KiB

[startup+0.700273 s]
/proc/loadavg: 2.02 2.02 2.05 3/187 23613
/proc/meminfo: memFree=28195032/32770624 swapFree=67108792/67108860
[pid=23612] ppid=23609 vsize=34872 memory=11000 CPUtime=0.69 cores=0,2,4,6
/proc/23612/stat : 23612 (cosoco) R 23609 23612 22977 0 -1 4202496 2953 0 0 0 69 0 0 0 20 0 1 0 105971756 35708928 2750 33554432000 4194304 6142532 140736487048832 140736487045480 140100771212288 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 8243016 8247936 38133760 140736487052422 140736487052552 140736487052552 140736487055310 0
/proc/23612/statm: 8718 2750 792 476 0 2040 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 34872 KiB
Current children cumulated memory: 11000 KiB

[startup+1.50033 s]
/proc/loadavg: 2.02 2.02 2.05 3/187 23613
/proc/meminfo: memFree=28188708/32770624 swapFree=67108792/67108860
[pid=23612] ppid=23609 vsize=39280 memory=15836 CPUtime=1.49 cores=0,2,4,6
/proc/23612/stat : 23612 (cosoco) R 23609 23612 22977 0 -1 4202496 4118 0 0 0 149 0 0 0 20 0 1 0 105971756 40222720 3959 33554432000 4194304 6142532 140736487048832 140736487046232 5060749 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 38133760 140736487052422 140736487052552 140736487052552 140736487055310 0
/proc/23612/statm: 9820 3959 848 476 0 3142 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 39280 KiB
Current children cumulated memory: 15836 KiB

[startup+3.10939 s]
/proc/loadavg: 2.02 2.02 2.05 3/187 23613
/proc/meminfo: memFree=28188620/32770624 swapFree=67108792/67108860
[pid=23612] ppid=23609 vsize=39280 memory=15848 CPUtime=3.09 cores=0,2,4,6
/proc/23612/stat : 23612 (cosoco) R 23609 23612 22977 0 -1 4202496 6705 0 0 0 309 0 0 0 20 0 1 0 105971756 40222720 3962 33554432000 4194304 6142532 140736487048832 140736487046232 5058694 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 38133760 140736487052422 140736487052552 140736487052552 140736487055310 0
/proc/23612/statm: 9820 3962 848 476 0 3142 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 39280 KiB
Current children cumulated memory: 15848 KiB

[startup+6.30027 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 23613
/proc/meminfo: memFree=28188744/32770624 swapFree=67108792/67108860
[pid=23612] ppid=23609 vsize=39280 memory=15876 CPUtime=6.29 cores=0,2,4,6
/proc/23612/stat : 23612 (cosoco) R 23609 23612 22977 0 -1 4202496 9284 0 0 0 629 0 0 0 20 0 1 0 105971756 40222720 3969 33554432000 4194304 6142532 140736487048832 140736487046232 5058653 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 38133760 140736487052422 140736487052552 140736487052552 140736487055310 0
/proc/23612/statm: 9820 3969 848 476 0 3142 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 39280 KiB
Current children cumulated memory: 15876 KiB

[startup+12.7003 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 23613
/proc/meminfo: memFree=28189116/32770624 swapFree=67108792/67108860
[pid=23612] ppid=23609 vsize=39280 memory=15876 CPUtime=12.69 cores=0,2,4,6
/proc/23612/stat : 23612 (cosoco) R 23609 23612 22977 0 -1 4202496 11864 0 0 0 1268 1 0 0 20 0 1 0 105971756 40222720 3969 33554432000 4194304 6142532 140736487048832 140736487046232 5054696 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 38133760 140736487052422 140736487052552 140736487052552 140736487055310 0
/proc/23612/statm: 9820 3969 848 476 0 3142 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 39280 KiB
Current children cumulated memory: 15876 KiB

[startup+25.5003 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 23613
/proc/meminfo: memFree=28189736/32770624 swapFree=67108792/67108860
[pid=23612] ppid=23609 vsize=39280 memory=15880 CPUtime=25.49 cores=0,2,4,6
/proc/23612/stat : 23612 (cosoco) R 23609 23612 22977 0 -1 4202496 17024 0 0 0 2548 1 0 0 20 0 1 0 105971756 40222720 3970 33554432000 4194304 6142532 140736487048832 140736487046232 5061983 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 38133760 140736487052422 140736487052552 140736487052552 140736487055310 0
/proc/23612/statm: 9820 3970 848 476 0 3142 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 39280 KiB
Current children cumulated memory: 15880 KiB

[startup+51.1092 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 23613
/proc/meminfo: memFree=28188576/32770624 swapFree=67108792/67108860
[pid=23612] ppid=23609 vsize=39280 memory=15880 CPUtime=51.09 cores=0,2,4,6
/proc/23612/stat : 23612 (cosoco) R 23609 23612 22977 0 -1 4202496 19609 0 0 0 5108 1 0 0 20 0 1 0 105971756 40222720 3970 33554432000 4194304 6142532 140736487048832 140736487046232 5017918 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 38133760 140736487052422 140736487052552 140736487052552 140736487055310 0
/proc/23612/statm: 9820 3970 848 476 0 3142 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 39280 KiB
Current children cumulated memory: 15880 KiB

[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 23614
/proc/meminfo: memFree=28189900/32770624 swapFree=67108792/67108860
[pid=23612] ppid=23609 vsize=39280 memory=15880 CPUtime=102.28 cores=0,2,4,6
/proc/23612/stat : 23612 (cosoco) R 23609 23612 22977 0 -1 4202496 20012 0 0 0 10227 1 0 0 20 0 1 0 105971756 40222720 3970 33554432000 4194304 6142532 140736487048832 140736487046232 5175264 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 38133760 140736487052422 140736487052552 140736487052552 140736487055310 0
/proc/23612/statm: 9820 3970 848 476 0 3142 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 39280 KiB
Current children cumulated memory: 15880 KiB

[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 23623
/proc/meminfo: memFree=28189320/32770624 swapFree=67108792/67108860
[pid=23612] ppid=23609 vsize=39280 memory=15880 CPUtime=162.27 cores=0,2,4,6
/proc/23612/stat : 23612 (cosoco) R 23609 23612 22977 0 -1 4202496 20414 0 0 0 16226 1 0 0 20 0 1 0 105971756 40222720 3970 33554432000 4194304 6142532 140736487048832 140736487046232 5058259 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 38133760 140736487052422 140736487052552 140736487052552 140736487055310 0
/proc/23612/statm: 9820 3970 848 476 0 3142 0
Current children cumulated CPU time: 162.27 s
Current children cumulated vsize: 39280 KiB
Current children cumulated memory: 15880 KiB

[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 23624
/proc/meminfo: memFree=28189780/32770624 swapFree=67108792/67108860
[pid=23612] ppid=23609 vsize=39280 memory=15880 CPUtime=222.27 cores=0,2,4,6
/proc/23612/stat : 23612 (cosoco) R 23609 23612 22977 0 -1 4202496 20816 0 0 0 22226 1 0 0 20 0 1 0 105971756 40222720 3970 33554432000 4194304 6142532 140736487048832 140736487046232 5058199 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 38133760 140736487052422 140736487052552 140736487052552 140736487055310 0
/proc/23612/statm: 9820 3970 848 476 0 3142 0
Current children cumulated CPU time: 222.27 s
Current children cumulated vsize: 39280 KiB
Current children cumulated memory: 15880 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 23625
/proc/meminfo: memFree=28190240/32770624 swapFree=67108792/67108860
[pid=23612] ppid=23609 vsize=39280 memory=15880 CPUtime=282.26 cores=0,2,4,6
/proc/23612/stat : 23612 (cosoco) R 23609 23612 22977 0 -1 4202496 21217 0 0 0 28225 1 0 0 20 0 1 0 105971756 40222720 3970 33554432000 4194304 6142532 140736487048832 140736487046232 5058615 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 38133760 140736487052422 140736487052552 140736487052552 140736487055310 0
/proc/23612/statm: 9820 3970 848 476 0 3142 0
Current children cumulated CPU time: 282.26 s
Current children cumulated vsize: 39280 KiB
Current children cumulated memory: 15880 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 23626
/proc/meminfo: memFree=28190280/32770624 swapFree=67108792/67108860
[pid=23612] ppid=23609 vsize=39280 memory=15880 CPUtime=342.26 cores=0,2,4,6
/proc/23612/stat : 23612 (cosoco) R 23609 23612 22977 0 -1 4202496 21618 0 0 0 34225 1 0 0 20 0 1 0 105971756 40222720 3970 33554432000 4194304 6142532 140736487048832 140736487046232 5058744 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 38133760 140736487052422 140736487052552 140736487052552 140736487055310 0
/proc/23612/statm: 9820 3970 848 476 0 3142 0
Current children cumulated CPU time: 342.26 s
Current children cumulated vsize: 39280 KiB
Current children cumulated memory: 15880 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 23627
/proc/meminfo: memFree=28190292/32770624 swapFree=67108792/67108860
[pid=23612] ppid=23609 vsize=39280 memory=15880 CPUtime=402.25 cores=0,2,4,6
/proc/23612/stat : 23612 (cosoco) R 23609 23612 22977 0 -1 4202496 22018 0 0 0 40224 1 0 0 20 0 1 0 105971756 40222720 3970 33554432000 4194304 6142532 140736487048832 140736487046232 5060806 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 38133760 140736487052422 140736487052552 140736487052552 140736487055310 0
/proc/23612/statm: 9820 3970 848 476 0 3142 0
Current children cumulated CPU time: 402.25 s
Current children cumulated vsize: 39280 KiB
Current children cumulated memory: 15880 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 23628
/proc/meminfo: memFree=28189936/32770624 swapFree=67108792/67108860
[pid=23612] ppid=23609 vsize=39280 memory=15880 CPUtime=462.25 cores=0,2,4,6
/proc/23612/stat : 23612 (cosoco) R 23609 23612 22977 0 -1 4202496 22422 0 0 0 46224 1 0 0 20 0 1 0 105971756 40222720 3970 33554432000 4194304 6142532 140736487048832 140736487046232 5062272 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 38133760 140736487052422 140736487052552 140736487052552 140736487055310 0
/proc/23612/statm: 9820 3970 848 476 0 3142 0
Current children cumulated CPU time: 462.25 s
Current children cumulated vsize: 39280 KiB
Current children cumulated memory: 15880 KiB


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

/proc/23612/statm: 9820 3970 848 476 0 3142 0
Current children cumulated CPU time: 1722.14 s
Current children cumulated vsize: 39280 KiB
Current children cumulated memory: 15880 KiB

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 23668
/proc/meminfo: memFree=28188456/32770624 swapFree=67108792/67108860
[pid=23612] ppid=23609 vsize=39280 memory=15880 CPUtime=1782.13 cores=0,2,4,6
/proc/23612/stat : 23612 (cosoco) R 23609 23612 22977 0 -1 4202496 30538 0 0 0 178212 1 0 0 20 0 1 0 105971756 40222720 3970 33554432000 4194304 6142532 140736487048832 140736487046232 5058259 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 38133760 140736487052422 140736487052552 140736487052552 140736487055310 0
/proc/23612/statm: 9820 3970 848 476 0 3142 0
Current children cumulated CPU time: 1782.13 s
Current children cumulated vsize: 39280 KiB
Current children cumulated memory: 15880 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 23669
/proc/meminfo: memFree=28188416/32770624 swapFree=67108792/67108860
[pid=23612] ppid=23609 vsize=39280 memory=15880 CPUtime=1842.13 cores=0,2,4,6
/proc/23612/stat : 23612 (cosoco) R 23609 23612 22977 0 -1 4202496 30859 0 0 0 184212 1 0 0 20 0 1 0 105971756 40222720 3970 33554432000 4194304 6142532 140736487048832 140736487046232 5058268 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 38133760 140736487052422 140736487052552 140736487052552 140736487055310 0
/proc/23612/statm: 9820 3970 848 476 0 3142 0
Current children cumulated CPU time: 1842.13 s
Current children cumulated vsize: 39280 KiB
Current children cumulated memory: 15880 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 23670
/proc/meminfo: memFree=28188132/32770624 swapFree=67108792/67108860
[pid=23612] ppid=23609 vsize=39280 memory=15880 CPUtime=1902.12 cores=0,2,4,6
/proc/23612/stat : 23612 (cosoco) R 23609 23612 22977 0 -1 4202496 31180 0 0 0 190211 1 0 0 20 0 1 0 105971756 40222720 3970 33554432000 4194304 6142532 140736487048832 140736487046232 5058672 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 38133760 140736487052422 140736487052552 140736487052552 140736487055310 0
/proc/23612/statm: 9820 3970 848 476 0 3142 0
Current children cumulated CPU time: 1902.12 s
Current children cumulated vsize: 39280 KiB
Current children cumulated memory: 15880 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 23679
/proc/meminfo: memFree=28188244/32770624 swapFree=67108792/67108860
[pid=23612] ppid=23609 vsize=39280 memory=15880 CPUtime=1962.12 cores=0,2,4,6
/proc/23612/stat : 23612 (cosoco) R 23609 23612 22977 0 -1 4202496 31497 0 0 0 196211 1 0 0 20 0 1 0 105971756 40222720 3970 33554432000 4194304 6142532 140736487048832 140736487046232 5017979 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 38133760 140736487052422 140736487052552 140736487052552 140736487055310 0
/proc/23612/statm: 9820 3970 848 476 0 3142 0
Current children cumulated CPU time: 1962.12 s
Current children cumulated vsize: 39280 KiB
Current children cumulated memory: 15880 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 23680
/proc/meminfo: memFree=28187996/32770624 swapFree=67108792/67108860
[pid=23612] ppid=23609 vsize=39280 memory=15880 CPUtime=2022.11 cores=0,2,4,6
/proc/23612/stat : 23612 (cosoco) R 23609 23612 22977 0 -1 4202496 31876 0 0 0 202210 1 0 0 20 0 1 0 105971756 40222720 3970 33554432000 4194304 6142532 140736487048832 140736487046232 5054733 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 38133760 140736487052422 140736487052552 140736487052552 140736487055310 0
/proc/23612/statm: 9820 3970 848 476 0 3142 0
Current children cumulated CPU time: 2022.11 s
Current children cumulated vsize: 39280 KiB
Current children cumulated memory: 15880 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 23681
/proc/meminfo: memFree=28188096/32770624 swapFree=67108792/67108860
[pid=23612] ppid=23609 vsize=39280 memory=15880 CPUtime=2082.11 cores=0,2,4,6
/proc/23612/stat : 23612 (cosoco) R 23609 23612 22977 0 -1 4202496 32172 0 0 0 208210 1 0 0 20 0 1 0 105971756 40222720 3970 33554432000 4194304 6142532 140736487048832 140736487046232 5060613 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 38133760 140736487052422 140736487052552 140736487052552 140736487055310 0
/proc/23612/statm: 9820 3970 848 476 0 3142 0
Current children cumulated CPU time: 2082.11 s
Current children cumulated vsize: 39280 KiB
Current children cumulated memory: 15880 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 23682
/proc/meminfo: memFree=28188020/32770624 swapFree=67108792/67108860
[pid=23612] ppid=23609 vsize=39280 memory=15880 CPUtime=2142.1 cores=0,2,4,6
/proc/23612/stat : 23612 (cosoco) R 23609 23612 22977 0 -1 4202496 32467 0 0 0 214209 1 0 0 20 0 1 0 105971756 40222720 3970 33554432000 4194304 6142532 140736487048832 140736487046232 5055532 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 38133760 140736487052422 140736487052552 140736487052552 140736487055310 0
/proc/23612/statm: 9820 3970 848 476 0 3142 0
Current children cumulated CPU time: 2142.1 s
Current children cumulated vsize: 39280 KiB
Current children cumulated memory: 15880 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 23683
/proc/meminfo: memFree=28187904/32770624 swapFree=67108792/67108860
[pid=23612] ppid=23609 vsize=39280 memory=15880 CPUtime=2202.11 cores=0,2,4,6
/proc/23612/stat : 23612 (cosoco) R 23609 23612 22977 0 -1 4202496 32868 0 0 0 220209 2 0 0 20 0 1 0 105971756 40222720 3970 33554432000 4194304 6142532 140736487048832 140736487046232 5060790 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 38133760 140736487052422 140736487052552 140736487052552 140736487055310 0
/proc/23612/statm: 9820 3970 848 476 0 3142 0
Current children cumulated CPU time: 2202.11 s
Current children cumulated vsize: 39280 KiB
Current children cumulated memory: 15880 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 23684
/proc/meminfo: memFree=28187796/32770624 swapFree=67108792/67108860
[pid=23612] ppid=23609 vsize=39280 memory=15880 CPUtime=2262.1 cores=0,2,4,6
/proc/23612/stat : 23612 (cosoco) R 23609 23612 22977 0 -1 4202496 33192 0 0 0 226208 2 0 0 20 0 1 0 105971756 40222720 3970 33554432000 4194304 6142532 140736487048832 140736487046232 5058604 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 38133760 140736487052422 140736487052552 140736487052552 140736487055310 0
/proc/23612/statm: 9820 3970 848 476 0 3142 0
Current children cumulated CPU time: 2262.1 s
Current children cumulated vsize: 39280 KiB
Current children cumulated memory: 15880 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 23685
/proc/meminfo: memFree=28187796/32770624 swapFree=67108792/67108860
[pid=23612] ppid=23609 vsize=39280 memory=15880 CPUtime=2322.1 cores=0,2,4,6
/proc/23612/stat : 23612 (cosoco) R 23609 23612 22977 0 -1 4202496 33532 0 0 0 232208 2 0 0 20 0 1 0 105971756 40222720 3970 33554432000 4194304 6142532 140736487048832 140736487046232 5058609 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 38133760 140736487052422 140736487052552 140736487052552 140736487055310 0
/proc/23612/statm: 9820 3970 848 476 0 3142 0
Current children cumulated CPU time: 2322.1 s
Current children cumulated vsize: 39280 KiB
Current children cumulated memory: 15880 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 23686
/proc/meminfo: memFree=28187888/32770624 swapFree=67108792/67108860
[pid=23612] ppid=23609 vsize=39280 memory=15880 CPUtime=2382.09 cores=0,2,4,6
/proc/23612/stat : 23612 (cosoco) R 23609 23612 22977 0 -1 4202496 33860 0 0 0 238207 2 0 0 20 0 1 0 105971756 40222720 3970 33554432000 4194304 6142532 140736487048832 140736487046232 5017965 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 38133760 140736487052422 140736487052552 140736487052552 140736487055310 0
/proc/23612/statm: 9820 3970 848 476 0 3142 0
Current children cumulated CPU time: 2382.09 s
Current children cumulated vsize: 39280 KiB
Current children cumulated memory: 15880 KiB

[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 23687
/proc/meminfo: memFree=28187740/32770624 swapFree=67108792/67108860
[pid=23612] ppid=23609 vsize=39280 memory=15880 CPUtime=2442.08 cores=0,2,4,6
/proc/23612/stat : 23612 (cosoco) R 23609 23612 22977 0 -1 4202496 34261 0 0 0 244206 2 0 0 20 0 1 0 105971756 40222720 3970 33554432000 4194304 6142532 140736487048832 140736487046232 5054723 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 38133760 140736487052422 140736487052552 140736487052552 140736487055310 0
/proc/23612/statm: 9820 3970 848 476 0 3142 0
Current children cumulated CPU time: 2442.08 s
Current children cumulated vsize: 39280 KiB
Current children cumulated memory: 15880 KiB

[startup+2502.3 s]
/proc/loadavg: 2.22 2.06 2.06 3/187 23688
/proc/meminfo: memFree=28188028/32770624 swapFree=67108792/67108860
[pid=23612] ppid=23609 vsize=39280 memory=15880 CPUtime=2502.08 cores=0,2,4,6
/proc/23612/stat : 23612 (cosoco) R 23609 23612 22977 0 -1 4202496 34575 0 0 0 250206 2 0 0 20 0 1 0 105971756 40222720 3970 33554432000 4194304 6142532 140736487048832 140736487046232 5017760 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 38133760 140736487052422 140736487052552 140736487052552 140736487055310 0
/proc/23612/statm: 9820 3970 848 476 0 3142 0
Current children cumulated CPU time: 2502.08 s
Current children cumulated vsize: 39280 KiB
Current children cumulated memory: 15880 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 2.36 2.11 2.07 3/188 23757
/proc/meminfo: memFree=28189608/32770624 swapFree=67108792/67108860
[pid=23612] ppid=23609 vsize=39280 memory=15880 CPUtime=2519.79 cores=0,2,4,6
/proc/23612/stat : 23612 (cosoco) R 23609 23612 22977 0 -1 4202496 34887 0 0 0 251977 2 0 0 20 0 1 0 105971756 40222720 3970 33554432000 4194304 6142532 140736487048832 140736487046232 5054405 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 38133760 140736487052422 140736487052552 140736487052552 140736487055310 0
/proc/23612/statm: 9820 3970 848 476 0 3142 0
Current children cumulated CPU time: 2519.79 s
Current children cumulated vsize: 39280 KiB
Current children cumulated memory: 15880 KiB

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

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

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

Child status: 1
Real time (s): 2520.01
CPU time (s): 2519.8
CPU user time (s): 2519.77
CPU system time (s): 0.022998
CPU usage (%): 99.9915
Max. virtual memory (cumulated for all children) (KiB): 39280
Max. memory (cumulated for all children) (KiB): 15880

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.77
system time used= 0.022998
maximum resident set size= 15944
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 34937
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= 3151


# summary of solver processes directly reported to runsolver:
#   pid: 23612
#   total CPU time (s): 2519.8
#   total CPU user time (s): 2519.77
#   total CPU system time (s): 0.022998

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.92771 second user time and 16.36 second system time

The end

Launcher Data 

Begin job on node150 at 2018-07-29 19:08:05
IDJOB=4300563
IDBENCH=141660
IDSOLVER=2761
FILE ID=node150/4300563-1532884085
RUNJOBID= node150-1532879040-23008
PBS_JOBID= 21022512
Free space on /tmp= 55340 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-4300563-1532884085/watcher-4300563-1532884085 -o /tmp/evaluation-result-4300563-1532884085/solver-4300563-1532884085 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1532879040-23008 --watchdog 2580  HOME/cosoco -lc -model -restarts HOME/instance-4300563-1532884085.xml

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

MD5SUM BENCH= 66051f32d3df5832063947322816fa6d
RANDOM SEED=1340800405

node150.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.76
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.76
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.76
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.76
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:        28200512 kB
MemAvailable:   31936884 kB
Buffers:          220816 kB
Cached:          3758656 kB
SwapCached:           32 kB
Active:          1453680 kB
Inactive:        2582752 kB
Active(anon):       8680 kB
Inactive(anon):    76188 kB
Active(file):    1445000 kB
Inactive(file):  2506564 kB
Unevictable:        7752 kB
Mlocked:            7752 kB
SwapTotal:      67108860 kB
SwapFree:       67108792 kB
Dirty:              8188 kB
Writeback:             0 kB
AnonPages:         64104 kB
Mapped:            46460 kB
Shmem:             25156 kB
Slab:             229724 kB
SReclaimable:     201284 kB
SUnreclaim:        28440 kB
KernelStack:        3360 kB
PageTables:         5140 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     356256 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      4096 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      126336 kB
DirectMap2M:    33419264 kB

Free space on /tmp at the end= 55340 MiB
End job on node150 at 2018-07-29 19:50:05