Trace number 4295882

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

General information on the benchmark

NameQuasigroups/
QuasiGroup-4-14_c18.xml
MD5SUM0e107aeb1163eb9d4573d4ca0ed1edf8
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 variables392
Number of constraints366
Number of domains2
Minimum domain size14
Maximum domain size196
Distribution of domain sizes[{"size":14,"count":196},{"size":196,"count":182}]
Minimum variable degree0
Maximum variable degree185
Distribution of variable degrees[{"degree":0,"count":14},{"degree":2,"count":182},{"degree":184,"count":14},{"degree":185,"count":182}]
Minimum constraint arity3
Maximum constraint arity197
Distribution of constraint arities[{"arity":3,"count":182},{"arity":14,"count":1},{"arity":196,"count":1},{"arity":197,"count":182}]
Number of extensional constraints0
Number of intensional constraints182
Distribution of constraint types[{"type":"intension","count":182},{"type":"allDifferent","count":1},{"type":"instantiation","count":1},{"type":"element","count":182}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.10	c root propagations     : 3164        
0.00/0.10	c restarts enabled, print stats at every restarts
0.00/0.10	c
0.00/0.10	c
0.00/0.10	c
0.00/0.10	c This is cosoco 1.12 --  
0.00/0.10	c
0.00/0.10	c command line: HOME/cosoco -lc -model -restarts HOME/instance-4295882-1532593461.xml 
0.00/0.10	c ========================================[ Problem Statistics ]===========================================
0.00/0.10	c |                                                                                                       
0.00/0.10	c |  Parse time        :         0.09 s 
0.00/0.10	c |
0.00/0.10	c |               Variables: 392
0.00/0.10	c |            Domain Sizes: 14..196
0.00/0.10	c |
0.00/0.10	c |             Constraints: 406
0.00/0.10	c |                   Arity: 1..197  -- Unary: 14  -- Ternary: 182
0.00/0.10	c | 
0.00/0.10	c |                   Types: 
0.00/0.10	c |                          All Different: 28
0.00/0.10	c |                          Element Constant: 182
0.00/0.10	c |                          Intension: 182
0.00/0.10	c |                          Unary: 14
0.00/0.10	c |                          
0.00/0.10	c =========================================================================================================
0.00/0.10	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
0.00/0.10	c remove useless variable y[0][0]
0.00/0.10	c remove useless variable y[1][1]
0.00/0.10	c remove useless variable y[2][2]
0.00/0.10	c remove useless variable y[3][3]
0.00/0.10	c remove useless variable y[4][4]
0.00/0.10	c remove useless variable y[5][5]
0.00/0.10	c remove useless variable y[6][6]
0.00/0.10	c remove useless variable y[7][7]
0.00/0.10	c remove useless variable y[8][8]
0.00/0.10	c remove useless variable y[9][9]
0.00/0.10	c remove useless variable y[10][10]
0.00/0.10	c remove useless variable y[11][11]
0.00/0.10	c remove useless variable y[12][12]
0.00/0.10	c remove useless variable y[13][13]
4.89/4.94	c 101            890            892676         328128         246            0              157   208   173
9.19/9.20	c 211            1665           1845275        676014         246            0              92   121   102 
12.69/12.75	c 332            2261           2649954        1001849        246            0              102   122   108
16.00/16.08	c 465            2888           3490743        1316762        246            0              100   130   114
20.29/20.36	c 611            3887           4771608        1665848        246            0              99   128   114 
22.00/22.05	c 771            4422           5129727        1837064        246            0              40   77   58   
27.00/27.02	c 947            5204           5937530        2083503        246            0              77   112   96  
32.00/32.02	c 1140           6467           7376667        2565485        246            0              99   129   115 
37.29/37.34	c 1352           7482           8815379        3052848        246            0              109   129   117
39.29/39.32	c 1585           8120           9259758        3377666        246            0              55   63   59   
44.49/44.57	c 1841           9303           10258943       3742056        246            0              35   111   93  
54.10/54.18	c 2122           10732          12311031       4514161        246            0              41   128   111 
65.89/65.99	c 2431           12218          14707319       5458455        246            0              98   124   108 
77.09/77.12	c 2770           13980          17261141       6250526        246            0              93   130   115 
87.18/87.26	c 3142           15935          19997513       7109121        246            0              101   131   118
101.99/102.03	c 3551           18207          23305409       8268247        246            0              55   134   117 
113.38/113.43	c 4000           20263          26358134       9362314        246            0              98   128   113 
126.68/126.78	c 4493           22862          29834505       10867557       246            0              44   129   109 
144.48/144.56	c 5035           25801          33466732       12346287       246            0              31   122   105 
157.88/157.98	c 5631           28693          37470229       13483538       246            0              96   135   119 
172.08/172.11	c 6286           32851          42281374       14767006       246            0              90   134   118 
184.47/184.58	c 7006           35601          44817600       15717674       246            0              42   113   88  
210.17/210.27	c 7798           39626          50602878       17956754       246            0              98   136   115 
234.87/234.90	c 8669           43911          56834086       20050106       246            0              94   123   106 
253.17/253.23	c 9627           47366          60478076       21565534       246            0              21   114   84  
282.17/282.27	c 10680          52149          67581523       24247300       246            0              94   129   109 
312.66/312.74	c 11838          58491          75675065       27304116       246            0              95   130   111 
343.46/343.58	c 13111          65449          84004549       30485065       246            0              48   131   114 
387.36/387.45	c 14511          73661          94432983       34417409       246            0              35   130   105 
426.35/426.48	c 16051          80384          105084182      38042355       246            0              89   134   119 
465.75/465.86	c 17745          87966          115535463      41495709       246            0              45   128   110 
526.44/526.59	c 19608          97261          128645009      46612726       246            0              30   129   108 
592.05/592.18	c 21657          109936         145729306      52218039       246            0              59   137   113 
653.13/653.24	c 23910          119617         160685661      58165148       246            0              45   129   103 
728.53/728.61	c 26388          132929         178255875      64719765       246            0              90   134   110 
792.93/793.04	c 29113          145228         195469130      70846680       246            0              68   130   112 
859.02/859.18	c 32110          159194         211619056      76464631       246            0              59   123   100 
932.11/932.25	c 35406          173162         231271184      83731947       246            0              73   123   105 
1028.40/1028.51	c 39031          192963         256547987      91959115       246            0              54   129   104 
1132.69/1132.81	c 43018          211197         282661327      100605610      246            0              95   137   111 
1258.38/1258.50	c 47403          230805         311251518      112742666      246            0              88   123   106 
1382.97/1383.16	c 52226          249770         338803039      123747479      246            0              90   122   103 
1520.65/1520.82	c 57531          273195         372708742      137379819      246            0              88   131   107 
1721.15/1721.30	c 63366          306839         415200581      155036098      246            0              87   128   106 
1925.84/1926.10	c 69784          331548         454709780      171887388      246            0              90   119   103 
2106.01/2106.29	c 76843          363841         497260456      187425658      246            0              89   126   107 
2292.60/2292.84	c 84607          402107         549479968      205031982      246            0              37   132   111 
2487.79/2488.10	c 93147          445293         605298705      225213531      246            0              91   134   109 
2519.79/2520.01	
2519.79/2520.01	c *** INTERRUPTED ***
2519.79/2520.01	c restarts              : 48          
2519.79/2520.01	c conflicts             : 94714        (38 /sec)
2519.79/2520.01	c decisions             : 452365       (180 /sec)
2519.79/2520.01	c propagations          : 228432123   (90656 /sec)
2519.79/2520.01	c root propagations     : 3164        
2519.79/2520.01	c filter calls          : 615593826      (244305 /sec)
2519.79/2520.01	c useless filter calls  : 545980572      (88 %)
2519.79/2520.01	c Memory used           : 33.34 MB
2519.79/2520.01	c CPU time              : 2519.77 s
2519.79/2520.01	
2519.79/2520.01	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 (9863 MiB free)
  memory of node 1: 16384 MiB (13996 MiB free)
  node distances:
     10  21
     21  10

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

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

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


[startup+0.100114 s]*
/proc/loadavg: 1.89 2.07 2.10 3/188 8347
/proc/meminfo: memFree=24426808/32770624 swapFree=67108860/67108860
[pid=8346] ppid=8343 vsize=32668 memory=9056 CPUtime=0.1 cores=0,2,4,6
/proc/8346/stat : 8346 (cosoco) R 8343 8346 32649 0 -1 4202496 2474 0 0 0 10 0 0 0 20 0 1 0 76909418 33452032 2264 33554432000 4194304 6142532 140721618281728 140721618278360 5367146 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 39952384 140721618289798 140721618289928 140721618289928 140721618292686 0
/proc/8346/statm: 8167 2264 815 476 0 1489 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 32668 KiB
Current children cumulated memory: 9056 KiB

[startup+0.209499 s]*
/proc/loadavg: 1.89 2.07 2.10 3/188 8347
/proc/meminfo: memFree=24426808/32770624 swapFree=67108860/67108860
[pid=8346] ppid=8343 vsize=32668 memory=9056 CPUtime=0.21 cores=0,2,4,6
/proc/8346/stat : 8346 (cosoco) R 8343 8346 32649 0 -1 4202496 2480 0 0 0 21 0 0 0 20 0 1 0 76909418 33452032 2264 33554432000 4194304 6142532 140721618281728 140721618278360 5175264 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 39952384 140721618289798 140721618289928 140721618289928 140721618292686 0
/proc/8346/statm: 8167 2264 815 476 0 1489 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 32668 KiB
Current children cumulated memory: 9056 KiB

[startup+0.309006 s]*
/proc/loadavg: 1.89 2.07 2.10 3/188 8347
/proc/meminfo: memFree=24426808/32770624 swapFree=67108860/67108860
[pid=8346] ppid=8343 vsize=32800 memory=9320 CPUtime=0.31 cores=0,2,4,6
/proc/8346/stat : 8346 (cosoco) R 8343 8346 32649 0 -1 4202496 2496 0 0 0 31 0 0 0 20 0 1 0 76909418 33587200 2330 33554432000 4194304 6142532 140721618281728 140721618278360 5361313 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 39952384 140721618289798 140721618289928 140721618289928 140721618292686 0
/proc/8346/statm: 8200 2330 856 476 0 1522 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 32800 KiB
Current children cumulated memory: 9320 KiB

[startup+0.700228 s]
/proc/loadavg: 1.89 2.07 2.10 4/188 8347
/proc/meminfo: memFree=24426168/32770624 swapFree=67108860/67108860
[pid=8346] ppid=8343 vsize=33076 memory=9584 CPUtime=0.69 cores=0,2,4,6
/proc/8346/stat : 8346 (cosoco) R 8343 8346 32649 0 -1 4202496 2585 0 0 0 69 0 0 0 20 0 1 0 76909418 33869824 2396 33554432000 4194304 6142532 140721618281728 140721618278616 5363622 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 39952384 140721618289798 140721618289928 140721618289928 140721618292686 0
/proc/8346/statm: 8269 2396 856 476 0 1591 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 33076 KiB
Current children cumulated memory: 9584 KiB

[startup+1.50023 s]
/proc/loadavg: 1.89 2.07 2.10 3/188 8347
/proc/meminfo: memFree=24424524/32770624 swapFree=67108860/67108860
[pid=8346] ppid=8343 vsize=33208 memory=9852 CPUtime=1.49 cores=0,2,4,6
/proc/8346/stat : 8346 (cosoco) R 8343 8346 32649 0 -1 4202496 2626 0 0 0 149 0 0 0 20 0 1 0 76909418 34004992 2463 33554432000 4194304 6142532 140721618281728 140721618278792 5367420 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 39952384 140721618289798 140721618289928 140721618289928 140721618292686 0
/proc/8346/statm: 8302 2463 856 476 0 1624 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 33208 KiB
Current children cumulated memory: 9852 KiB

[startup+3.1091 s]
/proc/loadavg: 1.89 2.07 2.10 3/188 8347
/proc/meminfo: memFree=24424524/32770624 swapFree=67108860/67108860
[pid=8346] ppid=8343 vsize=33208 memory=9888 CPUtime=3.1 cores=0,2,4,6
/proc/8346/stat : 8346 (cosoco) R 8343 8346 32649 0 -1 4202496 3122 0 0 0 310 0 0 0 20 0 1 0 76909418 34004992 2472 33554432000 4194304 6142532 140721618281728 140721618278792 5398492 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 39952384 140721618289798 140721618289928 140721618289928 140721618292686 0
/proc/8346/statm: 8302 2472 856 476 0 1624 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 33208 KiB
Current children cumulated memory: 9888 KiB

[startup+6.30022 s]
/proc/loadavg: 1.90 2.07 2.10 3/188 8347
/proc/meminfo: memFree=24423956/32770624 swapFree=67108860/67108860
[pid=8346] ppid=8343 vsize=33472 memory=9960 CPUtime=6.29 cores=0,2,4,6
/proc/8346/stat : 8346 (cosoco) R 8343 8346 32649 0 -1 4202496 3715 0 0 0 628 1 0 0 20 0 1 0 76909418 34275328 2490 33554432000 4194304 6142532 140721618281728 140721618278872 5371763 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 39952384 140721618289798 140721618289928 140721618289928 140721618292686 0
/proc/8346/statm: 8368 2490 856 476 0 1690 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 33472 KiB
Current children cumulated memory: 9960 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=8346] ppid=8343 vsize=33604 memory=10228 CPUtime=12.69 cores=0,2,4,6
/proc/8346/stat : 8346 (cosoco) R 8343 8346 32649 0 -1 4202496 4343 0 0 0 1268 1 0 0 20 0 1 0 76909418 34410496 2557 33554432000 4194304 6142532 140721618281728 140721618278872 140531640646488 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 39952384 140721618289798 140721618289928 140721618289928 140721618292686 0
/proc/8346/statm: 8401 2557 856 476 0 1723 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 33604 KiB
Current children cumulated memory: 10228 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=8346] ppid=8343 vsize=33868 memory=10496 CPUtime=25.49 cores=0,2,4,6
/proc/8346/stat : 8346 (cosoco) R 8343 8346 32649 0 -1 4202496 5693 0 0 0 2548 1 0 0 20 0 1 0 76909418 34680832 2624 33554432000 4194304 6142532 140721618281728 140721618279128 4965024 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 39952384 140721618289798 140721618289928 140721618289928 140721618292686 0
/proc/8346/statm: 8467 2624 856 476 0 1789 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 33868 KiB
Current children cumulated memory: 10496 KiB

[startup+51.1091 s]
/proc/loadavg: 1.95 2.06 2.09 3/187 8348
/proc/meminfo: memFree=24425048/32770624 swapFree=67108860/67108860
[pid=8346] ppid=8343 vsize=34000 memory=10572 CPUtime=51.1 cores=0,2,4,6
/proc/8346/stat : 8346 (cosoco) R 8343 8346 32649 0 -1 4202496 6440 0 0 0 5109 1 0 0 20 0 1 0 76909418 34816000 2643 33554432000 4194304 6142532 140721618281728 140721618279128 140531640646470 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 39952384 140721618289798 140721618289928 140721618289928 140721618292686 0
/proc/8346/statm: 8500 2643 856 476 0 1822 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 34000 KiB
Current children cumulated memory: 10572 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=8346] ppid=8343 vsize=34000 memory=10628 CPUtime=102.28 cores=0,2,4,6
/proc/8346/stat : 8346 (cosoco) R 8343 8346 32649 0 -1 4202496 7161 0 0 0 10227 1 0 0 20 0 1 0 76909418 34816000 2657 33554432000 4194304 6142532 140721618281728 140721618279128 5371868 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 39952384 140721618289798 140721618289928 140721618289928 140721618292686 0
/proc/8346/statm: 8500 2657 856 476 0 1822 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 34000 KiB
Current children cumulated memory: 10628 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=8346] ppid=8343 vsize=34000 memory=10652 CPUtime=162.28 cores=0,2,4,6
/proc/8346/stat : 8346 (cosoco) R 8343 8346 32649 0 -1 4202496 7881 0 0 0 16227 1 0 0 20 0 1 0 76909418 34816000 2663 33554432000 4194304 6142532 140721618281728 140721618279128 5146777 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 39952384 140721618289798 140721618289928 140721618289928 140721618292686 0
/proc/8346/statm: 8500 2663 856 476 0 1822 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 34000 KiB
Current children cumulated memory: 10652 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=8346] ppid=8343 vsize=34000 memory=10664 CPUtime=222.27 cores=0,2,4,6
/proc/8346/stat : 8346 (cosoco) R 8343 8346 32649 0 -1 4202496 8603 0 0 0 22226 1 0 0 20 0 1 0 76909418 34816000 2666 33554432000 4194304 6142532 140721618281728 140721618279128 5366786 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 39952384 140721618289798 140721618289928 140721618289928 140721618292686 0
/proc/8346/statm: 8500 2666 856 476 0 1822 0
Current children cumulated CPU time: 222.27 s
Current children cumulated vsize: 34000 KiB
Current children cumulated memory: 10664 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=8346] ppid=8343 vsize=34000 memory=10672 CPUtime=282.27 cores=0,2,4,6
/proc/8346/stat : 8346 (cosoco) R 8343 8346 32649 0 -1 4202496 9326 0 0 0 28226 1 0 0 20 0 1 0 76909418 34816000 2668 33554432000 4194304 6142532 140721618281728 140721618279128 5371694 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 39952384 140721618289798 140721618289928 140721618289928 140721618292686 0
/proc/8346/statm: 8500 2668 856 476 0 1822 0
Current children cumulated CPU time: 282.27 s
Current children cumulated vsize: 34000 KiB
Current children cumulated memory: 10672 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=8346] ppid=8343 vsize=34000 memory=10676 CPUtime=342.26 cores=0,2,4,6
/proc/8346/stat : 8346 (cosoco) R 8343 8346 32649 0 -1 4202496 10051 0 0 0 34225 1 0 0 20 0 1 0 76909418 34816000 2669 33554432000 4194304 6142532 140721618281728 140721618279128 5366682 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 39952384 140721618289798 140721618289928 140721618289928 140721618292686 0
/proc/8346/statm: 8500 2669 856 476 0 1822 0
Current children cumulated CPU time: 342.26 s
Current children cumulated vsize: 34000 KiB
Current children cumulated memory: 10676 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=8346] ppid=8343 vsize=34000 memory=10680 CPUtime=402.26 cores=0,2,4,6
/proc/8346/stat : 8346 (cosoco) R 8343 8346 32649 0 -1 4202496 10776 0 0 0 40225 1 0 0 20 0 1 0 76909418 34816000 2670 33554432000 4194304 6142532 140721618281728 140721618279128 5361332 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 39952384 140721618289798 140721618289928 140721618289928 140721618292686 0
/proc/8346/statm: 8500 2670 856 476 0 1822 0
Current children cumulated CPU time: 402.26 s
Current children cumulated vsize: 34000 KiB
Current children cumulated memory: 10680 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=8346] ppid=8343 vsize=34000 memory=10684 CPUtime=462.25 cores=0,2,4,6
/proc/8346/stat : 8346 (cosoco) R 8343 8346 32649 0 -1 4202496 11501 0 0 0 46224 1 0 0 20 0 1 0 76909418 34816000 2671 33554432000 4194304 6142532 140721618281728 140721618279128 140531631622051 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 39952384 140721618289798 140721618289928 140721618289928 140721618292686 0
/proc/8346/statm: 8500 2671 856 476 0 1822 0
Current children cumulated CPU time: 462.25 s
Current children cumulated vsize: 34000 KiB
Current children cumulated memory: 10684 KiB


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

/proc/8346/statm: 8500 2671 856 476 0 1822 0
Current children cumulated CPU time: 1722.15 s
Current children cumulated vsize: 34000 KiB
Current children cumulated memory: 10684 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=8346] ppid=8343 vsize=34000 memory=10684 CPUtime=1782.14 cores=0,2,4,6
/proc/8346/stat : 8346 (cosoco) R 8343 8346 32649 0 -1 4202496 27200 0 0 0 178212 2 0 0 20 0 1 0 76909418 34816000 2671 33554432000 4194304 6142532 140721618281728 140721618279128 5363684 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 39952384 140721618289798 140721618289928 140721618289928 140721618292686 0
/proc/8346/statm: 8500 2671 856 476 0 1822 0
Current children cumulated CPU time: 1782.14 s
Current children cumulated vsize: 34000 KiB
Current children cumulated memory: 10684 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=8346] ppid=8343 vsize=34000 memory=10684 CPUtime=1842.13 cores=0,2,4,6
/proc/8346/stat : 8346 (cosoco) R 8343 8346 32649 0 -1 4202496 27891 0 0 0 184211 2 0 0 20 0 1 0 76909418 34816000 2671 33554432000 4194304 6142532 140721618281728 140721618279128 5374088 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 39952384 140721618289798 140721618289928 140721618289928 140721618292686 0
/proc/8346/statm: 8500 2671 856 476 0 1822 0
Current children cumulated CPU time: 1842.13 s
Current children cumulated vsize: 34000 KiB
Current children cumulated memory: 10684 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=8346] ppid=8343 vsize=34000 memory=10684 CPUtime=1902.13 cores=0,2,4,6
/proc/8346/stat : 8346 (cosoco) R 8343 8346 32649 0 -1 4202496 28581 0 0 0 190211 2 0 0 20 0 1 0 76909418 34816000 2671 33554432000 4194304 6142532 140721618281728 140721618279128 5363668 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 39952384 140721618289798 140721618289928 140721618289928 140721618292686 0
/proc/8346/statm: 8500 2671 856 476 0 1822 0
Current children cumulated CPU time: 1902.13 s
Current children cumulated vsize: 34000 KiB
Current children cumulated memory: 10684 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=8346] ppid=8343 vsize=34000 memory=10684 CPUtime=1962.12 cores=0,2,4,6
/proc/8346/stat : 8346 (cosoco) R 8343 8346 32649 0 -1 4202496 29306 0 0 0 196210 2 0 0 20 0 1 0 76909418 34816000 2671 33554432000 4194304 6142532 140721618281728 140721618279128 5374342 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 39952384 140721618289798 140721618289928 140721618289928 140721618292686 0
/proc/8346/statm: 8500 2671 856 476 0 1822 0
Current children cumulated CPU time: 1962.12 s
Current children cumulated vsize: 34000 KiB
Current children cumulated memory: 10684 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=8346] ppid=8343 vsize=34000 memory=10684 CPUtime=2022.12 cores=0,2,4,6
/proc/8346/stat : 8346 (cosoco) R 8343 8346 32649 0 -1 4202496 29999 0 0 0 202210 2 0 0 20 0 1 0 76909418 34816000 2671 33554432000 4194304 6142532 140721618281728 140721618279128 5361248 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 39952384 140721618289798 140721618289928 140721618289928 140721618292686 0
/proc/8346/statm: 8500 2671 856 476 0 1822 0
Current children cumulated CPU time: 2022.12 s
Current children cumulated vsize: 34000 KiB
Current children cumulated memory: 10684 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=8346] ppid=8343 vsize=34000 memory=10684 CPUtime=2082.11 cores=0,2,4,6
/proc/8346/stat : 8346 (cosoco) R 8343 8346 32649 0 -1 4202496 30692 0 0 0 208209 2 0 0 20 0 1 0 76909418 34816000 2671 33554432000 4194304 6142532 140721618281728 140721618279128 5372399 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 39952384 140721618289798 140721618289928 140721618289928 140721618292686 0
/proc/8346/statm: 8500 2671 856 476 0 1822 0
Current children cumulated CPU time: 2082.11 s
Current children cumulated vsize: 34000 KiB
Current children cumulated memory: 10684 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=8346] ppid=8343 vsize=34000 memory=10684 CPUtime=2142.11 cores=0,2,4,6
/proc/8346/stat : 8346 (cosoco) R 8343 8346 32649 0 -1 4202496 31417 0 0 0 214209 2 0 0 20 0 1 0 76909418 34816000 2671 33554432000 4194304 6142532 140721618281728 140721618279128 140531631622051 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 39952384 140721618289798 140721618289928 140721618289928 140721618292686 0
/proc/8346/statm: 8500 2671 856 476 0 1822 0
Current children cumulated CPU time: 2142.11 s
Current children cumulated vsize: 34000 KiB
Current children cumulated memory: 10684 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=8346] ppid=8343 vsize=34000 memory=10684 CPUtime=2202.1 cores=0,2,4,6
/proc/8346/stat : 8346 (cosoco) R 8343 8346 32649 0 -1 4202496 32121 0 0 0 220208 2 0 0 20 0 1 0 76909418 34816000 2671 33554432000 4194304 6142532 140721618281728 140721618279128 5374073 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 39952384 140721618289798 140721618289928 140721618289928 140721618292686 0
/proc/8346/statm: 8500 2671 856 476 0 1822 0
Current children cumulated CPU time: 2202.1 s
Current children cumulated vsize: 34000 KiB
Current children cumulated memory: 10684 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=8346] ppid=8343 vsize=34000 memory=10684 CPUtime=2262.1 cores=0,2,4,6
/proc/8346/stat : 8346 (cosoco) R 8343 8346 32649 0 -1 4202496 32825 0 0 0 226208 2 0 0 20 0 1 0 76909418 34816000 2671 33554432000 4194304 6142532 140721618281728 140721618279128 140531640646543 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 39952384 140721618289798 140721618289928 140721618289928 140721618292686 0
/proc/8346/statm: 8500 2671 856 476 0 1822 0
Current children cumulated CPU time: 2262.1 s
Current children cumulated vsize: 34000 KiB
Current children cumulated memory: 10684 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=8346] ppid=8343 vsize=34000 memory=10684 CPUtime=2322.09 cores=0,2,4,6
/proc/8346/stat : 8346 (cosoco) R 8343 8346 32649 0 -1 4202496 33550 0 0 0 232207 2 0 0 20 0 1 0 76909418 34816000 2671 33554432000 4194304 6142532 140721618281728 140721618279128 5361722 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 39952384 140721618289798 140721618289928 140721618289928 140721618292686 0
/proc/8346/statm: 8500 2671 856 476 0 1822 0
Current children cumulated CPU time: 2322.09 s
Current children cumulated vsize: 34000 KiB
Current children cumulated memory: 10684 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=8346] ppid=8343 vsize=34000 memory=10684 CPUtime=2382.09 cores=0,2,4,6
/proc/8346/stat : 8346 (cosoco) R 8343 8346 32649 0 -1 4202496 34249 0 0 0 238207 2 0 0 20 0 1 0 76909418 34816000 2671 33554432000 4194304 6142532 140721618281728 140721618279128 5366764 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 39952384 140721618289798 140721618289928 140721618289928 140721618292686 0
/proc/8346/statm: 8500 2671 856 476 0 1822 0
Current children cumulated CPU time: 2382.09 s
Current children cumulated vsize: 34000 KiB
Current children cumulated memory: 10684 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=8346] ppid=8343 vsize=34000 memory=10684 CPUtime=2442.08 cores=0,2,4,6
/proc/8346/stat : 8346 (cosoco) R 8343 8346 32649 0 -1 4202496 34947 0 0 0 244206 2 0 0 20 0 1 0 76909418 34816000 2671 33554432000 4194304 6142532 140721618281728 140721618279128 5363684 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 39952384 140721618289798 140721618289928 140721618289928 140721618292686 0
/proc/8346/statm: 8500 2671 856 476 0 1822 0
Current children cumulated CPU time: 2442.08 s
Current children cumulated vsize: 34000 KiB
Current children cumulated memory: 10684 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=8346] ppid=8343 vsize=34000 memory=10684 CPUtime=2502.08 cores=0,2,4,6
/proc/8346/stat : 8346 (cosoco) R 8343 8346 32649 0 -1 4202496 35673 0 0 0 250206 2 0 0 20 0 1 0 76909418 34816000 2671 33554432000 4194304 6142532 140721618281728 140721618279128 140531640646538 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 39952384 140721618289798 140721618289928 140721618289928 140721618292686 0
/proc/8346/statm: 8500 2671 856 476 0 1822 0
Current children cumulated CPU time: 2502.08 s
Current children cumulated vsize: 34000 KiB
Current children cumulated memory: 10684 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 2.00 2.03 2.05 2/182 8453
/proc/meminfo: memFree=24427232/32770624 swapFree=67108860/67108860
[pid=8346] ppid=8343 vsize=34000 memory=10684 CPUtime=2519.79 cores=0,2,4,6
/proc/8346/stat : 8346 (cosoco) R 8343 8346 32649 0 -1 4202496 36363 0 0 0 251977 2 0 0 20 0 1 0 76909418 34816000 2671 33554432000 4194304 6142532 140721618281728 140721618279128 5398833 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 39952384 140721618289798 140721618289928 140721618289928 140721618292686 0
/proc/8346/statm: 8500 2671 856 476 0 1822 0
Current children cumulated CPU time: 2519.79 s
Current children cumulated vsize: 34000 KiB
Current children cumulated memory: 10684 KiB

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

[startup+2520.01 s]
# the end of solver process 8346 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2519.77 s, system=0.020998 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.79
CPU user time (s): 2519.77
CPU system time (s): 0.020998
CPU usage (%): 99.9914
Max. virtual memory (cumulated for all children) (KiB): 34000
Max. memory (cumulated for all children) (KiB): 10684

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.77
system time used= 0.020998
maximum resident set size= 10748
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 36409
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= 8
involuntary context switches= 3161


# summary of solver processes directly reported to runsolver:
#   pid: 8346
#   total CPU time (s): 2519.79
#   total CPU user time (s): 2519.77
#   total CPU system time (s): 0.020998

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.45701 second user time and 16.6325 second system time

The end

Launcher Data 

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

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

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

MD5SUM BENCH= 0e107aeb1163eb9d4573d4ca0ed1edf8
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:        24433828 kB
MemAvailable:   31930236 kB
Buffers:          199536 kB
Cached:          7513860 kB
SwapCached:            0 kB
Active:          2134036 kB
Inactive:        5633668 kB
Active(anon):       6264 kB
Inactive(anon):    76380 kB
Active(file):    2127772 kB
Inactive(file):  5557288 kB
Unevictable:        7744 kB
Mlocked:            7744 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              5532 kB
Writeback:             4 kB
AnonPages:         70984 kB
Mapped:            41804 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:     354996 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:22