Trace number 4299119

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
cosoco 1.12? (TO) 2520.07 2520.01

General information on the benchmark

NameQuasigroups_mini/
QuasiGroup-v7-16_mini_c18.xml
MD5SUM90b0ae5457c21a968d0990b7ba14ba70
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 benchmark1.06797
Satisfiable
(Un)Satisfiability was proved
Number of variables512
Number of constraints528
Number of domains1
Minimum domain size16
Maximum domain size16
Distribution of domain sizes[{"size":16,"count":496}]
Minimum variable degree0
Maximum variable degree34
Distribution of variable degrees[{"degree":0,"count":16},{"degree":2,"count":240},{"degree":33,"count":16},{"degree":34,"count":240}]
Minimum constraint arity1
Maximum constraint arity18
Distribution of constraint arities[{"arity":1,"count":16},{"arity":16,"count":32},{"arity":18,"count":480}]
Number of extensional constraints0
Number of intensional constraints16
Distribution of constraint types[{"type":"intension","count":16},{"type":"allDifferent","count":32},{"type":"element","count":480}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.02	c root propagations     : 80          
0.00/0.02	c restarts enabled, print stats at every restarts
0.00/0.02	c
0.00/0.02	c
0.00/0.02	c
0.00/0.02	c This is cosoco 1.12 --  
0.00/0.02	c
0.00/0.02	c command line: HOME/cosoco -lc -model -restarts HOME/instance-4299119-1532787753.xml 
0.00/0.02	c ========================================[ Problem Statistics ]===========================================
0.00/0.02	c |                                                                                                       
0.00/0.02	c |  Parse time        :         0.02 s 
0.00/0.02	c |
0.00/0.02	c |               Variables: 512
0.00/0.02	c |            Domain Sizes: 16..16
0.00/0.02	c |
0.00/0.02	c |             Constraints: 528
0.00/0.02	c |                   Arity: 1..18  -- Unary: 16
0.00/0.02	c | 
0.00/0.02	c |                   Types: 
0.00/0.02	c |                          All Different: 32
0.00/0.02	c |                          Element Variable: 480
0.00/0.02	c |                          Unary: 16
0.00/0.02	c |                          
0.00/0.02	c =========================================================================================================
0.00/0.02	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
0.00/0.02	c remove useless variable y[0][0]
0.00/0.02	c remove useless variable y[1][1]
0.00/0.02	c remove useless variable y[2][2]
0.00/0.02	c remove useless variable y[3][3]
0.00/0.02	c remove useless variable y[4][4]
0.00/0.02	c remove useless variable y[5][5]
0.00/0.02	c remove useless variable y[6][6]
0.00/0.02	c remove useless variable y[7][7]
0.00/0.02	c remove useless variable y[8][8]
0.00/0.02	c remove useless variable y[9][9]
0.00/0.02	c remove useless variable y[10][10]
0.00/0.02	c remove useless variable y[11][11]
0.00/0.02	c remove useless variable y[12][12]
0.00/0.02	c remove useless variable y[13][13]
0.00/0.02	c remove useless variable y[14][14]
0.00/0.02	c remove useless variable y[15][15]
0.00/0.04	c 101            294            41276          11236          74             0              92   125   113 
0.00/0.07	c 211            731            110491         26058          74             0              29   64   44   
0.10/0.11	c 332            1161           181348         45029          74             0              77   127   110 
0.10/0.15	c 465            1680           259947         66534          74             0              72   102   85  
0.10/0.20	c 611            2191           354069         94366          74             0              75   115   95  
0.21/0.24	c 771            2657           430323         115950         74             0              58   105   91  
0.21/0.30	c 947            3190           556828         155118         74             0              54   109   94  
0.31/0.35	c 1140           3829           664988         182761         74             0              36   108   93  
0.41/0.41	c 1352           4519           790678         215779         74             0              39   107   90  
0.41/0.45	c 1585           5039           864066         239490         74             0              51   114   101 
0.51/0.54	c 1841           5886           1032146        283979         74             0              63   88   71   
0.51/0.59	c 2122           6551           1125482        312375         74             0              62   72   67   
0.60/0.66	c 2431           7307           1274274        354834         74             0              69   100   92  
0.69/0.74	c 2770           8404           1450869        404243         74             0              44   118   97  
0.79/0.83	c 3142           9351           1619588        455204         74             0              60   73   64   
0.89/0.93	c 3551           10422          1820456        519579         74             0              67   111   94  
1.00/1.03	c 4000           11505          2019550        587646         74             0              47   106   87  
1.10/1.15	c 4493           12681          2244450        661021         74             0              51   111   97  
1.29/1.30	c 5035           14849          2549609        744605         74             0              49   81   63   
1.39/1.46	c 5631           16392          2860347        875419         74             0              74   120   110 
1.59/1.62	c 6286           18525          3189929        986726         74             0              38   118   99  
1.69/1.78	c 7006           20389          3518229        1089015        74             0              69   118   103 
1.89/1.94	c 7798           22339          3832154        1189260        74             0              72   112   94  
2.10/2.16	c 8669           24403          4275881        1356347        74             0              40   117   106 
2.39/2.40	c 9627           27075          4762612        1524163        74             0              44   120   103 
2.59/2.65	c 10680          29694          5256679        1689661        74             0              58   116   100 
2.89/2.92	c 11838          33023          5820902        1879441        74             0              17   123   100 
3.19/3.22	c 13111          36147          6438515        2089751        74             0              61   114   94  
3.39/3.47	c 14511          39021          6941475        2350667        74             0              34   113   95  
3.69/3.71	c 16051          42116          7432989        2534953        74             0              68   110   94  
3.89/3.98	c 17745          45782          7983780        2723177        74             0              49   108   81  
4.39/4.43	c 19608          50892          8888578        2982467        74             0              60   117   100 
4.89/4.90	c 21657          56821          9848343        3272188        74             0              64   125   96  
5.49/5.54	c 23910          62976          11129524       3738007        74             0              65   118   102 
6.10/6.17	c 26388          69696          12430527       4160436        74             0              36   120   100 
6.69/6.71	c 29113          76287          13542277       4498322        74             0              36   119   101 
7.29/7.39	c 32110          83605          14909719       5025792        74             0              66   113   94  
8.10/8.14	c 35406          92075          16457808       5523676        74             0              40   111   88  
9.00/9.02	c 39031          102250         18193812       6075031        74             0              54   118   99  
10.00/10.02	c 43018          113022         20253949       6726898        74             0              40   121   103 
11.00/11.02	c 47403          124666         22295577       7363030        74             0              33   119   100 
12.10/12.18	c 52226          138861         24612262       8113613        74             0              50   114   78  
13.19/13.26	c 57531          153334         26663943       8746228        74             0              37   75   66   
14.29/14.39	c 63366          168622         29031160       9674195        74             0              56   122   106 
16.10/16.18	c 69784          188793         32683728       10832450       74             0              74   118   98  
17.79/17.83	c 76843          209316         36107945       11961533       74             0              55   117   90  
19.39/19.45	c 84607          231365         39391497       13131124       74             0              53   104   81  
21.00/21.01	c 93147          249188         42562496       14592255       74             0              41   120   104 
23.19/23.26	c 102541         274763         47033571       16196905       74             0              45   103   84  
25.39/25.49	c 112874         303551         51431759       17668344       74             0              50   90   67   
27.18/27.27	c 124240         327610         55120848       19320063       74             0              35   119   98  
29.68/29.71	c 136742         359444         60268208       21119795       74             0              76   123   93  
31.99/32.09	c 150494         387653         65217679       22874843       74             0              62   119   94  
35.09/35.11	c 165621         421372         71540250       25101556       74             0              71   111   86  
39.48/39.52	c 182260         480984         79995093       28775408       74             0              50   89   60   
43.58/43.61	c 200562         524640         88404085       31720440       74             0              49   118   93  
47.88/47.91	c 220694         571483         97141838       35321126       74             0              38   110   93  
53.58/53.67	c 242839         629803         108706264      40184572       74             0              59   109   90  
58.18/58.28	c 267198         692441         117605646      42689722       74             0              49   89   58   
62.99/63.07	c 293992         761158         127211196      45131197       74             0              42   100   59  
69.18/69.22	c 323465         834611         139383086      47560970       74             0              40   68   46   
76.48/76.52	c 355885         913973         154546773      52654249       74             0              38   105   84  
83.18/83.26	c 391547         990733         168162906      56893910       74             0              37   108   83  
90.58/90.62	c 430775         1077461        183417639      62949161       74             0              67   129   104 
101.99/102.02	c 473925         1212453        205791041      69844176       74             0              45   82   62   
114.68/114.77	c 521390         1340595        231599810      79655637       74             0              41   122   97  
125.47/125.54	c 573601         1468600        253712821      86957573       74             0              68   119   94  
137.57/137.61	c 631033         1607533        278740607      94877646       74             0              52   126   99  
151.17/151.20	c 694208         1760586        306806376      105272386      74             0              72   136   106 
163.27/163.34	c 763700         1912943        332283488      114566224      74             0              53   111   86  
176.77/176.81	c 840141         2076759        360325485      124746762      74             0              47   121   94  
192.67/192.76	c 924226         2267285        393087706      136387893      74             0              35   123   93  
211.67/211.74	c 1016719        2472287        433105577      151352966      74             0              39   120   92  
232.97/233.01	c 1118461        2701339        476300319      169569276      74             0              42   120   96  
255.36/255.44	c 1230377        2968170        523047831      185065573      74             0              35   114   90  
278.36/278.44	c 1353484        3275347        570278541      202027621      74             0              35   120   95  
311.66/311.70	c 1488901        3697665        636930622      229459833      74             0              39   108   80  
342.46/342.60	c 1637859        4094545        700369300      250403995      74             0              35   121   88  
371.66/371.75	c 1801712        4465929        760127838      272016485      74             0              37   124   92  
406.65/406.70	c 1981950        4889530        832493456      298213851      74             0              57   119   93  
445.35/445.43	c 2180211        5382434        913236608      326556335      74             0              35   120   92  
481.05/481.17	c 2398298        5847973        989681177      355542596      74             0              74   117   92  
526.14/526.27	c 2638193        6390706        1084035964     387691745      74             0              60   112   89  
580.94/581.04	c 2902077        7050165        1200149886     427019601      74             0              78   121   95  
641.93/642.04	c 3192349        7812916        1326624305     475549970      74             0              40   116   89  
707.62/707.75	c 3511648        8589788        1463602782     527027041      74             0              46   126   99  
800.31/800.48	c 3862876        9563618        1655874319     596778807      74             0              69   122   90  
875.82/876.00	c 4249226        10571260       1815296123     656497049      74             0              45   117   90  
991.83/991.92	c 4674211        11816580       2057814442     737260319      74             0              65   116   92  
1103.74/1103.85	c 5141694        13115702       2289295227     814814733      74             0              53   119   92  
1206.44/1206.53	c 5655925        14411478       2503065537     892645393      74             0              40   126   93  
1327.75/1327.88	c 6221579        15844960       2758332206     985824561      74             0              44   114   87  
1467.07/1467.14	c 6843798        17383859       3053840868     1088099601     74             0              65   115   90  
1611.28/1611.35	c 7528238        19056895       3351438976     1197380916     74             0              74   115   91  
1771.10/1771.19	c 8281122        20880049       3681496632     1323164999     74             0              67   121   93  
1960.30/1960.34	c 9109294        23029252       4074975590     1465113281     74             0              67   128   93  
2180.72/2180.72	c 10020283       25528219       4532296575     1631869608     74             0              66   128   89  
2411.74/2411.77	c 11022370       28165916       5021966347     1800156242     74             0              51   120   89  
2520.05/2520.00	
2520.05/2520.00	c *** INTERRUPTED ***
2520.05/2520.00	c restarts              : 98          
2520.05/2520.00	c conflicts             : 11643296     (4620 /sec)
2520.05/2520.00	c decisions             : 29564185     (11732 /sec)
2520.05/2520.00	c propagations          : 1895130137  (752021 /sec)
2520.05/2520.00	c root propagations     : 80          
2520.05/2520.00	c filter calls          : 5250936040     (2083663 /sec)
2520.05/2520.00	c useless filter calls  : 4825748960     (91 %)
2520.05/2520.00	c Memory used           : 28.85 MB
2520.05/2520.00	c CPU time              : 2520.05 s
2520.05/2520.00	
2520.05/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 (13166 MiB free)
  memory of node 1: 16384 MiB (13669 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4299119-1532787753/watcher-4299119-1532787753 -o /tmp/evaluation-result-4299119-1532787753/solver-4299119-1532787753 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1532775038-27468 --watchdog 2580 HOME/cosoco -lc -model -restarts HOME/instance-4299119-1532787753.xml 

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

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

solver pid=28777, runsolver pid=28774

[startup+0.100105 s]*
/proc/loadavg: 2.00 2.01 2.05 3/191 28778
/proc/meminfo: memFree=27477584/32770624 swapFree=67108856/67108860
[pid=28777] ppid=28774 vsize=29404 memory=5784 CPUtime=0.1 cores=1,3,5,7
/proc/28777/stat : 28777 (cosoco) R 28774 28777 27436 0 -1 4202496 1661 0 0 0 10 0 0 0 20 0 1 0 96338486 30109696 1446 33554432000 4194304 6142532 140731593786800 140731593783432 5058744 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 9838592 140731593794694 140731593794824 140731593794824 140731593797582 0
/proc/28777/statm: 7351 1446 847 476 0 673 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 29404 KiB
Current children cumulated memory: 5784 KiB

[startup+0.209568 s]*
/proc/loadavg: 2.00 2.01 2.05 3/191 28778
/proc/meminfo: memFree=27477212/32770624 swapFree=67108856/67108860
[pid=28777] ppid=28774 vsize=29404 memory=5784 CPUtime=0.21 cores=1,3,5,7
/proc/28777/stat : 28777 (cosoco) R 28774 28777 27436 0 -1 4202496 1666 0 0 0 21 0 0 0 20 0 1 0 96338486 30109696 1446 33554432000 4194304 6142532 140731593786800 140731593783432 5053536 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 9838592 140731593794694 140731593794824 140731593794824 140731593797582 0
/proc/28777/statm: 7351 1446 847 476 0 673 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 29404 KiB
Current children cumulated memory: 5784 KiB

[startup+0.308962 s]*
/proc/loadavg: 2.00 2.01 2.05 3/191 28778
/proc/meminfo: memFree=27477212/32770624 swapFree=67108856/67108860
[pid=28777] ppid=28774 vsize=29404 memory=5784 CPUtime=0.31 cores=1,3,5,7
/proc/28777/stat : 28777 (cosoco) R 28774 28777 27436 0 -1 4202496 1668 0 0 0 31 0 0 0 20 0 1 0 96338486 30109696 1446 33554432000 4194304 6142532 140731593786800 140731593783432 5332480 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 9838592 140731593794694 140731593794824 140731593794824 140731593797582 0
/proc/28777/statm: 7351 1446 847 476 0 673 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 29404 KiB
Current children cumulated memory: 5784 KiB

[startup+0.700236 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 28778
/proc/meminfo: memFree=27476896/32770624 swapFree=67108856/67108860
[pid=28777] ppid=28774 vsize=29404 memory=6048 CPUtime=0.69 cores=1,3,5,7
/proc/28777/stat : 28777 (cosoco) R 28774 28777 27436 0 -1 4202496 1671 0 0 0 69 0 0 0 20 0 1 0 96338486 30109696 1512 33554432000 4194304 6142532 140731593786800 140731593783432 5084257 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 9838592 140731593794694 140731593794824 140731593794824 140731593797582 0
/proc/28777/statm: 7351 1512 851 476 0 673 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 29404 KiB
Current children cumulated memory: 6048 KiB

[startup+1.50028 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 28778
/proc/meminfo: memFree=27476912/32770624 swapFree=67108856/67108860
[pid=28777] ppid=28774 vsize=29404 memory=6048 CPUtime=1.49 cores=1,3,5,7
/proc/28777/stat : 28777 (cosoco) R 28774 28777 27436 0 -1 4202496 1673 0 0 0 149 0 0 0 20 0 1 0 96338486 30109696 1512 33554432000 4194304 6142532 140731593786800 140731593784200 5175056 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 9838592 140731593794694 140731593794824 140731593794824 140731593797582 0
/proc/28777/statm: 7351 1512 851 476 0 673 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 29404 KiB
Current children cumulated memory: 6048 KiB

[startup+3.10902 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 28778
/proc/meminfo: memFree=27476592/32770624 swapFree=67108856/67108860
[pid=28777] ppid=28774 vsize=29536 memory=6072 CPUtime=3.1 cores=1,3,5,7
/proc/28777/stat : 28777 (cosoco) R 28774 28777 27436 0 -1 4202496 2269 0 0 0 310 0 0 0 20 0 1 0 96338486 30244864 1518 33554432000 4194304 6142532 140731593786800 140731593784200 5084088 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 9838592 140731593794694 140731593794824 140731593794824 140731593797582 0
/proc/28777/statm: 7384 1518 851 476 0 706 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 29536 KiB
Current children cumulated memory: 6072 KiB

[startup+6.30022 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 28778
/proc/meminfo: memFree=27476468/32770624 swapFree=67108856/67108860
[pid=28777] ppid=28774 vsize=29536 memory=6076 CPUtime=6.29 cores=1,3,5,7
/proc/28777/stat : 28777 (cosoco) R 28774 28777 27436 0 -1 4202496 2865 0 0 0 629 0 0 0 20 0 1 0 96338486 30244864 1519 33554432000 4194304 6142532 140731593786800 140731593784200 4991024 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 9838592 140731593794694 140731593794824 140731593794824 140731593797582 0
/proc/28777/statm: 7384 1519 851 476 0 706 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 29536 KiB
Current children cumulated memory: 6076 KiB

[startup+12.7002 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 28778
/proc/meminfo: memFree=27476468/32770624 swapFree=67108856/67108860
[pid=28777] ppid=28774 vsize=29536 memory=6080 CPUtime=12.69 cores=1,3,5,7
/proc/28777/stat : 28777 (cosoco) R 28774 28777 27436 0 -1 4202496 3461 0 0 0 1269 0 0 0 20 0 1 0 96338486 30244864 1520 33554432000 4194304 6142532 140731593786800 140731593784200 4991065 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 9838592 140731593794694 140731593794824 140731593794824 140731593797582 0
/proc/28777/statm: 7384 1520 851 476 0 706 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 29536 KiB
Current children cumulated memory: 6080 KiB

[startup+25.5002 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 28778
/proc/meminfo: memFree=27476472/32770624 swapFree=67108856/67108860
[pid=28777] ppid=28774 vsize=29536 memory=6080 CPUtime=25.49 cores=1,3,5,7
/proc/28777/stat : 28777 (cosoco) R 28774 28777 27436 0 -1 4202496 4653 0 0 0 2549 0 0 0 20 0 1 0 96338486 30244864 1520 33554432000 4194304 6142532 140731593786800 140731593784200 5084035 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 9838592 140731593794694 140731593794824 140731593794824 140731593797582 0
/proc/28777/statm: 7384 1520 851 476 0 706 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 29536 KiB
Current children cumulated memory: 6080 KiB

[startup+51.109 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 28778
/proc/meminfo: memFree=27476308/32770624 swapFree=67108856/67108860
[pid=28777] ppid=28774 vsize=29536 memory=6084 CPUtime=51.09 cores=1,3,5,7
/proc/28777/stat : 28777 (cosoco) R 28774 28777 27436 0 -1 4202496 5251 0 0 0 5109 0 0 0 20 0 1 0 96338486 30244864 1521 33554432000 4194304 6142532 140731593786800 140731593784200 5085035 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 9838592 140731593794694 140731593794824 140731593794824 140731593797582 0
/proc/28777/statm: 7384 1521 851 476 0 706 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 29536 KiB
Current children cumulated memory: 6084 KiB

[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 28779
/proc/meminfo: memFree=27476596/32770624 swapFree=67108856/67108860
[pid=28777] ppid=28774 vsize=29536 memory=6084 CPUtime=102.28 cores=1,3,5,7
/proc/28777/stat : 28777 (cosoco) R 28774 28777 27436 0 -1 4202496 5851 0 0 0 10228 0 0 0 20 0 1 0 96338486 30244864 1521 33554432000 4194304 6142532 140731593786800 140731593784200 5060787 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 9838592 140731593794694 140731593794824 140731593794824 140731593797582 0
/proc/28777/statm: 7384 1521 851 476 0 706 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 29536 KiB
Current children cumulated memory: 6084 KiB

[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 28781
/proc/meminfo: memFree=27475760/32770624 swapFree=67108856/67108860
[pid=28777] ppid=28774 vsize=29536 memory=6096 CPUtime=162.27 cores=1,3,5,7
/proc/28777/stat : 28777 (cosoco) R 28774 28777 27436 0 -1 4202496 6453 0 0 0 16227 0 0 0 20 0 1 0 96338486 30244864 1524 33554432000 4194304 6142532 140731593786800 140731593784200 5347477 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 9838592 140731593794694 140731593794824 140731593794824 140731593797582 0
/proc/28777/statm: 7384 1524 851 476 0 706 0
Current children cumulated CPU time: 162.27 s
Current children cumulated vsize: 29536 KiB
Current children cumulated memory: 6096 KiB

[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 28784
/proc/meminfo: memFree=27475252/32770624 swapFree=67108856/67108860
[pid=28777] ppid=28774 vsize=29536 memory=6104 CPUtime=222.26 cores=1,3,5,7
/proc/28777/stat : 28777 (cosoco) R 28774 28777 27436 0 -1 4202496 7054 0 0 0 22226 0 0 0 20 0 1 0 96338486 30244864 1526 33554432000 4194304 6142532 140731593786800 140731593784200 5062247 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 9838592 140731593794694 140731593794824 140731593794824 140731593797582 0
/proc/28777/statm: 7384 1526 851 476 0 706 0
Current children cumulated CPU time: 222.26 s
Current children cumulated vsize: 29536 KiB
Current children cumulated memory: 6104 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 28785
/proc/meminfo: memFree=27475088/32770624 swapFree=67108856/67108860
[pid=28777] ppid=28774 vsize=29536 memory=6104 CPUtime=282.26 cores=1,3,5,7
/proc/28777/stat : 28777 (cosoco) R 28774 28777 27436 0 -1 4202496 7655 0 0 0 28226 0 0 0 20 0 1 0 96338486 30244864 1526 33554432000 4194304 6142532 140731593786800 140731593784200 5084188 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 9838592 140731593794694 140731593794824 140731593794824 140731593797582 0
/proc/28777/statm: 7384 1526 851 476 0 706 0
Current children cumulated CPU time: 282.26 s
Current children cumulated vsize: 29536 KiB
Current children cumulated memory: 6104 KiB

[startup+342.3 s]
/proc/loadavg: 2.15 2.05 2.06 3/192 28787
/proc/meminfo: memFree=27475444/32770624 swapFree=67108856/67108860
[pid=28777] ppid=28774 vsize=29536 memory=6104 CPUtime=342.26 cores=1,3,5,7
/proc/28777/stat : 28777 (cosoco) R 28774 28777 27436 0 -1 4202496 8256 0 0 0 34225 1 0 0 20 0 1 0 96338486 30244864 1526 33554432000 4194304 6142532 140731593786800 140731593784200 5084206 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 9838592 140731593794694 140731593794824 140731593794824 140731593797582 0
/proc/28777/statm: 7384 1526 851 476 0 706 0
Current children cumulated CPU time: 342.26 s
Current children cumulated vsize: 29536 KiB
Current children cumulated memory: 6104 KiB

[startup+402.3 s]
/proc/loadavg: 2.09 2.05 2.06 3/192 28788
/proc/meminfo: memFree=27474960/32770624 swapFree=67108856/67108860
[pid=28777] ppid=28774 vsize=29536 memory=6104 CPUtime=402.25 cores=1,3,5,7
/proc/28777/stat : 28777 (cosoco) R 28774 28777 27436 0 -1 4202496 8857 0 0 0 40224 1 0 0 20 0 1 0 96338486 30244864 1526 33554432000 4194304 6142532 140731593786800 140731593784200 5175264 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 9838592 140731593794694 140731593794824 140731593794824 140731593797582 0
/proc/28777/statm: 7384 1526 851 476 0 706 0
Current children cumulated CPU time: 402.25 s
Current children cumulated vsize: 29536 KiB
Current children cumulated memory: 6104 KiB

[startup+462.3 s]
/proc/loadavg: 2.14 2.07 2.06 3/192 28796
/proc/meminfo: memFree=27474228/32770624 swapFree=67108856/67108860
[pid=28777] ppid=28774 vsize=29536 memory=6104 CPUtime=462.25 cores=1,3,5,7
/proc/28777/stat : 28777 (cosoco) R 28774 28777 27436 0 -1 4202496 9458 0 0 0 46224 1 0 0 20 0 1 0 96338486 30244864 1526 33554432000 4194304 6142532 140731593786800 140731593784200 5084173 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 9838592 140731593794694 140731593794824 140731593794824 140731593797582 0
/proc/28777/statm: 7384 1526 851 476 0 706 0
Current children cumulated CPU time: 462.25 s
Current children cumulated vsize: 29536 KiB
Current children cumulated memory: 6104 KiB


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

/proc/28777/statm: 7384 1526 851 476 0 706 0
Current children cumulated CPU time: 1722.28 s
Current children cumulated vsize: 29536 KiB
Current children cumulated memory: 6104 KiB

[startup+1782.3 s]
/proc/loadavg: 2.00 2.03 2.06 3/193 28840
/proc/meminfo: memFree=27474424/32770624 swapFree=67108856/67108860
[pid=28777] ppid=28774 vsize=29536 memory=6104 CPUtime=1782.29 cores=1,3,5,7
/proc/28777/stat : 28777 (cosoco) R 28774 28777 27436 0 -1 4202496 17804 0 0 0 178228 1 0 0 20 0 1 0 96338486 30244864 1526 33554432000 4194304 6142532 140731593786800 140731593784200 5055535 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 9838592 140731593794694 140731593794824 140731593794824 140731593797582 0
/proc/28777/statm: 7384 1526 851 476 0 706 0
Current children cumulated CPU time: 1782.29 s
Current children cumulated vsize: 29536 KiB
Current children cumulated memory: 6104 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/193 28841
/proc/meminfo: memFree=27474328/32770624 swapFree=67108856/67108860
[pid=28777] ppid=28774 vsize=29536 memory=6104 CPUtime=1842.29 cores=1,3,5,7
/proc/28777/stat : 28777 (cosoco) R 28774 28777 27436 0 -1 4202496 17804 0 0 0 184228 1 0 0 20 0 1 0 96338486 30244864 1526 33554432000 4194304 6142532 140731593786800 140731593784200 5084173 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 9838592 140731593794694 140731593794824 140731593794824 140731593797582 0
/proc/28777/statm: 7384 1526 851 476 0 706 0
Current children cumulated CPU time: 1842.29 s
Current children cumulated vsize: 29536 KiB
Current children cumulated memory: 6104 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/193 28842
/proc/meminfo: memFree=27474328/32770624 swapFree=67108856/67108860
[pid=28777] ppid=28774 vsize=29536 memory=6104 CPUtime=1902.3 cores=1,3,5,7
/proc/28777/stat : 28777 (cosoco) R 28774 28777 27436 0 -1 4202496 18375 0 0 0 190229 1 0 0 20 0 1 0 96338486 30244864 1526 33554432000 4194304 6142532 140731593786800 140731593784200 5058213 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 9838592 140731593794694 140731593794824 140731593794824 140731593797582 0
/proc/28777/statm: 7384 1526 851 476 0 706 0
Current children cumulated CPU time: 1902.3 s
Current children cumulated vsize: 29536 KiB
Current children cumulated memory: 6104 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 28846
/proc/meminfo: memFree=27474660/32770624 swapFree=67108856/67108860
[pid=28777] ppid=28774 vsize=29536 memory=6104 CPUtime=1962.3 cores=1,3,5,7
/proc/28777/stat : 28777 (cosoco) R 28774 28777 27436 0 -1 4202496 18405 0 0 0 196229 1 0 0 20 0 1 0 96338486 30244864 1526 33554432000 4194304 6142532 140731593786800 140731593784200 5060768 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 9838592 140731593794694 140731593794824 140731593794824 140731593797582 0
/proc/28777/statm: 7384 1526 851 476 0 706 0
Current children cumulated CPU time: 1962.3 s
Current children cumulated vsize: 29536 KiB
Current children cumulated memory: 6104 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 28847
/proc/meminfo: memFree=27474908/32770624 swapFree=67108856/67108860
[pid=28777] ppid=28774 vsize=29536 memory=6104 CPUtime=2022.31 cores=1,3,5,7
/proc/28777/stat : 28777 (cosoco) R 28774 28777 27436 0 -1 4202496 18971 0 0 0 202230 1 0 0 20 0 1 0 96338486 30244864 1526 33554432000 4194304 6142532 140731593786800 140731593784200 5175056 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 9838592 140731593794694 140731593794824 140731593794824 140731593797582 0
/proc/28777/statm: 7384 1526 851 476 0 706 0
Current children cumulated CPU time: 2022.31 s
Current children cumulated vsize: 29536 KiB
Current children cumulated memory: 6104 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 28848
/proc/meminfo: memFree=27475088/32770624 swapFree=67108856/67108860
[pid=28777] ppid=28774 vsize=29536 memory=6104 CPUtime=2082.31 cores=1,3,5,7
/proc/28777/stat : 28777 (cosoco) R 28774 28777 27436 0 -1 4202496 18971 0 0 0 208230 1 0 0 20 0 1 0 96338486 30244864 1526 33554432000 4194304 6142532 140731593786800 140731593784200 5084244 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 9838592 140731593794694 140731593794824 140731593794824 140731593797582 0
/proc/28777/statm: 7384 1526 851 476 0 706 0
Current children cumulated CPU time: 2082.31 s
Current children cumulated vsize: 29536 KiB
Current children cumulated memory: 6104 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 28850
/proc/meminfo: memFree=27475192/32770624 swapFree=67108856/67108860
[pid=28777] ppid=28774 vsize=29536 memory=6104 CPUtime=2142.32 cores=1,3,5,7
/proc/28777/stat : 28777 (cosoco) R 28774 28777 27436 0 -1 4202496 19537 0 0 0 214231 1 0 0 20 0 1 0 96338486 30244864 1526 33554432000 4194304 6142532 140731593786800 140731593784200 5058609 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 9838592 140731593794694 140731593794824 140731593794824 140731593797582 0
/proc/28777/statm: 7384 1526 851 476 0 706 0
Current children cumulated CPU time: 2142.32 s
Current children cumulated vsize: 29536 KiB
Current children cumulated memory: 6104 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 28851
/proc/meminfo: memFree=27474792/32770624 swapFree=67108856/67108860
[pid=28777] ppid=28774 vsize=29536 memory=6104 CPUtime=2202.32 cores=1,3,5,7
/proc/28777/stat : 28777 (cosoco) R 28774 28777 27436 0 -1 4202496 19572 0 0 0 220231 1 0 0 20 0 1 0 96338486 30244864 1526 33554432000 4194304 6142532 140731593786800 140731593784200 5175056 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 9838592 140731593794694 140731593794824 140731593794824 140731593797582 0
/proc/28777/statm: 7384 1526 851 476 0 706 0
Current children cumulated CPU time: 2202.32 s
Current children cumulated vsize: 29536 KiB
Current children cumulated memory: 6104 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 28860
/proc/meminfo: memFree=27474084/32770624 swapFree=67108856/67108860
[pid=28777] ppid=28774 vsize=29536 memory=6104 CPUtime=2262.33 cores=1,3,5,7
/proc/28777/stat : 28777 (cosoco) R 28774 28777 27436 0 -1 4202496 20138 0 0 0 226232 1 0 0 20 0 1 0 96338486 30244864 1526 33554432000 4194304 6142532 140731593786800 140731593784200 5175056 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 9838592 140731593794694 140731593794824 140731593794824 140731593797582 0
/proc/28777/statm: 7384 1526 851 476 0 706 0
Current children cumulated CPU time: 2262.33 s
Current children cumulated vsize: 29536 KiB
Current children cumulated memory: 6104 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 28883
/proc/meminfo: memFree=27473640/32770624 swapFree=67108856/67108860
[pid=28777] ppid=28774 vsize=29536 memory=6104 CPUtime=2322.33 cores=1,3,5,7
/proc/28777/stat : 28777 (cosoco) R 28774 28777 27436 0 -1 4202496 20138 0 0 0 232232 1 0 0 20 0 1 0 96338486 30244864 1526 33554432000 4194304 6142532 140731593786800 140731593784200 5330303 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 9838592 140731593794694 140731593794824 140731593794824 140731593797582 0
/proc/28777/statm: 7384 1526 851 476 0 706 0
Current children cumulated CPU time: 2322.33 s
Current children cumulated vsize: 29536 KiB
Current children cumulated memory: 6104 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 28884
/proc/meminfo: memFree=27474616/32770624 swapFree=67108856/67108860
[pid=28777] ppid=28774 vsize=29536 memory=6104 CPUtime=2382.33 cores=1,3,5,7
/proc/28777/stat : 28777 (cosoco) R 28774 28777 27436 0 -1 4202496 20702 0 0 0 238232 1 0 0 20 0 1 0 96338486 30244864 1526 33554432000 4194304 6142532 140731593786800 140731593784200 5084572 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 9838592 140731593794694 140731593794824 140731593794824 140731593797582 0
/proc/28777/statm: 7384 1526 851 476 0 706 0
Current children cumulated CPU time: 2382.33 s
Current children cumulated vsize: 29536 KiB
Current children cumulated memory: 6104 KiB

[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 28885
/proc/meminfo: memFree=27474628/32770624 swapFree=67108856/67108860
[pid=28777] ppid=28774 vsize=29536 memory=6104 CPUtime=2442.34 cores=1,3,5,7
/proc/28777/stat : 28777 (cosoco) R 28774 28777 27436 0 -1 4202496 20740 0 0 0 244233 1 0 0 20 0 1 0 96338486 30244864 1526 33554432000 4194304 6142532 140731593786800 140731593784200 5058350 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 9838592 140731593794694 140731593794824 140731593794824 140731593797582 0
/proc/28777/statm: 7384 1526 851 476 0 706 0
Current children cumulated CPU time: 2442.34 s
Current children cumulated vsize: 29536 KiB
Current children cumulated memory: 6104 KiB

[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 28946
/proc/meminfo: memFree=27469504/32770624 swapFree=67108856/67108860
[pid=28777] ppid=28774 vsize=29536 memory=6104 CPUtime=2502.34 cores=1,3,5,7
/proc/28777/stat : 28777 (cosoco) R 28774 28777 27436 0 -1 4202496 21308 0 0 0 250233 1 0 0 20 0 1 0 96338486 30244864 1526 33554432000 4194304 6142532 140731593786800 140731593784200 5084938 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 9838592 140731593794694 140731593794824 140731593794824 140731593797582 0
/proc/28777/statm: 7384 1526 851 476 0 706 0
Current children cumulated CPU time: 2502.34 s
Current children cumulated vsize: 29536 KiB
Current children cumulated memory: 6104 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 2.00 2.01 2.05 3/192 28947
/proc/meminfo: memFree=27469264/32770624 swapFree=67108856/67108860
[pid=28777] ppid=28774 vsize=29536 memory=6104 CPUtime=2520.05 cores=1,3,5,7
/proc/28777/stat : 28777 (cosoco) R 28774 28777 27436 0 -1 4202496 21308 0 0 0 252004 1 0 0 20 0 1 0 96338486 30244864 1526 33554432000 4194304 6142532 140731593786800 140731593784200 5058255 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 9838592 140731593794694 140731593794824 140731593794824 140731593797582 0
/proc/28777/statm: 7384 1526 851 476 0 706 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 29536 KiB
Current children cumulated memory: 6104 KiB

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

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

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

Child status: 1
Real time (s): 2520.01
CPU time (s): 2520.07
CPU user time (s): 2520.05
CPU system time (s): 0.019
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 29536
Max. memory (cumulated for all children) (KiB): 6104

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2520.05
system time used= 0.019
maximum resident set size= 6168
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21356
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= 1243


# summary of solver processes directly reported to runsolver:
#   pid: 28777
#   total CPU time (s): 2520.07
#   total CPU user time (s): 2520.05
#   total CPU system time (s): 0.019

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.88093 second user time and 16.1609 second system time

The end

Launcher Data 

Begin job on node133 at 2018-07-28 16:22:33
IDJOB=4299119
IDBENCH=141297
IDSOLVER=2761
FILE ID=node133/4299119-1532787753
RUNJOBID= node133-1532775038-27468
PBS_JOBID= 21022462
Free space on /tmp= 48248 MiB

SOLVER NAME= cosoco 1.12
BENCH NAME= XCSP18/Quasigroups_mini/QuasiGroup-v7-16_mini_c18.xml
COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4299119-1532787753/watcher-4299119-1532787753 -o /tmp/evaluation-result-4299119-1532787753/solver-4299119-1532787753 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1532775038-27468 --watchdog 2580  HOME/cosoco -lc -model -restarts HOME/instance-4299119-1532787753.xml

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

MD5SUM BENCH= 90b0ae5457c21a968d0990b7ba14ba70
RANDOM SEED=818691032

node133.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.24
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.24
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.24
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.24
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:        27479868 kB
MemAvailable:   31947412 kB
Buffers:          178708 kB
Cached:          4536864 kB
SwapCached:            0 kB
Active:          2141016 kB
Inactive:        2628476 kB
Active(anon):       5392 kB
Inactive(anon):    76688 kB
Active(file):    2135624 kB
Inactive(file):  2551788 kB
Unevictable:        7100 kB
Mlocked:            7100 kB
SwapTotal:      67108860 kB
SwapFree:       67108856 kB
Dirty:              2772 kB
Writeback:             0 kB
AnonPages:         61668 kB
Mapped:            42916 kB
Shmem:             25244 kB
Slab:             219832 kB
SReclaimable:     191936 kB
SUnreclaim:        27896 kB
KernelStack:        3376 kB
PageTables:         5260 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     354136 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      6144 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      116096 kB
DirectMap2M:    33429504 kB

Free space on /tmp at the end= 48244 MiB
End job on node133 at 2018-07-28 17:04:33