Trace number 4299055

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

NameQuasigroups_mini/
QuasiGroup-v7-10_mini_c18.xml
MD5SUMba10c53a53c6ac87d986792da34ee429
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.783118
Satisfiable
(Un)Satisfiability was proved
Number of variables200
Number of constraints210
Number of domains1
Minimum domain size10
Maximum domain size10
Distribution of domain sizes[{"size":10,"count":190}]
Minimum variable degree0
Maximum variable degree22
Distribution of variable degrees[{"degree":0,"count":10},{"degree":2,"count":90},{"degree":21,"count":10},{"degree":22,"count":90}]
Minimum constraint arity1
Maximum constraint arity12
Distribution of constraint arities[{"arity":1,"count":10},{"arity":10,"count":20},{"arity":12,"count":180}]
Number of extensional constraints0
Number of intensional constraints10
Distribution of constraint types[{"type":"intension","count":10},{"type":"allDifferent","count":20},{"type":"element","count":180}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.01	c root propagations     : 50          
0.00/0.01	c restarts enabled, print stats at every restarts
0.00/0.01	c
0.00/0.01	c
0.00/0.01	c
0.00/0.01	c This is cosoco 1.12 --  
0.00/0.01	c
0.00/0.01	c command line: HOME/cosoco -lc -model -restarts HOME/instance-4299055-1532785233.xml 
0.00/0.01	c ========================================[ Problem Statistics ]===========================================
0.00/0.01	c |                                                                                                       
0.00/0.01	c |  Parse time        :         0.01 s 
0.00/0.01	c |
0.00/0.01	c |               Variables: 200
0.00/0.01	c |            Domain Sizes: 10..10
0.00/0.01	c |
0.00/0.01	c |             Constraints: 210
0.00/0.01	c |                   Arity: 1..12  -- Unary: 10
0.00/0.01	c | 
0.00/0.01	c |                   Types: 
0.00/0.01	c |                          All Different: 20
0.00/0.01	c |                          Element Variable: 180
0.00/0.01	c |                          Unary: 10
0.00/0.01	c |                          
0.00/0.01	c =========================================================================================================
0.00/0.01	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
0.00/0.01	c remove useless variable y[0][0]
0.00/0.01	c remove useless variable y[1][1]
0.00/0.01	c remove useless variable y[2][2]
0.00/0.01	c remove useless variable y[3][3]
0.00/0.01	c remove useless variable y[4][4]
0.00/0.01	c remove useless variable y[5][5]
0.00/0.01	c remove useless variable y[6][6]
0.00/0.01	c remove useless variable y[7][7]
0.00/0.01	c remove useless variable y[8][8]
0.00/0.01	c remove useless variable y[9][9]
0.00/0.03	c 101            457            52742          25694          44             0              35   52   41   
0.00/0.04	c 211            754            83149          39505          44             0              27   46   36   
0.00/0.06	c 332            1070           128274         60902          44             0              24   45   36   
0.00/0.08	c 465            1424           178460         82206          44             0              29   44   35   
0.00/0.09	c 611            1813           226956         104907         44             0              26   40   33   
0.10/0.12	c 771            2277           290255         133959         44             0              26   45   36   
0.10/0.15	c 947            2848           372104         171998         44             0              25   48   32   
0.10/0.18	c 1140           3448           451164         205288         44             0              21   42   34   
0.10/0.21	c 1352           4086           528899         240710         44             0              21   41   34   
0.21/0.26	c 1585           4980           649749         290208         44             0              24   40   32   
0.21/0.28	c 1841           5641           714469         321122         44             0              29   44   35   
0.21/0.31	c 2122           6430           803116         357656         44             0              26   39   31   
0.31/0.36	c 2431           7303           917314         411707         44             0              25   44   34   
0.31/0.41	c 2770           8228           1049419        472734         44             0              26   43   34   
0.41/0.45	c 3142           9205           1163401        530812         44             0              26   45   35   
0.51/0.53	c 3551           10577          1361484        616743         44             0              24   44   33   
0.51/0.59	c 4000           11898          1521383        693441         44             0              26   46   35   
0.60/0.68	c 4493           13639          1765237        801898         44             0              24   42   32   
0.69/0.77	c 5035           15448          2008138        897618         44             0              25   41   31   
0.79/0.84	c 5631           17170          2212945        987679         44             0              25   46   33   
0.89/0.94	c 6286           19106          2454174        1104855        44             0              26   45   34   
1.00/1.04	c 7006           21283          2731358        1230840        44             0              26   45   34   
1.10/1.16	c 7798           23705          3033621        1363202        44             0              23   42   32   
1.19/1.28	c 8669           26762          3349776        1505200        44             0              24   47   35   
1.39/1.40	c 9627           29585          3690100        1643184        44             0              25   44   33   
1.49/1.57	c 10680          33176          4132815        1821233        44             0              22   43   31   
1.69/1.73	c 11838          36665          4576377        2000409        44             0              24   45   32   
1.79/1.90	c 13111          40931          5011139        2182185        44             0              18   42   31   
2.10/2.13	c 14511          45679          5643020        2473386        44             0              22   46   31   
2.29/2.32	c 16051          50323          6162440        2690176        44             0              22   45   32   
2.49/2.57	c 17745          56358          6842294        2985663        44             0              23   45   33   
2.79/2.86	c 19608          62221          7635931        3322248        44             0              22   42   31   
3.10/3.16	c 21657          69366          8448645        3664973        44             0              23   44   32   
3.49/3.52	c 23910          77107          9404540        4121959        44             0              20   46   32   
3.79/3.89	c 26388          85419          10401185       4587141        44             0              24   46   32   
4.29/4.33	c 29113          94466          11579080       5112933        44             0              22   44   31   
4.79/4.84	c 32110          103821         12935907       5752326        44             0              21   45   29   
5.29/5.35	c 35406          116233         14314569       6386756        44             0              25   49   33   
5.99/6.02	c 39031          130416         16090173       7205607        44             0              19   46   33   
6.69/6.73	c 43018          145816         17975281       8052000        44             0              19   49   33   
7.29/7.36	c 47403          159247         19648024       8824596        44             0              21   48   32   
7.89/7.95	c 52226          172221         21218035       9563930        44             0              23   46   33   
8.59/8.64	c 57531          188197         23095312       10392638       44             0              24   49   33   
9.19/9.28	c 63366          205432         24814769       11062768       44             0              17   44   29   
10.29/10.33	c 69784          226541         27543906       12289347       44             0              19   50   34   
11.28/11.30	c 76843          247475         30136082       13567808       44             0              21   48   32   
12.28/12.34	c 84607          271870         32967016       14919478       44             0              24   48   34   
13.18/13.26	c 93147          298184         35404182       15818770       44             0              14   45   27   
14.28/14.37	c 102541         322357         38360904       17259944       44             0              24   47   33   
15.78/15.83	c 112874         357833         42334853       18892809       44             0              23   49   35   
17.18/17.28	c 124240         388105         46239733       20831530       44             0              22   48   34   
18.68/18.75	c 136742         425372         50268592       22808864       44             0              22   49   34   
20.58/20.68	c 150494         462516         55343507       25308446       44             0              22   46   33   
22.68/22.72	c 165621         508399         60715709       27971794       44             0              19   46   33   
24.78/24.87	c 182260         557985         66448473       30795411       44             0              19   47   33   
27.38/27.47	c 200562         607354         73286245       34111255       44             0              18   49   33   
30.09/30.18	c 220694         665484         80548669       37610374       44             0              22   48   32   
32.88/32.97	c 242839         742173         88148638       40659085       44             0              21   49   34   
36.88/36.90	c 267198         832192         98694479       45325482       44             0              18   47   32   
40.59/40.62	c 293992         919582         108758056      49761471       44             0              20   51   32   
44.59/44.60	c 323465         1016444        119381343      54347268       44             0              21   52   35   
49.69/49.78	c 355885         1127485        133134941      60251758       44             0              18   48   31   
55.00/55.08	c 391547         1237862        147310610      67062421       44             0              21   52   32   
61.10/61.13	c 430775         1364533        163593012      74188967       44             0              19   46   31   
67.09/67.12	c 473925         1495194        179530874      81661257       44             0              18   50   33   
74.29/74.40	c 521390         1647963        199195683      90253429       44             0              18   49   31   
81.99/82.05	c 573601         1829657        219533591      99284787       44             0              22   51   35   
89.88/89.95	c 631033         2018196        241002541      109017414      44             0              19   52   34   
97.88/97.94	c 694208         2204011        262586701      119204137      44             0              21   50   33   
107.88/107.99	c 763700         2436885        289741522      130481478      44             0              20   49   32   
118.58/118.61	c 840141         2661948        318009281      144190051      44             0              18   51   32   
129.68/129.72	c 924226         2951562        347397439      156374164      44             0              17   49   32   
142.09/142.17	c 1016719        3228587        381465317      170380909      44             0              19   47   31   
156.27/156.35	c 1118461        3577832        420129628      186304694      44             0              17   48   33   
171.47/171.58	c 1230377        3908287        460699473      205049040      44             0              18   50   33   
189.47/189.59	c 1353484        4325731        509606481      226046231      44             0              18   53   35   
208.57/208.67	c 1488901        4775990        561294138      246924735      44             0              19   50   32   
227.68/227.72	c 1637859        5257693        611754435      268113916      44             0              19   53   33   
248.78/248.80	c 1801712        5795551        669522752      292912740      44             0              19   52   33   
272.18/272.24	c 1981950        6399585        731498323      318502670      44             0              17   51   33   
301.18/301.21	c 2180211        7095676        809490518      352122520      44             0              19   50   35   
328.88/329.00	c 2398298        7743019        885374801      386478070      44             0              17   53   33   
364.49/364.56	c 2638193        8573851        981439837      425438499      44             0              18   50   33   
400.69/400.71	c 2902077        9489704        1080494251     469299708      44             0              20   52   33   
441.39/441.47	c 3192349        10412779       1189913415     516167660      44             0              19   49   31   
477.30/477.39	c 3511648        11327093       1289077327     556005069      44             0              18   49   33   
524.60/524.69	c 3862876        12404454       1416251411     609456872      44             0              19   52   32   
577.11/577.15	c 4249226        13727857       1560016373     674007211      44             0              19   51   33   
634.51/634.56	c 4674211        15119550       1717834162     738168497      44             0              17   50   32   
698.71/698.74	c 5141694        16642057       1892249230     816037216      44             0              16   51   33   
771.13/771.16	c 5655925        18345284       2090587898     899785278      44             0              16   52   31   
839.13/839.15	c 6221579        20153126       2273324084     978415162      44             0              15   51   31   
923.43/923.41	c 6843798        22188227       2504358331     1076253443     44             0              17   51   32   
1019.74/1019.79	c 7528238        24400093       2768173877     1189418018     44             0              17   54   31   
1122.45/1122.43	c 8281122        26755823       3050695858     1311725351     44             0              17   52   34   
1237.07/1237.10	c 9109294        29621570       3364498042     1450467823     44             0              15   52   34   
1351.18/1351.12	c 10020283       32563129       3679887206     1583436288     44             0              17   50   32   
1502.88/1502.80	c 11022370       36079395       4097684077     1756760384     44             0              16   51   31   
1648.10/1648.01	c 12124665       39979127       4497010955     1939690297     44             0              16   54   34   
1815.40/1815.39	c 13337189       43785647       4951119387     2155931515     44             0              12   54   34   
2024.72/2024.62	c 14670965       48170030       5522499814     2400388894     44             0              18   51   32   
2235.15/2235.03	c 16138118       53071705       6092388712     2659657809     44             0              16   52   33   
2466.76/2466.62	c 17751986       58267648       6723910800     2938955423     44             0              16   54   32   
2520.06/2519.90	
2520.06/2519.90	c *** INTERRUPTED ***
2520.06/2519.90	c restarts              : 103         
2520.06/2519.90	c conflicts             : 18126254     (7193 /sec)
2520.06/2519.90	c decisions             : 59692398     (23687 /sec)
2520.06/2519.90	c propagations          : 3002548049  (1191462 /sec)
2520.06/2519.90	c root propagations     : 50          
2520.06/2519.90	c filter calls          : 6869416660     (2725902 /sec)
2520.06/2519.90	c useless filter calls  : 5966007512     (86 %)
2520.06/2519.90	c Memory used           : 27.04 MB
2520.06/2519.90	c CPU time              : 2520.05 s
2520.06/2519.90	
2520.06/2519.90	s UNKNOWN

Verifier Data


Watcher Data 

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (13166 MiB free)
  memory of node 1: 16384 MiB (13670 MiB free)
  node distances:
     10  21
     21  10

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

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

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


[startup+0.100155 s]*
/proc/loadavg: 2.74 2.25 2.12 3/192 28551
/proc/meminfo: memFree=27480784/32770624 swapFree=67108856/67108860
[pid=28550] ppid=28547 vsize=27688 memory=4200 CPUtime=0.1 cores=1,3,5,7
/proc/28550/stat : 28550 (cosoco) R 28547 28550 27436 0 -1 4202496 1228 0 0 0 10 0 0 0 20 0 1 0 96086440 28352512 1050 33554432000 4194304 6142532 140732171568960 140732171565592 5336732 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 28286976 140732171576454 140732171576584 140732171576584 140732171579342 0
/proc/28550/statm: 6922 1050 832 476 0 244 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27688 KiB
Current children cumulated memory: 4200 KiB

[startup+0.209563 s]*
/proc/loadavg: 2.74 2.25 2.12 3/192 28551
/proc/meminfo: memFree=27480500/32770624 swapFree=67108856/67108860
[pid=28550] ppid=28547 vsize=27688 memory=4200 CPUtime=0.21 cores=1,3,5,7
/proc/28550/stat : 28550 (cosoco) R 28547 28550 27436 0 -1 4202496 1228 0 0 0 21 0 0 0 20 0 1 0 96086440 28352512 1050 33554432000 4194304 6142532 140732171568960 140732171565592 5175273 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 28286976 140732171576454 140732171576584 140732171576584 140732171579342 0
/proc/28550/statm: 6922 1050 832 476 0 244 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 27688 KiB
Current children cumulated memory: 4200 KiB

[startup+0.309034 s]*
/proc/loadavg: 2.74 2.25 2.12 3/192 28551
/proc/meminfo: memFree=27480140/32770624 swapFree=67108856/67108860
[pid=28550] ppid=28547 vsize=27688 memory=4200 CPUtime=0.31 cores=1,3,5,7
/proc/28550/stat : 28550 (cosoco) R 28547 28550 27436 0 -1 4202496 1228 0 0 0 31 0 0 0 20 0 1 0 96086440 28352512 1050 33554432000 4194304 6142532 140732171568960 140732171566360 5084764 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 28286976 140732171576454 140732171576584 140732171576584 140732171579342 0
/proc/28550/statm: 6922 1050 832 476 0 244 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 27688 KiB
Current children cumulated memory: 4200 KiB

[startup+0.70027 s]
/proc/loadavg: 2.74 2.25 2.12 3/192 28551
/proc/meminfo: memFree=27480016/32770624 swapFree=67108856/67108860
[pid=28550] ppid=28547 vsize=27688 memory=4200 CPUtime=0.69 cores=1,3,5,7
/proc/28550/stat : 28550 (cosoco) R 28547 28550 27436 0 -1 4202496 1228 0 0 0 69 0 0 0 20 0 1 0 96086440 28352512 1050 33554432000 4194304 6142532 140732171568960 140732171566360 5058615 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 28286976 140732171576454 140732171576584 140732171576584 140732171579342 0
/proc/28550/statm: 6922 1050 832 476 0 244 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 27688 KiB
Current children cumulated memory: 4200 KiB

[startup+1.50028 s]
/proc/loadavg: 2.74 2.25 2.12 3/192 28551
/proc/meminfo: memFree=27480016/32770624 swapFree=67108856/67108860
[pid=28550] ppid=28547 vsize=27688 memory=4200 CPUtime=1.49 cores=1,3,5,7
/proc/28550/stat : 28550 (cosoco) R 28547 28550 27436 0 -1 4202496 1228 0 0 0 149 0 0 0 20 0 1 0 96086440 28352512 1050 33554432000 4194304 6142532 140732171568960 140732171566360 5330733 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 28286976 140732171576454 140732171576584 140732171576584 140732171579342 0
/proc/28550/statm: 6922 1050 832 476 0 244 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 27688 KiB
Current children cumulated memory: 4200 KiB

[startup+3.10919 s]
/proc/loadavg: 2.68 2.24 2.12 3/192 28551
/proc/meminfo: memFree=27479896/32770624 swapFree=67108856/67108860
[pid=28550] ppid=28547 vsize=27688 memory=4288 CPUtime=3.1 cores=1,3,5,7
/proc/28550/stat : 28550 (cosoco) R 28547 28550 27436 0 -1 4202496 1382 0 0 0 310 0 0 0 20 0 1 0 96086440 28352512 1072 33554432000 4194304 6142532 140732171568960 140732171566360 5060741 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 28286976 140732171576454 140732171576584 140732171576584 140732171579342 0
/proc/28550/statm: 6922 1072 853 476 0 244 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 27688 KiB
Current children cumulated memory: 4288 KiB

[startup+6.30026 s]
/proc/loadavg: 2.68 2.24 2.12 3/192 28551
/proc/meminfo: memFree=27479896/32770624 swapFree=67108856/67108860
[pid=28550] ppid=28547 vsize=27688 memory=4288 CPUtime=6.29 cores=1,3,5,7
/proc/28550/stat : 28550 (cosoco) R 28547 28550 27436 0 -1 4202496 1536 0 0 0 629 0 0 0 20 0 1 0 96086440 28352512 1072 33554432000 4194304 6142532 140732171568960 140732171566360 5332464 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 28286976 140732171576454 140732171576584 140732171576584 140732171579342 0
/proc/28550/statm: 6922 1072 853 476 0 244 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 27688 KiB
Current children cumulated memory: 4288 KiB

[startup+12.7003 s]
/proc/loadavg: 2.62 2.24 2.12 3/192 28551
/proc/meminfo: memFree=27479896/32770624 swapFree=67108856/67108860
[pid=28550] ppid=28547 vsize=27688 memory=4288 CPUtime=12.68 cores=1,3,5,7
/proc/28550/stat : 28550 (cosoco) R 28547 28550 27436 0 -1 4202496 1691 0 0 0 1268 0 0 0 20 0 1 0 96086440 28352512 1072 33554432000 4194304 6142532 140732171568960 140732171566360 5175273 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 28286976 140732171576454 140732171576584 140732171576584 140732171579342 0
/proc/28550/statm: 6922 1072 853 476 0 244 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 27688 KiB
Current children cumulated memory: 4288 KiB

[startup+25.5003 s]
/proc/loadavg: 2.49 2.23 2.12 3/192 28551
/proc/meminfo: memFree=27479900/32770624 swapFree=67108856/67108860
[pid=28550] ppid=28547 vsize=27688 memory=4288 CPUtime=25.48 cores=1,3,5,7
/proc/28550/stat : 28550 (cosoco) R 28547 28550 27436 0 -1 4202496 2001 0 0 0 2548 0 0 0 20 0 1 0 96086440 28352512 1072 33554432000 4194304 6142532 140732171568960 140732171566360 5058036 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 28286976 140732171576454 140732171576584 140732171576584 140732171579342 0
/proc/28550/statm: 6922 1072 853 476 0 244 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 27688 KiB
Current children cumulated memory: 4288 KiB

[startup+51.1092 s]
/proc/loadavg: 2.32 2.21 2.11 3/192 28551
/proc/meminfo: memFree=27479900/32770624 swapFree=67108856/67108860
[pid=28550] ppid=28547 vsize=27688 memory=4288 CPUtime=51.1 cores=1,3,5,7
/proc/28550/stat : 28550 (cosoco) R 28547 28550 27436 0 -1 4202496 2156 0 0 0 5109 1 0 0 20 0 1 0 96086440 28352512 1072 33554432000 4194304 6142532 140732171568960 140732171566360 5062240 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 28286976 140732171576454 140732171576584 140732171576584 140732171579342 0
/proc/28550/statm: 6922 1072 853 476 0 244 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 27688 KiB
Current children cumulated memory: 4288 KiB

[startup+102.3 s]
/proc/loadavg: 2.14 2.18 2.11 3/192 28553
/proc/meminfo: memFree=27479972/32770624 swapFree=67108856/67108860
[pid=28550] ppid=28547 vsize=27688 memory=4288 CPUtime=102.28 cores=1,3,5,7
/proc/28550/stat : 28550 (cosoco) R 28547 28550 27436 0 -1 4202496 2312 0 0 0 10227 1 0 0 20 0 1 0 96086440 28352512 1072 33554432000 4194304 6142532 140732171568960 140732171566360 5058672 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 28286976 140732171576454 140732171576584 140732171576584 140732171579342 0
/proc/28550/statm: 6922 1072 853 476 0 244 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 27688 KiB
Current children cumulated memory: 4288 KiB

[startup+162.3 s]
/proc/loadavg: 2.05 2.14 2.10 3/192 28554
/proc/meminfo: memFree=27479832/32770624 swapFree=67108856/67108860
[pid=28550] ppid=28547 vsize=27688 memory=4288 CPUtime=162.27 cores=1,3,5,7
/proc/28550/stat : 28550 (cosoco) R 28547 28550 27436 0 -1 4202496 2469 0 0 0 16226 1 0 0 20 0 1 0 96086440 28352512 1072 33554432000 4194304 6142532 140732171568960 140732171566360 5058573 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 28286976 140732171576454 140732171576584 140732171576584 140732171579342 0
/proc/28550/statm: 6922 1072 853 476 0 244 0
Current children cumulated CPU time: 162.27 s
Current children cumulated vsize: 27688 KiB
Current children cumulated memory: 4288 KiB

[startup+222.3 s]
/proc/loadavg: 1.98 2.10 2.09 3/192 28555
/proc/meminfo: memFree=27479648/32770624 swapFree=67108856/67108860
[pid=28550] ppid=28547 vsize=27688 memory=4288 CPUtime=222.28 cores=1,3,5,7
/proc/28550/stat : 28550 (cosoco) R 28547 28550 27436 0 -1 4202496 2625 0 0 0 22227 1 0 0 20 0 1 0 96086440 28352512 1072 33554432000 4194304 6142532 140732171568960 140732171566360 5084613 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 28286976 140732171576454 140732171576584 140732171576584 140732171579342 0
/proc/28550/statm: 6922 1072 853 476 0 244 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 27688 KiB
Current children cumulated memory: 4288 KiB

[startup+282.3 s]
/proc/loadavg: 1.99 2.08 2.08 3/191 28556
/proc/meminfo: memFree=27479340/32770624 swapFree=67108856/67108860
[pid=28550] ppid=28547 vsize=27688 memory=4288 CPUtime=282.28 cores=1,3,5,7
/proc/28550/stat : 28550 (cosoco) R 28547 28550 27436 0 -1 4202496 2625 0 0 0 28227 1 0 0 20 0 1 0 96086440 28352512 1072 33554432000 4194304 6142532 140732171568960 140732171566360 5060728 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 28286976 140732171576454 140732171576584 140732171576584 140732171579342 0
/proc/28550/statm: 6922 1072 853 476 0 244 0
Current children cumulated CPU time: 282.28 s
Current children cumulated vsize: 27688 KiB
Current children cumulated memory: 4288 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 2.07 2.08 3/192 28558
/proc/meminfo: memFree=27479216/32770624 swapFree=67108856/67108860
[pid=28550] ppid=28547 vsize=27688 memory=4288 CPUtime=342.29 cores=1,3,5,7
/proc/28550/stat : 28550 (cosoco) R 28547 28550 27436 0 -1 4202496 2781 0 0 0 34228 1 0 0 20 0 1 0 96086440 28352512 1072 33554432000 4194304 6142532 140732171568960 140732171566360 5084188 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 28286976 140732171576454 140732171576584 140732171576584 140732171579342 0
/proc/28550/statm: 6922 1072 853 476 0 244 0
Current children cumulated CPU time: 342.29 s
Current children cumulated vsize: 27688 KiB
Current children cumulated memory: 4288 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 2.06 2.07 3/192 28559
/proc/meminfo: memFree=27479096/32770624 swapFree=67108856/67108860
[pid=28550] ppid=28547 vsize=27688 memory=4288 CPUtime=402.29 cores=1,3,5,7
/proc/28550/stat : 28550 (cosoco) R 28547 28550 27436 0 -1 4202496 2781 0 0 0 40228 1 0 0 20 0 1 0 96086440 28352512 1072 33554432000 4194304 6142532 140732171568960 140732171566360 5058568 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 28286976 140732171576454 140732171576584 140732171576584 140732171579342 0
/proc/28550/statm: 6922 1072 853 476 0 244 0
Current children cumulated CPU time: 402.29 s
Current children cumulated vsize: 27688 KiB
Current children cumulated memory: 4288 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 2.05 2.07 3/192 28560
/proc/meminfo: memFree=27478628/32770624 swapFree=67108856/67108860
[pid=28550] ppid=28547 vsize=27688 memory=4288 CPUtime=462.3 cores=1,3,5,7
/proc/28550/stat : 28550 (cosoco) R 28547 28550 27436 0 -1 4202496 2937 0 0 0 46229 1 0 0 20 0 1 0 96086440 28352512 1072 33554432000 4194304 6142532 140732171568960 140732171566360 5084169 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 28286976 140732171576454 140732171576584 140732171576584 140732171579342 0
/proc/28550/statm: 6922 1072 853 476 0 244 0
Current children cumulated CPU time: 462.3 s
Current children cumulated vsize: 27688 KiB
Current children cumulated memory: 4288 KiB


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

/proc/28550/statm: 6922 1072 853 476 0 244 0
Current children cumulated CPU time: 1782.4 s
Current children cumulated vsize: 27688 KiB
Current children cumulated memory: 4288 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/192 28635
/proc/meminfo: memFree=27476840/32770624 swapFree=67108856/67108860
[pid=28550] ppid=28547 vsize=27688 memory=4288 CPUtime=1842.41 cores=1,3,5,7
/proc/28550/stat : 28550 (cosoco) R 28547 28550 27436 0 -1 4202496 4634 0 0 0 184240 1 0 0 20 0 1 0 96086440 28352512 1072 33554432000 4194304 6142532 140732171568960 140732171566360 5084764 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 28286976 140732171576454 140732171576584 140732171576584 140732171579342 0
/proc/28550/statm: 6922 1072 853 476 0 244 0
Current children cumulated CPU time: 1842.41 s
Current children cumulated vsize: 27688 KiB
Current children cumulated memory: 4288 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/192 28636
/proc/meminfo: memFree=27476860/32770624 swapFree=67108856/67108860
[pid=28550] ppid=28547 vsize=27688 memory=4288 CPUtime=1902.41 cores=1,3,5,7
/proc/28550/stat : 28550 (cosoco) R 28547 28550 27436 0 -1 4202496 4771 0 0 0 190240 1 0 0 20 0 1 0 96086440 28352512 1072 33554432000 4194304 6142532 140732171568960 140732171566360 5347469 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 28286976 140732171576454 140732171576584 140732171576584 140732171579342 0
/proc/28550/statm: 6922 1072 853 476 0 244 0
Current children cumulated CPU time: 1902.41 s
Current children cumulated vsize: 27688 KiB
Current children cumulated memory: 4288 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/192 28638
/proc/meminfo: memFree=27477012/32770624 swapFree=67108856/67108860
[pid=28550] ppid=28547 vsize=27688 memory=4288 CPUtime=1962.42 cores=1,3,5,7
/proc/28550/stat : 28550 (cosoco) R 28547 28550 27436 0 -1 4202496 4771 0 0 0 196241 1 0 0 20 0 1 0 96086440 28352512 1072 33554432000 4194304 6142532 140732171568960 140732171566360 5084488 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 28286976 140732171576454 140732171576584 140732171576584 140732171579342 0
/proc/28550/statm: 6922 1072 853 476 0 244 0
Current children cumulated CPU time: 1962.42 s
Current children cumulated vsize: 27688 KiB
Current children cumulated memory: 4288 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/192 28639
/proc/meminfo: memFree=27476380/32770624 swapFree=67108856/67108860
[pid=28550] ppid=28547 vsize=27688 memory=4288 CPUtime=2022.42 cores=1,3,5,7
/proc/28550/stat : 28550 (cosoco) R 28547 28550 27436 0 -1 4202496 4909 0 0 0 202241 1 0 0 20 0 1 0 96086440 28352512 1072 33554432000 4194304 6142532 140732171568960 140732171566360 5335549 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 28286976 140732171576454 140732171576584 140732171576584 140732171579342 0
/proc/28550/statm: 6922 1072 853 476 0 244 0
Current children cumulated CPU time: 2022.42 s
Current children cumulated vsize: 27688 KiB
Current children cumulated memory: 4288 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/191 28640
/proc/meminfo: memFree=27476756/32770624 swapFree=67108856/67108860
[pid=28550] ppid=28547 vsize=27688 memory=4288 CPUtime=2082.42 cores=1,3,5,7
/proc/28550/stat : 28550 (cosoco) R 28547 28550 27436 0 -1 4202496 4928 0 0 0 208241 1 0 0 20 0 1 0 96086440 28352512 1072 33554432000 4194304 6142532 140732171568960 140732171566360 5058968 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 28286976 140732171576454 140732171576584 140732171576584 140732171579342 0
/proc/28550/statm: 6922 1072 853 476 0 244 0
Current children cumulated CPU time: 2082.42 s
Current children cumulated vsize: 27688 KiB
Current children cumulated memory: 4288 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 28642
/proc/meminfo: memFree=27476592/32770624 swapFree=67108856/67108860
[pid=28550] ppid=28547 vsize=27688 memory=4288 CPUtime=2142.43 cores=1,3,5,7
/proc/28550/stat : 28550 (cosoco) R 28547 28550 27436 0 -1 4202496 5065 0 0 0 214242 1 0 0 20 0 1 0 96086440 28352512 1072 33554432000 4194304 6142532 140732171568960 140732171566360 5061130 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 28286976 140732171576454 140732171576584 140732171576584 140732171579342 0
/proc/28550/statm: 6922 1072 853 476 0 244 0
Current children cumulated CPU time: 2142.43 s
Current children cumulated vsize: 27688 KiB
Current children cumulated memory: 4288 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 28643
/proc/meminfo: memFree=27476960/32770624 swapFree=67108856/67108860
[pid=28550] ppid=28547 vsize=27688 memory=4288 CPUtime=2202.43 cores=1,3,5,7
/proc/28550/stat : 28550 (cosoco) R 28547 28550 27436 0 -1 4202496 5065 0 0 0 220242 1 0 0 20 0 1 0 96086440 28352512 1072 33554432000 4194304 6142532 140732171568960 140732171566360 5059472 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 28286976 140732171576454 140732171576584 140732171576584 140732171579342 0
/proc/28550/statm: 6922 1072 853 476 0 244 0
Current children cumulated CPU time: 2202.43 s
Current children cumulated vsize: 27688 KiB
Current children cumulated memory: 4288 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 28644
/proc/meminfo: memFree=27476832/32770624 swapFree=67108856/67108860
[pid=28550] ppid=28547 vsize=27688 memory=4288 CPUtime=2262.44 cores=1,3,5,7
/proc/28550/stat : 28550 (cosoco) R 28547 28550 27436 0 -1 4202496 5221 0 0 0 226243 1 0 0 20 0 1 0 96086440 28352512 1072 33554432000 4194304 6142532 140732171568960 140732171566360 5084934 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 28286976 140732171576454 140732171576584 140732171576584 140732171579342 0
/proc/28550/statm: 6922 1072 853 476 0 244 0
Current children cumulated CPU time: 2262.44 s
Current children cumulated vsize: 27688 KiB
Current children cumulated memory: 4288 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 28645
/proc/meminfo: memFree=27476940/32770624 swapFree=67108856/67108860
[pid=28550] ppid=28547 vsize=27688 memory=4288 CPUtime=2322.44 cores=1,3,5,7
/proc/28550/stat : 28550 (cosoco) R 28547 28550 27436 0 -1 4202496 5221 0 0 0 232243 1 0 0 20 0 1 0 96086440 28352512 1072 33554432000 4194304 6142532 140732171568960 140732171566360 5062272 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 28286976 140732171576454 140732171576584 140732171576584 140732171579342 0
/proc/28550/statm: 6922 1072 853 476 0 244 0
Current children cumulated CPU time: 2322.44 s
Current children cumulated vsize: 27688 KiB
Current children cumulated memory: 4288 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 28653
/proc/meminfo: memFree=27476136/32770624 swapFree=67108856/67108860
[pid=28550] ppid=28547 vsize=27688 memory=4288 CPUtime=2382.45 cores=1,3,5,7
/proc/28550/stat : 28550 (cosoco) R 28547 28550 27436 0 -1 4202496 5358 0 0 0 238244 1 0 0 20 0 1 0 96086440 28352512 1072 33554432000 4194304 6142532 140732171568960 140732171566360 5061873 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 28286976 140732171576454 140732171576584 140732171576584 140732171579342 0
/proc/28550/statm: 6922 1072 853 476 0 244 0
Current children cumulated CPU time: 2382.45 s
Current children cumulated vsize: 27688 KiB
Current children cumulated memory: 4288 KiB

[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 28655
/proc/meminfo: memFree=27476728/32770624 swapFree=67108856/67108860
[pid=28550] ppid=28547 vsize=27688 memory=4288 CPUtime=2442.45 cores=1,3,5,7
/proc/28550/stat : 28550 (cosoco) R 28547 28550 27436 0 -1 4202496 5358 0 0 0 244244 1 0 0 20 0 1 0 96086440 28352512 1072 33554432000 4194304 6142532 140732171568960 140732171566360 5058824 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 28286976 140732171576454 140732171576584 140732171576584 140732171579342 0
/proc/28550/statm: 6922 1072 853 476 0 244 0
Current children cumulated CPU time: 2442.45 s
Current children cumulated vsize: 27688 KiB
Current children cumulated memory: 4288 KiB

[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 28716
/proc/meminfo: memFree=27478324/32770624 swapFree=67108856/67108860
[pid=28550] ppid=28547 vsize=27688 memory=4288 CPUtime=2502.46 cores=1,3,5,7
/proc/28550/stat : 28550 (cosoco) R 28547 28550 27436 0 -1 4202496 5514 0 0 0 250245 1 0 0 20 0 1 0 96086440 28352512 1072 33554432000 4194304 6142532 140732171568960 140732171566360 5175056 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 28286976 140732171576454 140732171576584 140732171576584 140732171579342 0
/proc/28550/statm: 6922 1072 853 476 0 244 0
Current children cumulated CPU time: 2502.46 s
Current children cumulated vsize: 27688 KiB
Current children cumulated memory: 4288 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2519.9 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 28717
/proc/meminfo: memFree=27478040/32770624 swapFree=67108856/67108860
[pid=28550] ppid=28547 vsize=27688 memory=4288 CPUtime=2520.06 cores=1,3,5,7
/proc/28550/stat : 28550 (cosoco) R 28547 28550 27436 0 -1 4202496 5514 0 0 0 252005 1 0 0 20 0 1 0 96086440 28352512 1072 33554432000 4194304 6142532 140732171568960 140732171566360 5335561 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 28286976 140732171576454 140732171576584 140732171576584 140732171579342 0
/proc/28550/statm: 6922 1072 853 476 0 244 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 27688 KiB
Current children cumulated memory: 4288 KiB

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

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

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

[startup+2519.9 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 28717
/proc/meminfo: memFree=27478040/32770624 swapFree=67108856/67108860
[pid=28550] ppid=28547 vsize=27688 memory=4288 CPUtime=2520.06 cores=1,3,5,7
/proc/28550/stat : 28550 (cosoco) R 28547 28550 27436 0 -1 4202496 5514 0 0 0 252005 1 0 0 20 0 1 0 96086440 28352512 1072 33554432000 4194304 6142532 140732171568960 140732171566360 5335561 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 28286976 140732171576454 140732171576584 140732171576584 140732171579342 0
/proc/28550/statm: 6922 1072 853 476 0 244 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 27688 KiB
Current children cumulated memory: 4288 KiB

Child status: 1
Real time (s): 2519.9
CPU time (s): 2520.07
CPU user time (s): 2520.05
CPU system time (s): 0.015001
CPU usage (%): 100.007
Max. virtual memory (cumulated for all children) (KiB): 27688
Max. memory (cumulated for all children) (KiB): 4288

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


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

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.1098 second user time and 15.1003 second system time

The end

Launcher Data 

Begin job on node133 at 2018-07-28 15:40:33
IDJOB=4299055
IDBENCH=141289
IDSOLVER=2761
FILE ID=node133/4299055-1532785233
RUNJOBID= node133-1532775038-27468
PBS_JOBID= 21022462
Free space on /tmp= 48248 MiB

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

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

MD5SUM BENCH= ba10c53a53c6ac87d986792da34ee429
RANDOM SEED=1648758333

node133.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.24
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.24
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.24
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.24
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        27480764 kB
MemAvailable:   31947396 kB
Buffers:          178180 kB
Cached:          4535872 kB
SwapCached:            0 kB
Active:          2141528 kB
Inactive:        2627672 kB
Active(anon):       6120 kB
Inactive(anon):    76688 kB
Active(file):    2135408 kB
Inactive(file):  2550984 kB
Unevictable:        7100 kB
Mlocked:            7100 kB
SwapTotal:      67108860 kB
SwapFree:       67108856 kB
Dirty:              2796 kB
Writeback:             0 kB
AnonPages:         55688 kB
Mapped:            43344 kB
Shmem:             25244 kB
Slab:             220052 kB
SReclaimable:     192148 kB
SUnreclaim:        27904 kB
KernelStack:        3696 kB
PageTables:         5248 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     354680 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      116096 kB
DirectMap2M:    33429504 kB

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