Trace number 4294627

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.81 2520.01

General information on the benchmark

NameDubois/
Dubois-040_c18.xml
MD5SUM45809745b970e21e8f924050121658bf
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.010022
Satisfiable
(Un)Satisfiability was proved
Number of variables120
Number of constraints80
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":120}]
Minimum variable degree2
Maximum variable degree2
Distribution of variable degrees[{"degree":2,"count":120}]
Minimum constraint arity3
Maximum constraint arity3
Distribution of constraint arities[{"arity":3,"count":80}]
Number of extensional constraints80
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":80}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c root propagations     : 0           
0.00/0.00	c restarts enabled, print stats at every restarts
0.00/0.00	c
0.00/0.00	c
0.00/0.00	c
0.00/0.00	c This is cosoco 1.12 --  
0.00/0.00	c
0.00/0.00	c command line: HOME/cosoco -lc -model -restarts HOME/instance-4294627-1532481236.xml 
0.00/0.00	c ========================================[ Problem Statistics ]===========================================
0.00/0.00	c |                                                                                                       
0.00/0.00	c |  Parse time        :         0.00 s 
0.00/0.00	c |
0.00/0.00	c |               Variables: 120
0.00/0.00	c |            Domain Sizes: 2..2
0.00/0.00	c |
0.00/0.00	c |             Constraints: 80
0.00/0.00	c |                   Arity: 3..3  -- Ternary: 80
0.00/0.00	c | 
0.00/0.00	c |                   Types: 
0.00/0.00	c |                          Extension: 80  (nb tuples: 4..4) -- (shared: 75)
0.00/0.00	c |                          
0.00/0.00	c =========================================================================================================
0.00/0.00	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
0.00/0.01	c 101            1984           8400           8140           0              0              41   117   82  
0.00/0.01	c 211            2397           9936           9562           0              0              45   117   71  
0.00/0.01	c 332            3518           14362          13769          0              0              88   115   105 
0.00/0.01	c 465            4248           17039          16306          0              0              47   71   59   
0.00/0.01	c 611            5162           20271          19359          0              0              63   89   78   
0.00/0.02	c 771            6062           23595          22501          0              0              49   76   60   
0.00/0.02	c 947            7272           27843          26654          0              0              25   45   38   
0.00/0.02	c 1140           8694           32872          31452          0              0              102   117   112
0.00/0.02	c 1352           10103          37785          36099          0              0              89   109   102 
0.00/0.03	c 1585           11762          43529          41638          0              0              59   103   79  
0.00/0.03	c 1841           13336          49099          46941          0              0              35   119   84  
0.00/0.04	c 2122           15274          55773          53344          0              0              20   117   106 
0.00/0.04	c 2431           17282          62846          60112          0              0              74   102   90  
0.00/0.04	c 2770           19353          70033          66907          0              0              70   116   92  
0.00/0.05	c 3142           21795          78618          75103          0              0              3   116   69   
0.00/0.06	c 3551           24252          87215          83522          0              0              76   114   91  
0.00/0.06	c 4000           27540          98715          94625          0              0              94   115   111 
0.00/0.07	c 4493           30943          110591         106165         0              0              30   112   97  
0.00/0.08	c 5035           34279          122430         117713         0              0              88   115   105 
0.00/0.09	c 5631           39031          139506         134333         0              0              61   95   80   
0.00/0.10	c 6286           43129          153827         148412         0              0              35   79   57   
0.10/0.11	c 7006           48197          171324         165260         0              0              50   115   109 
0.10/0.12	c 7798           54268          192441         185780         0              0              68   112   106 
0.10/0.13	c 8669           59576          212231         204959         0              0              76   112   102 
0.10/0.14	c 9627           65285          232382         224630         0              0              32   73   50   
0.10/0.16	c 10680          73266          259808         251198         0              0              50   114   107 
0.10/0.18	c 11838          82196          290843         281539         0              0              79   111   106 
0.10/0.20	c 13111          91196          321721         311624         0              0              45   90   75   
0.21/0.22	c 14511          101009         356617         345877         0              0              7   111   102  
0.21/0.24	c 16051          111852         394826         383060         0              0              46   114   85  
0.21/0.27	c 17745          126296         446451         433716         0              0              74   113   104 
0.21/0.30	c 19608          140490         496491         482652         0              0              38   110   73  
0.31/0.33	c 21657          154209         544918         529808         0              0              21   112   68  
0.31/0.37	c 23910          172000         608203         591344         0              0              27   110   104 
0.31/0.41	c 26388          191217         677124         658523         0              0              63   108   98  
0.41/0.45	c 29113          209673         741580         721278         0              0              43   107   87  
0.41/0.50	c 32110          234933         827509         806116         0              0              27   113   104 
0.51/0.55	c 35406          259743         915232         892127         0              0              33   110   103 
0.60/0.61	c 39031          286474         1008080        982580         0              0              29   113   78  
0.60/0.68	c 43018          320413         1130757        1102215        0              0              27   111   102 
0.69/0.76	c 47403          357011         1260827        1229182        0              0              49   109   101 
0.79/0.84	c 52226          393571         1388526        1353950        0              0              30   112   80  
0.89/0.93	c 57531          435253         1536493        1498864        0              0              28   109   99  
1.00/1.03	c 63366          486243         1718297        1676680        0              0              62   108   98  
1.10/1.14	c 69784          538216         1899558        1855601        0              0              27   109   95  
1.19/1.26	c 76843          592416         2090514        2042415        0              0              17   110   101 
1.39/1.40	c 84607          662366         2335542        2283126        0              0              27   109   100 
1.49/1.54	c 93147          729535         2573074        2513920        0              0              71   110   101 
1.69/1.70	c 102541         806582         2844560        2781069        0              0              30   109   98  
1.79/1.89	c 112874         896861         3159785        3090118        0              0              66   110   102 
2.00/2.08	c 124240         986808         3480722        3405449        0              0              26   109   100 
2.19/2.29	c 136742         1087418        3833337        3751764        0              0              65   110   101 
2.49/2.53	c 150494         1200255        4243339        4149443        0              0              33   108   100 
2.79/2.80	c 165621         1330408        4701972        4596495        0              0              44   110   100 
3.00/3.09	c 182260         1468992        5187910        5073502        0              0              56   109   100 
3.39/3.43	c 200562         1633695        5764529        5640438        0              0              61   110   101 
3.79/3.80	c 220694         1811011        6376247        6244596        0              0              35   110   99  
4.10/4.19	c 242839         1997173        7033321        6888112        0              0              64   110   101 
4.59/4.62	c 267198         2199791        7739096        7580929        0              0              30   109   91  
5.00/5.10	c 293992         2426367        8555476        8380041        0              0              61   110   101 
5.59/5.65	c 323465         2688786        9479601        9288367        0              0              35   109   99  
6.19/6.25	c 355885         2976415        10495395       10281080       0              0              60   110   102 
7.00/7.03	c 391547         3342586        11769485       11545640       0              0              37   110   95  
7.59/7.61	c 430775         3618136        12744623       12492351       0              0              41   110   92  
8.39/8.42	c 473925         3993064        14065992       13793525       0              0              33   107   91  
9.10/9.18	c 521390         4348290        15332337       15032026       0              0              36   110   86  
10.00/10.05	c 573601         4764388        16808449       16473902       0              0              60   110   100 
11.10/11.13	c 631033         5281380        18612903       18244825       0              0              36   109   100 
12.10/12.19	c 694208         5777959        20374409       19973619       0              0              46   110   94  
13.39/13.41	c 763700         6363170        22423675       21986550       0              0              55   109   100 
14.79/14.83	c 840141         7042742        24799532       24316993       0              0              57   110   98  
16.19/16.25	c 924226         7713192        27163186       26640421       0              0              47   109   94  
17.89/17.90	c 1016719        8501444        29927534       29350166       0              0              61   110   101 
19.69/19.75	c 1118461        9375361        33018681       32400768       0              0              33   109   96  
21.39/21.48	c 1230377        10205862       35944062       35260645       0              0              18   110   102 
23.59/23.66	c 1353484        11246698       39580333       38840348       0              0              29   109   100 
26.00/26.08	c 1488901        12401323       43635999       42817244       0              0              57   110   99  
28.49/28.58	c 1637859        13595280       47783387       46894534       0              0              40   109   98  
31.39/31.42	c 1801712        14939787       52569453       51598205       0              0              39   110   98  
34.59/34.60	c 1981950        16438923       57822057       56747276       0              0              27   109   92  
38.00/38.08	c 2180211        18089402       63665370       62503349       0              0              42   110   99  
42.19/42.23	c 2398298        20024144       70658900       69420416       0              0              32   110   95  
46.69/46.74	c 2638193        22174026       78137386       76788497       0              0              43   110   98  
51.29/51.33	c 2902077        24339736       85711018       84234566       0              0              35   110   95  
56.89/56.93	c 3192349        26993890       94993460       93376257       0              0              23   110   99  
62.78/62.84	c 3511648        29802259       104834982      103046713      0              0              30   110   98  
68.38/68.42	c 3862876        32409918       114095216      112132951      0              0              25   110   91  
75.68/75.80	c 4249226        35867067       126485163      124359747      0              0              30   110   97  
84.09/84.13	c 4674211        39759000       140183867      137889329      0              0              28   110   93  
92.48/92.53	c 5141694        43652933       154361030      151734247      0              0              26   110   93  
101.68/101.71	c 5655925        47926474       169386294      166403567      0              0              26   107   88  
111.99/112.05	c 6221579        52717940       186268804      183118493      0              0              25   110   89  
125.28/125.36	c 6843798        58715701       207364996      203980083      0              0              17   107   74  
135.99/136.02	c 7528238        63752517       225058257      221366798      0              0              25   110   95  
152.08/152.13	c 8281122        71369266       251619505      247468668      0              0              27   110   97  
168.87/168.95	c 9109294        79309660       279282259      274830629      0              0              31   110   98  
186.67/186.73	c 10020283       87649306       308590845      303612983      0              0              26   110   95  
208.57/208.64	c 11022370       97990876       344864182      339423059      0              0              31   110   99  
235.17/235.25	c 12124665       110595509      388433217      382301267      0              0              29   111   100 
262.08/262.17	c 13337189       123330065      432640785      425819713      0              0              24   110   99  
291.47/291.54	c 14670965       137203047      481047861      473550045      0              0              29   111   99  
322.16/322.20	c 16138118       151640143      531593483      523569551      0              0              25   110   97  
350.56/350.69	c 17751986       165061438      579145765      569908396      0              0              25   110   96  
387.56/387.67	c 19527240       182345343      640547433      630266435      0              0              27   110   96  
427.46/427.57	c 21480019       201111045      706476923      695568816      0              0              26   110   99  
467.75/467.88	c 23628075       219922645      772803837      760605604      0              0              21   110   92  
519.45/519.56	c 25990936       244227220      857973465      844488159      0              0              24   110   97  
576.95/577.03	c 28590083       271259682      952242626      937674613      0              0              26   110   97  
624.44/624.58	c 31449144       293545002      1030030448     1014343998     0              0              21   110   92  
695.63/695.76	c 34594111       327149263      1146676333     1129554759     0              0              24   110   97  
762.53/762.65	c 38053574       358560372      1257049876     1238698885     0              0              20   110   96  
838.03/838.11	c 41858983       393862919      1380214470     1360483872     0              0              22   110   93  
926.62/926.78	c 46044932       435708178      1525517623     1503962595     0              0              22   110   96  
1025.41/1025.56	c 50649475       482503654      1687226509     1663836377     0              0              21   110   98  
1131.01/1131.17	c 55714472       532315231      1861279705     1835814665     0              0              19   110   98  
1250.19/1250.32	c 61285968       588092382      2056044228     2028206501     0              0              18   104   93  
1383.48/1383.60	c 67414613       650757938      2275671465     2245148889     0              0              22   110   97  
1530.17/1530.39	c 74156122       720088783      2517125781     2483052800     0              0              18   110   97  
1671.36/1671.54	c 81571781       785444779      2745334249     2707807555     0              0              17   110   86  
1842.24/1842.41	c 89729005       865742023      3024950874     2984618009     0              0              20   110   96  
2040.33/2040.52	c 98701951       959154779      3350223235     3305642782     0              0              24   110   98  
2234.61/2234.84	c 108572191      1050550887     3668900482     3620680718     0              0              22   110   95  
2458.29/2458.50	c 119429455      1155851588     4037672978     3983872507     0              0              20   110   97  
2519.80/2520.00	
2519.80/2520.00	c *** INTERRUPTED ***
2519.80/2520.00	c restarts              : 123         
2519.80/2520.00	c conflicts             : 122359544    (48559 /sec)
2519.80/2520.00	c decisions             : 1184890043   (470231 /sec)
2519.80/2520.00	c propagations          : 4083482358  (1620556 /sec)
2519.80/2520.00	c root propagations     : 0           
2519.80/2520.00	c filter calls          : 4138756715     (1642492 /sec)
2519.80/2520.00	c useless filter calls  : 2372593159     (57 %)
2519.80/2520.00	c Memory used           : 26.79 MB
2519.80/2520.00	c CPU time              : 2519.8 s
2519.80/2520.00	
2519.80/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 (4865 MiB free)
  memory of node 1: 16384 MiB (10842 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4294627-1532481236/watcher-4294627-1532481236 -o /tmp/evaluation-result-4294627-1532481236/solver-4294627-1532481236 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1532470521-22596 --watchdog 2580 HOME/cosoco -lc -model -restarts HOME/instance-4294627-1532481236.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=23775, runsolver pid=23772

[startup+0.1002 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 23776
/proc/meminfo: memFree=16084184/32770624 swapFree=67108860/67108860
[pid=23775] ppid=23772 vsize=27424 memory=3936 CPUtime=0.1 cores=0,2,4,6
/proc/23775/stat : 23775 (cosoco) R 23772 23775 22565 0 -1 4202496 1150 0 0 0 10 0 0 0 20 0 1 0 65686877 28082176 984 33554432000 4194304 6142532 140720545035136 140720545031768 5013856 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 19599360 140720545043590 140720545043720 140720545043720 140720545046478 0
/proc/23775/statm: 6856 984 828 476 0 178 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27424 KiB
Current children cumulated memory: 3936 KiB

[startup+0.209368 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 23776
/proc/meminfo: memFree=16084184/32770624 swapFree=67108860/67108860
[pid=23775] ppid=23772 vsize=27424 memory=3936 CPUtime=0.21 cores=0,2,4,6
/proc/23775/stat : 23775 (cosoco) R 23772 23775 22565 0 -1 4202496 1150 0 0 0 21 0 0 0 20 0 1 0 65686877 28082176 984 33554432000 4194304 6142532 140720545035136 140720545031768 5335940 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 19599360 140720545043590 140720545043720 140720545043720 140720545046478 0
/proc/23775/statm: 6856 984 828 476 0 178 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 27424 KiB
Current children cumulated memory: 3936 KiB

[startup+0.308871 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 23776
/proc/meminfo: memFree=16084184/32770624 swapFree=67108860/67108860
[pid=23775] ppid=23772 vsize=27424 memory=3936 CPUtime=0.31 cores=0,2,4,6
/proc/23775/stat : 23775 (cosoco) R 23772 23775 22565 0 -1 4202496 1150 0 0 0 31 0 0 0 20 0 1 0 65686877 28082176 984 33554432000 4194304 6142532 140720545035136 140720545031768 5017990 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 19599360 140720545043590 140720545043720 140720545043720 140720545046478 0
/proc/23775/statm: 6856 984 828 476 0 178 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 27424 KiB
Current children cumulated memory: 3936 KiB

[startup+0.70027 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 23776
/proc/meminfo: memFree=16084184/32770624 swapFree=67108860/67108860
[pid=23775] ppid=23772 vsize=27424 memory=3936 CPUtime=0.69 cores=0,2,4,6
/proc/23775/stat : 23775 (cosoco) R 23772 23775 22565 0 -1 4202496 1150 0 0 0 69 0 0 0 20 0 1 0 65686877 28082176 984 33554432000 4194304 6142532 140720545035136 140720545031768 5335934 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 19599360 140720545043590 140720545043720 140720545043720 140720545046478 0
/proc/23775/statm: 6856 984 828 476 0 178 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 27424 KiB
Current children cumulated memory: 3936 KiB

[startup+1.50027 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 23776
/proc/meminfo: memFree=16083888/32770624 swapFree=67108860/67108860
[pid=23775] ppid=23772 vsize=27424 memory=3936 CPUtime=1.49 cores=0,2,4,6
/proc/23775/stat : 23775 (cosoco) R 23772 23775 22565 0 -1 4202496 1150 0 0 0 149 0 0 0 20 0 1 0 65686877 28082176 984 33554432000 4194304 6142532 140720545035136 140720545032536 5013856 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 19599360 140720545043590 140720545043720 140720545043720 140720545046478 0
/proc/23775/statm: 6856 984 828 476 0 178 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 27424 KiB
Current children cumulated memory: 3936 KiB

[startup+3.10896 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 23776
/proc/meminfo: memFree=16083888/32770624 swapFree=67108860/67108860
[pid=23775] ppid=23772 vsize=27424 memory=3976 CPUtime=3.1 cores=0,2,4,6
/proc/23775/stat : 23775 (cosoco) R 23772 23775 22565 0 -1 4202496 1252 0 0 0 310 0 0 0 20 0 1 0 65686877 28082176 994 33554432000 4194304 6142532 140720545035136 140720545032536 5319040 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 19599360 140720545043590 140720545043720 140720545043720 140720545046478 0
/proc/23775/statm: 6856 994 830 476 0 178 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 27424 KiB
Current children cumulated memory: 3976 KiB

[startup+6.30027 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 23776
/proc/meminfo: memFree=16083824/32770624 swapFree=67108860/67108860
[pid=23775] ppid=23772 vsize=27424 memory=3976 CPUtime=6.29 cores=0,2,4,6
/proc/23775/stat : 23775 (cosoco) R 23772 23775 22565 0 -1 4202496 1354 0 0 0 629 0 0 0 20 0 1 0 65686877 28082176 994 33554432000 4194304 6142532 140720545035136 140720545032536 5018008 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 19599360 140720545043590 140720545043720 140720545043720 140720545046478 0
/proc/23775/statm: 6856 994 830 476 0 178 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 27424 KiB
Current children cumulated memory: 3976 KiB

[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 23776
/proc/meminfo: memFree=16084072/32770624 swapFree=67108860/67108860
[pid=23775] ppid=23772 vsize=27424 memory=3976 CPUtime=12.69 cores=0,2,4,6
/proc/23775/stat : 23775 (cosoco) R 23772 23775 22565 0 -1 4202496 1456 0 0 0 1269 0 0 0 20 0 1 0 65686877 28082176 994 33554432000 4194304 6142532 140720545035136 140720545032536 5333511 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 19599360 140720545043590 140720545043720 140720545043720 140720545046478 0
/proc/23775/statm: 6856 994 830 476 0 178 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 27424 KiB
Current children cumulated memory: 3976 KiB

[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 23776
/proc/meminfo: memFree=16084328/32770624 swapFree=67108860/67108860
[pid=23775] ppid=23772 vsize=27424 memory=3976 CPUtime=25.49 cores=0,2,4,6
/proc/23775/stat : 23775 (cosoco) R 23772 23775 22565 0 -1 4202496 1660 0 0 0 2549 0 0 0 20 0 1 0 65686877 28082176 994 33554432000 4194304 6142532 140720545035136 140720545032536 5326496 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 19599360 140720545043590 140720545043720 140720545043720 140720545046478 0
/proc/23775/statm: 6856 994 830 476 0 178 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 27424 KiB
Current children cumulated memory: 3976 KiB

[startup+51.109 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 23837
/proc/meminfo: memFree=16085548/32770624 swapFree=67108860/67108860
[pid=23775] ppid=23772 vsize=27424 memory=3976 CPUtime=51.09 cores=0,2,4,6
/proc/23775/stat : 23775 (cosoco) R 23772 23775 22565 0 -1 4202496 1762 0 0 0 5109 0 0 0 20 0 1 0 65686877 28082176 994 33554432000 4194304 6142532 140720545035136 140720545032536 5013864 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 19599360 140720545043590 140720545043720 140720545043720 140720545046478 0
/proc/23775/statm: 6856 994 830 476 0 178 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 27424 KiB
Current children cumulated memory: 3976 KiB

[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 23838
/proc/meminfo: memFree=16085496/32770624 swapFree=67108860/67108860
[pid=23775] ppid=23772 vsize=27424 memory=3976 CPUtime=102.28 cores=0,2,4,6
/proc/23775/stat : 23775 (cosoco) R 23772 23775 22565 0 -1 4202496 1864 0 0 0 10228 0 0 0 20 0 1 0 65686877 28082176 994 33554432000 4194304 6142532 140720545035136 140720545032536 4991157 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 19599360 140720545043590 140720545043720 140720545043720 140720545046478 0
/proc/23775/statm: 6856 994 830 476 0 178 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 27424 KiB
Current children cumulated memory: 3976 KiB

[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 23839
/proc/meminfo: memFree=16085376/32770624 swapFree=67108860/67108860
[pid=23775] ppid=23772 vsize=27424 memory=3976 CPUtime=162.28 cores=0,2,4,6
/proc/23775/stat : 23775 (cosoco) R 23772 23775 22565 0 -1 4202496 1966 0 0 0 16228 0 0 0 20 0 1 0 65686877 28082176 994 33554432000 4194304 6142532 140720545035136 140720545032536 5013902 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 19599360 140720545043590 140720545043720 140720545043720 140720545046478 0
/proc/23775/statm: 6856 994 830 476 0 178 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 27424 KiB
Current children cumulated memory: 3976 KiB

[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 23840
/proc/meminfo: memFree=16085104/32770624 swapFree=67108860/67108860
[pid=23775] ppid=23772 vsize=27424 memory=3976 CPUtime=222.27 cores=0,2,4,6
/proc/23775/stat : 23775 (cosoco) R 23772 23775 22565 0 -1 4202496 2068 0 0 0 22227 0 0 0 20 0 1 0 65686877 28082176 994 33554432000 4194304 6142532 140720545035136 140720545032536 5336586 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 19599360 140720545043590 140720545043720 140720545043720 140720545046478 0
/proc/23775/statm: 6856 994 830 476 0 178 0
Current children cumulated CPU time: 222.27 s
Current children cumulated vsize: 27424 KiB
Current children cumulated memory: 3976 KiB

[startup+282.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/188 23841
/proc/meminfo: memFree=16085132/32770624 swapFree=67108860/67108860
[pid=23775] ppid=23772 vsize=27424 memory=3976 CPUtime=282.27 cores=0,2,4,6
/proc/23775/stat : 23775 (cosoco) R 23772 23775 22565 0 -1 4202496 2170 0 0 0 28227 0 0 0 20 0 1 0 65686877 28082176 994 33554432000 4194304 6142532 140720545035136 140720545032536 5017906 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 19599360 140720545043590 140720545043720 140720545043720 140720545046478 0
/proc/23775/statm: 6856 994 830 476 0 178 0
Current children cumulated CPU time: 282.27 s
Current children cumulated vsize: 27424 KiB
Current children cumulated memory: 3976 KiB

[startup+342.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/188 23842
/proc/meminfo: memFree=16085092/32770624 swapFree=67108860/67108860
[pid=23775] ppid=23772 vsize=27424 memory=3976 CPUtime=342.26 cores=0,2,4,6
/proc/23775/stat : 23775 (cosoco) R 23772 23775 22565 0 -1 4202496 2272 0 0 0 34226 0 0 0 20 0 1 0 65686877 28082176 994 33554432000 4194304 6142532 140720545035136 140720545032536 5017895 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 19599360 140720545043590 140720545043720 140720545043720 140720545046478 0
/proc/23775/statm: 6856 994 830 476 0 178 0
Current children cumulated CPU time: 342.26 s
Current children cumulated vsize: 27424 KiB
Current children cumulated memory: 3976 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 23848
/proc/meminfo: memFree=16085232/32770624 swapFree=67108860/67108860
[pid=23775] ppid=23772 vsize=27424 memory=3976 CPUtime=402.26 cores=0,2,4,6
/proc/23775/stat : 23775 (cosoco) R 23772 23775 22565 0 -1 4202496 2374 0 0 0 40226 0 0 0 20 0 1 0 65686877 28082176 994 33554432000 4194304 6142532 140720545035136 140720545032536 5347469 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 19599360 140720545043590 140720545043720 140720545043720 140720545046478 0
/proc/23775/statm: 6856 994 830 476 0 178 0
Current children cumulated CPU time: 402.26 s
Current children cumulated vsize: 27424 KiB
Current children cumulated memory: 3976 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 23849
/proc/meminfo: memFree=16085356/32770624 swapFree=67108860/67108860
[pid=23775] ppid=23772 vsize=27424 memory=3976 CPUtime=462.25 cores=0,2,4,6
/proc/23775/stat : 23775 (cosoco) R 23772 23775 22565 0 -1 4202496 2476 0 0 0 46225 0 0 0 20 0 1 0 65686877 28082176 994 33554432000 4194304 6142532 140720545035136 140720545032536 5335934 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 19599360 140720545043590 140720545043720 140720545043720 140720545046478 0
/proc/23775/statm: 6856 994 830 476 0 178 0
Current children cumulated CPU time: 462.25 s
Current children cumulated vsize: 27424 KiB
Current children cumulated memory: 3976 KiB


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

/proc/23775/statm: 6856 994 830 476 0 178 0
Current children cumulated CPU time: 1722.15 s
Current children cumulated vsize: 27424 KiB
Current children cumulated memory: 3976 KiB

[startup+1782.3 s]
/proc/loadavg: 2.10 2.04 2.05 3/189 23928
/proc/meminfo: memFree=16084112/32770624 swapFree=67108860/67108860
[pid=23775] ppid=23772 vsize=27424 memory=3976 CPUtime=1782.15 cores=0,2,4,6
/proc/23775/stat : 23775 (cosoco) R 23772 23775 22565 0 -1 4202496 4612 0 0 0 178215 0 0 0 20 0 1 0 65686877 28082176 994 33554432000 4194304 6142532 140720545035136 140720545032536 5326344 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 19599360 140720545043590 140720545043720 140720545043720 140720545046478 0
/proc/23775/statm: 6856 994 830 476 0 178 0
Current children cumulated CPU time: 1782.15 s
Current children cumulated vsize: 27424 KiB
Current children cumulated memory: 3976 KiB

[startup+1842.3 s]
/proc/loadavg: 2.07 2.05 2.05 3/189 23929
/proc/meminfo: memFree=16083976/32770624 swapFree=67108860/67108860
[pid=23775] ppid=23772 vsize=27424 memory=3976 CPUtime=1842.14 cores=0,2,4,6
/proc/23775/stat : 23775 (cosoco) R 23772 23775 22565 0 -1 4202496 4702 0 0 0 184214 0 0 0 20 0 1 0 65686877 28082176 994 33554432000 4194304 6142532 140720545035136 140720545032536 5013968 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 19599360 140720545043590 140720545043720 140720545043720 140720545046478 0
/proc/23775/statm: 6856 994 830 476 0 178 0
Current children cumulated CPU time: 1842.14 s
Current children cumulated vsize: 27424 KiB
Current children cumulated memory: 3976 KiB

[startup+1902.3 s]
/proc/loadavg: 2.06 2.05 2.05 3/189 23930
/proc/meminfo: memFree=16084272/32770624 swapFree=67108860/67108860
[pid=23775] ppid=23772 vsize=27424 memory=3976 CPUtime=1902.14 cores=0,2,4,6
/proc/23775/stat : 23775 (cosoco) R 23772 23775 22565 0 -1 4202496 4804 0 0 0 190214 0 0 0 20 0 1 0 65686877 28082176 994 33554432000 4194304 6142532 140720545035136 140720545032536 5318987 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 19599360 140720545043590 140720545043720 140720545043720 140720545046478 0
/proc/23775/statm: 6856 994 830 476 0 178 0
Current children cumulated CPU time: 1902.14 s
Current children cumulated vsize: 27424 KiB
Current children cumulated memory: 3976 KiB

[startup+1962.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/189 23931
/proc/meminfo: memFree=16084032/32770624 swapFree=67108860/67108860
[pid=23775] ppid=23772 vsize=27424 memory=3976 CPUtime=1962.13 cores=0,2,4,6
/proc/23775/stat : 23775 (cosoco) R 23772 23775 22565 0 -1 4202496 4894 0 0 0 196213 0 0 0 20 0 1 0 65686877 28082176 994 33554432000 4194304 6142532 140720545035136 140720545032536 5017431 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 19599360 140720545043590 140720545043720 140720545043720 140720545046478 0
/proc/23775/statm: 6856 994 830 476 0 178 0
Current children cumulated CPU time: 1962.13 s
Current children cumulated vsize: 27424 KiB
Current children cumulated memory: 3976 KiB

[startup+2022.3 s]
/proc/loadavg: 2.05 2.05 2.05 3/189 23932
/proc/meminfo: memFree=16084168/32770624 swapFree=67108860/67108860
[pid=23775] ppid=23772 vsize=27424 memory=3976 CPUtime=2022.13 cores=0,2,4,6
/proc/23775/stat : 23775 (cosoco) R 23772 23775 22565 0 -1 4202496 4984 0 0 0 202213 0 0 0 20 0 1 0 65686877 28082176 994 33554432000 4194304 6142532 140720545035136 140720545032536 5347422 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 19599360 140720545043590 140720545043720 140720545043720 140720545046478 0
/proc/23775/statm: 6856 994 830 476 0 178 0
Current children cumulated CPU time: 2022.13 s
Current children cumulated vsize: 27424 KiB
Current children cumulated memory: 3976 KiB

[startup+2082.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/187 23933
/proc/meminfo: memFree=16083848/32770624 swapFree=67108860/67108860
[pid=23775] ppid=23772 vsize=27424 memory=3976 CPUtime=2082.12 cores=0,2,4,6
/proc/23775/stat : 23775 (cosoco) R 23772 23775 22565 0 -1 4202496 5086 0 0 0 208212 0 0 0 20 0 1 0 65686877 28082176 994 33554432000 4194304 6142532 140720545035136 140720545032536 5013936 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 19599360 140720545043590 140720545043720 140720545043720 140720545046478 0
/proc/23775/statm: 6856 994 830 476 0 178 0
Current children cumulated CPU time: 2082.12 s
Current children cumulated vsize: 27424 KiB
Current children cumulated memory: 3976 KiB

[startup+2142.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/187 23934
/proc/meminfo: memFree=16084096/32770624 swapFree=67108860/67108860
[pid=23775] ppid=23772 vsize=27424 memory=3976 CPUtime=2142.12 cores=0,2,4,6
/proc/23775/stat : 23775 (cosoco) R 23772 23775 22565 0 -1 4202496 5176 0 0 0 214212 0 0 0 20 0 1 0 65686877 28082176 994 33554432000 4194304 6142532 140720545035136 140720545032536 5017553 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 19599360 140720545043590 140720545043720 140720545043720 140720545046478 0
/proc/23775/statm: 6856 994 830 476 0 178 0
Current children cumulated CPU time: 2142.12 s
Current children cumulated vsize: 27424 KiB
Current children cumulated memory: 3976 KiB

[startup+2202.3 s]
/proc/loadavg: 2.45 2.16 2.09 3/189 23944
/proc/meminfo: memFree=16082924/32770624 swapFree=67108860/67108860
[pid=23775] ppid=23772 vsize=27424 memory=3976 CPUtime=2202.11 cores=0,2,4,6
/proc/23775/stat : 23775 (cosoco) R 23772 23775 22565 0 -1 4202496 5266 0 0 0 220211 0 0 0 20 0 1 0 65686877 28082176 994 33554432000 4194304 6142532 140720545035136 140720545032536 5013856 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 19599360 140720545043590 140720545043720 140720545043720 140720545046478 0
/proc/23775/statm: 6856 994 830 476 0 178 0
Current children cumulated CPU time: 2202.11 s
Current children cumulated vsize: 27424 KiB
Current children cumulated memory: 3976 KiB

[startup+2262.3 s]
/proc/loadavg: 2.17 2.13 2.08 3/189 23945
/proc/meminfo: memFree=16083412/32770624 swapFree=67108860/67108860
[pid=23775] ppid=23772 vsize=27424 memory=3976 CPUtime=2262.11 cores=0,2,4,6
/proc/23775/stat : 23775 (cosoco) R 23772 23775 22565 0 -1 4202496 5368 0 0 0 226211 0 0 0 20 0 1 0 65686877 28082176 994 33554432000 4194304 6142532 140720545035136 140720545032536 5013856 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 19599360 140720545043590 140720545043720 140720545043720 140720545046478 0
/proc/23775/statm: 6856 994 830 476 0 178 0
Current children cumulated CPU time: 2262.11 s
Current children cumulated vsize: 27424 KiB
Current children cumulated memory: 3976 KiB

[startup+2322.3 s]
/proc/loadavg: 2.06 2.11 2.08 3/189 23946
/proc/meminfo: memFree=16083668/32770624 swapFree=67108860/67108860
[pid=23775] ppid=23772 vsize=27424 memory=3976 CPUtime=2322.1 cores=0,2,4,6
/proc/23775/stat : 23775 (cosoco) R 23772 23775 22565 0 -1 4202496 5458 0 0 0 232210 0 0 0 20 0 1 0 65686877 28082176 994 33554432000 4194304 6142532 140720545035136 140720545032536 5335940 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 19599360 140720545043590 140720545043720 140720545043720 140720545046478 0
/proc/23775/statm: 6856 994 830 476 0 178 0
Current children cumulated CPU time: 2322.1 s
Current children cumulated vsize: 27424 KiB
Current children cumulated memory: 3976 KiB

[startup+2382.3 s]
/proc/loadavg: 2.02 2.09 2.07 3/189 23947
/proc/meminfo: memFree=16083368/32770624 swapFree=67108860/67108860
[pid=23775] ppid=23772 vsize=27424 memory=3976 CPUtime=2382.1 cores=0,2,4,6
/proc/23775/stat : 23775 (cosoco) R 23772 23775 22565 0 -1 4202496 5548 0 0 0 238210 0 0 0 20 0 1 0 65686877 28082176 994 33554432000 4194304 6142532 140720545035136 140720545032536 5013950 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 19599360 140720545043590 140720545043720 140720545043720 140720545046478 0
/proc/23775/statm: 6856 994 830 476 0 178 0
Current children cumulated CPU time: 2382.1 s
Current children cumulated vsize: 27424 KiB
Current children cumulated memory: 3976 KiB

[startup+2442.3 s]
/proc/loadavg: 2.01 2.07 2.07 3/189 23948
/proc/meminfo: memFree=16083988/32770624 swapFree=67108860/67108860
[pid=23775] ppid=23772 vsize=27424 memory=3976 CPUtime=2442.1 cores=0,2,4,6
/proc/23775/stat : 23775 (cosoco) R 23772 23775 22565 0 -1 4202496 5638 0 0 0 244210 0 0 0 20 0 1 0 65686877 28082176 994 33554432000 4194304 6142532 140720545035136 140720545032536 5347481 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 19599360 140720545043590 140720545043720 140720545043720 140720545046478 0
/proc/23775/statm: 6856 994 830 476 0 178 0
Current children cumulated CPU time: 2442.1 s
Current children cumulated vsize: 27424 KiB
Current children cumulated memory: 3976 KiB

[startup+2502.3 s]
/proc/loadavg: 2.00 2.06 2.06 3/187 23950
/proc/meminfo: memFree=16084124/32770624 swapFree=67108860/67108860
[pid=23775] ppid=23772 vsize=27424 memory=3976 CPUtime=2502.09 cores=0,2,4,6
/proc/23775/stat : 23775 (cosoco) R 23772 23775 22565 0 -1 4202496 5740 0 0 0 250209 0 0 0 20 0 1 0 65686877 28082176 994 33554432000 4194304 6142532 140720545035136 140720545032536 5017990 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 19599360 140720545043590 140720545043720 140720545043720 140720545046478 0
/proc/23775/statm: 6856 994 830 476 0 178 0
Current children cumulated CPU time: 2502.09 s
Current children cumulated vsize: 27424 KiB
Current children cumulated memory: 3976 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 2.00 2.06 2.06 3/187 23950
/proc/meminfo: memFree=16084372/32770624 swapFree=67108860/67108860
[pid=23775] ppid=23772 vsize=27424 memory=3976 CPUtime=2519.8 cores=0,2,4,6
/proc/23775/stat : 23775 (cosoco) R 23772 23775 22565 0 -1 4202496 5830 0 0 0 251980 0 0 0 20 0 1 0 65686877 28082176 994 33554432000 4194304 6142532 140720545035136 140720545032536 5329971 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 19599360 140720545043590 140720545043720 140720545043720 140720545046478 0
/proc/23775/statm: 6856 994 830 476 0 178 0
Current children cumulated CPU time: 2519.8 s
Current children cumulated vsize: 27424 KiB
Current children cumulated memory: 3976 KiB

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

[startup+2520.01 s]
# the end of solver process 23775 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2519.8 s, system=0.005999 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.81
CPU user time (s): 2519.8
CPU system time (s): 0.005999
CPU usage (%): 99.992
Max. virtual memory (cumulated for all children) (KiB): 27424
Max. memory (cumulated for all children) (KiB): 3976

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.8
system time used= 0.005999
maximum resident set size= 4040
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5878
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= 15
involuntary context switches= 3152


# summary of solver processes directly reported to runsolver:
#   pid: 23775
#   total CPU time (s): 2519.81
#   total CPU user time (s): 2519.8
#   total CPU system time (s): 0.005999

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.99101 second user time and 15.9497 second system time

The end

Launcher Data 

Begin job on node150 at 2018-07-25 03:13:56
IDJOB=4294627
IDBENCH=141404
IDSOLVER=2752
FILE ID=node150/4294627-1532481236
RUNJOBID= node150-1532470521-22596
PBS_JOBID= 21021585
Free space on /tmp= 53104 MiB

SOLVER NAME= cosoco 1.12
BENCH NAME= XCSP18/Dubois/Dubois-040_c18.xml
COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4294627-1532481236/watcher-4294627-1532481236 -o /tmp/evaluation-result-4294627-1532481236/solver-4294627-1532481236 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1532470521-22596 --watchdog 2580  HOME/cosoco -lc -model -restarts HOME/instance-4294627-1532481236.xml

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

MD5SUM BENCH= 45809745b970e21e8f924050121658bf
RANDOM SEED=1089739183

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:        16084672 kB
MemAvailable:   31936640 kB
Buffers:          236776 kB
Cached:         15700072 kB
SwapCached:            0 kB
Active:          1576524 kB
Inactive:       14414732 kB
Active(anon):      13064 kB
Inactive(anon):    61424 kB
Active(file):    1563460 kB
Inactive(file): 14353308 kB
Unevictable:        7756 kB
Mlocked:            7756 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              2744 kB
Writeback:             0 kB
AnonPages:         62064 kB
Mapped:            40488 kB
Shmem:             17064 kB
Slab:             390396 kB
SReclaimable:     363660 kB
SUnreclaim:        26736 kB
KernelStack:        3360 kB
PageTables:         5152 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     346156 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= 53100 MiB
End job on node150 at 2018-07-25 03:55:56