Trace number 4397431

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 2.0? (TO) 2400.04 2400.3

General information on the benchmark

NameMagicHexagon/MagicHexagon-m1-s1/
MagicHexagon-06-m111.xml
MD5SUMeea69d6048e370864a24a271aefbf270
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 variables121
Number of constraints40
Number of domains1
Minimum domain size91
Maximum domain size91
Distribution of domain sizes[{"size":91,"count":91}]
Minimum variable degree0
Maximum variable degree9
Distribution of variable degrees[{"degree":0,"count":30},{"degree":4,"count":85},{"degree":5,"count":3},{"degree":6,"count":2},{"degree":9,"count":1}]
Minimum constraint arity2
Maximum constraint arity91
Distribution of constraint arities[{"arity":2,"count":6},{"arity":6,"count":6},{"arity":7,"count":6},{"arity":8,"count":6},{"arity":9,"count":6},{"arity":10,"count":6},{"arity":11,"count":3},{"arity":91,"count":1}]
Number of extensional constraints0
Number of intensional constraints6
Distribution of constraint types[{"type":"intension","count":6},{"type":"allDifferent","count":1},{"type":"sum","count":33}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c root propagations     : 9           
0.00/0.00	c restarts enabled, print stats at every restarts
0.00/0.00	c
0.00/0.00	c
0.00/0.00	c
0.00/0.00	c This is cosoco 2.00 --  
0.00/0.00	c
0.00/0.00	c command line: cosoco -lc -model -restarts -stick HOME/instance-4397431-1568581061.xml 
0.00/0.00	c ========================================[ Problem Statistics ]===========================================
0.00/0.00	c |                                                                                                       
0.00/0.00	c |  Parse time        :         0.01 s 
0.00/0.00	c |
0.00/0.00	c |               Variables: 121
0.00/0.00	c |            Domain Sizes: 91..91
0.00/0.00	c |
0.00/0.00	c |             Constraints: 40
0.00/0.00	c |                   Arity: 2..91  -- Binary: 6
0.00/0.00	c | 
0.00/0.00	c |                   Types: 
0.00/0.00	c |                          (X - Y < k): 6
0.00/0.00	c |                          All Different: 1
0.00/0.00	c |                          Sum: 33
0.00/0.00	c |                          
0.00/0.00	c =========================================================================================================
0.00/0.00	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
0.00/0.00	c remove useless variable x[0][6]
0.00/0.00	c remove useless variable x[0][7]
0.00/0.00	c remove useless variable x[0][8]
0.00/0.00	c remove useless variable x[0][9]
0.00/0.00	c remove useless variable x[0][10]
0.00/0.00	c remove useless variable x[1][7]
0.00/0.00	c remove useless variable x[1][8]
0.00/0.00	c remove useless variable x[1][9]
0.00/0.00	c remove useless variable x[1][10]
0.00/0.00	c remove useless variable x[2][8]
0.00/0.00	c remove useless variable x[2][9]
0.00/0.00	c remove useless variable x[2][10]
0.00/0.00	c remove useless variable x[3][9]
0.00/0.00	c remove useless variable x[3][10]
0.00/0.00	c remove useless variable x[4][10]
0.00/0.00	c remove useless variable x[6][10]
0.00/0.00	c remove useless variable x[7][9]
0.00/0.00	c remove useless variable x[7][10]
0.00/0.00	c remove useless variable x[8][8]
0.00/0.00	c remove useless variable x[8][9]
0.00/0.00	c remove useless variable x[8][10]
0.00/0.00	c remove useless variable x[9][7]
0.00/0.00	c remove useless variable x[9][8]
0.00/0.00	c remove useless variable x[9][9]
0.00/0.00	c remove useless variable x[9][10]
0.00/0.00	c remove useless variable x[10][6]
0.00/0.00	c remove useless variable x[10][7]
0.00/0.00	c remove useless variable x[10][8]
0.00/0.00	c remove useless variable x[10][9]
0.00/0.00	c remove useless variable x[10][10]
0.00/0.01	c 101            127            1860           12562          6              0              9   12   10    
0.00/0.02	c 211            260            3861           27895          6              0              4   7   5      
0.00/0.03	c 332            406            6062           44793          6              0              4   7   5      
0.00/0.04	c 465            567            8508           63230          6              0              4   7   5      
0.00/0.05	c 611            744            11246          83198          6              0              4   7   5      
0.00/0.06	c 771            937            14142          103863         6              0              4   7   5      
0.00/0.08	c 947            1149           17324          125921         6              0              4   7   5      
0.00/0.09	c 1140           1382           20834          150160         6              0              4   7   6      
0.10/0.11	c 1352           1643           25691          179647         6              0              4   8   6      
0.10/0.13	c 1585           1925           31296          208917         6              0              4   7   6      
0.10/0.16	c 1841           2242           37779          243869         6              0              4   8   6      
0.10/0.21	c 2122           2705           47605          361878         6              0              6   13   9     
0.21/0.26	c 2431           3141           59603          456292         6              0              20   60   56   
0.31/0.36	c 2770           3915           77521          636377         6              0              7   11   10    
0.41/0.44	c 3142           4728           89392          804442         6              0              11   25   22   
0.51/0.52	c 3551           5468           107500         960096         6              0              23   62   53   
0.60/0.63	c 4000           6326           122434         1293194        6              0              8   27   25    
0.69/0.70	c 4493           7048           140184         1381613        6              0              17   59   44   
0.89/0.90	c 5035           7925           193742         1741969        6              0              18   53   51   
0.89/0.94	c 5631           8750           205597         1791740        6              0              17   48   45   
0.89/0.99	c 6286           9634           217275         1845570        6              0              17   48   46   
1.10/1.15	c 7006           11261          243452         2243287        6              0              11   28   26   
1.19/1.29	c 7798           12434          283791         2500500        6              0              20   56   49   
1.39/1.46	c 8669           13582          328645         2776388        6              0              35   41   39   
1.49/1.58	c 9627           14894          361086         3006872        6              0              21   59   49   
1.69/1.78	c 10680          16281          409790         3367629        6              0              37   41   39   
2.00/2.05	c 11838          18550          457646         4222214        6              0              18   42   40   
2.19/2.29	c 13111          21165          502543         5038896        6              0              16   40   38   
2.49/2.51	c 14511          23749          551570         5714858        6              0              10   52   50   
2.69/2.79	c 16051          26489          602239         6319415        6              0              14   18   17   
3.10/3.15	c 17745          29686          672342         7678717        6              0              3   43   41    
3.49/3.54	c 19608          32881          729149         8468761        6              0              15   25   24   
3.79/3.85	c 21657          36948          803465         9254802        6              0              16   49   46   
4.49/4.52	c 23910          41514          921915         10595889       6              0              5   15   14    
5.00/5.02	c 26388          44495          1031790        11870208       6              0              3   56   53    
5.69/5.74	c 29113          50175          1161620        13213469       6              0              6   11   10    
6.49/6.56	c 32110          55251          1359341        14781155       6              0              3   58   54    
7.39/7.42	c 35406          61772          1514517        16533678       6              0              3   11   10    
8.10/8.17	c 39031          67913          1618071        18453385       6              0              8   25   24    
8.79/8.82	c 43018          73921          1715430        19879616       6              0              4   25   24    
9.59/9.67	c 47403          82829          1850469        22171091       6              0              4   28   26    
10.59/10.61	c 52226          92837          2043067        25081074       6              0              17   49   46   
11.10/11.13	c 57531          100329         2155418        25855320       6              0              11   57   45   
12.19/12.24	c 63366          107513         2382900        29319784       6              0              11   58   54   
13.59/13.65	c 69784          115866         2691236        33503453       6              0              11   57   54   
15.29/15.39	c 76843          124549         3056222        39262556       6              0              41   56   54   
17.39/17.41	c 84607          134533         3498203        44666776       6              0              38   55   51   
19.29/19.39	c 93147          148377         3947950        49605225       6              0              30   59   55   
20.59/20.64	c 102541         161671         4189390        52592318       6              0              31   51   47   
21.79/21.88	c 112874         175996         4462936        56007063       6              0              38   55   52   
23.89/23.99	c 124240         192662         4986613        61186596       6              0              30   56   49   
27.10/27.17	c 136742         212279         5682534        68587025       6              0              29   63   58   
29.79/29.88	c 150494         229837         6328510        75935896       6              0              31   54   51   
33.99/34.10	c 165621         250525         7204116        85065298       6              0              38   65   59   
37.88/37.97	c 182260         275421         8009325        93682066       6              0              36   58   54   
42.48/42.57	c 200562         311896         8983553        106001386      6              0              27   58   55   
45.09/45.14	c 220694         340204         9636621        110833313      6              0              38   53   51   
47.18/47.23	c 242839         370065         10112666       114736156      6              0              38   54   53   
49.88/49.96	c 267198         400713         10727741       122066774      6              0              38   63   57   
54.38/54.40	c 293992         437329         11782584       134811502      6              0              38   61   58   
60.38/60.46	c 323465         478096         13239967       148181653      6              0              38   57   54   
69.87/69.99	c 355885         521282         15279621       169577229      6              0              20   58   54   
76.77/76.89	c 391547         569361         16905920       189653070      6              0              27   58   54   
86.08/86.14	c 430775         625270         19033002       213380817      6              0              18   57   53   
92.27/92.39	c 473925         682553         20543985       225217471      6              0              18   59   55   
111.16/111.20	c 521390         763993         24576226       266190406      6              0              27   50   44   
120.76/120.83	c 573601         835640         26919076       287244146      6              0              19   54   49   
130.35/130.41	c 631033         933297         28907818       316917683      6              0              9   36   30    
139.06/139.18	c 694208         1019871        31148136       336355328      6              0              14   49   45   
152.34/152.48	c 763700         1121376        34348328       363195106      6              0              15   55   51   
171.84/171.95	c 840141         1220770        39157479       410218569      6              0              15   56   54   
183.73/183.88	c 924226         1317230        42289451       437003103      6              0              28   59   56   
203.83/203.98	c 1016719        1431172        48026032       473247170      6              0              15   50   46   
227.72/227.88	c 1118461        1561156        53683838       525400784      6              0              6   61   56    
250.41/250.54	c 1230377        1749466        59074794       562178779      6              0              6   58   53    
276.92/277.08	c 1353484        1919731        65500277       612376674      6              0              8   48   44    
303.80/303.91	c 1488901        2218654        70064569       680199527      6              0              5   39   34    
333.29/333.41	c 1637859        2389338        76889928       759357454      6              0              10   68   64   
359.99/360.17	c 1801712        2692111        82751533       811797886      6              0              16   56   54   
397.67/397.84	c 1981950        2934501        91761653       897795391      6              0              19   70   64   
443.36/443.58	c 2180211        3196880        103111540      977513781      6              0              16   73   68   
482.66/482.82	c 2398298        3495656        113847926      1048258034     6              0              6   64   60    
534.65/534.83	c 2638193        3810207        126573420      1162266244     6              0              15   70   65   
597.55/597.72	c 2902077        4244481        142147590      1276965240     6              0              16   71   65   
622.96/623.19	c 3192349        4604835        148413178      1336605198     6              0              3   48   44    
670.75/670.97	c 3511648        5074646        159848401      1433584151     6              0              36   59   51   
718.54/718.79	c 3862876        5622115        170552738      1540792773     6              0              45   63   54   
790.85/791.06	c 4249226        6264810        187800215      1668520213     6              0              29   66   61   
841.43/841.69	c 4674211        6794061        198605344      1839179257     6              0              13   62   57   
966.73/966.92	c 5141694        7390811        224663622      2086501997     6              0              19   68   62   
1054.72/1054.92	c 5655925        8406829        241594119      2325592294     6              0              30   49   42   
1163.11/1163.37	c 6221579        9505647        260502874      2636588004     6              0              12   39   32   
1292.30/1292.54	c 6843798        10454174       296640575      2826778554     6              0              8   70   64    
1382.81/1383.02	c 7528238        11592391       312618870      3116822419     6              0              9   46   43    
1588.08/1588.37	c 8281122        12818949       356820460      3528875657     6              0              6   64   58    
1725.37/1725.60	c 9109294        14016531       386837056      3893098885     6              0              16   70   63   
1901.96/1902.29	c 10020283       15823347       430426057      4181281892     6              0              17   71   64   
2229.24/2229.51	c 11022370       17186466       493981495      5091593066     6              0              24   68   63   
2400.02/2400.30	
2400.02/2400.30	c *** INTERRUPTED ***
2400.02/2400.30	c restarts              : 98          
2400.02/2400.30	c conflicts             : 11807818     (4920 /sec)
2400.02/2400.30	c decisions             : 18286217     (7619 /sec)
2400.02/2400.30	c propagations          : 5447861897  (2269915 /sec)
2400.02/2400.30	c root propagations     : 9           
2400.02/2400.30	c filter calls          : 529126702      (220467 /sec)
2400.02/2400.30	c useless filter calls  : 299384342      (56 %)
2400.02/2400.30	c Memory used           : 26.85 MB
2400.02/2400.30	c CPU time              : 2400.03 s
2400.02/2400.30	c real time             : 2400.3 s
2400.02/2400.30	
2400.02/2400.30	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 (15211 MiB free)
  memory of node 1: 16384 MiB (15560 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4397431-1568581061/watcher-4397431-1568581061 -o /tmp/evaluation-result-4397431-1568581061/solver-4397431-1568581061 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node132-1568572734-23144 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4397431-1568581061.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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=26344, runsolver pid=26341

[startup+0.100195 s]*
/proc/loadavg: 2.02 2.03 2.05 3/205 26345
/proc/meminfo: memFree=31511216/32770624 swapFree=67010808/67108860
[pid=26344] ppid=26341 vsize=27488 memory=3944 CPUtime=0.1 cores=0,2,4,6
/proc/26344/stat : 26344 (cosoco) R 26341 26344 23113 0 -1 4202496 1196 0 0 0 10 0 0 0 20 0 1 0 434028777 28147712 986 33554432000 4194304 6211092 140730131123376 140730131119912 5193696 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 12894208 140730131125259 140730131125361 140730131125361 140730131128270 0
/proc/26344/statm: 6872 986 850 493 0 177 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27488 KiB
Current children cumulated memory: 3944 KiB

[startup+0.209769 s]*
/proc/loadavg: 1.86 1.99 2.03 3/205 26345
/proc/meminfo: memFree=31511216/32770624 swapFree=67010808/67108860
[pid=26344] ppid=26341 vsize=27488 memory=3944 CPUtime=0.21 cores=0,2,4,6
/proc/26344/stat : 26344 (cosoco) R 26341 26344 23113 0 -1 4202496 1196 0 0 0 21 0 0 0 20 0 1 0 434028777 28147712 986 33554432000 4194304 6211092 140730131123376 140730131119912 5075221 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 12894208 140730131125259 140730131125361 140730131125361 140730131128270 0
/proc/26344/statm: 6872 986 850 493 0 177 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 27488 KiB
Current children cumulated memory: 3944 KiB

[startup+0.309383 s]*
/proc/loadavg: 1.86 1.99 2.03 3/205 26345
/proc/meminfo: memFree=31510932/32770624 swapFree=67010808/67108860
[pid=26344] ppid=26341 vsize=27488 memory=3944 CPUtime=0.31 cores=0,2,4,6
/proc/26344/stat : 26344 (cosoco) R 26341 26344 23113 0 -1 4202496 1203 0 0 0 31 0 0 0 20 0 1 0 434028777 28147712 986 33554432000 4194304 6211092 140730131123376 140730131119912 5148684 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 12894208 140730131125259 140730131125361 140730131125361 140730131128270 0
/proc/26344/statm: 6872 986 850 493 0 177 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 27488 KiB
Current children cumulated memory: 3944 KiB

[startup+0.700331 s]
/proc/loadavg: 1.86 1.99 2.03 3/205 26345
/proc/meminfo: memFree=31510932/32770624 swapFree=67010808/67108860
[pid=26344] ppid=26341 vsize=27488 memory=3944 CPUtime=0.69 cores=0,2,4,6
/proc/26344/stat : 26344 (cosoco) R 26341 26344 23113 0 -1 4202496 1203 0 0 0 69 0 0 0 20 0 1 0 434028777 28147712 986 33554432000 4194304 6211092 140730131123376 140730131121336 5075208 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 12894208 140730131125259 140730131125361 140730131125361 140730131128270 0
/proc/26344/statm: 6872 986 850 493 0 177 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 27488 KiB
Current children cumulated memory: 3944 KiB

[startup+1.50033 s]
/proc/loadavg: 1.86 1.99 2.03 3/205 26345
/proc/meminfo: memFree=31510824/32770624 swapFree=67010808/67108860
[pid=26344] ppid=26341 vsize=27488 memory=3944 CPUtime=1.49 cores=0,2,4,6
/proc/26344/stat : 26344 (cosoco) R 26341 26344 23113 0 -1 4202496 1203 0 0 0 149 0 0 0 20 0 1 0 434028777 28147712 986 33554432000 4194304 6211092 140730131123376 140730131121336 5078765 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 12894208 140730131125259 140730131125361 140730131125361 140730131128270 0
/proc/26344/statm: 6872 986 850 493 0 177 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 27488 KiB
Current children cumulated memory: 3944 KiB

[startup+3.10933 s]
/proc/loadavg: 1.86 1.99 2.03 3/205 26345
/proc/meminfo: memFree=31510824/32770624 swapFree=67010808/67108860
[pid=26344] ppid=26341 vsize=27488 memory=4160 CPUtime=3.1 cores=0,2,4,6
/proc/26344/stat : 26344 (cosoco) R 26341 26344 23113 0 -1 4202496 1286 0 0 0 310 0 0 0 20 0 1 0 434028777 28147712 1040 33554432000 4194304 6211092 140730131123376 140730131121336 5075544 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 12894208 140730131125259 140730131125361 140730131125361 140730131128270 0
/proc/26344/statm: 6872 1040 892 493 0 177 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 27488 KiB
Current children cumulated memory: 4160 KiB

[startup+6.30032 s]
/proc/loadavg: 1.87 1.99 2.03 3/205 26345
/proc/meminfo: memFree=31510848/32770624 swapFree=67010808/67108860
[pid=26344] ppid=26341 vsize=27488 memory=4160 CPUtime=6.29 cores=0,2,4,6
/proc/26344/stat : 26344 (cosoco) R 26341 26344 23113 0 -1 4202496 1371 0 0 0 629 0 0 0 20 0 1 0 434028777 28147712 1040 33554432000 4194304 6211092 140730131123376 140730131121336 5149648 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 12894208 140730131125259 140730131125361 140730131125361 140730131128270 0
/proc/26344/statm: 6872 1040 892 493 0 177 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 27488 KiB
Current children cumulated memory: 4160 KiB

[startup+12.7003 s]
/proc/loadavg: 1.88 1.99 2.03 3/205 26345
/proc/meminfo: memFree=31510752/32770624 swapFree=67010808/67108860
[pid=26344] ppid=26341 vsize=27488 memory=4160 CPUtime=12.69 cores=0,2,4,6
/proc/26344/stat : 26344 (cosoco) R 26341 26344 23113 0 -1 4202496 1455 0 0 0 1269 0 0 0 20 0 1 0 434028777 28147712 1040 33554432000 4194304 6211092 140730131123376 140730131121336 5074825 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 12894208 140730131125259 140730131125361 140730131125361 140730131128270 0
/proc/26344/statm: 6872 1040 892 493 0 177 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 27488 KiB
Current children cumulated memory: 4160 KiB

[startup+25.5002 s]
/proc/loadavg: 1.90 1.99 2.03 3/205 26347
/proc/meminfo: memFree=31510328/32770624 swapFree=67010808/67108860
[pid=26344] ppid=26341 vsize=27488 memory=4160 CPUtime=25.49 cores=0,2,4,6
/proc/26344/stat : 26344 (cosoco) R 26341 26344 23113 0 -1 4202496 1621 0 0 0 2549 0 0 0 20 0 1 0 434028777 28147712 1040 33554432000 4194304 6211092 140730131123376 140730131121336 5193696 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 12894208 140730131125259 140730131125361 140730131125361 140730131128270 0
/proc/26344/statm: 6872 1040 892 493 0 177 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 27488 KiB
Current children cumulated memory: 4160 KiB

[startup+51.1093 s]
/proc/loadavg: 1.94 1.99 2.03 3/204 26348
/proc/meminfo: memFree=31510536/32770624 swapFree=67010808/67108860
[pid=26344] ppid=26341 vsize=27488 memory=4160 CPUtime=51.09 cores=0,2,4,6
/proc/26344/stat : 26344 (cosoco) R 26341 26344 23113 0 -1 4202496 1704 0 0 0 5109 0 0 0 20 0 1 0 434028777 28147712 1040 33554432000 4194304 6211092 140730131123376 140730131121336 5193728 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 12894208 140730131125259 140730131125361 140730131125361 140730131128270 0
/proc/26344/statm: 6872 1040 892 493 0 177 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 27488 KiB
Current children cumulated memory: 4160 KiB

[startup+102.3 s]
/proc/loadavg: 2.03 2.01 2.04 3/205 26353
/proc/meminfo: memFree=31509196/32770624 swapFree=67010808/67108860
[pid=26344] ppid=26341 vsize=27488 memory=4160 CPUtime=102.26 cores=0,2,4,6
/proc/26344/stat : 26344 (cosoco) R 26341 26344 23113 0 -1 4202496 1789 0 0 0 10226 0 0 0 20 0 1 0 434028777 28147712 1040 33554432000 4194304 6211092 140730131123376 140730131121336 5193696 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 12894208 140730131125259 140730131125361 140730131125361 140730131128270 0
/proc/26344/statm: 6872 1040 892 493 0 177 0
Current children cumulated CPU time: 102.26 s
Current children cumulated vsize: 27488 KiB
Current children cumulated memory: 4160 KiB

[startup+162.3 s]
/proc/loadavg: 2.01 2.01 2.04 3/206 26360
/proc/meminfo: memFree=31509128/32770624 swapFree=67010808/67108860
[pid=26344] ppid=26341 vsize=27488 memory=4160 CPUtime=162.24 cores=0,2,4,6
/proc/26344/stat : 26344 (cosoco) R 26341 26344 23113 0 -1 4202496 1873 0 0 0 16224 0 0 0 20 0 1 0 434028777 28147712 1040 33554432000 4194304 6211092 140730131123376 140730131121336 5075266 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 12894208 140730131125259 140730131125361 140730131125361 140730131128270 0
/proc/26344/statm: 6872 1040 892 493 0 177 0
Current children cumulated CPU time: 162.24 s
Current children cumulated vsize: 27488 KiB
Current children cumulated memory: 4160 KiB

[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/205 26369
/proc/meminfo: memFree=31509016/32770624 swapFree=67010812/67108860
[pid=26344] ppid=26341 vsize=27488 memory=4160 CPUtime=222.22 cores=0,2,4,6
/proc/26344/stat : 26344 (cosoco) R 26341 26344 23113 0 -1 4202496 1956 0 0 0 22222 0 0 0 20 0 1 0 434028777 28147712 1040 33554432000 4194304 6211092 140730131123376 140730131121336 5075568 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 12894208 140730131125259 140730131125361 140730131125361 140730131128270 0
/proc/26344/statm: 6872 1040 892 493 0 177 0
Current children cumulated CPU time: 222.22 s
Current children cumulated vsize: 27488 KiB
Current children cumulated memory: 4160 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/205 26393
/proc/meminfo: memFree=31507924/32770624 swapFree=67010824/67108860
[pid=26344] ppid=26341 vsize=27488 memory=4160 CPUtime=282.21 cores=0,2,4,6
/proc/26344/stat : 26344 (cosoco) R 26341 26344 23113 0 -1 4202496 2040 0 0 0 28221 0 0 0 20 0 1 0 434028777 28147712 1040 33554432000 4194304 6211092 140730131123376 140730131121336 5149648 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 12894208 140730131125259 140730131125361 140730131125361 140730131128270 0
/proc/26344/statm: 6872 1040 892 493 0 177 0
Current children cumulated CPU time: 282.21 s
Current children cumulated vsize: 27488 KiB
Current children cumulated memory: 4160 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/206 26399
/proc/meminfo: memFree=31507948/32770624 swapFree=67010824/67108860
[pid=26344] ppid=26341 vsize=27488 memory=4160 CPUtime=342.19 cores=0,2,4,6
/proc/26344/stat : 26344 (cosoco) R 26341 26344 23113 0 -1 4202496 2123 0 0 0 34219 0 0 0 20 0 1 0 434028777 28147712 1040 33554432000 4194304 6211092 140730131123376 140730131121336 5074504 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 12894208 140730131125259 140730131125361 140730131125361 140730131128270 0
/proc/26344/statm: 6872 1040 892 493 0 177 0
Current children cumulated CPU time: 342.19 s
Current children cumulated vsize: 27488 KiB
Current children cumulated memory: 4160 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/204 26403
/proc/meminfo: memFree=31508000/32770624 swapFree=67010824/67108860
[pid=26344] ppid=26341 vsize=27488 memory=4160 CPUtime=402.17 cores=0,2,4,6
/proc/26344/stat : 26344 (cosoco) R 26341 26344 23113 0 -1 4202496 2207 0 0 0 40217 0 0 0 20 0 1 0 434028777 28147712 1040 33554432000 4194304 6211092 140730131123376 140730131121336 5193728 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 12894208 140730131125259 140730131125361 140730131125361 140730131128270 0
/proc/26344/statm: 6872 1040 892 493 0 177 0
Current children cumulated CPU time: 402.17 s
Current children cumulated vsize: 27488 KiB
Current children cumulated memory: 4160 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/204 26408
/proc/meminfo: memFree=31508728/32770624 swapFree=67010824/67108860
[pid=26344] ppid=26341 vsize=27488 memory=4160 CPUtime=462.16 cores=0,2,4,6
/proc/26344/stat : 26344 (cosoco) R 26341 26344 23113 0 -1 4202496 2291 0 0 0 46216 0 0 0 20 0 1 0 434028777 28147712 1040 33554432000 4194304 6211092 140730131123376 140730131121336 5079432 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 12894208 140730131125259 140730131125361 140730131125361 140730131128270 0
/proc/26344/statm: 6872 1040 892 493 0 177 0
Current children cumulated CPU time: 462.16 s
Current children cumulated vsize: 27488 KiB
Current children cumulated memory: 4160 KiB


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

/proc/26344/statm: 6872 1040 892 493 0 177 0
Current children cumulated CPU time: 1662.08 s
Current children cumulated vsize: 27488 KiB
Current children cumulated memory: 4160 KiB

[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/204 26584
/proc/meminfo: memFree=31522856/32770624 swapFree=67010828/67108860
[pid=26344] ppid=26341 vsize=27488 memory=4160 CPUtime=1722.07 cores=0,2,4,6
/proc/26344/stat : 26344 (cosoco) R 26341 26344 23113 0 -1 4202496 3886 0 0 0 172207 0 0 0 20 0 1 0 434028777 28147712 1040 33554432000 4194304 6211092 140730131123376 140730131121336 5193696 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 12894208 140730131125259 140730131125361 140730131125361 140730131128270 0
/proc/26344/statm: 6872 1040 892 493 0 177 0
Current children cumulated CPU time: 1722.07 s
Current children cumulated vsize: 27488 KiB
Current children cumulated memory: 4160 KiB

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/206 26591
/proc/meminfo: memFree=31522636/32770624 swapFree=67010828/67108860
[pid=26344] ppid=26341 vsize=27488 memory=4160 CPUtime=1782.07 cores=0,2,4,6
/proc/26344/stat : 26344 (cosoco) R 26341 26344 23113 0 -1 4202496 3968 0 0 0 178207 0 0 0 20 0 1 0 434028777 28147712 1040 33554432000 4194304 6211092 140730131123376 140730131121336 5149648 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 12894208 140730131125259 140730131125361 140730131125361 140730131128270 0
/proc/26344/statm: 6872 1040 892 493 0 177 0
Current children cumulated CPU time: 1782.07 s
Current children cumulated vsize: 27488 KiB
Current children cumulated memory: 4160 KiB

[startup+1842.3 s]
/proc/loadavg: 2.06 2.02 2.05 3/205 26595
/proc/meminfo: memFree=31522444/32770624 swapFree=67010828/67108860
[pid=26344] ppid=26341 vsize=27488 memory=4160 CPUtime=1842.07 cores=0,2,4,6
/proc/26344/stat : 26344 (cosoco) R 26341 26344 23113 0 -1 4202496 4031 0 0 0 184207 0 0 0 20 0 1 0 434028777 28147712 1040 33554432000 4194304 6211092 140730131123376 140730131121336 5081375 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 12894208 140730131125259 140730131125361 140730131125361 140730131128270 0
/proc/26344/statm: 6872 1040 892 493 0 177 0
Current children cumulated CPU time: 1842.07 s
Current children cumulated vsize: 27488 KiB
Current children cumulated memory: 4160 KiB

[startup+1902.3 s]
/proc/loadavg: 2.10 2.03 2.05 3/205 26600
/proc/meminfo: memFree=31522316/32770624 swapFree=67010832/67108860
[pid=26344] ppid=26341 vsize=27488 memory=4160 CPUtime=1902.06 cores=0,2,4,6
/proc/26344/stat : 26344 (cosoco) R 26341 26344 23113 0 -1 4202496 4114 0 0 0 190206 0 0 0 20 0 1 0 434028777 28147712 1040 33554432000 4194304 6211092 140730131123376 140730131121336 5393063 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 12894208 140730131125259 140730131125361 140730131125361 140730131128270 0
/proc/26344/statm: 6872 1040 892 493 0 177 0
Current children cumulated CPU time: 1902.06 s
Current children cumulated vsize: 27488 KiB
Current children cumulated memory: 4160 KiB

[startup+1962.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/206 26607
/proc/meminfo: memFree=31521912/32770624 swapFree=67010832/67108860
[pid=26344] ppid=26341 vsize=27488 memory=4160 CPUtime=1962.05 cores=0,2,4,6
/proc/26344/stat : 26344 (cosoco) R 26341 26344 23113 0 -1 4202496 4182 0 0 0 196205 0 0 0 20 0 1 0 434028777 28147712 1040 33554432000 4194304 6211092 140730131123376 140730131121336 5186258 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 12894208 140730131125259 140730131125361 140730131125361 140730131128270 0
/proc/26344/statm: 6872 1040 892 493 0 177 0
Current children cumulated CPU time: 1962.05 s
Current children cumulated vsize: 27488 KiB
Current children cumulated memory: 4160 KiB

[startup+2022.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/205 26616
/proc/meminfo: memFree=31522712/32770624 swapFree=67010832/67108860
[pid=26344] ppid=26341 vsize=27488 memory=4160 CPUtime=2022.05 cores=0,2,4,6
/proc/26344/stat : 26344 (cosoco) R 26341 26344 23113 0 -1 4202496 4249 0 0 0 202205 0 0 0 20 0 1 0 434028777 28147712 1040 33554432000 4194304 6211092 140730131123376 140730131121336 5078748 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 12894208 140730131125259 140730131125361 140730131125361 140730131128270 0
/proc/26344/statm: 6872 1040 892 493 0 177 0
Current children cumulated CPU time: 2022.05 s
Current children cumulated vsize: 27488 KiB
Current children cumulated memory: 4160 KiB

[startup+2082.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/205 26621
/proc/meminfo: memFree=31522256/32770624 swapFree=67010832/67108860
[pid=26344] ppid=26341 vsize=27488 memory=4160 CPUtime=2082.05 cores=0,2,4,6
/proc/26344/stat : 26344 (cosoco) R 26341 26344 23113 0 -1 4202496 4317 0 0 0 208205 0 0 0 20 0 1 0 434028777 28147712 1040 33554432000 4194304 6211092 140730131123376 140730131121336 5390112 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 12894208 140730131125259 140730131125361 140730131125361 140730131128270 0
/proc/26344/statm: 6872 1040 892 493 0 177 0
Current children cumulated CPU time: 2082.05 s
Current children cumulated vsize: 27488 KiB
Current children cumulated memory: 4160 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/206 26627
/proc/meminfo: memFree=31521872/32770624 swapFree=67010832/67108860
[pid=26344] ppid=26341 vsize=27488 memory=4160 CPUtime=2142.04 cores=0,2,4,6
/proc/26344/stat : 26344 (cosoco) R 26341 26344 23113 0 -1 4202496 4385 0 0 0 214204 0 0 0 20 0 1 0 434028777 28147712 1040 33554432000 4194304 6211092 140730131123376 140730131121336 5150179 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 12894208 140730131125259 140730131125361 140730131125361 140730131128270 0
/proc/26344/statm: 6872 1040 892 493 0 177 0
Current children cumulated CPU time: 2142.04 s
Current children cumulated vsize: 27488 KiB
Current children cumulated memory: 4160 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/205 26631
/proc/meminfo: memFree=31522184/32770624 swapFree=67010832/67108860
[pid=26344] ppid=26341 vsize=27488 memory=4160 CPUtime=2202.04 cores=0,2,4,6
/proc/26344/stat : 26344 (cosoco) R 26341 26344 23113 0 -1 4202496 4453 0 0 0 220204 0 0 0 20 0 1 0 434028777 28147712 1040 33554432000 4194304 6211092 140730131123376 140730131121336 5393072 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 12894208 140730131125259 140730131125361 140730131125361 140730131128270 0
/proc/26344/statm: 6872 1040 892 493 0 177 0
Current children cumulated CPU time: 2202.04 s
Current children cumulated vsize: 27488 KiB
Current children cumulated memory: 4160 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/204 26635
/proc/meminfo: memFree=31522000/32770624 swapFree=67010832/67108860
[pid=26344] ppid=26341 vsize=27488 memory=4160 CPUtime=2262.03 cores=0,2,4,6
/proc/26344/stat : 26344 (cosoco) R 26341 26344 23113 0 -1 4202496 4537 0 0 0 226203 0 0 0 20 0 1 0 434028777 28147712 1040 33554432000 4194304 6211092 140730131123376 140730131121336 5079036 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 12894208 140730131125259 140730131125361 140730131125361 140730131128270 0
/proc/26344/statm: 6872 1040 892 493 0 177 0
Current children cumulated CPU time: 2262.03 s
Current children cumulated vsize: 27488 KiB
Current children cumulated memory: 4160 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/206 26642
/proc/meminfo: memFree=31521920/32770624 swapFree=67010832/67108860
[pid=26344] ppid=26341 vsize=27488 memory=4160 CPUtime=2322.03 cores=0,2,4,6
/proc/26344/stat : 26344 (cosoco) R 26341 26344 23113 0 -1 4202496 4601 0 0 0 232203 0 0 0 20 0 1 0 434028777 28147712 1040 33554432000 4194304 6211092 140730131123376 140730131121336 5078771 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 12894208 140730131125259 140730131125361 140730131125361 140730131128270 0
/proc/26344/statm: 6872 1040 892 493 0 177 0
Current children cumulated CPU time: 2322.03 s
Current children cumulated vsize: 27488 KiB
Current children cumulated memory: 4160 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/205 26647
/proc/meminfo: memFree=31521696/32770624 swapFree=67010832/67108860
[pid=26344] ppid=26341 vsize=27488 memory=4160 CPUtime=2382.03 cores=0,2,4,6
/proc/26344/stat : 26344 (cosoco) R 26341 26344 23113 0 -1 4202496 4668 0 0 0 238203 0 0 0 20 0 1 0 434028777 28147712 1040 33554432000 4194304 6211092 140730131123376 140730131121336 5149689 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 12894208 140730131125259 140730131125361 140730131125361 140730131128270 0
/proc/26344/statm: 6872 1040 892 493 0 177 0
Current children cumulated CPU time: 2382.03 s
Current children cumulated vsize: 27488 KiB
Current children cumulated memory: 4160 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2400.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/205 26648
/proc/meminfo: memFree=31521928/32770624 swapFree=67010832/67108860
[pid=26344] ppid=26341 vsize=27488 memory=4160 CPUtime=2400.02 cores=0,2,4,6
/proc/26344/stat : 26344 (cosoco) R 26341 26344 23113 0 -1 4202496 4734 0 0 0 240002 0 0 0 20 0 1 0 434028777 28147712 1040 33554432000 4194304 6211092 140730131123376 140730131121336 5149674 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 12894208 140730131125259 140730131125361 140730131125361 140730131128270 0
/proc/26344/statm: 6872 1040 892 493 0 177 0
Current children cumulated CPU time: 2400.02 s
Current children cumulated vsize: 27488 KiB
Current children cumulated memory: 4160 KiB

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

[startup+2400.3 s]
# the end of solver process 26344 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2400.03 s, system=0.005999 s

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

[startup+2400.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/205 26648
/proc/meminfo: memFree=31521928/32770624 swapFree=67010832/67108860
[pid=26344] ppid=26341 vsize=27488 memory=4160 CPUtime=2400.02 cores=0,2,4,6
/proc/26344/stat : 26344 (cosoco) R 26341 26344 23113 0 -1 4202496 4734 0 0 0 240002 0 0 0 20 0 1 0 434028777 28147712 1040 33554432000 4194304 6211092 140730131123376 140730131121336 5149674 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 12894208 140730131125259 140730131125361 140730131125361 140730131128270 0
/proc/26344/statm: 6872 1040 892 493 0 177 0
Current children cumulated CPU time: 2400.02 s
Current children cumulated vsize: 27488 KiB
Current children cumulated memory: 4160 KiB

Child status: 1
Real time (s): 2400.3
CPU time (s): 2400.04
CPU user time (s): 2400.03
CPU system time (s): 0.005999
CPU usage (%): 99.989
Max. virtual memory (cumulated for all children) (KiB): 27488
Max. memory (cumulated for all children) (KiB): 4160

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400.03
system time used= 0.005999
maximum resident set size= 4224
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4786
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6
involuntary context switches= 903


# summary of solver processes directly reported to runsolver:
#   pid: 26344
#   total CPU time (s): 2400.04
#   total CPU user time (s): 2400.03
#   total CPU system time (s): 0.005999

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.5645 second user time and 14.2808 second system time

The end

Launcher Data 

Begin job on node132 at 2019-09-15 22:56:51
IDJOB=4397431
IDBENCH=133551
IDSOLVER=2849
FILE ID=node132/4397431-1568581061
RUNJOBID= node132-1568572734-23144
PBS_JOBID= 21703322
Free space on /tmp= 61620 MiB

SOLVER NAME= cosoco 2.0
BENCH NAME= XCSP17/MagicHexagon/MagicHexagon-m1-s1/MagicHexagon-06-m111.xml
COMMAND LINE= cosoco -lc -model -restarts -stick BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4397431-1568581061/watcher-4397431-1568581061 -o /tmp/evaluation-result-4397431-1568581061/solver-4397431-1568581061 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node132-1568572734-23144 --watchdog 2560  cosoco -lc -model -restarts -stick HOME/instance-4397431-1568581061.xml

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

MD5SUM BENCH= eea69d6048e370864a24a271aefbf270
RANDOM SEED=1950359789

node132.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.95
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.95
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.95
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.95
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:        31511468 kB
MemAvailable:   31898388 kB
Buffers:           96480 kB
Cached:           567296 kB
SwapCached:         5984 kB
Active:           425476 kB
Inactive:         263100 kB
Active(anon):      21832 kB
Inactive(anon):    32188 kB
Active(file):     403644 kB
Inactive(file):   230912 kB
Unevictable:      109604 kB
Mlocked:          109604 kB
SwapTotal:      67108860 kB
SwapFree:       67010808 kB
Dirty:              2872 kB
Writeback:             0 kB
AnonPages:        130952 kB
Mapped:            36404 kB
Shmem:             20600 kB
Slab:             166152 kB
SReclaimable:     136400 kB
SUnreclaim:        29752 kB
KernelStack:        3648 kB
PageTables:         6144 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     522584 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     81920 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      136576 kB
DirectMap2M:    33409024 kB

Free space on /tmp at the end= 61620 MiB
End job on node132 at 2019-09-15 23:36:52