Trace number 4295810

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-4-10_c18.xml
MD5SUM13340ae912518807f9e2f6bcededa797
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 variables200
Number of constraints182
Number of domains2
Minimum domain size10
Maximum domain size100
Distribution of domain sizes[{"size":10,"count":100},{"size":100,"count":90}]
Minimum variable degree0
Maximum variable degree93
Distribution of variable degrees[{"degree":0,"count":10},{"degree":2,"count":90},{"degree":92,"count":10},{"degree":93,"count":90}]
Minimum constraint arity3
Maximum constraint arity101
Distribution of constraint arities[{"arity":3,"count":90},{"arity":10,"count":1},{"arity":100,"count":1},{"arity":101,"count":90}]
Number of extensional constraints0
Number of intensional constraints90
Distribution of constraint types[{"type":"intension","count":90},{"type":"allDifferent","count":1},{"type":"instantiation","count":1},{"type":"element","count":90}]
Optimization problemNO
Type of objective

Solver Data 

0.30/0.34	c root propagations     : 1620        
0.30/0.34	c restarts enabled, print stats at every restarts
0.30/0.34	c
0.30/0.34	c
0.30/0.34	c
0.30/0.34	c This is cosoco 1.12 --  
0.30/0.34	c
0.30/0.34	c command line: HOME/cosoco -lc -model -restarts HOME/instance-4295810-1532571428.xml 
0.30/0.34	c ========================================[ Problem Statistics ]===========================================
0.30/0.34	c |                                                                                                       
0.30/0.34	c |  Parse time        :         0.04 s 
0.30/0.34	c |
0.30/0.34	c |               Variables: 200
0.30/0.34	c |            Domain Sizes: 10..100
0.30/0.34	c |
0.30/0.34	c |             Constraints: 210
0.30/0.34	c |                   Arity: 1..101  -- Unary: 10  -- Ternary: 90
0.30/0.34	c | 
0.30/0.34	c |                   Types: 
0.30/0.34	c |                          All Different: 20
0.30/0.34	c |                          Element Constant: 90
0.30/0.34	c |                          Intension: 90
0.30/0.34	c |                          Unary: 10
0.30/0.34	c |                          
0.30/0.34	c =========================================================================================================
0.30/0.35	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
0.30/0.35	c remove useless variable y[0][0]
0.30/0.35	c remove useless variable y[1][1]
0.30/0.35	c remove useless variable y[2][2]
0.30/0.35	c remove useless variable y[3][3]
0.30/0.35	c remove useless variable y[4][4]
0.30/0.35	c remove useless variable y[5][5]
0.30/0.35	c remove useless variable y[6][6]
0.30/0.35	c remove useless variable y[7][7]
0.30/0.35	c remove useless variable y[8][8]
0.30/0.35	c remove useless variable y[9][9]
1.49/1.51	c 101            434            247202         150173         134            0              47   68   55   
2.39/2.44	c 211            931            539535         295147         134            0              41   58   51   
3.59/3.63	c 332            1491           845226         452413         134            0              35   56   43   
4.89/4.98	c 465            2124           1160827        650623         134            0              34   53   43   
6.49/6.52	c 611            2619           1483750        853508         134            0              37   52   43   
8.29/8.31	c 771            3525           1973161        1089814        134            0              27   58   46   
9.99/10.02	c 947            4299           2359398        1308241        134            0              35   55   44   
11.89/11.95	c 1140           5180           2919899        1592667        134            0              36   58   44   
13.89/14.00	c 1352           6199           3459094        1890064        134            0              32   60   43   
16.68/16.75	c 1585           7231           4088181        2192839        134            0              26   52   39   
19.18/19.21	c 1841           8515           4787199        2510658        134            0              34   60   45   
21.58/21.61	c 2122           9407           5382473        2883576        134            0              22   49   43   
24.38/24.41	c 2431           10788          6138425        3308102        134            0              31   53   41   
27.58/27.60	c 2770           12573          7136745        3756925        134            0              14   59   45   
30.28/30.34	c 3142           14549          8154693        4183436        134            0              33   58   45   
35.09/35.17	c 3551           16652          9338716        4827033        134            0              32   54   42   
39.68/39.72	c 4000           18917          10549404       5414164        134            0              29   54   42   
45.48/45.54	c 4493           21235          11918413       6186623        134            0              31   52   41   
50.09/50.16	c 5035           23200          12960601       6732360        134            0              18   51   39   
57.78/57.84	c 5631           25908          14529275       7678697        134            0              28   46   37   
63.48/63.56	c 6286           28746          16155961       8572495        134            0              34   56   44   
69.78/69.88	c 7006           31509          17738430       9410537        134            0              31   53   41   
77.38/77.43	c 7798           35402          19673380       10454626       134            0              28   58   43   
84.98/85.03	c 8669           39377          21894761       11578681       134            0              31   55   43   
92.67/92.71	c 9627           43422          24029480       12761704       134            0              33   59   46   
102.77/102.89	c 10680          48091          26574669       13963264       134            0              30   56   39   
115.37/115.43	c 11838          54614          29767669       15778338       134            0              25   58   42   
127.67/127.73	c 13111          61630          33128760       17642584       134            0              30   58   45   
141.08/141.16	c 14511          69009          36670788       19621594       134            0              31   63   43   
154.98/155.03	c 16051          75764          40201159       21718627       134            0              29   58   43   
169.37/169.40	c 17745          83575          44146921       23801029       134            0              33   57   43   
191.27/191.33	c 19608          91690          48862463       26377572       134            0              29   56   42   
209.98/210.02	c 21657          99915          53860312       29235914       134            0              27   58   43   
233.37/233.44	c 23910          110080         60051877       32494356       134            0              13   59   43   
251.07/251.19	c 26388          121405         66262236       35436325       134            0              29   61   51   
275.97/276.10	c 29113          135286         73122547       39319527       134            0              29   60   42   
302.66/302.75	c 32110          148635         80920309       43149780       134            0              33   60   44   
331.65/331.75	c 35406          163836         89796367       47621979       134            0              30   58   44   
363.65/363.77	c 39031          181279         98917221       52726905       134            0              30   60   44   
408.05/408.11	c 43018          198580         109852075      58410670       134            0              31   60   42   
453.84/453.90	c 47403          219619         120946319      64948999       134            0              27   58   42   
497.54/497.64	c 52226          243683         133017159      71708844       134            0              27   59   42   
538.74/538.86	c 57531          271636         146164413      78535766       134            0              28   61   44   
592.34/592.43	c 63366          301025         160427617      86656282       134            0              27   61   44   
651.14/651.27	c 69784          335783         179196793      95756211       134            0              30   62   45   
722.05/722.12	c 76843          367042         198731262      106012659      134            0              13   58   43   
795.53/795.64	c 84607          403909         218860477      116092739      134            0              26   60   41   
873.53/873.69	c 93147          441363         240660646      127274699      134            0              30   60   44   
947.13/947.24	c 102541         483708         261863464      137805602      134            0              29   59   43   
1033.04/1033.12	c 112874         531162         288217022      150299915      134            0              30   60   43   
1129.73/1129.84	c 124240         586586         315528225      164879601      134            0              28   62   42   
1277.82/1277.93	c 136742         640988         350458275      184368699      134            0              30   55   41   
1409.63/1409.70	c 150494         714509         386603473      204622954      134            0              27   61   44   
1529.93/1530.04	c 165621         780768         423056638      222867912      134            0              31   60   43   
1703.32/1703.49	c 182260         860682         466128830      247378626      134            0              25   59   40   
1884.21/1884.33	c 200562         941717         515162578      274026420      134            0              30   58   43   
2062.11/2062.28	c 220694         1042271        563330893      302327460      134            0              26   61   44   
2308.80/2308.95	c 242839         1142400        623768840      337418982      134            0              30   62   43   
2514.00/2514.17	c 267198         1258073        681323111      368119582      134            0              28   62   42   
2519.90/2520.00	
2519.90/2520.00	c *** INTERRUPTED ***
2519.90/2520.00	c restarts              : 59          
2519.90/2520.00	c conflicts             : 267765       (106 /sec)
2519.90/2520.00	c decisions             : 1260559      (500 /sec)
2519.90/2520.00	c propagations          : 368828392   (146367 /sec)
2519.90/2520.00	c root propagations     : 1620        
2519.90/2520.00	c filter calls          : 682862759      (270989 /sec)
2519.90/2520.00	c useless filter calls  : 559107900      (81 %)
2519.90/2520.00	c Memory used           : 28.83 MB
2519.90/2520.00	c CPU time              : 2519.89 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 (11623 MiB free)
  memory of node 1: 16384 MiB (9671 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4295810-1532571428/watcher-4295810-1532571428 -o /tmp/evaluation-result-4295810-1532571428/solver-4295810-1532571428 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node149-1532542931-30487 --watchdog 2580 HOME/cosoco -lc -model -restarts HOME/instance-4295810-1532571428.xml 

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

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


[startup+0.100107 s]*
/proc/loadavg: 2.08 2.03 2.05 3/187 2125
/proc/meminfo: memFree=21803936/32770624 swapFree=67108860/67108860
[pid=2124] ppid=2121 vsize=29124 memory=5644 CPUtime=0.1 cores=0,2,4,6
/proc/2124/stat : 2124 (cosoco) R 2121 2124 30456 0 -1 4202496 1596 0 0 0 10 0 0 0 20 0 1 0 74705954 29822976 1411 33554432000 4194304 6142532 140734643575520 140734643572152 5363633 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 27566080 140734643582086 140734643582216 140734643582216 140734643584974 0
/proc/2124/statm: 7281 1411 827 476 0 603 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 29124 KiB
Current children cumulated memory: 5644 KiB

[startup+0.209432 s]*
/proc/loadavg: 2.08 2.03 2.05 3/187 2125
/proc/meminfo: memFree=21803884/32770624 swapFree=67108860/67108860
[pid=2124] ppid=2121 vsize=29256 memory=5644 CPUtime=0.21 cores=0,2,4,6
/proc/2124/stat : 2124 (cosoco) R 2121 2124 30456 0 -1 4202496 1629 0 0 0 21 0 0 0 20 0 1 0 74705954 29958144 1411 33554432000 4194304 6142532 140734643575520 140734643572648 139872966089701 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 27566080 140734643582086 140734643582216 140734643582216 140734643584974 0
/proc/2124/statm: 7314 1411 827 476 0 636 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 29256 KiB
Current children cumulated memory: 5644 KiB

[startup+0.308831 s]*
/proc/loadavg: 2.08 2.03 2.05 3/187 2125
/proc/meminfo: memFree=21803884/32770624 swapFree=67108860/67108860
[pid=2124] ppid=2121 vsize=29388 memory=5908 CPUtime=0.3 cores=0,2,4,6
/proc/2124/stat : 2124 (cosoco) R 2121 2124 30456 0 -1 4202496 1659 0 0 0 30 0 0 0 20 0 1 0 74705954 30093312 1477 33554432000 4194304 6142532 140734643575520 140734643572648 5048042 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 27566080 140734643582086 140734643582216 140734643582216 140734643584974 0
/proc/2124/statm: 7347 1477 854 476 0 669 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 29388 KiB
Current children cumulated memory: 5908 KiB

[startup+0.700224 s]
/proc/loadavg: 2.08 2.03 2.05 3/187 2125
/proc/meminfo: memFree=21803884/32770624 swapFree=67108860/67108860
[pid=2124] ppid=2121 vsize=29520 memory=5908 CPUtime=0.69 cores=0,2,4,6
/proc/2124/stat : 2124 (cosoco) R 2121 2124 30456 0 -1 4202496 1687 0 0 0 69 0 0 0 20 0 1 0 74705954 30228480 1477 33554432000 4194304 6142532 140734643575520 140734643572296 5146708 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 27566080 140734643582086 140734643582216 140734643582216 140734643584974 0
/proc/2124/statm: 7380 1477 854 476 0 702 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 29520 KiB
Current children cumulated memory: 5908 KiB

[startup+1.50023 s]
/proc/loadavg: 2.08 2.03 2.05 3/187 2125
/proc/meminfo: memFree=21803884/32770624 swapFree=67108860/67108860
[pid=2124] ppid=2121 vsize=29520 memory=5908 CPUtime=1.49 cores=0,2,4,6
/proc/2124/stat : 2124 (cosoco) R 2121 2124 30456 0 -1 4202496 1687 0 0 0 149 0 0 0 20 0 1 0 74705954 30228480 1477 33554432000 4194304 6142532 140734643575520 140734643572296 5367130 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 27566080 140734643582086 140734643582216 140734643582216 140734643584974 0
/proc/2124/statm: 7380 1477 854 476 0 702 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 29520 KiB
Current children cumulated memory: 5908 KiB

[startup+3.10894 s]
/proc/loadavg: 2.08 2.03 2.05 3/187 2125
/proc/meminfo: memFree=21803800/32770624 swapFree=67108860/67108860
[pid=2124] ppid=2121 vsize=29520 memory=6124 CPUtime=3.1 cores=0,2,4,6
/proc/2124/stat : 2124 (cosoco) R 2121 2124 30456 0 -1 4202496 2300 0 0 0 310 0 0 0 20 0 1 0 74705954 30228480 1531 33554432000 4194304 6142532 140734643575520 140734643572920 5366776 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 27566080 140734643582086 140734643582216 140734643582216 140734643584974 0
/proc/2124/statm: 7380 1531 856 476 0 702 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 29520 KiB
Current children cumulated memory: 6124 KiB

[startup+6.30023 s]
/proc/loadavg: 2.08 2.03 2.05 3/187 2125
/proc/meminfo: memFree=21803376/32770624 swapFree=67108860/67108860
[pid=2124] ppid=2121 vsize=29520 memory=6124 CPUtime=6.29 cores=0,2,4,6
/proc/2124/stat : 2124 (cosoco) R 2121 2124 30456 0 -1 4202496 2913 0 0 0 629 0 0 0 20 0 1 0 74705954 30228480 1531 33554432000 4194304 6142532 140734643575520 140734643572920 5361722 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 27566080 140734643582086 140734643582216 140734643582216 140734643584974 0
/proc/2124/statm: 7380 1531 856 476 0 702 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 29520 KiB
Current children cumulated memory: 6124 KiB

[startup+12.7002 s]
/proc/loadavg: 2.07 2.03 2.05 3/187 2125
/proc/meminfo: memFree=21803376/32770624 swapFree=67108860/67108860
[pid=2124] ppid=2121 vsize=29520 memory=6124 CPUtime=12.68 cores=0,2,4,6
/proc/2124/stat : 2124 (cosoco) R 2121 2124 30456 0 -1 4202496 3527 0 0 0 1268 0 0 0 20 0 1 0 74705954 30228480 1531 33554432000 4194304 6142532 140734643575520 140734643572920 5363675 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 27566080 140734643582086 140734643582216 140734643582216 140734643584974 0
/proc/2124/statm: 7380 1531 856 476 0 702 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 29520 KiB
Current children cumulated memory: 6124 KiB

[startup+25.5002 s]
/proc/loadavg: 2.05 2.03 2.05 3/187 2125
/proc/meminfo: memFree=21803500/32770624 swapFree=67108860/67108860
[pid=2124] ppid=2121 vsize=29520 memory=6124 CPUtime=25.48 cores=0,2,4,6
/proc/2124/stat : 2124 (cosoco) R 2121 2124 30456 0 -1 4202496 4754 0 0 0 2548 0 0 0 20 0 1 0 74705954 30228480 1531 33554432000 4194304 6142532 140734643575520 140734643572920 5146800 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 27566080 140734643582086 140734643582216 140734643582216 140734643584974 0
/proc/2124/statm: 7380 1531 856 476 0 702 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 29520 KiB
Current children cumulated memory: 6124 KiB

[startup+51.1089 s]
/proc/loadavg: 2.04 2.03 2.05 3/187 2125
/proc/meminfo: memFree=21803500/32770624 swapFree=67108860/67108860
[pid=2124] ppid=2121 vsize=29520 memory=6124 CPUtime=51.09 cores=0,2,4,6
/proc/2124/stat : 2124 (cosoco) R 2121 2124 30456 0 -1 4202496 5367 0 0 0 5109 0 0 0 20 0 1 0 74705954 30228480 1531 33554432000 4194304 6142532 140734643575520 140734643572920 5146764 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 27566080 140734643582086 140734643582216 140734643582216 140734643584974 0
/proc/2124/statm: 7380 1531 856 476 0 702 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 29520 KiB
Current children cumulated memory: 6124 KiB

[startup+102.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/187 2126
/proc/meminfo: memFree=21803616/32770624 swapFree=67108860/67108860
[pid=2124] ppid=2121 vsize=29520 memory=6124 CPUtime=102.27 cores=0,2,4,6
/proc/2124/stat : 2124 (cosoco) R 2121 2124 30456 0 -1 4202496 5980 0 0 0 10227 0 0 0 20 0 1 0 74705954 30228480 1531 33554432000 4194304 6142532 140734643575520 140734643572920 5363572 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 27566080 140734643582086 140734643582216 140734643582216 140734643584974 0
/proc/2124/statm: 7380 1531 856 476 0 702 0
Current children cumulated CPU time: 102.27 s
Current children cumulated vsize: 29520 KiB
Current children cumulated memory: 6124 KiB

[startup+162.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 2127
/proc/meminfo: memFree=21803096/32770624 swapFree=67108860/67108860
[pid=2124] ppid=2121 vsize=29520 memory=6124 CPUtime=162.28 cores=0,2,4,6
/proc/2124/stat : 2124 (cosoco) R 2121 2124 30456 0 -1 4202496 6593 0 0 0 16227 1 0 0 20 0 1 0 74705954 30228480 1531 33554432000 4194304 6142532 140734643575520 140734643572920 5361271 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 27566080 140734643582086 140734643582216 140734643582216 140734643584974 0
/proc/2124/statm: 7380 1531 856 476 0 702 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 29520 KiB
Current children cumulated memory: 6124 KiB

[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 2135
/proc/meminfo: memFree=21802324/32770624 swapFree=67108860/67108860
[pid=2124] ppid=2121 vsize=29520 memory=6124 CPUtime=222.27 cores=0,2,4,6
/proc/2124/stat : 2124 (cosoco) R 2121 2124 30456 0 -1 4202496 7207 0 0 0 22226 1 0 0 20 0 1 0 74705954 30228480 1531 33554432000 4194304 6142532 140734643575520 140734643572920 5363545 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 27566080 140734643582086 140734643582216 140734643582216 140734643584974 0
/proc/2124/statm: 7380 1531 856 476 0 702 0
Current children cumulated CPU time: 222.27 s
Current children cumulated vsize: 29520 KiB
Current children cumulated memory: 6124 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 2136
/proc/meminfo: memFree=21802288/32770624 swapFree=67108860/67108860
[pid=2124] ppid=2121 vsize=29520 memory=6124 CPUtime=282.26 cores=0,2,4,6
/proc/2124/stat : 2124 (cosoco) R 2121 2124 30456 0 -1 4202496 7821 0 0 0 28225 1 0 0 20 0 1 0 74705954 30228480 1531 33554432000 4194304 6142532 140734643575520 140734643572920 139872967015844 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 27566080 140734643582086 140734643582216 140734643582216 140734643584974 0
/proc/2124/statm: 7380 1531 856 476 0 702 0
Current children cumulated CPU time: 282.26 s
Current children cumulated vsize: 29520 KiB
Current children cumulated memory: 6124 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 2137
/proc/meminfo: memFree=21802112/32770624 swapFree=67108860/67108860
[pid=2124] ppid=2121 vsize=29520 memory=6124 CPUtime=342.25 cores=0,2,4,6
/proc/2124/stat : 2124 (cosoco) R 2121 2124 30456 0 -1 4202496 8434 0 0 0 34224 1 0 0 20 0 1 0 74705954 30228480 1531 33554432000 4194304 6142532 140734643575520 140734643572920 5374330 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 27566080 140734643582086 140734643582216 140734643582216 140734643584974 0
/proc/2124/statm: 7380 1531 856 476 0 702 0
Current children cumulated CPU time: 342.25 s
Current children cumulated vsize: 29520 KiB
Current children cumulated memory: 6124 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 2138
/proc/meminfo: memFree=21802236/32770624 swapFree=67108860/67108860
[pid=2124] ppid=2121 vsize=29520 memory=6124 CPUtime=402.25 cores=0,2,4,6
/proc/2124/stat : 2124 (cosoco) R 2121 2124 30456 0 -1 4202496 9048 0 0 0 40224 1 0 0 20 0 1 0 74705954 30228480 1531 33554432000 4194304 6142532 140734643575520 140734643572920 5366713 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 27566080 140734643582086 140734643582216 140734643582216 140734643584974 0
/proc/2124/statm: 7380 1531 856 476 0 702 0
Current children cumulated CPU time: 402.25 s
Current children cumulated vsize: 29520 KiB
Current children cumulated memory: 6124 KiB

[startup+462.3 s]
/proc/loadavg: 1.97 2.00 2.04 3/187 2139
/proc/meminfo: memFree=21802892/32770624 swapFree=67108860/67108860
[pid=2124] ppid=2121 vsize=29520 memory=6124 CPUtime=462.24 cores=0,2,4,6
/proc/2124/stat : 2124 (cosoco) R 2121 2124 30456 0 -1 4202496 9661 0 0 0 46223 1 0 0 20 0 1 0 74705954 30228480 1531 33554432000 4194304 6142532 140734643575520 140734643572920 5361306 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 27566080 140734643582086 140734643582216 140734643582216 140734643584974 0
/proc/2124/statm: 7380 1531 856 476 0 702 0
Current children cumulated CPU time: 462.24 s
Current children cumulated vsize: 29520 KiB
Current children cumulated memory: 6124 KiB


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

/proc/2124/statm: 7380 1531 856 476 0 702 0
Current children cumulated CPU time: 1722.22 s
Current children cumulated vsize: 29520 KiB
Current children cumulated memory: 6124 KiB

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 2241
/proc/meminfo: memFree=21801620/32770624 swapFree=67108860/67108860
[pid=2124] ppid=2121 vsize=29520 memory=6124 CPUtime=1782.21 cores=0,2,4,6
/proc/2124/stat : 2124 (cosoco) R 2121 2124 30456 0 -1 4202496 22850 0 0 0 178219 2 0 0 20 0 1 0 74705954 30228480 1531 33554432000 4194304 6142532 140734643575520 140734643572920 5367420 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 27566080 140734643582086 140734643582216 140734643582216 140734643584974 0
/proc/2124/statm: 7380 1531 856 476 0 702 0
Current children cumulated CPU time: 1782.21 s
Current children cumulated vsize: 29520 KiB
Current children cumulated memory: 6124 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 2242
/proc/meminfo: memFree=21801876/32770624 swapFree=67108860/67108860
[pid=2124] ppid=2121 vsize=29520 memory=6124 CPUtime=1842.21 cores=0,2,4,6
/proc/2124/stat : 2124 (cosoco) R 2121 2124 30456 0 -1 4202496 23425 0 0 0 184219 2 0 0 20 0 1 0 74705954 30228480 1531 33554432000 4194304 6142532 140734643575520 140734643572920 5060592 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 27566080 140734643582086 140734643582216 140734643582216 140734643584974 0
/proc/2124/statm: 7380 1531 856 476 0 702 0
Current children cumulated CPU time: 1842.21 s
Current children cumulated vsize: 29520 KiB
Current children cumulated memory: 6124 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 2243
/proc/meminfo: memFree=21801796/32770624 swapFree=67108860/67108860
[pid=2124] ppid=2121 vsize=29520 memory=6124 CPUtime=1902.21 cores=0,2,4,6
/proc/2124/stat : 2124 (cosoco) R 2121 2124 30456 0 -1 4202496 24038 0 0 0 190219 2 0 0 20 0 1 0 74705954 30228480 1531 33554432000 4194304 6142532 140734643575520 140734643572920 5372473 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 27566080 140734643582086 140734643582216 140734643582216 140734643584974 0
/proc/2124/statm: 7380 1531 856 476 0 702 0
Current children cumulated CPU time: 1902.21 s
Current children cumulated vsize: 29520 KiB
Current children cumulated memory: 6124 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 2244
/proc/meminfo: memFree=21802048/32770624 swapFree=67108860/67108860
[pid=2124] ppid=2121 vsize=29520 memory=6124 CPUtime=1962.21 cores=0,2,4,6
/proc/2124/stat : 2124 (cosoco) R 2121 2124 30456 0 -1 4202496 24617 0 0 0 196219 2 0 0 20 0 1 0 74705954 30228480 1531 33554432000 4194304 6142532 140734643575520 140734643572920 5363536 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 27566080 140734643582086 140734643582216 140734643582216 140734643584974 0
/proc/2124/statm: 7380 1531 856 476 0 702 0
Current children cumulated CPU time: 1962.21 s
Current children cumulated vsize: 29520 KiB
Current children cumulated memory: 6124 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 2253
/proc/meminfo: memFree=21800896/32770624 swapFree=67108860/67108860
[pid=2124] ppid=2121 vsize=29520 memory=6124 CPUtime=2022.21 cores=0,2,4,6
/proc/2124/stat : 2124 (cosoco) R 2121 2124 30456 0 -1 4202496 25196 0 0 0 202219 2 0 0 20 0 1 0 74705954 30228480 1531 33554432000 4194304 6142532 140734643575520 140734643572920 5372476 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 27566080 140734643582086 140734643582216 140734643582216 140734643584974 0
/proc/2124/statm: 7380 1531 856 476 0 702 0
Current children cumulated CPU time: 2022.21 s
Current children cumulated vsize: 29520 KiB
Current children cumulated memory: 6124 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 2254
/proc/meminfo: memFree=21801072/32770624 swapFree=67108860/67108860
[pid=2124] ppid=2121 vsize=29520 memory=6124 CPUtime=2082.21 cores=0,2,4,6
/proc/2124/stat : 2124 (cosoco) R 2121 2124 30456 0 -1 4202496 25809 0 0 0 208219 2 0 0 20 0 1 0 74705954 30228480 1531 33554432000 4194304 6142532 140734643575520 140734643572920 5361690 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 27566080 140734643582086 140734643582216 140734643582216 140734643584974 0
/proc/2124/statm: 7380 1531 856 476 0 702 0
Current children cumulated CPU time: 2082.21 s
Current children cumulated vsize: 29520 KiB
Current children cumulated memory: 6124 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 2255
/proc/meminfo: memFree=21801124/32770624 swapFree=67108860/67108860
[pid=2124] ppid=2121 vsize=29520 memory=6124 CPUtime=2142.2 cores=0,2,4,6
/proc/2124/stat : 2124 (cosoco) R 2121 2124 30456 0 -1 4202496 26375 0 0 0 214218 2 0 0 20 0 1 0 74705954 30228480 1531 33554432000 4194304 6142532 140734643575520 140734643572920 5374088 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 27566080 140734643582086 140734643582216 140734643582216 140734643584974 0
/proc/2124/statm: 7380 1531 856 476 0 702 0
Current children cumulated CPU time: 2142.2 s
Current children cumulated vsize: 29520 KiB
Current children cumulated memory: 6124 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 2256
/proc/meminfo: memFree=21801128/32770624 swapFree=67108860/67108860
[pid=2124] ppid=2121 vsize=29520 memory=6124 CPUtime=2202.2 cores=0,2,4,6
/proc/2124/stat : 2124 (cosoco) R 2121 2124 30456 0 -1 4202496 26944 0 0 0 220218 2 0 0 20 0 1 0 74705954 30228480 1531 33554432000 4194304 6142532 140734643575520 140734643572920 5363644 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 27566080 140734643582086 140734643582216 140734643582216 140734643584974 0
/proc/2124/statm: 7380 1531 856 476 0 702 0
Current children cumulated CPU time: 2202.2 s
Current children cumulated vsize: 29520 KiB
Current children cumulated memory: 6124 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 2257
/proc/meminfo: memFree=21801312/32770624 swapFree=67108860/67108860
[pid=2124] ppid=2121 vsize=29520 memory=6124 CPUtime=2262.2 cores=0,2,4,6
/proc/2124/stat : 2124 (cosoco) R 2121 2124 30456 0 -1 4202496 27509 0 0 0 226218 2 0 0 20 0 1 0 74705954 30228480 1531 33554432000 4194304 6142532 140734643575520 140734643572920 5366795 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 27566080 140734643582086 140734643582216 140734643582216 140734643584974 0
/proc/2124/statm: 7380 1531 856 476 0 702 0
Current children cumulated CPU time: 2262.2 s
Current children cumulated vsize: 29520 KiB
Current children cumulated memory: 6124 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 2259
/proc/meminfo: memFree=21801108/32770624 swapFree=67108860/67108860
[pid=2124] ppid=2121 vsize=29520 memory=6124 CPUtime=2322.2 cores=0,2,4,6
/proc/2124/stat : 2124 (cosoco) R 2121 2124 30456 0 -1 4202496 28122 0 0 0 232218 2 0 0 20 0 1 0 74705954 30228480 1531 33554432000 4194304 6142532 140734643575520 140734643572920 5374069 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 27566080 140734643582086 140734643582216 140734643582216 140734643584974 0
/proc/2124/statm: 7380 1531 856 476 0 702 0
Current children cumulated CPU time: 2322.2 s
Current children cumulated vsize: 29520 KiB
Current children cumulated memory: 6124 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 2260
/proc/meminfo: memFree=21801160/32770624 swapFree=67108860/67108860
[pid=2124] ppid=2121 vsize=29520 memory=6124 CPUtime=2382.2 cores=0,2,4,6
/proc/2124/stat : 2124 (cosoco) R 2121 2124 30456 0 -1 4202496 28710 0 0 0 238218 2 0 0 20 0 1 0 74705954 30228480 1531 33554432000 4194304 6142532 140734643575520 140734643572920 4991580 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 27566080 140734643582086 140734643582216 140734643582216 140734643584974 0
/proc/2124/statm: 7380 1531 856 476 0 702 0
Current children cumulated CPU time: 2382.2 s
Current children cumulated vsize: 29520 KiB
Current children cumulated memory: 6124 KiB

[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 2261
/proc/meminfo: memFree=21801208/32770624 swapFree=67108860/67108860
[pid=2124] ppid=2121 vsize=29520 memory=6124 CPUtime=2442.19 cores=0,2,4,6
/proc/2124/stat : 2124 (cosoco) R 2121 2124 30456 0 -1 4202496 29297 0 0 0 244217 2 0 0 20 0 1 0 74705954 30228480 1531 33554432000 4194304 6142532 140734643575520 140734643572920 5371837 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 27566080 140734643582086 140734643582216 140734643582216 140734643584974 0
/proc/2124/statm: 7380 1531 856 476 0 702 0
Current children cumulated CPU time: 2442.19 s
Current children cumulated vsize: 29520 KiB
Current children cumulated memory: 6124 KiB

[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 2263
/proc/meminfo: memFree=21801136/32770624 swapFree=67108860/67108860
[pid=2124] ppid=2121 vsize=29520 memory=6124 CPUtime=2502.19 cores=0,2,4,6
/proc/2124/stat : 2124 (cosoco) R 2121 2124 30456 0 -1 4202496 29884 0 0 0 250217 2 0 0 20 0 1 0 74705954 30228480 1531 33554432000 4194304 6142532 140734643575520 140734643572920 4965024 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 27566080 140734643582086 140734643582216 140734643582216 140734643584974 0
/proc/2124/statm: 7380 1531 856 476 0 702 0
Current children cumulated CPU time: 2502.19 s
Current children cumulated vsize: 29520 KiB
Current children cumulated memory: 6124 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 2263
/proc/meminfo: memFree=21801136/32770624 swapFree=67108860/67108860
[pid=2124] ppid=2121 vsize=29520 memory=6124 CPUtime=2519.9 cores=0,2,4,6
/proc/2124/stat : 2124 (cosoco) R 2121 2124 30456 0 -1 4202496 30484 0 0 0 251988 2 0 0 20 0 1 0 74705954 30228480 1531 33554432000 4194304 6142532 140734643575520 140734643572920 139872967013964 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 27566080 140734643582086 140734643582216 140734643582216 140734643584974 0
/proc/2124/statm: 7380 1531 856 476 0 702 0
Current children cumulated CPU time: 2519.9 s
Current children cumulated vsize: 29520 KiB
Current children cumulated memory: 6124 KiB

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

[startup+2520.01 s]
# the end of solver process 2124 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2519.89 s, system=0.024999 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.89
CPU system time (s): 0.024999
CPU usage (%): 99.9961
Max. virtual memory (cumulated for all children) (KiB): 29520
Max. memory (cumulated for all children) (KiB): 6124

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.89
system time used= 0.024999
maximum resident set size= 6188
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30532
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 15
involuntary context switches= 3134


# summary of solver processes directly reported to runsolver:
#   pid: 2124
#   total CPU time (s): 2519.91
#   total CPU user time (s): 2519.89
#   total CPU system time (s): 0.024999

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.66149 second user time and 16.5225 second system time

The end

Launcher Data 

Begin job on node149 at 2018-07-26 04:17:08
IDJOB=4295810
IDBENCH=141604
IDSOLVER=2752
FILE ID=node149/4295810-1532571428
RUNJOBID= node149-1532542931-30487
PBS_JOBID= 21021951
Free space on /tmp= 43260 MiB

SOLVER NAME= cosoco 1.12
BENCH NAME= XCSP18/Quasigroups/QuasiGroup-4-10_c18.xml
COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4295810-1532571428/watcher-4295810-1532571428 -o /tmp/evaluation-result-4295810-1532571428/solver-4295810-1532571428 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node149-1532542931-30487 --watchdog 2580  HOME/cosoco -lc -model -restarts HOME/instance-4295810-1532571428.xml

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

MD5SUM BENCH= 13340ae912518807f9e2f6bcededa797
RANDOM SEED=1485201832

node149.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.60
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.60
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.60
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.60
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:        21806700 kB
MemAvailable:   31926996 kB
Buffers:          138008 kB
Cached:         10125728 kB
SwapCached:            0 kB
Active:          2344404 kB
Inactive:        7975088 kB
Active(anon):       3980 kB
Inactive(anon):    79884 kB
Active(file):    2340424 kB
Inactive(file):  7895204 kB
Unevictable:        7608 kB
Mlocked:            7608 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              2648 kB
Writeback:             0 kB
AnonPages:         68780 kB
Mapped:            41904 kB
Shmem:             25224 kB
Slab:             341820 kB
SReclaimable:     313128 kB
SUnreclaim:        28692 kB
KernelStack:        3360 kB
PageTables:         5392 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     353964 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:      118144 kB
DirectMap2M:    33427456 kB

Free space on /tmp at the end= 43256 MiB
End job on node149 at 2018-07-26 04:59:08