Trace number 4295873

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

General information on the benchmark

NameQuasigroups/
QuasiGroup-7-16_c18.xml
MD5SUMfff017207be5e3895e33195d340205a8
Bench CategoryCSP (decision problem)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables512
Number of constraints482
Number of domains1
Minimum domain size16
Maximum domain size16
Distribution of domain sizes[{"size":16,"count":496}]
Minimum variable degree0
Maximum variable degree33
Distribution of variable degrees[{"degree":0,"count":16},{"degree":2,"count":240},{"degree":32,"count":16},{"degree":33,"count":240}]
Minimum constraint arity16
Maximum constraint arity256
Distribution of constraint arities[{"arity":16,"count":1},{"arity":18,"count":480},{"arity":256,"count":1}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"allDifferent","count":1},{"type":"instantiation","count":1},{"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-4295873-1532593461.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            41193          11235          74             0              92   125   113 
0.00/0.07	c 211            584            84560          18355          74             0              47   52   50   
0.00/0.10	c 332            1015           153604         31822          74             0              43   52   47   
0.10/0.14	c 465            1479           232718         58029          74             0              66   110   91  
0.10/0.18	c 611            1920           301020         95342          74             0              72   113   103 
0.20/0.22	c 771            2367           388660         124910         74             0              92   118   108 
0.20/0.26	c 947            2879           462661         139124         74             0              37   51   43   
0.20/0.30	c 1140           3341           535138         151170         74             0              42   46   45   
0.30/0.35	c 1352           4121           644347         188603         74             0              47   111   89  
0.30/0.40	c 1585           4724           737179         204414         74             0              46   52   50   
0.40/0.45	c 1841           5354           841533         238783         74             0              42   104   77  
0.50/0.51	c 2122           6399           968788         272415         74             0              44   73   53   
0.50/0.57	c 2431           7124           1082471        293590         74             0              42   46   45   
0.60/0.64	c 2770           7936           1210155        316905         74             0              41   45   44   
0.69/0.71	c 3142           8990           1347777        349405         74             0              44   45   44   
0.69/0.78	c 3551           9956           1489145        381061         74             0              30   45   37   
0.79/0.86	c 4000           11234          1640743        420196         74             0              44   45   44   
0.89/0.92	c 4493           12135          1760784        468992         74             0              45   91   83   
1.00/1.05	c 5035           14271          2021321        546169         74             0              39   73   56   
1.10/1.14	c 5631           15430          2207295        619544         74             0              45   87   80   
1.19/1.24	c 6286           16959          2399349        660658         74             0              42   46   45   
1.29/1.37	c 7006           18536          2666900        770437         74             0              39   113   80  
1.59/1.60	c 7798           20719          3123868        906883         74             0              43   121   95  
1.69/1.78	c 8669           23175          3490720        1028496        74             0              41   111   76  
1.89/1.95	c 9627           25544          3839696        1176101        74             0              41   108   90  
2.10/2.11	c 10680          27997          4157376        1243437        74             0              44   49   48   
2.29/2.34	c 11838          31169          4611327        1378354        74             0              39   106   70  
2.49/2.54	c 13111          34257          5025679        1464806        74             0              39   99   52   
2.69/2.78	c 14511          37460          5469338        1590367        74             0              29   34   33   
3.00/3.03	c 16051          41003          5959607        1699469        74             0              41   103   52  
3.39/3.42	c 17745          45917          6756981        1961472        74             0              61   117   97  
3.79/3.87	c 19608          50931          7675062        2252437        74             0              48   105   86  
4.29/4.37	c 21657          56486          8642487        2709258        74             0              60   126   95  
4.79/4.84	c 23910          62025          9628851        3061701        74             0              55   119   100 
5.29/5.36	c 26388          68842          10692187       3448454        74             0              78   122   101 
5.89/5.96	c 29113          75911          11923454       3920820        74             0              59   120   98  
6.39/6.50	c 32110          83060          13045147       4344294        74             0              64   129   103 
7.00/7.05	c 35406          91447          14195262       4755988        74             0              55   128   99  
7.59/7.69	c 39031          100971         15485303       5265680        74             0              46   128   107 
8.49/8.55	c 43018          111699         17265457       5907565        74             0              65   118   98  
9.39/9.42	c 47403          122948         19040916       6611700        74             0              48   126   105 
10.19/10.22	c 52226          136350         20703310       7296897        75             0              1   113   91   
11.19/11.26	c 57531          148227         22820358       8062445        75             0              49   117   98  
12.19/12.21	c 63366          164030         24390354       8953080        75             0              31   36   35   
13.49/13.50	c 69784          178759         27038904       9928319        75             0              78   133   116 
14.49/14.50	c 76843          192263         29093349       10845803       75             0              55   111   97  
16.10/16.13	c 84607          213985         32510510       12100827       75             0              36   123   100 
17.69/17.71	c 93147          234757         35805309       13348149       75             0              73   122   100 
19.89/19.91	c 102541         260217         40417201       14923682       75             0              65   110   90  
21.59/21.66	c 112874         284200         44095187       16445527       75             0              56   110   90  
23.59/23.69	c 124240         312171         48137602       18507532       75             0              45   107   90  
26.10/26.19	c 136742         344462         53334979       20449184       75             0              69   116   94  
28.89/28.97	c 150494         378851         59073067       22877563       75             0              54   118   94  
31.29/31.39	c 165621         411002         64184457       25326845       75             0              64   119   100 
35.39/35.43	c 182260         458158         72648758       28154698       75             0              76   116   95  
38.89/38.91	c 200562         499663         79868089       30796318       75             0              53   117   95  
42.79/42.80	c 220694         549161         87876220       33923501       75             0              45   116   93  
46.49/46.59	c 242839         601784         95749332       36863279       75             0              58   113   93  
51.10/51.14	c 267198         652740         105215209      40288233       75             0              28   111   89  
56.19/56.29	c 293992         715573         115984157      44046316       75             0              57   117   89  
61.69/61.77	c 323465         791321         126991421      48084427       75             0              53   102   79  
68.29/68.31	c 355885         875041         140869412      53060131       75             0              67   123   97  
77.79/77.89	c 391547         976932         160452182      61233068       75             0              57   116   95  
84.79/84.81	c 430775         1068238        175005177      66882741       75             0              70   119   96  
93.89/93.90	c 473925         1198345        193171701      73504819       75             0              56   113   71  
104.68/104.73	c 521390         1321204        215794140      81752072       75             0              71   121   94  
113.28/113.37	c 573601         1450583        233680030      88052785       75             0              55   113   84  
125.38/125.41	c 631033         1599972        258754653      97502855       75             0              74   113   91  
135.09/135.15	c 694208         1772336        276322907      105495147      75             0              32   33   32   
150.28/150.33	c 763700         1956343        307679721      117927535      75             0              72   123   97  
166.99/167.03	c 840141         2180334        341996131      130785671      75             0              43   108   80  
183.68/183.79	c 924226         2390768        376193941      147749736      75             0              68   120   95  
214.58/214.67	c 1016719        2815809        438261643      168791494      75             0              36   114   76  
238.58/238.68	c 1118461        3067776        488257228      189278521      75             0              71   124   100 
259.68/259.76	c 1230377        3324017        531759021      207496488      75             0              33   119   98  
290.38/290.47	c 1353484        3652105        595636483      230483237      75             0              66   127   104 
322.78/322.89	c 1488901        3995937        662166893      256325847      75             0              44   123   98  
350.78/350.85	c 1637859        4348559        719501902      277885053      75             0              49   119   92  
382.77/382.82	c 1801712        4781511        784890962      302657473      75             0              47   116   87  
430.27/430.37	c 1981950        5414044        879426010      334010792      75             0              35   112   71  
485.57/485.65	c 2180211        5973405        991867721      373205989      75             0              75   116   95  
536.87/536.97	c 2398298        6673586        1095344919     404620410      75             0              36   120   81  
584.97/585.10	c 2638193        7232586        1196233681     443047639      75             0              80   137   115 
640.36/640.41	c 2902077        7869325        1312301091     487845476      75             0              64   128   100 
700.07/700.11	c 3192349        8644987        1437040042     535065345      75             0              55   131   99  
773.16/773.23	c 3511648        9755983        1574287522     585409986      75             0              34   92   44   
876.65/876.70	c 3862876        10896822       1788429859     658675158      75             0              40   129   96  
972.45/972.53	c 4249226        11932449       1985275295     728458216      75             0              69   129   106 
1078.65/1078.73	c 4674211        13036924       2202413203     822941460      75             0              56   126   102 
1197.95/1198.04	c 5141694        14256977       2452875854     915678502      75             0              37   140   112 
1338.54/1338.67	c 5655925        15677215       2748173820     1019181352     75             0              67   137   109 
1431.63/1431.72	c 6221579        17047512       2940603668     1099663705     75             0              61   125   93  
1558.63/1558.77	c 6843798        18661179       3205723347     1196242882     75             0              50   122   92  
1670.93/1671.08	c 7528238        20154283       3439474917     1274129395     75             0              42   112   76  
1837.72/1837.88	c 8281122        22265907       3784838738     1400656909     75             0              42   112   77  
2006.21/2006.34	c 9109294        24574155       4134619307     1512067325     75             0              47   116   77  
2245.30/2245.42	c 10020283       27127154       4633882087     1687081708     75             0              48   136   108 
2519.90/2520.00	
2519.90/2520.00	c *** INTERRUPTED ***
2519.90/2520.00	c restarts              : 97          
2519.90/2520.00	c conflicts             : 10960964     (4350 /sec)
2519.90/2520.00	c decisions             : 30425262     (12074 /sec)
2519.90/2520.00	c propagations          : 1883003681  (747252 /sec)
2519.90/2520.00	c root propagations     : 80          
2519.90/2520.00	c filter calls          : 5195179593     (2061658 /sec)
2519.90/2520.00	c useless filter calls  : 4781090935     (92 %)
2519.90/2520.00	c Memory used           : 28.72 MB
2519.90/2520.00	c CPU time              : 2519.9 s
2519.90/2520.00	
2519.90/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 (9832 MiB free)
  memory of node 1: 16384 MiB (13999 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4295873-1532593461/watcher-4295873-1532593461 -o /tmp/evaluation-result-4295873-1532593461/solver-4295873-1532593461 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1532593460-8195 --watchdog 2580 HOME/cosoco -lc -model -restarts HOME/instance-4295873-1532593461.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=8314, runsolver pid=8311

[startup+0.100111 s]*
/proc/loadavg: 1.89 2.07 2.10 3/184 8321
/proc/meminfo: memFree=24432828/32770624 swapFree=67108860/67108860
[pid=8314] ppid=8311 vsize=29272 memory=5784 CPUtime=0.1 cores=1,3,5,7
/proc/8314/stat : 8314 (cosoco) R 8311 8314 32649 0 -1 4202496 1621 0 0 0 10 0 0 0 20 0 1 0 76909398 29974528 1446 33554432000 4194304 6142532 140735959608784 140735959605416 5084029 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 11210752 140735959610502 140735959610632 140735959610632 140735959613390 0
/proc/8314/statm: 7318 1446 844 476 0 640 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 29272 KiB
Current children cumulated memory: 5784 KiB

[startup+0.209045 s]*
/proc/loadavg: 1.89 2.07 2.10 3/188 8347
/proc/meminfo: memFree=24431040/32770624 swapFree=67108860/67108860
[pid=8314] ppid=8311 vsize=29404 memory=5784 CPUtime=0.2 cores=1,3,5,7
/proc/8314/stat : 8314 (cosoco) R 8311 8314 32649 0 -1 4202496 1644 0 0 0 20 0 0 0 20 0 1 0 76909398 30109696 1446 33554432000 4194304 6142532 140735959608784 140735959605416 5062496 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 11210752 140735959610502 140735959610632 140735959610632 140735959613390 0
/proc/8314/statm: 7351 1446 844 476 0 673 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 29404 KiB
Current children cumulated memory: 5784 KiB

[startup+0.308993 s]*
/proc/loadavg: 1.89 2.07 2.10 3/188 8347
/proc/meminfo: memFree=24426808/32770624 swapFree=67108860/67108860
[pid=8314] ppid=8311 vsize=29404 memory=5784 CPUtime=0.3 cores=1,3,5,7
/proc/8314/stat : 8314 (cosoco) R 8311 8314 32649 0 -1 4202496 1645 0 0 0 30 0 0 0 20 0 1 0 76909398 30109696 1446 33554432000 4194304 6142532 140735959608784 140735959605416 5084727 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 11210752 140735959610502 140735959610632 140735959610632 140735959613390 0
/proc/8314/statm: 7351 1446 844 476 0 673 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 29404 KiB
Current children cumulated memory: 5784 KiB

[startup+0.700224 s]
/proc/loadavg: 1.89 2.07 2.10 4/188 8347
/proc/meminfo: memFree=24426808/32770624 swapFree=67108860/67108860
[pid=8314] ppid=8311 vsize=29404 memory=5784 CPUtime=0.69 cores=1,3,5,7
/proc/8314/stat : 8314 (cosoco) R 8311 8314 32649 0 -1 4202496 1646 0 0 0 69 0 0 0 20 0 1 0 76909398 30109696 1446 33554432000 4194304 6142532 140735959608784 140735959605416 5061975 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 11210752 140735959610502 140735959610632 140735959610632 140735959613390 0
/proc/8314/statm: 7351 1446 844 476 0 673 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 29404 KiB
Current children cumulated memory: 5784 KiB

[startup+1.50024 s]
/proc/loadavg: 1.89 2.07 2.10 3/188 8347
/proc/meminfo: memFree=24426084/32770624 swapFree=67108860/67108860
[pid=8314] ppid=8311 vsize=29404 memory=5784 CPUtime=1.49 cores=1,3,5,7
/proc/8314/stat : 8314 (cosoco) R 8311 8314 32649 0 -1 4202496 1649 0 0 0 149 0 0 0 20 0 1 0 76909398 30109696 1446 33554432000 4194304 6142532 140735959608784 140735959606184 5175070 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 11210752 140735959610502 140735959610632 140735959610632 140735959613390 0
/proc/8314/statm: 7351 1446 844 476 0 673 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 29404 KiB
Current children cumulated memory: 5784 KiB

[startup+3.10891 s]
/proc/loadavg: 1.89 2.07 2.10 3/188 8347
/proc/meminfo: memFree=24424524/32770624 swapFree=67108860/67108860
[pid=8314] ppid=8311 vsize=29404 memory=5968 CPUtime=3.1 cores=1,3,5,7
/proc/8314/stat : 8314 (cosoco) R 8311 8314 32649 0 -1 4202496 2226 0 0 0 310 0 0 0 20 0 1 0 76909398 30109696 1492 33554432000 4194304 6142532 140735959608784 140735959606184 5053555 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 11210752 140735959610502 140735959610632 140735959610632 140735959613390 0
/proc/8314/statm: 7351 1492 846 476 0 673 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 29404 KiB
Current children cumulated memory: 5968 KiB

[startup+6.30021 s]
/proc/loadavg: 1.90 2.07 2.10 3/188 8347
/proc/meminfo: memFree=24423956/32770624 swapFree=67108860/67108860
[pid=8314] ppid=8311 vsize=29404 memory=5984 CPUtime=6.29 cores=1,3,5,7
/proc/8314/stat : 8314 (cosoco) R 8311 8314 32649 0 -1 4202496 2810 0 0 0 629 0 0 0 20 0 1 0 76909398 30109696 1496 33554432000 4194304 6142532 140735959608784 140735959606184 5336774 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 11210752 140735959610502 140735959610632 140735959610632 140735959613390 0
/proc/8314/statm: 7351 1496 846 476 0 673 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 29404 KiB
Current children cumulated memory: 5984 KiB

[startup+12.7003 s]
/proc/loadavg: 1.91 2.07 2.10 3/188 8347
/proc/meminfo: memFree=24424452/32770624 swapFree=67108860/67108860
[pid=8314] ppid=8311 vsize=29404 memory=6008 CPUtime=12.69 cores=1,3,5,7
/proc/8314/stat : 8314 (cosoco) R 8311 8314 32649 0 -1 4202496 3399 0 0 0 1269 0 0 0 20 0 1 0 76909398 30109696 1502 33554432000 4194304 6142532 140735959608784 140735959606184 5084088 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 11210752 140735959610502 140735959610632 140735959610632 140735959613390 0
/proc/8314/statm: 7351 1502 846 476 0 673 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 29404 KiB
Current children cumulated memory: 6008 KiB

[startup+25.5003 s]
/proc/loadavg: 1.93 2.07 2.10 3/188 8347
/proc/meminfo: memFree=24425448/32770624 swapFree=67108860/67108860
[pid=8314] ppid=8311 vsize=29404 memory=6016 CPUtime=25.49 cores=1,3,5,7
/proc/8314/stat : 8314 (cosoco) R 8311 8314 32649 0 -1 4202496 4575 0 0 0 2549 0 0 0 20 0 1 0 76909398 30109696 1504 33554432000 4194304 6142532 140735959608784 140735959606184 5058552 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 11210752 140735959610502 140735959610632 140735959610632 140735959613390 0
/proc/8314/statm: 7351 1504 846 476 0 673 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 29404 KiB
Current children cumulated memory: 6016 KiB

[startup+51.1089 s]
/proc/loadavg: 1.95 2.06 2.09 3/187 8348
/proc/meminfo: memFree=24425048/32770624 swapFree=67108860/67108860
[pid=8314] ppid=8311 vsize=29404 memory=6016 CPUtime=51.1 cores=1,3,5,7
/proc/8314/stat : 8314 (cosoco) R 8311 8314 32649 0 -1 4202496 5163 0 0 0 5110 0 0 0 20 0 1 0 76909398 30109696 1504 33554432000 4194304 6142532 140735959608784 140735959606184 5084042 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 11210752 140735959610502 140735959610632 140735959610632 140735959613390 0
/proc/8314/statm: 7351 1504 846 476 0 673 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 29404 KiB
Current children cumulated memory: 6016 KiB

[startup+102.3 s]
/proc/loadavg: 1.98 2.05 2.09 3/187 8349
/proc/meminfo: memFree=24424856/32770624 swapFree=67108860/67108860
[pid=8314] ppid=8311 vsize=29404 memory=6016 CPUtime=102.28 cores=1,3,5,7
/proc/8314/stat : 8314 (cosoco) R 8311 8314 32649 0 -1 4202496 5752 0 0 0 10228 0 0 0 20 0 1 0 76909398 30109696 1504 33554432000 4194304 6142532 140735959608784 140735959606184 5083486 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 11210752 140735959610502 140735959610632 140735959610632 140735959613390 0
/proc/8314/statm: 7351 1504 846 476 0 673 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 29404 KiB
Current children cumulated memory: 6016 KiB

[startup+162.3 s]
/proc/loadavg: 1.99 2.04 2.08 3/187 8350
/proc/meminfo: memFree=24425536/32770624 swapFree=67108860/67108860
[pid=8314] ppid=8311 vsize=29404 memory=6016 CPUtime=162.28 cores=1,3,5,7
/proc/8314/stat : 8314 (cosoco) R 8311 8314 32649 0 -1 4202496 6339 0 0 0 16228 0 0 0 20 0 1 0 76909398 30109696 1504 33554432000 4194304 6142532 140735959608784 140735959606184 5084173 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 11210752 140735959610502 140735959610632 140735959610632 140735959613390 0
/proc/8314/statm: 7351 1504 846 476 0 673 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 29404 KiB
Current children cumulated memory: 6016 KiB

[startup+222.3 s]
/proc/loadavg: 2.00 2.04 2.08 3/187 8352
/proc/meminfo: memFree=24424812/32770624 swapFree=67108860/67108860
[pid=8314] ppid=8311 vsize=29404 memory=6016 CPUtime=222.28 cores=1,3,5,7
/proc/8314/stat : 8314 (cosoco) R 8311 8314 32649 0 -1 4202496 6927 0 0 0 22228 0 0 0 20 0 1 0 76909398 30109696 1504 33554432000 4194304 6142532 140735959608784 140735959606184 5175056 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 11210752 140735959610502 140735959610632 140735959610632 140735959613390 0
/proc/8314/statm: 7351 1504 846 476 0 673 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 29404 KiB
Current children cumulated memory: 6016 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 2.03 2.07 3/187 8353
/proc/meminfo: memFree=24424988/32770624 swapFree=67108860/67108860
[pid=8314] ppid=8311 vsize=29404 memory=6016 CPUtime=282.28 cores=1,3,5,7
/proc/8314/stat : 8314 (cosoco) R 8311 8314 32649 0 -1 4202496 7515 0 0 0 28228 0 0 0 20 0 1 0 76909398 30109696 1504 33554432000 4194304 6142532 140735959608784 140735959606184 5175056 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 11210752 140735959610502 140735959610632 140735959610632 140735959613390 0
/proc/8314/statm: 7351 1504 846 476 0 673 0
Current children cumulated CPU time: 282.28 s
Current children cumulated vsize: 29404 KiB
Current children cumulated memory: 6016 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 2.03 2.06 3/188 8362
/proc/meminfo: memFree=24423244/32770624 swapFree=67108860/67108860
[pid=8314] ppid=8311 vsize=29404 memory=6016 CPUtime=342.28 cores=1,3,5,7
/proc/8314/stat : 8314 (cosoco) R 8311 8314 32649 0 -1 4202496 8103 0 0 0 34228 0 0 0 20 0 1 0 76909398 30109696 1504 33554432000 4194304 6142532 140735959608784 140735959606184 5061893 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 11210752 140735959610502 140735959610632 140735959610632 140735959613390 0
/proc/8314/statm: 7351 1504 846 476 0 673 0
Current children cumulated CPU time: 342.28 s
Current children cumulated vsize: 29404 KiB
Current children cumulated memory: 6016 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 2.02 2.06 3/188 8363
/proc/meminfo: memFree=24424020/32770624 swapFree=67108860/67108860
[pid=8314] ppid=8311 vsize=29404 memory=6016 CPUtime=402.27 cores=1,3,5,7
/proc/8314/stat : 8314 (cosoco) R 8311 8314 32649 0 -1 4202496 8691 0 0 0 40227 0 0 0 20 0 1 0 76909398 30109696 1504 33554432000 4194304 6142532 140735959608784 140735959606184 5336583 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 11210752 140735959610502 140735959610632 140735959610632 140735959613390 0
/proc/8314/statm: 7351 1504 846 476 0 673 0
Current children cumulated CPU time: 402.27 s
Current children cumulated vsize: 29404 KiB
Current children cumulated memory: 6016 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 8364
/proc/meminfo: memFree=24423964/32770624 swapFree=67108860/67108860
[pid=8314] ppid=8311 vsize=29404 memory=6016 CPUtime=462.27 cores=1,3,5,7
/proc/8314/stat : 8314 (cosoco) R 8311 8314 32649 0 -1 4202496 9279 0 0 0 46227 0 0 0 20 0 1 0 76909398 30109696 1504 33554432000 4194304 6142532 140735959608784 140735959606184 5062311 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 11210752 140735959610502 140735959610632 140735959610632 140735959613390 0
/proc/8314/statm: 7351 1504 846 476 0 673 0
Current children cumulated CPU time: 462.27 s
Current children cumulated vsize: 29404 KiB
Current children cumulated memory: 6016 KiB


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

/proc/8314/statm: 7351 1508 846 476 0 673 0
Current children cumulated CPU time: 1722.22 s
Current children cumulated vsize: 29404 KiB
Current children cumulated memory: 6032 KiB

[startup+1782.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/188 8402
/proc/meminfo: memFree=24422740/32770624 swapFree=67108860/67108860
[pid=8314] ppid=8311 vsize=29404 memory=6032 CPUtime=1782.22 cores=1,3,5,7
/proc/8314/stat : 8314 (cosoco) R 8311 8314 32649 0 -1 4202496 22099 0 0 0 178222 0 0 0 20 0 1 0 76909398 30109696 1508 33554432000 4194304 6142532 140735959608784 140735959606184 5084088 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 11210752 140735959610502 140735959610632 140735959610632 140735959613390 0
/proc/8314/statm: 7351 1508 846 476 0 673 0
Current children cumulated CPU time: 1782.22 s
Current children cumulated vsize: 29404 KiB
Current children cumulated memory: 6032 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 8404
/proc/meminfo: memFree=24422688/32770624 swapFree=67108860/67108860
[pid=8314] ppid=8311 vsize=29404 memory=6032 CPUtime=1842.22 cores=1,3,5,7
/proc/8314/stat : 8314 (cosoco) R 8311 8314 32649 0 -1 4202496 22691 0 0 0 184222 0 0 0 20 0 1 0 76909398 30109696 1508 33554432000 4194304 6142532 140735959608784 140735959606184 5084275 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 11210752 140735959610502 140735959610632 140735959610632 140735959613390 0
/proc/8314/statm: 7351 1508 846 476 0 673 0
Current children cumulated CPU time: 1842.22 s
Current children cumulated vsize: 29404 KiB
Current children cumulated memory: 6032 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 8405
/proc/meminfo: memFree=24422772/32770624 swapFree=67108860/67108860
[pid=8314] ppid=8311 vsize=29404 memory=6032 CPUtime=1902.21 cores=1,3,5,7
/proc/8314/stat : 8314 (cosoco) R 8311 8314 32649 0 -1 4202496 23263 0 0 0 190221 0 0 0 20 0 1 0 76909398 30109696 1508 33554432000 4194304 6142532 140735959608784 140735959606184 5084209 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 11210752 140735959610502 140735959610632 140735959610632 140735959613390 0
/proc/8314/statm: 7351 1508 846 476 0 673 0
Current children cumulated CPU time: 1902.21 s
Current children cumulated vsize: 29404 KiB
Current children cumulated memory: 6032 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 8406
/proc/meminfo: memFree=24423096/32770624 swapFree=67108860/67108860
[pid=8314] ppid=8311 vsize=29404 memory=6032 CPUtime=1962.21 cores=1,3,5,7
/proc/8314/stat : 8314 (cosoco) R 8311 8314 32649 0 -1 4202496 23835 0 0 0 196221 0 0 0 20 0 1 0 76909398 30109696 1508 33554432000 4194304 6142532 140735959608784 140735959606184 5175264 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 11210752 140735959610502 140735959610632 140735959610632 140735959613390 0
/proc/8314/statm: 7351 1508 846 476 0 673 0
Current children cumulated CPU time: 1962.21 s
Current children cumulated vsize: 29404 KiB
Current children cumulated memory: 6032 KiB

[startup+2022.3 s]
/proc/loadavg: 2.61 2.17 2.10 3/187 8408
/proc/meminfo: memFree=24423028/32770624 swapFree=67108860/67108860
[pid=8314] ppid=8311 vsize=29404 memory=6032 CPUtime=2022.21 cores=1,3,5,7
/proc/8314/stat : 8314 (cosoco) R 8311 8314 32649 0 -1 4202496 24427 0 0 0 202221 0 0 0 20 0 1 0 76909398 30109696 1508 33554432000 4194304 6142532 140735959608784 140735959606184 5347469 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 11210752 140735959610502 140735959610632 140735959610632 140735959613390 0
/proc/8314/statm: 7351 1508 846 476 0 673 0
Current children cumulated CPU time: 2022.21 s
Current children cumulated vsize: 29404 KiB
Current children cumulated memory: 6032 KiB

[startup+2082.3 s]
/proc/loadavg: 2.22 2.14 2.09 3/187 8409
/proc/meminfo: memFree=24423040/32770624 swapFree=67108860/67108860
[pid=8314] ppid=8311 vsize=29404 memory=6032 CPUtime=2082.21 cores=1,3,5,7
/proc/8314/stat : 8314 (cosoco) R 8311 8314 32649 0 -1 4202496 25002 0 0 0 208221 0 0 0 20 0 1 0 76909398 30109696 1508 33554432000 4194304 6142532 140735959608784 140735959606184 5084758 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 11210752 140735959610502 140735959610632 140735959610632 140735959613390 0
/proc/8314/statm: 7351 1508 846 476 0 673 0
Current children cumulated CPU time: 2082.21 s
Current children cumulated vsize: 29404 KiB
Current children cumulated memory: 6032 KiB

[startup+2142.3 s]
/proc/loadavg: 2.08 2.11 2.08 3/187 8417
/proc/meminfo: memFree=24421992/32770624 swapFree=67108860/67108860
[pid=8314] ppid=8311 vsize=29404 memory=6032 CPUtime=2142.2 cores=1,3,5,7
/proc/8314/stat : 8314 (cosoco) R 8311 8314 32649 0 -1 4202496 25573 0 0 0 214220 0 0 0 20 0 1 0 76909398 30109696 1508 33554432000 4194304 6142532 140735959608784 140735959606184 5175056 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 11210752 140735959610502 140735959610632 140735959610632 140735959613390 0
/proc/8314/statm: 7351 1508 846 476 0 673 0
Current children cumulated CPU time: 2142.2 s
Current children cumulated vsize: 29404 KiB
Current children cumulated memory: 6032 KiB

[startup+2202.3 s]
/proc/loadavg: 2.03 2.09 2.08 3/187 8440
/proc/meminfo: memFree=24420676/32770624 swapFree=67108860/67108860
[pid=8314] ppid=8311 vsize=29404 memory=6032 CPUtime=2202.2 cores=1,3,5,7
/proc/8314/stat : 8314 (cosoco) R 8311 8314 32649 0 -1 4202496 26144 0 0 0 220220 0 0 0 20 0 1 0 76909398 30109696 1508 33554432000 4194304 6142532 140735959608784 140735959606184 5084799 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 11210752 140735959610502 140735959610632 140735959610632 140735959613390 0
/proc/8314/statm: 7351 1508 846 476 0 673 0
Current children cumulated CPU time: 2202.2 s
Current children cumulated vsize: 29404 KiB
Current children cumulated memory: 6032 KiB

[startup+2262.3 s]
/proc/loadavg: 2.01 2.08 2.07 3/187 8441
/proc/meminfo: memFree=24421752/32770624 swapFree=67108860/67108860
[pid=8314] ppid=8311 vsize=29404 memory=6032 CPUtime=2262.2 cores=1,3,5,7
/proc/8314/stat : 8314 (cosoco) R 8311 8314 32649 0 -1 4202496 26736 0 0 0 226220 0 0 0 20 0 1 0 76909398 30109696 1508 33554432000 4194304 6142532 140735959608784 140735959606184 5060757 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 11210752 140735959610502 140735959610632 140735959610632 140735959613390 0
/proc/8314/statm: 7351 1508 846 476 0 673 0
Current children cumulated CPU time: 2262.2 s
Current children cumulated vsize: 29404 KiB
Current children cumulated memory: 6032 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 2.06 2.07 3/187 8442
/proc/meminfo: memFree=24422320/32770624 swapFree=67108860/67108860
[pid=8314] ppid=8311 vsize=29404 memory=6032 CPUtime=2322.2 cores=1,3,5,7
/proc/8314/stat : 8314 (cosoco) R 8311 8314 32649 0 -1 4202496 27307 0 0 0 232220 0 0 0 20 0 1 0 76909398 30109696 1508 33554432000 4194304 6142532 140735959608784 140735959606184 5061171 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 11210752 140735959610502 140735959610632 140735959610632 140735959613390 0
/proc/8314/statm: 7351 1508 846 476 0 673 0
Current children cumulated CPU time: 2322.2 s
Current children cumulated vsize: 29404 KiB
Current children cumulated memory: 6032 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 2.05 2.06 3/187 8443
/proc/meminfo: memFree=24422388/32770624 swapFree=67108860/67108860
[pid=8314] ppid=8311 vsize=29404 memory=6032 CPUtime=2382.19 cores=1,3,5,7
/proc/8314/stat : 8314 (cosoco) R 8311 8314 32649 0 -1 4202496 27878 0 0 0 238219 0 0 0 20 0 1 0 76909398 30109696 1508 33554432000 4194304 6142532 140735959608784 140735959606184 5332498 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 11210752 140735959610502 140735959610632 140735959610632 140735959613390 0
/proc/8314/statm: 7351 1508 846 476 0 673 0
Current children cumulated CPU time: 2382.19 s
Current children cumulated vsize: 29404 KiB
Current children cumulated memory: 6032 KiB

[startup+2442.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/187 8444
/proc/meminfo: memFree=24422336/32770624 swapFree=67108860/67108860
[pid=8314] ppid=8311 vsize=29404 memory=6032 CPUtime=2442.19 cores=1,3,5,7
/proc/8314/stat : 8314 (cosoco) R 8311 8314 32649 0 -1 4202496 28449 0 0 0 244219 0 0 0 20 0 1 0 76909398 30109696 1508 33554432000 4194304 6142532 140735959608784 140735959606184 5331050 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 11210752 140735959610502 140735959610632 140735959610632 140735959613390 0
/proc/8314/statm: 7351 1508 846 476 0 673 0
Current children cumulated CPU time: 2442.19 s
Current children cumulated vsize: 29404 KiB
Current children cumulated memory: 6032 KiB

[startup+2502.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/187 8445
/proc/meminfo: memFree=24422552/32770624 swapFree=67108860/67108860
[pid=8314] ppid=8311 vsize=29404 memory=6032 CPUtime=2502.19 cores=1,3,5,7
/proc/8314/stat : 8314 (cosoco) R 8311 8314 32649 0 -1 4202496 29020 0 0 0 250219 0 0 0 20 0 1 0 76909398 30109696 1508 33554432000 4194304 6142532 140735959608784 140735959606184 5175056 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 11210752 140735959610502 140735959610632 140735959610632 140735959613390 0
/proc/8314/statm: 7351 1508 846 476 0 673 0
Current children cumulated CPU time: 2502.19 s
Current children cumulated vsize: 29404 KiB
Current children cumulated memory: 6032 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 2.00 2.03 2.05 3/187 8445
/proc/meminfo: memFree=24422552/32770624 swapFree=67108860/67108860
[pid=8314] ppid=8311 vsize=29404 memory=6032 CPUtime=2519.9 cores=1,3,5,7
/proc/8314/stat : 8314 (cosoco) R 8311 8314 32649 0 -1 4202496 29590 0 0 0 251990 0 0 0 20 0 1 0 76909398 30109696 1508 33554432000 4194304 6142532 140735959608784 140735959606184 4991027 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 11210752 140735959610502 140735959610632 140735959610632 140735959613390 0
/proc/8314/statm: 7351 1508 846 476 0 673 0
Current children cumulated CPU time: 2519.9 s
Current children cumulated vsize: 29404 KiB
Current children cumulated memory: 6032 KiB

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

[startup+2520.01 s]
# the end of solver process 8314 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2519.9 s, system=0.010999 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.91
CPU user time (s): 2519.9
CPU system time (s): 0.010999
CPU usage (%): 99.9962
Max. virtual memory (cumulated for all children) (KiB): 29404
Max. memory (cumulated for all children) (KiB): 6032

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.9
system time used= 0.010999
maximum resident set size= 6096
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29638
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= 6
involuntary context switches= 632


# summary of solver processes directly reported to runsolver:
#   pid: 8314
#   total CPU time (s): 2519.91
#   total CPU user time (s): 2519.9
#   total CPU system time (s): 0.010999

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.4654 second user time and 13.9725 second system time

The end

Launcher Data 

Begin job on node150 at 2018-07-26 10:24:21
IDJOB=4295873
IDBENCH=141611
IDSOLVER=2752
FILE ID=node150/4295873-1532593461
RUNJOBID= node150-1532593460-8195
PBS_JOBID= 21021956
Free space on /tmp= 53104 MiB

SOLVER NAME= cosoco 1.12
BENCH NAME= XCSP18/Quasigroups/QuasiGroup-7-16_c18.xml
COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4295873-1532593461/watcher-4295873-1532593461 -o /tmp/evaluation-result-4295873-1532593461/solver-4295873-1532593461 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1532593460-8195 --watchdog 2580  HOME/cosoco -lc -model -restarts HOME/instance-4295873-1532593461.xml

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

MD5SUM BENCH= fff017207be5e3895e33195d340205a8
RANDOM SEED=1877929178

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:        24403084 kB
MemAvailable:   31899948 kB
Buffers:          199516 kB
Cached:          7513880 kB
SwapCached:            0 kB
Active:          2165052 kB
Inactive:        5633668 kB
Active(anon):      36824 kB
Inactive(anon):    76380 kB
Active(file):    2128228 kB
Inactive(file):  5557288 kB
Unevictable:        7744 kB
Mlocked:            7744 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              5532 kB
Writeback:             4 kB
AnonPages:         86520 kB
Mapped:            51216 kB
Shmem:             25224 kB
Slab:             267200 kB
SReclaimable:     239808 kB
SUnreclaim:        27392 kB
KernelStack:        3696 kB
PageTables:         4932 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1278816 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     12288 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-26 11:06:21