Trace number 4299975

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
cosoco 1.12? (TO) 2519.91 2520.01

General information on the benchmark

NameMagicSquare/
MagicSquare-14-sum_c18.xml
MD5SUMd2d43b1b882dee15f3aa399c7a9d9ad6
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 variables196
Number of constraints31
Number of domains1
Minimum domain size196
Maximum domain size196
Distribution of domain sizes[{"size":196,"count":196}]
Minimum variable degree3
Maximum variable degree4
Distribution of variable degrees[{"degree":3,"count":168},{"degree":4,"count":28}]
Minimum constraint arity14
Maximum constraint arity196
Distribution of constraint arities[{"arity":14,"count":30},{"arity":196,"count":1}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"allDifferent","count":1},{"type":"sum","count":30}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.01	c root propagations     : 0           
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-4299975-1532826228.xml 
0.00/0.01	c ========================================[ Problem Statistics ]===========================================
0.00/0.01	c |                                                                                                       
0.00/0.01	c |  Parse time        :         0.00 s 
0.00/0.01	c |
0.00/0.01	c |               Variables: 196
0.00/0.01	c |            Domain Sizes: 196..196
0.00/0.01	c |
0.00/0.01	c |             Constraints: 31
0.00/0.01	c |                   Arity: 14..196
0.00/0.01	c | 
0.00/0.01	c |                   Types: 
0.00/0.01	c |                          All Different: 1
0.00/0.01	c |                          Sum: 30
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.03	c 101            132            1542           21892          0              0              9   12   10    
0.00/0.06	c 211            273            3169           45111          0              0              8   11   9     
0.00/0.09	c 332            428            4954           70061          0              0              8   11   9     
0.09/0.13	c 465            597            6788           96394          0              0              8   11   9     
0.09/0.16	c 611            782            8844           124830         0              0              8   11   9     
0.09/0.21	c 771            985            11142          156661         0              0              8   11   9     
0.20/0.25	c 947            1208           13633          192171         0              0              8   11   9     
0.20/0.30	c 1140           1452           16422          230150         0              0              8   11   9     
0.30/0.35	c 1352           1718           19388          272146         0              0              8   11   9     
0.30/0.41	c 1585           2010           22609          317185         0              0              8   11   9     
0.40/0.47	c 1841           2330           26214          365832         0              0              8   11   9     
0.50/0.54	c 2122           2682           30250          420360         0              0              8   11   9     
0.60/0.61	c 2431           3068           34442          480911         0              0              8   11   9     
0.60/0.69	c 2770           3490           39041          545346         0              0              8   11   9     
0.69/0.78	c 3142           3953           43869          616933         0              0              8   11   9     
0.79/0.88	c 3551           4461           49122          694850         0              0              8   11   9     
0.89/0.98	c 4000           5018           54859          779125         0              0              8   11   9     
0.99/1.09	c 4493           5630           61157          871751         0              0              8   11   9     
1.19/1.22	c 5035           6304           68093          973750         0              0              8   11   9     
1.29/1.36	c 5631           7051           76113          1088938        0              0              8   11   9     
1.49/1.53	c 6286           7879           85424          1219528        0              0              8   12   10    
1.69/1.71	c 7006           8794           95524          1366697        0              0              8   12   10    
1.89/1.92	c 7798           9809           106858         1533354        0              0              8   12   10    
2.10/2.15	c 8669           10939          119097         1726903        0              0              8   12   10    
2.39/2.41	c 9627           12186          132588         1939571        0              0              8   12   10    
2.59/2.69	c 10680          13562          147544         2175602        0              0              8   12   10    
2.99/3.01	c 11838          15083          164265         2441958        0              0              8   12   10    
3.29/3.38	c 13111          16767          183267         2741742        0              0              8   12   10    
3.69/3.78	c 14511          18623          204777         3072194        0              0              8   12   10    
4.19/4.23	c 16051          20671          228131         3440833        0              0              8   12   10    
4.68/4.72	c 17745          22936          253356         3852728        0              0              8   12   10    
5.18/5.27	c 19608          25431          281276         4308844        0              0              8   12   10    
5.78/5.88	c 21657          28192          312330         4819292        0              0              8   12   10    
6.48/6.57	c 23910          31267          347377         5401388        0              0              8   12   10    
7.28/7.34	c 26388          34679          386590         6053835        0              0              8   12   10    
8.18/8.22	c 29113          38464          431571         6785689        0              0              8   12   10    
9.18/9.22	c 32110          42656          482936         7604623        0              0              8   12   10    
10.28/10.32	c 35406          47318          539094         8517720        0              0              8   12   10    
11.48/11.55	c 39031          52488          602350         9527967        0              0              8   12   11    
12.88/12.91	c 43018          58205          671267         10650882       0              0              8   12   11    
14.38/14.43	c 47403          64559          748117         11903069       0              0              8   12   11    
15.99/16.07	c 52226          71487          831210         13248812       0              0              8   26   12    
17.78/17.81	c 57531          79004          921289         14647197       0              0              9   13   12    
19.68/19.74	c 63366          87298          1021017        16227470       0              0              8   26   14    
21.78/21.81	c 69784          96335          1128844        17887756       0              0              9   26   13    
23.98/24.09	c 76843          106272         1249400        19716564       0              0              9   26   14    
26.48/26.58	c 84607          117223         1382026        21732649       0              0              9   40   15    
29.38/29.41	c 93147          129276         1527838        23962114       0              0              9   27   16    
32.38/32.42	c 102541         142439         1688234        26337548       0              0              9   40   19    
35.78/35.86	c 112874         157143         1865945        29061448       0              0              9   27   18    
39.38/39.44	c 124240         173294         2059625        31967566       0              0              9   40   23    
43.37/43.40	c 136742         190857         2268657        35208310       0              0              9   40   21    
47.47/47.59	c 150494         210019         2491538        38742247       0              0              9   40   22    
51.98/52.09	c 165621         230945         2732731        42599048       0              0              9   40   24    
56.87/56.93	c 182260         253786         2996448        46796940       0              0              9   40   25    
62.08/62.11	c 200562         278763         3276860        51388436       0              0              9   40   26    
67.67/67.71	c 220694         306144         3582295        56447168       0              0              9   40   27    
73.77/73.86	c 242839         336188         3921242        62035960       0              0              9   40   28    
80.27/80.36	c 267198         370688         4325816        67650467       0              0              9   89   44    
88.07/88.15	c 293992         407667         4752031        74513653       0              0              9   50   32    
96.26/96.33	c 323465         448079         5209864        81615946       0              0              9   51   35    
105.26/105.33	c 355885         492801         5715749        89473375       0              0              9   51   37    
115.16/115.28	c 391547         542506         6282057        98154786       0              0              9   51   38    
126.07/126.13	c 430775         597210         6904291        107650803      0              0              9   51   39    
137.46/137.58	c 473925         661770         7620244        119277321      0              0              11   51   40   
150.96/151.03	c 521390         727616         8371830        130917533      0              0              11   51   33   
167.15/167.27	c 573601         800889         9211163        144502375      0              0              11   26   23   
184.45/184.54	c 631033         881100         10109467       159217385      0              0              8   38   25    
204.05/204.19	c 694208         969575         11122650       175590387      0              0              11   37   24   
224.54/224.61	c 763700         1063529        12139391       197708918      0              0              9   38   30    
246.54/246.61	c 840141         1166216        13248165       221609321      0              0              9   38   30    
269.63/269.72	c 924226         1284938        14609353       243444703      0              0              12   51   40   
295.13/295.28	c 1016719        1408049        15915652       271445477      0              0              9   39   32    
325.63/325.75	c 1118461        1549812        17528732       298431901      0              0              10   38   27   
357.53/357.66	c 1230377        1707315        19297255       325972097      0              0              13   51   34   
390.12/390.24	c 1353484        1870257        20973107       362738343      0              0              9   39   33    
430.12/430.25	c 1488901        2059490        23095577       399272019      0              0              10   38   29   
471.22/471.35	c 1637859        2268085        25433362       436122126      0              0              11   64   38   
513.93/514.08	c 1801712        2485219        27666789       485184611      0              0              9   39   34    
555.22/555.39	c 1981950        2736858        30495514       524522636      0              0              10   149   66  
606.52/606.67	c 2180211        3012389        33713138       570343241      0              0              11   86   55   
654.42/654.50	c 2398298        3304728        36852238       615432729      0              0              11   84   66   
712.82/712.93	c 2638193        3633303        40524466       667426552      0              0              12   84   58   
772.12/772.24	c 2902077        3991245        44454923       725592406      0              0              14   84   67   
836.92/837.01	c 3192349        4385170        48812776       788430057      0              0              14   84   68   
911.12/911.23	c 3511648        4821328        53654767       857787558      0              0              14   84   64   
989.92/990.06	c 3862876        5310752        58988031       933685888      0              0              19   84   72   
1069.02/1069.14	c 4249226        5829439        64368541       1011353029     0              0              19   84   72   
1160.92/1161.09	c 4674211        6402698        70486542       1102057714     0              0              19   83   67   
1266.61/1266.72	c 5141694        7048273        77469422       1202639689     0              0              18   84   68   
1371.71/1371.88	c 5655925        7737275        84638088       1310527145     0              0              18   84   72   
1498.60/1498.77	c 6221579        8521211        93143760       1434819434     0              0              17   84   68   
1630.10/1630.27	c 6843798        9364927        102169487      1570643577     0              0              17   83   70   
1784.70/1784.90	c 7528238        10318016       112296991      1733542033     0              0              17   74   69   
1947.80/1947.93	c 8281122        11353748       123548691      1888539573     0              0              17   84   72   
2103.09/2103.21	c 9109294        12460327       135051086      2050208503     0              0              18   95   84   
2287.90/2288.01	c 10020283       13701276       148007818      2239438750     0              0              21   85   79   
2488.19/2488.37	c 11022370       15054145       162228418      2440198566     0              0              19   95   79   
2519.89/2520.00	
2519.89/2520.00	c *** INTERRUPTED ***
2519.89/2520.00	c restarts              : 98          
2519.89/2520.00	c conflicts             : 11162131     (4430 /sec)
2519.89/2520.00	c decisions             : 15243168     (6049 /sec)
2519.89/2520.00	c propagations          : 2470226758  (980288 /sec)
2519.89/2520.00	c root propagations     : 0           
2519.89/2520.00	c filter calls          : 164307145      (65204 /sec)
2519.89/2520.00	c useless filter calls  : 120905872      (73 %)
2519.89/2520.00	c Memory used           : 27.36 MB
2519.89/2520.00	c CPU time              : 2519.9 s
2519.89/2520.00	
2519.89/2520.00	s UNKNOWN

Verifier Data


Watcher Data 

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

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

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4299975-1532826228/watcher-4299975-1532826228 -o /tmp/evaluation-result-4299975-1532826228/solver-4299975-1532826228 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1532810061-31498 --watchdog 2580 HOME/cosoco -lc -model -restarts HOME/instance-4299975-1532826228.xml 

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

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

solver pid=657, runsolver pid=653

[startup+0.100366 s]*
/proc/loadavg: 2.00 2.01 2.05 3/189 658
/proc/meminfo: memFree=23837416/32770624 swapFree=67108860/67108860
[pid=657] ppid=653 vsize=27680 memory=4104 CPUtime=0.09 cores=0,2,4,6
/proc/657/stat : 657 (cosoco) R 653 657 31467 0 -1 4202496 1234 0 0 0 9 0 0 0 20 0 1 0 100185929 28344320 1026 33554432000 4194304 6142532 140720830278656 140720830276056 5175278 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 12722176 140720830284934 140720830285064 140720830285064 140720830287822 0
/proc/657/statm: 6920 1026 825 476 0 242 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 27680 KiB
Current children cumulated memory: 4104 KiB

[startup+0.209765 s]*
/proc/loadavg: 2.00 2.01 2.05 4/189 658
/proc/meminfo: memFree=23837416/32770624 swapFree=67108860/67108860
[pid=657] ppid=653 vsize=27680 memory=4104 CPUtime=0.2 cores=0,2,4,6
/proc/657/stat : 657 (cosoco) R 653 657 31467 0 -1 4202496 1234 0 0 0 20 0 0 0 20 0 1 0 100185929 28344320 1026 33554432000 4194304 6142532 140720830278656 140720830276056 5175264 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 12722176 140720830284934 140720830285064 140720830285064 140720830287822 0
/proc/657/statm: 6920 1026 825 476 0 242 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 27680 KiB
Current children cumulated memory: 4104 KiB

[startup+0.308949 s]*
/proc/loadavg: 2.00 2.01 2.05 3/189 658
/proc/meminfo: memFree=23837416/32770624 swapFree=67108860/67108860
[pid=657] ppid=653 vsize=27680 memory=4104 CPUtime=0.3 cores=0,2,4,6
/proc/657/stat : 657 (cosoco) R 653 657 31467 0 -1 4202496 1234 0 0 0 30 0 0 0 20 0 1 0 100185929 28344320 1026 33554432000 4194304 6142532 140720830278656 140720830276056 5060793 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 12722176 140720830284934 140720830285064 140720830285064 140720830287822 0
/proc/657/statm: 6920 1026 825 476 0 242 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 27680 KiB
Current children cumulated memory: 4104 KiB

[startup+0.700226 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 658
/proc/meminfo: memFree=23836944/32770624 swapFree=67108860/67108860
[pid=657] ppid=653 vsize=27680 memory=4104 CPUtime=0.69 cores=0,2,4,6
/proc/657/stat : 657 (cosoco) R 653 657 31467 0 -1 4202496 1234 0 0 0 69 0 0 0 20 0 1 0 100185929 28344320 1026 33554432000 4194304 6142532 140720830278656 140720830276056 5131331 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 12722176 140720830284934 140720830285064 140720830285064 140720830287822 0
/proc/657/statm: 6920 1026 825 476 0 242 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 27680 KiB
Current children cumulated memory: 4104 KiB

[startup+1.50023 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 658
/proc/meminfo: memFree=23836704/32770624 swapFree=67108860/67108860
[pid=657] ppid=653 vsize=27680 memory=4104 CPUtime=1.49 cores=0,2,4,6
/proc/657/stat : 657 (cosoco) R 653 657 31467 0 -1 4202496 1234 0 0 0 149 0 0 0 20 0 1 0 100185929 28344320 1026 33554432000 4194304 6142532 140720830278656 140720830276056 5175264 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 12722176 140720830284934 140720830285064 140720830285064 140720830287822 0
/proc/657/statm: 6920 1026 825 476 0 242 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 27680 KiB
Current children cumulated memory: 4104 KiB

[startup+3.10908 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 658
/proc/meminfo: memFree=23836964/32770624 swapFree=67108860/67108860
[pid=657] ppid=653 vsize=27680 memory=4312 CPUtime=3.1 cores=0,2,4,6
/proc/657/stat : 657 (cosoco) R 653 657 31467 0 -1 4202496 1374 0 0 0 310 0 0 0 20 0 1 0 100185929 28344320 1078 33554432000 4194304 6142532 140720830278656 140720830276056 5175264 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 12722176 140720830284934 140720830285064 140720830285064 140720830287822 0
/proc/657/statm: 6920 1078 873 476 0 242 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 27680 KiB
Current children cumulated memory: 4312 KiB

[startup+6.30023 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 658
/proc/meminfo: memFree=23836772/32770624 swapFree=67108860/67108860
[pid=657] ppid=653 vsize=27680 memory=4312 CPUtime=6.28 cores=0,2,4,6
/proc/657/stat : 657 (cosoco) R 653 657 31467 0 -1 4202496 1514 0 0 0 628 0 0 0 20 0 1 0 100185929 28344320 1078 33554432000 4194304 6142532 140720830278656 140720830276056 5062512 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 12722176 140720830284934 140720830285064 140720830285064 140720830287822 0
/proc/657/statm: 6920 1078 873 476 0 242 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 27680 KiB
Current children cumulated memory: 4312 KiB

[startup+12.7002 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 658
/proc/meminfo: memFree=23836772/32770624 swapFree=67108860/67108860
[pid=657] ppid=653 vsize=27680 memory=4312 CPUtime=12.68 cores=0,2,4,6
/proc/657/stat : 657 (cosoco) R 653 657 31467 0 -1 4202496 1654 0 0 0 1268 0 0 0 20 0 1 0 100185929 28344320 1078 33554432000 4194304 6142532 140720830278656 140720830276056 5175264 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 12722176 140720830284934 140720830285064 140720830285064 140720830287822 0
/proc/657/statm: 6920 1078 873 476 0 242 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 27680 KiB
Current children cumulated memory: 4312 KiB

[startup+25.5002 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 658
/proc/meminfo: memFree=23836772/32770624 swapFree=67108860/67108860
[pid=657] ppid=653 vsize=27680 memory=4348 CPUtime=25.48 cores=0,2,4,6
/proc/657/stat : 657 (cosoco) R 653 657 31467 0 -1 4202496 1956 0 0 0 2548 0 0 0 20 0 1 0 100185929 28344320 1087 33554432000 4194304 6142532 140720830278656 140720830276056 5054370 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 12722176 140720830284934 140720830285064 140720830285064 140720830287822 0
/proc/657/statm: 6920 1087 873 476 0 242 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 27680 KiB
Current children cumulated memory: 4348 KiB

[startup+51.109 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 658
/proc/meminfo: memFree=23836660/32770624 swapFree=67108860/67108860
[pid=657] ppid=653 vsize=27680 memory=4360 CPUtime=51.08 cores=0,2,4,6
/proc/657/stat : 657 (cosoco) R 653 657 31467 0 -1 4202496 2115 0 0 0 5108 0 0 0 20 0 1 0 100185929 28344320 1090 33554432000 4194304 6142532 140720830278656 140720830276056 5131267 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 12722176 140720830284934 140720830285064 140720830285064 140720830287822 0
/proc/657/statm: 6920 1090 873 476 0 242 0
Current children cumulated CPU time: 51.08 s
Current children cumulated vsize: 27680 KiB
Current children cumulated memory: 4360 KiB

[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 659
/proc/meminfo: memFree=23836056/32770624 swapFree=67108860/67108860
[pid=657] ppid=653 vsize=27864 memory=4360 CPUtime=102.26 cores=0,2,4,6
/proc/657/stat : 657 (cosoco) R 653 657 31467 0 -1 4202496 2299 0 0 0 10226 0 0 0 20 0 1 0 100185929 28532736 1090 33554432000 4194304 6142532 140720830278656 140720830276056 5130516 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 12722176 140720830284934 140720830285064 140720830285064 140720830287822 0
/proc/657/statm: 6966 1090 873 476 0 288 0
Current children cumulated CPU time: 102.26 s
Current children cumulated vsize: 27864 KiB
Current children cumulated memory: 4360 KiB

[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 660
/proc/meminfo: memFree=23836056/32770624 swapFree=67108860/67108860
[pid=657] ppid=653 vsize=27864 memory=4472 CPUtime=162.25 cores=0,2,4,6
/proc/657/stat : 657 (cosoco) R 653 657 31467 0 -1 4202496 2467 0 0 0 16225 0 0 0 20 0 1 0 100185929 28532736 1118 33554432000 4194304 6142532 140720830278656 140720830276056 5057959 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 12722176 140720830284934 140720830285064 140720830285064 140720830287822 0
/proc/657/statm: 6966 1118 873 476 0 288 0
Current children cumulated CPU time: 162.25 s
Current children cumulated vsize: 27864 KiB
Current children cumulated memory: 4472 KiB

[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 661
/proc/meminfo: memFree=23836048/32770624 swapFree=67108860/67108860
[pid=657] ppid=653 vsize=27864 memory=4472 CPUtime=222.24 cores=0,2,4,6
/proc/657/stat : 657 (cosoco) R 653 657 31467 0 -1 4202496 2633 0 0 0 22224 0 0 0 20 0 1 0 100185929 28532736 1118 33554432000 4194304 6142532 140720830278656 140720830276056 5060709 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 12722176 140720830284934 140720830285064 140720830285064 140720830287822 0
/proc/657/statm: 6966 1118 873 476 0 288 0
Current children cumulated CPU time: 222.24 s
Current children cumulated vsize: 27864 KiB
Current children cumulated memory: 4472 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 662
/proc/meminfo: memFree=23835552/32770624 swapFree=67108860/67108860
[pid=657] ppid=653 vsize=27864 memory=4472 CPUtime=282.23 cores=0,2,4,6
/proc/657/stat : 657 (cosoco) R 653 657 31467 0 -1 4202496 2803 0 0 0 28223 0 0 0 20 0 1 0 100185929 28532736 1118 33554432000 4194304 6142532 140720830278656 140720830276056 5131353 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 12722176 140720830284934 140720830285064 140720830285064 140720830287822 0
/proc/657/statm: 6966 1118 873 476 0 288 0
Current children cumulated CPU time: 282.23 s
Current children cumulated vsize: 27864 KiB
Current children cumulated memory: 4472 KiB

[startup+342.3 s]
/proc/loadavg: 1.95 2.00 2.04 3/188 663
/proc/meminfo: memFree=23835684/32770624 swapFree=67108860/67108860
[pid=657] ppid=653 vsize=27864 memory=4472 CPUtime=342.23 cores=0,2,4,6
/proc/657/stat : 657 (cosoco) R 653 657 31467 0 -1 4202496 2969 0 0 0 34223 0 0 0 20 0 1 0 100185929 28532736 1118 33554432000 4194304 6142532 140720830278656 140720830276056 5058056 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 12722176 140720830284934 140720830285064 140720830285064 140720830287822 0
/proc/657/statm: 6966 1118 873 476 0 288 0
Current children cumulated CPU time: 342.23 s
Current children cumulated vsize: 27864 KiB
Current children cumulated memory: 4472 KiB

[startup+402.3 s]
/proc/loadavg: 1.98 2.00 2.04 3/188 669
/proc/meminfo: memFree=23834312/32770624 swapFree=67108860/67108860
[pid=657] ppid=653 vsize=27864 memory=4472 CPUtime=402.22 cores=0,2,4,6
/proc/657/stat : 657 (cosoco) R 653 657 31467 0 -1 4202496 3139 0 0 0 40222 0 0 0 20 0 1 0 100185929 28532736 1118 33554432000 4194304 6142532 140720830278656 140720830276056 5131364 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 12722176 140720830284934 140720830285064 140720830285064 140720830287822 0
/proc/657/statm: 6966 1118 873 476 0 288 0
Current children cumulated CPU time: 402.22 s
Current children cumulated vsize: 27864 KiB
Current children cumulated memory: 4472 KiB

[startup+462.3 s]
/proc/loadavg: 1.99 2.00 2.04 3/188 670
/proc/meminfo: memFree=23834808/32770624 swapFree=67108860/67108860
[pid=657] ppid=653 vsize=27864 memory=4472 CPUtime=462.22 cores=0,2,4,6
/proc/657/stat : 657 (cosoco) R 653 657 31467 0 -1 4202496 3308 0 0 0 46222 0 0 0 20 0 1 0 100185929 28532736 1118 33554432000 4194304 6142532 140720830278656 140720830276056 5131312 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 12722176 140720830284934 140720830285064 140720830285064 140720830287822 0
/proc/657/statm: 6966 1118 873 476 0 288 0
Current children cumulated CPU time: 462.22 s
Current children cumulated vsize: 27864 KiB
Current children cumulated memory: 4472 KiB


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

/proc/657/statm: 7003 1148 873 476 0 325 0
Current children cumulated CPU time: 1722.2 s
Current children cumulated vsize: 28012 KiB
Current children cumulated memory: 4592 KiB

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 775
/proc/meminfo: memFree=23833832/32770624 swapFree=67108860/67108860
[pid=657] ppid=653 vsize=28012 memory=4592 CPUtime=1782.2 cores=0,2,4,6
/proc/657/stat : 657 (cosoco) R 653 657 31467 0 -1 4202496 7137 0 0 0 178220 0 0 0 20 0 1 0 100185929 28684288 1148 33554432000 4194304 6142532 140720830278656 140720830276056 5060847 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 12722176 140720830284934 140720830285064 140720830285064 140720830287822 0
/proc/657/statm: 7003 1148 873 476 0 325 0
Current children cumulated CPU time: 1782.2 s
Current children cumulated vsize: 28012 KiB
Current children cumulated memory: 4592 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 776
/proc/meminfo: memFree=23833956/32770624 swapFree=67108860/67108860
[pid=657] ppid=653 vsize=28012 memory=4592 CPUtime=1842.2 cores=0,2,4,6
/proc/657/stat : 657 (cosoco) R 653 657 31467 0 -1 4202496 7319 0 0 0 184220 0 0 0 20 0 1 0 100185929 28684288 1148 33554432000 4194304 6142532 140720830278656 140720830276056 5175264 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 12722176 140720830284934 140720830285064 140720830285064 140720830287822 0
/proc/657/statm: 7003 1148 873 476 0 325 0
Current children cumulated CPU time: 1842.2 s
Current children cumulated vsize: 28012 KiB
Current children cumulated memory: 4592 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 777
/proc/meminfo: memFree=23834396/32770624 swapFree=67108860/67108860
[pid=657] ppid=653 vsize=28012 memory=4592 CPUtime=1902.2 cores=0,2,4,6
/proc/657/stat : 657 (cosoco) R 653 657 31467 0 -1 4202496 7475 0 0 0 190220 0 0 0 20 0 1 0 100185929 28684288 1148 33554432000 4194304 6142532 140720830278656 140720830276056 5062596 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 12722176 140720830284934 140720830285064 140720830285064 140720830287822 0
/proc/657/statm: 7003 1148 873 476 0 325 0
Current children cumulated CPU time: 1902.2 s
Current children cumulated vsize: 28012 KiB
Current children cumulated memory: 4592 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 778
/proc/meminfo: memFree=23834836/32770624 swapFree=67108860/67108860
[pid=657] ppid=653 vsize=28012 memory=4592 CPUtime=1962.2 cores=0,2,4,6
/proc/657/stat : 657 (cosoco) R 653 657 31467 0 -1 4202496 7656 0 0 0 196220 0 0 0 20 0 1 0 100185929 28684288 1148 33554432000 4194304 6142532 140720830278656 140720830276056 5058042 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 12722176 140720830284934 140720830285064 140720830285064 140720830287822 0
/proc/657/statm: 7003 1148 873 476 0 325 0
Current children cumulated CPU time: 1962.2 s
Current children cumulated vsize: 28012 KiB
Current children cumulated memory: 4592 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 779
/proc/meminfo: memFree=23834440/32770624 swapFree=67108860/67108860
[pid=657] ppid=653 vsize=28012 memory=4592 CPUtime=2022.19 cores=0,2,4,6
/proc/657/stat : 657 (cosoco) R 653 657 31467 0 -1 4202496 7817 0 0 0 202219 0 0 0 20 0 1 0 100185929 28684288 1148 33554432000 4194304 6142532 140720830278656 140720830276056 5175056 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 12722176 140720830284934 140720830285064 140720830285064 140720830287822 0
/proc/657/statm: 7003 1148 873 476 0 325 0
Current children cumulated CPU time: 2022.19 s
Current children cumulated vsize: 28012 KiB
Current children cumulated memory: 4592 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 780
/proc/meminfo: memFree=23834500/32770624 swapFree=67108860/67108860
[pid=657] ppid=653 vsize=28012 memory=4592 CPUtime=2082.19 cores=0,2,4,6
/proc/657/stat : 657 (cosoco) R 653 657 31467 0 -1 4202496 7974 0 0 0 208219 0 0 0 20 0 1 0 100185929 28684288 1148 33554432000 4194304 6142532 140720830278656 140720830276056 5062250 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 12722176 140720830284934 140720830285064 140720830285064 140720830287822 0
/proc/657/statm: 7003 1148 873 476 0 325 0
Current children cumulated CPU time: 2082.19 s
Current children cumulated vsize: 28012 KiB
Current children cumulated memory: 4592 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 781
/proc/meminfo: memFree=23834020/32770624 swapFree=67108860/67108860
[pid=657] ppid=653 vsize=28012 memory=4592 CPUtime=2142.19 cores=0,2,4,6
/proc/657/stat : 657 (cosoco) R 653 657 31467 0 -1 4202496 8157 0 0 0 214219 0 0 0 20 0 1 0 100185929 28684288 1148 33554432000 4194304 6142532 140720830278656 140720830276056 5330288 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 12722176 140720830284934 140720830285064 140720830285064 140720830287822 0
/proc/657/statm: 7003 1148 873 476 0 325 0
Current children cumulated CPU time: 2142.19 s
Current children cumulated vsize: 28012 KiB
Current children cumulated memory: 4592 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 789
/proc/meminfo: memFree=23833652/32770624 swapFree=67108860/67108860
[pid=657] ppid=653 vsize=28012 memory=4592 CPUtime=2202.19 cores=0,2,4,6
/proc/657/stat : 657 (cosoco) R 653 657 31467 0 -1 4202496 8312 0 0 0 220219 0 0 0 20 0 1 0 100185929 28684288 1148 33554432000 4194304 6142532 140720830278656 140720830276056 5330314 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 12722176 140720830284934 140720830285064 140720830285064 140720830287822 0
/proc/657/statm: 7003 1148 873 476 0 325 0
Current children cumulated CPU time: 2202.19 s
Current children cumulated vsize: 28012 KiB
Current children cumulated memory: 4592 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 790
/proc/meminfo: memFree=23834024/32770624 swapFree=67108860/67108860
[pid=657] ppid=653 vsize=28012 memory=4592 CPUtime=2262.19 cores=0,2,4,6
/proc/657/stat : 657 (cosoco) R 653 657 31467 0 -1 4202496 8467 0 0 0 226219 0 0 0 20 0 1 0 100185929 28684288 1148 33554432000 4194304 6142532 140720830278656 140720830276056 5058016 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 12722176 140720830284934 140720830285064 140720830285064 140720830287822 0
/proc/657/statm: 7003 1148 873 476 0 325 0
Current children cumulated CPU time: 2262.19 s
Current children cumulated vsize: 28012 KiB
Current children cumulated memory: 4592 KiB

[startup+2322.3 s]
/proc/loadavg: 2.06 2.03 2.05 3/187 791
/proc/meminfo: memFree=23834000/32770624 swapFree=67108860/67108860
[pid=657] ppid=653 vsize=28012 memory=4592 CPUtime=2322.19 cores=0,2,4,6
/proc/657/stat : 657 (cosoco) R 653 657 31467 0 -1 4202496 8648 0 0 0 232219 0 0 0 20 0 1 0 100185929 28684288 1148 33554432000 4194304 6142532 140720830278656 140720830276056 5131350 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 12722176 140720830284934 140720830285064 140720830285064 140720830287822 0
/proc/657/statm: 7003 1148 873 476 0 325 0
Current children cumulated CPU time: 2322.19 s
Current children cumulated vsize: 28012 KiB
Current children cumulated memory: 4592 KiB

[startup+2382.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/187 792
/proc/meminfo: memFree=23834008/32770624 swapFree=67108860/67108860
[pid=657] ppid=653 vsize=28012 memory=4592 CPUtime=2382.19 cores=0,2,4,6
/proc/657/stat : 657 (cosoco) R 653 657 31467 0 -1 4202496 8805 0 0 0 238219 0 0 0 20 0 1 0 100185929 28684288 1148 33554432000 4194304 6142532 140720830278656 140720830276056 5318922 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 12722176 140720830284934 140720830285064 140720830285064 140720830287822 0
/proc/657/statm: 7003 1148 873 476 0 325 0
Current children cumulated CPU time: 2382.19 s
Current children cumulated vsize: 28012 KiB
Current children cumulated memory: 4592 KiB

[startup+2442.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 854
/proc/meminfo: memFree=23835456/32770624 swapFree=67108860/67108860
[pid=657] ppid=653 vsize=28012 memory=4592 CPUtime=2442.19 cores=0,2,4,6
/proc/657/stat : 657 (cosoco) R 653 657 31467 0 -1 4202496 8960 0 0 0 244219 0 0 0 20 0 1 0 100185929 28684288 1148 33554432000 4194304 6142532 140720830278656 140720830276056 5131353 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 12722176 140720830284934 140720830285064 140720830285064 140720830287822 0
/proc/657/statm: 7003 1148 873 476 0 325 0
Current children cumulated CPU time: 2442.19 s
Current children cumulated vsize: 28012 KiB
Current children cumulated memory: 4592 KiB

[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 855
/proc/meminfo: memFree=23835088/32770624 swapFree=67108860/67108860
[pid=657] ppid=653 vsize=28012 memory=4592 CPUtime=2502.19 cores=0,2,4,6
/proc/657/stat : 657 (cosoco) R 653 657 31467 0 -1 4202496 9143 0 0 0 250219 0 0 0 20 0 1 0 100185929 28684288 1148 33554432000 4194304 6142532 140720830278656 140720830276056 5335561 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 12722176 140720830284934 140720830285064 140720830285064 140720830287822 0
/proc/657/statm: 7003 1148 873 476 0 325 0
Current children cumulated CPU time: 2502.19 s
Current children cumulated vsize: 28012 KiB
Current children cumulated memory: 4592 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 921
/proc/meminfo: memFree=23834888/32770624 swapFree=67108860/67108860
[pid=657] ppid=653 vsize=28012 memory=4592 CPUtime=2519.89 cores=0,2,4,6
/proc/657/stat : 657 (cosoco) R 653 657 31467 0 -1 4202496 9297 0 0 0 251989 0 0 0 20 0 1 0 100185929 28684288 1148 33554432000 4194304 6142532 140720830278656 140720830276056 5054704 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 12722176 140720830284934 140720830285064 140720830285064 140720830287822 0
/proc/657/statm: 7003 1148 873 476 0 325 0
Current children cumulated CPU time: 2519.89 s
Current children cumulated vsize: 28012 KiB
Current children cumulated memory: 4592 KiB

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

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

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

Child status: 1
Real time (s): 2520.01
CPU time (s): 2519.91
CPU user time (s): 2519.9
CPU system time (s): 0.007999
CPU usage (%): 99.9959
Max. virtual memory (cumulated for all children) (KiB): 28012
Max. memory (cumulated for all children) (KiB): 4592

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.9
system time used= 0.007999
maximum resident set size= 4656
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9346
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= 992


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

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.08784 second user time and 17.2201 second system time

The end

Launcher Data 

Begin job on node139 at 2018-07-29 03:03:48
IDJOB=4299975
IDBENCH=141515
IDSOLVER=2761
FILE ID=node139/4299975-1532826228
RUNJOBID= node139-1532810061-31498
PBS_JOBID= 21022483
Free space on /tmp= 38696 MiB

SOLVER NAME= cosoco 1.12
BENCH NAME= XCSP18/MagicSquare/MagicSquare-14-sum_c18.xml
COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4299975-1532826228/watcher-4299975-1532826228 -o /tmp/evaluation-result-4299975-1532826228/solver-4299975-1532826228 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1532810061-31498 --watchdog 2580  HOME/cosoco -lc -model -restarts HOME/instance-4299975-1532826228.xml

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

MD5SUM BENCH= d2d43b1b882dee15f3aa399c7a9d9ad6
RANDOM SEED=235555654

node139.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.80
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.80
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.80
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.80
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:        23838504 kB
MemAvailable:   31932160 kB
Buffers:          242608 kB
Cached:          7950020 kB
SwapCached:            0 kB
Active:          3109400 kB
Inactive:        5136560 kB
Active(anon):       7824 kB
Inactive(anon):    73556 kB
Active(file):    3101576 kB
Inactive(file):  5063004 kB
Unevictable:        7312 kB
Mlocked:            7312 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              2664 kB
Writeback:             0 kB
AnonPages:         60564 kB
Mapped:            45540 kB
Shmem:             25260 kB
Slab:             386068 kB
SReclaimable:     357536 kB
SUnreclaim:        28532 kB
KernelStack:        3376 kB
PageTables:         4824 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     353664 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      6144 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      107904 kB
DirectMap2M:    33437696 kB

Free space on /tmp at the end= 38692 MiB
End job on node139 at 2018-07-29 03:45:48